多值逻辑与多值数字运算的光学实现

提出利用光学符号代换法则实现POST代数和GALOIS代数两种基本的多值逻辑函数,并给出了Max(x,y)运算、Min(x,y)运算以及数字加法和乘法运算的实验结果。     

关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

互补对偶结构的三值ECL锁存器设计

在分析发射极耦合逻辑(ECL)电路的互补对偶特性基础上,指出了差分对的两个开关变量的不独立性及互补对偶特性,并设计了互补对偶结构的ECL三值D型锁存器.这种新型的D型锁存器电路比传统电路具有更简单的电路结构.它的输出是互补的双轨三值输出系统.应用这种新型锁存器设计的D触发器及时序电路将具有更简单的电路结构.     

四值单稳态触发器设计

在二值单稳态触发器设计的基础上，提出了四值单稳态触发器的设计方案．经过PSPICE模拟，所设计的电路具有正确的逻辑功能，并能由此方法推广到基值更高的单稳态触发器的设计．与二值单稳态触发器相比，四值单稳态触发器具有更强的功能．     

格值命题逻辑系统L（X）（I）

本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ），并讨论了它的语义问题。     

多值逻辑的古典方法

本文给多值逻辑一个古典逻辑观察方法。通过引入断词，勾通了多值逻辑与古典逻辑的联系，使全部古典理论在多值逻辑中都有直接应用；规定一类多值公式与古典公式的对应，从而建立起一类多值公式的公理系统，得出一些结果。     

电流镜及其在多值I2L电路开关级设计中的应用

运用开关信号理论和有界算术运算理论，对电流镜的多种性质进行了讨论，并系统研究了利用电流镜实现电流信号的各种算术运算，其中倍除运算属于初次提出，最后通过N进制半加电路和N值比较电路等两个设计实例介绍了电流镜技术在I^2L电路开关级设计中的应用。     

GF（4）上RM展式系数转换的高效算法

在二值和多值逻辑研究中,最常用的两种函数表达式是基于格代数的SOP表达式和基于Galois域的Reed-Muller展式(RM展式)。由RM展式实现的电路由于具有故障诊断容易和线性运算功能,因而在可靠性设计、编码理论和数字通信中得到了广泛的应用。然而,RM展式系数向量不象SOP表达式那样与函数值向量有直接对应关系,因此RM展式系数向     

电流控阈技术及三值电流型 CMOS施密特电路

本文以开关信号理论为指导 ,对电流型 CM OS电路中如何实现阈值控制进行研究. 建立实现阈 值控制电路的电流传输开关运算 ,并用于指导电流型 CMOS施密特电路的开关级设计 .用 PSPICE程序 模拟证明了所设计的电路具有理想的施密特电路特性.     

形式系统T^*(n)的完备性

模糊逻辑命题演算形式系统T ^*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用发挥了重要的作用,系统T^*的完备性直到最近才由作者给出证明,本文进一步研究系统T^*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统T^*的扩张到｛T^*(n)｝,使用代数方法证明了对于任何n≥3,系统T^*(n)关于Wn是完备的。