Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Optimization of magneto-electro-elastic composite structures using differential evolution

Magneto-electro-elastic structures are built from materials that provide them the ability to convert in an interchangeable way, magnetic, electric and mechanical forms of energy. This characteristic can therefore provide an adaptive behaviour to a general configuration elastic structure, being commonly used in association with any type of composite material in an embedded or surface mounted mode, or by considering the usage of multiphase materials that enable achieving different magneto-electro-elastic properties. In a first stage of this work, a few cases studies will be considered to enable the validation of the model considered and the influence of the coupling characteristics of this type of adaptive structures. After that we consider the application of a recent computational intelligence technique, the differential evolution, in a deflection profile minimization problem. Studies on the influence of optimization parameters associated to the problem considered will be performed as well as the adoption of an adaptive scheme for the perturbation factor. Results are also compared with those obtained using an enhanced particle swarm optimization technique. (C) 2013 Elsevier Ltd. All rights reserved.

Experimenting through the web a linear variable differential transformer

Aiming for teaching/learning support in sciences and engineering areas, the Remote Experimentation concept (an E-learning subset) has grown in last years with the development of several infrastructures that enable doing practical experiments from anywhere and anytime, using a simple PC connected to the Internet. Nevertheless, given its valuable contribution to the teaching/learning process, the development of more infrastructures should continue, in order to make available more solutions able to improve courseware contents and motivate students for learning. The work presented in this paper contributes for that purpose, in the specific area of industrial automation. After a brief introduction to the Remote Experimentation concept, we describe a remote accessible lab infrastructure that enables users to conduct real experiments with an important and widely used transducer in industrial automation, named Linear Variable Differential Transformer.

Automated design of microwave discrete tuning differential capacitance circuits in Si-integrated technologies

A genetic algorithm used to design radio-frequency binary-weighted differential switched capacitor arrays (RFDSCAs) is presented in this article. The algorithm provides a set of circuits all having the same maximum performance. This article also describes the design, implementation, and measurements results of a 0.25 lm BiCMOS 3-bit RFDSCA. The experimental results show that the circuit presents the expected performance up to 40 GHz. The similarity between the evolutionary solutions, circuit simulations, and measured results indicates that the genetic synthesis method is a very useful tool for designing optimum performance RFDSCAs.

Automated synthesis procedure of RF discrete tuning differential capacitance circuits

The paper presents a RFDSCA automated synthesis procedure. This algorithm determines several RFDSCA circuits from the top-level system specifications all with the same maximum performance. The genetic synthesis tool optimizes a fitness function proportional to the RFDSCA quality factor and uses the epsiv-concept and maximin sorting scheme to achieve a set of solutions well distributed along a non-dominated front. To confirm the results of the algorithm, three RFDSCAs were simulated in SpectreRF and one of them was implemented and tested. The design used a 0.25 mum BiCMOS process. All the results (synthesized, simulated and measured) are very close, which indicate that the genetic synthesis method is a very useful tool to design optimum performance RFDSCAs.

Supervisory control of a variable speed wind turbine with doubly fed induction generator

This paper is on an onshore variable speed wind turbine with doubly fed induction generator and under supervisory control. The control architecture is equipped with an event-based supervisor for the supervision level and fuzzy proportional integral or discrete adaptive linear quadratic as proposed controllers for the execution level. The supervisory control assesses the operational state of the variable speed wind turbine and sends the state to the execution level. Controllers operation are in the full load region to extract energy at full power from the wind while ensuring safety conditions required to inject the energy into the electric grid. A comparison between the simulations of the proposed controllers with the inclusion of the supervisory control on the variable speed wind turbine benchmark model is presented to assess advantages of these controls. (C) 2015 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).

Heparin-antivenom association: differential neutralization effectiveness in Bothrops atrox and Bothrops erythromelas envenoming

Heparin, in some regions of Brazil has been used in the treatment of bothropic accidents, but the data found in the literature are inconclusive about its effectiveness. The venoms of Bothrops atrox and of B. erythromelas were characterized according to their biological activities. The capacity of heparin in neutralizing these activities was tested with doses of 3 and 6 IU in isolated form and associated to Antibothropic Serum (ABS). It was verified that heparin, in doses of 3 and 6 IU, was not effective in neutralizing the desfibrinating and edema-forming activities of B. atrox venom and the hemorrhagic and coagulant actions of both venoms. Heparin diminished the effectiveness of the ABS in the neutralization of the hemorrhagic and edema-forming activities of the B. atrox venom. However, heparin in the 6 IU dose was capable of neutralize the edema-forming of the B. erythromelas and increase the effectiveness of the ABS. Heparin also neutralized the phospholipasic A2 activity of B. atrox (14.3%) and B. erythromelas (28.0%) venoms. For B. erythromelas venom, the associated treatment, heparin and ABS, was more effective in the neutralization of its lethal activity.

