MV-代数上的度量结构及其在多值逻辑中的应用

设M是一个MV-代数,Ω是从MV-代数M到MV-单位区间的全体赋值之集,μ是Ω上的概率测度.本文基于μ在M中引入了元素的尺寸和元素对之间的相似度概念,并由此在M上建立了度量结构.给出了MV-代数上的度量结构在多值逻辑中的一些应用.     

三值函数表格法最小化中的消变量与消闭化简

本文在讨论Post代数中三值函数的代数基础、成本计算方法与函数简化准则的基础上提出了兼考虑消变量与消阑化简的三值函数表格法最小化程序.通过实例的化简表明考虑消阂化简后所得的函数的最小化SOP形式要比只考虑消变量化简所得的形式更简单，相应电路的成本更低.     

多值模代数函数的线性分解

提出一种由函数的真值向量判定多值模代数函数能否线性分解或部分线性分解的简捷方法。     

直接控制触发器预置端的 2-3混值计数器设计

木文研究混值计数器设计中触发器直接预置端的应用.文中首先分析了三值触发器预置端的功能，将二值触发器的邻控原理推广到三值触发器中.然后提出了反馈式和邻控式混值计数器的设计.按照此法设计的电路比较简单，具有一定的实用意义.     

三值移位寄存器与三值环形计数器

本文利用三值D型触发器和三值置态型触发器，提出了对三值移位寄存器和三值环形计数器的电路设计.讨论表明所设计的电路在结构和功能上与二值电路均有很好的对应关系，同时还揭示了三值环形计数器的各种结构与三值变量的极性变换有关.     

命题逻辑系统(￡)*n中公式关于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(￡)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利用真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B)在模糊命题逻辑系统(￡)*n中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统(￡)*n中建立相对于有限理论的近似推理框架奠定了基础.     

Reed－Muller函数的综合理论

Ｒｅｄ一Ｍｕｌｌｅｒ函数在二值时即为异或开关函数，在多值逻辑，数字逻辑，编码理论中有其独特的地位，本文对近十年来Ｒｅｅｄ—Ｍｕｌｌｅｒ函数的综合理论，综合方法及各种变形作出整体性综述与展望，其中还包含某些未发表的新结果。     

可限加分解阵与三值ECL电路设计计

在分析了射极耦合逻辑（ECL）电路限加-取小物理结构的特点后,引入矩阵形式来表示电路的输出函数;定义了适用于ECL电路设计的矩阵运算,并分析了矩阵的可限加分解性、函数的凸性等特性;然后通过矩阵变换,将多值逻辑函数分解为适合ECL电路实现的子函数,从而得到对应电路．举例说明了分解过程和具体ECL电路的设计过程．例证表明,该方法是可行的,并且直观、易操作．     

基于绝热多米诺逻辑的三值移位寄存器设计

通过对三值移位寄存器和绝热多米诺电路的研究,提出了一种具有左移右移并入并出功能的三值绝热多米诺移位寄存器的设计方案.首先根据开关信号理论设计了具有复位功能的三值绝热多米诺D触发器,实现寄存器移位寄存功能;然后设计了具有数据选择功能的T运算电路,此电路具有3种切换功能;最后在此基础上进一步设计了4位三值绝热多米诺移位寄存器,实现三值绝热多米诺移位寄存器的级联.经HSPICE仿真验证,所设计的电路具有正确的逻辑功能及显著的低功耗特性.     

三值绝热多米诺T运算电路设计

通过对多值逻辑和绝热多米诺电路工作原理及结构的研究,提出三值绝热多米诺T运算电路的设计方案.该方案首先将三值T运算定义与三值文字运算相结合,得到基于文字运算的T运算定义式;然后以开关信号理论为指导,推导出逻辑0与逻辑2选通电路的开关级表达式,并利用文字运算互斥互补关系,得到逻辑1选通电路的开关级表达式;最后根据这些表达式进一步实现了三值绝热多米诺T运算电路.经HSPICE仿真验证,该电路具有正确的逻辑功能及低功耗特性.