Colóquio   RSS

12/10/2017, 16:00 — 17:00 — Anfiteatro Abreu Faro, IST
, IST - ULisboa

O Poder dos Sistemas Analógico-Digitais

Introduz-se um modelo de computação analógico-digital em que a componente digital é o modelo padrão (e.g. máquina de Turing) e a componente analógica é o resultado de uma medição, e.g. obtida através de sensor de grandeza física. A medição atua como oráculo e a troca de informação entre a componente digital e a componente analógica decorre no tempo intrínseco ao processo físico. As medições realizadas pelo acoplamento analógico-digital podem ser executadas através de diferentes protocolos, de estocástico a determinístico, nomeadamente fazendo variar a precisão da medição entre finita e infinita. Discute-se a natureza das medições que podem ser efetuadas pelos sistemas analógico-digitais. Estabelece-se que o poder computacional destes sistemas que operam num número polinomial de passos é o das classes computacionais $\mathit{BPP//}\log^{(k)}\!\star$. Por fim discutem-se os limites da simulação computacional de sistemas físicos e comparam-se os conceitos de número mensurável segundo a abordagem de Geroch e Hartle e a nossa.

Ver também

Poster
Extended abstract
Colloquium_logo

O Colloquium de Matemática é a designação geral para uma série de palestras mensais organizadas pelo Departamento de Matemática do IST que têm como objetivo divulgar ideias de ou sobre Matemática. Está aberto à participação de docentes, investigadores e alunos de licenciatura, de mestrado ou de doutoramento do IST ou de outras instituições, sendo uma oportunidade de reunir pessoas com interesses afins e de estimular a troca de ideias num ambiente informal.


Organização: Conceição Amado, Lina Oliveira e Maria João Borges.