Estudo sobre automatização de equivalência de funções / Study on automation of function equivalence

Este projeto tem por objetivo propor um método exato que, prova uma equivalência entre funções. As transformações em estudo são comprovadas por meio da indução matemática. Foi proposto um algoritmo que comprova a equivalência entre um conjunto de funções utilizando manipulação de strings. Para encontrar a igualdade entre funções são realizadas operações matemáticas sobre o números naturais, tais como: distributiva, associativa, comutativa e mínimo múltiplo comum. Como resultado, foram comprovadas as equivalências entre um conjunto de funções constante do banco de dados

O uso da dominância no problema da árvore geradora mínima com parâmetros fuzzy

O problema da árvore geradora mínima com parâmetros fuzzy é um dos principais problemas da programação matemática fuzzy, visto que possui aplicações nas mais diversas áreas, como, por exemplo, redes de distribuição de energia, armazenamento de informações e transportes. Neste trabalho é proposto um algoritmo exato para o problema da árvore geradora mínina com estrutura crisp e parâmetros fuzzy. Trata-se de uma adaptação do algoritmo clássico de Prim, utilizando a relação de dominância de alguns trabalhos da literatura que tratam do problema de caminho mínimo fuzzy. As incertezas nos pesos são abordadas por meio da teoria dos conjuntos fuzzy e as árvores geradoras do conjunto solução são armazenadas usando o conceito de rótulos. O algoritmo proposto foi testado em três diferentes redes, compatíveis `as instâncias dos principais trabalhos da literatura