提出间接计算与形式化方法，优化人机协同云系统。
Indirect Computing Model with Indirect Formal Method
- 构建人机协同的间接计算模型与形式化理论
- 支持大小字符串处理，提升云系统效率
- 适合云计算、智能系统设计者参考
本文从人机界面与协同计算程序融合形成的协作智能计算系统视角，探讨了由间接计算模型与间接形式化方法共同支撑的优化云计算技术原理。在系统回顾图灵可计算性理论、克林的小字符串形式理论、冯·诺依曼数字计算机架构以及图灵关于人工智能判断的假设对主流通用数字计算机范式影响的基础上，作者重点介绍了一种兼容大字符串与小字符串的间接计算模型及间接形式化理论。以中文信息数据为例，提出了协作智能计算系统原型的设计理念。该成果有助于推动云计算从数据中心向知识中心演进。
原文摘要 · Abstract (English)
This paper,from the perspective of a collaborative intelligent computing system formed by combining human-computer interface and collaborative computing programs, discusses the principles of optimized cloud computing technology supported by the combination of an indirect computing model and an indirect formal method. On the basis of systematically reviewing the influence of previous theoretical achievements Turing's computability theory,Kleene's formal theory of small strings,von Neumann's digital computer architecture and Turing's hypothesis on AI judgment on the mainstream general-purpose digital computer paradigm,the author focuses on introducing an indirect computing model and an indirect formal theory compatible with both large and small strings. Using Chinese information data as an example,the design concept of a collaborative intelligent computing system prototype is presented. The significance is that this achievement facilitates optimization of cloud computing from data centers to knowledge centers.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。