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

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

多值逻辑函数组的置换

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

二维随机变量分布函数的教学思考

<正>分布函数是概率论中的重要内容之一,求分布函数是概率论教学上的难点.求一维随机变量分布函数的方法已经有诸多研究,且已经研究得比较清楚.求二维随机变量分布函数的方法,也有一些学者做过研究.张忠诚等[1]给出了一种较适用的计算二维连续型随机变量分布函数的方法.吴幼明[2]给出了当二维连续型随机变量的密度函数为常数时,求其分布函数的简     

导数的应用

<正>研究导数的一个主要目的是用于研究函数的性质,利用求导数的方法对某些代数式进行恒等变形,思路明确、方法简单、易于掌握,尤其是对一些轮换对称式变形,效果更为显著.这种方法是基于如下考虑:有时一个函数的导函数具有比原函数简单得多的形式,并且它容易通过积分而求得原式所要求的变换.因此可以视某代数式为一变量的函数,对此变量求其     

数学中的有解问题

<正>数学中的有解问题是函数、不等式等内容交汇处的一个较为活跃的知识点,它涉及到函数的性质、图像,渗透着数形结合、函数与方程等思想方法.1方程的有解问题1.1方程m f(x)的有解问题若使方程m f(x)在某个区间上有解,只需求出f(x)在该区间上的值域A,使m A即可.     

粗集的性质

在粗集中引入秩函数的概念,研究了秩函数的性质,并给出了粗集的秩函数公理系统;证明了由粗集中可定义集构成的格是一个几何格.     

α-Bloch空间循环元的注记

证明了当0<α<1时,(1)βα空间的循环元都是外函数;(2)存在βα空间上的外函数不是循环元.这与1β空间是不同的.     

关于Mikusiski算符与广义函数等同概念的一点补充

Mikusinski;J.在[J]中给出广义函数和算符(亦称 Mikusinski 算符)之间的等同概念;本文在广义函数的有限阶收敛下,证明等同是一对一的。     

液态Cu64Zr36合金的结构及动力学模拟

采用第一性原理分子动力学方法,对液态Cu64Zr36合金进行了模拟,并计算了径向分布函数、均方位移和中间自散射函数.结果表明：随温度降低,体系的结构更加有序;温度降低致使Cu64Zr36合金体系的动力学减慢.     

基于Copula函数的供应链上企业收益率相依性度量

首先选取以一汽集团为核心企业的长春一东、一汽富维和福耀玻璃三个企业的日收益率作为研究样本数据,用非参数法估计其分布函数;然后用阿基米德Copula函数构建相关结构模型,得出三个企业的Copula结构模型参数和尾部相关系数,做出联合分布的密度函数图,度量企业间的相依性;最后,利用经验Copula函数分布和平方欧式距离,比较模型的估计效果,选出恰当的度量模型.     

亚纯多叶函数的一子类性质

设∑P表示单位圆盘E内形如f(z)=z-p+sum from ∞ to k=1(akzk-p)的解析函数类,利用线性算子Lp(a,c)定义了亚纯多叶函数的一子类Ωp+(a,c;A,B),研究了函数f(z)=z-p+sum from ∞ to k=1(︱ak︱zk-p)在类Ωp+(a,c;A,B)中的充分必要条件以及星像函数和凸像函数在类Ωp+(a,c;A,B)中的半径,给出了此类中诸多函数形式的极值函数.     

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

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

关于积分极限问题的探讨

<正>当极限的表达式里含有定积分时,通常把这种极限称为积分极限.对于这种极限,一般求极限的各种方法原则上都是适用的.当极限的表达式中被积函数较为复杂或者为抽象函数时,积分不易或不能直接计算,通常会采取特殊方法.     

重力式挡土墙在地震作用下的动力可靠度分析

提出了考虑材料参数随机性的重力式挡墙在地震作用下动力可靠度的研究方法.根据静力可靠度的计算方法,参照静力下功能函数模式,建立了随机参数下重力式挡墙的动力可靠度功能函数;引入响应面法,对功能函数进行拟合,得到极限状态方程;用JC法求解可靠指标.算例分析验证了上述方法具有较高的计算精度和效率,在边坡支护的动力可靠度分析中有广阔的应用前景.     

微积分教学注记二则

列举了在微积分教学中的两则注记,即利用微分方程的通解构造辅助函数,从而完成对微分学证明题的证明;利用函数极限与无穷小的关系定理求解含有多元抽象函数的极限问题.     

线性同胚于近于凸函数的一族解析函数

定义了线性同胚于近于凸函数的一族解析函数C(λ,α,β),导出C(λ,α,β))中函数的积分表达式;借助算子理论研究C(λ,α,β)族的包含关系和端点性质;证明族中函数的偏差定理及卷积性质并推广了Ruschweyh的一个卷积定理.     

基于Lp(a,c)算子定义的亚纯函数邻域的性质

令∑p表示形如f(z) =z-p+∑()n=1anzn-p且在空心单位圆盘E=｛z∶0＜｜z｜＜1｝内解析的p叶函数全体组成的函数类.利用线性算子Lp(a,c)定义亚纯多叶函数的新子类Ωp(a,c;A,B)和Ω+p(a,c;A,B)的基础上,延伸了亚纯函数的邻域概念,讨论了亚纯函数的邻域与函数新子类的包含关系和相关性质...     

基于K图的逻辑函数变换方法

运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观、方便快捷的特点,能提高数字电路的教学效果和设计效率.     

关于Gelfer函数族支撑点的性质

Gelfer函数是一类在单位圆盘上满足特定条件的解析函数,它的支撑点函数具有特殊的映照性质.该函数族与一些重要函数族之间有着密切联系,通过对该函数族的研究可以了解其他函数族相关性质.借助于Schiffer边界变分和Schiffer定理,对函数族GL的支撑点进行研究,得到该函数族支撑点的几何性质.此方法对于其他函数族在相关问题的研究上开辟了新途径.     

一类二阶非线性系统ЛЯПУНОВ函数的构造及其解的稳定性

<正> 在文〔1〕,〔2〕中,根据它们所对应的线性系统为Ляпупов函数,用类比的方法构造了相应的二阶非线性系统的Ляпупов函数,并讨论了它们的零解的全局渐近稳定性.本文用可变递度方法构造上述二阶非线性系统的Ляпупов函数,并给出了它们的零解全局渐近稳定的充分条件.