Teoria Dos Automatos
Mostrando 13-24 de 41 artigos, teses e dissertações.
-
13. Um novo conjunto de regras para simulação de fluxo de tráfego urbano utilizando autômatos celulares
Dentre os recursos importantes para a vida econômica e social de um país o Sistema de Transporte possui grande destaque. Este, por sua vez, vem sofrendo grande impacto, haja vista o efeito da urbanização e o crescente volume no número de veículos. Devido a isto, pesquisas devem ser realizadas afim de minimizar os efeitos dos congestionamentos, entre el
Publicado em: 2010
-
14. Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementa�
Publicado em: 2009
-
15. Modeling and implementation of supervisory control systems based on state machines with outputs / Modelagem e implementação de sistemas de controle supervisório baseados em máquinas de estados com saídas
Este trabalho apresenta uma nova metodologia para a modelagem de sistemas de controle supervisório baseados em máquinas de estados com saídas, obtidas a partir dos autômatos que representam os supervisores encontrados com o uso da Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos (SEDs). Procedimentos como este são úteis para criar
Publicado em: 2009
-
16. Proposta de integração entre tecnologias adaptativas e algoritmos genéticos. / Proposal for integration of adaptive technology and genetic algorithms.
This work is an initial study about the integration of two computing engineering areas, the adaptive technologies and the genetic algorithms. For that, it was per- formed the application of genetic algorithms for the adaptive automata inference. Several techniques were studied and proposed along the algorithm implementation, always seeking for more satisfyin
Publicado em: 2009
-
17. A parallel framework for adaptive models implementation. / Um ambiente paralelo para implementação de modelos adaptativos.
Neste trabalho, é proposto um modelo de execução em paralelo dos autômatos finitos adaptativos, visando melhor eficiência destes dispositivos. Desta forma, é apresentada uma comparação de tempo de execução do modelo seqüencial e o modelo proposto. Além disso, é apresentado um ambiente de desenvolvimento de autômatos finitos adaptativos paralelo
Publicado em: 2008
-
18. Síntese e implementação de controle supervisório em uma célula flexível de manufatura didática
Este trabalho apresenta a integração dos equipamentos existentes no Laboratório de Robótica da UDESC/CCT, de forma a compor uma célula flexível de manufatura didática para a qual foi resolvido um problema de controle aplicando-se a Teoria de Controle Supervisório (TCS). A utilização deste formalismo (TCS) para o desenvolvimento do projeto de contro
Publicado em: 2008
-
19. Grapheme-phoneme translation for portuguese based on adaptive automata. / Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos.
This work presents a study on the use of adaptive devices for text-to-speech translation. The work focuses on the development of a grapheme-phoneme translation method for Portuguese based on Adaptive Automata and the use of this method in a text-to-speech translation software. The presented method resembles human behavior when handling syllable separation ru
Publicado em: 2008
-
20. Perspectivas do fantástico em três contos de Hoffmann
Este trabalho tem por objetivo apresentar as perspectivas do fantástico a partir da análise de três contos do escritor alemão Hoffmann: O Homem da Areia, Haimatocare e Os Autômatos. Para o desenvolvimento da pesquisa sobre o fantástico, utilizamos as perspectivas teóricas desenvolvidas por Furtado (1980) e Todorov (2004), privilegiando um conjunto de
Publicado em: 2008
-
21. Darwinian and Pavlovian Evolutionary Prisoner Dilemma in the One-Dimensional Cellular Automata: a new representation and exhaustive exploration of parameter space / Dilema do prisioneiro evolucionário Darwiniano e Pavloviano no autômato celular unidimensional: uma nova representação e exploração exaustiva do espaço de parâmetros
O Dilema do Prisioneiro (DP) é o jogo mais proeminente da Teoria dos Jogos devido à emergência da cooperação entre jogadores egoístas. O comportamento de cada jogador depende da estratégia que ele adotada e do seu ganho, que é determinado em função dos parâmetros do DP (T, R, P e S) e do número z de vizinhos com que ele joga. Portanto, a estrutur
Publicado em: 2008
-
22. Categoria de grafos parciais com homomorfismos totais teoria e aplicações
O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a téc
Publicado em: 2007
-
23. Animação bidimensional para World Wide Web baseada em autômatos finitos
Este trabalho aplica a Teoria de Autômatos na proposição de uma nova alternativa para prover animações 2D na World Wide Web, verificando as contribuições alcançadas para as questões relacionadas ao espaço de armazenamento, reutilização e manutenção do conteúdo e suporte à recuperação de informação. Para este objetivo, é proposto o modelo
Publicado em: 2007
-
24. Investigação e aplicação de operações categoriais entre atores de animações baseadas em autômatos finitos com saída
O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em autômatos finitos com saída. As operações categoriais estudadas neste trabalho são: Produto, Coproduto, Soma Amalgamada e
Publicado em: 2007