单调布尔函数的MSOPE

对于单调布尔函数,在文[1]中给出了一类范式——单调析取范式(MDNF),这类范式的构造是先找出单调质蕴含,所有单调质蕴含的和就是MDNF,质蕴含往往是由Q-M方法     

一个极限定理与非线性对偶规划的最优判别及存在性

Rockafellar在文献[1]中应用共轭函数与扰动函数建立了新的一般性的凸对偶理论。在这一理论的影响下,近几年来许多作者在一些广义凸或其他特殊类型的非凸对偶规划方面,取得了若干重要的结果。本简报主要是针对一般的非线性规划,给出它的对偶规划(极小极     

粗糙面激光脉冲非相干散射及强度起伏协方差函数

基于激光脉冲粗糙面散射特征,利用积分变换,误差函数和随机变量的统计矩,研究激光脉冲非相干散射和散射场量的强度起伏协方差函数特征.在入射激光波长?=1.06?m条件下,数值计算了不同粗糙面高度起伏均方和相关长度,不同入射角等影响因素下,散射场相干和非相干分量,以及强度起伏协方差函数随散射角和相干带宽频差的变化情况.计算结果表明,在激光脉冲入射下,随机粗糙面的高度均方越小,相关长度越大,即表面越光滑,散射场的相干和非相干分量在入射角镜反射方向出现最大峰值,非相干分量峰值在非入射角镜反射方向上会迅速减小,且非相干分量在量级比相干散射分量上小很多,散射场强度起伏协方差函数的分布趋势随着相干带宽频差的增大逐步减小,镜反射方向和相干带宽频差为零时出现最大峰值.本文所给出的研究结果,深化了粗糙面脉冲散射场量的四阶统计特征,为开展目标激光脉冲散射场量高阶统计特征和激光散斑探测研究奠定基础.     

能量145keVγ射线的小角度非相干散射测量

γ射线与原子的非相干散射是光和物质相互作用的基本过程之一。实验上测量非相干散射微分截面、相干散射与非相干散射微分截面比值R,以及非相干散射函数S,可用以检验原子结构的不同理论模型。 有很多测量给出γ射线非相干散射截面。但早期测量采用NaI(T1)晶体作探测器。由于NaI(T1)的能量分辨率差,对小角度散射,很难在散射谱中把相干散射峰和非相干散射     

多值逻辑函数相关免疫的谱特征

相关免疫是密码学中的一个重要概念.在文献[1]中,Siegenthaler给出了相关免疫的数学定义,并且将逻辑函数的相关免疫阶数作为密码系统抗相关攻击的一个度量指标.利用Walsh变换,文献[2]研究了二值逻辑函数即布尔函数的相关免疫性,得到了几变元的布尔函数为m阶相关免疫的充分必要条件,这一结果在研究二值相关免疫函数的性质及构造中发挥了重要作用.对于从GF~n(p)到GF(p)的函数,即p-值逻辑函数,由于其代数结构比布尔函数复杂.对     

和之积范式的单调分解

自作者在文[1,2]中提出布尔函数的单调分解定理后,对于单调上升函数I(X)和单调下降函数D(X)的直接构造法已为人们关心。作者在文[3]中给出了积之和范式的单调分解,本文则给出和之积范式的单调分解。n元布尔函数F(X)=F(x_1,…,x_n)的和     

Banach空间上一类实质为Asplund空间上的Lipschitz函数

自Namioka等人基于Asplund的开拓性工作,而提出Asplund空间的概念(即,其非空开凸子集的每个连续凸函数,均在其定义域内的一个稠密的G_δ-集上Fréchet可微的那样一类Banach空间)并证明了“Asplund空间的对偶空间具有Radon-Nikodym性质(RNP)”后,无限维空间上函数的可微性研究,便围绕着Asplund空间广泛而深入地展开(例如,见文献[3]和[4]).随着Stegall将Namioka-Phelps定理的逆定理成功给出,即“若一个Banach空间的对偶具有RNP,则该空间是Asplund空间”,使Asplund空间研究出现一个高潮.因为S-N-Ph特征定理将函数的微分理论、Banach空间几何学、向量值测度与积分等看起来互不相干的数学分     

带无关小项电路化简的布尔方法

定义1 给定B~n={0,1}~n上n元布尔函数f(X),令T_f={X∈B~n|f(X)=1},F_f={X∈B~n|f(X)=0}。当T_f∪F_f(?)B~n时,称f(X)为部分定义布尔函数。一个带无关小项的组合电路对应一个部分定义布尔函数。     

非网联故障树和简单质蕴涵算法

在故障树分析的文献中,例如在文献[1,2]中,都把含有非门的故障树称为非网联(noncoherent)故障树,而把仅含与门和或门的     

相干态的激发态及其非经典特性

非经典光场态的研究,无论是在理论上还是在实验上都是十分引人注目的。业已证明,尽管相干态光场的行为是经典的,但在原子——场的非线性相互作用过程中,相干态光场的幺正或非幺正演化可以产生的各种非经典光场态,如压缩态及Schrodinger猫态等。本文利用最近Metha引入的并由范洪义给出严格表述的玻色算符的逆算符a~（-1）及a~（ -1）,讨论光场的另一个非经典态即相干态|Z>的k光子激发态a~（-k）|Z>,它可以通过强度相关耦合Jaynes-Cummings模型的连续多次非幺正演化过程来产生。通过计算其二阶相关函数及     

右方为Radon测度时双重退化抛物型方程弱解的存在性

近年来,一批学者如Boccardo,Gallouet和Rakotoson等人,对于二阶椭圆型方程(?)u=f,当右端非齐次项f∈L~1(Ω)(非自反),更一般地f∈M(Ω)的情形进行了研究,这里M(Ω)=[C_c(Ω)],即C_c(Ω)的拓扑对偶,也称为有界的Radon测度集.最典型的例子是f=δ(狄拉克函数)∈M(Ω).归纳而言,他们对于拟线性的具有散度主部的椭圆型问题:—div((?)(x,u,Du))=f∈M(Ω),u|(?)Ω=0,(Ω(?)R~N),当(?)是个Caratheadory函数且满足Leray-Lions性质时(包括增长性、单调性     

广义布尔函数的结构

在文[1]中,N.T■nd■reanu引进了广义布尔函数的概念。令B是真包含{0,1}的布尔代数,且{0,1}(?)A(?)B。函数g:A×B→B满足下列条件:     

测量铁磁材料核磁共振谱线的非相干接收自旋回波法的某些改进

铁磁材料中各种同位素核的核磁共振频率分散在很宽的频率范围。例如,铁磁体中3d元素的核磁共振频率处于15MHz到800 MHz。在这样宽的频率范围进行核磁共振研究的一种比较简单的方法是非相干自旋回波法。当测量比较宽的谱线时,这种方法是适用的。所以,已完成的铁磁体核磁共振实验中的大多数都是用非相干波谱仪完成的。但是,与相干接收法相比,非相干接收的缺点是难于获得真正的核磁共振谱线。本文将对引起测量谱线发生畸变的原因进行讨论,进而提出对非相干法的改进建议。结果表明,如果改进谱仪的结构和测量方式。在测量窄谱线时,用非相干法可以得到与相干法同样的结果。     

基于冗余字典的信号超完备表示与稀疏分解

基于冗余字典的信号稀疏分解是一种新的信号表示理论, 采用超完备的冗余函数系统代替传统的正交基函数, 从而为信号自适应地稀疏扩展提供了极大的灵活性. 稀疏扩展一方面可以实现数据压缩的高效性, 更重要的是可以利用字典的冗余特性捕捉原始信号的自然特征. 本文从超完备信号稀疏分解和非线性逼近理论的一系列最新成果出发, 综述了基追踪和匹配追踪等主流算法在信号表示方面的稀疏性与字典相干系数的关系问题, 评述了目前字典构成的发展趋势.     

书讯

《量子信息物理原理》作者:张永德出版:科学出版社2006年1月定价:59元本书系统介绍了量子信息论的物理原理.全书内容包括量子测量问题、双态系统、量子纠缠与纠缠分析、Beli型空间非定域性及分析、退相干分析、纯化与相干性恢复、不可克隆定理与量子Zeno效应、量子态超空间转移、量子门与简单量子网络、量子算法、量子误差纠正与保真度、量子信息论等.重点在于阐述物理原理.每章后均附有相关文献和习题,全部习题均给出了详细解答.     

求解析取范式永真性问题的一个近似快速算法

NP完全问题是一类在计算复杂性理论中被证明为较难求解的问题,这类问题中包含有很多在理论和实际中很有意义的问题。NP完全问题中的一个问题的对偶问题若存在快速(多项式意义下)的求解算法,则所有NP完全问题都有快速的求解算法。但目前人们还没有找到一个求解NP完全问题的真正快速算法,并且有迹象表明求解NP完全问题的真正快速算法是不存在的。本文针对一个典型的NP完全问题的对偶问题——析取范式永真性     

非线性置换的构造

一、引言 置换在通信中具有重要应用,在密码学中也有许多密码体制用到置换来增加体制的安全性,但这些置换都是用矩阵来实现的。为了使置换易于实现和节省储存空间,可采用布尔函数组来实现。对于任意N阶置换,可用一组n=[log_2N]个变元的布尔函数来表示。当N=2~n时,这种表示是唯一的。本文就研究2~n阶置换的构造问题。在密码体制中不采用线性置换,对于非线性置换也力求非线性程度越高越好。文献[5]给出一种构造非线性置换的迭     

相干散射γ光子能量和线宽的实验研究

一、引言 我们知道,在非相干散射中,γ光子不仅发生能量移动,而且由于散射体内电子运动对非相干散射的影响,导致谱线发生多普勒增宽。谱线宽度因散射体种类的不同而有不同程度的增宽。这一谱线增宽现象,提供了用康普顿谱线轮廓法(Compton profile)研究电子动量谱的基础。     

相干态在量子转动中的新应用

转动矩阵在量子力学中有很重要的地位,但是用正规乘积和相干态的性质来研究它还未见有文献讨论过。本文将用相干态方法来导出转动算符的正规乘积形式,作为其应用,进一步给出D函数中的系数d_(mm)~j,及坐标、动量表象中的转动矩阵元。在文献[1]中,我们已把相干态的超完备性条件改造为正规乘积下的积分形式,记|z>为相干态,满足     

“非遗”项目迎来“中国年”

中国22个世界"非遗"申请项目全部获得通过,在入选名录国家中,加上此前入选的昆曲,古琴、新疆维吾尔木卡姆和蒙古族长调民歌这4项,以总数26项名列第一。