• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 93
  • 50
  • 49
  • 4
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 203
  • 104
  • 92
  • 92
  • 50
  • 47
  • 47
  • 47
  • 24
  • 23
  • 19
  • 18
  • 18
  • 18
  • 16
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Técnicas de agrupamiento para identificación y control por modelos locales

Diez Ruano, José Luís 25 July 2008 (has links)
Una opción interesante para el modelado de sistemas no lineales son los modelos borrosos, sin olvidar que una de las metas del modelado borroso es la interpretabilidad de los modelos. Además, si se pretenden usar los modelos identi?cados para una posterior aplicación a control, será necesario tener en cuenta algunas consideraciones adicionales que podrían modificar los criterios empleados en identificación para predicción. En esta Tesis, tras resaltar algunos conceptos poco claros relacionados con los criterios de modelado local encontrados en la bibliografía, se proponen las características deseables de las técnicas de modelado e identificación borrosa cuando el propósito es el control por modelos locales. Tras estudiar el comportamiento de las funciones objetivo de los algoritmos de agrupamiento borroso adecuados en el modelado para control, se presenta un nuevo índice que incorpora algunas características deseables relacionadas con la convexidad y suavidad de las clases finales identificadas, con ventajas respecto a otras metodologías como Gustaffson-Kessel. A continuación se define una familia de algoritmos de agrupamiento que minimizan la función objetivo previamente definida. Estos algoritmos llevan a una identificación más adecuada de modelos locales, aproximando los modelos locales el modelo linealizado de la planta en sus zonas de validez y, adicionalmente, con características deseables respecto a la interpretabilidad de las funciones de pertenencia (convexidad y suavidad). El algoritmo proporciona simultáneamente modelos locales lineales y agrupamiento de los datos de entrada, siendo especialmente aplicable para identi?cación de modelos borrosos Takagi-Sugeno y descomposición de sistemas no lineales en modelos locales lineales para control. / Diez Ruano, JL. (2003). Técnicas de agrupamiento para identificación y control por modelos locales [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2684 / Palancia
42

Técnicas de control borroso basadas en modelos locales aplicadas a convertidores dc/dc conmutados. Aplicación al convertidor buck

Carbonell Cortés, Pablo Jorge 15 May 2009 (has links)
Partiendo de un conjunto de modelos de pequeña señal discretos, correspondientes a varios regímenes de trabajo de un convertidor continua-continua, una base de reglas borrosas se encarga, según esta propuesta, de realizar la generalización de la descripción dinámica de dicho sistema para cualquier punto de trabajo. Para la obtención del conjunto representativo de regímenes de dimensión óptima, se propone una metodología de selección. Este modelo generalizado permite plantear una propuesta de control de estos sistemas a partir de la selección por inferencia borrosa de la ganacia óptima de realizmentación basándose en el conjunto correspondiente de leyes de control locales. Para el lazo cerrado obtenido, se plantea una condición suficiente de estabilidad. Se ha realizado un estudio de aplicación de esta propuesta sobre el convertidos de topología Buck, comparándose los resultados de distintas pruebas con los obtenidos con otros esquemas de regulación, como el control en modo corriente, observándose notables mejoras en las prestaciones obtenidas con el controlador propuesto. / Carbonell Cortés, PJ. (1999). Técnicas de control borroso basadas en modelos locales aplicadas a convertidores dc/dc conmutados. Aplicación al convertidor buck [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/4641 / Palancia
43

Detecção e remoção automática dos efeitos das sombras de áreas urbanas em imagens multiespectrais com alta resolução espacial /

Azevedo, Samara Calçado de. January 2018 (has links)
Orientador: Erivaldo Antonio da Silva / Banca: Sebastião Milton Pinheiro da Silva / Banca: Wallace Correa de Oliveira Casaca / Banca: Aylton Pagamisse / Banca: José Roberto Nogueira / Resumo: Imagens orbitais com alta resolução espacial abriram uma nova era na extração de informações, especialmente em ambientes urbanos, em que valiosas informações sobre as superfícies tornaram-se disponíveis e de forma detalhada. No entanto, a obtenção de informação em áreas urbanas complexas pode ser comprometida pela presença de sombras, que chegam a ocupar uma parte significativa da imagem, causando sérias interferências na sua análise. A remoção de sombras é, portanto, um tema importante e ainda não resolvido devido à dificuldade da tarefa, sendo necessária na etapa de pré-processamento de diversas aplicações. Este trabalho propõe o desenvolvimento de uma nova abordagem automática para a restauração de áreas de sombras em imagens de satélite multiespectrais com alta resolução espacial. A abordagem se divide em três etapas principais e sequenciais, sendo a primeira o pré-processamento, que consiste na conversão das imagens para reflectância aparente e na fusão das bandas para a geração de índices espectrais. Na segunda etapa, a detecção das áreas de sombras é realizada pela combinação do top-hat por fechamento com a injunção de um parâmetro de área, calculado em função do índice de sombras NSDVI (Normalized Saturation-Value Difference Index). As regiões de sombras são refinadas para a geração da máscara de sombras, a qual é utilizada na terceira etapa, como guia na restauração pelo inpainting automático. A estratégia de restauração pelo inpainting híbrido, adaptado para o conte... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: High resolution satellite images has played an important role in information extraction especially in urban areas, since valuable information and higher level of details from surface become available with these images. Nevertheless, the task of extracting information from complex urban environment can be hampered by shadows, which can occupy a significant part into the image and, thus negatively affecting the image analysis. Therefore, due to the complexity of the problem, shadow removal is a crucial as one of the first pre-processing steps to enhance the performance of many subsequent steps and applications. The main goal of this thesis is to present a new automatic method for shadow removal in high spatial resolution satellite multispectral images. The proposed method comprises three main steps: the first one is the pre-processing, which includesthe conversion of the target image to the top of atmosphere (TOA) reflectance and the image pansherpening to spectral indices generation. Secondly, a shadow pixels candidates' identification is performed, combining black-top-hat (BTH) transformation with area injunction driven by the normalized saturation-value difference index (NSDVI) mask. The obtained output is a shadow mask, which is used to properly guide our automatic inpainting-inspired strategy in the restoration step. In the third step, a hybrid inpainting-based strategy specifically adapted for the multispectral imagery context is applied to recover shadow areas, which uni... (Complete abstract click electronic access below) / Doutor
44

Trapp : uma ferramenta para particionamento/posicionamento de celulas para metodologia tranca / A trapp tool for partitioning/placement of methodology tranca's cells

Schermer, Paulo Armando January 1995 (has links)
Este trabalho propõe e avalia um novo algoritmo para o posicionamento de células de circuitos que utilizam a metodologia de projeto TRANCA. O algoritmo proposto realiza o posicionamento por particionamento, em n-blocos, baseado no conceito de balanceamento de redes, realizando um pré-roteamento global. A maioria dos algoritmos de posicionamento por particionamento são baseados na heurística de Kernighan-Lin[KER 70] e Fidducia-Mattheyses[FID 82] com migração de grupos. Estes algoritmos utilizam uma função de corte mínimo para diminuir o cruzamento de redes entre as duas partições, produzindo regiões saturadas. Sendo assim, o conceito de balanceamento de redes significa a busca de um equilíbrio no comprimento das conexões para evitar a criação de regiões saturadas, diminuindo o tempo computacional e facilitando a etapa de roteamento. Apresenta-se uma visão geral de síntese automática. Descreve-se os estilos de projeto mais utilizados, define-se e analisa-se o problema de particionamento e posicionamento de células. As principais características da metodologia TRANCA são apresentadas. Resume-se as principais características das ferramentas de síntese TRANCA, destacando-se as etapas de particionamento e posicionamento de cada uma, visando o aproveitamento destas características positivas. Com o propósito de fundamentar os conceitos usados para o desenvolvimento do algoritmo, apresenta-se os métodos de posicionamento mais relevantes, dando destaque aqueles baseados em particionamento. Descreve-se algumas das heurísticas existentes. Os conceitos utilizados para o desenvolvimento do algoritmo são então descritos. O algoritmo consiste basicamente da distribuição das conexões, utilizando um mapa de congestionamento do circuito, o que caracteriza um pré-roteamento global. O mapa de congestionamento é montado sobre as partições geradas no circuito. Além do mapa de congestionamento, a descrição dos caminhos das redes é realizada sobre um modelo definido para controlar o cruzamento de redes. Apos a definição dos conceitos, o ambiente criado para o algoritmo é apresentado. Com o objetivo de validar os conceitos estudados e aqueles propostos, implementou-se um protótipo, chamado TRAPP(TRAnsparent Placement by Partitioning), e um visualizador de posicionamento chamado CIPPATO. Finalmente, alguns resultados do protótipo desenvolvido e uma avaliação sobre o comportamento dente protótipo são apresentados. Propõe também implementações alternativas e direções para trabalhos futuros. / This work proposes and evaluates a new algorithm for cells' placement, for use on TRANCA[REI 87] layouts. The algorithm proposed makes a placement by partitioning using multiple steps, based on the concept of net balancing, in order to make a global prerouting. Most partitioning algorithms are based on the Kernighan-Lin[KER 70] and Fidducia-Mattheyses[FID 82] heuristics with migration groups. These algorithms use a mincut heuristic to decrease the crossing nets between the two blocks, producing saturated regions. Therefore, the nets balancing concept means to search for a balance in the connections size to avoid satured regions, decreasing a computation time and to increase the routing performance. The global vision of automatic synthesis is shown. The main design styles are described and the placement and partitioning problems are analysed. The main features of TRANCA methodology are shown. A summary about the TRANCA synthesis tools is presented, emphasizing the partitioning and placement step in each one. This main features are evaluated. The basic ideas that suported the development of the algorithm are described. The algorithm provides a connection distribuition, using a congestion map of the circuit that describes a global pre-routing. The congestion map is generated based on the circuit partitioning. In addition (to the congestion map), the net paths are defined to control the crossing nets. After the definition of the concepts, the environment created for the algorithm is showed. The most important placement methods are studied and presented in order to provide a general picture of the problem. Among them, specifc attention is given to those based an partitioning. Some particular heuristics are detailed. A prototype system called TRAPP( TRAnsparent Placement by Partitioning) was developed to evaluate this approach. It is completed by a placement viewer, CIPPATO. Finally, some results and conclusions are presented. New implementations and directions for further works are proposed too.
45

New target tracking and monitoring guidance laws for UAV

Regina, Niki <1982> 29 March 2011 (has links)
A pursuer UAV tracking and loitering around a target is the problem analyzed in this thesis. The UAV is assumed to be a fixed-wing vehicle and constant airspeed together with bounded lateral accelerations are the main constraints of the problem. Three different guidance laws are designed for ensuring a continuos overfly on the target. Different proofs are presented to demonstrate the stability properties of the laws. All the algorithms are tested on a 6DoF Pioneer software simulator. Classic control design methods have been adopted to develop autopilots for implementig the simulation platform used for testing the guidance laws.
46

Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Pinto, Ana Cristina Medina January 2002 (has links)
Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.
47

Trapp : uma ferramenta para particionamento/posicionamento de celulas para metodologia tranca / A trapp tool for partitioning/placement of methodology tranca's cells

Schermer, Paulo Armando January 1995 (has links)
Este trabalho propõe e avalia um novo algoritmo para o posicionamento de células de circuitos que utilizam a metodologia de projeto TRANCA. O algoritmo proposto realiza o posicionamento por particionamento, em n-blocos, baseado no conceito de balanceamento de redes, realizando um pré-roteamento global. A maioria dos algoritmos de posicionamento por particionamento são baseados na heurística de Kernighan-Lin[KER 70] e Fidducia-Mattheyses[FID 82] com migração de grupos. Estes algoritmos utilizam uma função de corte mínimo para diminuir o cruzamento de redes entre as duas partições, produzindo regiões saturadas. Sendo assim, o conceito de balanceamento de redes significa a busca de um equilíbrio no comprimento das conexões para evitar a criação de regiões saturadas, diminuindo o tempo computacional e facilitando a etapa de roteamento. Apresenta-se uma visão geral de síntese automática. Descreve-se os estilos de projeto mais utilizados, define-se e analisa-se o problema de particionamento e posicionamento de células. As principais características da metodologia TRANCA são apresentadas. Resume-se as principais características das ferramentas de síntese TRANCA, destacando-se as etapas de particionamento e posicionamento de cada uma, visando o aproveitamento destas características positivas. Com o propósito de fundamentar os conceitos usados para o desenvolvimento do algoritmo, apresenta-se os métodos de posicionamento mais relevantes, dando destaque aqueles baseados em particionamento. Descreve-se algumas das heurísticas existentes. Os conceitos utilizados para o desenvolvimento do algoritmo são então descritos. O algoritmo consiste basicamente da distribuição das conexões, utilizando um mapa de congestionamento do circuito, o que caracteriza um pré-roteamento global. O mapa de congestionamento é montado sobre as partições geradas no circuito. Além do mapa de congestionamento, a descrição dos caminhos das redes é realizada sobre um modelo definido para controlar o cruzamento de redes. Apos a definição dos conceitos, o ambiente criado para o algoritmo é apresentado. Com o objetivo de validar os conceitos estudados e aqueles propostos, implementou-se um protótipo, chamado TRAPP(TRAnsparent Placement by Partitioning), e um visualizador de posicionamento chamado CIPPATO. Finalmente, alguns resultados do protótipo desenvolvido e uma avaliação sobre o comportamento dente protótipo são apresentados. Propõe também implementações alternativas e direções para trabalhos futuros. / This work proposes and evaluates a new algorithm for cells' placement, for use on TRANCA[REI 87] layouts. The algorithm proposed makes a placement by partitioning using multiple steps, based on the concept of net balancing, in order to make a global prerouting. Most partitioning algorithms are based on the Kernighan-Lin[KER 70] and Fidducia-Mattheyses[FID 82] heuristics with migration groups. These algorithms use a mincut heuristic to decrease the crossing nets between the two blocks, producing saturated regions. Therefore, the nets balancing concept means to search for a balance in the connections size to avoid satured regions, decreasing a computation time and to increase the routing performance. The global vision of automatic synthesis is shown. The main design styles are described and the placement and partitioning problems are analysed. The main features of TRANCA methodology are shown. A summary about the TRANCA synthesis tools is presented, emphasizing the partitioning and placement step in each one. This main features are evaluated. The basic ideas that suported the development of the algorithm are described. The algorithm provides a connection distribuition, using a congestion map of the circuit that describes a global pre-routing. The congestion map is generated based on the circuit partitioning. In addition (to the congestion map), the net paths are defined to control the crossing nets. After the definition of the concepts, the environment created for the algorithm is showed. The most important placement methods are studied and presented in order to provide a general picture of the problem. Among them, specifc attention is given to those based an partitioning. Some particular heuristics are detailed. A prototype system called TRAPP( TRAnsparent Placement by Partitioning) was developed to evaluate this approach. It is completed by a placement viewer, CIPPATO. Finally, some results and conclusions are presented. New implementations and directions for further works are proposed too.
48

Mapeamento de dados para sistema de informação de Pós-graduação

Halicki, Jaqueline Pereira Carvalho [UNESP] 29 August 2014 (has links) (PDF)
Made available in DSpace on 2015-04-09T12:28:14Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-08-29Bitstream added on 2015-04-09T12:47:55Z : No. of bitstreams: 1 000814250.pdf: 1288333 bytes, checksum: de86de0b31374ad88a322014aa1a3f71 (MD5) / O desenvolvimento científico, tecnológico e social está diretamente associado à informação. Ela representa garantia de liberdade, potencializando no homem sua capacidade de escolha, de decisão para si mesmo e para a sociedade. As Tecnologias da Informação e Comunicação (TIC) fazem parte desse contexto sendo objeto de investigação de vários estudiosos, principalmente no que se refere à forma como nos relacionamos com estas tecnologias, seja como indivíduos ou como organizações. Nas instituições públicas, especificamente nas Universidades, as TIC se apresentam como desafios e ao mesmo tempo tem possibilitado mudanças significativas principalmente, no planejamento, na organização, na representação, na preservação, no uso e na disseminação do conhecimento produzido nos Programas de Pós-graduação. Assim, considerando o volume de informações produzidas pelos programas de pós-graduação, chega-se ao problema desta pesquisa: Como o mapeamento conceitual de dados pode contribuir na estruturação de um sistema de informação da pós-graduação de uma instituição de ensino superior a partir de sua co-existência com o sistema de avaliação da CAPES? As instituições escolhidas para a pesquisa referem-se à Universidade Estadual Paulista Júlio de Mesquita Filho (UNESP), especificamente a Pró-reitoria de Pós-graduação (PROPG) e a CAPES – Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. A escolha pela UNESP fundamenta-se na posição consolidada da universidade em seus programas de pós-graduação e na experiência da autora no acompanhamento acadêmico junto aos programas de pós-graduação da UNESP e da Universidade do Estado do Rio de Janeiro (UERJ). A presente pesquisa caracteriza-se como descritiva bibliográfica e analítica para a investigação teórica e metodológica dos temas abordados, com abordagem quanti-qualitativa e pesquisa-ação, para a análise dos sistemas de ... / The scientific, technological and social development is directly linked to information. It is the guarantee of freedom, enhancing in man his ability of choice, decision for himself and for society. Information Technology and Communication (ICT) are part of that context and subject of investigation by several scholars, particularly with regard to how we relate to these technologies, either as individuals or as organizations. In public institutions, especially the universities, ICT present themselves as challenges and at the same time has enabled significant changes mainly in the planning, organization, representation, preservation, use and dissemination of the knowledge produced in Graduate Programs . Thus, considering the volume of information produced by graduate programs, one arrives at the problem of this research: As the conceptual mapping data can contribute to the structuring of an information system graduate from a higher education institution from its co-existence with the system of CAPES? The institution selected for the survey refers to the Universidade Estadual Paulista Júlio de Mesquita Filho (UNESP), specifically the Dean of Graduate (PROPG) and CAPES – Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. The choice of UNESP is based on the University and in the consolidated position of its Graduate programs and in the experience of the author in the academic follow-up with graduate UNESP and the State University of Rio de Janeiro (UERJ) programs. This research is characterized as bibliographic descriptive and analytical for theoretical and methodological research of the topics discussed, and a quantitative and qualitative approach and action research to the analysis of data collection systems of the UNESP-PROPG and CAPES. The results obtained so far point to the importance of integrating data from graduate as a need for institutions that aim at transparency in its activities and best practices for managing ...
49

Trapp : uma ferramenta para particionamento/posicionamento de celulas para metodologia tranca / A trapp tool for partitioning/placement of methodology tranca's cells

Schermer, Paulo Armando January 1995 (has links)
Este trabalho propõe e avalia um novo algoritmo para o posicionamento de células de circuitos que utilizam a metodologia de projeto TRANCA. O algoritmo proposto realiza o posicionamento por particionamento, em n-blocos, baseado no conceito de balanceamento de redes, realizando um pré-roteamento global. A maioria dos algoritmos de posicionamento por particionamento são baseados na heurística de Kernighan-Lin[KER 70] e Fidducia-Mattheyses[FID 82] com migração de grupos. Estes algoritmos utilizam uma função de corte mínimo para diminuir o cruzamento de redes entre as duas partições, produzindo regiões saturadas. Sendo assim, o conceito de balanceamento de redes significa a busca de um equilíbrio no comprimento das conexões para evitar a criação de regiões saturadas, diminuindo o tempo computacional e facilitando a etapa de roteamento. Apresenta-se uma visão geral de síntese automática. Descreve-se os estilos de projeto mais utilizados, define-se e analisa-se o problema de particionamento e posicionamento de células. As principais características da metodologia TRANCA são apresentadas. Resume-se as principais características das ferramentas de síntese TRANCA, destacando-se as etapas de particionamento e posicionamento de cada uma, visando o aproveitamento destas características positivas. Com o propósito de fundamentar os conceitos usados para o desenvolvimento do algoritmo, apresenta-se os métodos de posicionamento mais relevantes, dando destaque aqueles baseados em particionamento. Descreve-se algumas das heurísticas existentes. Os conceitos utilizados para o desenvolvimento do algoritmo são então descritos. O algoritmo consiste basicamente da distribuição das conexões, utilizando um mapa de congestionamento do circuito, o que caracteriza um pré-roteamento global. O mapa de congestionamento é montado sobre as partições geradas no circuito. Além do mapa de congestionamento, a descrição dos caminhos das redes é realizada sobre um modelo definido para controlar o cruzamento de redes. Apos a definição dos conceitos, o ambiente criado para o algoritmo é apresentado. Com o objetivo de validar os conceitos estudados e aqueles propostos, implementou-se um protótipo, chamado TRAPP(TRAnsparent Placement by Partitioning), e um visualizador de posicionamento chamado CIPPATO. Finalmente, alguns resultados do protótipo desenvolvido e uma avaliação sobre o comportamento dente protótipo são apresentados. Propõe também implementações alternativas e direções para trabalhos futuros. / This work proposes and evaluates a new algorithm for cells' placement, for use on TRANCA[REI 87] layouts. The algorithm proposed makes a placement by partitioning using multiple steps, based on the concept of net balancing, in order to make a global prerouting. Most partitioning algorithms are based on the Kernighan-Lin[KER 70] and Fidducia-Mattheyses[FID 82] heuristics with migration groups. These algorithms use a mincut heuristic to decrease the crossing nets between the two blocks, producing saturated regions. Therefore, the nets balancing concept means to search for a balance in the connections size to avoid satured regions, decreasing a computation time and to increase the routing performance. The global vision of automatic synthesis is shown. The main design styles are described and the placement and partitioning problems are analysed. The main features of TRANCA methodology are shown. A summary about the TRANCA synthesis tools is presented, emphasizing the partitioning and placement step in each one. This main features are evaluated. The basic ideas that suported the development of the algorithm are described. The algorithm provides a connection distribuition, using a congestion map of the circuit that describes a global pre-routing. The congestion map is generated based on the circuit partitioning. In addition (to the congestion map), the net paths are defined to control the crossing nets. After the definition of the concepts, the environment created for the algorithm is showed. The most important placement methods are studied and presented in order to provide a general picture of the problem. Among them, specifc attention is given to those based an partitioning. Some particular heuristics are detailed. A prototype system called TRAPP( TRAnsparent Placement by Partitioning) was developed to evaluate this approach. It is completed by a placement viewer, CIPPATO. Finally, some results and conclusions are presented. New implementations and directions for further works are proposed too.
50

Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Pinto, Ana Cristina Medina January 2002 (has links)
Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

Page generated in 0.2308 seconds