The general purpose analog computer and recursive functions over the reals

Detalhes bibliográficos
Autor(a) principal: Graça, Daniel
Data de Publicação: 2002
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.1/1028
Resumo: Dissertação mest.,Inst. Superior Técnico, Univ. Técnica de Lisboa, 2002
id RCAP_9cd5b129bc4a2d5b84145a5659995060
oai_identifier_str oai:sapientia.ualg.pt:10400.1/1028
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling The general purpose analog computer and recursive functions over the realsDissertação mest.,Inst. Superior Técnico, Univ. Técnica de Lisboa, 2002Pretende-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.SapientiaGraça, Daniel2012-04-14T10:13:25Z20022002-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10400.1/1028engAUT: DGR01772;info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-24T10:11:57Zoai:sapientia.ualg.pt:10400.1/1028Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:55:17.138659Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv The general purpose analog computer and recursive functions over the reals
title The general purpose analog computer and recursive functions over the reals
spellingShingle The general purpose analog computer and recursive functions over the reals
Graça, Daniel
title_short The general purpose analog computer and recursive functions over the reals
title_full The general purpose analog computer and recursive functions over the reals
title_fullStr The general purpose analog computer and recursive functions over the reals
title_full_unstemmed The general purpose analog computer and recursive functions over the reals
title_sort The general purpose analog computer and recursive functions over the reals
author Graça, Daniel
author_facet Graça, Daniel
author_role author
dc.contributor.none.fl_str_mv Sapientia
dc.contributor.author.fl_str_mv Graça, Daniel
description Dissertação mest.,Inst. Superior Técnico, Univ. Técnica de Lisboa, 2002
publishDate 2002
dc.date.none.fl_str_mv 2002
2002-01-01T00:00:00Z
2012-04-14T10:13:25Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.1/1028
url http://hdl.handle.net/10400.1/1028
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv AUT: DGR01772;
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133154986950656

Registros relacionados