http://repositorio.unb.br/handle/10482/53194| Fichier | Taille | Format | |
|---|---|---|---|
| EduardoLemosRocha_DISSERT.pdf | 1,18 MB | Adobe PDF | Voir/Ouvrir |
| Titre: | FFACT : a fix-based domain-specific language based on a Functional Algebra for Continuous Time Modeling |
| Autre(s) titre(s): | FFACT : uma linguagem de domínio específico utilizando ponto fixo baseada em uma álgebra funcional para modelagem de tempo contínuo |
| Auteur(s): | Rocha, Eduardo Lemos |
| Orientador(es):: | Silva, Eduardo Peixoto Fernandes da |
| Coorientador(es):: | Guimarães, José Edil |
| Assunto:: | Equações diferenciais Sistemas contínuos GPAC Integrador Ponto fixo Recursão monádica |
| Date de publication: | 24-nov-2025 |
| Data de defesa:: | 28-avr-2025 |
| Référence bibliographique: | ROCHA, Eduardo Lemos. FFACT: A Fix-based Domain-Specific Language based on a Functional Algebra for Continuous Time Modeling. 2025. 102 f., il. Dissertação (Mestrado em Informática) — Universidade de Brasília, Brasília, 2025. |
| Résumé: | Fenô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. |
| Abstract: | Physical phenomena are difficult to properly model due to their continuous nature. Its paralellism and nuances were a challenge before the transistor, and even after the digital computer it still is an unsolved issue. In the past, some formalism were brought with the General Purpose Analog Computer proposed by Shannon in the 1940s. Unfortunately, this formal foundation was lost in time, with ad-hoc practices becoming mainstream to simulate continuous time. In this work, we propose a domain-specific language (DSL) – FACT and its evolution FFACT – written in Haskell that resembles GPAC’s concepts. The main goal is to take advantage of high level abtractions, both from the areas of programming and mathematics, to execute systems of differential equations, which describe physical problems mathematically. We evaluate performance and domain problems and address them accordingly. Future improvements for the DSL are also explored and detailed. |
| metadata.dc.description.unidade: | Instituto de Ciências Exatas (IE) Departamento de Ciência da Computação (IE CIC) |
| Description: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, Programa de Pós-Graduação em Informática, 2025. |
| metadata.dc.description.ppg: | Programa de Pós-Graduação em Informática |
| Licença:: | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.unb.br, www.ibict.br, www.ndltd.org sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra supracitada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data. |
| Collection(s) : | Teses, dissertações e produtos pós-doutorado |
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.