Dynamic Design of Piezoelectric Laminated Sensors and Actuators using Topology Optimization

Sensors and actuators based on piezoelectric plates have shown increasing demand in the field of smart structures, including the development of actuators for cooling and fluid-pumping applications and transducers for novel energy-harvesting devices. This project involves the development of a topology optimization formulation for dynamic design of piezoelectric laminated plates aiming at piezoelectric sensors, actuators and energy-harvesting applications. It distributes piezoelectric material over a metallic plate in order to achieve a desired dynamic behavior with specified resonance frequencies, modes, and enhanced electromechanical coupling factor (EMCC). The finite element employs a piezoelectric plate based on the MITC formulation, which is reliable, efficient and avoids the shear locking problem. The topology optimization formulation is based on the PEMAP-P model combined with the RAMP model, where the design variables are the pseudo-densities that describe the amount of piezoelectric material at each finite element and its polarization sign. The design problem formulated aims at designing simultaneously an eigenshape, i.e., maximizing and minimizing vibration amplitudes at certain points of the structure in a given eigenmode, while tuning the eigenvalue to a desired value and also maximizing its EMCC, so that the energy conversion is maximized for that mode. The optimization problem is solved by using sequential linear programming. Through this formulation, a design with enhancing energy conversion in the low-frequency spectrum is obtained, by minimizing a set of first eigenvalues, enhancing their corresponding eigenshapes while maximizing their EMCCs, which can be considered an approach to the design of energy-harvesting devices. The implementation of the topology optimization algorithm and some results are presented to illustrate the method.

Recycling Krylov subspaces for efficient large-scale electrical impedance tomography

Electrical impedance tomography (EIT) captures images of internal features of a body. Electrodes are attached to the boundary of the body, low intensity alternating currents are applied, and the resulting electric potentials are measured. Then, based on the measurements, an estimation algorithm obtains the three-dimensional internal admittivity distribution that corresponds to the image. One of the main goals of medical EIT is to achieve high resolution and an accurate result at low computational cost. However, when the finite element method (FEM) is employed and the corresponding mesh is refined to increase resolution and accuracy, the computational cost increases substantially, especially in the estimation of absolute admittivity distributions. Therefore, we consider in this work a fast iterative solver for the forward problem, which was previously reported in the context of structural optimization. We propose several improvements to this solver to increase its performance in the EIT context. The solver is based on the recycling of approximate invariant subspaces, and it is applied to reduce the EIT computation time for a constant and high resolution finite element mesh. In addition, we consider a powerful preconditioner and provide a detailed pseudocode for the improved iterative solver. The numerical results show the effectiveness of our approach: the proposed algorithm is faster than the preconditioned conjugate gradient (CG) algorithm. The results also show that even on a standard PC without parallelization, a high mesh resolution (more than 150,000 degrees of freedom) can be used for image estimation at a relatively low computational cost. (C) 2010 Elsevier B.V. All rights reserved.

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 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.

Universal Set-top Box: A Simple Design to Provide Accessible Services

This paper presents the design of a low cost accessible digital television set-top box. This set-top box was designed and tested to the International ISDB-T system and considered the adoption of solutions that would provide accessible services in digital television in the simplest digital television receiver. The accessible set-top box was evaluated regarding the processing and memory requirements impacts to provide the features for accessible services. The work presents also the access services bandwidth consumption analysis(1).

Adequacy of Cold Rolling Models to Upgrade Set-up Generation Systems

This paper presents two strategies for the upgrade of set-up generation systems for tandem cold mills. Even though these mills have been modernized mainly due to quality requests, their upgrades may be made intending to replace pre-calculated reference tables. In this case, Bryant and Osborn mill model without adaptive technique is proposed. As a more demanding modernization, Bland and Ford model including adaptation is recommended, although it requires a more complex computational hardware. Advantages and disadvantages of these two systems are compared and discussed and experimental results obtained from an industrial cold mill are shown.

Simple and Efficient Access to 3-Ethoxycarbonylpyrroles, Benzofurans, and Naphthofurans

An efficient method was developed for the synthesis of pyrrole and furan derivatives from enamines, phenols, and naphthols. The key steps involve iodocyclization and alumina-induced dehydroiodination reactions.

