Inversão numérica da transformada de Laplace por polinômios trigonométricos e de Laguerre

Neste trabalho são desenvolvidos métodos numéricos para inversão da transformada de Laplace, fazendo-se uso de polinômios trigonométricos e de Laguerre. Sua utilização é ilustrada num problema de fronteira móvel da área de engenharia nuclear, através do algoritmo computacional ALG-619. Uma revisão dos aspectos analíticos básicos da transformada de Laplace e sua utilização na resolução de equações diferenciais parciais é apresentada de maneira suscinta.

Aspectos algébricos de sistemas dinâmicos

Este trabalho trata o problema genérico da obtenção analítica exata das variedades algébricas que definem domínios de estabilidade e multiestabilidade para sistemas dinâmicos dissipativos com equações de movimento definidas por funções racionais. Apresentamos um método genérico, válido para qualquer sistema dinâmico, que permite reduzir a análise de sistemas multidimensionais arbitrários à análise de um sistema unidimensional equivalente. Este método é aplicado ao mapa de Hénon, o exemplo paradigmático de sistema multidimensional, para estudar a estrutura aritmética imposta pela dinâmica das órbitas de períodos 4, 5, e 6, bem como seus domínios de estabilidade no espaço de parâmetros. Graças à obtençao de resultados analíticos exatos, podemos explorar pela primeira vez as peculariedades de cada um dos períodos mencionados. Algumas das novidades mais marcantes encontradas são as seguintes: Para período 4, encontramos um domínio de multiestabilidade caracterizado pela coexistência de duas órbitas definidas em corpos algébricos distintos. Observamos a existência de discontinuidades na dinâmica simbólica quando os parâmetros são mudados adiabáticamente ao longo de circulações fechadas no espaço de parâmetros e explicamos sua origem algébrica. Publicamos tais resultados em dois artigos: Physica A, 295, 285-290(2001) e Physical Review E, 65, 036231 (2002). Para período 5, obtivemos a variedade algébrica que define o "camarão" (shrimp) característico, obtemos uma expressão analítica para todas as órbitas de período 5, classificamos todas as singulariedades presentes no espaço de parâmetros e analisamos todas as mudanças que ocorrem ao circular-se em torno de tais singulariedades. Para período 6, da expressão analítica que fornece todas as órbitas, encontramos um resultado muito surpreendente, o mais notável desta dissertação: a possibilidade de coexistência de órbitas reais e complexas estáveis, para valores reais dos parâmetros físicos. Resultados preliminares parecem indicar serem tais órbitas complexas uma espécie de órbitas fantasmas, com semelhanças as órbitas encontradas por Gutzwiller para sistemas Hamiltonianos (não- dissipativos).

Uma generalização do algorítmo de Gao para fatoração de polinômios

A presente dissertação trata da fatoração de polinômios em duas variáveis sobre um corpo F. Mais precisamente, o trabalho traça o desenvolvimento histórico de uma estratégia modular que levou à resolução desse problema em tempo polinomial e culmina com a apresentação de um algoritmo publicado por S. Gao no ano de 2003, que determina simultaneamente as fatorações racional e absoluta de um dado polinômio. A nossa contribuição consiste na extensão desse algoritmo a casos que não satisfazem as condições prescritas pelo autor.

Ideais primos e ideais fechados em anéis de polinômios

Este trabalho tem por objetivo estudar os ideais primos do anel de polinômios R[X], com R um anel primo, não necessariamente comutativo. Para tanto, introduzimos o conceito de ideais principais fechados em R[X], que permite caracterizar os ideais primos como contração de ideais de Q[X] sendo definidos por polinômios mônicos irredutíveis de C[X], onde Q é o anel de quocientes µa direita de Martindale de R e C é o centro de Q, que é um corpo.

