多值逻辑函数的相关度的谱表示

在密码学中,研究函数的最佳仿射逼近问题是一个十分重要的课题.文献中用Walsh谱讨论了Boolean函数的最佳仿射逼近问题,其中最关键的问题是如何用Walsh谱来表示Boolean函数的相关度.但对多值逻辑函数而言,目前还未给出其相关度的谱表示形式.本文利用Chrestenson谱给出了多值逻辑函数的相关度的谱表示,从而为     

样条函数的渐近展开

关于样条函数的误差估计,已有不少文章。但作为逼近论中一个重要问题的渐近展开,工作不多,作者以前工作中曾涉及这个问题。Daniel在AD-786226及AD-786228也曾讨论过这个问题,但远未得到最佳结果。且只对函数本身展开。     

岭函数逼近的L~1-理论

用岭函数的有限和来逼近多变量函数是投影寻踪回归(简记为PPR)的基本工具,其L~2理论文献上已有不少讨论。本文讨论它的L~1理论,主要结果是:只要用有理方向的指数岭函数(只有可列个)的有限线性组合就可以L~1逼近任意的可积多变量函数;如果概率分布     

基样条与指数型整函数逼近的渐近关系

1 引理与主要结果指数型整函数和基样条是定义在 R 上的函数类的两个最基本的逼近工具,对指数型整函数逼近性质的研究可以追溯到30年代 Krein,Akhieser 和的优异、深刻的工作.另一方面,70年代 Schoenberg 等人对基样条系统、深入的研究又给定义在 R 上的函数类提供了一个新的有力工具.特别,最近在 Tikhomirov 提出平均宽度的概念后,许多工作证明了(见文献[7]及所附文献)整函数和基样条都是 R 上某些基本函数类的最优逼近工     

指数型整函数逼近性质的一种刻划

指数型整函数和基样条是刻划定义在R上函数类的光滑性质及逼近性质的两个最基本的工具.Berstein,Krein,Arein,Akhiezer等人深入研究了指数型整函数的许多极值性质,得到了一批非常重要的结果.另一方面,Schoenberg,Karlin,Micchelli,Marsden,Richards,Riemenschneider等人对基样条建立了较为完整的理论.而最近,在Tikhomirov提出平均宽度的概念以后,又有许多工作进一步研究了基样条的逼近性质,证明了指数型整函数和基样     

复变量广义Airy函数

Airy函数是具有广泛应用的特殊函数之一,主要应用在波动与稳定性问题中。在上述这类问题中,经常要遇到复变量的Airy函数。1972年,Reid等还定义了一组广义Airy函数以表达Orr-Sommerfeld方程的一致有效渐近解。迄今,只是对实变量的Airy函数有现存的函数表。最近,我们对复变量的广义Airy函数进行了研究,并得到了Ai(Z,1),Ai(z),     

Sigma-Pi神经网络中的逼近问题

设函数π:R~n→R定义如下: π:(x_1,…,x_n)→multiply from k=1 to n(x_k)。 近来,用一个一元连续函数夕与函数冗的复合旷冗来逼近多元连续问题。由于其在人工神经网络中的重要应用,而受到广泛的关注。 事实上,所谓Sigma-Pi神经网络的能力,从数学上讲,就是形如     

求解并矢Green函数的构造法

用并矢Green函数求解电磁场边值问题已有50年左右的历史,但是,直到1971年,才由Tai用Ohm-Rayleigh方法系统地研究了各种规则边界条件下的并矢Green函数.以后由于考虑到无旋场问题,Tai又提出了Gm法.但对于一些如介质加载系统、分层介质系统、复合系统等比较复杂的系统,由于M,N难以确定,求并矢Green函数的工作十分困难和复杂.宋文淼提出的用标量Green函数求解并矢Green函数的方法可以有效地解决这一问题,但文献[3]     

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

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

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

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

同F函数有关的丢番图逼近

在文献[1～3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~＇=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.)     

广义样条函数

