3B—2T编码技术与nMOS2—3混值电路

本文定义了混值逻辑电路中的编码效率，分析了２—３混值逻辑电路中１Ｂ—２Ｔ编码所存在的缺点，进而提出了３Ｂ—２Ｔ编码方案，研究表明：３Ｂ—２Ｔ编码具有效率高，可充分发挥现有二值数字技术的优点，文中还分别设计了这两种编码的ｎＭＯＳ接口电路，介绍了３Ｂ—２Ｔ编码在串行数字通信中的应用     

多值知识编译

定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.     

多值逻辑与认知研究新进展

由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所与波兰科学院哲学与社会学研究所共同主办的“《逻辑研究》国际会议逻辑学的趋势（之五）”于2007年7月6-9日在中山大学南校区隆重召开。本次研讨会的主题是多值逻辑与认知。《逻辑研究》（Studia Logica）杂志主编Jacek Malinowski教授及我所鞠实儿教授任大会主席。     

多值逻辑的思想渊源和产生历程

现在的多值逻辑已成为内容丰富的逻辑学分支,在计算机和人工智能中有着广泛的应用,这种发展与其早期的思想有着一定的联系.从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想,本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾.     

正则准完备类中的一元半群

证明了多值逻辑中准完备(除T_(D~K)外)内的非奇异变换部分(即置换群)用奇异变换部分(即一元奇异半群)唯一确定,并定出了全部极大正则一元半群。     

完全多值逻辑函数的完备性理论(英文)

多值逻辑的研究是计算机科学技术中的一个十分重要的领域,它与未来计算机密切相关。国际上技术先进的国家如美国、苏联、日本、加拿大等都十分重视。自1971年以来每年召开一次国际会议,完全多值逻辑函数的完备性理论自四十年代起始终是多值逻辑中引入注目的,活跃的课题之一。本文总结了近代的发展情况和主要的新成果,并对仅有中文的结论以简要的证明。     

利用谱方法设计三值T门组合网络Ⅰ:理论

讨论了三值函数的Walsh谱及其谱的一种分解方法。提出了求三值函数的Walsh谱系数的一种快速并行算法。这种算法可在三值函数的真值表阵列上方便地实现。给出了利用谱方法三值T门组合网络设计的一种方法。这种方法可使待设计的三值T门组合网络被化简到最小化或接近最小化,并且容易实现三值T门组合网络的自动综合。     

一种多值规则量词公式的Tableau的方法

在多值逻辑中，含有量词的Tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明，但是由于扩展后的分枝非常庞大，使机器实现非常困难，通过对规则量词公式与一阶经典量词公式的对应关系近研究，使二者使用统一的扩展规则。     

三值绝热JKL触发器的设计

通过对多值逻辑、绝热电路和三值触发器工作原理及结构的研究,提出一种新颖的三值绝热JKL触发器的设计方案.该方案首先以电路三要素理论为指导,推导出三值绝热JKL触发器的元件级函数式,采用不同阈值的MOS管实现相应的电路结构.然后结合三值绝热文字电路,应用三值绝热JKL触发器进一步设计绝热九进制异步计数器.最后,HSPICE模拟结果表明,所设计电路具有正确的逻辑功能,与传统三值JKL触发器和九进制异步计数器相比,节省能耗均在75%以上.