Logic Synthesis
Mostrando 13-24 de 26 artigos, teses e dissertações.
-
13. Teoria kantiana dos juizos juridico-politicos a priori segundo o metodo de analise e sintese / Kantian theory of the a priori juridical-political judgment according to the analysis and synthesis method
The present study about Kantian philosophy aims to demonstrate the feasibility of a priori juridical-political judgments in general, which results in the problem of proving the achievability of universal and continuous peace fomentation. It is through rules and application mechanisms given on politics in general (a priori politics and empirical politics), as
Publicado em: 2010
-
14. A study of the application of binary decision diagrams in multilevel logic synthesis / Une etude de l'application des diagrammes de décision binaire à la synthèse de circuits digitaux en logique multi-cauches
Resumo não disponível
Publicado em: 2009
-
15. Technology mapping for virtual libraries based on cells with minimal transistor stacks / Mapeamento tecnológico para bibliotecas virtuais baseado em células com cadeias mínimas de transistores em série
Atualmente, as tecnologias disponíveis para a fabricação de dispositivos eletrônicos permitem um alto grau de integração de semicondutores. Entretanto, esta integração torna o projeto, a verificação e o teste de circuitos integrados mais difíceis. Normalmente, o projeto de circuitos integrados é consideravelmente afetado com a diminuição do tam
Publicado em: 2009
-
16. Combinational digital circuit in multi-valued logic / Circuitos digitais combinacionais na lógica de múltiplos valores
The combinational digital circuits are designed in binary logic known as Switching Algebra, and depending of the complexity have limitations, some of them are consumption of energy and the size of the circuits generated by the number of interconnections, one alternative to solve this problem is the use of Multilevel Logic also known as Multi-valued Logic (MV
Publicado em: 2008
-
17. Synthesis of circuits with memory in multilevel logic / Síntese de circuitos com memória em lógica multinível
With the advanced in the technology VLSI (very Large Scale Integration) of the integrated circuits, broad interest has been generated regarding circuits that utilize more than two logical levels for the discrete representation of signals. These circuits are named, logic circuits of multiple values (MVL) and offer a great potential for the design of VLSI, bec
Publicado em: 2008
-
18. Automatic generation and evaluation of transistor networks in different logic styles / Geração automática e avaliação de redes de transistores em diferentes estilos lógicos
Currently, VLSI design has established a dominant role in the electronics industry. Automated tools have enabled designers to manipulate more transistors on a design project and shorten the design cycle. In particular, logic synthesis tools have contributed significantly to reduce the design cycle time. In full-custom designs, manual generation of transistor
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2008
-
19. Desenvolvimento de software de modelagem de processos de sintese de polietileno e correlações entre propriedades das resinas / Development of a modelling software for polythylene synthesis process and of a correlation among polymers characteristics
Esta tese propõe a aplicação de Lógica Fuzzy para a modelagem de um processo de polimerização de eteno em baixa pressão para predição de propriedades de qualidade. O software de modelagem é inovador com relação à questão de relacionar como variável de saída, características da qualidade e de desempenho das resinas a partir de condições de
Publicado em: 2007
-
20. Planning under uncertainty for extended reachability goals / Planejamento sob incerteza para metas de alcançabilidade estendidas
Planning under uncertainty has being increasingly demanded for practical applications in several areas that require reliable solutions for complex goals. In sight of this, in the last few years, some approaches based on formal methods for automatic synthesis of plans have been proposed in the area of Planning in Artificial Intelligence. Among these approache
Publicado em: 2007
-
21. Projeto e implementação de circuitos classificadores digitais com controle da generalização baseado na regra do vizinho-mais-próximo modificada
This work aims at the implementation of classifying binary patterns with digital circuits in order to get a embedded system with the following features: portability, on-line training, operating in real time and with capacity of generalization. The proposed method makes use of training data filtering (or selection) before digital circuit synthesis. It is prop
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/02/2006
-
22. Software and new techniques for multi-valued digital functions synthesis, minimization and simulation / Desenvolvimento de novas tecnicas e um aplicativo para sintese, minimização e simulação de funções digitais multi-valores
Este trabalho consiste na análise de regras de síntese e minimização de funções digitais multi-valores e na criação de um software para a realização automatizada da síntese empregando as regras criadas e, também, na criação de um software para simulação de portas lógicas e circuitos digitais multi-valores. Todas essas ações são coerentes
Publicado em: 2006
-
23. EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS / EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Garantir que programas são implementados de forma a cumprir uma especificação é uma questão fundamental em computação, por isso, têm sido propostos vários métodos que almejam provar a correção dos programas. Este trabalho apresenta um método, baseado no isomorfismo de Curry-Howard, que extrai conteúdos computacionais de provas intuicionistas, c
Publicado em: 2004
-
24. Application of Fuzzy Logic in the Production of Penicillin G Acylase in Bacillus megaterium Cultivations. / Aplicação da lógica fuzzi na produção de penicilina G Acilase em cultivos de Bacillus megaterium.
Penicillin G acylase (PGA) is an important enzyme for the pharmaceutical industry. This enzyme has industrial use in the hydrolysis of penicillin G to obtain 6-aminocephalosporanic acid (6-APA), essential intermediate for the production of beta-lactam antibiotics. Many microorganisms produce PGA, but Bacillus megaterium is one of the few that excretes the en
Publicado em: 2003