Tracking computability of GPAC-generable functions

2020 ◽  
Author(s):  
Diogo PoÇas ◽  
Jeffery Zucker
Keyword(s):  
Physical Process ◽  
Data Streams ◽  
Physical System ◽  
Analog Computer ◽  
General Purpose ◽  
Digital Model ◽  
Computable Analysis ◽  
Analog Computation ◽  
Fréchet Spaces ◽  
General Data

Abstract Analog computation attempts to capture any type of computation, that can be realized by any type of physical system or physical process, including but not limited to computation over continuous measurable quantities. A pioneering model is the General Purpose Analog Computer (GPAC), initially presented by Shannon in 1941. The GPAC is capable of manipulating real-valued data streams; however, it has been shown to be strictly less powerful than other models of computation on the reals, such as computable analysis. In previous work, we proposed an extension of the Shannon GPAC, denoted LGPAC, designed to overcome its limitations. Not only is the LGPAC model capable of expressing computation over general data spaces $\mathcal{X}$, but it also directly incorporates approximating computations by means of a limit module. An important feature of this work is the generalisation of the framework of the computation theory from Banach to Fréchet spaces. In this paper, we compare the LGPAC with a digital model of computation based on effective representations (tracking computability). We establish general conditions under which LGPAC-generable functions are tracking computable.

Digital simulation of analog computation and Church's thesis

1989 ◽  
Vol 54 (3) ◽  
pp. 1011-1017 ◽  
Author(s):  
Lee A. Rubel
Keyword(s):  
Digital Simulation ◽  
Analog Computer ◽  
General Purpose ◽  
Algebraic Differential Equation ◽  
Analog Computation ◽  
Church’S Thesis ◽  
Black Boxes ◽  
Church's Thesis ◽  
Research Questions ◽  
The Given

Church's thesis, that all reasonable definitions of “computability” are equivalent, is not usually thought of in terms of computability by a continuous computer, of which the general-purpose analog computer (GPAC) is a prototype. Here we prove, under a hypothesis of determinism, that the analytic outputs of a C∞ GPAC are computable by a digital computer.In [POE, Theorems 5, 6, 7, and 8], Pour-El obtained some related results. (The proof there of Theorem 7 depends on her Theorem 2, for which the proof in [POE] is incorrect, but for which a correct proof is given in [LIR]. Also, the proof in [POE] of Theorem 8 depends on the unproved assertion that a solution of an algebraic differential equation must be analytic on an open subset of its domain. However, this assertion was later proved in [BRR].) As in [POE], we reduce the problem to a problem about solutions of certain systems of algebraic differential equations (ADE's). If such a system is nonsingular (i.e. if the “separant” does not vanish along the given solution), then the argument is very easy (see [VSD] for an even simpler situation), so that the essential difficulties arise from singular systems. Our main tools in handling these difficulties are drawn from the excellent (and difficult) paper [DEL] by Denef and Lipshitz. The author especially wants to thank Leonard Lipshitz for his kind help in the preparation of the present paper.We emphasize here that our proof of the simulation result applies only to the GPAC as described below. The GPAC's form a natural subclass of the class of all analog computers, and are based on certain idealized components (“black boxes”), mostly associated with the technology of past decades. One can easily envisage other kinds of black boxes of an input-output character that would lead to different kinds of analog computers. (For example, one could incorporate delays, or spatial integrators in addition to the present temporal integrators, etc.) Whether digital simulation is possible for these “extended” analog computers poses a rich and challenging set of research questions.

Selected generalized integration techniques for analog computation

SIMULATION ◽  
1967 ◽  
Vol 9 (1) ◽  
pp. 21-28 ◽  
Author(s):  
Arthur Hausner
Keyword(s):  
Differential Equations ◽  
Rational Functions ◽  
Analog Computer ◽  
Great Accuracy ◽  
Analog Computation ◽  
Major Disadvantage ◽  
Integration Techniques ◽  
High Degree

Generalized integration is a technique for generating ex plicit functions on an analog computer by solving the appropriate differential equations they satisfy. Setting up the solution of differential equations using the parametric technique is first reviewed. Two theorems regarding the capability of linear equipment in generating sums and products are stated, and their usefulness is illustrated with examples. Applications of the technique to generating high-degree oscillatory polynomials and rational functions (which require nonlinear equipment) are also described. The major advantage of the technique is achievement of great accuracy with minimum equipment in some cases. The major disadvantage is that, with time, errors may sometimes increase and may not be bounded.

