| Processo: | 99/02046-9 |
| Modalidade de apoio: | Bolsas no Brasil - Iniciação Científica |
| Data de Início da vigência: | 01 de junho de 1999 |
| Data de Término da vigência: | 31 de maio de 2000 |
| Área de conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação |
| Pesquisador responsável: | José Carlos Magossi |
| Beneficiário: | Sandro Valerius dos Santos |
| Instituição Sede: | Faculdade de Tecnologia de Americana (FATEC Americana). Centro Paula Souza (CEETEPS). Americana , SP, Brasil |
| Assunto(s): | Lógica modal Algoritmos Sistemas discretos |
| Palavra(s)-Chave do Pesquisador: | Algoritmos | Doides | Eventos Discretos | Logica Modal | Sistemas Dinamicas | Sistemas Discretos |
Resumo Neste trabalho pretende-se estudar análise e síntese de sistemas dinâmicos a eventos discretos e implementar programas computacionais para algoritmos propostos na abordagem que relaciona a teoria de dióides e lógica modal. Também pretende-se avaliar os resultados obtidos quando os programas são aplicados a problemas práticos. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |