最佳通用逻辑门ULG.2 的应用研究

本文在作者以前研究的基础上,进一步研究最佳通用逻辑门ULG.2的应用,提出了用ULG.2组成的一些脉冲电路。     

概括原理及其消除——一个完备的逻辑演算

无论集合论、λ换位演算、组合逻辑及逻辑(谓词演算)都由于无限制地使用概括原理而导致悖论,因而不能不对概括原理给以限制;然而加以限制以后又近于人工做作而不够自然,而且也变得复杂得多。本文指出,可以在一切方面用代入运算代替概括过程,从而概括原理可以根本废除,废除概括原理以后,不仅不会产生新的高级函词高级算子,而公理与推理过程也简洁得多,不受任何人工约定的限制。这样我们便得到一个既非常简洁又确实很完备的逻辑谓词演算,足以作为整个数学的基础。     

基于Rough集理论的模态逻辑与Rough逻辑

在介绍Ｒｏｕｇｈ集的基础上，定义了Ｒｏｕｇｈ下（Ｌ）和上（Ｈ）近似算子，建立了基于Ｒｏｕｇｈ集理论的模态逻辑和Ｒｏｕｇｈ逻辑，阐述了这两种逻辑能在Ｒｏｕｇｈ集公理化基础上被统一起来，并且随着不同性质的关系Ｒ，能得到与模态逻辑相平行的各种Ｒｏｕｇｈ逻辑模型。     

PLC在注塑机改造中的应用

针对老式注塑机电气部分采用继电器控制存在的缺陷，提出用PLC来改造注塑机电气控制系统，并主要介绍了PLC控制系统的设计方法。     

三变量通用阈值逻辑门的设计

讨论了逻辑函数的谱系数分类,给出了特征阈值逻辑函数的定义.在此基础上提出了三变量通用阈值逻辑门的设计方法,分别得到了单输出和带反相双输出的三变量通用阈值逻辑门,并给出了用三变量通用阈值逻辑门实现三变量阈值逻辑函数的实例.     

参态逻辑

提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富的形式能力,可表达很大一类逻辑而作为其特殊形式.     

Pr值逻辑函数相关免疫的等价判别条件

本文首先基于环Zpr中的元的padic分解并结合概率论的思想,给出了pr值随机变量的分解性质及pr值随机变量独立性的等价描述,然后在对pr值逻辑函数及其变元都进行padic分解的基础上,直接通过p值逻辑函数的Chrestenson谱给出了padic分解意义下pr值逻辑函数k阶相关免疫的线性组合引理和谱判别定理.     

覆盖空间及粗糙集与拓扑的统一

引入覆盖空间,定义了其邻域、内部、闭包、测度等概念,研究了它们的性质.得出了粗糙集近似空间和拓扑空间都是具体覆盖空间的重要结论,从而用覆盖空间统一了粗糙集和拓扑.利用覆盖空间,得到了粗糙集和拓扑中更深刻的性质,从算子论和集合论的角度丰富和深化了粗糙集与拓扑的内容.     

从事实逻辑到任务逻辑

在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。     

区间值模糊命题逻辑的最大子代数及其广义重言式

将S-型蕴涵算子改为R0-蕴涵算子，从而找到区间值模糊逻辑I[0，1]的一个最大子代数IQ，进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。