887 resultados para Computer Algebra Systems (CAS)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
We investigate higher grading integrable generalizations of the affine Toda systems, where the flat connections defining the models take values in eigensubspaces of an integral gradation of an affine Kac-Moody algebra, with grades varying from l to -l (l > 1). The corresponding target space possesses nontrivial vacua and soliton configurations, which can be interpreted as particles of the theory, on the same footing as those associated to fundamental fields. The models can also be formulated by a hamiltonian reduction procedure from the so-called two-loop WZNW models. We construct the general solution and show the classes corresponding to the solitons. Some of the particles and solitons become massive when the conformal symmetry is spontaneously broken by a mechanism with an intriguing topological character and leading to a very simple mass formula. The massive fields associated to nonzero grade generators obey field equations of the Dirac type and may be regarded as matter fields. A special class of models is remarkable. These theories possess a U(1 ) Noether current, which, after a special gauge fixing of the conformal symmetry, is proportional to a topological current. This leads to the confinement of the matter field inside the solitons, which can be regarded as a one-dimensional bag model for QCD. These models are also relevant to the study of electron self-localization in (quasi-)one-dimensional electron-phonon systems.
Resumo:
The Ritz computer program, developed for facilitating the assignment of molecular Fourier transform absorption spectra and described in a previous work, determines the energy level values involved in the assigned transitions by the Rydberg-Ritz combination principle. Combining the data obtained from the analyses of high-resolution infrared (IR) and far-infrared (FIR) spectra, it is possible to predict possible FIR laser emissions of molecules. In the present work we have applied this method to the common isotopomer methanol, 12CH3 16OH, and obtained 14 proposed assignments for previously unassigned FIR laser lines. We also predict 15 possible new FIR laser emissions. For the first time, an assignment involving a four-level laser system with collisional population transfer to a slightly higher energy level is reported. © 1998 Academic Press.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Relaxed conditions for the stability study of nonlinear, continuous and discrete-time systems given by fuzzy models are presented. A theoretical analysis shows that the proposed method provides better or at least the same results of the methods presented in the literature. Digital simulations exemplify this fact. These results are also used for the fuzzy regulators design. The nonlinear systems are represented by the fuzzy models proposed by Takagi and Sugeno. The stability analysis and the design of controllers are described by LMIs (Linear Matrix Inequalities), that can be solved efficiently by convex programming techniques. The specification of the decay rate, constraints on control input and output are also described by LMIs. Finally, the proposed design method is applied in the control of an inverted pendulum.
Resumo:
Internal and external computer network attacks or security threats occur according to standards and follow a set of subsequent steps, allowing to establish profiles or patterns. This well-known behavior is the basis of signature analysis intrusion detection systems. This work presents a new attack signature model to be applied on network-based intrusion detection systems engines. The AISF (ACME! Intrusion Signature Format) model is built upon XML technology and works on intrusion signatures handling and analysis, from storage to manipulation. Using this new model, the process of storing and analyzing information about intrusion signatures for further use by an IDS become a less difficult and standardized process.
Resumo:
Predictability is related to the uncertainty in the outcome of future events during the evolution of the state of a system. The cluster weighted modeling (CWM) is interpreted as a tool to detect such an uncertainty and used it in spatially distributed systems. As such, the simple prediction algorithm in conjunction with the CWM forms a powerful set of methods to relate predictability and dimension.
Resumo:
Purpose: The aim of this study was to evaluate the surface roughness of four packable composite resins, SureFil™ (Dentsply, Petrópolis, Rio de Janeiro, Brazil), Prodigy Condensable™ (Kerr Co., Orange, CA, USA), Filtek P60™ (3M do Brasil, São Paulo, Brazil), and ALERT® (Jeneric/Pentron, Inc., Wallingford, CT, USA) and one microhybrid composite resin (Filtek Z250™, 3M do Brasil) after polishing with four finishing systems. Materials and Methods: Twenty specimens were made of each material (5 mm in diameter and 4 mm high) and were analyzed with a profilometer (Perthometer® S8P, Perthen, Mahr, Germany) to measure the mean surface roughness (Ra). The specimens were then divided into four groups according to the polishing system: group 1 - Sof-Lex™ (3M do Brasil), group 2 - Enhance™ (Dentsply), group 3 - Composite Finishing Kit (KG Sorensen, Barueri, São Paulo, Brazil), and group 4 - Jiffy Polisher Cups® (Ultradent Products, Inc., South Jordan, UT, USA). The specimens were polished and then evaluated for Ra, and the data were subjected to analysis of variance, analysis of covariance, and Tukey's test (p = .05). Results: The mean Ra of SureFil polished with Sof-Lex was significantly lower than that of KG points. Prodigy Condensable polished with Enhance showed a significantly less rough surface than when polished with Sof-Lex. Filtek P60 did not exhibit a significant difference with the various polishing systems. For ALERT the lowest mean Ra was obtained with Sof-Lex and the highest mean Ra with KG points. Regarding Filtek Z250, polishing with KG and Jiffy points resulted in a significantly lower mean Ra than when polished with Enhance. Conclusions: Packable composite resins display variable roughness depending on the polishing system used; the Sof-Lex disks and Jiffy points resulted in the best Ra values for the majority of the materials tested.
Resumo:
Postbloom fruit drop (PFD) of citrus, caused by Colletotrichum acutatum, infects petals of citrus flowers and produces orange-brown lesions that induce the abscission of young fruitlets and the retention of calyces. Proper timing of fungicide applications is essential for good disease control. Different systems for timing of fungicide applications for control of PFD in a major citrus-growing region in southern São Paulo state in Brazil were evaluated from 1999 to 2002. The following programs were compared to an unsprayed control using counts of diseased flowers, persistent calyces, or fruit: (i) a phenology-based program currently recommended in Brazil with one application at early and another at peak bloom; (ii) the Florida PFD model; (iii) the postbloom fruit drop-fungicide application decision system (PFD-FAD), a new computer-assisted decision method; and (iv) grower's choice. In 1999, no disease developed, sprays applied with the phenology-based program had no effect, and the Florida PFD model saved two sprays compared with the phenology-based program. In 2000, PFD was moderate and the phenology-based and growers' choice treatments had a significantly lower number of persistent calyces and higher fruit numbers than the control, but no differences were found between those treatments and the PFD model. In 2001, PFD was severe with considerable yield loss. The PFD model, the phenology-based program, and the grower's choice reduced flower blight and the number of persistent calyces, and improved fruit yields with two to three applications, but the PFD-FAD achieved comparable yields with only one spray. In 2002, the disease was mild, with no yield loss, and the Florida PFD model and the PFD-FAD saved one spray compared with the other systems. The PFD model and the PFD-FAD were equally effective for timing fungicide applications to control PFD in Brazil. Scouting of trees is simpler with PFD-FAD; therefore, this system is recommended and should eliminate unnecessary sprays and reduce costs for growers.
Resumo:
This paper deals with a stochastic optimal control problem involving discrete-time jump Markov linear systems. The jumps or changes between the system operation modes evolve according to an underlying Markov chain. In the model studied, the problem horizon is defined by a stopping time τ which represents either, the occurrence of a fix number N of failures or repairs (TN), or the occurrence of a crucial failure event (τΔ), after which the system is brought to a halt for maintenance. In addition, an intermediary mixed case for which T represents the minimum between TN and τΔ is also considered. These stopping times coincide with some of the jump times of the Markov state and the information available allows the reconfiguration of the control action at each jump time, in the form of a linear feedback gain. The solution for the linear quadratic problem with complete Markov state observation is presented. The solution is given in terms of recursions of a set of algebraic Riccati equations (ARE) or a coupled set of algebraic Riccati equation (CARE).
Resumo:
We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.
Resumo:
In this work a new method is proposed of separated estimation for the ARMA spectral model based on the modified Yule-Walker equations and on the least squares method. The proposal of the new method consists of performing an AR filtering in the random process generated obtaining a new random estimate, which will reestimate the ARMA model parameters, given a better spectrum estimate. Some numerical examples will be presented in order to ilustrate the performance of the method proposed, which is evaluated by the relative error and the average variation coefficient.
Resumo:
A comparative study, with theoretical analysis and digital simulations, of two conditions based on LMI for the quadratic stability of nonlinear continuous-time dynamic systems, described by Takagi-Sugeno fuzzy models, are presented. This paper shows that the methods proposed by Teixeira et. al. in 2003 provide better or at least the same results of a recent method presented in the literature. © 2005 IEEE.
Resumo:
The communication between user and software is a basic stage in any Interaction System project. In interactive systems, this communication is established by the means of a graphical interface, whose objective is to supply a visual representation of the main entities and functions present in the Virtual Environment. New ways of interacting in computational systems have been minimizing the gap in the relationship between man and computer, and therefore enhancing its usability. The objective of this paper, therefore, is to present a proposal for a non-conventional user interface library called ARISupport, which supplies ARToolKit applications developers with an opportunity to create simple GUI interfaces, and provides some of the functionality used in Augmented Reality systems. © Springer-Verlag Berlin Heidelberg 2005.
Resumo:
In this work, the linear and nonlinear feedback control techniques for chaotic systems were been considered. The optimal nonlinear control design problem has been resolved by using Dynamic Programming that reduced this problem to a solution of the Hamilton-Jacobi-Bellman equation. In present work the linear feedback control problem has been reformulated under optimal control theory viewpoint. The formulated Theorem expresses explicitly the form of minimized functional and gives the sufficient conditions that allow using the linear feedback control for nonlinear system. The numerical simulations for the Rössler system and the Duffing oscillator are provided to show the effectiveness of this method. Copyright © 2005 by ASME.