Publicação
The general purpose analog computer and recursive functions over the reals
| dc.contributor.author | Graça, Daniel | |
| dc.date.accessioned | 2012-04-14T10:13:25Z | |
| dc.date.available | 2012-04-14T10:13:25Z | |
| dc.date.issued | 2002 | |
| dc.description | Dissertação mest.,Inst. Superior Técnico, Univ. Técnica de Lisboa, 2002 | por |
| dc.description.abstract | Pretende-se analisar na presente dissertação diversos modelos matemáticos de computação analógica. Começa-se por analisar o primeiro modelo conhecido deste tipo, o Computador Analógico (GPAC, abreviatura do inglês). São descritos os principais resultados existentes para este modelo, sendo também apresentada uma abordagem alternativa. É mostrado que esta nova abordagem origina um modelo mais robusto que o GPAC, mantendo, no entanto, as suas principais propriedades, tais como a equivalência com funções diferencialmente algébricas. Introduzem-se também novos conceitos que julgamos relevantes, tais como o procedimento de inicializaºão e a noção de GPAC efectivo. Seguidamente, o nosso estudo incide sobre a teoria das funções reais recursivas, uma teoria análoga à teoria clássica das funções recursivas, em que as funções são consideradas sobre o conjunto dos reais, em vez do conjunto dos naturais. Prop˜oem-se novas classes de funções, relacionando-se estas com as principais classes da teoria clássica, incluindo a Hierarquia Aritm´etica. Além disso, mostram-se ainda relações entre as funções reais recursivas e funções geradas por modelos semelhantes ao GPAC. | por |
| dc.identifier.other | AUT: DGR01772; | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/1028 | |
| dc.language.iso | eng | por |
| dc.title | The general purpose analog computer and recursive functions over the reals | por |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Universidade Técnica de Lisboa | por |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| rcaap.rights | openAccess | por |
| rcaap.type | masterThesis | por |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf |