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.

Ambiente computacional para projetos de sistemas com tecnologia mista

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

Ferramentas para a integração de redes de Petri e VHDL na síntese de sistemas digitais

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

Geração algébrica de malhas bidimensionais

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

Análise dinâmica de placas delgadas utilizando elementos finitos triangulares e retangulares

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

Análise numérica da convecção natural em dispositivos solar integrados coletor-tanque

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

Análise de métodos numéricos de diferenças finitas para solução da equação de Poisson em domínios irregulares

Pós-graduação em Matematica Aplicada e Computacional - FCT

Análise das tensões em próteses implantossuportadas esplintadas, variando a localização dos implantes, pôntico e cantilever: estudo pelo método dos elementos finitos tridimensionais

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

A saúde do homem: doenças crônicas não transmissíveis e vulnerabilidade social

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

Simulação computacional por elementos finitos de múltiplas fissuras em sólidos usando técnica de fragmentação da malha

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

Avaliação das ações de alimentação e nutrição na atenção primária a saúde no estado de São Paulo

Pós-graduação em Alimentos e Nutrição - FCFAR

Extraction methods and availability of phosphorus for soybean in soils from Parana State, Brazil

In studies on the evaluation of methodologies for the analysis of soil, phosphorus (P) has been the single most studied aspect, due to the complexity of this dynamic element in soil. However, these studies have been limited regarding soil conditions in Paranaa. The present study aimed to evaluate the efficiency of the Mehlich-1, Mehlich-3 and ion exchange resin methods in the evaluation of available P for soybean (Glycine max) in the soils of Paranaa State. Twelve soil samples collected from the upper 0-20 cm were planted with soybean for a period of 42 days in the greenhouse. The ability to extract soil P followed the order of decreasing average amount of extracted P: Mehlich-3 > resin > Mehlich-1. The correlation coefficients between the content of P extracted by Mehlich-1, Mehlich-3 and resin and the amount of P accumulated in the plants were 0.86, 0.90 and 0.93, respectively. Mehlich-1, Mehlich-3 and resin showed similar efficiency in the evaluation of P availability to plants and, under conditions of natural fertility and in soils that had received no application of poorly natural reactive phosphates, can be used to quantify the concentrations of P in the soils of Parana State.

Methods Used for Assessing Stresses in Buccomaxillary Prostheses: Photoelasticity, Finite Element Technique, and Extensometry

The authors describe a literature revision on assessing stresses in buccomaxillary prostheses photoelasticity, finite element technique, and extensometry. They describe the techniques and the importance for use of each method in buccomaxillary prostheses with implants and the need of accomplishing more studies in this scarce literary area.

Integrable aspects of the scaling q-state Potts models II: finite-size effects

We continue our discussion of the q-state Potts models for q less than or equal to 4, in the scaling regimes close to their critical and tricritical points. In a previous paper, the spectrum and full S-matrix of the models on an infinite line were elucidated; here, we consider finite-size behaviour. TBA equations are proposed for all cases related to phi(21) and phi(12) perturbations of unitary minimal models. These are subjected to a variety of checks in the ultraviolet and infrared limits, and compared with results from a recently-proposed non-linear integral equation. A non-linear integral equation is also used to study the flows from tricritical to critical models, over the full range of q. Our results should also be of relevance to the study of the off-critical dilute A models in regimes 1 and 2. (C) 2003 Elsevier B.V. B.V. All rights reserved.