957 resultados para first order modal logic
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
A first order analytical model for optimal small amplitude attitude maneuvers of spacecraft with cylindrical symmetry in an elliptical orbits is presented. The optimization problem is formulated as a Mayer problem with the control torques provided by a power limited propulsion system. The state is defined by Seffet-Andoyer's variables and the control by the components of the propulsive torques. The Pontryagin Maximum Principle is applied to the problem and the optimal torques are given explicitly in Serret-Andoyer's variables and their adjoints. For small amplitude attitude maneuvers, the optimal Hamiltonian function is linearized around a reference attitude. A complete first order analytical solution is obtained by simple quadrature and is expressed through a linear algebraic system involving the initial values of the adjoint variables. A numerical solution is obtained by taking the Euler angles formulation of the problem, solving the two-point boundary problem through the shooting method, and, then, determining the Serret-Andoyer variables through Serret-Andoyer transformation. Numerical results show that the first order solution provides a good approximation to the optimal control law and also that is possible to establish an optimal control law for the artificial satellite's attitude. (C) 2003 COSPAR. Published by Elsevier B.V. Ltd. All rights reserved.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
The general assumption under which the (X) over bar chart is designed is that the process mean has a constant in-control value. However, there are situations in which the process mean wanders. When it wanders according to a first-order autoregressive (AR (1)) model, a complex approach involving Markov chains and integral equation methods is used to evaluate the properties of the (X) over bar chart. In this paper, we propose the use of a pure Markov chain approach to study the performance of the (X) over bar chart. The performance of the chat (X) over bar with variable parameters and the (X) over bar with double sampling are compared. (C) 2011 Elsevier B.V. All rights reserved.
Resumo:
This paper presents a simple but practical feedback control method to suppress the vibration of a flexible structure in the frequency range between 10 Hz and 1 kHz. A dynamic vibration absorber is designed for this, which has a natural frequency of 100 Hz and a normalized bandwidth (twice the damping ratio) of 9.9. The absorber is realized electrically by feeding back the structural acceleration at one position on the host structure to a collocated piezoceramic patch actuator via an analog controller consisting of a second-order lowpass filter. This absorber is equivalent to a single degree-of-freedom mechanical oscillator consisting of a serially connected mass-spring-damper system. A first-order lowpass filter is additionally used to improve stability at very high frequencies. Experiments were conducted on a free-free beam embedded with a piezoceramic patch actuator and an accelerometer at its center. It is demonstrated that the single absorber can simultaneously suppress multiple vibration modes within the control bandwidth. It is further shown that the control system is robust to slight changes in the plant. The method described can be applied to many other practical structures, after retuning the absorber parameters for the structure under control.
Resumo:
The generation of wastes in most industrial process is inevitable. In the petroleum industry, one of the greatest problems for the environment is the huge amount of produced water generated in the oil fields. This wastewater is a complex mixture and present great amounts. These effluents can be hazardous to the environmental without adequate treatment. This research is focused in the analysis of the efficiencies of the flotation and photo-oxidation processes to remove and decompose the organic compounds present in the produced water. A series of surfactants derivated from the laurilic alcohol was utilized in the flotation to promote the separation. The experiments have been performed with a synthetic wastewater, carefully prepared with xylene. The experimental data obtained using flotation presented a first order kinetic, identified by the quality of the linear data fitting. The best conditions were found at 0.029 g.L-1 for the surfactant EO 7, 0.05 g.L-1 for EO 8, 0.07 g.L-1 for EO 9, 0.045 g.L-1 for EO 10 and 0.08 g.L-1 for EO 23 with the following estimated kinetic constants: 0.1765, 0.1325, 0.1210, 0.1531 and 0.1699 min-1, respectively. For the series studied, the most suitablesurfactant was the EO 7 due to the lower reagent consumption, higher separation rate constant and higher removal efficiency of xylene in the aqueous phase (98%). Similarly to the flotation, the photo-Fenton process shows to be efficient for degradation of xylene and promoting the mineralization of the organic charge around 90% and 100% in 90 min
Resumo:
This work deals with the nonlinear piezoelectric coupling in vibration-based energy harvesting, done by A. Triplett and D.D. Quinn in J. of Intelligent Material Syst. and Structures (2009). In that paper the first order nonlinear fundamental equation has a three dimensional state variable. Introducing both observable and control variables in such a way the controlled system became a SISO system, we can obtain as a corollary that for a particular choice of the observable variable it is possible to present an explicit functional relation between this variable one, and the variable representing the charge harvested. After-by observing that the structure in the Input-Output decomposition essentially changes depending on the relative degree changes, presenting bifurcation branches in its zero dynamics-we are able in to identify this type of bifurcation indicating its close relation with the Hartman - Grobman theorem telling about decomposition into stable and the unstable manifolds for hyperbolic points.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]
Resumo:
The diffusive epidemic process (PED) is a nonequilibrium stochastic model which, exhibits a phase trnasition to an absorbing state. In the model, healthy (A) and sick (B) individuals diffuse on a lattice with diffusion constants DA and DB, respectively. According to a Wilson renormalization calculation, the system presents a first-order phase transition, for the case DA > DB. Several researches performed simulation works for test this is conjecture, but it was not possible to observe this first-order phase transition. The explanation given was that we needed to perform simulation to higher dimensions. In this work had the motivation to investigate the critical behavior of a diffusive epidemic propagation with Lévy interaction(PEDL), in one-dimension. The Lévy distribution has the interaction of diffusion of all sizes taking the one-dimensional system for a higher-dimensional. We try to explain this is controversy that remains unresolved, for the case DA > DB. For this work, we use the Monte Carlo Method with resuscitation. This is method is to add a sick individual in the system when the order parameter (sick density) go to zero. We apply a finite size scalling for estimates the critical point and the exponent critical =, e z, for the case DA > DB
Resumo:
The objective of this dissertation is the development of a general formalism to analyze the thermodynamical properties of a photon gas under the context of nonlinear electrodynamics (NLED). To this end it is obtained, through the systematic analysis of Maxwell s electromagnetism (EM) properties, the general dependence of the Lagrangian that describes this kind of theories. From this Lagrangian and in the background of classical field theory, we derive the general dispersion relation that photons must obey in terms of a background field and the NLED properties. It is important to note that, in order to achieve this result, an aproximation has been made in order to allow the separation of the total electromagnetic field into a strong background electromagnetic field and a perturbation. Once the dispersion relation is in hand, the usual Bose-Einstein statistical procedure is followed through which the thermodynamical properties, energy density and pressure relations are obtained. An important result of this work is the fact that equation of state remains identical to the one obtained under EM. Then, two examples are made where the thermodynamic properties are explicitly derived in the context of two NLED, Born-Infelds and a quadratic approximation. The choice of the first one is due to the vast appearance in literature and, the second one, because it is a first order approximation of a large class of NLED. Ultimately, both are chosen because of their simplicity. Finally, the results are compared to EM and interpreted, suggesting possible tests to verify the internal consistency of NLED and motivating further developement into the formalism s quantum case
Resumo:
The current work was developed on the dune systems of the Parque das Dunas and Barreira do Inferno. These places are located in the cities of Natal and Parnamirim (RN, Brazil), respectively. This project has the purpose of developing the deterministic model on a specific blowout at Parque das Dunas, based in the geophysical interpretations of the lines gotten with the Ground Penetration Radar and the planialtimetric acquisitions of the topographical surface of the land. Also analyses of the vulnerability/susceptibility of these dune systems had been done in relation to the human pressures. To develop its deterministic model, it is necessary to acquire inner and outer geometries of the cited blowout. In order to depict inner geometries underneath the surface are used the GPR observing the altimetric control for topographical correction of the GPR lines. As for the outer geometries, the geodesic GPS gives us the planialtimetric points (x, y and z points) with milimetric precision, resulting in high-resolution surfaces. Using interpolation methods of the planialtimetric points was possible create Digital Elevations Models (DEM´s) of these surfaces. As a result, 1,161.4 meters of GPR lines were acquired on the blowout at the Parque das Dunas and 3,735.27 meters on the blowout at the Barreira do Inferno. These lines had been acquired with a 200 MHz antenna, except the 7 and 8 lines, for which we had been used a 100 MHz antenna. The gotten data had been processed and interpreted, being possible to identify boundary surfaces of first, second and third order. The first order boundary surface is related with the contact of the rocks of the Barreiras Group with the aeolian deposits. These deposits had been divided in two groups (Group 1 and Group 2) which are related with the geometry of stratum and the dip of its stratifications. Group 1 presented stratum of sigmoidal and irregular geometries and involved bodies where the reflectors had presented dips that had varied of 20 to the 28 degrees for the Parque das Dunas blowout and of 22 to the 29 degrees for the Barreira do Inferno blowout. Usually, it was limited in the base for the first order surface and in the top for the second order surface. Group 2 presented stratum of trough, wedge or lens geometries, limited in the base for the second order vi surface, where the corresponding deposits had more shown smoothed reflectors or with dips of low angle. The Deterministic and Digital Elevation Models had been developed from the integration and interpretation of the 2D data with the GOCAD® program. In Digital Elevations Models it was possible to see, for the localities, corridor or trough-shaped blowouts. In Deterministic Model it was possible to see first and second order boundary surfaces. For the vulnerability/susceptibility of the dune systems it was applied the methodology proposal by Boderè al (1991); however the same one did not show adequate because it evaluates actual coastal dunes. Actual coastal dunes are dunes that are presented in balance with the current environmental conditions. Therefore, a new methodology was proposal which characterizes the supplying and activity sedimentary, as well as the human pressures. For the methodology developed in this work, both the localities had presented a good management. The Parque das Dunas was characterized as a relic dune system and the Barreira do Inferno was characterized as a palimpsestic dune system. Also two Thematic Maps had been elaborated for the environmental characterization of the studied dune systems, with software ArcGis 8.3, and its respective data bases
Resumo:
This work presents geophysical and geological results obtained in a dunefield located in the east coast of Rio Grande do Norte State, with the aim to recognize the aeolian body depositional geometries to a future geologic modeling of the aeolian petroliferous reservoirs. The research, which was done in blowouts region situated at Nisia Floresta Municipally, included the characterization of external geometries with GPS and internal geometry analysis by GPR. Data was integrated in GoCAD software, where it was possible the three-dimensional characterization and interpretation of the studied deposits. The interpretation of GPR profiling allowed identifying: First-order bounding surfaces that separated the aeolian deposits of the Barreiras Formation rocks; Second-order bounding surfaces, which limit dune generations and Third-order bounding surfaces, a reactivation surface. This classification was based and adapted by the Brookfield (1977) and Kocurek (1996) propose. Four radarfacies was recognized: Radarfacies 1, progradational reflectors correlated to foresets of the dunes, Radarfacies 2, plain parallels reflectors related to sand sheets, Radarfacies 3, plain parallels reflectors associated to reworking of the blowout dune crest and Radarfacies 4, mounded reflectors associated to vegetated mound of sand or objects buried in subsurface. The GPR and GPS methods was also employed to the monitoring of dunefields susceptible to human activities in Buzios Beach, where the constructions along the blowout region and the tourism are changing the natural evolution of the deposits. This fact possibly to cause negative impacts to the coastal zone. Data obtained in Dunas Park, a unit environmental conservation, was compared with information of the Buzios Beach. There is a major tendency of erosion in Buzios, specifically in blowout corridor and blowout dune
Resumo:
The aim of the work was to study the effect of milking fraction on electrical conductivity of milk (EC) to improve its use in dairy goat mastitis detection using automatic EC measurements during milking. The experiment was carried out on a group of 84 Murciano-Granadina goats (28 primiparous and 56 multiparous). Goats were in the fourth month of lactation. A linear mixed model was used to analyse the relationship between EC or somatic cell count (SCC) of gland milk and parity, mammary gland health status, analysed fraction (first 100 mL=F-1; machine milk=F-2; and stripping milk=F-3) and their first order interactions. Additionally, the mastitis detection characteristics (sensitivity, specificity, positive predictive value and negative predictive value) of SCC and EC were studied at different thresholds.All factors considered were significant for EC and SCC. EC decreased significantly as milking progressed (from F-1 to F-3) in both healthy and infected glands. EC was not significantly different between healthy and infected glands in F-1 and F-2 fractions, but EC of healthy glands (5.01 mS/cm) was significantly lower than in infected glands (5.03 mS/cm) at F-3.Mastitis detection characteristics of EC did not differ amongst studied fractions. The small significant difference of EC between healthy and infected glands obtained in F-3 fraction did not yield better sensitivity results compared to F-1 and F-2. The best EC mastitis detection characteristics were obtained at 5.20 mS/cm threshold (sensitivity of 70% and specificity of 50%). The best SCC mastitis detection characteristics were obtained at 300,000 cells/mL threshold and F-3 fraction (sensitivity of 85% and specificity of 65%).It was concluded that mastitis detection characteristics of EC were similar in the three milking fractions analysed, being slightly better for SCC in F-3 fraction. As shown in previous studies, there are no factors other than the mammary gland health status that affect milk EC and should be considered in the algorithms for mastitis detection to improve the results. (C) 2012 Elsevier B.V. All rights reserved.