基于模代数的真值向量计算及其在多值逻辑综合中的应用

本文提出了由函数的真值向量计算Ｒｅｅｄ－Ｍｕｌｌｅｒ展式的简捷方法，由此可判定函数能否线性分解或部分线性分解。用典型例子演示了其在多值逻辑综合中的应用，结果表明该方法行之有效。     

基于逻辑距离判定的最简规则提取算法

针对目前以属性约简为设计目标的算法增大了最终规则的冗余度,提出以属性值(逻辑值)为基本单位,从整个决策表的不可分辩关系出发,先由逻辑距离确定每个属性值的分辩强度,再以其强度为依据采用择强、覆盖算法对表进行多值逻辑化简,通过实例证明所得规则最简.     

一种在二值计算机上实现多值逻辑运算的方法

分析了在二值计算机上实现多值逻辑运算与多值逻辑表示方法的关系，在此基础上，给出一种特殊多值逻辑值的二进制编码，并提出一种在二值计算机上建立起完备的多值逻辑运算集的方法，从而实现了在二值计算机上有效地解决实际多值逻辑问题。     

一种多值逻辑函数化简方法——决策树法

将决策树应用于多值逻辑函数的化简，提出了一种新的多值逻辑函数的化简方法，该方法易于编程和上机操作，特别适用于化简多变量的多值逻辑函数。     

多值逻辑函数Chrestenson谱的性质

类似于布尔函数Walsh谱的性质，本文得到了两个多值逻辑函数的和函数的Chrestenson循环谱等于这两个多值逻辑函数的Chrestenson循环谱的和的充分必要条件，以及两个多值逻辑函数的和函数的Chrestenson线性谱等于这两个多值逻辑函数的Chrestenson线性谱的和的充分条件。     

阈算术代数系统及多值电流型CMOS电路设计

该文根据电流信号易于实现算术运算的特点,定义了阈算术运算及非负运算,建立了一个适合于电流型电路设计的阈算术代数系统,并在阈算术代数系统中定义和图为阈算术函数的图形表示。在此基础上,通过三值电流型CMOS电路的设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型CMOS电路设计方法。采用TSMC 0.18m CMOS工艺参数的HSPICE模拟结果表明,所设计的电路具有正确的逻辑功能。阈算术代数系统的提出及和图的运用为电流型电路设计提供了一种新的简单有效的方法。     

混合型多值CMOS电路的代数理论

该文在传输函数理论和电流型CMOS电路代数理论的基础上,提出了混合型多值CMOS电路的代数理论,并应用该理论设计了译码器和编码器。设计结果表明基于该代数理论的设计优于传统设计。     

基于比较器的四值电流型CMOS加减电路设计

该文通过对电流型CMOS电路的阈值控制引入了多值电流型比较器。与2值逻辑电路相比,多值逻辑电路的单条导线允许更多的信息传输。相较于电压信号,电流信号易实现加、减等算术运算,在多值逻辑的设计上更加方便。同时提出了基于比较器的4值基本单元设计方法,实现了4值取大、取小以及反向器的设计,在此基础上设计实现了加法器和减法器。该设计方法在2值、3值以及n值逻辑上同样适用。实验结果表明所设计的电路具有正确的逻辑功能,较之相关文献电流型CMOS全加器有更低的功耗和更少的晶体管数。