Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Controle adaptativo por modelo de referencia e estrutura variável discreto no tempo

With the technology progess, embedded systems using adaptive techniques are being used frequently. One of these techniques is the Variable Structure Model- Reference Adaptive Control (VS-MRAC). The implementation of this technique in embedded systems, requires consideration of a sampling period which if not taken into consideration, can adversely affect system performance and even takes the system to instability. This work proposes a stability analysis of a discrete-time VS-MRAC accomplished for SISO linear time-invariant plants with relative degree one. The aim is to analyse the in uence of the sampling period in the system performance and the relation of this period with the chattering and system instability

Electroluminescence and electric current response spectroscopy applied to the characterization of polymer light-emitting electrochemical cells

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Synchronization of the unified chaotic system and application in secure communication

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Suppression of vibrations in strongly nonhomogeneous 2DOF systems

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Discrete approximations for strict convex continuous time problems and duality

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

Stability analysis of the attitude of artificial satellites subject to gravity gradient torque

Using a canonical formulation, the stability of the rotational motion of artificial satellites is analyzed considering perturbations due to the gravity gradient torque. Here Andoyer's variables are used to describe the rotational motion. One of the approaches that allow the analysis of the stability of Hamiltonian systems needs the reduction of the Hamiltonian to a normal form. Firstly equilibrium points are found. Using generalized coordinates, the Hamiltonian is expanded in the neighborhood of the linearly stable equilibrium points. In a next step a canonical linear transformation is used to diagonalize the matrix associated to the linear part of the system. The quadratic part of the Hamiltonian is normalized. Based in a Lie-Hori algorithm a semi-analytic process for normalization is applied and the Hamiltonian is normalized up to the fourth order. Once the Hamiltonian is normalized up to order four, the analysis of stability of the equilibrium point is performed using the theorem of Kovalev and Savichenko. This semi-analytical approach was applied considering some data sets of hypothetical satellites. For the considered satellites it was observed few cases of stable motion. This work contributes for space missions where the maintenance of spacecraft attitude stability is required.

Anaerobic threshold estimation by statistical modelling.

Anaerobic threshold (AT) is usually estimated as a change point problem by visual analysis of the cardiorespiratory response to incremental dynamic exercise. In this study, two phase linear (TPL) models of the linear-linear and linear-quadratic type were used for the estimation of AT. The correlation coefficient between the classical and statistical approaches was 0.88, and 0.89 after outlier exclusion. The TPL models provide a simple method for estimating AT that can be easily implemented using a digital computer for the automatic pattern recognition of AT.

H2 and/or H∞-norm model reduction of uncertain discrete-time systems

This paper addresses the problem of model reduction for uncertain discrete-time systems with convex bounded (polytope type) uncertainty. A reduced order precisely known model is obtained in such a way that the H2 and/or the H∞ guaranteed norm of the error between the original (uncertain) system and the reduced one is minimized. The optimization problems are formulated in terms of coupled (non-convex) LMIs - Linear Matrix Inequalities, being solved through iterative algorithms. Examples illustrate the results.

Optimal design of smart structures using bonded piezoelectrics for vibration control

Smart material technology has become an area of increasing interest for the development of lighter and stronger structures which are able to incorporate actuator and sensor capabilities for collocated control. In the design of actively controlled structures, the determination of the actuator locations and the controller gains, is a very important issue. For that purpose, smart material modelling, modal analysis methods, control and optimization techniques are the most important ingredients to be taken into account. The optimization problem to be solved in this context presents two interdependent aspects. The first one is related to the discrete optimal actuator location selection problem, which is solved in this paper using genetic algorithms. The second is represented by a continuous variable optimization problem, through which the control gains are determined using classical techniques. A cantilever Euler-Bernoulli beam is used to illustrate the presented methodology.

Novos resultados sobre a estabilidade e controle de sistemas nao-lineares utilizando modelos fuzzy e LMI

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.

Alocação de zeros aplicada a sistemas de controle via LMI

A systematic procedure of zero placement to design control systems is proposed. A state feedback controller with vector gain K is used to perform the pole placement. An estimator with vector gain L is also designed for output feedback control. A new systematic method of zero assignment to reduce the effect of the undesirable poles of the plant and also to increase the velocity error constant is presented. The methodology places the zeros in a specific region and it is based on Linear Matrix Inequalities (LMIs) framework, which is a new approach to solve this problem. Three examples illustrate the effectiveness of the proposed method.

Variable speed refrigeration system with HPF input rectifier stage

This paper is based on the analysis and implementation of a new drive system applied to refrigeration systems, complying with the restrictions imposed by the IEC standards (Harmonic/Flicker/EMI-Electromagnetic Interference restrictions), in order to obtain high efficiency, high power factor, reduced harmonic distortion in the input current and reduced electromagnetic interference, with excellent performance in temperature control of a refrigeration prototype system (automatic control, precision and high dynamic response). The proposal is replace the single-phase motor by a three-phase motor, in the conventional refrigeration system. In this way, a proper control technique can be applied, using a closed-loop (feedback control), that will allow an accurate adjustment of the desirable temperature. The proposed refrigeration prototype uses a 0.5Hp three-phase motor and an open (Belt-Drive) Bitzer IY type compressor. The input rectifier stage's features include the reduction in the input current ripple, the reduction in the output voltage ripple, the use of low stress devices, low volume for the EMI input filter, high input power factor (PF), and low total harmonic distortion (THD) in the input current, in compliance with the IEC61000-3-2 standards. The digital controller for the output three-phase inverter stage has been developed using a conventional voltage-frequency control (scalar V/f control), and a simplified stator oriented Vector control, in order to verify the feasibility and performance of the proposed digital controls for continuous temperature control applied at the refrigerator prototype. ©2008 IEEE.

Síntese de sistemas estritamente reais positivos através do critério de routh-hurwitz

Given a linear time-invariant plant Gol(s) with one input and q outputs, where q > 1, a method based on the Routh-Hurwitz Stability Criterion is proposed to obtain a constant tandem matrix F ∈ ℝq, such that FGOl(s) is a minimumphase system. From this solution, the system FGol(s) is represented in state space by {A, B, FC} and a constant output feedback matrix K0 ∈ ℝ is obtained such that the feedback system {A - BK0C, B, FC} is Strictly Positive Real (SPR). The proposed procedure offers necessary and sufficient conditions for both problems. Initially, the general case, with a generic q, is analyzed. Following, the particular cases q = 2 and q = 3 are studied.

Development and validation of a microbiological agar assay for determination of orbifloxacin in pharmaceutical preparations

Orbifloxacin is a fluoroquinolone with broad-spectrum antimicrobial activity, and belongs to the third generation of quinolones. Regarding the quality control of medicines, a validated microbiological assay for determination of orbifloxacin in pharmaceutical formulations has not as yet been reported. For this purpose, this paper reports the development and validation of a simple, sensitive, accurate and reproducible agar diffusion method to quantify orbifloxacin in tablet formulations. The assay is based on the inhibitory effect of orbifloxacin upon the strain of Staphylococcus aureus ATCC 25923 used as test microorganism. The results were treated statistically by analysis of variance and were found to be linear (r = 0.9992) in the selected range of 16.0-64.0 μg/mL, precise with relative standard deviation (RSD) of repeatability intraday = 2.88%, intermediate precision RSD = 3.33%, and accurate (100.31%). The results demonstrated the validity of the proposed bioassay, which allows reliable orbifloxacin quantitation in pharmaceutical samples and therefore can be used as a useful alternative methodology for the routine quality control of this medicine. © 2011 by the authors; licensee MDPI, Basel, Switzerland.