1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Opción 2: Descargar recurso

Detalles del recurso

Descripción

Nesta dissertação iremos analisar um modelo de computação analógica, baseado em equações diferenciais polinomiais. Começa-se por estudar algumas propriedades das equações diferenciais polinomiais, em particular a sua equivalência a outro modelo baseado em circuitos analógicos (GPAC), introduzido por C. Shannon em 1941, e que é uma idealização de um dispositivo físico, o Analisador Diferencial. Seguidamente, estuda-se o poder computacional do modelo. Mais concretamente, mostra-se que ele pode simular máquinas de Turing, de uma forma robusta a erros, pelo que este modelo é capaz de efectuar computações de Tipo-1. Esta simulação é feita em tempo contínuo. Mais, mostramos que utilizando um enquadramento apropriado, o modelo é equivalente à Análise Computável, isto é, à computação de Tipo-2. Finalmente, estudam-se algumas limitações computacionais referentes aos problemas de valor inicial (PVIs) definidos por equações diferenciais ordinárias. Em particular: (i) mostra-se que mesmo que o PVI seja definido por uma função analítica e que a mesma, assim como as condições iniciais, sejam computáveis, o respectivo intervalo maximal de existência da solução não é necessariamente computável; (ii) estabelecem-se limites para o grau de não-computabilidade, mostrando-se que o intervalo maximal é, em condições muito gerais, recursivamente enumerável; (iii) mostra-se que o problema de decidir se o intervalo maximal é ou não limitado é indecídivel, mesmo que se considerem apenas PVIs polinomiais.

Pertenece a

Sapientia Repositório Institucional Universidade do Algarve  

Autor(es)

Graça, Daniel - 

Id.: 55201891

Idioma: eng  - 

Versión: 1.0

Estado: Final

Palabras claveComputabilidade - 

Tipo de recurso: doctoralThesis  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: openAccess

Requerimientos técnicos:  Browser: Any - 

Fecha de contribución: 05-dic-2013

Contacto:

Localización:

Otros recursos que te pueden interesar

  1. NHC gold complexes with luminescent properties Resumen del póster presentado a la XXXV Reunión Bienal de la Real Sociedad Española de Química celeb...
  2. Riparian plant litter quality increases with latitude Plant litter represents a major basal resource in streams, where its decomposition is partly regulat...
  3. Luminescence studies of zinc borates activated with different concentrations of Ce and La under x-ray and electron excitation Several ZnBO powder samples having dopants concentrations of 0.1, 0.01, 0.04 wt% Ce and La were prep...
  4. Gentisic acid, a compound associated with plant defense and a metabolite of aspirin, heads a new class of in vivo fibroblast growth factor inhibitors 21 p.-9 fig.-1 tab.-4 fig. supl. Fernández, Israel S. et al.
  5. In Vitro and in Vivo Study of Poly(Lactic–co–Glycolic) (PLGA)Membranes Treated with Oxygen Plasma and Coated with Nanostructured Hydroxyapatite Ultrathin Films for Guided Bone Regeneration Processes The novelty of this study is the addition of an ultrathin layer of nanostructured hydroxyapatite (HA...

Otros recursos de la mismacolección

  1. What drives distinct ploidy phases of isomorphic biphasic life cycles to occur at uneven abundances Tese de dout., Ciências do Mar, da Terra e do Ambiente (Biologia Populacional), Faculdade de Ciência...
  2. Regeneration in Zebrafish (Danio rerio) fins: pattern of expression of mineralization–related Gla proteins Teleost fishes have the exceptional ability to largely regenerate severed appendages comprising seve...
  3. Identificação de Malformações Esqueléticas em Peixes - Monitorizar e identificar as principais malformações que ocorrem em peixes produzidos em aquacul...
  4. Gla proteins as markers for studies of skeletal development and malformations in new aquaculture fish species (Pagrus auriga, Diplodus sargo and Scophtalmus maximus) Evaluation of the onset and the development of skeletal structures during larval ontogeny of commerc...
  5. Investimento em estradas e desenvolvimento regional em Portugal: O processo das auto-estradas Scut O objectivo deste trabalho é investigar o impacto económico regional dos investimentos em infra-es...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.