Automatic layout generation of static CMOS circuits targeting delay and power

The evolution of integrated circuits technologies demands the development of new CAD tools. The traditional development of digital circuits at physical level is based in library of cells. These libraries of cells offer certain predictability of the electrical behavior of the design due to the previous characterization of the cells. Besides, different versions of each cell are required in such a way that delay and power consumption characteristics are taken into account, increasing the number of cells in a library. The automatic full custom layout generation is an alternative each time more important to cell based generation approaches. This strategy implements transistors and connections according patterns defined by algorithms. So, it is possible to implement any logic function avoiding the limitations of the library of cells. Tools of analysis and estimate must offer the predictability in automatic full custom layouts. These tools must be able to work with layout estimates and to generate information related to delay, power consumption and area occupation. This work includes the research of new methods of physical synthesis and the implementation of an automatic layout generation in which the cells are generated at the moment of the layout synthesis. The research investigates different strategies of elements disposition (transistors, contacts and connections) in a layout and their effects in the area occupation and circuit delay. The presented layout strategy applies delay optimization by the integration with a gate sizing technique. This is performed in such a way the folding method allows individual discrete sizing to transistors. The main characteristics of the proposed strategy are: power supply lines between rows, over the layout routing (channel routing is not used), circuit routing performed before layout generation and layout generation targeting delay reduction by the application of the sizing technique. The possibility to implement any logic function, without restrictions imposed by a library of cells, allows the circuit synthesis with optimization in the number of the transistors. This reduction in the number of transistors decreases the delay and power consumption, mainly the static power consumption in submicrometer circuits. Comparisons between the proposed strategy and other well-known methods are presented in such a way the proposed method is validated.

A pessoa com tuberculose e o cuidado de si

Tuberculosis is a serious disease with high incidence and prevalence, and in many countries a priority public health problem, with persisting high epidemiological significance. Seeing the person with tuberculosis it is important to observe his/her self care, as well as the difficulties intertwined in this process, since it can be directly impacting the health/disease process. The aim of this study was to analyze the self care of people with tuberculosis. Descriptive study with qualitative approach, conducted in West Sanitary District of the city of Natal, RN. Data collection occurred through a semi-structured interview guided by questions concerning sociodemographic and about the disease, treatment, and self care, between the months of July to September 2012 and met the ethical precepts of research with human beings. To analyze the results we used the technique of thematic content analysis of Laurence Bardin, through the prism of the theoretical-philosophical self care discussed by Michel Foucault. From the analysis emerged two categories, the first being, Meaning of tuberculosis, with subcategories: tuberculosis as sadness and unhappiness and tuberculosis as a normal issue, and the second, Beware yourself to tuberculosis, which had subcategories: self care as attention to the health care of oneself as satisfaction of basic needs and difficulties to self care. Tuberculosis represents for some people, something really sad, causing psychological suffering, however the other presents as normal. Self care of persons with tuberculosis in this study are related in great part to seek health care and the satisfaction of basic needs. About the difficulties related to the practice of self-care, it is observed that these are tied to food, time for rest, slowness of health services for scheduling appointments and tests, as well as related habits and dependencies in the lives of these people. This study contributed to a reflection of the users with tuberculosis and self care, revealing aspects that healthcare professionals should pay attention to watch these people, being able to see everyday on the run, the need for a space and time for oneself

Group Sequential Communication (GSC): Especificação e Análise de Desempenho de umMecanismo de Comunicação de Tempo Real Compatível ao Padrão IEEE 802.11/11e Aplicado à Automação Industrial

This thesis proposes the specification and performance analysis of a real-time communication mechanism for IEEE 802.11/11e standard. This approach is called Group Sequential Communication (GSC). The GSC has a better performance for dealing with small data packets when compared to the HCCA mechanism by adopting a decentralized medium access control using a publish/subscribe communication scheme. The main objective of the thesis is the HCCA overhead reduction of the Polling, ACK and QoS Null frames exchanged between the Hybrid Coordinator and the polled stations. The GSC eliminates the polling scheme used by HCCA scheduling algorithm by using a Virtual Token Passing procedure among members of the real-time group to whom a high-priority and sequential access to communication medium is granted. In order to improve the reliability of the mechanism proposed into a noisy channel, it is presented an error recovery scheme called second chance algorithm. This scheme is based on block acknowledgment strategy where there is a possibility of retransmitting when missing real-time messages. Thus, the GSC mechanism maintains the real-time traffic across many IEEE 802.11/11e devices, optimized bandwidth usage and minimal delay variation for data packets in the wireless network. For validation purpose of the communication scheme, the GSC and HCCA mechanisms have been implemented in network simulation software developed in C/C++ and their performance results were compared. The experiments show the efficiency of the GSC mechanism, especially in industrial communication scenarios.

Multi-population genetic algorithm to solve the synchronized and integrated two-level lot sizing and scheduling problem

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

Static simulation of bulk and selected surfaces of anatase TiO2

