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

• 作者: 邹晓辉 邹顺鹏
• 来源期刊: 软件
• 学科: 工学
• 关键词: 计算理论 形式理论 人机交互 协同计算
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 专家论坛
• 页码范围: 1-5
• 分类号: TP18
• 字数: 7113字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6970.2011.05.001

摘要

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