Loss of the Ability to Control Right-to-Left Shunt Does Not Influence the Metabolic Responses to Temperature Change or Long-Term Fasting in the South American Rattlesnake Crotalus durissus

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

Application of passive control to energy harvester efficiency using a nonideal portal frame structural support system

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

Efficiency and soil contamination during underground application of insecticides: control of leaf-cutting ants with thermal foggers

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

Isolation of Leptospira spp. from a man living in a rural area of the Municipality of Cruz Alta, RS, Brazil

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

Double-objective economic statistical design of the VP T-2 control chart: Wald's identity approach

Research has shown that applying the T-2 control chart by using a variable parameters (VP) scheme yields rapid detection of out-of-control states. In this paper, the problem of economic statistical design of the VP T-2 control chart is considered as a double-objective minimization problem with the statistical objective being the adjusted average time to signal and the economic objective being expected cost per hour. We then find the Pareto-optimal designs in which the two objectives are met simultaneously by using a multi-objective genetic algorithm. Through an illustrative example, we show that relatively large benefits can be achieved by applying the VP scheme when compared with usual schemes, and in addition, the multi-objective approach provides the user with designs that are flexible and adaptive.

On some extension of optimal control theory

Some problems of Calculus of Variations do not have solutions in the class of classic continuous and smooth arcs. This suggests the need of a relaxation or extension of the problem ensuring the existence of a solution in some enlarged class of arcs. This work aims at the development of an extension for a more general optimal control problem with nonlinear control dynamics in which the control function takes values in some closed, but not necessarily bounded, set. To achieve this goal, we exploit the approach of R.V. Gamkrelidze based on the generalized controls, but related to discontinuous arcs. This leads to the notion of generalized impulsive control. The proposed extension links various approaches on the issue of extension found in the literature.

Contribution of electrical parameters on the dynamical behaviour of a nonlinear electromagnetic damper

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

Joint economic design of X̄ and R control charts for processes subject to two independent assignable causes

A model for the joint economic design of X̄ and R control charts is developed. This model assumes that the process is subject to two assignable causes. One assignable cause shifts the process mean; the other shifts the process variance. The occurrence of the assignable cause of one kind does not block the occurrence of the assignable cause of another kind. Consequently, a second process parameter can go out-of-control after the first process parameter has gone out-of-control. A numerical study of the cost surface to the model considered has revealed that it is convex, at least in the interest region.

THE ORGANISATION OF RABBIT CONTROL (Oryctolagus cuniculus) IN WESTERN AUSTRALIA

ABSTRACT: Under Western Australian legislation, landholders have an obligation to control rabbits on their properties; local authorities the responsibility to supervise their work whilst the Agriculture Protection Board has a Statewide supervisory and co-ordination role. Prior to 1950 (when the Agriculture Protection Board was formed) the central role was in the hands of a Government department which, through lack of staff and money was unable to provide adequate supervision, and rabbits were in plague proportions. Since 1950, the Board has actively engaged in a vigorous policy aimed at tighter control and supervision. To enable this, the Board has entered into a voluntary scheme with local authorities whereby the role of local supervision of landholders is passed to staff employed by the Board, but jointly financed by the local authority and the Board. A contract poisoning service is also pro¬vided by the Agriculture Protection Board to any landholder who is unable or unwilling, to meet his obligations in this area. Both services are subsidised. Two of the major reasons for the poor level of control existing before 1950, have thereby been minimised. Soon after its formation, the Board set up a research section which has devoted nearly all of its activities to applied research on control of the State's many vertebrate pest problems. In the rabbit control area, poisoning has received most attention. The "One-Shot" method of poisoning was developed after years of research. Fumigation is at present being closely studied as is the economics of complete eradication from some areas of the State. Greatest needs in the applied rabbit research field at present are: (1) a selective poison, or poisoning regime, which will not harm stock, and (2) a more complete understanding of the economics of control and eradication. The serious rabbit problem which existed in 1950 has been reduced to very small proportions, by organisational development using local research findings. These organisational developments have been implemented by circumvention rather than confrontation.

