Banca de QUALIFICAÇÃO: EDUARDO LEMOS ROCHA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : EDUARDO LEMOS ROCHA
DATA : 19/02/2025
HORA: 09:00
LOCAL: https://teams.microsoft.com/l/meetup-join/19%3ameeting_N2RiZDRkMDEtNWE4Yi00MTNiLWI1NGQtNTgyNGI1ZTJkN
TÍTULO:

Modelagem de Tempo Contínuo em termos Funcionais: Corrigindo Equações Diferenciais com Haskell

PALAVRAS-CHAVES:

equações diferenciais, sistemas contínuos, GPAC, integrador, ponto fixo, recursão monádica

PÁGINAS: 96
RESUMO:

enômenos físicos são difíceis de modelar propriamente devido a sua natureza contínua. O paralelismo e nuances envolvidos eram um desafio antes do transistor, e mesmo depois do computador digital esse problema continua insolúvel. No passado, algum formalismo foi trazido pelo computador analógico de propósito geral (GPAC) por Shannon nos anos 1940. Infelizmente, essa base formal foi perdida com o tempo, e práticas ad-hoc tornaram-se comuns para simular o tempo contínuo. Neste trabalho, propomos uma linguagem de domínio específico (DSL) – FACT e sua evolução FFACT – escrita em Haskell que assemelha-se aos conceitos do GPAC. O principal objetivo é aproveitar de abstrações de mais alto nível, tanto da área da programação quanto da matemática, para executar sistemas de equações diferenciais, que descrevem sistemas físicos matematicamente. Nós avaliamos performance and problemas de domínio e os endereçamos propriamente. Melhorias futuras para a DSL também são exploradas e datalhadas.

MEMBROS DA BANCA:
Presidente - 2984854 - EDUARDO PEIXOTO FERNANDES DA SILVA
Interno - 2679452 - PEDRO GARCIA FREITAS
Interno - 1848788 - RODRIGO BONIFACIO DE ALMEIDA
Externo ao Programa - 1855503 - JOSE EDIL GUIMARAES DE MEDEIROS - UnB