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)

Estratégia competitiva e o papel da função produção: uma análise em empresas do polo calçadista de Birigui

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

Fragilidades e inconsistências do modelo unicausal de acidentes do trabalho diante de concepções sistêmicas e análise ergonômica do trabalho: o caso de uma caldeiraria

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

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)

Brazilian Students and Working Capital: An Analysis of Their Decisions When Using Virtual Market Business Games

This study aims to demonstrate that data from business games can be an important resource for improving efficiency and effectiveness of learning. The proposal presented here was developed from preliminary studies of data from Virtual Market games that pointed the possibility of identifying gaps in learning by analyzing the decisions of students. This proposal helps students to refine their learning processes and equips tutors with strategies for teaching and student assessment. The proposal also complements the group discussion and/or debriefing, which are widely used to enhance learning mediated by games. However, from a management perspective the model has the potential to be erroneous and miss opportunities, which cannot be detected because of the dependence on the characteristics of the individual, such as ability to communicate and work together. To illustrate the proposed technique, data sets from two business games were analyzed with the focus on managing working capital and it was found that students had difficulties managing this task. Similar trends were observed in all categories of students in the study-undergraduate, postgraduate and specialization. This discovery led us to the analysis of data for decisions made in the performance of the games, and it was determined that indicators could be developed that were capable of indentifying inconsistencies in the decisions. It was decided to apply some basic concepts of the finance management, such as management of the operational and non-operational expenditures, as well as production management concepts, such as the use of the production capacity. By analyzing the data from the Virtual Market games using the indicator concept, it was possible to detect the lack of domain knowledge of the students. Therefore, these indicators can be used to analyze the decisions of the players and guide them during the game, increasing their effectiveness and efficiency. As these indicators were developed from specific content, they can also be used to develop teaching materials to support learning. Viewed in this light, the proposal adds new possibilities for using business games in learning. In addition to the intrinsic learning that is achieved through playing the games, they also assist in driving the learning process. This study considers the applications and the methodology used.

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.