初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。     

数字仿真器中时间校验方法的改进

针对事件驱动仿真器检测时间延迟的困难,提出时间校验网络来检测时间延迟,论述时间校验的几种方法及在时间校验中的几个问题。     

基于ALTERA CPLD的单稳态脉冲展宽电路

主要介绍了CPLD设计单稳态窄脉冲展宽电路的详细过程和这种单稳态窄脉冲展宽电路的特点,给出了相应的时序仿真波形和计数器的VHDL语言设计。     

Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（I）

用模型论方法证明了,在对于自然数系Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者,此外,还宣布了一些其他结果。     

形式演绎系统f的扩张

从语义和语法两个方面将形式演绎系统f层次化,得到f的一个扩张,从而增强了系统f的表达能力,使之能更有效地应用于模糊系统的研究,。     

Windows对硬件设备访问的机理

探讨了操作系统对设备驱动程序的支持 ,windows操作系统下对硬件设备访问的过程及实现的机理。     

模糊神经网络控制系统

介绍了将神经网络和模糊控制相结合,即用人工神经网络算法产生模糊推理规则和隶属函数,再基于这些模糊推理规则和隶属函数产生模糊逻辑控制的一种新颖控制策略--模糊神经网络系统的组织结构及其神经网络的设计.     

一阶谓词演算自然演绎型直觉主义系统NDPI

学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题.     

基于t-norm算子的模糊逻辑和模糊推理

提出基于范算子的模糊逻辑和推理, 介绍范算子 的使用方法和特点, 给出合取通过t-norm进行计算、 蕴涵通过残数进行计算的方法, 并对等值、 等价和模糊集合的语义进行讨论. 同时利用等价关系理论对模糊环境进行说明, 并给出了几个具体例子.