Towards the Formalization of Fractional Calculus in Higher-Order Logic

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing the basic theories of fractional calculus in the HOL Light theorem prover. Mainly, we present the motivation and application of such formalization efforts, a roadmap to achieve our goals, current status of the project and future milestones.Comment: 9 page

Produção de ovinos de corte em sistemas integrados.

O primeiro registro de ovinos no Brasil data de 1556, sendo estes animais trazidos pelos portugueses à época do descobrimento. Originários da Península Ibérica, eram raças lanadas de pequeno porte e extremamente rústicas (SANTOS, 2003). Por cinco séculos multiplicaram-se com mínima interferência do homem, sendo fortemente influenciados pelo processo de seleção natural, adquirindo características adaptativas e de produção para as diversas regiões do país, ficando conhecidos como raças ?locais?, ?crioulas? ou naturalizadas (MARIANTE; EGITO, 2002). A expansão da ovinocultura, que inicialmente esteve mais ligada à subsistência, exceção no Rio Grande do Sul em que se desenvolveu baseada na produção de lã, atualmente tem objetivos comerciais.bitstream/item/202758/1/CNPC-2019-Producao-de-ovinos.pd

Efeito do consórcio de milho com Panicum maximum na comunidade infestante e na cultura da soja em rotação

Objetivou-se com este trabalho estudar os efeitos do consórcio de milho com colonião (Panicum maximum cv. Aruana) na infestação de plantas daninhas e na cultura da soja em rotação. O experimento foi realizado em campo, no período de dezembro de 2008 a abril de 2010, em área experimental da UNESP, campus de Jaboticabal-SP. Utilizou-se o delineamento em blocos ao acaso, com quatro repetições, em esquema de parcela subdividida. Foram estudadas duas formas de semeadura (a lanço e em linha) de colonião nas parcelas e quatro quantidades de sementes (200, 400, 600 e 800 pontos de valor cultural - PVC) nas subparcelas, além de três testemunhas, representadas pelo monocultivo das espécies, como tratamentos adicionais. O cultivo consorciado não afetou o desenvolvimento do milho, comparado ao milho solteiro. Embora na colheita do milho houvesse maior matéria seca e densidade de plantas de colonião com a semeadura de 800 PVC, antes da semeadura da soja o acúmulo de massa não diferiu entre os tratamentos de consórcio. Portanto, a semeadura de 200 PVC de sementes de colonião, a lanço ou em linha, foi suficiente para a manutenção de quantidade (9,1 t ha-1) adequada de palha sobre o solo. Antecedendo a semeadura da soja, a infestação de plantas daninhas na testemunha de milho solteiro foi maior do que nos tratamentos de consórcio e nas testemunhas da forrageira solteira (a lanço e em linha). O mesmo foi observado para densidade de plantas daninhas após a instalação da cultura. Os sistemas de consórcio de milho com colonião não interferiram em nenhuma característica avaliada na cultura da soja cultivada em rotação. Da mesma forma, não foi observada diferença entre os tratamentos de consórcios e a testemunha de milho em monocultivo para produção de grãos de soja.This work aimed to study the effects of corn and colonião grass (Panicum maximum cv Aruana) intercropping on weed infestation and soybean crop in rotation. This research was carried out under field conditions from December 2008 to April 2010 at the UNESP Campus of Jaboticabal, São Paulo, Brazil. The experiment was arranged in a randomized block design in split-plots, with four replications. Two forms of sowing (hand-sowing and on-line sowing) of colonião grass and four amounts of seeds (200, 400, 600, and 800 points of cultural value - PCV) were studied, plus three additional treatments with the single species. Intercropping did not affect vegetative growth and corn yield, when compared to single corn. In the harvest of corn grains, there was more dry matter and plant density of colonião grass when 800 PCV were sown. However, before soybean sowing, dry matter production did not differ between the intercropping treatments. Thus, the sowing of 200 PCV of colonião seeds, hand-sowing and on-line sowing, was sufficient to maintain an adequate amount (9.1 ton ha-1) of mulch on the soil. Prior to soybean sowing, weed infestation in the single corn treatment was higher than during intercropping and the single forage treatment (hand sowing and on-line sowing). The same was observed after the installation of the crop for weed density. Corn and colonião grass intercropping did not influence the characteristics evaluated in the soybean crop cultivated in rotation. No difference was observed between intercropping and corn in monoculture for soybean yield

Nonlinear Analysis of Interaction with SVC in Stressed Power Systems: Effect of SVC Controller Parameters

In this paper, the effect of Static VAr Compensator (SVC) parameters on the nonlinear interaction of steam power plant turbine-generator set is studied using the Modal Series (MS) method. A second order representation of a power system equipped with SVC is developed and then by MS method the nonlinear interaction of torsional modes is assessed under various conditions and the most influencing factors are determined. The results show that the stress conditions and some SVC control parameters will adversely affect the dynamic performance of a power system by increasing the nonlinear interaction of torsional modes. In this situation, the MS method can precisely provide a reliable prediction of the torsional oscillations amplitudes and the frequency content of the output system response. As the angle and speed of turbine-generator segments are used as input signals in several controllers, the frequency content of these signals are quite important in designing such controllers. This analysis is performed on a 4-areas WSCC system, which is equipped with a SVC. The obtained results can provide some important guidelines for coordinate operation and design of FACTS controllers to reduce the risk of shaft failure arising from torsional interaction in long term

Kalman filters for fractional discrete-time stochastic systems along with time-delay in the observation signal

This paper investigates fractional Kalman filters when time-delay is entered in the observation signal in the discrete-time stochastic fractional order state-space representation. After investigating the common fractional Kalman filter, we try to derive a fractional Kalman filter for time-delay fractional systems. A detailed derivation is given. Fractional Kalman filters will be used to estimate recursively the states of fractional order state-space systems based on minimizing the cost function when there is a constant time delay (d) in the observation signal. The problem will be solved by converting the filtering problem to a usual d-step prediction problem for delay-free fractional systems