Inhibition of Auxin Transport from the Ovary or from the Apical Shoot Induces Parthenocarpic Fruit-Set in Tomato Mediated by Gibberellins

Fruit-set in tomato (Solanum lycopersicum) depends on gibberellins and auxins (GAs). Here, we show, using the cv MicroTom, that application of N-1-naphthylphthalamic acid (NPA; an inhibitor of auxin transport) to unpollinated ovaries induced parthenocarpic fruit-set, associated with an increase of indole-3-acetic acid (IAA) content, and that this effect was negated by paclobutrazol (an inhibitor of GA biosynthesis). NPA-induced ovaries contained higher content of GA(1) (an active GA) and transcripts of GA biosynthetic genes (SlCPS, SlGA20ox1, and -2). Interestingly, application of NPA to pollinated ovaries prevented their growth, potentially due to supraoptimal IAA accumulation. Plant decapitation and inhibition of auxin transport by NPA from the apical shoot also induced parthenocarpic fruit growth of unpollinated ovaries. Application of IAA to the severed stump negated the plant decapitation effect, indicating that the apical shoot prevents unpollinated ovary growth through IAA transport. Parthenocarpic fruit growth induced by plant decapitation was associated with high levels of GA(1) and was counteracted by paclobutrazol treatment. Plant decapitation also produced changes in transcript levels of genes encoding enzymes of GA biosynthesis (SlCPS and SlGA20ox1) in the ovary, quite similar to those found in NPA-induced fruits. All these results suggest that auxin can have opposing effects on fruit-set, either inducing (when accumulated in the ovary) or repressing (when transported from the apical shoot) that process, and that GAs act as mediators in both cases. The effect of NPA application and decapitation on fruit-set induction was also observed in MicroTom lines bearing introgressed DWARF and SELF-PRUNING wild-type alleles.

The effectiveness of Eucalyptus barrier in containing the edge effect on a subtropical forest fragment in the state of Sao Paulo, Brazil

Edge effects resulting from isolation and subsequent microclimatic changes are one of the most important threats to the forest fragments conservation. The efficiency of maintaining a barrier formed by three rows of Eucalyptus along the edge of a subtropical seasonal semi deciduous forest fragment, surrounded by Eucalyptus monoculture, was evaluated as a way of softening the microclimatic changes (light intensity, temperature and relative humidity) and the impacts of eucalypt mechanized harvesting on the native vegetation along the contact zone between the forest fragment and the plantation. The Eucalyptus barrier was effective in softening the microclimate. Light intensity was 35% lower in the presence of the barrier. The barrier also provided a reduction of 1 C in air temperature and increased in 3.4% in relative humidity throughout the year. The barrier was also effective in preventing the impact on native vegetation, avoiding damage to adult trees and preserving the regenerating forest stratum near the border, which was reduced to less than 20% in density and 50% in richness, with no such barrier. The barrier of Eucalyptus may, therefore, be recommended as an effective method to minimize the impacts of mechanized forest harvesting operations and mitigate the microclimatic conditions along the edge of forest fragments.

A new set of microsatellite markers for the genetic characterization of Ceratocystis fimbriata, an economically important plant pathogen

Ceratocystis fimbriata is a fungal pathogen which attacks several economically important plants, but occurs in host-associated, morphologically indistinguishable forms. In Brazil, this fungus seriously attacks mango trees (Mangifera indica), causing severe loss of yield. This work aimed to develop and characterize a novel set of microsatellite markers for this important pathogen, providing researchers with new molecular tools for the characterization of isolates. Twenty polymorphic primer pairs were designed from a microsatellite-enriched library. We tested the usefulness of these markers through genotyping thirteen isolates of the fungus. On average, 6.65 alleles per locus were detected, revealing the ability of this set of markers to characterize C. fimbriata isolates associated to mango and to other plant species.

Democracy on the Edge: Limits and Possibilities in the Implementation of an Urban Reform Agenda in Brazil

