杂志文章格式模板知识讲解.docVIP

题目 （样式 2 黑体 +Time New Roma 二号） 作者一 1,2,作者二1 （样式3华文仿宋三号） （1.单位名称，北京 100084; 2.单位名称，北京 100001 （样式4汉仪书宋一简+ Time New Roma小五号）） 摘要：本文讨论基于Client/Server的智能计算机辅助教学 （ICAI ）的实现技术，据此采用VB、SQL Server、 IIS等开发平台，建立了一个用于高等数学教学的 ICAI试验系统。 关键词：Client/Server CAI ICAI 课件 中图分类号： 文献标识码： A 以下紧接英文题目、作者姓名及所在单位的英译文、摘要和关键词的英译文，全部使用Times New Roman : Indirect Computing Model with Indirect Formal Method （与中文题目对应，三号，粗体，除题目的第 1个字母及专有名词的第1个字母用大写之外， 其余第1个字母用小写，字体五号 ） ZOU Xiaohui 佃3 ZOU Shunpeng1 （姓在前，全用大写，名第 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，China） 3 （Sino-US Project: UC Berkeley Searle Research Bilingual Information Processing Research Group ） （单位：Times New Roman，五号，居中，单位及其所在城市名用斜体，邮编除外。 ） 【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 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 wither 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. （与中