Automatos Finitos
Mostrando 25-29 de 29 artigos, teses e dissertações.
-
25. DESENVOLVIMENTO DE DISPOSITIVO PARA A RECUPERAÇÃO DA GEOMETRIA DE DUTOS DANIFICADOS POR AMASSAMENTO / A DEVICE PROPOSAL AND EVALUATION FOR PIPE GEOMETRY RECOVERY DUE TO SMOOTH PLAIN DENT DAMAGE
Este trabalho objetiva o projeto, a construção e teste de um dispositivo para a recuperação da geometria de tubulações danificadas externamente por amassamento. O dano a ser reparado é caracterizado por mossas sem cava, implicando em uma alteração suave da superfície sem a ocorrência de defeitos ou de redução na espessura da parede do duto. Cons
Publicado em: 2005
-
26. Generalização do metodo de continuação no traçamento de raios utilizando o conceito dos automatos finitos
o objetivo fundamental desta tese é estender o p método de Continuação de traçamento de raios para modelos sísmicos que possuam uma geometria complexa. Esses modelos são usados na exploração do hidrocarbonetos, por exemplo, cunhas, lentes e falhas, dentre outros. Para fazer essa extensão ultilizamos os conceitos, oriundos da Dinâmica Simbólica, d
Publicado em: 2002
-
27. Verificação e sintese de sistemas hibridos
Sistemas distribuídos híbridos advêm da interconexão de sistemas de dinâmica contínua com sistemas de dinâmica discreta. A noção de autômatos híbridos oferece meios para a construção de especificações formais para tais sistemas. Autômatos híbridos são autômatos finitos, onde cada estado descreve um perfil dinâmico do sistema e cujas trans
Publicado em: 2000
-
28. Um ambiente para a analise superficial de linguas baseado em automatos finitos
Syntactic analysis is an important component of most natural language processing systems. Typically parsers were implemented using techniques derived from Context Free Grammars. The increasing need for efficient systems was one of the reasons to search for new approaches to syntactic analysis. Some natural language applications do not need complete parsing o
Publicado em: 1998
-
29. Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
Nesta dissertação realiza-se um estudo dos procedimentos destinados a eliminação de estados redundantes em máquinas de estados finitos incompletamente especificadas. Um algoritmo para realizar a codificação de estados nestas máquinas é proposto. Situações de ocorrências de perigos estático são identificadas. Um sistema destinado ao projeto auto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/10/1989