抽象数据类型条件方程的求取

抽象数据类型的代数规格说明关键在于条件方程的求取。如果能获得简明的条件描述，那么就容易写出条件方程。本文讨论了抽象数据类型的规格说明问题，并提出了基于串和数组求取条件方程的方法，同时给出了若干典型实例，并对求取条件方程方法的正确性作了讨论。

支持程序验证的模块方法

本文给出一种支持程序验证的模块方法,并讨论了基于函数语义的模块验证。程序(特别是大型复杂的程序)可划分为若干个摸块,模块本身又可划分为若干个更小的子模块,其验证独立进行。将独立验证过的各子模块复合,完成上级模块或程序本身的验证。

程序结构分解及复杂性度量

本文基于程序的结构分解,建立了子流程图、1—入口子流程图、1—入口真子流程图、基本流程图、最大真子流程图、流程图的分解等概念.并给出了程序结构分解的三个定理(定理1,2,3).由此,得到了程序复杂性度量的两个公理及公理化的复杂性度量方法.本文最后的讨论表明经典的度量方法都可化归为本文给出的度量形式.

知识系统开发生命周期的改造

系统开发方法学上的进步,使知识库系统的生命周期有所改进。在新的开发方法中,过程代替了阶段和步骤,在系统开发期间。过程的动态活动使系统的性能得到改进。

一种结构程序设计与分析的工具

本文讨论了一种新的结构程序设计与分析的方法──活动图。活动图提供了程序多层次的清晰、优良的结构与逻辑，是程序分析、设计实现、调试和维护的重要工具。本文还讨论了基于活动图的程序开发，并给出了一个实例。

支持活动图的程序设计工具的实现

就一个支持活动图的程序设计工具进行讨论，该工具用ＴＵＲＢＯＣ实现，具有友好的用户界面，使用方法灵活，生成的程序具有良好的结构化风格。

长江经济开发战略区域一体化

论述了开发长江流域经济的优势及对我国未来国民经济发展的重要性；提供了长江经济开发可供选择的模式和区域一体化的战略原则。据此，本文提出了长江经济开发战略区域一体化模式与实施构想。

用动态有序弹性匹配方法识别手写印刷体汉字

本文为手写印刷体汉字分类提供了一种新的实用解决方法。本方法采用日本山本氏提出的用松驰匹配方法识别手写印刷体汉字的基本思想。给出了用汉字轮廓点的差分作为轮廓跟踪及折断点选择的算法,提高了轮廓折线化速度;分类是按汉字四周的外轮廓线分二级进行匹配的,提出了动态有序弹性匹配方法,使全域松弛匹配得以在局部区域进行,从而有效地提高了匹配速度;在进行第一级粗分类时,采用多个模板,有效地提高了按偏旁位置分布进行分类的正确率;最后利用内轮廓折线与字典逐字匹配,达到手写印刷体汉字识别的目的。本识别系统在386微机上用C语言编程实现,对国标一级3755个汉字进行了三万余字的识别试验,前十位的累计正确分类率达92%,第一位的累计正确分类率达84%。识别时间为每字1.8秒。

栈的一种算法理论

栈的算法理论是栈的关系系统的特定性质。本文证明了不同于已知的有关理论的关于栈的算法特征的新公理，即ｗｈｉｌｅ型公理。这一公理说明每个栈的关系与有限元素序列系统是同构的。