含有x_i,x_j的F(x)的K表示式与用分离子函数法求双故障全测试集

一本文作者提出逻辑函数 F(X)=F(x1,…,xn,xi,xj)可以用 K 表示式来表达,并加以证明。同时提出 F(X)亦可以用 G 表示式表达,并求出二者转换的关系式。其次,从布尔差分法求双故障完全测试集的基本定理出发,推导出用 K 表示式的子函数求测试集的一系列公式及定理。它与布尔差分的根本不同处在于前者只用初级运算,后者则要求要出差分。故本文提出的方法运算简单易学。     

分离子函数法与求逻辑电路单故障全测试集

本文提出一种方法即分离子函数法和有关定理及推理,並用布尔差分的理论加以证明。用提出的定理,可以求出组合逻辑电路的单故障全测试集,其结果和布尔差分法与SPOOF法相同。但本文与文[4]提出的方法有两点优于布尔差分法和SPOOF法。 (1)笔算时,运算工作量约省50%左右方法简单,易掌握。 (2)有独到之处是可以编成程序供CAT(计算机辅助测试)之用。     

关于布尔线路计算模型的注记

本文给出了一种布尔线路的编码方案.证明了有关布尔线路编码中的两个定理,其中定理1表明对布尔线路这种计算模型,没有类似于图灵机的递归式定理那样的结论;定理2表明对于布尔线路计算模型,存在类似于图灵机中的Smn定理那样的结论.另外,本文还证明了一个有关布尔线路宽度的定理,此定理表明,布尔线路的宽度与计算能力无关.     

布尔函数与布尔多项式

布尔代数B上的n元布尔多项式f（x1，…，xn）可以表为f（x1,…,xn）=∑f（a1,…，an）x1^a1…xn^an的形式．设Fn与F^-m分别是布尔代数B上全体n元布尔函数与全体n元布尔多项式的集合，则Fa=F^-a当且仅当B是逻辑代数．     

多变量卡诺图及其应用

本文给出了多变量卡诺图的结构和性质，应用它可得到多变量布尔函数的最简表达式。此外，利用卡诺图还获得了判定逻辑冒险，功能冒险的一些定理。     

适用于电子器件寿命测试的威布尔分布函数的导出

本文在拉应力、电应力为变量的威布尔分布函数的基础上.从三个角度分析并导出了寿命试验和加速寿命试验中以时间为自变量的威布尔分布函数.已证明它与实验吻合并可用于测量电子器件寿命。     

关于Bent函数的一些研究

利用布尔置换，构造了一种新的Bent函数，并对这类布尔函数的构造进行了研究，发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的，满足高次扩散准则的、具有较高非线性度的平衡布尔函数，从而拓宽了Bent函数的应用领域。     

一种新的布尔函数对称检测算法

对称是逻辑综合，逻辑优化以及映象技术领域中的一个十分重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映象技术和等价 有效性，本文提出一种用于ＯＢＤＤ布尔函数对称检测的高效算法。     

关于二次函数的拓扑共轭

对一些典型二次函数的拓扑共轭进行了讨论,得出了关于逻辑函数和Tent函数共轭的定理,并给出了证明,也给出了一种求桥函数的简单的办法.     

Ⅰ类组合线路特定故障的简捷诊断方法

应用布尔差分简捷算式可以在Ⅰ类组合路线中产生简捷的故障诊断方法。在此基础上,本文继续研究在扇出支路的线路永久单故障及混合型双故障的简捷诊断方法。给出两条法则,证明三条定理。这些方法对布尔差分的简化计算和电子计算机诊断的应用都是十分重要和有意义的。     

关于多输出布尔函数的非线性度

多输出布尔函数的非线性度首先在文献[1]中被引进,本文称之为多输出布尔函数的第一类非线性度。本文定义了一种与之不同的多输出布尔函数的第二类非线性度,讨论了两者之间的关系,指出了它们的密码学意义,并且进一步讨论了两类多输出布尔函数的第二类非线性度。     

数字电路与模拟电路混联的统一求解法

提出了数字ＶＬＳＩ的布尔逻辑变换成函数逻辑的一种新方法，由于采用了数字电路和模拟电路同时变换成函数逻辑求解，因此使得数字模拟ＶＬＳＩ能准确，简单求解，同时也使数字电路与模拟电路的求解统一了。     

相关免疫函数的特征与构造

本文首先给出了布尔函数是m阶相关免疫的充要条件,其次介绍了一种从两个n个变元的m阶相关免疫函数构造n+1个变元的m+1阶相关免疫函数的方法。     

等价无穷小在求幂指函数极限中的应用

本文讨论了在幂指函数求极限的过程中利用等价无穷小量代换 ,提出了四条定理 ,并给出了证明。结合罗必塔法则 ,使幂指函数求极限的计算更加简练。     

关于Bent函数的一些研究

利用布尔置换 ,构造了一种新的Bent函数 ,并对这类布尔函数的构造进行了研究 ,发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的 ,满足高次扩散准则的、具有较高非线性度的平衡布尔函数 ,从而拓宽了Bent函数的应用领域     

一类极大平面图4-着色布尔方程组

对极大平面图的4-着色布尔方程组F1d1(x1,x2,…,xn)=1 F2d2(x1,x2,…,xn)=1……Fndn(x1,x2,…,xn)=1进行研究,得到了该布尔方程组的5条性质,并且给出了求极大平面图4-着色全部解的一个算法.     

类差分平衡函数的性质及其应用

定义了布尔函数的类差分和类差分平衡函数，研究了类差分平衡函数的密码学性质以及构造方法。作为类差分平衡函数的应用， 给出了Z24上逻辑函数是完全非线性函数的充要条件，并在首先分析得到所有四元类差分平衡函数的基础上，编程搜索出Z24上所有的完全非线性函数。     

一种新的布尔函数对称检测算法

对称是逻辑综合、逻辑优化以及映象技术领域中的一个十分重要的性质－ 对于对称函数, 可以使用特殊的逻辑综合程序来改进设计结果－ 使用对称也可以提高映象技术和等价检测的有效性－ 本文提出一种用于ＯＢＤＤ 布尔函数对称检测的高效算法     

数字电路与模拟电路混联的统一求解法

提出了数字ＶＬＳＩ的布尔逻辑变换成函数逻辑的一种新方法．由于采用了数字电路和模拟电路同时变换成函数逻辑求解，因此使得数字模拟ＶＬＳＩ能准确、简单求解，同时也使数字电路与模拟电路的求解统一了     

布尔函数性质的谱特征

布尔函数对于分组密码及流密码的安全性起着重要的作用。为了抵抗几种对密码体制的攻击,布尔函数需要具有几种相应的准则:平衡性,高代数次数,高非线性度和高相关免疫度等。Walsh变换和Walsh谱技术是研究布尔函数性质的有效方法,利用Walsh谱技术研究布尔函数的一些重要性质,将这些性质(平衡性、非线性度、相关免疫性、扩散准则、严格雪崩准则、代数免疫性)进行量化。主要研究了布尔函数的Walsh谱及相关的性质,重点介绍了布尔函数的几种密码学性质及Walsh谱与其他密码学性质之间的关系,得到了布尔函数性质的一些结果:首先介绍了布尔函数Walsh谱及其他的密码学性质,然后分析了布尔函数Walsh谱与其他性质之间的关系,包括与汉明重量、平衡性、非线性度、相关免疫性、扩散性、严格雪崩性、代数免疫性之间关系。