关于多项式样条函数的研究已有许多工作。Pruess在文献[1]中讨论了张力样条函数,它是由1,x,shpx,chpx作为基的样条函数,也有作者讨论了用1,x,sinpx,cospx组成的样条函数及由1,x,φ(x),ψ(x)组成的样条函数。这些工作用繁琐的计算尚未得到最终结果。 本文以四个线性无关的函数作为基构造的样条函数,得到了完整的结果而且上述各种样条函数均是本文的一个特例,从而可以直接导出有关的结果。     

经验过程的随机加权逼近及其应用

本文得到了有界函数的指标集上经验过程的随机加权逼近,给出了该过程的强一致收敛速度.在对总体的多元未知分布无任何限制的条件下,给出了多元Von Mises型泛函统计量及其投影寻踪(PP)的随机加权逼近,这一结果对上述统计量的Bootstrap逼近亦成立.     

关于Dirichlet L-函数的均值公式

一、引言 对整数q≥3,设X表示模q的Dirichlet特征,L(s,x)是对应于X的L-函数。在文献[1]中,作者曾讨论了均值     

关于折线函数逼近在单调逼近中的一个应用

用折线磨光的方法给出单调逼近定理的一个新证明。     

关于整函数唯一分解性的进一步结果

所谓函数分解就是将函数写成其他函数的复合,如果一个函数不能分解成两个非线性函数的复合,则称此函数为素的。当函数非素时,人们自然会想,它是否能被唯一分解,这是一个很有趣的课题。 F=f_0 (g_0),其中f_0是非线性的素亚纯函数,g_0是非线性素整函数。若F的每一个形     

关于Hardy—Littlewood极大函数的有界性

本文得到了Hardy-Littlewood极大函数在Orlicz空间中有界的充分必要条件。 定义1 设φ是区间(0,+∞)上的一个实值函数,称φ为N-函数,如果它是一个     

关于b■函数的一个问题

达布(Darboux)函数是指具有“介值性”的函数.Bruckner系统论述达布函数的专著问世后,80年代以来,国际数学界对该类函数的研究一直保持着兴趣.我们获得的一个新结果是,有界、达布、不可测函数类的势为2~c,c是连续统势(《数学进展》即将刊出).自然要问,有界、达布、可测函数类(简称b)的势是什么?本文将回答,它仍为2~c.类似于Ceder和Pearson在文献[2]结尾的一个提问形式,可问是否存在f∈b,使R=(-∞,+∞)成为f在每一点处的左、右导出数集?我们的回答是肯定的,且这类函数,其势仍为2~c.这是上一问题的深入.     

多元样条的B网表示

应用B网来研究二元样条,首推Farin。在文献[1]里,Farin导出了用Bézier坐标来表达二元样条函数的C′连续性条件。在文献[2]里,de Boor及Hllig利用B网确定了三方向分划上的二元三次一阶光滑样条函数空间的逼近阶。 本文研究多元样条的B网表示。特别,我们导出了用B网刻划多元样条C′连续性的一个简洁的公式。     

三值Majority函数单调的充要条件

本文的目的在于通过一个反例说明文献[1]中关于三值Ｍａｊｏｒｉｔｙ函数为单调函数的一个论断是错误的,然后给出这类函数为单调函数的一个充要条件.令Ｅ=0,1/2,1,“≤”表示Ｅ上的通常序,Ｅｎ上相应的乘积序也记作“≤”,设Ｗ1,…,Ｗｎ,Ｔ1/2,Ｔ1是整数,且Ｔ1/2≤Ｔ1,θ∈{1/2,1},Ｘ=(ｘ1,…,ｘｎ),令Ｎθ(Ｘ)=∑{Ｗｉ:Ｗｉ≥0,ｘｉ=θ} ∑{-Ｗｉ:Ｗｉ<0,ｘｉ=θ},这里ｘｉ=1-ｘｉ(ｘｉ∈Ｅ),称ｆ:Ｅｎ→Ｅ是带有权Ｗ1,…,Ｗｎ和阈Ｔ1/2,Ｔ1的三值Ｍａｊｏｒｉｔｙ函数,若ｆ如下定义:ｆ(Ｘ)=1,1/2,0,　Ｎ1(Ｘ)≥Ｔ1;Ｔ1>Ｎ1(Ｘ)≥Ｔ1/2-Ｎ1…