Modeling of active holonic control systems for intelligent buildings

Building facilities have become important infrastructures for modern productive plants dedicated to services. In this context, the control systems of intelligent buildings have evolved while their reliability has evidently improved. However, the occurrence of faults is inevitable in systems conceived, constructed and operated by humans. Thus, a practical alternative approach is found to be very useful to reduce the consequences of faults. Yet, only few publications address intelligent building modeling processes that take into consideration the occurrence of faults and how to manage their consequences. In the light of the foregoing, a procedure is proposed for the modeling of intelligent building control systems, considersing their functional specifications in normal operation and in the of the event of faults. The proposed procedure adopts the concepts of discrete event systems and holons, and explores Petri nets and their extensions so as to represent the structure and operation of control systems for intelligent buildings under normal and abnormal situations. (C) 2012 Elsevier B.V. All rights reserved.

Chronic intermittent hypoxia alters glutamatergic control of sympathetic and respiratory activities in the commissural NTS of rats

Costa-Silva JH, Zoccal DB, Machado BH. Chronic intermittent hypoxia alters glutamatergic control of sympathetic and respiratory activities in the commissural NTS of rats. Am J Physiol Regul Integr Comp Physiol 302: R785-R793, 2012. First published December 28, 2011; doi:10.1152/ajpregu.00363.2011.-Sympathetic overactivity and altered respiratory control are commonly observed after chronic intermittent hypoxia (CIH) exposure. However, the central mechanisms underlying such neurovegetative dysfunctions remain unclear. Herein, we hypothesized that CIH (6% O-2 every 9 min, 8 h/day, 10 days) in juvenile rats alters glutamatergic transmission in the commissural nucleus tractus solitarius (cNTS), a pivotal site for integration of peripheral chemoreceptor inputs. Using an in situ working heart-brain stem preparation, we found that L-glutamate microinjections (1, 3, and 10 mM) into the cNTS of control rats (n = 8) evoked increases in thoracic sympathetic nerve (tSN) and central vagus nerve (cVN) activities combined with inhibition of phrenic nerve (PN) activity. Besides, the ionotropic glutamatergic receptor antagonism with kynurenic acid (KYN; 250 mM) in the cNTS of control group (n = 7) increased PN burst duration and frequency. In the CIH group (n = 10), the magnitude of L-glutamate-induced cVN excitation was smaller, and the PN inhibitory response was blunted (P < 0.05). In addition, KYN microinjections into the cNTS of CIH rats (n = 9) did not alter PN burst duration and produced smaller increases in its frequency compared with controls. Moreover, KYN microinjections into the cNTS attenuated the sympathoexcitatory response to peripheral chemoreflex activation in control but not in CIH rats (P < 0.05). These functional CIH-induced alterations were accompanied by a significant 10% increase of N-methyl-D-aspartate receptor 1 (NMDAR1) and glutamate receptor 2/3 (GluR2/3) receptor subunit density in the cNTS (n = 3-8, P < 0.05), evaluated by Western blot analysis. These data indicate that glutamatergic transmission is altered in the cNTS of CIH rats and may contribute to the sympathetic and respiratory changes observed in this experimental model.

Genetic relatedness of Plasmodium falciparum isolates and the origin of allelic diversity at the merozoite surface protein-1 (MSP-1) locus in Brazil and Vietnam

