计算机教育信息流体系结构

李晖

（武汉大学计算机学院，湖北武汉 430072）

Jsjjyxxl 抽象具体化概念，通过一组计算关键词解析说明，深化理解。计算体系由计算机硬体体系和软体体系合成。基于硬体体系，面对不同确定应用领域（或称定义域），可开发不同的软体体系，并以各自的计算语句集，与硬体体系交互链接，计算处理定义域对象。这个计算语句集，记为Jsjjyxxl。Jsjjyxxl 遂成为所有软体体系共用的抽象概念，但不同定义域的软体体系，它们的Jsjjyxxl 计算语句集各不相同，对于不同软体体系，视为Jsjjyxxl 一次具体化实现。提供自身定义域所有可计算处理问题（P），计算处理时需要的所有计算语句。

1 Jsjjyxxl 抽象具体化过程

作为一个特例，汇编语言软体体系，包含UNIX 操作系统，形成的计算语句集合，直接定义于硬体，可视为Jsjjyxxl 一次具体化实现。

UNIX 完全仿真于计算机硬体，体现计算机硬体结构特征，充分完美地表达计算机硬体体系结构、计算方式和基本的计算能力；以UNIX 为基础，开发的汇编语言软体体系，它的定义域限于数字领域，适用于数字科学计算。但远不足以作为一个更通用操作指令系统（Czzlxt），开发能力更强软体体系，在更宽广的领域，为更多对象类型，处理可计算问题（P）。

一般来说确定Czzlxt 仍然严格地建立在硬体体系基础上，同时有赖于开发软体体系的定义域，形成确定的运算符系列，系统地刻画施加于定义域对象的所有操作形态和方式方法，才能形成有效的Jsjjyxxl，完成P 计算过程的计算语句系列（Pjsxxl）。正因为如此，自UNIX 开始，经历ALGOL-60、BISCAL、PASCAL 到C 语言，其后随着网络和AI 智能应用领域发展，不断更新丰富计算语句集合，也就是Jsjjyxxl 不断更新具体化。时至今日，还在不断发布新的软体体系，意味着流经计算机的语句信息及其信息流结构也随之相应发展，不断满足现实世界实现数字化社会的要求。

语言发展过程，正好体现计算机发展的科学规律，展现一些基本性发展特征：

（1）语言发展的动力来源于现实需求，最重要的目的是提升计算能力，扩大计算对象，开拓更大应用领域。如C 语言，数据结构丰富，具有链表、树和栈多类高级数据类型，极大地扩大了计算处理对象；

（2）C 的运算类型极其丰富，表达式类型多样化，灵活使用各种运算符可以实现在其它高级语言中难以实现的运算；

（3）后期发展语言对它们前期语言的运算符号，皆有包容性或兼用性, 如C 语言能实现汇编语言大部分功能，可以直接对硬件进行操作，既是高级语言，又具有低级语言功能；

（4）运算符精细设计，成为提升计算能力的基本功。从UNIX 拾多个运算符到C 语言32 个运算符，实现了计算能力能级跨越，从数值计算进入到数据结构处理，极大地扩大应用领域，深入到社会生活更一般对象处理。精细化运算符设计方向，引导其后语言发布，向着逐进深入数字化智能社会发展，导致对更多更智能化可计算问题（P）处理能力。[2]

2 jsjjyxxl 形式定义

不同计算语言，皆有对应抽象jsjjyxxl，语言发展过程，则视为抽象jsjjyxxl 具体化过程。依据图灵可计算理论，存在这样的语言，它的运算符满足可计算理论，这样语言的运算符系列就是jsjyxxl 最大具体化计算语句系列。

Jsjjyxxl 是有限计算语句系列抽象概念，还不是一个具体真实计算过程信息流，泛称可计算问题计算过程信息流，但可视为这些可计算问题（P），计算过程的计算语句信息流（Pjsxxl）载体。

归结上面的讨论，现在正式定义jsjjyxxl 形式定义。

对任何可计算（P），必然存在一个Pjsxxl，

其中k＞0 是一个有限整数。并且，P 可计算性，认定存在PJsxxl，表达实际运算过程，实现P 计算表达式,

