| 词条 | General purpose analog computer |
| 释义 |
The General Purpose Analog Computer (GPAC) is a mathematical model of analog computers first introduced in 1941 by Claude Shannon.[1] This model consists of circuits where several basic units are interconnected in order to compute some function. The GPAC can be implemented in practice through the use of mechanical devices or analog electronics. Although analog computers have fallen almost into oblivion due to emergence of the digital computer, the GPAC has recently been studied as a way to provide evidence for the physical Church–Turing thesis.[2] This is because the GPAC is also known to model a large class of dynamical systems defined with ordinary differential equations, which appear frequently in the context of physics.[3] In particular it was shown in 2007 that (a deterministic variant of) the GPAC is equivalent, in computability terms, to Turing machines, thereby proving the physical Church–Turing thesis for the class of systems modelled by the GPAC.[4] This was recently strengthened to polynomial time equivalence.[5] Definition and historyThe General Purpose Analog Computer was originally introduced by Claude Shannon.[1] This model came as a result of his work on Vannevar Bush's differential analyzer, an early analog computer.[6] Shannon defined the GPAC as an analog circuit consisting of five types of units: adders (which add their inputs), multipliers (which multiply their inputs), integrators, constant units (which always output the value 1), and constant multipliers (which always multiply their input by a fixed constant k). More recently, and for simplicity, the GPAC has instead been defined using the equivalent four types of units: adders, multipliers, integrators and real constant units (which always output the value k, for some fixed real number k). In his original paper, Shannon presented a result which stated that functions computable by the GPAC are those functions which are differentially algebraic. References1. ^1 {{Cite journal | doi=10.1002/sapm1941201337|title = Mathematical Theory of the Differential Analyzer| journal=Journal of Mathematics and Physics| volume=20| issue=1–4| pages=337–354|year = 1941|last1 = Shannon|first1 = Claude E.}} 2. ^O. Bournez and M. L. Campagnolo. [https://hal.archives-ouvertes.fr/docs/00/76/09/76/PDF/SurveyContinuousTimeComputations.pdf A Survey on Continuous Time Computations]. In New Computational Paradigms. Changing Conceptions of What is Computable. (Cooper, S.B. and Löwe, B. and Sorbi, A., Eds.) Springer, pages 383–423. 2008. 3. ^D. S. Graça and J. F. Costa. Analog computers and recursive functions over the reals. Journal of Complexity, 19(5):644–664, 2003 4. ^O. Bournez, M. L. Campagnolo, D. S. Graça, and E. Hainry. Polynomial differential equations compute all real computable functions on computable compact intervals. Journal of Complexity, 23:317–335, 2007 5. ^{{Cite journal |doi = 10.4230/LIPIcs.ICALP.2016.109|title = Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length: The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations|last1 = Bournez|first1 = Olivier|last2 = Graça|first2 = Daniel S.|last3 = Pouly|first3 = Amaury|year = 2016|publisher = Schloss Dagstuhl}} 6. ^{{cite web |url=http://www.ieeeghn.org/wiki/index.php/Oral-History:Claude_E._Shannon |title=Claude E. Shannon, an oral history |author=Robert Price |work=IEEE Global History Network |year=1982 |publisher=IEEE |accessdate=July 14, 2011}} 1 : Analog computers |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。