关于Bent函数与其变元的非线性组合之间的相关性

近年来,Bent函数在密码系统的设计中获得了广泛的应用.Bent函数的一个重要性质是,Bent函数与其变元的线性组合之间具有比较小的相关性.基于这一性质,文献[3]用Bent函数构造流密码中非线性组合生成器的组合函数,有效地解决了非线性组合生成器系统受到线性相关攻击的问题.但是,文献[4]已经注意到,Bent函数不是相关免疫函数(相关免疫函数     

关于SBK算子对有界变差函数的点态逼近度

一、引言Cheng在文献[1]中研究了Bernstein算子■其中对有界变差函数的点态逼近度。Sikkema在文献[2]中引入算子(也可见文献[3]p.173)     

一类演化方程u_t=αu~qu_1+au_p的差分格式

对这样一类很重要的方程,如何建立相应的差分格式是一件很有意义的事,我们知道方程(1)在某种意义上讲是下列二个方程:的迭加.文献[2]曾对方程(3)在p=3情况下讨论了各种格式的建立,本文是将文献[2]中结果推广到一般方程(即p是大于零的任何正整数),分二种情况来讨论,即P是偶数或奇数     

C-H流形上的有界调和函数

近年来,完备Riemann流形上调和函数的研究非常丰富.丘成桐证明了任何完备非紧Riemann流形上不存在非平凡的L~P调和函数,其中p∈(1,∞).当p=+∝时即对有界调和函数,结论依赖于流形的曲率.文献[2]中证明了非负Ricei曲率的流形上不存在有界调和函数.Greene和伍鸿熙(文献[3]Th.D)证明了:若M为单连通完备非紧Riemann流形截曲率为K_M(x),满足0≥K_M(x)≥-K(p(x))其中p(x)是M上距离函数,k(·)是[0,+∞]上非负函数且     

Wl,p(Rn)(1<P<+∞)函数的Lp可微分性

由文献[1]我们知道,每个函数f,是L~p连续的,即 (integral from n=R~n to ∞(|f(x+h)-f(x)|~pdx))~(1/p)ljt→0,当h→0。 在文献[2]§Ⅰ.4中,关于L~p连续性获得了更深入结果:命题 设则     

基于连续值逻辑■上拓扑中仿紧性的刻画

文献[1]给出了基于连续值逻辑(?)上拓扑(简称不分明化拓扑)的定义,并用逻辑的语义方法讨论了有关性质。继而文献[1]的作者又深入讨论了紧性、一致性等拓扑学中重要内容。那么,人们广为关注的拓扑学中另一个重要内容——仿紧性在此类拓扑中又如何刻划呢?本文的定理回答了这个问题,即得到了在T_3条件下的四种等价刻画。文中涉及的术语与记号     

非凸典型拟线性双曲组一类始值问题的整体解

标题中的典型组即其中函数p(v)正规,p′(v)<0且P″(v)可以变号,但p″(v)的零点是孤立的。资料[1]曾在p(v)满足凸性条件,即p″(v)不变号的情形(理想气体)讨论了一类始值问题的整体解。但在弹塑性力学中凸性条件即被破坏。本文将把资料[1]的结果推广至非凸的情形。     

关于三值维持阻塞触发器的补充研究

多值逻辑在电子科学技术中的应用远不如二值逻辑那么普遍,其中一个原因就是缺乏合适的、而又不复杂的存储单元。文献[2]研究了具有三轨输出的三值主从触发器,解决了上述困难。文献[3]根据目前对三值维持阻塞触发器缺乏研究这一事实,设计了一种与文献[2]对应的三值维持阻塞D型触发器。但作为一个完整的触发器系列,还需要有一种计数型的维     

和之积范式的单调分解

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

L函数的一类均值估计

设χ表示模q(>1)的Dirichlet's特征,L(s,χ)表示对应于χ的L函数,D.R.Heath-Brown在文献[1]中研究二次均值的渐近级数时,引入了如下函数:     

n~2-n+p常表素数的完全确定

设f(x)=x~2-x+p,p是正整数。问p取何值时,f(n)(1≤n相似文献   

论FFP中ρ和μ两函数的合成逻辑本质

一、前言文献[1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”。至于FFP与合成逻辑的关系,文献[2]论述了“基本合成子I,S,K能够被定义成FFP中的泛函”。本文,从另一方面,论证“FFP中的表示函数ρ和语义函数μ可表示成合成逻辑中的合成子”,从而,揭示了ρ和μ的本质,也为FFP语言奠定了合成逻辑基础。将文献[1]中的第四层逻辑(FP语言)与ρ和μ两合成子联合起来,就构成了FPP这一更高级合成逻辑。     

一类一阶时滞微分方程振动性的充要条件

本文研究时滞微分方程 x'(t)+Px(t-r)-qx(t-σ)=0,(1)其中P、q、r、σ均为正数。主要结果(定理1)解决了文献[1]提出的问题10(见文献[1]p.78),即建立了方程(1)的一切解振动的充     

不交型布尔代数及其应用

可靠性分析常用二值布尔变量来表示元件和系统的故障或成功,同时又要考虑这0/1事件的概率,要求从元件故障(成功)概率去推求系统故障(成功)概率。0/1变量是离散的,其概率则是[0,1]区间上的连续实变量。在可靠性文献中已经广泛应用了布尔代数方法,我们     

遗传及全遗传JB-子代数的刻画

如所周知,遗传及全遗传C~*-子代数在C~*-代数的Morita等价理论及相关课题研究中起着很重要的作用。Edwards在文献[3]中把遗传C~*-子代数概念推广到了非结合代数——JB代数中,并获得了 命题A(文献[3],定理2.3)设A是JB-代数,则A的遗传JB-子代数与A的二次理想(即内理想)一致。 最近Edwards与Rttimann在文献[4]中证明了 命题B(文献[4],推论2.2) 设A是JB-代数,B为其JB-子代数,则B是A的二次理想(内理想)的充要条件是:B~(*+)中的任意正线性泛函到A~(*+)中的保范扩张唯一。 本文从此出发,给出了JB-子代数成为遗传JB-子代数的若干充要条件。进而又给出了全遗传JB-子代数的一个刻画。     

Weyl对应的相干态描述

在量子力学中,由于坐标算符Q和动量算符P不对易,因此经典函数h(p,q)和与其相应的量子对应算符H(P,Q)的对应是含糊的.在文献[1]中Weyl 给出了一种对应方案,定义经典函数A_ω的量子对应为A(P,Q)=integral from -∞to ∞dpdqΔ(p,q)A_ω(p,q),(1)其中积分核称为Wigner 算符,记为(取普朗克常数h=1)     

关于Powell方法理论基础的探讨

Powell直接方法是求解无约束最优化问题的一个重要方法。它是从研究正定二次目标函数■(其中G是n×n阶正定对称矩阵,b是常向量,c是常数)导出的。Powell先后在文献[1]、[3]中两次证明了下列定理:n个非零向量D:d_1,…,d_n的函数     

耗散对量子系统分布函数的影响

在文献[1]中我们计算了一个一维量子耗散系统的准几率分布函数,发现半经典近似下的准几率分布函数和相应经典系统的分布函数有着比较显著的差别。分析文献[1]中(4)式及(5)式可知,量子力学效应通过系统的耗散     

Poisson积分作为Banach空间L_p(R~n)(1

刘尚平 《科学通报》1993,(10)

广义Abel平均在H~p(T~n)(0

张严 《科学通报》1988,33(5):333-333