多输出布尔函数与布尔函数代数免疫阶之间的关系

本文给出了多输出布尔函数状态函数集合的代数结构,证明了多输出布尔函数的代数免疫阶等于某布尔函数的代数免疫阶,且该布尔函数是多输出函数的分量函数的一个非零非线性组合.接着证明了该组合的代数免疫阶是所有非零非线性组合中最小的,从而得出多输出布尔函数的代数免疫阶等于其所有非零非线性组合代数免疫阶的最小值.     

高可用群集多处理技术的原理、规划及配置

在金融、通信等服务领域必须保证关键性业务对外稳定、持续地进行,群集技术(双机)为此提供了可靠的保证.首先介绍了群集的概念,然后基于IBM的AIX系统的高可用群集多处理技术(hacmp for aiz),对群集的网络、管理软件、单点故障、资源组接管策略等进行了详细分析,最后以一个客户端连接到应用、应用连接到数据库的3层客户/服务器(C/S)结构的金融应用系统为例,对群集的规划及配置进行了比较详细的讨论,并给出互相接管模式的双机配置规划和相关应用及数据库的起停脚本.     

二次布尔函数的几个性质

用有限域中二次型的理论给出了几个有关二次布尔函数0,1统计特性和线性结构的结论。     

Boolean Functions, Projection Operators, and Quantum Error Correcting Codes

This paper describes a fundamental correspondence between Boolean functions and projection operators in Hilbert space. The correspondence is widely applicable, and it is used in this paper to provide a common mathematical framework for the design of both additive and nonadditive quantum error correcting codes. The new framework leads to the construction of a variety of codes including an infinite class of codes that extend the original ((5, 6, 2)) code found by Rains It also extends to operator quantum error correcting codes.     

布尔函数的对偶性和线性点

本文主要讨论了部分自对偶和部分反自对偶函数、部分线性函数以及具有线性点的函数的性质。     

扩散码应用中布尔函数的设计

讨论了扩散码中布尔函数的设计准则,给出了一种构造高维布尔函数的方法。     

现代密码学中的布尔函数研究综述

本文以作者及课题组多年的研究成果为重点,概述目前这一领域的研究状况和新的重要研究成果,同时展望布尔函数研究的进一步发展,并指出了若干重要研究课题.     

Inverting and Minimizing Boolean Functions, Minimal Paths and Minimal Cuts: Noncoherent System Analysis

An efficient technique is presented for inverting the minimal paths of a reliability logic diagram or fault tree, and then minimizing to obtain the minimal cuts, or else inverting the minimal cuts for the minimal paths. The method is appropriate for both s-coherent and s-noncoherent systems; it can also obtain the minimized dual inverse of any Boolean function. Inversion is more complex with s-noncoherence than with s-coherence because the minimal form (m.f.) is not unique. The result of inversion is the dual prime implicants (p.i.'s). The terms of a dual m.f., the dual minimal states, are obtained by a search process. First the dual p.i.'s are obtained; then a m.f. is found by an algorithmic search with a test for redundancy, reversal-absorption (r.a.). The dual p.i.'s are segregated into the ``core' p.i.'s [8,9] essential for every m.f. and the ``noncore' p.i.'s, by r.a. Then a m.f. is found by repeatedly applying r.a. to randomized rearrangements of the noncore terms. Examples are included, adapted from the fault-tree literature.     

多输出布尔函数的相关免疫性

本文讨论多输出布尔函数的相关免疫性,证明了多输出相关免疫函数的一个性质,并给出了多输出相关免疫函数的一种构造方法.     

布尔函数的扩展代数免疫度

该文研究了布尔函数的扩展代数免疫度,首先给出了布尔函数的扩展代数免疫度与其代数免疫度相等的一个充分必要条件;然后讨论了两类具有最大代数免疫度的布尔函数的扩展代数免疫度,给出了其扩展代数免疫度也达到最大值的充分必要条件;最后基于代数补元素的思想,给出了布尔函数零化子结构的一种新刻画。     

向导式识别模板训练系统的设计与实现

针对雷达目标识别系统的用户特点和识别模板的训练原理,提出并实现了向导式识别模板训练系统,较好地解决了目标识别系统需要在应用过程中不断进行更新和扩展的问题。该系统根据识别机制将模板学习过程划分为一系列向导页面,屏蔽了识别算法的具体实现过程,使雷达员能够通过简单的操作掌握和控制复杂的模板训练过程。该向导的应用证明其人机交互方式便捷、友好,学习结果稳定、可靠,使识别系统具有持久的适应性和稳健性。     

Bent 函数和弹性函数的最小距离

研究了Bent函数和弹性函数的最小距离,给出了求Bent函数和弹性函数的最小距离的一个新算法,得到了Bent函数和弹性函数最小距离新的下限,新的下限在一阶情形优于S.Maity等人在2004年给出的结果,同时证实了他们所提出的猜想,并且得到了12元、14元Bent函数和一阶弹性函数的最小距离.     

一类布尔函数的性质及其应用

讨论了不重复齐次k次布尔函数的密码性质,给出了这类函数所满足非线性准则;研究了这类函数在非线性组合函数的构造中的应用,得到了几个基于这类函的构造定理。     

多输出布尔函数的特征值分析

为了研究自变量是独立而非均匀分布条件下的多输出布尔函数的密码学性质,文章定义了多输出布尔函数的谱值和特征值,给出了多输出函数的特征值的一般表达式和估计式,并且计算出了n阶布尔置换和t-弹性函数特征值的上界.     

对AES算法的S盒布尔函数分析

分组密码的安全性很大程度上取决于分组密码中唯一的非线性结构S盒。论文对AES的S盒的代数性质进行分析,采用布尔函数的方法,先得到S盒的真值表,再求解S盒的布尔函数表达式,根据布尔函数表达式计算得出S盒的平衡性、正交性、线性性、差分均匀性质、鲁棒性、非线性性等代数性质,说明AES的S盒的安全性。     

单边多输出逻辑函数补集软件的设计与实现

根据单边逻辑函数的特性，介绍了一种多输入多输出单边逻辑函数补集方法，该方法采用二进制特征矩阵和状态矢量来描述原函数，进行最小列覆盖的选择形成多输出补集函数的控制矩阵，由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数，通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件，在P-1．8GHz，512MBRAM的计算机上完成测试和运行。并通过测试检验程序，保证输出结果在逻辑上与输入条件求补等价。     

关于一类布尔函数的存在性

证明了满足1次扩散准则的平衡k阶相关免疫函数的存在性．     

布尔函数的对称性的度量

提出了布尔函数的对称度的概念与表达式并给出了布尔函数对称度的平均值。     

从非奇异布尔函数对产生M序列

本文指出一种构造产生Ｍ序列的方法，它是基于圈的合并，给出一个计数公式，并给出一个简单的生成算法，不同的非奇异布尔函数生成不同的Ｍ序列，从而可以生成２＾２ｎ－１－１个ｎ＋１级Ｍ序列。