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

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

【作者单位】： 中国地质大学(北京)高等教育研究所;清华科技园融智文化基因工程研究所筹;加州大学贝克莱分校塞尔研究双语信息处理课题组;
【基金】：中美合作塞尔研究项目:双语信息处理(No.20110128)~~
【分类号】：TP11

间接计算模型和间接形式化方法_邹晓辉.pdf