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

重温《间接计算模型和间接形式化方法》全文请见纸质版截图（有关各位请各取所需）！

致　谢首先，对陆汝黔院士（因其支持并曾鼓励笔者发表自己的 原创成果）和张钹院士（因其关注并在笔者去哈佛大学之前从 百忙中专门抽出时间与笔者交谈并给予鼓励）表示感谢！其 次，要感谢鲁川教授（因其支持、鼓励并重用过笔者的汉语形式 化数据库的二字组结果数据）和黄昌宁教授（因其早在 2002 年 就邀请笔者到微软研究院他老的办公室仔细询问并倾听笔者 关于汉语形式化数据库即字与字组的关系数据库构想）！最后 还要感谢 UC Berkeley（因其提供笔者机会来介绍汉语形式 化数据库即字与字组的关系数据库设计方案及其依据的“言本 位”理论）。