| 间接计算模型和间接形式化方法 |
| |
| 引用本文： | 邹晓辉,邹顺鹏. 间接计算模型和间接形式化方法[J]. 软件, 2011, 32(5): 1-5. DOI: 10.3969/j.issn.1003-6970.2011.05.001 |
| |
| 作者姓名： | 邹晓辉 邹顺鹏 |
| |
| 作者单位： | 1. 中国地质大学(北京)高等教育研究所,北京100083;清华科技园融智文化基因工程研究所(筹),珠海519000;中美合作项目：加州大学贝克莱分校塞尔研究双语信息处理课题组
2. 中国地质大学(北京)高等教育研究所,北京,100083 |
| |
| 基金项目： | 中美合作塞尔研究项目:双语信息处理(No.20110128)~~ |
| |
| 摘 要： | 本文旨在从人机交互界面与协同计算程序结合而构成协同智能计算系统的角度，论述间接计算模型和间接形式化方法结合所支持的优化云计算技术原理。本文在系统回顾图灵可计算理论、克莱尼小字符串形式理论、冯诺依曼数字计算机体系结构和图灵人工智能判定假设等前人理论研究成果对主流数字计算机通用范式影响的基础之上，着重介绍了笔者设计的间接计算模型和大、小字符串兼容的问接形式化理论，并以中文信息数据为例介绍了协同智能计算系统原型的设计构想。其意义是该成果有利于从数据中心到知识中心优化云计算。
|
| 关 键 词： | 计算理论 形式理论 人机交互 协同计算 |
Indirect Computing Model with Indirect Formal Method |
| |
| ZUO Xiaohui,ZUO Shunpeng. Indirect Computing Model with Indirect Formal Method[J]. Software, 2011, 32(5): 1-5. DOI: 10.3969/j.issn.1003-6970.2011.05.001 |
| |
| Authors: | ZUO Xiaohui ZUO Shunpeng |
| |
| Affiliation: | ZOU Xiaohui 1,2,3,ZOU Shunpeng 1 (1.China University of Geosciences (Beijing) Institute of Higher Education,Beijing 100083,China,2.Engineering Institute of Synergy Culture Gene,Tsinghua Science Park,Zhuhai 519000,3.Sino-US Project:UC Berkeley Searle Research Bilingual Information Processing Research Group) |
| |
| Abstract: | 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 o... |
| |
| Keywords: | Computing Theory Formal Theory Human-Computer Interaction Collaborative Computing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
