为了建立一个计算机器的正式理论,这些机器是由物理所提供的任何东西构成的
Herbert Jaeger1,2, Beatriz Noheda3,4, Wilfred G van der Wiel5,6,7
1Bernoulli Institute, University of Groningen, 9700 AB, Groningen, The Netherlands. h.jaeger@rug.nl.
Nature communications
|August 16, 2023
概括
对于非传统的计算,需要新的理论. 流计算,一种基于物理的方法,将计算自下而上模式作为过程结构,与传统的上下符号方法不同.
科学领域:
- 计算机科学 计算机科学
- 物理 物理学 物理
- 计算理论 计算理论
背景情况:
- 数字计算面临着局限性,推动了对神经形态和非传统计算的研究.
- 基于图灵机的古典计算理论可能无法充分指导这些新系统的工程设计.
研究的目的:
- 提出一个正式的理论,系统地工程非传统的计算系统.
- 引入"流动计算",作为对古典计算模型的物理灵感替代方案.
主要方法:
- 采用物理范式,从自下而上的角度对物理计算系统进行建模.
- 正式化物理计算系统的可测量的方面.
- 这与图灵机的自上而下的符号-算法方法形成对比.
主要成果:
- 提出了开发一个新的计算理论的总体策略.
- 引入流计算,将计算理解为流程的结构化.
- 这与专注于结构处理的经典模型形成鲜明对比.
结论:
- 一个基于物理的,自下而上的形式理论对于推进非传统计算是必不可少的.
- 流计算为理解和工程计算系统提供了一个新的范式.
相关概念视频
Simplified Synchronous Machine Model
276
The Synchronous Machine Model is a fundamental tool in analyzing and ensuring the transient stability of power systems. This model simplifies the representation of a synchronous machine under balanced three-phase positive-sequence conditions, assuming constant excitation and ignoring losses and saturation. The model is pivotal for understanding the behavior of synchronous generators connected to a power grid, particularly during transient events.
In this model, each generator is connected to a...
In this model, each generator is connected to a...
276
Classification of Systems-I
215
Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
215
Multimachine Stability
191
Multimachine stability analysis is crucial for understanding the dynamics and stability of power systems with multiple synchronous machines. The objective is to solve the swing equations for a network of M machines connected to an N-bus power system.
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
191
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
81
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
81
Machines
303
Machines are complex structures consisting of movable, pin-connected multi-force members that work together to transmit forces. One example of a machine is the cutting plier, which is used to cut wires by applying forces to its handles. When equal and opposite forces are exerted on the handles of the cutting plier, they cause the cutting edges to come together and apply equal and opposite reaction forces on the wire, which are greater than the applied forces.
A free-body diagram of the...
A free-body diagram of the...
303
Machines: Problem Solving II
335
Machines are complex structures consisting of movable, pin-connected multi-force members that work together to transmit forces. Consider a lifting tong carrying a 100 kg load. It comprises movable sections DAF and CBG linked together with member AB.
335


