布尔函数导数的一些密码学性质

布尔函数的导数在线路分析和密码学研究中都是很有用的.文章给出了布尔函数的导数在密码学中的几个有关线性性、平衡性等的性质.     

完全非线性广义布尔函数

引进广义布尔函数概念、广义布尔函数的线性度与非线性度.给出关于完全非线性广义布尔函数的一些结论,并证明了一些新的结论.     

多输出布尔函数非线性度的一个下界

本文讨论了多输出布尔函数的非线性度,证明了关于下界的一个新结果.文中结论可以为设计和构造具有较大非线性度的多输出布尔函数提供一种新思路.     

求逻辑函数布尔差分的方法

首先本文对布尔差分的基本性质和定理作了证明。凡属于经尽力查索资料尚缺少证明的,本文均加以证明,並注上“补充证明”。其次本文对于求逻辑函数的布尔差分的六种方法均举例加以演算说明。为了说明用图形法求逻辑函数布尔差分的方法,本文对不同情况加以讨论,对其原理也加以推导。以利使用时更为明确。最后对有关资料提供的两条定理,原文未介绍其证明及出处,本文也给予补充证明。这两条定理是: (1) 假设F(X)=multiply from k=1 to m Gk(X) 其中X=(x1,…,Xi,…,xn) 则(dF(X)/dx     

二层高阶神经网络对任意布尔函数的实现

本文讨论了二层高阶神经网络的能力问题。主要有三个方面的结果：（１）证明了任意布尔函数可由二层高神经网络实现；（２）给出了二层高阶神经网络的ＢＰ算法；（３）模拟实验结果。上述结论表明对高神经的研究具有很强的理论意义和实用价值。     

扩展布尔检索模型——Salton模型

介绍一种扩展的布尔检索模型－Ｓａｌｔｏｎ模型,该模型通过对标引词加进权值,将向量检索与布尔检索融为一体,利用矢量方法对扩展布尔检索进行讨论,得到一个计算相似度较好的式子,它在一定程度上克服布尔检索的某些缺点。     

基于互信息粒度的相对约简的矩阵计算方法

提出了一种基于互信息粒度的相对约简模型,该模型利用互信息度量决策系统中的条件属性,将互信息对属性的度量映射到布尔矩阵,并能得到完备的相对约简结果;同时给出了基于布尔矩阵属性重要度的度量方法,在此基础上,设计了一种相对约简启发式计算方法,最后通过实验验证了方法的有效性.     

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

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

关于一类逻辑关系方程的解及布尔矩阵的逆

本文利用我在“逻辑关系方程的一种解法和有解条件”一文中所给出的逻辑关系方程的解法,讨论形式为A▽(x_1 x_2…x_n)=(0…0—0…0)(i)… (1)这样一类逻辑关系方程的解与布尔系数矩阵A之间的某些关系,并利用所得的结论,给出一种新证法证明了一个n×n的布尔矩阵A可逆的充分必要条件为A是置换矩阵,且A~(-1)=A~T.     

基于分子重组技术的DNA计算

DNA计算是计算科学和分子生物学相结合的新领域。目前关于DNA计算的研究主要是抽象的计算模型和简单的原理性试验。DNA剪接计算模型是以生物DNA分子重组技术为基础的文法系统。本文主要介绍DNA剪接计算模型的文法结构及计算方法,证明了DNA剪接模型可以计算所有图灵机可计算函数。     

布尔代数的Ω-模糊子代数

研究布尔代数的Ω-模糊子代数及其性质．定义布尔代数的仔模糊子代数,给出布尔代数的Ω-模糊子代数的两个简化判定定理,并证明布尔代数的Ω-模糊子代数的交、同态像和同态逆像等也是布尔代数的Ω-模糊子代数．然后,令RΩ表示集合Ω到布尔代数R的所有映射的集合,通过在RΩ上定义3种运算 , ,-,得到布尔代数〈RΩ, , ,-,I0,I1〉,并研究与其相关的模糊子代数和Ω-模糊子代数．     

基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

布尔行列式及其性质

在布尔代数上引入多种意义下的行列式,主要讨论了det1(A)和det2(A)的性质,并推广了各行列式的性质,得到一些交换体上行列式不曾具有的结论.     

布尔矩阵平方根的一些性质

布尔矩阵的平方根问题是一个到目前为止尚未解决的组合问题.既没有一个通用的准则可以用来判断一个布尔矩阵是否有平方根,对于有平方根的布尔矩阵也没有一种快速的方法构造出其平方根.从布尔矩阵的结构特征出发,首先讨论有平方根的布尔矩阵具有的一些性质,指出布尔矩阵与其平方根在结构上存在的内在联系;基于这些联系,给出两种由已知平方根构造新平方根的方法;最后得到布尔矩阵存在平方根的一个充要条件,并以此给出一种构造布尔矩阵平方根的方法.     

基于有符号距离场的矿山三维模型布尔运算

针对复杂形态的矿山三维模型构建,提出一种基于三角网格的有符号距离场的三维模型布尔运算算法.首先借助方向包围盒层次树快速计算三角形之间的交线,然后通过约束德洛内三角剖分对候选的三角形逐个进行拆分,分别计算三角网格模型的顶点、边和面的角度加权伪法矢,建立要运算的2个三角网格的有符号距离场,从而根据有符号距离场确定拆分后三角形单元与另一个模型的位置关系,最终根据布尔运算类型进行取舍得到表面模型的运算结果.该算法能有效的对三角网格表面模型实施布尔运算,适用于各种复杂的矿山三维模型.     

无乘法运算的Faure序列构造

介绍一种利用逻辑运算构造Faure序列的方法，尤其是当模2时的该序列的构造．该方法无须具体计算相关矩阵元素。只涉及该矩阵元素的奇偶性，设计的算法较常规方法拥有较少的时间和较低的空间复杂度．文中给出理论证明、相应算法和数值实例．     

拓扑Boole格的完备化（Ⅱ）

本文继续给出拓扑Boole格与它的完备化之间有关分离性结果的证明;并证明了具有可数基的紧(T_3)型古典拓扑原子Boole格是正规的.     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

复杂网络系统可靠度的一种计算方法

本文介绍了一种运用图论理论和布尔代数概念计算复杂网络系统可靠度的方法,并通过一个例子给出了该法的具体计算步骤.