Implementation of hybrid integrators on a general-purpose analog/logic computer

SIMULATION ◽  
1969 ◽  
Vol 12 (4) ◽  
pp. 201-204
Author(s):  
K. Søe Højberg
Keyword(s):  
Pulse Width ◽  
Analog Computer ◽  
General Purpose ◽  
Reference Voltage ◽  
Digital Output ◽  
Analog Input ◽  
Frequency Converters ◽  
Computer Equipment ◽  
Analog Logic

Two types of continuously working hybrid integrators with analog input and digital output have been realized by means of standard analog computer equipment. The basic units are voltage-to-frequency converters. The in tegral is measured in quanta determined by the reference voltage and a pulse width (clock controlled) or the size of a capacitor.

scholarly journals Hardware and Software Infrastructure of Digital Twin Technology

2020 ◽  
Author(s):  
Zakharov L.A ◽  
Derksen L.A.
Keyword(s):  
Machine Learning ◽  
Big Data ◽  
Physical System ◽  
Digital Model ◽  
Cyber Physical System ◽  
Product Lifecycle ◽  
Software Infrastructure ◽  
Digital Twin ◽  
Data Product ◽  
Basic Approaches

This article describes of hardware and software infrastructure that provides the implementation of digital double technology. The basic approaches to determining the technologies that make up the infrastructure for the implementation of the digital twin, as well as the benefits of implementing this technology are considered. The need for processing and storing big data, as well as the benefits of implementing this technology, is substantiated. Keywords: digital twin, digital model, big data, product lifecycle, cyber-physical system, automation, machine learning, smart maintenance.

scholarly journals Irreversible Physical Process and Information Height

2021 ◽  
Author(s):  
Qin Liu ◽  
Quan Tang ◽  
Yuling Yi ◽  
Yu Feng
Keyword(s):  
Physical Process ◽  
Physical System ◽  
High Probability ◽  
Physical Phenomenon ◽  
Small Probability ◽  
Simplified Models ◽  
Extra Information ◽  
High Information

The time’s arrow of macroscopic physical phenomenon is reflected by irreversible physical process, which essentially occurs from small probability state to high probability state. In this paper, simplified models are proposed to understand the macroscopic physical process. In order to describe the information of a physical system, we defined the full self-information as "information height" to describe the complexity or difficulty of a macrostate of physical system. In this way, the direction of macroscopic physical process is from high information height to low information height. We can judge the direction of physical process by the information height. If we want the macroscopic physical process to evolve from the low information height state to the high information height state, the system need to add extra information and corresponding energy to increase the information height.

The Use of Analog Computers for Determining Surface Parameters Required for Prediction of Thermal Contact Conductance

1964 ◽  
Vol 86 (4) ◽  
pp. 543-550 ◽  
Author(s):  
J. J. Henry ◽  
H. Fenech
Keyword(s):  
Experimental Data ◽  
Unit Area ◽  
Thermal Contact ◽  
Analog Computer ◽  
General Purpose ◽  
Thermal Contact Conductance ◽  
Average Thickness ◽  
Contact Interface ◽  
Contact Conductance ◽  
Surface Profiles

The mathematical analysis of a thermal contact by Fenech and Rohsenow requires knowledge of certain parameters describing the geometry of the contact interface. These parameters are volume average thickness of the void above and below the plane of the contact, the number of contacts per unit area, and the ratio of the actual contact area to the total area. The authors outline a method for determining these parameters graphically. This paper describes a method for obtaining analog voltages of surface profiles of contacting surfaces and the application of a general purpose analog computer to determine the geometric parameters of contact as a function of contact pressure. The results of applying this method are combined with the analysis of Fenech and Rohsenow. The predicted contact conductance is found to agree well with experimental data at mean contact temperatures of 100, 200, and 300 F for load pressures of 100 to 20,000 psi.

scholarly journals On the functions generated by the general purpose analog computer

2017 ◽  
Vol 257 ◽  
pp. 34-57 ◽  
Author(s):  
Olivier Bournez ◽  
Daniel Graça ◽  
Amaury Pouly
Keyword(s):  
Analog Computer ◽  
General Purpose
Sign in / Sign up

Export Citation Format

Share Document