974 resultados para Control-flow Analysis
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The aim of this work was to evaluate the allelopathic effect of water extract from sunflower fresh leaves on the germination and initial development of conventional and transgenic soybean cultivars, and of the invasive hairy beggartick (Bidens pilosa L.). Experiments were carried out at Laboratory of Plant Physiology, Universidade Estadual do Oeste do Parana, in 2007. Fresh leaves from sunflower were ground in a blender at the proportion 200g/1L distilled water, resulting in crude extract (100%), in which pH was measured. Dilutions of 80%, 60%, 40% and 20% were done from the crude extract, and only distilled water was used as control. Statistical analysis (Tukey 5% probability) indicated that only the highest extract concentrations (60%, 80% and 100%) influenced the analyzed parameters for conventional and transgenic soybean. Beggartick seeds, however, had germination percentage completely inhibited when 40% water extract was applied, which indicates that sunflower straw could be used as a natural herbicide. Nevertheless, field studies must be carried out to prove such effect.
Resumo:
This work presents the design and procedure of a DC-to-AC converter using a ZVS Commutation Cell developed by Barbi and Martins (1991) and applied to the family of DC-to-DC PWM converters. Firstly, we show the cell applied to buck converter. The stages of operation and the main current and voltage equations of the resonant devices are presented. Next, we adapt the converter to the regenerative operation mode. Hence, the full bridge converter at low frequency operation is conected on the DC-to-DC stage (at high frequency) output ends (Seixas, 1993). Commutation of zero voltage for all switches, PWM at constant frequency and neither overvoltage nor additional current stress are observed by digital simulation. The design example and experimental results obtained by prototype rated at 275 V, 1 kW and 40 kHz are also presented.
Resumo:
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.
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:
This article addresses the problem of stability of impulsive control systems whose dynamics are given by measure driven differential inclusions. One important feature concerns the adopted solution which allows the consideration of systems whose singular dynamics do not satisfy the so-called Frobenius condition. After extending the conventional notion of control Lyapounov pair for impulsive systems, some stability conditions of the Lyapounov type are given. Some conclusions follow the outline of the proof of the main result.
Resumo:
Osteoblast-derived IL-6 functions in coupled bone turnover by supporting osteoclastogenesis favoring bone resorption instead of bone deposition. Gene regulation of IL-6 is complex occurring both at transcription and post-transcription levels. The focus of this paper is at the level of mRNA stability, which is important in IL-6 gene regulation. Using the MC3T3-E1 as an osteoblastic model, IL-6 secretion was dose dependently decreased by SB203580, a p38 MAPK inhibitor. Steady state IL-6 mRNA was decreased with SB203580 (2 μM) ca. 85% when stimulated by IL-1β (1-5 ng/ ml). These effects require de novo protein synthesis as they were inhibited by cycloheximide. p38 MAPK had minor effects on proximal IL-6 promoter activity in reporter gene assays. A more significant effect on IL-6 mRNA stability was observed in the presence of SB203580. Western blot analysis confirmed that SB203580 inhibited p38 MAP kinase, in response to IL-1β in a dose dependent manner in MC3T3-E1 cells. Stably transfected MC3T3-E1 reporter cell lines (MC6) containing green fluorescent protein (GFP) with the 3′untranslated region of IL-6 were constructed. Results indicated that IL-1β, TNFα, LPS but not parathyroid hormone (PTH) could increase GFP expression of these reporter cell lines. Endogenous IL-6 and reporter gene eGFP-IL-6 3′UTR mRNA was regulated by p38 in MC6 cells. In addition, transient transfection of IL-6 3′UTR reporter cells with immediate upstream MAP kinase kinase-3 and -6 increased GFP expression compared to mock transfected controls. These results indicate that p38 MAPK regulates IL-1β-stimulated IL-6 at a post transcriptional mechanism and one of the primary targets of IL-6 gene regulation is the 3′UTR of IL-6.
Resumo:
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.
Resumo:
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.
Resumo:
The growing demand for stable, safe and effective cosmetics has required increasingly complex studies by the scientific community and the use of more efficient techniques to determine the stability of these products. The use of active principles from the Brazilian flora has led to the development of numerous products, in the most varied pharmaceutical forms, making it, even more difficult to standardize experimental protocols to certify the stability of cosmetic preparations. While in Brazil there is no one protocol that standardizes the tests that should be carried out to determine product stability, several studies have been conducted in academic laboratories to determine the stability of specific raw materials. The rheological properties of topical use products have to be taken into account in their manufacture, storage and application. The determination of the rheological behavior of a formulation helps in evaluating the physicochemical nature of the vehicle, allowing early signs of physical instability to be detected and thus enabling quality control of the constituents, test formulations and final products. Thermal analysis has also been used to assist in the study of cosmetic stability and differential scanning calorimetry to guide the development of new products. Other tools, such as fluorimetry and laser granulometry can be used to help the study and development of both emulsified and non-emulsified systems. The aim of the present study is to develop a protocol for the investigation of the physical and chemical stability of phytocosmetics - systems containing active compounds extracted from the Brazilian biodiversity.
Resumo:
Reconfigurable computing is one of the most recent research topics in computer science. The Altera - Nios II soft-core processor can be included in a large set of reconfigurable architectures, especially because it is designed in software, allowing it to be configured according to the application. The recent growth in applications that demand reconfigurable computing made necessary the building of compilers that translate high level languages source codes into reconfigurable devices instruction sets. In this paper we present a compiler that takes as input the bytecodes generated by a Java front-end compiler and generates a set of instructions that attends to the Nios II processor instruction set rules. Our work shows how we process Java bytecodes to the intermediate code, in the Nios II instructions format, and build the control flow and the control dependence graphs. © 2009 IEEE.
Resumo:
In this paper, a methodology based on Unconstrained Binary Programming (UBP) model and Genetic Algorithms (GAs) is proposed for estimating fault sections in automated distribution substations. The UBP model, established by using the parsimonious set covering theory, looks for the match between the relays' protective alarms informed by the SCADA system and their expected states. The GA is developed to minimize the UBP model and estimate the fault sections in a swift and reliable manner. The proposed methodology is tested by utilizing a real-life automated distribution substation. Control parameters of the GA are tuned to achieve maximum computational efficiency and reduction of processing time. Results show the potential and efficiency of the methodology for estimating fault section in real-time at Distribution Control Centers. ©2009 IEEE.