Fuzzy distributed artificial intelligence systems

In this paper, we introduce a DAI approach called hereinafter Fuzzy Distributed Artificial Intelligence (FDAI). Through the use of fuzzy logic, we have been able to develop mechanisms that we feel may effectively improve current DAI systems, giving much more flexibility and providing the subsidies which a formal theory can bring. The appropriateness of the FDAI approach is explored in an important application, a fuzzy distributed traffic-light control system, where we have been able to aggregate and study several issues concerned with fuzzy and distributed artificial intelligence. We also present a number of current research directions necessary to develop the FDAI approach more fully.

Electric power systems transient stability analysis by neural networks

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Affine Toda systems coupled to matter fields

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.

Absence of Cooper-type bound states in three- and few-electron systems

It is shown that the appearance of a fixed-point singularity in the kernel of the two-electron Cooper problem is responsible for the formation of the Cooper pair for an arbitrarily weak attractive interaction between two electrons. This singularity is absent in the problem of three and few superconducting electrons at zero temperature on the full Fermi sea. Consequently, such three- and few-electron systems on the full Fermi sea do not form Cooper-type bound states for an arbitrarily weak attractive pair interaction.

Composition for a class of generalized functions in Colombeau's theory

In Colombeau's theory, given an open subset Ω of ℝn, there is a differential algebra G(Ω) of generalized functions which contains in a natural way the space D′(Ω) of distributions as a vector subspace. There is also a simpler version of the algebra G,(Ω). Although this subalgebra does not contain, in canonical way, the space D′(Ω) is enough for most applications. This work is developed in the simplified generalized functions framework. In several applications it is necessary to compute higher intrinsic derivatives of generalized functions, and since these derivatives are multilinear maps, it is necessary to define the space of generalized functions in Banach spaces. In this article we introduce the composite function for a special class of generalized mappings (defined in open subsets of Banach spaces with values in Banach spaces) and we compute the higher intrinsic derivative of this composite function.

Higher grading conformal affine Toda theory and (generalized) sine-Gordon/massive Thirring duality

Some properties of the higher grading integrable generalizations of the conformal affine Toda systems are studied. The fields associated to the non-zero grade generators are Dirac spinors. The effective action is written in terms of the Wess-Zumino-Novikov-Witten (WZNW) action associated to an affine Lie algebra, and an off-critical theory is obtained as the result of the spontaneous breakdown of the conformal symmetry. Moreover, the off-critical theory presents a remarkable equivalence between the Noether and topological currents of the model. Related to the off-critical model we define a real and local lagrangian provided some reality conditions are imposed on the fields of the model. This real action model is expected to describe the soliton sector of the original model, and turns out to be the master action from which we uncover the weak-strong phases described by (generalized) massive Thirring and sine-Gordon type models, respectively. The case of any (untwisted) affine Lie algebra furnished with the principal gradation is studied in some detail. The example of s^l(n) (n = 2, 3) is presented explicitly. © SISSA/ISAS 2003.

Invariance for Impulsive Control Systems

In this article, we provide invariance conditions for control systems whose dynamics are given by measure driven differential inclusions. The solution concept plays a critical role in the extension of the conventional conditions for the impulsive control context. A couple of examples illustrating the specific features of impulsive control systems are included.

Transient stability analysis of electrical power systems using a neural network based on fuzzy ARTMAP

This work presents a methodology to analyze transient stability for electric energy systems using artificial neural networks based on fuzzy ARTMAP architecture. This architecture seeks exploring similarity with computational concepts on fuzzy set theory and ART (Adaptive Resonance Theory) neural network. The ART architectures show plasticity and stability characteristics, which are essential qualities to provide the training and to execute the analysis. Therefore, it is used a very fast training, when compared to the conventional backpropagation algorithm formulation. Consequently, the analysis becomes more competitive, compared to the principal methods found in the specialized literature. Results considering a system composed of 45 buses, 72 transmission lines and 10 synchronous machines are presented. © 2003 IEEE.

