超出图灵机的互联网计算20091009(中国计算机学会通讯).docVIP

超出图灵机的互联网计算 李德毅1 张海粟2 1中国电子设备系统工程研究所 关键词: 互联网计算 云计算 网络科学 网络化软件 2解放军理工大学 指挥自动化学院 引言 基于IP（Internet Protocol，网际协议）、Web（万维网）和Web服务等标准协议族，互联网应用可以屏蔽底层传输和交换差异，不断向多元化的需求靠近。这不仅促进了用户对信息资源的检索、理解与使用，也改变了传统个人计算环境下，图灵机模型[1]和冯·诺依曼结构[2]作为计算理论基础的状况。在互联网计算环境及云计算模式下，用户以不确定的、智能的交互行为参与到信息的处理中，人机、机机的交互形成了计算节点上持续的输入/输出流。互联网节点间不是以集中统一的控制方式，而是以互操作方式实现尽力而为的服务。因此，与统一调度或单节点上的运算相比，节点之间的交互更加重要。互联网计算的核心转变为节点间通过输入/输出进行互连，超出了图灵机模式，形成了网络化软件工程。 互联网改变了计算机和软件的工作模式 图灵机模型和冯·诺伊曼结构计算机 1936年，图灵（A. M. Turing）的著名论文《论可计算数及其在判定问题中的应用》[1]指出有些数学问题是不可解的，回答了希尔伯特（Hilbert）于1900年提出的逻辑完备性的问题[3]。该文首次提出自动计算机的理论模型（后被广泛称作图灵机），把推理化作一系列简单的