Automated Synthesis Procedure of RF Discrete Tuning Differential Capacitance Circuits

The paper presents a RFDSCA automated synthesis procedure. This algorithm determines several RFDSCA circuits from the top-level system specifications all with the same maximum performance. The genetic synthesis tool optimizes a fitness function proportional to the RFDSCA quality factor and uses the epsiv-concept and maximin sorting scheme to achieve a set of solutions well distributed along a non-dominated front. To confirm the results of the algorithm, three RFDSCAs were simulated in SpectreRF and one of them was implemented and tested. The design used a 0.25 mum BiCMOS process. All the results (synthesized, simulated and measured) are very close, which indicate that the genetic synthesis method is a very useful tool to design optimum performance RFDSCAs.

Influence of Apolipoprotein E Plasma Levels and Tobacco Smoking on the Induction of Neutralising Antibodies to Interferon-Beta

Interferon-beta (IFN-beta) therapy for multiple sclerosis (MS) is associated with a potential for induction of neutralizing antibodies (NAbs). Because immune reactivity depends on changes in lipoprotein metabolism, we investigated whether plasma lipoprotein profiles could be associated with the development of NAbs. Thirty-one female MS patients treated with subcutaneously administered IFN-beta were included. Demographic and clinical characteristics were compared between NAbs response groups using t tests for continuous and logistic regression analysis and Fisher's exact tests for categorical data, respectively. Multivariate logistic regression was used to evaluate the effect of potential confounders. Patients who developed NAbs had lower apoE levels before treatment, 67 (47-74) mg/L median (interquartile range), and at the moment of NAb analysis, 53 (50-84) mg/L, in comparison to those who remained NAb-negative, 83 (68-107) mg/L, P = 0.03, and 76 (66-87) mg/L, P = 0.04, respectively. When adjusting for age and smoking for a one-standard deviation decrease in apoE levels, a 5.6-fold increase in the odds of becoming NAb-positive was detected: odds ratios (OR) 0.18 (95% CI 0.04-0.77), P = 0.04. When adjusting for apoE, smoking habit became associated with NAb induction: OR 5.6 (95% CI 1.3-87), P = 0.03. These results suggest that apoE-containing lipoprotein metabolism and, possibly, tobacco smoking may be associated with risk of NAb production in female MS patients treated with IFN-beta.

Induction of phagocytic activity and nitric-oxide production in natural populations of Trypanosoma Cruzi I and II from the state of Paraná, Brazil

Twelve strains of Trypanosoma cruzi isolated from wild reservoirs, triatomines, and chronic chagasic patients in the state of Paraná, southern Brazil, and classified as T. cruzi I and II, were used to test the correlation between genetic and biological diversity. The Phagocytic Index (PI) and nitric-oxide (NO) production in vitro were used as biological parameters. The PI of the T. cruzi I and II strains did not differ significantly, nor did the PI of the T. cruzi strains isolated from humans, triatomines, or wild reservoirs. There was a statistical difference in the inhibition of NO production between T. cruzi I and II and between parasites isolated from humans and the strains isolated from triatomines and wild reservoirs, but there was no correlation between genetics and biology when the strains were analyzed independently of the lineages or hosts from which the strains were isolated. There were significant correlations for Randomly Amplified Polymorphic Deoxyribonucleic acid (RAPD) and biological parameters for T. cruzi I and II, and for humans or wild reservoirs when the lineages or hosts were considered individually.

DOUBLE-BLIND STUDY WITH TOPICAL ISOCONAZOLE AND TERBINAFINE FOR THE TREATMENT OF ONE PATIENT WITH BILATERAL Tinea nigra plantaris AND SUGGESTIONS FOR NEW DIFFERENTIAL DIAGNOSIS

The authors report a case of bilateral Tinea nigra plantaris treated through a double-blind study with the topical antifungal agents Isoconazole and Terbinafine. The objective of the study was to clinically compare the efficacy of these two topical antifungal agents on days 10, 20 and 30 of the treatment. No significant clinical differences were found, as all the plantar lesions regressed completely by the end of the treatment. Our conclusion was that in the case reported, the topical antifungal agents Isoconazole and Terbinafine demonstrated identical efficacy as a clinical cure. We also suggest the inclusion of injuries caused by arthropods of the Diplopoda Class in the differential diagnosis of Tinea nigra plantaris, due to the persistent acral hyperpigmentation.