Publication
On the functions generated by the general purpose analog computer
| dc.contributor.author | Olivier, Bournez | |
| dc.contributor.author | Graça, Daniel | |
| dc.contributor.author | Amaury, Pouly | |
| dc.date.accessioned | 2017-10-09T09:35:47Z | |
| dc.date.issued | 2017 | |
| dc.description | Preprint | pt_PT |
| dc.description.abstract | We consider the General Purpose Analog Computer (GPAC), introduced by Claude Shannon in 1941 as a mathematical model of Differential Analysers, that is to say as a model of continuous-time analog (mechanical, and later one electronic) machines of that time. The GPAC generates as output univariate functions (i.e. functions f:R→R). In this paper we extend this model by: (i) allowing multivariate functions (i.e. functions f:Rn→Rm); (ii) introducing a notion of amount of resources (space) needed to generate a function, which allows the stratification of GPAC generable functions into proper subclasses. We also prove that a wide class of (continuous and discontinuous) functions can be uniformly approximated over their full domain. We prove a few stability properties of this model, mostly stability by arithmetic operations, composition and ODE solving, taking into account the amount of resources needed to perform each operation. We establish that generable functions are always analytic but that they can nonetheless (uniformly) approximate a wide range of nonanalytic functions. Our model and results extend some of the results from [19] to the multidimensional case, allow one to define classes of functions generated by GPACs which take into account bounded resources, and also strengthen the approximation result from [19] over a compact domain to a uniform approximation result over unbounded domains. | pt_PT |
| dc.description.sponsorship | European Union’s Horizon 2020, Marie Skłodowska-Curie Actions grant agreement No 731143 (Action "Computing with Infinite Data" — CID) | |
| dc.description.version | info:eu-repo/semantics/acceptedVersion | pt_PT |
| dc.identifier.doi | https://doi.org/10.1016/j.ic.2017.09.015 | pt_PT |
| dc.identifier.issn | 0890-5401 | |
| dc.identifier.other | AUT: DGR01772; | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/10083 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Elsevier | pt_PT |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | pt_PT |
| dc.title | On the functions generated by the general purpose analog computer | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/5876/UID%2FEEA%2F50008%2F2013/PT | |
| oaire.citation.title | Information and Computation | pt_PT |
| oaire.fundingStream | 5876 | |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isProjectOfPublication | 7465846e-4f29-446f-894f-4e9f59509d24 | |
| relation.isProjectOfPublication.latestForDiscovery | 7465846e-4f29-446f-894f-4e9f59509d24 |