当代中国大学新使命:基于汉语思维与双语处理的文化传承和创新

本文旨在从理论和实践两方面论述当代中国大学传承和创新人类文化的新使命。采用双语信息处理的研究方法,具体包括:广义和狭义、言和语、宏观与微观、世界观与方法论,四组相辅相成的基本划分。其研究结果不仅涉及:信息学、语言学、教育学和哲学四个研究领域的根本性问题,而且,还可形成继人类发明电脑硬件之后的软件工程,尤其是语言处理和知识工程,虚拟的"第三脑"——其推广普及可形成具有协同智能的超级互动平台。它将会深刻影响:机与人、学与用、教和管、知和行等相辅相成的活动。这是当代中国大学完成人类文化传承和创新这一新使命的简捷途径。这就是本研究得出的结论。

“云计算”概念的分析研究——协同智能计算系统的一个特例

本文作者拟从云计算提出的源头及其可能的新发展两个方面来对它做一个系统的分析和展望。旨在为云计算理论与技术的普及和提高开辟新途径。自2006谷歌101项目公开提出云计算(cloud computing)至今,信息产业界说它是一种新的商业模式,信息技术界却说它是软件服务(SaaS)、平台服务(PaaS)和基础设施服务(IaaS)三个不同层次的互联网技术的融合,通信与计算机科学界则说它是一种有别于既有范式的新的计算模式,另外还有各种各样的具体说法。然而就是缺乏一个系统周全而又简明扼要的理论描述或定义,尤其缺乏英汉双语对照的解释。笔者认为,这对云计算理论与技术的普及和提高均为不利。

软件工程学科何以独特——形式化方法的双重路径

本文旨在以数字和文字双语信息处理为例论述软件工程的第二路径及其重要意义。具体涉及如下两个问题及其解答:第一,软件工程学科何以独特?在其解答过程中进一步提出了软件工程的双重路径问题;第二,软件工程的第二路径为什么显著优于第一路径?其中预示软件产业将由此重组。从方法论的角度来看,前者涉及协同智能观;后者涉及第二路径的论证。从学科体系的角度来看,涉及软件的两次定位。其中,如果说第一次是计算机软件产品脱胎于数学和语言学,那么,第二次就是软件工程服务脱胎于计算机学科和信息学及其相关的工程技术学科和管理学以及教育学的相关部分。前一轮形成了软件产品概念,后一轮形成了软件服务概念。这是一个系统工程,其特点是整体大于局部之合。在此,就是虚拟的自然人(设计者和用户)与虚拟的计算机(操作系统和应用系统以及其它各式各样的软件)各自的功能,均不及两者结合而成的协同智能计算系统的整合功能。

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

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

两大类形式化方略

阐述机器翻译的两大类形式化方略。其中,第一大类形式化方略涉及:编程语言和英语(自然语言);第二大类形式化方略涉及:二进制数与十进制数、十进制数与汉字中文、中文和英文(可换)三类双语协同变换,属于形式化及其拓展研究领域。其结果是:凸显了第二大类形式化方略。其意义是:揭示了其理论依据,并为含语言学在内的学科知识系统工程提供了广义双语信息处理技术,有利于母语为非英语的计算机用户改善人机对话的语言环境。

协同智能计算系统——理论模型及其应用

本研究工作目的是揭示计算机数据与自然人知识两类信息处理方式基础之上派生的协同智能观及其指导下的协同智能计算系统的理论模型及其应用。它涉及的可验证方法,一方面,在n2矩阵范围内,以等价于2n的发散方式枚举和以等价于1/2n的收敛方式搜索两类基本算法可用作处理纯数字计算的任务,其特征是满足n的取值不影响计算效率的间接计算任务;另一方面,在与n2矩阵各个格子一一对应的范围对单音节汉字进行间接形式化处理,其特征不仅在于单音节字,即言,可间接计算,而且,还在于双音节和多音节的字组,即语,也可间接计算,同时,言和语的复用频率均可以且便于间接计算和统计。其结果是:不仅中文的自然语言理解的双重技术路线被揭示,而且,支配这类间接计算模型与间接形式化方法的信息基本定律假说也可被验证。最终可得出这样的结论,即:在前述两方面可验证的两种实证方法,远不仅仅是计算机数据信息处理方式与自然人知识信息处理方式这两类信息处理方式的简单相加,而是这两者合理分工、高度协作所产生的协同智能计算系统的理论模型或第三类信息处理方式及其应用,例如:国内外学术前沿的各类期刊及会议论文摘要、各种软件的常用问题解答以及帮助文件、协同智能计算系统用户个性化记录、自然语言的有限符号及其多样化组合或重复使用过程中蕴含的有限规则、等等各类双语信息的计算机辅助分析,该类云端计算主要服务对象是在创造性合作型生产式教研产学用各类活动中需要计算机辅助双语知识信息数据处理服务的客户。

虚拟的孪生图灵机——以双语信息处理为例

本文阐述一种虚拟的孪生图灵机,即:由两个图灵机组成的孪生并行计算机,其特征是其受限模式与派生模式分别由汉语的言即单音节字的基本符号对象和语即双音节多音节字组的符号组合解释为例加以说明。其作用在于基于它可建构理想的双语信息处理系统,即:协同智能计算系统;应用它可形成并行计算、分布计算、网格计算、虚拟计算和云计算乃至超级计算。其意义在于借助它蕴含的协同智能计算本质——虚拟与现实的关系,可把图灵可计算性、计算复杂性(其中揭示了一个基本原理——NP=P当且仅当N可有可无)和图灵测试连贯起来。

新时代对中国特色社会主义理论体系的理论认同研究

中国特色社会主义理论体系是指包括邓小平理论、“三个代表”重要思想、科学发展观和习近平新时代中国特色社会主义思想在内的科学理论体系。习近平新时代中国特色社会主义思想是马克思主义中国化的最新理论成果,是21世纪的马克思主义。加强对以习近平新时代中国特色社会主义思想为最新发展的中国特色社会主义理论体系的理论认同既是对马克思主义理论的守正创新,也是新时代进行中国式现代化建设实践的逻辑基础。新时代对中国特色社会主义理论体系理论认同的逻辑起点是其坚定的政治信仰、具体的实践品格和鲜明的人民秉性;认同的文化根源在于其思想中“以人民为中心”的宗旨与传统“民本”思想的承继性,“坚持党的领导”与“天命有德”思想的暗合性以及党“共产主义”理想与“天下为公”思想的契合性;认同的实践逻辑体现为通过在为人民群众解惑释疑、提升国家文化软实力和社会主义现代化强国建设的实践中增强民众认同;当前影响中国特色社会主义理论体系理论认同的主要因素有风云变幻的国际局势和不同思想文化的冲击、网络新媒体“普及化”和“碎片化”的负面影响以及理论认同与理论实践存在知行不统一;要通过注重在宣传中对理论认同的正确引导、重视在学习中对理论认同的反思教育和加强在实践中对理论认同的具体指导来强化中国特色社会主义理论体系的理论认同;中国特色社会主义理论体系理论认同的归宿是理论自信和理论自觉,最后变为强大的实践行动力。