一类基于神经元的多值逻辑控制器的设计

普通多值逻辑控制器算法的关键是加权因子的选择。本文应用神经元来实现普通多值逻辑控制器，在此基础上提出了加权因子的自学习算法，并用数字仿真证明了算法的有效性。     

运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

一种生成通用简约验证测试集U（P,W）矩阵的算法

作者曾著文给出了构造Ｕ（ｐ，ｗ）矩阵的公式，一个Ｕ（ｐ，ｗ）矩阵含有特定的一组权在前文的基础上，本文讨论如何根据给出的权产生相应的全部矢量的算法。本算法比较简单，适用于二值逻辑和多值逻辑。     

三进制的意义及其来历

本文论证了我国西汉时杨雄所创造的“玄首”符号系统实为最早的三进位数制,同时介绍了三进制在多值逻辑和新型计算机中的应用。     

关于部分K值逻辑Sheffer函数(Ⅳ)

根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*k的极大封闭集之最小覆盖中必须出现.