Tuning of fuzzy inference systems through unconstrained optimization techniques

This paper presents a new methodology for the adjustment of fuzzy inference systems. A novel approach, which uses unconstrained optimization techniques, is developed in order to adjust the free parameters of the fuzzy inference system, such as its intrinsic parameters of the membership function and the weights of the inference rules. This methodology is interesting, not only for the results presented and obtained through computer simulations, but also for its generality concerning to the kind of fuzzy inference system used. Therefore, this methodology is expandable either to the Mandani architecture or also to that suggested by Takagi-Sugeno. The validation of the presented methodology is accomplished through an estimation of time series. More specifically, the Mackey-Glass chaotic time series estimation is used for the validation of the proposed methodology.

Confined systems through variational supersymmetric quantum mechanics

The energy states of the confined harmonic oscillator and the Hulthén potentials are evaluated using the Variational Method associated to Supersymmetric Quantum Mechanics.

The LQ control problem for Markovian jumps linear systems with horizon defined by stopping times

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).

Defects location in power systems components through a dedicated genetic algorithm

In this work the problem of defects location in power systems is formulated through a binary linear programming (BLP) model based on alarms historical database of control and protection devices from the system control center, sets theory of minimal coverage (AI) and protection philosophy adopted by the electric utility. In this model, circuit breaker operations are compared to their expected states in a strictly mathematical manner. For solving this BLP problem, which presents a great number of decision variables, a dedicated Genetic Algorithm (GA), is proposed. Control parameters of the GA, such as crossing over and mutation rates, population size, iterations number and population diversification, are calibrated in order to obtain efficiency and robustness. Results for a test system found in literature, are presented and discussed. © 2004 IEEE.

Reliability evaluation of distribution systems considering automatic reclosers

This paper presents a new methodology to evaluate in a predictive way the reliability of distribution systems, considering the impact of automatic recloser switches. The developed algorithm is based on state enumeration techniques with Markovian models and on the minimal cut set theory. Some computational aspects related with the implementation of the proposed algorithm in typical distribution networks are also discussed. The description of the proposed approach is carried out using a sample test system. The results obtained with a typical configuration of a Brazilian system (EDP Bandeirante Energia S.A.) are presented and discussed.

Shear bond strength of adhesive systems to enamel and dentin. Thermocycling influence

Objectives: The purpose of the this study was to evaluate the influence of thermocycling on shear bond strength on bovine enamel and dentin surfaces of different adhesive systems. Methods: Thirty sound bovine incisors were sectioned in mesiodistal and inciso-cervical direction obtaining 60 incisal surfaces (enamel) and 60 cervical surfaces (dentin). Specimens were randomly assigned to 3 groups of equal size (n = 40), according to the adhesive system used: I-Single Bond; II-Prime & Bond NT/NRC; III-One Coat Bond. After 24-h storage in distilled water at 37 o C, each main group was divided into two subgroups: A- specimens tested after 24 h storage in distilled water at 37°C; B - specimens submitted to thermocycling (500 cycles). Shear bond strength tests were performed. Data were submitted to ANOVA and Tukey test. Results: Means (MPa) of different groups were: I-AE-16.96, AD-17.46; BE-21.60, BD-12.79; II-AE-17.20, AD-11.93; BE-20.67, BD-13.94; III-AE-25.66, AD-17.53; BE-24.20, BD-19.38. Significance: Thermocycling did not influence significantly the shear bond strength of the tested adhesive systems; enamel was the dental substrate that showed larger adhesive strength; One Coat Bond system showed the best adhesive strength averages regardless of substrate or thermocycling. © 2005 Springer Science + Business Media, Inc.

PID stabilization of a class of time delay systems

In this paper we use the Hermite-Biehler theorem to establish results for the design of proportional plus integral plus derivative (PID) controllers concerning a class of time delay systems. Using the property of interlacing at high frequencies of the class of systems considered and linear programming we obtain the set of all stabilizing PID controllers. © 2005 IEEE.