Automatos Finitos
Mostrando 1-12 de 29 artigos, teses e dissertações.
-
1. NeuroFSM: aprendizado de Autômatos Finitos através do uso de Redes Neurais Artificiais aplicadas à robôs móveis e veículos autônomos / NeuroFSM: finite state machines learning using artificial neural networks applied to mobile robots and autonomous vehicles
A navegação autônoma é uma tarefa fundamental na robótica móvel. Para que esta tarefa seja realizada corretamente é necessário um sistema inteligente de controle e navegação associado ao sistema sensorial. Este projeto apresenta o desenvolvimento de um sistema de controle para a navegação de veículos e robôs móveis autônomos. A abordagem util
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/07/2012
-
2. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. / A new algebraic approach for the second-order finite adaptive automation applied to an inductive inference model.
O objetivo deste trabalho é apresentar o modelo dos autômatos adaptativos de segunda ordem e mostrar a forte conexão desse modelo com o aprendizado indutivo no limite. Tal modelo é definido com a utilização de um conjunto de transformações sobre autômatos finitos não - determinísticos e a conexão com o aprendizado no limite á estabelecida usando
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/03/2012
-
3. Experimentos em simulações paralelas do Dilema do Prisioneiro com n jogadores. / Experiments in parallel simulations of the n-player Prisoner\ s Dilemma.
O Dilema do Prisioneiro com n jogadores é um problema que ilustra a dificuldade na formação da cooperação em sociedades de indivíduos racionais. Diversos trabalhos foram feitos no sentido de compreender melhor os fatores que influenciam o surgimento e a evolução da cooperação nessas sociedades, sendo que muitos desses mostraram que a simulação de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/08/2011
-
4. Sistema de detecção de breakout em máquinas de lingotamento contínuo
O breakout e um dos principais problemas no processo de lingotamento continuo de aço devido ao alto risco de dano as pessoas e aos equipamentos associados a ele. Por este motivo, toda maquina de lingotamento continuo deve ser dotada de um sistema de detecção de breakout ou, como e mais comumente conhecido, Breakout Detection System (BDS). Hoje ha vários
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/08/2011
-
5. λ-ALN: autômatos lineares não-determinísticos com λ-transições
Neste trabalho introduziremos a classe dos autômatos lineares não-determinísticos com λ-transições. Baseados numa nova forma normal para gramáticas lineares, provamos que a classe de linguagens aceita por este tipo de autômato é exatamente a classe das linguagens lineares. Mostramos ainda que, análogo ao que ocorre com os autômatos finitos e com o
TEMA (São Carlos). Publicado em: 2011-12
-
6. Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos
Este tutorial apresenta os fundamentos necessários para o estudo e a pesquisa em diagnose de falhas de sistemas a eventos discretos modelados por autômatos. Tanto a diagnose centralizada quanto a descentralizada com coordenação (codiagnose) são consideradas. Além de apresentar as condições necessárias e suficientes para a verificação da diagnostic
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2010-10
-
7. Uma proposta de um motor de animação para o controle de personagens articulados baseado em autômatos finitos / A proposal of an animation engine for controlling articulated characters based on finite automata
Segundo Thalmann em 1996, animação é a visualização da variação do estado de objetos em relação ao tempo. A meta principal da animação modelada por computador é sintetizar o efeito desejado de movimento que é uma mistura de fenômenos naturais, percepção e imaginação. O sistema de animação deve providenciar ferramentas de controle de movim
Publicado em: 2010
-
8. Um sistema de apoio à tomada de decisão para o monitoramento remoto de centrais de alarmes patrimoniais
Este trabalho apresenta um protótipo de Sistema de Monitoramento de Centrais de Alarmes Patrimoniais (SMCAPs) com recursos de apoio a tomada de decisão. Um formalismo baseado em Autômatos Finitos Determinísticos (AFDs) foi definido, a fim de modelar o comportamento de Sistemas Eletrônicos de Segurança (SESs) para constituir a base do SMCAP. As plantas
Publicado em: 2009
-
9. 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
-
10. Fluid Animation Through Lattice Gas and Lattice Boltzmann Methods / Animação de Fluidos via Modelos do Tipo Lattice Gas e Lattice Boltzmann
Técnicas baseadas em física têm chamado a atenção da comunidade de computação gráfica, em especial para animação de fluidos (gás ou líquidos). As técnicas tradicionais para animação de fluidos são metodologias top-down baseadas em malhas 2D/3D, tais como Diferenças Finitas e Elementos Finitos, em conjunto com equações de fluidos Navier-Sto
Publicado em: 2009
-
11. 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
-
12. 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