Digital system design process automation using place/transition petri nets

The constant increase in digital systems complexity definitely demands the automation of the corresponding synthesis process. This paper presents a computational environment designed to produce both software and hardware implementations of a system. The tool for code generation has been named ACG8051. As for the hardware synthesis there has been produced a larger environment consisting of four programs, namely: PIPE2TAB, AGPS, TABELA, and TAB2VHDL. ACG8051 and PIPE2TAB use place/transition net descriptions from PIPE as inputs. ACG8051 is aimed at generating assembly code for the 8051 micro-controller. PIPE2TAB produces a tabular version of a Mealy type finite state machine of the system, its output is fed into AGPS that is used for state allocation. The resulting digital system is then input to TABELA, which minimizes control functions and outputs of the digital system. Finally, the output generated by TABELA is fed to TAB2VHDL that produces a VHDL description of the system at the register transfer level. Thus, we present here a set of tools designed to take a high-level description of a digital system, represented by a place/transition net, and produces as output both an assembly code that can be immediately run on an 8051 micro-controller, and a VHDL description that can be used to directly implement the hardware parts either on an FPGA or as an ASIC.

Bandgap voltage reference with low susceptibility to electromagnetic interference (EMI)

In this paper, the susceptibility of a current-mode bandgap voltage reference to electromagnetic interference (EMI) superimposed to the power supply is investigated by simulation. Designed for AMS 0.35 CMOS process, the circuit provides a stable voltage reference in the temperature range of -40-150°C. When EMI disturbances are present, the circuit exhibits only 6.7 mV of offset for interfering signals in the frequency range of 150 kHz-1 GHz. © 2011 ACM.

Computational tool to support design of DAC Converter model AD7528 with the object code in XML

Based on literature review, electronic systems design employ largely top-down methodology. The top-down methodology is vital for success in the synthesis and implementation of electronic systems. In this context, this paper presents a new computational tool, named BD2XML, to support electronic systems design. From a block diagram system of mixed-signal is generated object code in XML markup language. XML language is interesting because it has great flexibility and readability. The BD2XML was developed with object-oriented paradigm. It was used the AD7528 converter modeled in MATLAB / Simulink as a case study. The MATLAB / Simulink was chosen as a target due to its wide dissemination in academia and industry. From this case study it is possible to demonstrate the functionality of the BD2XML and make it a reflection on the design challenges. Therefore, an automatic tool for electronic systems design reduces the time and costs of the design.

Differential mixer with NMOS/PMOS stack at switching stage

This paper proposes a novel differential mixer topology. The traditional stage of switching is replaced by a stack of NMOS and PMOS transistors combined. A design is given of a 900 MHz down-conversion mixer using a 0.35 μm CMOS process. Comparison with conventional mixer shows that the topology leads to a better performance in terms of conversion gain and linearity. ©2012 IEEE.

Modelagem do escoamento transiente ao longo de trocadores de calor tubo capilar-linha de sucção

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

Objetos de aprendizagem para universitários sobre prevenção de acidentes de trânsito

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Utilização do método de Taguchi na modelagem e otimização de vazios relacionados à solidificação em processo de fundição de aço ABNT 1030

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Otimização de sistemas de distribuição de energia elétrica radiais usando programação cônica de segunda ordem inteira mista

Pós-graduação em Engenharia Elétrica - FEIS

Mathematical analysis of maximum power generated by photovoltaic systems and fitting curves for standard test conditions

The rural electrification is characterized by geographical dispersion of the population, low consumption, high investment by consumers and high cost. Moreover, solar radiation constitutes an inexhaustible source of energy and in its conversion into electricity photovoltaic panels are used. In this study, equations were adjusted to field conditions presented by the manufacturer for current and power of small photovoltaic systems. The mathematical analysis was performed on the photovoltaic rural system I- 100 from ISOFOTON, with power 300 Wp, located at the Experimental Farm Lageado of FCA/UNESP. For the development of such equations, the circuitry of photovoltaic cells has been studied to apply iterative numerical methods for the determination of electrical parameters and possible errors in the appropriate equations in the literature to reality. Therefore, a simulation of a photovoltaic panel was proposed through mathematical equations that were adjusted according to the data of local radiation. The results have presented equations that provide real answers to the user and may assist in the design of these systems, once calculated that the maximum power limit ensures a supply of energy generated. This real sizing helps establishing the possible applications of solar energy to the rural producer and informing the real possibilities of generating electricity from the sun.

Transcriptomics and systems biology analysis in identification of specific pathways involved in cacao resistance and susceptibility to witches' broom disease

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Influence of husbandry systems on physiological stress reactions of captive brown brocket (Mazama gouazoubira) and marsh deer (Blastocerus dichotomus)-noninvasive analysis of fecal cortisol metabolites

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Stability and convergence analysis of a neural model applied in nonlinear systems optimization

A neural model for solving nonlinear optimization problems is presented in this paper. More specifically, a modified Hopfield network is developed and its internal parameters are computed using the valid-subspace technique. These parameters guarantee the convergence of the network to the equilibrium points that represent an optimal feasible solution. The network is shown to be completely stable and globally convergent to the solutions of nonlinear optimization problems. A study of the modified Hopfield model is also developed to analyze its stability and convergence. Simulation results are presented to validate the developed methodology.

Framework for analysis and representation of external systems for online reactive-optimisation studies

The paper proposes a framework for the analysis and representation of external systems for online optimisation studies. The basis for this framework is the equivalent OPF (EOPF), an optimisation model obtained by partitioning of the OPF model. The EOPF is mathematically redefined in the paper to accommodate the concept of a buffer zone. The resulting model is more useful for online optimisation, since external information obtained through intercontrol-centre exchange contracts can be used to improve internal control calculation. Numerical results obtained with original studies involving the boundary-matching procedure have provided a conceptual basis for the definition of a buffer zone for optimisation studies with the EOPF. In the proposed framework, the accuracy of the external representation in optimisation studies is evaluated by comparing the controls obtained by an EOPF procedure with those obtained by the reference-optimisation procedure defined in this paper. The framework is then used to evaluate the accuracy of equivalent optimisation studies involving the IEEE 118-bus test system and the Brazilian South Southeast 810-bus system. The results show that the incorporation of a buffer zone improves the external system representation for all optimisation studies performed.

Thermoeconomic analysis method for optimization of combined heat and power systems

This article presents an thermoeconomic analysis of cogeneration plants, applied as a rational technique to produce electric power and saturated steam. The aim of this new methodology is the minimum exergetic manufacturing cost (EMC), based on the Second Law of Thermodynamics. The decision variables selected for the optimization are the pressure and the temperature of the steam leaving the boiler in the case of using steam turbine, and the pressure ratio, turbine exhaust temperature and mass flow in the case of using gas turbines. The equations for calculating the capital costs of the components and products are formulated as a function of these decision variables. An application of the method using real data of a multinational chemical industry located in São Paulo state is presented. The conditions which establish the minimum cost are presented as finals conclusions.

Thermoeconomic analysis method for optimization of combined heat and power systems - part II

In this paper, a thermoeconomic functional analysis method based on the Second Law of Thermodynamics and applied to analyze four cogeneration systems is presented. The objective of the developed technique is to minimize the operating costs of the cogeneration plant, namely exergetic production cost (EPC), assuming fixed rates of electricity production and process steam in exergy base. In this study a comparison is made between the same four configurations of part I. The cogeneration system consisting of a gas turbine with a heat recovery steam generator, without supplementary firing, has the lowest EPC. (C) 2004 Published by Elsevier Ltd.