Modeling, control and experimental validation of a novel actuator based on shape memory alloys

The paper presents the development of a mechanical actuator using a shape memory alloy with a cooling system based on the thermoelectric effect (Seebeck-Peltier effect). Such a method has the advantage of reduced weight and requires a simpler control strategy as compared to other forced cooling systems. A complete mathematical model of the actuator was derived, and an experimental prototype was implemented. Several experiments are used to validate the model and to identify all parameters. A robust and nonlinear controller, based on sliding-mode theory, was derived and implemented. Experiments were used to evaluate the actuator closed-loop performance, stability, and robustness properties. The results showed that the proposed cooling system and controller are able to improve the dynamic response of the actuator. (C) 2009 Elsevier Ltd. All rights reserved.

Development of Control Systems for Safety Instrumented Systems

Safety Instrumented Systems (SIS) are designed to prevent and / or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people`s health, protecting the environment and saving costs of industrial equipment. The design of these systems require formal methods for ensuring the safety requirements, but according material published in this area, has not identified a consolidated procedure to match the task. This sense, this article introduces a formal method for diagnosis and treatment of critical faults based on Bayesian network (BN) and Petri net (PN). This approach considers diagnosis and treatment for each safety instrumented function (SIF) including hazard and operability (HAZOP) study in the equipment or system under control. It also uses BN and Behavioral Petri net (BPN) for diagnoses and decision-making and the PN for the synthesis, modeling and control to be implemented by Safety Programmable Logic Controller (PLC). An application example considering the diagnosis and treatment of critical faults is presented and illustrates the methodology proposed.

Development of a Continuous Emulsion Copolymerization Process in a Tubular Reactor

This contribution describes the development of a continuous emulsion copolymerization processs for vinyl acetate and n-butyl acrylate in a tubular reactor. Special features of this reactor include the use of oscillatory (pulsed) flow and internals (sieve plates) to prevent polymer fouling and promote good radial mixing, along with a controlled amount of axial mixing. The copolymer system studied (vinyl acetate and butyl acrylate) is strongly prone to composition drift due to very different reactivity ratios. An axially dispersed plug flow model, based on classical free radical copolymerization kinetics, was developed for this process and used successfully to optimize the lateral feeding profile to reduce compositional drift. An energy balance was included in the model equations to predict the effect of temperature variations on the process. The model predictions were validated with experimental data for monomer conversion, copolymer composition, average particle size, and temperature measured along the reactor length.

DEVELOPMENT OF A MICRO-HEAT EXCHANGER WITH STACKED PLATES USING LTCC TECHNOLOGY

A green ceramic tape micro-heat exchanger was developed using Low Temperature Co-fired Ceramics technology (LTCC). The device was designed by using Computational Aided Design software and simulations were made using a Computational Fluid Dynamics package (COMSOL Multiphysics) to evaluate the homogeneity of fluid distribution in the microchannels. Four geometries were proposed and simulated in two and three dimensions to show that geometric details directly affect the distribution of velocity in the micro-heat exchanger channels. The simulation results were quite useful for the design of the microfluidic device. The micro-heat exchanger was then constructed using the LTCC technology and is composed of five thermal exchange plates in cross-flow arrangement and two connecting plates, with all plates stacked to form a device with external dimensions of 26 x 26 x 6 mm(3).

DEVELOPMENT OF STATIC MIXERS FOR MISCIBLE FLUIDS IN LAMINAR FLOW WITH THE USE OF COMPUTATIONAL FLUID DYNAMICS (CFD)

Static mixers with improved performance were developed from CFD simulations in a stepwise approach. The relevant geometric features of simple mixer designs and the corresponding mixing mechanisms-laminar shear, elongational flow, and distributive mixing-were identified first. This information was used to formulate guidelines for the development of new geometries. The solid elements of the static mixer should: (a) provide restrictions to the flow; (b) deflect the flow; (c) be sequentially rotated around the flow direction to provide symmetry; (d) extend from the center of the pipe to the vicinity of the walls to avoid short-circuiting; and (e) distribute and remix the flow. Based on these guidelines, two improved mixer designs were developed: the DS A-I mixer has a good mixing efficiency and an acceptable pressure drop; the Fins 35 degrees mixer is more efficient and compact, but requires a larger pressure drop. Their performance indicates that their use is possible on industrial applications.

On the solubility of proteins as a function of pH: Mathematical development and application

Thermodynamic relations between the solubility of a protein and the solution pH are presented in this work. The hypotheses behind the development are that the protein chemical potential in liquid phase can be described by Henry`s law and that the solid-liquid equilibrium is established only between neutral molecules. The mathematical development results in an analytical expression of the solubility curve, as a function of the ionization equilibrium constants, the pH and the solubility at the isoelectric point. It is shown that the same equation can be obtained either by directly calculating the fraction of neutral protein molecules or by integrating the curve of the protein average charge. The methodology was successfully applied to the description of the solubility of porcine insulin as a function of pH at three different temperatures and of bovine beta-lactoglobulin at four different ionic strengths. (C) 2011 Elsevier B.V. All rights reserved.

