Fusão de Dados em Gamma

Em 1986 foi proposto um formalismo para especificação de programas baseado na reescrita paralela de multiconjuntos, chamado de Gamma. Tal modelo pode ser encarado como uma máquina química abstrata, pois fornece uma metáfora de reações químicas ao passo que todas as ações envolvidas (reações químicas) ocorrem livremente e de maneira natural sobre uma base de dados única (solução química) chamada de multiconjunto. A área de fusão de dados tem dispendido bastante esforço em pesquisa, no meio militar e civil. A Marinha do Brasil desenvolveu um sistema de navegação que utiliza um método de fusão de dados para acompanhamento de contatos, o PPDE, que processa grafos em dois estágios visando fornecer a melhor hipótese de caminho de um alvo e, consequentemente, determinar a posição do mesmo no instante de tempo corrente. Neste trabalho é realizado o projeto e implementação de um algoritmo de fusão de dados para acompanhamento de contatos baseado em uma solução de grafos em dois estágios utilizando o modelo computacional Gamma. A solução proposta consiste na primeira implementação paralela do método PPDE. Para tanto, foram empregadas três implementações de Gamma, dentre as quais duas exploraram os recursos de um ambiente de hardware paralelo. Assim, o algoritmo proposto foi analisado do ponto de vista do paralelismo explorado e por fim foi realizada uma análise de desempenho deste algoritmo nas três implementações de Gamma utilizadas. Pretende-se com este trabalho fornecer uma implementação de um problema real sobre o formalismo Gamma, o que contribui para as implementações do modelo computacional Gamma, uma vez que possibilita a realização de análises de desempenho destas implementações e fornece algumas sugestões de possíveis melhorias. Além disso, o trabalho contribui para o método PPDE uma vez que fornece subsídios para a paralelização do primeiro estágio.