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

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

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

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

多变量逻辑函数简化的降维图法

本文由展开定理导出了降维图的一般作图法;从而给出了多变量逻辑函数的一种图形简化法-降维图法。文中给出的实例说明了这种方法的可行性和有效性。     

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

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

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

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

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

一种新型的无搜索求解策略

提出一种基于模糊逻辑和神经网络的专家系统，它是一种集信息表达，生成与求解为一体的新型求解系。本系统的核心－学习推理网，网络的知识表达是分布的，可实现并行推理，不需要进行搜索和匹配。     

格型模糊谓词逻辑与推理

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

一种模糊神经网络自校正控制器设计与应用

本文提出了一种模糊神经网络智能控制方法，并介绍了采用多层神经网络表达模糊控制和知识规则，模糊推理和学习算法，实验仿真结果表明，这种控制方案可改善具有时变及大纯滞后系统的控制品质，其性质优于一般模糊控制。