对称三值逻辑的实现

本文从对称三值逻辑最小项的性质出发,讨论了对称三值逻辑与二值逻辑的内在联系,从而使对称三值逻辑函数可用PLA技术实现。文中给出了三值优先编码器和三一十编码译码电路作为示例。文中还给出了对称三值CMOS存贮器ROM和RAM的逻辑系统图。     

基于对称三值逻辑的集合

本文的目的是建立与对称三值逻辑相应的集合概念,定义它们的一些运算,并讨论其若干性质.     

整数环上对合矩阵的相似标准型

给出了整数环Z上对合矩阵的相似标准型,并证明了其唯一性.     

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

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

三值逻辑命题的条件真度理论

基于条件概率的思想,在三值逻辑命题中引入条件真度的概念.在三值逻辑系统中初步给出在信息Σ下的近似推理理论.     

对称二次系统极限环的研究

成立,则称(E_2)为中心对称(以下简称对称),称(x_0,y_0)为(E_2)的对称中心.本文研究对称二次系统极限环的问题,叶彦谦教授和董金柱教授分别作出一类对称二次系统至少具有两个极限环的实例。最近,索光俭证明关于原点成对称的微分方程组     

Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).     

三值逻辑神经元模型及其不确定性推理应用

针对二值神经元在不确定性知识表示和推理中的不足,提出了一种具有三值逻辑表达能力的神经元模型:三值逻辑与神经元和三值逻辑或神经元。采用这种三值逻辑神经元来表示规则和真值状态的不确定性,由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统,可以对三值关联规则进行表示和推理。     

三值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Г下的近似推理理论提供了一种可能的框架.     

对四值逻辑图形化简法的研究

在文献［１,２］的基础上,讨论了四值逻辑的代数化简方法．根据二值逻辑卡诺图的构成特点,提出四值逻辑函数的Ｋ图及图形化简方法,详细地探讨了Ｋ图的构成特点,并指出了尚待研究和探讨的问题．     

一类对称三次平面向量场的相图

本文研究一类两参数对称三次本面向量场的分枝和相图。     

三值逻辑函数表格法最小化的一种新方法

根据格代数公式，对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中，采用找出满足下述条件最小项的策略：一是相邻最小项的数量为3的m次或或者m-1次幂，同时保证m数值尽量大(m=1，2，…)。二是最小项的逻辑值为“1“或“2“。为此，利用避开最邻近的最小项方法（该最小项逻辑值小于被选择最小项的逻辑值），从而减少了冗余项的数量。这种方法尤其适合于含有大量无关项的多变量三值逻辑函数最小化。     

三值标准序列逻辑中的α-真度理论

基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.     

三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。     

次对称三对角阵的逆特征值问题

给出了存在惟一的次对称(persymmetric)矩阵,使给定的两个数和两个不同维的向量成为它和它的主子阵的特征对的充分必要条件,并给出了惟一解的表达式和两个数值例子.     

一类对称三对角矩阵的特征多项式

本文给出了一类特殊的对称三对角矩阵特征多项式的递推公式及其特征多项式序列中各多项式系数之间的递推关系式，证明了该序列的正交性以及此类三对角矩阵特征多项式的整除性质。     

对经典ITAE传递函数标准型的研究

对经典ＩＴＡＥ传递函数标准型的研究张志涌刘瑞桢（福州大学自动化研究所，福州，３５０００２）ＩＴＡＥ传递函数标准型自文献１提出后，迄今仍被当作经典加以引用〔２～５〕，１）．针对ＩＴＡＥ优化问题高度非线性的特点，作者借助ＭＡＴＬＡＢ软件，采用遗传进化算法...     

一类对称三对角矩阵的特征多项式

本文给出了一类特殊的对称三对角矩阵特征多项式的递推公式及其特征多项式序列中含多项式系数之间的递推关系式．证明了该序列的正交性以及此奥三对角矩阵特征多项式的整除性质．     

一类对称三对角矩阵的特征多项式

本文给出了一类特殊的对称三对角矩阵特征多项式的递推公式及其特征多项式序列中各多项式系数之间的递推关系式。证明了该序列的正交性以及此类三对角矩阵特征多项式的整除性质。     

一类对称三对角矩阵的特征多项式

本给出了一类特珠的三对角矩阵特征多项式的递推公式及其特征多项式序列中各多项式系数之间的递推关系式．证明了该序列的正交性以及此类三对角矩阵特征多项式的整除性质。