Abstract Background Despite the extensive polymorphism at the merozoite surface protein-1 (MSP-1) locus of Plasmodium falciparum, that encodes a major repetitive malaria vaccine candidate antigen, identical and nearly identical alleles frequently occur in sympatric parasites. Here we used microsatellite haplotyping to estimate the genetic distance between isolates carrying identical and nearly identical MSP-1 alleles. Methods We analyzed 28 isolates from hypoendemic areas in north-western Brazil, collected between 1985 and 1998, and 23 isolates obtained in mesoendemic southern Vietnam in 1996. MSP-1 alleles were characterized by combining PCR typing with allele-specific primers and partial DNA sequencing. The following single-copy microsatellite markers were typed : Polyα, TA42 (only for Brazilian samples), TA81, TA1, TA87, TA109 (only for Brazilian samples), 2490, ARAII, PfG377, PfPK2, and TA60. Results The low pair-wise average genetic distance between microsatellite haplotypes of isolates sharing identical MSP-1 alleles indicates that epidemic propagation of discrete parasite clones originated most identical MSP-1 alleles in parasite populations from Brazil and Vietnam. At least one epidemic clone propagating in Brazil remained relatively unchanged over more than one decade. Moreover, we found no evidence that rearrangements of MSP-1 repeats, putatively created by mitotic recombination events, generated new alleles within clonal lineages of parasites in either country. Conclusion Identical MSP-1 alleles originated from co-ancestry in both populations, whereas nearly identical MSP-1 alleles have probably appeared independently in unrelated parasite lineages.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

Nonlinear Control of Magnetically Actuated Spacecraft

The topic of this thesis is the feedback stabilization of the attitude of magnetically actuated spacecraft. The use of magnetic coils is an attractive solution for the generation of control torques on small satellites flying inclined low Earth orbits, since magnetic control systems are characterized by reduced weight and cost, higher reliability, and require less power with respect to other kinds of actuators. At the same time, the possibility of smooth modulation of control torques reduces coupling of the attitude control system with flexible modes, thus preserving pointing precision with respect to the case when pulse-modulated thrusters are used. The principle based on the interaction between the Earth's magnetic field and the magnetic field generated by the set of coils introduces an inherent nonlinearity, because control torques can be delivered only in a plane that is orthogonal to the direction of the geomagnetic field vector. In other words, the system is underactuated, because the rotational degrees of freedom of the spacecraft, modeled as a rigid body, exceed the number of independent control actions. The solution of the control issue for underactuated spacecraft is also interesting in the case of actuator failure, e.g. after the loss of a reaction-wheel in a three-axes stabilized spacecraft with no redundancy. The application of well known control strategies is no longer possible in this case for both regulation and tracking, so that new methods have been suggested for tackling this particular problem. The main contribution of this thesis is to propose continuous time-varying controllers that globally stabilize the attitude of a spacecraft, when magneto-torquers alone are used and when a momentum-wheel supports magnetic control in order to overcome the inherent underactuation. A kinematic maneuver planning scheme, stability analyses, and detailed simulation results are also provided, with new theoretical developments and particular attention toward application considerations.

Nonlinear Observers for Sensorless Control of Permanent Magnet Synchronous Motors

In this thesis, the industrial application of control a Permanent Magnet Synchronous Motor in a sensorless configuration has been faced, and in particular the task of estimating the unknown “parameters” necessary for the application of standard motor control algorithms. In literature several techniques have been proposed to cope with this task, among them the technique based on model-based nonlinear observer has been followed. The hypothesis of neglecting the mechanical dynamics from the motor model has been applied due to practical and physical considerations, therefore only the electromagnetic dynamics has been used for the observers design. First observer proposed is based on stator currents and Stator Flux dynamics described in a generic rotating reference frame. Stator flux dynamics are known apart their initial conditions which are estimated, with speed that is also unknown, through the use of the Adaptive Theory. The second observer proposed is based on stator currents and Rotor Flux dynamics described in a self-aligning reference frame. Rotor flux dynamics are described in the stationary reference frame exploiting polar coordinates instead of classical Cartesian coordinates, by means the estimation of amplitude and speed of the rotor flux. The stability proof is derived in a Singular Perturbation Framework, which allows for the use the current estimation errors as a measure of rotor flux estimation errors. The stability properties has been derived using a specific theory for systems with time scale separation, which guarantees a semi-global practical stability. For the two observer ideal simulations and real simulations have been performed to prove the effectiveness of the observers proposed, real simulations on which the effects of the Inverter nonlinearities have been introduced, showing the already known problems of the model-based observers for low speed applications.