Shedding light on technological development in Brazil

We try to shed some light oil the question of wily technology-intensive businesses often fail in less-developed countries and under what circumstances they are likely to be a Success from the perspective of both domestic and export markets. The answers were drawn from a set of empirical evidences from Brazilian firms applying photonics technologies. Sonic of the issues faced by them are related to the question of state versus private initiative, entering traditional versus niche market, and technology transfer versus product development management. In overall, we concluded that weakness of the institutions and inadequacy of social and organizational demography play a key role in explaining to a large extent wily countries differ in technological development and diffusion. In this context, we point out obstacles, which must be removed in order to make public policies and firm`s achievements more efficient. (C) 2008 Elsevier Ltd. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Analysis of a Reconfigurable Bandpass Circular Patch Filter

This paper presents an analysis of a reconfigurable patch filter based on a triple-mode circular patch resonator with four radial slots. The analysis has been carried out thanks to the development of a new theoretical approach of the tunable patch filter based on the coupling matrix. The coefficients of the coupling matrix related to the tunable behavior have been identified and some rules for their evolution have been derived. For a proof-of-concept, a bandpass filter has been designed with a continuous tunability obtained with varactors connected across the slots. State-of-the-art results have been obtained, with a frequency tuning range of 27% from 1.95 to 2.43 GHz and a change in fractional bandwidth from 8.5% to 31.5% for the respective frequencies. In the entire tuning range, the return loss is better than 10 dB and the maximum insertion loss is 2 dB. Due to the newly developed coupling matrix, measurements, simulations, and theory showed great agreement.

Fast Transforms for Acoustic Imaging-Part II: Applications

In Part I [""Fast Transforms for Acoustic Imaging-Part I: Theory,"" IEEE TRANSACTIONS ON IMAGE PROCESSING], we introduced the Kronecker array transform (KAT), a fast transform for imaging with separable arrays. Given a source distribution, the KAT produces the spectral matrix which would be measured by a separable sensor array. In Part II, we establish connections between the KAT, beamforming and 2-D convolutions, and show how these results can be used to accelerate classical and state of the art array imaging algorithms. We also propose using the KAT to accelerate general purpose regularized least-squares solvers. Using this approach, we avoid ill-conditioned deconvolution steps and obtain more accurate reconstructions than previously possible, while maintaining low computational costs. We also show how the KAT performs when imaging near-field source distributions, and illustrate the trade-off between accuracy and computational complexity. Finally, we show that separable designs can deliver accuracy competitive with multi-arm logarithmic spiral geometries, while having the computational advantages of the KAT.

Development and fabrication of an optimized thermo-electro-optic device using a Mach-Zehnder interferometer

The development and fabrication of a thermo-electro-optic sensor using a Mach-Zehnder interferometer and a resistive micro-heater placed in one of the device`s arms is presented. The Mach-Zehnder structure was fabricated on a single crystal silicon substrate using silicon oxynitride and amorphous hydrogenated silicon carbide films to form an anti-resonant reflective optical waveguide. The materials were deposited by Plasma enhanced chemical vapor deposition technique at low temperatures (similar to 320 degrees C). To optimize the heat transfer and increase the device response with current variation, part of the Mach-Zehnder sensor arm was suspended through front-side bulk micromachining of the silicon substrate in a KOH solution. With the temperature variation caused by the micro-heater, the refractive index of the core layer of the optical waveguide changes due to the thermo-optic effect. Since this variation occurs only in one of the Mach-Zehnder`s arm, a phase difference between the arms is produced, leading to electromagnetic interference. In this way, the current applied to the micro-resistor can control the device output optical power. Further, reactive ion etching technique was used in this work to define the device`s geometry, and a study of SF6 based etching rates on different composition of silicon oxynitride films is also presented. (C) 2007 Elsevier B.V. All rights reserved.

