Saturday, April 19, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía


Computability with polynomial differential equations

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

  Descargar recurso   Descargar recurso

Detalles del recurso

Pertenece a: Sapientia Repositório Institucional Universidade do Algarve  

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.

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 del mismo autor(es)

  1. Non-computability, unpredictability, and financial markets One of the most significant achievements from theoretical computer science was to show that there ar...
  2. Effective computability of solutions of ordinary differential equations: the thousand monkeys approach In this note we consider the computability of the solution of the initial- value problem for ordinar...
  3. Effective computability of solutions of ordinary differential equations: the thousand monkeys approach In this note we consider the computability of the solution of the initial- value problem for ordinar...
  4. Computability via analog circuits In this paper we are interested in a particular model of analog computation, the General Purpose Ana...
  5. Robust computations with dynamical systems In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to ...

Otros recursos de la misma colección

  1. Negociação de significados no 1.º ano de escolaridade: conceitos e processos matemáticos Este artigo discute o papel da negociação de significados na definição de conceitos e processos mate...
  2. Uma tarefa de investigação em organização e tratamento de dados no 1.º ciclo: realização da tarefa e reflexão da professora Esta comunicação procura compreender a forma como uma professora do 1.º ciclo conduz os alunos na re...
  3. Comunicação no ensino-aprendizagem da matemática: práticas no 1.º ciclo do ensino básico O presente estudo analisa a evolução das conceções e práticas de comunicação matemática do professor...
  4. Análise e diagnose da paisagem da região do Algarve (1985-2007): prognose e proposta de uma infra-estrutura verde para o centro-litoral do Algarve Esta dissertação visa fornecer contribuições para a implantação de uma infra-estrutura verde na orla...
  5. A bioenergia e o risco de incêndios florestais em paisagens rurais contemporâneas: o caso da zif Arade-Alte/ São Bartolomeu de Messines A exploração dos espaços florestais tem vindo a aumentar cada vez mais ao longo dos últimos anos. No...

Valoración de los usuarios

No hay ninguna valoración para este recurso.Sea el primero en valorar este recurso.
 

Busque un recurso