摘要:为了提高DATALOG程序自底向上计值的效率，本文提出了把DATALOG规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制DATALOG程序自底向上计值时对规则的调度，从而提高计算效率．这一技术可以应用于传统的各种自底向上计算方法，本文绘出了半朴质（Semi-Naove）算法和良基模型（Well-Founded）的交替不动点算法（AlternatingFixPoint）的改进．改进后的算法比原算法在时间和空间效率上都有较大的提高．

摘要:S5FS与UFS是两个互不兼容的UNIX文件系统,基于Vnode的文件系统体系结构使得一个文件系统可同时支持多种文件系统类型，如S5FS和UFS本文介绍了Vnode界面和国家“八五”高科技攻关项目中一个虚拟文件子系统的实现．

摘要:本文提出一个过程间数据流分析的框架．它将层次式任务图HTG（hierarchical-taskgraph）用于程序功能并行性的表示与挖掘．在框架中定义了过程表ProcTable和二叉树形式的过程调用图BCG（binary-call－graph），以使算法的时空代价最小．

摘要:本文提出了一个用于反应系统规范及验证的修改时序逻辑．它包含一个用于显示区分程序执行步同环境执行步的机制．环境的特性可以在系统开发时进行考虑．文中首先给出了程序的一个可复合计算模型──模块转换系统．基于此模型，给出了修改时序逻辑以及它的证明规则．本文提出的方法基于Manna－Pnueli的时序逻辑框架．经典的资源分配问题的例子用于说明此方法．最后给出了并行复合原理，它可以看成是Abadi和LamPort的关于复合假设／保证规范研究工作的具体应用．

摘要:本文针对应用软件的特点，在类和对象概念的基础上，提出构件类和构件的概念，说明构件类和构件与O－O中类和对象概念上的异同．为规范化描述构件类，给出了构件类定义语言和操作语言．

摘要:本文提出计算机辅助工艺规划CAPP（computeraidedprocessplanning）系统的开放式数据集成模型．对工艺数据进行抽象概括，形成类层次结构，提高重用．用继承机制，改善标准协议作为用户环境中资源一般的拓展协议，模式演进为补充，完成开放性描述．效率反馈和资源引用构成工艺方法、形状特征、设备资源间的联系和驱动．在工艺规划过程中瞬间返回操作产生的结果，实现相关驱动，改善系统运行效率．模型在CAPP系统中得到实践：构造数据库和知识库耦合系统；数据库面向形状特征层的工艺规划，知识库辅助完成整个工艺

摘要:Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各context间的各种联系，DBCL为异构的数据库的集成提供了一个形式化描述．本文还为DBCL定义了一类可靠且完备的语义解释．

摘要:为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较．

摘要:本文利用遗传算法研究了极小化Rosenbrock函数的问题．较多的计算机模拟实验结果表明，遗传算法可以有效地解决这一问题．文中还分析了一些改进的遗传算法对于该问题搜索速度的影响，得到了适于解决此问题的合理的遗传操作，从而为有效地解决最速下降法所不能实现的某一类函数代化问题提供了一种新的途径．

摘要:在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据．

摘要:在汉英机器翻译译文生成中，一个主要的问题是如何根据句子的上下文语境获取有关时态、语态、句式和主谓性、数、格等信息，生成具有正确单词形态的译文，如动词的过去式、过去分词、现在式形式；名词的所有相、复数形式；助动词生成以及冠同的生成等．本文提出一种基于SC文法的汉英机器翻译译文词形态生成算法，该方法通过设计一种生成导向的语言特征描述体系，采用译文生成和源文分析一体化的语言分析技术，使得译文生成能够充分利用源又分析过程中所用到的各种知识，准确地形成句子中各个成分的形态特征，并能有效地解决汉英机译译文生成中助动词