Effects of 7-Epiclusianone on Streptococcus mutans and Caries Development in Rats

The aim of this study was to evaluate the effects of 7-epiclusianone (7-epi) on specific virulence attributes of Streptococcus mutans in vitro and on development of dental caries in vivo. 7-Epi was obtained and purified from fruits of Rheedia brasiliensis. We investigated its influence on surface-adsorbed glucosyltransferase (Gtf) B activity, acid production, and viability of S. mutans in biofilms, as well as on caries development using a rodent model. 7-Epi (100 mu g/mL) significantly reduced the activity of surface-adsorbed GtfB (up to 48.0 +/- 1.8 of inhibition at 100 mu g/mL) and glyco-lytic pH-drop by S. mutans in biofilms (125 and 250 mu g/mL) (vs. vehicle control, p < 0.05). In contrast, the test compound did not significantly affect the bacterial viability when compared to vehicle control (15% ethanol, p > 0.05). Wistar rats treated topically with 7-epi (twice daily, 60-s exposure) showed significantly smaller number of and less severe smooth-and sulcal-surface carious lesions (p < 0.05), without reducing the S. mutans viable population from the animals` dental biofilms. In conclusion, the natural compound 7-epiclusianone may be a potentially novel pharmacological agent to prevent and control dental caries disease.

Anatomical development of the pericarp and seed of Oncidium flexuosum Sims (ORCHIDACEAE)

Interpretation of the anatomical structure of the ovary and fruit of the Orchidaceae family is still controversial, which makes it difficult to understand the development and dehiscence of the fruit. The genus Oncidium is polyphyletic and is currently the subject of taxonomic studies. In this study, we have investigated the anatomical development of the pericarp and seed of Oncidium flexuosum Sims to determine important diagnostic characters that, along with molecular data, can assist in defining this group. We have found a new anatomical characteristic of the family: the presence of precursor cells for fruit dehiscence, which were visible from the beginning of development and located on the outer walls of the sterile valves. In contrast with what has been observed by different authors with other species, in the mature fruit of O. flexuosum, only the endocarp of the fertile valves and a few cells near the exocarp and the vascular bundle in the sterile valves show parietal thickening, while the rest remains parenchymatous. During the development of the ovule and embryo, we have shown that the embryonic sac of this species has eight nuclei and that the embryo has a long and elaborate suspensor. (C) 2011 Elsevier GmbH. All rights reserved.

Sugar and ethanol production as a rural development strategy in Brazil: Evidence from the state of Sao Paulo

Sugar and ethanol production are key components of Brazil`s rural development and energy strategies, yet in recent years sugar production has been widely criticized for its environmental and labor practices. This study examines the relationship between rural development and sugarcane, ethanol, and cattle production in the state of Sao Paulo. Our results suggest that the value added components of sugarcane production, which include sugar refining and ethanol production, may have a strong positive affect on local human development in comparison to primary agricultural production activities and other land uses. These results imply that sugar production, when accompanied by a local processing industry can stimulate rural development. However, this paper also highlights the significant environmental and social harms generated by the sugar industry at large, which may undermine its development benefits if not addressed. (C) 2011 Elsevier Ltd. All rights reserved.

Effect of sugarcane varieties on the development of Mahanarva fimbriolata (Hemiptera: Cercopidae)

The sugarcane spittlebug, Mahanarva fimbriolata (Hemiptera: Cercopidae), is considered the most important pest of sugarcane harvested without the burning of trash, or green cane, in Brazil. The objective of this work was to compare the biology of M. fimbriolata on six sugarcane varieties: SP79-1011, SP80-1816, SP80-1842, SP81-3250, RB72454, and RB835486. The experiments were conducted at a temperature of 25 +/- 1 degrees C, RH of 70 +/- 10%, and a photoperiod of 14:10 [L:D]. Variety RB72454 outperformed the rest, reducing the nymphal population that fed on its roots by 50%. With regard to adults, variety SP81-3250 allowed greater mean longevity of males (38 days) and females (51 days), greater mean oviposition period (46 days), and higher mean fecundity (1215 eggs/female); these parameters were statistically different from those obtained with other varieties. For the eggs, there was no significant effect of variety on developmental time or viability. Consequently, the variety SP81-3250 should be avoided in areas predisposed to the occurrence of M. fimbriolata.