正确计算，其中X 为定义域，Y 为值域。即，pjsxxl 运行等效于实施（2）的计算。综合（1）（2）将得到下面表达式（3），称为jsjjyxxl 形式定义。

jsjjyxxl 形式定义：在jsjjyxxl 上，直接实施P 计算。意味着P 的计算结构F，展开成计算语句系列pjsxxl，T 表示表达式成立，并确认Y 就是P 计算结果值。

特别值得指出：

（1）（3）式Pjsxxl 是软体结构F 计算语句线性展开系列；

（2）依据图灵计算理论，任何可计算问题（P），存在一个软体结构，它的jsjjyxxl，实现F 的Pjsxxl。

3 Jsjjyxxl 生成形式模式

（3）式实际上慨括了这个模式。 jsjjyxx 是计算体系语句集合，如（3）式说明，该计算系统任何可计算问题（P），pjsxxl 的每个计算语句都属于jsjjyxx。因此jsjjyxx 称为该计算系统计算语句抽象集合。不仅如此，jsjjyxx 生成过程，还形成计算系统形式结构。

软件体系包含操作系统和服务软件两部分，即，在操作系统的基础上，开发面向社会应用软件系统（服务软件），以键盘为操作平台，通过操作系统，进入计算机硬体，进行用户要求的实时处理，操作系统则称为人-机交互接口。

Jsjjyxxl 抽象概念，是一个通用性概念。凡是软体体系，都必定形成本系统的Jsjjyxxl。因此现有的计算语言，能够开发专用于该语言软体体系。首先定义一组运算符，处理其定义域的计算对象，形成该定义域操作指令系列，得以形成Jsjjyxxl。（3）式说明，每个可计算对象计算语句系列pjsxxl，其中每个计算语句都来自Jsjjyxxl。

（3）式从形式上定义Jsjjyxxl，该定义蕴含Jsjjyxxl 抽象具体化过程的形式结构。这个形式结构将贯穿计算概念：从运算符系列，形成操作指令系列，到计算语句系列定义及其计算结构，伴随软体体系系统软件生成，最终形成该语言的jsjjyxxl。总之，每个语言都经历一次这样的具体化过程，生成它的计算体系，同时生成该语言的jsjjyxxl。

计算体系的软体体系由操作指令系列和系统软件两部分合成；系统软件定义域就是它面对的数据对象集合，并为规范定义域数据对象的运算处理，定义一组运算符，确定语句形态和语法规则，以及计算过程语句系列的计算结构。

综上所述，Jsjjyxxl 抽象具体化过程也正好随着图1[1]模块系统地展开，形成它生成的形式结构。

4 Jsjjyxxl 生成形式结构

上面的讨论规范为一种模式，适用于任何计算语言，随着Jsjjyxxl 抽象具体化，生成计算系统软体体系的系统软件。

这个模式也是一种通用模式。对于更大的综合性更强的软体体系如Windows 系统也是正确的。这些软件或称系统软件的服务软件。

自X-500,NDS 和Exchange 到1993 年Server 起，Nevell 的NDS，Windows NT, Wondows 2000 Server。NDS的发布被认为是一次计算的突破，从Windows NT,到Wondows 2000 Server,实现目录管理服务，更被视为革命性的进步。[3]

这些大型软体体系，类似于基于UNIX 数值计算的软体体系的开发。它们的开发也必须遵循上述一般软件体系开发模式。所有软体体系，不论规模大小和复杂程度如何，它们的Jsjjyxxl 抽象具体化过程的形式结构也基本上相同。

jsjjyxxl 一次抽象具体化，意味着：计算体系（jstx）一个确定软体体系（rttx）在其硬体体系（yttx）上的实现。于是三者合成图1，称为jsjjyxxl 形式体系单位树。

图1 jsjjyxxl 形式体系单位树

这颗单位树，将基于图1[1]模型，转换成生成jsjjyxxl形式结构体系。计算概念系列遂成为规划教学计划的主轴。贯穿于图1[1]教学进程，逐步展现jsjjyxxl 抽象具体化过程。并以线上线下混合教学模式,，实现图1[1]的教学规划。

