摘要:本文提出了ＮＣ－ＲＵＥ－ＮＲＦ归结方法，并证明了它在含有等词广义子句集上的完备性．

摘要:本文论述了多媒介数据库系统的一些基本问题，并介绍了一个新型的多媒介数据库管理系统ＣＤＢ／Ｍ的设计．

摘要:超越表达式的化简是很困难的计算机代数符号化简问题．本文提出了一种新的超越表达式类上的代数符号化简方法，这种方法是基于爬山策略的和替换法；作为应用实例，本文还用该方法对标准三角表达式类进行了化简．目前该种化简方法已经应用于计算机代数化简系统ＣＡＳＳ１．

摘要:名字服务是异构分布式文件系统的核心部分．在参阅国内外众多分布式文件系统的基础上，提出一种新的命名方案──输出共享方式，在保留原文件系统命名语法的前题下，将本地文件系统与远程文件系统有机地结合起来，并采用混和的分布方式实现了名字服务员，达到了位置透明性要求．

摘要:通信协议转换器可以看作是两个协议的信息之间的映射．这个映射可以用一个重要信息对偶集合Ｋ来刻划．本文给出相对于Ｋ的协议转换器的形式定义．然后，我们提出用两个有限状态自动机的对偶积来构造协议转换器的方法，并论证了方法的正确性．

摘要:给定通信协议［Ａ，Ｂ］，［Ｇ，Ｈ］和重要信息映射集合Ｋ，可以构造Ｂ和Ｇ关于Ｋ的对偶积作为这两个协议关于Ｋ的转换器Ｃ．本文讨论这种协议转换模型［Ａ，Ｃ，Ｈ］的死锁和活锁的性质，并给出这种协议转换模型没有死锁和活锁的充要条件．

摘要:本文指出“以优先层为准则的优先级策略”存在问题和结论错误的基础上，提出一种三层混合式中断优先级策略．它兼顾了系统的应变能力、系统复杂性、系统开销和灵活性等重要性能指标，是一种理想的中断优先级策略．

摘要:面向对象的开发方法是一种很有前途的软件开发方法．它通过对应用系统的问题空间对象直接建模，然后将它们同态映射到解空间，使应用易理解、易维护．然而，对于大而复杂的应用系统，这种方法较难识别问题空间中的对象．本文在比较了功能化和面向对象的开发这两种方法后，提出了一种基于细化的对象分析和设计方法ＲＯＡＤ．

摘要:本文讨论了一个以扩充Ｌｉｓｐ方式实现的ＣＬＯＳ系统中的反射结构及其实现技术，该反射结构基于统一的对象表示，支持广义化对象模型，与宿主语言的反射有一致性．其中的反射计算采用了ＣＬＯＳ的元对象协议的思想．

摘要:统计与科学数据库与常规商用数据库有很大差异，利用常规的商用数据库管理系统建立统计与科学数据库是不合适的．本文以我们开发的统计数据库管理系统（ＳＳＤＢＭＳ）为基础，讨论ＳＳＤＢＭＳ的数据模型数据压缩、安全保密、统计查询等一系列技术．