| Campo Dublin Core | Valor | Língua |
|---|
| dc.contributor.advisor | Medeiros, José Edil Guimarães de | - |
| dc.contributor.author | Rocha, Eduardo Lemos | - |
| dc.identifier.citation | ROCHA, Eduardo Lemos. Continuous time modeling made functional: solving differential equations with Haskell. 2022. 80 f., il. Trabalho de Conclusão de Curso (Bacharelado em Engenharia da Computação) — Universidade de Brasília, Brasília, 2022. | pt_BR |
| dc.description | Trabalho de Conclusão de Curso (graduação) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2022. | pt_BR |
| dc.description.abstract | 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 anos1940. 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) escrita em Haskell que assemelha-se aos conceitos do GPAC. O principal objetivo é aproveitar de abstrações de mais alto nível 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 detalhadas. | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject.keyword | Equações diferenciais | pt_BR |
| dc.subject.keyword | Computadores | pt_BR |
| dc.subject.keyword | Linguagem de programação (Computadores) | pt_BR |
| dc.title | Continuous time modeling made functional : solving differential equations with Haskell | pt_BR |
| dc.type | Trabalho de Conclusão de Curso - Graduação - Bacharelado | pt_BR |
| dc.date.accessioned | 2022-11-18T11:07:37Z | - |
| dc.date.available | 2022-11-18T11:07:37Z | - |
| dc.date.submitted | 2022-05-11 | - |
| dc.identifier.uri | https://bdm.unb.br/handle/10483/32536 | - |
| dc.language.iso | Inglês | pt_BR |
| dc.rights.license | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor que autoriza a Biblioteca Digital da Produção Intelectual Discente da Universidade de Brasília (BDM) a disponibilizar o trabalho de conclusão de curso por meio do sítio bdm.unb.br, com as seguintes condições: disponível sob Licença Creative Commons 4.0 International, que permite copiar, distribuir e transmitir o trabalho, desde que seja citado o autor e licenciante. Não permite o uso para fins comerciais nem a adaptação desta. | pt_BR |
| dc.description.abstract1 | Physical phenomena is difficult to properly model due to its continuous nature. Its par-alellism and nuances were a challenge before the transistor, and even after the digital computer 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) written in Haskell that resembles GPAC’s concepts. The main goal is to take advantage of high level abtractions 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. | pt_BR |
| Aparece na Coleção: | Engenharia da Computação
|