Um Modelo de simulação de processos de software baseado em conhecimento para o ambiente PROSOFT

Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número cada vez maior de pessoas envolvidas em projetos são obstáculos para serem transpostos. Trabalhos relacionados a tecnologia de processos de software aparecem como uma proposta para se obter maior controle das atividades realizadas com o intuito de se obter maior qualidade. A simulação de processos de software, através da representação dos passos definidos em um modelo, tem sido utilizada no auxílio a gerentes de projetos de sistemas para fornecer-lhes informações preciosas sobre o desenvolvimento de um sistema especificado. A representação de conhecimento a respeito das características relacionadas a um ambiente de desenvolvimento ajuda na obtenção de simulações mais realísticas. A partir do modelo, o simulador obtém uma descrição do ambiente em que deve atuar, baseado no conhecimento que se tem a respeito do ambiente. Esse trabalho apresenta um modelo de simulação de processos de software baseado em conhecimento para ser inserido em um ambiente de engenharia de processos de software. A função do modelo é simular um processo de software instanciado, procurando detectar inconsistências no mesmo que possam gerar problemas durante a sua execução, como aumento de custos e comprometimento da qualidade do(s) produto(s) obtido(s). Após a simulação o projetista pode constatar a necessidade de se refazer o modelo, ajustar parâmetros ou executar o processo de software. O objetivo da simulação, nesse trabalho, é auxiliar as pessoas responsáveis por um ambiente de desenvolvimento a obter modelos de processos validados. O modelo de simulação foi definido para ser utilizado no ambiente PROSOFT, que é um ambiente de desenvolvimento que permite a integração de novas ferramentas para desenvolvimento de software. O ambiente PROSOFT vem recebendo propostas de extensão que tem contribuído para o seu aprimoramento, fornecendo para seus usuários uma quantidade cada vez maior de ferramentas de auxílio a construção de artefatos de software. As propostas mais recentes foram um modelo para construção de sistemas especialistas, a definição de um ambiente cooperativo e um gerenciador de processos de software. ATOs algébricos (construções do PROSOFT) são utilizados para especificar formalmente o modelo de simulação definido neste trabalho. A validação é realizada através de um modelo em UML (Unified Method Language) que foi utilizado como base para a construção de um programa implementado usando a linguagem Java. Isso ocorre porque a ferramenta do PROSOFT (implementada em Java) que seria utilizada para validar as especificações algébricas ainda não está finalizada.

Raízes polinomiais em corpos finitos

Este trabalho é um estudo sobre propriedades de decomposição de polinômios em corpos finitos. Em particular fazemos um estudo sobre métodos de fatoração e cálculos de raízes. Procedemos inicialmente com um apanhado de conceitos e teoremas que embasam o trabalho. Com o objetivo de determinar raízes de polinômios em corpos finitos, alguns tópicos tornam-se pré-requisitos. O primeiro deles é a própria representação dos elementos dos corpos finitos. O outro é o estudo de métodos determinísticos ou probabilísticos para fatorar polinômios sobre corpos finitos. Os métodos estudados são o de Berlekamp, Cantor-Zassenhaus e Lidl-Niederreiter. Fazemos finalmente o estudo de métodos que podem ser empregados para determinarmos as raízes de polinômios pertencentes a corpos finitos. Métodos estes que apresentam variações de acordo com o tamanho do corpo.

Aplicação da teoria da homogeneização em materiais compósitos viscoelásticos

Materiais compósitos são empregados nos mais diversos tipos de estruturas (civis, mecânicas, aeronáuticas, etc.). A possibilidade de otimização de suas propriedades, frente às solicitações consideradas, representa uma grande vantagem na sua utilização. A teoria da homogeneização permite a avaliação da influência de detalhes microestruturais nas características do composto através do estudo de uma célula elementar. Os deslocamentos periódicos dessa célula são aproximados com expansões ortogonais polinomiais. A exatidão dos cálculos elásticos está associada ao grau dos polinômios utilizados. O procedimento numérico no modelo viscoelástico é incremental no tempo, utilizando-se de variáveis de estado, cuja implementação proporciona grande economia computacional, pois evita o cálculo de integrais hereditárias. A influência de diversos parâmetros físicos na constituição dos compósitos de fibras unidirecionais estudados é discutida e comparada com resultados obtidos com modelos em elementos finitos, tanto em elasticidade, quanto em viscoelasticidade sem envelhecimento. Para o caso de envelhecimento, no qual as características dos constituintes são variáveis com o tempo, é mostrada a resposta dos compósitos sob relaxação para diferentes instantes iniciais de carregamento em situações de "softening" (ou abrandamento) e "hardening" (ou endurecimento).

Resultantes, equações polinomiais e o teorema de Bezout

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.