单位树根节点（gjd）为计算体系（jstx），两个叶节点（yjd）分别是yttx 和rttx。以图1[1]为基础，两个yjd 各自生成自己的单位树，分别显示于图2 和3，也就是分解图1[1]成两部分，即yttx 单位树的yjd，就是计算机系统（图1[1]）成为唯一yjd，图3 rttx 单位树的yjd 为图1[1]其余4 个模块（数据、计算语言、软件工程和计算机网络）。自然意味着：计算体系gjd dws 定位于图1[1]的5 个模块，形成它的yjd 单位树，也是它的第二级子节点（zjd）；最终意味着：jsjjyxxl 形式体系将在图1[1]的系统上生成。致使4 个软体模块将在硬体模块上严格制约下实现它们的功能。

图2 yttx 单位树

图3 rttx 单位树

从计算体系单位树gjd 到它的第二级yjd，显示gjd抽象度逐层降低趋势。事实上，从第二级叶节点进一步生长它们的yjd，其抽象度将会进一步降低，叶节点单位树进一步生长过程，直至某个第k（＞0 有限整数）层，它的所有节点都成为计算语句叶节点，不能再生成单位树为止。至此，jstx gjd 全树生成，它的所有yjd 合成jsjjyxxl。如是得到结论：jstx gjd 功能逐层解析过程，也就是随着它的抽象度逐层降低，直至k（＞0 有限整数）层，所有yjd皆为计算语句，最终生成rttx 的jsjjyxxl，或者说，k 层叶节点集合即jsjjyxxl。

该结论正确性可以形式逻辑证明。本文在下面仅给以简单说明。

这个过程演绎jstx yttx 直接生成rttx，形成该rttx 的jsjjyxxl。硬体系统成为硬化计算概念系列的硬化模型，规范软件体系，在约定运算符系列基础上，生成计算系统的系统服务软件。运算符系列确定rttx 的操作指令系列，确定软件体系服务软件的定义域，并生成jsjjyxxl，为服务领域对象处理提供所有的计算语句。

最简单的例子，就是直接以数字运算的运算符，如，加、减、乘和除，以及若干逻辑运算符，直接定义运算符系列，形成UNIX 操作系统，并随着图1[1]教学演绎过程，生成汇编语言服务软件，同时伴随着具体化的jsjjyxxl 语句形成，满足数学科学计算。

jsjjyxxl 语句，随着jstx gjd 功能抽象具体化过程生成步骤：

（1）Sjxt（图3）（数据结构模块图1[1]）规定数据类型，形成rttx 定义域，规划、设计运算符系列（ysfxl）；

（2）ysfxl 进入子节点yttx（图2，jsjxt（图1[1]），其操作指令译码器（czzlymq）进行识别编译，如果识别编译成功，则对ysfxl 进行硬化处理：依次编序和符号语义硬化。形成rttx 的czzlxl，否则修改ysfxl 或必要时jsjxt 适当调整，直至rttx 的czzlxl 形成；

（3）yyxt（图3，计算语言模块（图1[1]），依据ysfxl 每一个运算符号，生成rttx 计算语句系列（jsyjxl），如C 语言，计算语句的基本形式归类9 类，其中第一类称为表达式语句，有7 类表达式语句，而控制语句则有5 类；

（4）软件结构rjjg（图3），即软件工程模块（图1[1]），形成该rttx 任何任何可计算问题（P）计算语句系列（jsyjxl）的rjjg（公式（3）之F）；

（5）计算网络（wl），提供rttx jsyjxl 进入定义域数据通道接口语句。

总之，jstx gjd 功能抽象具体化，基于计算机教育体系模块（图1[1]）逐层降低过程，直至某个第k（＞0 有限整数）层，它的所有节点都成为计算语句叶节点皆为计算语句（jsyj），至此jstx gjd 到K 层叶节点形成一个网络型形式结构，jsjjyxxl 语句集生成，并且从jstx gjd 到jsjjyxxl每个语句有一条连通路径。形式逻辑理论即可证明它的正确性。

5 结论

jsjjyxxl 形式定义（3），将建立计算体系开发应用领域软体体系、确定计算体系计算能力并有助于开发应用软件，满足社会数字化需求。