数字检测电路和测试生成算法

提出一种将任意数字组合电路转变为检测电路的方法和检测电路的测试生成算法。对数字电路中所有引线的单固定故障都能产生测试向量，计算量的上限是２（ｍ＿１＋４ｍ＿２）￣２。     

四个有特色的CMOSD触发器的逻辑设计

本文给出了我们设计的四个有特色的ＣＭＯＳＤ触发器的逻辑，它们应用于一个ＶＬＳＩ单片微机电路中。文章分析了它们的特点和原理。其主要特点是：①增强了同步控制措施；②“预≈帽与“清除”共用一根控制线以减少芯片面积；③附加功能，提高Ｄ触发器的处理能力。这些适应了ＶＬＳＩ系统设计的要求。     

中文水产文献检索系统的设计和构建

本文介绍了中文水产文献检索系统ＣＦＩＲＳ的设计思想、系统构成和系统特点，提出了一种通过字典和词典匹配，进行模糊切分、轮排标引的题名关键词自动抽取和自动标引新方法。系统中实现了基本索引检索词与辅助索引检索词的任意组配检索及检索结果的年代限制。     

可编程控制器在真空吸盘式机械手中的应用

介绍了可编程控制器在真空吸盘式机械手控制中应用的方法．用实例说明了以可编程控制器为核心构成的逻辑控制系统与传统的继电器接触器控制系统相比具有可靠性高、电路简单、功能强、适应性强及控制功能修改方便等优点．     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

对扩展树证明的可靠性与完全性的简化证明(英文)

本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。     

逻辑程序“与并行”计算模型的研究

本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型下几种算法的实现方法。