关于满足k次扩散准则布尔函数的研究(一)

扩散准则是分组密码中布尔函数设计的基本准则，文章讨论了满足k次扩散准则布尔函数的性质，并定出了n元2次型布尔函数满足k次扩散准则的充要条件。     

B2上布尔函数的拟单调分解

系统地讨论了B₂上布尔函数的拟单调分解.先使用拟单调分解树来定义布尔函数拟单调分解的一般形式,使其在应用中具有很大的灵活性.然后对⊚、⊕、∪和°运算给出几种实用的拟单调分解法.最后将上述结果推广到布尔函数拟单调分解的一般形式,给出一个布尔函数可以分解成k个单调函数的逻辑组合的充分必要条件.     

关于Bent函数的构造的一些研究

利用频谱方法给出了两个由n元Bent函数构造m(m >n) 元Bent函数的充要条件 ,并指出了一些Bent函数不同的向量表示 .     

平衡旋转对称布尔函数的计数

摘要： 作为一类输入变量经旋转变换作用后输出值不变的特殊函数,旋转对称布尔函数被应用于多种密码 系统. 该文研究了平衡旋转对称布尔函数的计数问题,通过对相关方程组解的优化和分析,不仅改进了已有的关 于pr(p为素数)元平衡旋转对称布尔函数的计数下界,而且给出了一般奇数元平衡旋转对称布尔函数的计数下界.     

布尔函数的变元分离分解

对布尔函数的分解问题,该文给出两种分解法,分别适用于以表达式或真值表给出的全定义或部分定义布尔函数.     

多值逻辑函数组的置换

研究了由多值逻辑函数组构成的置换.定出了一类由q值逻辑函数构成的置换;采用q值逻辑函数组的置换构造了一类Bent函数和满足严格雪崩准则的函数;给出了求布尔置换的算法.     

M—V证券组合投资决策的风险厌恶模型

引入风险厌恶函数作为投资对风险厌恶程度的一个度量标准，建立了含该函数的非线性证券组合投资决策模型，求解该模型便得到给定风险厌恶函数下的最佳证券组合，简化了证券组合选择过程。中给出了该模型的解析解，并通过数值例子检验了该模型的解。结果表明，该模型所确定的最佳证券组合为M－V有效证券组合。     

判定平方布尔函数的计数算法

一个ｎ元函数是否为平方布尔函数？如果是，如何得到其所有的平方项？文中就此判定问题提出了一个时间复杂度为Ｏ（ｍｎ＾２）的计数算法，与经典的Ｑ－Ｍ算法不同，该算法基于直观的真值计算，并适合于并行实现。     

求解不等式约束优化问题的一个非线性Lagrange函数

本文提出了一个求解具有不等式约束优化问题的非线性Lagrange函数,讨论了该函数在K-T点的性质,证明了在适当条件下,当参数k大于某一阈值k0时,由算法产生的点列具有局部收敛性,并给出了与罚参数有关的解的误差估计.     

一类可优化的平方伪布尔函数

该文给出一类平方伪布尔函数f(x)=xQx^T+cx^T+d,它的最小点与最小值可在线性时间内找到。其基本思想在于将Q和C所关联的图转换为由NOT,AND,OR,NAND,NOR,XOR和XNoR门组成的逻辑电路,后者的相容信号值对应伪布尔平方函数的最小点。这种方法建立了平方伪布尔函数与逻辑电路之间的结构关系。