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

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

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

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

布尔函数的单调分解

利用化简布尔函数的常用方法，讨论布尔函数的单调分解，得到了判别布尔函数单调分解的几个简易明判别准则。     

平方损失下逆威布尔分布参数的Bayes估计

在平方损失下,讨论逆威布尔（IW）分布参数的Bayes估计,并证明所给出的参数Bayes估计是可容许的．     

布尔函数的变元分离分解

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

哈密顿平面图的一个判定算法

图的平面性判定算法是相当复杂的.本文介绍哈密顿图的一个简单的判定算法,有关图的平面性判定方面的研究可见参考文献.     

伪Smarandache无平方因子函数与Euler函数的两个方程

对任意的正整数n,著名的伪Smarandache无平方因子函数Zw(n)定义为最小的正整数m使得n|mn,利用初等方法以及伪Smarandache无平方因子函数Zw(n)和Euler函数φ(n)的性质,研究了方程Zw(φ(n))=φ(Zw(n))的可解性,证明了该方程有无穷多个正整数解。同时讨论了方程Zw(n)+φ(n)=2n的可解性,并求出了该方程的正整数解为n=1。     

关于Bent函数的一些研究

包括５个定量,第一个定理提出了一种构造Ｂｅｎｔ函数的新方法,依此可定出大量在实用中很重要的Ｂｅｎｔ函数。第二个定量对２次Ｂｅｎｔ函数进行仿射分类,证明了２次Ｂｅｎｔ函数仅有２类,并定出其每一类中的低表元素。     

超立方体多阶网的链接路径算法

该文将一个超立方体网络定义为一个k阶×r层的网阵,并对相应的术语进行了科学的定义,该文着重从动态路径连接的角度,给出了超立方体网阵的网结值、网层值和链接语句的算法。利用该算法可完全确定其超立方网结点动态连接的路径。文章还给出了一个路径算法的实例。     

燃煤的瞬发Υ分析

本文研究了一种煤质快速分析方法。用中子激发煤样,由特证瞬发γ射线强度来标定碳的相对百分含量C~y,并由此导出发热量Q_(DW)~y。所得C~y值的误差<3%,Q_(DW)~y值的误差<300卡/克。该分析方法速度快,在工业生产上很有实用价值。