Utilize este link para identificar ou citar este item: https://bdm.unb.br/handle/10483/32536
Arquivos neste item:
Arquivo Descrição TamanhoFormato 
2022_EduardoLemosRocha_tcc.pdf1,05 MBAdobe PDFver/abrir
Registro completo
Campo Dublin CoreValorLíngua
dc.contributor.advisorMedeiros, José Edil Guimarães de-
dc.contributor.authorRocha, Eduardo Lemos-
dc.identifier.citationROCHA, 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.descriptionTrabalho 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.abstractFenô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.rightsAcesso Abertopt_BR
dc.subject.keywordEquações diferenciaispt_BR
dc.subject.keywordComputadorespt_BR
dc.subject.keywordLinguagem de programação (Computadores)pt_BR
dc.titleContinuous time modeling made functional : solving differential equations with Haskellpt_BR
dc.typeTrabalho de Conclusão de Curso - Graduação - Bachareladopt_BR
dc.date.accessioned2022-11-18T11:07:37Z-
dc.date.available2022-11-18T11:07:37Z-
dc.date.submitted2022-05-11-
dc.identifier.urihttps://bdm.unb.br/handle/10483/32536-
dc.language.isoInglêspt_BR
dc.rights.licenseA 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.abstract1Physical 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



Todos os itens na BDM estão protegidos por copyright. Todos os direitos reservados.