Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25821
Titel: Analytic machines
Verfasser: Hotz, Günter
Chadzelek, Thomas
Sprache: Englisch
Erscheinungsjahr: 1997
SWD-Schlagwörter: Technische Informatik
Freie Schlagwörter: analytic machines
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: 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
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-3820
hdl:20.500.11880/25877
http://dx.doi.org/10.22028/D291-25821
SciDok-Publikation: 23-Jun-2005
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
SFB124-97-12.pdf275,19 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.