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

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

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

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