间接计算模型和间接形式化方法

Indirect Computing Model with Indirect Formal Method

本文旨在从人机交互界面与协同计算程序结合而构成协同智能计算系统的角度,论述间接计算模型和间接形式化方法结合所支持的优化云计算技术原理。本文在系统回顾图灵可计算理论、克莱尼小字符串形式理论、冯诺依曼数字计算机体系结构和图灵人工智能判定假设等前人理论研究成果对主流数字计算机通用范式影响的基础之上,着重介绍了笔者设计的间接计算模型和大、小字符串兼容的间接形式化理论,并以中文信息数据为例介绍了协同智能计算系统原型的设计构想。其意义是该成果有利于从数据中心到知识中心优化云计算。

This paper discusses indirect computing model with indirect formal method which is supported by an alternative combines cloud computing principles,through the perspective of the collaborative intelligent computing systems formed by human-computer interface and collaborative computing processing.The author focuses on indirect computing model with indirect formal method which is according to the theoretical assumptions of previous research on the mainstream paradigm of general-purpose digital computer based on by that systematic review of the theory of Turing computability,the formal theory of string （computer science） with Kleene star,von Neumann architecture of computer and the Turing test to determine wither or not the artificial intelligence can be viewed.And the author uses the design model which can process both large and small strings compatible with the indirect formal theory,and the design prototype which takes Chinese information data processing as an example of collaborative intelligence computing system.The meaning is that the results benefit from the data center to optimize the cloud computing knowledge center.