Modelagem Simbolica
Mostrando 13-20 de 20 artigos, teses e dissertações.
-
13. Um ambiente computacional para modelagem simbólica de sistemas físicos lineares
Este trabalho propõe um ambiente computacional aplicado ao ensino de sistemas de controle, denominado de ModSym. O software implementa uma interface gráfica para a modelagem de sistemas físicos lineares e mostra, passo a passo, o processamento necessário à obtenção de modelos matemáticos para esses sistemas. Um sistema físico pode ser representado,
Publicado em: 2005
-
14. Um verificador de modelos explícito-simbólico
Neste trabalho, propomos uma modelagem que combina representações explícitas e simbólicas em um modelo de verificação formal explícito-simbólico. Os modelos explícitos e simbólicos têm sido usados com sucesso na verificação de sistemas concorrentes de estados finitos, como circuitos sequenciais complexos e protocolos de comunicação. A modelage
Publicado em: 2005
-
15. Ensino e aprendizagem do modelo Poisson: uma experiência com modelagem
Esta tese é centrada no ensino e na aprendizagem do Modelo de Poisson, seu questinamento refere-se ao uso da Modelagem Matemática, das etapas a serem consideradas e dos resultados, tanto na interação didática como nas aquisições e erros dos alunos participantes. As hipóteses de que o trabalho em dupla, o uso do computador e o experimento realizado na
Publicado em: 2005
-
16. STABILITY ANALYSIS OF SLENDER COLUMNS PARTIALLY BURIED IN A NON-LINEAR ELASTIC FOUNDATION / ANÁLISE DA ESTABILIDADE DE COLUNAS ESBELTAS PARCIALMENTE ENTERRADAS EM UMA FUNDAÇÃO ELÁSTICA NÃO-LINEAR
O presente trabalho tem por objetivo estudar o comportamento de colunas esbeltas parcialmente enterradas, quando submetidas a um carregamento axial de compressão. A fundação é representada, ora por um modelo linear, o qual considera que a reação exercida pelo solo é proporcional às deflexões da coluna, ora por um modelo não-linear no qual esta rela
Publicado em: 2004
-
17. Ambiente para planejamento da produção de sistemas
Este trabalho caracterizou-se por duas atividades principais: 1) desenvolvimento de ambiente computacional para modelagem de sistemas produtivos, visando o planejamento da produção de sistemas de manufatura; 2) implementação de um algoritmo especial para aproveitamento da estrutura de fluxo em redes do problema relacionado com o sistema produtivo em ques
Publicado em: 2000
-
18. UMA INTRODUÇÃO À DINÂMICA DE SISTEMAS DE MULTICORPOS / AN INTRODUCTION TO THE DYNAMICS OF MULTIBODY SYSTEMS
Este trabalho tem por objetivo apresentar uma introdução à dinâmica de sistemas de multicorpos compostos por partes rígidas e flexíveis, através da exposição das diversas etapas: Modelagem, Simulação e Controle. A modelagem de sistemas de multicorpos é apresentada, atentando para os problemas de representação de rotações, caracterização de
Publicado em: 1996
-
19. A. I. A. T. D : ambiente integrado de apoio a tomada de desisão
Este trabalho descreve o desenvolvimento e implementação de um Ambiente Integrado de Apoio à Tomada de Decisão. O mesmo destina-se à análise de sistemas a eventos discretos, oferecendo ferramentas para a realização de modelagem, simulações, previsões de comportamento e inferências lógicas, de maneira integrada e cooperativa. Apresenta, como prin
Publicado em: 1992
-
20. Otimização na geração automatica dos modelos geometicos e na geração assistida de modelos para a coordenação de movimentos de robos
Este trabalho constitui uma contribuição para a redução do tempo necessário ao desenvolvimento de modelos de robôs e para a otimização da expressão analítica destes, minimizando o seu tempo de cálculo. Os modelos que se tem em vista são o modelo geométrico, o geométrico inverso e alguns desdobramentos da geometria na modelagem dinâmica. A fina
Publicado em: 1990