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

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

布尔函数单调分解的直接方法(Ⅱ)

对于可单调分解的布尔函数,本文再次给出两类直接的单调分解法.第一类方法适用于和之积范式,第二类方法适用于任意布尔表达式.这些方法不难在计算机上实现.     

函数性态分析

应用泰勒定理给出了在高阶导数情况下，关于函数极值和凹凸性判别法的一般提法，应用函数单调性的结论给出了关于其单调性判别的简易方法，并对函数不等式的证明作了适当的补充。     

布尔函数的变元分离分解

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

布尔函数的其它单调分解定理和布尔代数B(?){0,1}上的单调分解定理

文献[1]给出了{0,1}上能分解为单调上升函数与单调下降函数同或运算的充要条件.本文将这充要条件推广到其它二元运算,同时亦给出布尔代数B≠{0,1}上n元函数可单调分解的充要条件     

布尔函数的其它单调分解定理和布尔代数B≠{0,1}上的单调分解定理

文献[1]给出了{0,1}上能分解为单调上升函数与单调下降函数同或运算的充要条件.本文将这充要条件推广到其它二元运算,同时亦给出布尔代数B≠{0,1}上n元函数可单调分解的充要条件.     

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

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

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

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

函数形式的单调有界原理及其应用

单调有界原理是判断极限是否存在的重要准则之一，但大多数教材中仅介绍过数列形式的单调有界原理．为了更好地阐述单调有界原理的本质，将单调有界原理推广到函数的形式，利用函数极限、上确界、下确界的定义进行了证明．给出了相应的函数形式单调有界原理的应用实例．     

逻辑函数的规范XOS和COD展开式

从香农展开定理出发，推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范减之异或和除之符合展开式，并给出了相应的图形表示。     

四阶微分方程的周期解

本文用上下解方法与单调迭代方法相结合证明了四阶微分方程周期边值问题解的存在性，将上下解作为初始迭代函数，经过单调迭代得到了两个单调函数序列，这两个函数序列的极限就是周期边值问题的最大解和最小解。     

向量Lyapunov函数与集值微分系统的稳定性

讨论一类集值微分系统的稳定性问题。通过引入函数的上拟单调增的概念,并利用向量Lyapunov函数,给出连接两个高维系统解的新的比较定理。利用所得到的比较定理,给出集值微分系统等度稳定,等度渐近稳定和一致等度渐近稳定的判别准则。实例分析验证了所得结果的正确性。     

Factorization Theorems of A~(p,q,α) Functions

Ｈｐ函数的Ｆ．Ｒｉｅｓｚ分解定理是广泛运用的．但Ａｐ，ｑ，α函数不能有类似Ｈｐ函数的分解．得到了不同于Ｆ．Ｒｉｅｓｚ分解定理的Ａｐ，ｑ，α函数分解定理．另一方面，给出了一个Ａｐ，ｑ，α函数能像Ｈｐ函数类似分解的充分必要条件     

以富利埃级数部分和逼近广义单调型连续函数

本文推广了单调型函数的概念，提出了（ｓ，ｒ）型调函数的概念，研究了用Ｆｏｕｒｉｅｒ级部分和逼近（ｓ，ｒ）型单调函数的问题。我们的结果表明，用Ｆｏｕｒｉｅｒ级数部分和逼近（ｓ，ｒ）型单调连续函数，有与逼近单调型连续函数十分相似的结果，特别当ｓ＝０，ｒ＝１时为文献（１）的结果。     

在偏序集上单调函数的一些性质

给出单调函数在偏序集上的一些性质,并给予证明.同时,将全序集上的单调函数与偏序关系中的单调函数进行了比较.     

复模糊值函数的导数及其性质

介绍模糊数的概念及运算规则.以及模糊值函数的可导的定义.给出了复模糊值函数的截集和可导及解析的概念,利用模糊数的序关系和分解定理讨论了复模糊值函数导数的性质,得出了复模糊值函数的导数具有线性性及在复模糊值函数可导且复模糊值函数的实部和虚部的导数大于(小于)零的情况下,复模糊值函数的实部和虚部具有单调性.     

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

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

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

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

一致连续函数的一个判别法

关于函数在区间上的一致续性的讨论结论很多，大多 限于对函数本身的研究，本文给出另一个函数一致性连续的判别法，利用线性函数或；其它一致连续函数来刻划函数一致连续性。     

多变量卡诺图及其应用

本文给出了多变量卡诺图的结构和性质，应用它可得到多变量布尔函数的最简表达式。此外，利用卡诺图还获得了判定逻辑冒险，功能冒险的一些定理。