Indirect Computing Model with Indirect Formal Method

 

SOFTWARE
(Published monthly since 1979)
Vol.32 No.5 May 2011
ISSN 1003-6970 CN12-1151/TP

Experts Forum

Indirect Computing Model with Indirect Formal Method……………………… ZOU Xiaohui, ZOU Shunpeng  (1)

Indirect Computing Model with Indirect Formal Method

ZOU Xiaohui¹⁺²⁺³ ZOU Shunpeng¹ 

¹(China University of Geosciences (Beijing) Institute of Higher Education, Beijing 100083，China)

²(Engineering Institute of Synergy Culture Gene, Tsinghua Science Park, Zhuhai 519000，China)

³(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 that 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 whether 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.

【Key words】Computing Theory; Formal Theory; Human-Computer Interaction; Collaborative Computing

---

Foundation Items: SINO-US Searle Research Project: Bilingual Information Processing  No.20110128

软　件
（Ruan Jian）
月刊（1979 年创刊）
2011 年5 月 第32 卷第5 期
ISSN1003-6970 CN12-1151/TP

 

     《软件》杂志首届中文核心期刊，被《中国核心期刊（遴选）数据库》、《中国学术期刊综合评价数据库来源期刊》、《万方数据—数字化期刊群全文收录期刊》、《中文科技期刊数据库（全文版）收录期刊》、《中国知识资源总库CNKI 源期刊》、美国《乌利希国际期刊指南》、波兰《哥白尼索引》、美国《剑桥科学文摘》等国内外数据库收录

目　录

专家论坛
间接计算模型和间接形式化方法*…………………………………………… 邹晓辉　邹顺鹏 (1)

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

邹晓辉^１+２+3　邹顺鹏¹

^１(中国地质大学(北京)高等教育研究所　北京 100083)

^２(清华科技园融智文化基因工程研究所（筹）珠海 519000)

³(中美合作项目：加州大学贝克莱分校塞尔研究双语信息处理课题组)

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

关键词    计算理论;形式理论;人机交互;协同计算

中图分类号 TP                 文献标识码  A      

http://www.ccomsoft.com/

http://www.ccomsoft.com/news.asp?id=241

 间接计算模型和间接形式化方法(《软件》2011第五期) 摘要+全文

附件（全文）：

2 认真校对更正过的稿件——软件：间接计算模型和间接形式化方法.pdf

《软件》第5期纸质版

 

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

邹晓辉^１+２+3　邹顺鹏¹

^１(中国地质大学(北京)高等教育研究所　北京 100083)

^２(清华科技园融智文化基因工程研究所（筹）珠海 519000)

³(中美合作项目：加州大学贝克莱分校塞尔研究双语信息处理课题组)

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

关键词    计算理论;形式理论;人机交互;协同计算

中图分类号 TP                 文献标识码  A