SciDok

Eingang zum Volltext in SciDok

Hinweis zum Urheberrecht

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-3820
URL: http://scidok.sulb.uni-saarland.de/volltexte/2005/382/


Analytic machines

Hotz, Günter ; Chadzelek, Thomas

pdf-Format:
Dokument 1.pdf (275 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Technische Informatik
Freie Schlagwörter (Englisch): analytic machines
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Sprache: Englisch
Erstellungsjahr: 1997
Publikationsdatum: 23.06.2005
Kurzfassung auf Englisch: In this paper we present some results about it analytic machines regarding th power of computations over sf bf Q and sf bf R, solutions of differential equations and the stability problem of dynamical systems. We first explain the machine model, wich is a kind of sc Blum-Shub-Smale machine enhanced by infinite convergent computiations. Next, we compare the computional power of such machinesofer the fields sf bf Q and sf bf R showing that finite computations with real numbers can be simulated by infinite converging computations on rational numbers, but the precision of the approximation is not known during the process. Our attention is then shifted to it ordinary differential equations (ODEs), dynamical systems described by ODEs and the undecidability of a class of stability problems for dynamical system

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English