A theoretical investigation has been carried out to characterize bulk and selected surfaces of anatase TiO2. The calculations are performed using a B3LYP hybrid functional and 6-31G basis set within the periodic density functional approximation. Optimization procedures have been employed to determine the equilibrium geometry of the crystal and slab surface models. The compressibility, band structure, and the bulk and surface charge distributions are reported. The surface relative energies are identified to follow the sequence: (001) < (101) < (100) much less than (110) < < < (111), from the most stable surface to the least stable one. Relaxation of (001) and (101) surfaces are moderate, with no displacements exceeding; approximate to0.19 Angstrom. The theoretical results are compared with previous theoretical studies and available experimental data. (C) 2001 Elsevier B.V. B.V. All rights reserved.

Binary integer programming formulations for scheduling in market-driven foundries

This paper describes the development and solution of binary integer formulations for production scheduling problems in market-driven foundries. This industrial sector is comprised of small and mid-sized companies with little or no automation, working with diversified production, involving several different metal alloy specifications in small tailor-made product lots. The characteristics and constraints involved in a typical production environment at these industries challenge the formulation of mathematical programming models that can be computationally solved when considering real applications. However, despite the interest on the part of these industries in counting on effective methods for production scheduling, there are few studies available on the subject. The computational tests prove the robustness and feasibility of proposed models in situations analogous to those found in production scheduling at the analyzed industrial sector. (C) 2010 Elsevier Ltd. All rights reserved.

Environmental management in Brazil: is it a completely competitive priority?

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Combined Pool/Bilateral Short-Term Hydrothermal Scheduling Model for Day-Ahead Energy Markets

This paper proposes a combined pool/bilateral short term hydrothermal scheduling model (PDC) for the context of the day-ahead energy markets. Some innovative aspects are introduced in the model, such as: i) the hydraulic generation is optimized through the opportunity cost function proposed; ii) there is no decoupling between physical and commercial dispatches, as is the case today in Brazil; iii) interrelationships between pool and bilateral markets are represented through a single optimization problem; iv) risk exposures related to future deficits are intrinsically mitigated; v) the model calculates spot prices in an hourly basis and the results show a coherent correlation between hydrological conditions and calculated prices. The proposed PDC model is solved by a primal-dual interior point method and is evaluated by simulations involving a test system. The results are focused on sensitivity analyses involving the parameters of the model, in such a way to emphasize its main modeling aspects. The results show that the proposed PDC provides a conceptual means for short term price formation for hydrothermal systems.

Static potential in QED(3) with nonminimal coupling

Here we study the effect of the nonminimal coupling j(mu)epsilon(munualpha)partial derivative(nu)A(alpha) on the static potential in multiflavor QED(3). Both cases of four and two components fermions are studied separately at leading order in the 1/N expansion. Although a nonlocal Chern-Simons term appears, in the four components case the photon is still massless leading to a confining logarithmic potential similar to the classical one. In the two components case, as expected, the parity breaking fermion mass term generates a traditional Chern-Simons term which makes the photon massive and we have a screening potential which vanishes at large intercharge distance. The extra nonminimal couplings have no important influence on the static potential at large intercharge distances. However, interesting effects show up at finite distances. In particular, for strong enough nonminimal coupling we may have a new massive pole in the photon propagator, while in the opposite limit there may be no poles at all in the irreducible case. We also found that, in general, the nonminimal couplings lead to a finite range repulsive force between charges of opposite signs.

Interior point method for long-term generation scheduling of large-scale hydrothermal systems

This paper presents an interior point method for the long-term generation scheduling of large-scale hydrothermal systems. The problem is formulated as a nonlinear programming one due to the nonlinear representation of hydropower production and thermal fuel cost functions. Sparsity exploitation techniques and an heuristic procedure for computing the interior point method search directions have been developed. Numerical tests in case studies with systems of different dimensions and inflow scenarios have been carried out in order to evaluate the proposed method. Three systems were tested, with the largest being the Brazilian hydropower system with 74 hydro plants distributed in several cascades. Results show that the proposed method is an efficient and robust tool for solving the long-term generation scheduling problem.

Evaluation of stitched fabric composite processed by RTM in quasi-static test

Stitched fabrics have been widely studied for potential application in aircraft structures since stitch yarns offer improvements in the out-of-plane mechanical properties and also can save time in the lay up process. The down side of stitch yarns came up in the manufacturing process of fabric in which defects introduced by the needle movement creating fiber-free-zones, fiber breakage and misalignment of fibers. The dry stitched carbon fabric preform has mainly been used in the Resin Transfer Molding (RTM) process which high fiber content is aimed, those defects influence negatively the injection behavior reducing the mechanical properties of final material. The purpose of this research work focused on testing in quasi-static mechanical mode (in-plane tension) of a monocomponent resin CYCOM (R) 890 RTM/carbon fiber anti-symmetric quadriaxial fabric stitched by PE 80Dtex yarn processed by RTM. The evaluation consisted in comparing the scatter of the quasi-static test with the attenuation of ultrasonic maps, which show the path of the resin and possible dry spots considering that interference of yarn in resin flow is detectable in ultrasonic measurement. Microscopic analysis was also considered for further evaluation in case of premature failure. (C) 2011 Published by Elsevier Ltd. Selection and peer-review under responsibility of ICM11