动态多值逻辑函数的时态分解

本文就作者（１９９５）建立的动态多值逻辑函数的范式提出了Ｈ（ｔ，Ｘ）函数的时态分解结构．从而将其定义４的条件１°具体地表达了出来，并得到Ｈ（ｔ，Ｘ）的时态分解式．完全确定了已知函数Ｈ（ｔ．ｘ）在任一时刻ｔ的具体表达式，为深入研究动态多值逻辑函数作了准备．     

多值T门的电路实现及其应用

本文在介绍多值T门算子概念的基础上,着重研究了如何运用DYL集成线性与或门实现多值T门及其在多值逻辑网络设计中的应用。     

动态多值逻辑函数的稳定及性质

本文讨论动态多值逻辑函数在按时态分解意义下的稳定概念，稳定性质和稳定的充要条件，从而为动态多值逻辑函数的蕴涵 分析及其它分析性质奠定了基础。     

P值逻辑函数m阶k次扩散下的免疫性研究

对多值逻辑函数的相关免疫性进行了研究,采用多值逻辑函数的Chrestenson循环谱分别给出满足m-resilient,EPC（k）/m的多值逻辑函数之充要条件.     

基于和图分解的三值电流型CMOS电路设计及算法研究

本文在分析了电流型CMOS电路的物理结构特点后,定义了适用于电流型CMOS电路设计的运算及电路结构.针对二变量三值电流型CMOS电路,引入了函数基本项及其和图.然后通过和图分解,将多值逻辑函数分解为适合电流型CMOS电路实现的子函数,从而得到对应电路.举例说明了分解过程和具体二变量三值电流型CMOS电路的设计过程.设计结果表明了该算法的有效性和可操作性.     

多值逻辑切换网络的同步

提出多值逻辑切换网络的同步模型,研究了两个多值逻辑系统在驱动-响应配置下的完全同步问题,其中驱动系统是多值逻辑网络,响应系统是多值逻辑切换网络.当驱动多值逻辑网络的结构矩阵满足半收敛和可逆的条件时,分别获得了实现同步的充要条件.并且通过数值仿真实例进一步验证了结论的有效性.     

有限域上多值逻辑函数的线性结构及退化性

对一般有限域上多值逻辑函数的线性结构进行分类,利用循环谱刻画了线性结构的谱特征,证明了有限域上多值逻辑函数的退化性和0类线性结构的研究是等价的,并给出例子加以说明.     

多值逻辑与逻辑电路设计

自我国首创的MV-DYL线性集成逻辑门问世以来,多值逻辑理论及其应用的研究得到了进一步发展,为多值逻辑电路的实现提供了新的希望。 多值逻辑是指一切逻辑值的取值大于2的逻辑。具有三个逻辑值者称为三值逻辑,具     

两种逻辑函数的优化设计方法

用MSI实现组合逻辑函数 ,并将其设计方法融入多值逻辑系统的设计当中 ,使设计过程简化     

一个新的类Lorenz系统的控制与同步(英文)

首先,利用Backstepping方法设计了简单的控制器将系统控制到不稳定的平衡点(0,0,0),相空间中任一指定点(0,0,1+b+p(1-p))(0p1),以及实现利用第一个状态变量跟踪任意指定的函数r(t).其次,在假设有一个参数未知的条件下,设计了一个单向偶合格式和未知参数的自适应律,使得该系统与其自身达到全局完全同步.用Lyapunov函数方法从理论上证明了设计的正确性,并用Matlab作了数值模拟说明设计的可行性.     

利用多路选择器网络实现任意逻辑函数的若干方法Ⅰ

多路选择器是一种中规模集成逻辑器件．利用多路选择器网络可以实现任意逻辑函数．利用多路选择器实现逻辑函数的化简方法与利用逻辑门实现逻辑函数的化简方法是不同的．本文介绍了利用多路选择器网络实现任意逻辑函数的若干方法，这些方法在利用中规模数字集成电路进行数字电路与系统设计有一定的应用参考价值．     

多值逻辑的全功能触发器

本文讨论了多值逻辑的全功能触发器.特别讨论了对称三位触发器的各种功能,并指出全功能的pqr触发器具有27种函数变换.     

多值知识编译

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

多值逻辑与计算机科学

本文综述多值逻辑与计算机科学的紧密联系,通过对数字计算系统的多值逻辑设计与计算机科学、计算机工程的理论和应用中所涉及的多值逻辑与计算机同步发展的特点,以理性和实践的观点考察多值逻辑设计与应用的基础、历史和动力,阐明多值逻辑这一新兴研究领域的重要地位和作用,并简要介绍多值逻辑的理论与应用,特别强调了在五代机与光计算机研制中多值逻辑所扮演的角色的重要性。     

多路选择器二级逻辑网络设计

首先讨论组合函数的分解方法,然后给出利用多路选择器通用逻辑模块实现组合函数时,获得最小化或接近最小化的二级逻辑网络的一种设计方法。该方法容易实现组合函数的计算机自动综合。     

布尔函数的多值分解及其PLA实现

本文给出了Ｔ．Ｓａｓａｏ关于布尔函数多值分解的一些例子，讨论了任意函数，对称函数和奇偶函数的ＰＬＡ实现过程．     

组合函数的相等实现——Ⅰ.卡诺图法

本文给出求解组合函数相等实现的一种卡诺图分解简化法,该方法能准确快速地得到函数的最小化或接近最小化的相等实现。     

基于四值逻辑的伽罗华域AB+C电路设计

为了提高AB+C运算电路的运算速度,降低其电路实现的复杂性,本文在GF(2⁴)上给出了一种基于四值逻辑的AB+C算法及其基于脉动阵列结构的电路实现.在电路设计中采用了基于源极耦合逻辑的多值技术,利用四值电流模进行运算,以改善电路的首次延时及晶体管和连线的数目.在0.18μm CMOS工艺下利用HSPICE进行了电路仿真验证.结果显示,对比于相应的基于二值逻辑的COMS实现技术,首次延时及晶体管与连线的数目总和分别减少了54%和5%.所设计的并入并出脉动阵列电路,结构简单、规整、模块化,适用于VLSI的实现.多值逻辑电路与基于多值逻辑的对应算法的结合很可能成为实现GF(2^k)上高性能运算的潜在解决方案.     

对数copulas函数与一类推广的Frank方程

涉及三角模(T) 和三角余模(S) 的Frank方程,已有很多研究.其问题的提出涉及概率联合分布与边际分布的相互关系,在模糊多值逻辑、模糊偏好评价模型、粗糙集理论等领域有着广泛的应用.利用定义的T,S的对数凸线性函数,讨论了一类Frank方程TSλ=Min·Maxλ(0≤λ≤∞)的解问题,推广了经典Frank方程研究.同时,针对所提出的对数copulas函数,讨论了对数copulas函数与三角模、三角余模之间的关系.     

Tableau算法在粗逻辑知识推理中的应用

Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。