组合网络的最小项矢量法故障诊断

本文从布尔函数的积之和范式以及积之和范式的运算特点出发导出了一般布尔函数间的数值运算——布尔函数的最小项矢量运算,进而提出了最小项矢量代数的概念.作为这个代数系统的一个应用,着重介绍了最小项矢量法诊断组合网络的一般技术,这个方法作为探讨故障诊断算法数值化是一个尝试,同时它又为经典布尔差分法的计算机计算找到了一条可行的新途径.     

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

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

一个特殊的线性函数与H布尔函数的关系

通过讨论一个特殊的线性函数与H布尔函数的关系问题,发现它的良好性质在H布尔函数的生成验证中都有用途.     

关于布尔函数的拟线性性

文章给出了布尔函数关于自变量对是拟线性的充分必要条件,同时研究了布尔函数关于自变量对是拟线性的谱特征.     

完全非线性广义布尔函数

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

布尔函数的迹单项式逼近

提出了用单项迹函数代替线性函数来定义的布尔函数一种新的谱值,称之为布尔函数的d-Walsh循环谱,通过计算d-Walsh循环谱来研究布尔函数的最佳单项迹函数逼近,使用该方法的计算复杂性仅为22n/n.利用单项迹函数逼近序列密码的前馈函数可实现对序列密码的采样攻击,对序列密码设计与分析具有重要意义.     

组合网络的最小项矢量法故障诊断

本文从布尔函数的积之和范武以及积之和范式的运算特点出发导出了一般布尔函数间的数值——运算布尔函数的最小项矢量运算,进而提出了最小项矢量代数的概念.作为这个代数系统的一个应用,着重介绍了最小项矢量(MV)法诊断组合网络的一般技术,其中包括:单故障完全测试集的生成,故障检测测试集的生成,故障定位测试集的生成以及故障字典的编排.这个方法作为探讨故障诊断算法数值化是一个尝试,同时它又为经典布尔差分法的计     

与特定密码函数线性等价的布尔函数谱和自相关特征

对线性等价意义下2个布尔函数的密码学性质的异同做了进一步的分析，得到了一个布尔函数线性等价于某个具有m阶相关免疫性的布尔函数的充分必要条件和线性等价于某个满足k次扩散准则的布尔函数的充分必要条件，在线性等价意义上，给出了由不具有相关免疫性且不满足扩散准则的布尔函数，构造既具有相关免疫性、也满足扩散准则的布尔函数的实例。     

相关免疫函数的组合分析法

在密码设计过程中,安全性是设计者首先要考虑的问题之一。前馈网络是一种重要的密钥流生成器。相关免疫函数是Ｓｉｅｇｅｎｔｈａｌｅｒ提出的抗击对前馈网络流密码生成相关攻击的一类函数。本文利用布尔函数的小项和表示法,从组合的角度揭示相关免疫函数的特征。这种组合分析方法对构造相关免疫函数也是一种理想的方法。     

一种用于布尔逻辑设计的神经网络学习算法

提出了一种实现任意布尔函数的前向三层神经网络学习算法 ,简称HKML算法。HKML算法引入汉明距离扩展、卡诺图化简及最小项抑制等思想训练神经网络 ,以尽量少的神经元实现布尔函数的输入输出映射。给出了设计原理及算法流程图。与其他二进神经网络学习算法相比较 ,此方案结构简单可靠 ,学习速度快 ,易于硬件实现     

一种用于布尔逻辑设计的神经网络学习算法

提出了一种实现任意布尔函数的前向三层神经网络学习算法,简称HKML算法,HKML算法引入汉明距离扩展,卡诺图化简及最小项抑制等思想训练神经网络,以心量少的神经元实现布尔函数的输入输出映射,给出了设计原理及算法流程图。与其他二进神经网络学习算法相比较,此方案结构简单可靠,学习速度快,易于硬件实现。     

Bent函数与线性函数关系中导出的密码学性质

以导数(偏导数)和e-导数做工具,讨论密码系统中具有最高非线性度的Bent函数结构性质、重量结构与线性函数的关系.利用线性函数可从Bent函数中得到H布尔函数,使Bent函数在密码系统中有了更进一步的使用价值.它也提供了Bent函数重量关系的一些规律性变化,我们可以利用这些性质来探讨相关免疫性变化、非线性度变化等问题并得到构造Bent函数的新方法.     

一种简化计算的Bent函数判定方法

为讨论Bent函数性质的需要,在研究了线性函数与Bent函数关系及e-偏导数的密码学性质的基础上,本文提出了一种判断布尔函数是否为Bent函数较容易的算法.同时,也讨论了Bent函数旋转变换生成的函数性质.     

旋转对称布尔函数的最高非线性度与最优代数免疫

文章研究旋转对称布尔函数的最高扩散次数、最高非线性度和代数免疫性等问题.利用导数和e-导数证明了元数为偶数的完全2次齐次旋转对称布尔函数的非线性度达到布尔函数的最大非线性度.又利用导数从n次扩散性角度,证明了旋转对称Bent函数的存在性,即验证了最大非线性度旋转对称布尔函数的存在性.另外,利用导数证明了最优代数免疫旋转对称布尔函数的存在性,并给出了用Bent函数构造最优代数免疫旋转对称布尔函数的方法.利用导数还得出了一类旋转对称布尔函数的相关免疫性.     

一类k阶拟Bent函数的构造

通过映射构造了一类布尔函数，利用布尔函数循环Walsh谱的方法给出了该类布尔函数是k阶拟Bent函数的充分必要条件，并利用集合性质给出了满足该条件的方法．另外，给出了一类k阶拟Bent函数的递归构造.     

关于Bent函数的一些研究

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

逻辑函数最简式的构成研究

运用对函数最小项进行分类的方法对有多个最简式的逻辑函数进行了研究,发现这些最简式在构成上具有一定的规律,而这些规律与函数最小项的不同"活动能力"密切相关.     

布尔函数的非零零化子计数

在流密码和分组密码的加密体制中,为了构造具有较高代数免疫度的布尔函数,需要讨论布尔函数的非零零化子.利用布尔函数的真值表和线性方程组的方法,给出了布尔函数非零零化子个数的表达式.讨论了布尔函数达到最大代数免疫度时各阶非零零化子的计数问题.     

一类具有多种密码学性质的布尔函数构造

介绍一类高非线性的平衡相关免疫的布尔函数的构造方法,并利用Bent函数的高非线性,经直和的方法构造出具有多种密码学性质的布尔函数.     

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

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