The 1990s in Brazil were a time of institutional advances in the areas of housing and urban rights following the signing of the new constitution in 1988 that incorporated the principles of the social function of cities and property, recognition of the right to ownership of informal urban squatters and the direct participation of citizens in urban policy decision processes. These propositions are the pillars of the urban reform agenda which, since the creation of the Ministry of Cities by the Lula government, has come under the federal executive branch. This article evaluates the limitations and opportunities involved in implementing this agenda on the basis of two policies proposed by the ministry - the National Cities Council and the campaign for Participatory Master Plans - focusing the analysis on government organization in the area of urban development in its relationship with the political system and the characteristics of Brazilian democracy. Resume Au Bresil, les annees 1990 ont ete marquees par des progres institutionnels en matiere de logement et de droits urbains, dans le sillage de la Constitution de 1988 qui integre les principes d`une fonction sociale de la ville et de la propriete urbaine, ainsi que la reconnaissance du droit a la propriete pour les squatters urbains et la participation directe des citoyens aux processus d`elaboration des politiques urbaines. Ce sont egalement les piliers du programme de reforme urbaine qui releve de l`executif federal depuis la creation d`un ministere des Villes par le gouvernement Lula. Pour evaluer les limites et potentiels lies a la mise en place de ce programme, cet article s`appuie sur deux politiques publiques proposees par le ministere, le Conseil national des villes et la campagne en faveur des Plans directeurs participatifs, en analysant plus particulierement l`organisation gouvernementale en matiere d`urbanisme par rapport au systeme politique et aux caracteristiques de la democratie bresilienne.

Chiral Triphenylprolinol Ligands for the Efficient Catalytic Asymmetric Arylation of Aldehydes

The synthesis of new chiral amino alcohols by Heck arylation of an enecarbamate is described. These compounds were used as chiral ligands for the catalytic asymmetric arylation of aldehydes and can be easily recovered. Chiral, nonracemic diarylmethanols were obtained in high yields and enantioselectivities.

QSAR Modeling of a Set of Pyrazinoate Esters as Antituberculosis Prodrugs

Tuberculosis is an infection caused mainly by Mycobacterium tuberculosis. A first-line antimycobacterial drug is pyrazinamide (PZA), which acts partially as a prodrug activated by a pyrazinamidase releasing the active agent, pyrazinoic acid (POA). As pyrazinoic acid presents some difficulty to cross the mycobacterial cell wall, and also the pyrazinamide-resistant strains do not express the pyrazinamidase, a set of pyrazinoic acid esters have been evaluated as antimycobacterial agents. In this work, a QSAR approach was applied to a set of forty-three pyrazinoates against M. tuberculosis ATCC 27294, using genetic algorithm function and partial least squares regression (WOLF 5.5 program). The independent variables selected were the Balaban index (I), calculated n-octanol/water partition coefficient (ClogP), van-der-Waals surface area, dipole moment, and stretching-energy contribution. The final QSAR model (N = 32, r(2) = 0.68, q(2) = 0.59, LOF = 0.25, and LSE = 0.19) was fully validated employing leave-N-out cross-validation and y-scrambling techniques. The test set (N = 11) presented an external prediction power of 73%. In conclusion, the QSAR model generated can be used as a valuable tool to optimize the activity of future pyrazinoic acid esters in the designing of new antituberculosis agents.

Highly efficient palladium-catalyzed Suzuki-Miyaura reactions of potassium aryltrifluoroborates with 5-iodo-1,3-dioxin-4-ones in water: an approach to alpha-aryl-beta-ketoesters

The high efficient palladium-catalyzed Suzuki-Miyaura reactions of potassium aryltrifluoroborates 3 with 5-iodo-1,3-dioxin-4-ones 2a-b in water as only solvent in the presence of n-Bu(4)NOH as base is reported. The respective 5-aryl-1,3-dioxin-4-ones 4a-n were obtained in good to excellent yields. The catalyst system provides high efficiency at low load using electronically diverse coupling partners. The obtained 2,2,6-trimethyl-5-aryl-1,3-dioxin-4-ones were transformed into corresponding alpha-aryl-beta-ketoesters 6 by reaction with an alcohol in the absence of solvent. (C) 2009 Elsevier Ltd. All rights reserved.