WZ方法的两个应用

基于一个重要的观察,推广了Wilf的一个结果,由此获得Gosper公式3∞∑j=1(1/(j2(2j j)))=(π2)/(6)的一个简洁有趣的推广.另一方面,利用WZ理论中的有关结果获得了形如rn∑k=0F(pn,k)(其中p、r均为一般的参数)的不完全定超几何和的不定和表示,这里(F(n,k),G(n,k))为一对WZ偶,特别地,由此获得了不完全定超几何和fp,r(n) =rn∑k=0(pn k)xk的不定和表示.     

二项式序列bn(r,s)在模p下的同余性质

将序列bn(r)=n∑k=1(nk)I(nk-1)r-I推广成bn(r,s)=n∑k=1(nk)r(nk-1)s ,并研究序她bn(r,s)在modp下的同余性质,得出对任意奇素数p和k,r,s ∈N,有bkp(r,s) O(mod p)的结论.     

方幂和中因子3的指数(英文)

给出下面方幂和中因子 3的指数公式∑n - 1k =0 (x +kd) r,d =3s+ 1,3s+ 2 ,3s+ 3 ,其中x ,r ,n是正整数 ,s是非负整数 ,n =3am ,3 m     

有输入时滞的最优控制系统

通过构造哈密尔顿函数,应用最大值原理研究了多重输入时滞系统x(t)=A(t)x(t)+(p∑i=0)Bi(t)u(h-hi)在性能指标J=1/2[xT(k)Sx(t)]+1/2∫(tkt0)[uT(s)Q(s)u(s)+xTR(s)x(s)]ds下的最优控制.     

A(n,k)精确公式的一般形式

设k为任一确定非负整数,A(n,k)为不定方程∑ki=1ixi=n的非负整数解的个数,作者给出了递推公式A(n,k)=A(n,k-1)+A(n-k,k)的通解的一般形式为A(n,k)=∑km=1∑mr=1∑[k/m]-1j=0t(k)m,r,j×nj×s(r,m)×ζnrm,其中ζm=e2πi/m,s(r,m)=1,gcd(r,m)=1,0,其他.     

R3中紧致凸曲面的等周不等式

∑是R^3中紧致凸曲面,∑上有一定长为L的简单闭曲线C,由C围成的区域D的面积为A,利用△∑r^2=4＋4H（r,n）、散度定理和庞加莱不等式,得等周不等式为L^2≥4πA＋4πp0H0,其中H0=min{Hp,Hp为∑在p点的平均曲率},p0=max{（r,n〉p,（r,n）p为三在p点的支撑函数的值}。     

尖点形式L函数的零点密度估计(Ⅱ)

设k为一正偶数,T是充分大的正数,s=σ+it,3≤Q=T,q为一正整数,χ是模q的特征,f(z)=∞∑n=1a(n)e2πinz为Γ=SL2(z)的权为k的全纯尖点形式.设Nf(σ0,T,χ)表示函数Lf(s,χ)=∞∑n=1χ(n)a(n)n-s在带形区域k/2+(l/(log(Q2T))≤σ0≤σ≤((k+1)/2),|t|≤T内的零点个数.当k/2+1/3≤σ0≤((k+1)/2)时,由Dirichlet多项式理论得出了∑q≤Q∑χmodqNf(σ0,T,χ)的一个上界.     

球面函数Cesàro平均的带权强性求和

设f(x)∈Lp(Ωn),1≤p≤2,δ>(n－1)(1p－12),σδN(f)(x)表示f(x)在n维球面Ωn上的Cesàro平均.本文证得limN→∞1N+1∑Nk=0|σδk(f)(x)－f(x)|2ak=0 a.e.x∈Ωn.其中权系数ak≥0满足1≤1N+1n[]k=0ak≤A(A是一个绝对常数).     

关于LP(0＜p＜1)尺度下多项式导数的不等式的改进

以Hn 表示n次代数多项式的全体 ,得到如下的定理 :设 0

相似文献   

Zeilberger算法、Petkovse算法与一类组合和是否有闭形式的问题

提出研究形如 的组合和的闭形式问题的Z-P方法,并利用此方法得到了如下结果:1)当 时证明了对未定元 , 无闭形式表示；2)对 、 、 及 取特定的值，借助计算机归纳出几个值得探索的猜测．     

一个既约次梯度算法

本文讨论带有线性非负约束的凸不可微规划问题,给出了解这类规划的既约次梯度算法.所给出的算法采用不精确的线性搜索,而且证明了算法的收敛性.     

关于启发式搜索算法的一种修正算法

本文讨论了如何利用专家经验和样本训练得到启发评价函数,并得到一种修正算法.     

一种简单的变步长自适应α—LMS滤波算法

提出了一种简单的变步长α-LMS算法(vα-LMS),并给出了它的设计方法。导出了描述α-LMS算法收敛过程的动态方程,并据此讨论了α-LMS算法的算法性能。与vα-NLMS算法相比,Vα-LMS算法的优点是简单易行、计算量小,但它对输入信噪比的稳健性(RObustncss)却劣于Vα—NLMS算法。Vα-LMS算法的性能将优于Dα-LMS算法。计算机模拟结果与理论分析结果吻合较好.     

三维Otsu阈值分割方法的快速实现

针对图像分割中三维Otsu阈值法存在的计算复杂度高的问题,笔者提出了一种三维Otsu阈值分割方法的快速实现算法,该算法通过用递推的方法得到查找表,从而消除三维Otsu阈值法中的冗余计算,能够很好地提高三维Otsu阈值法的计算速度.实验结果表明,该算法不仅计算时间远远小于原始三维Otsu算法, 并且求得的阈值跟原始的算法一样.     

一种小生境布谷鸟算法

为提高布谷鸟算法的搜索能力和收敛速度,提出了基于小生境思想的改进布谷鸟算法。在该算法中,对鸟巢按距离进行分组,组内根据适应值大小进行不同范围的Lèvy分行,组间进行自定义的"交叉"运算,以增强算法的全局和局部搜索能力。实验仿真表明,小生境布谷鸟算法在函数优化问题上,提高了优化精度和稳定性。     

一种新的阴影算法

本文通过对Williams的Shadow Z—Buffer阴影算法的分析和研究,建立了一个圆锥阴影模型,设计了一种新的阴影算法。圆锥阴影模型可以用空间精确的点判别空间精确点的可照性,从而避免了因点取整带来的问题。阴影算法中引入了盒子试验,提高了算法的速度。利用这个模型和算法可以产生任何物体的各种阴影。     

一种新颖的词聚类算法

基于类的统计语言模型是解决统计模型数据稀疏问题的重要方法.传统的统计方法基于贪婪原则,常以语料的似然函数或困惑度(perplexity)作为评价标准.这种传统的聚类方法的主要缺点是聚类速度慢,初值对结果影响大,易陷入局部最优.本文提出了一种新颖的词相似度定义,在词相似度的基础上,还首次给出了词集合相似度的定义.基于相似度,提出了一种自下而上的分层聚类算法,这种方法不但能改善聚类效果,而且可根据不同的模型选择不同的相似度定义,因而提高聚类的使用效果.实验证明,该算法在计算复杂度和聚类效果上比传统的基于贪婪原则的统计聚类算法都有明显的改进.     

LR分析法的矩阵压缩算法

LR分析法可对LR文法的句型进行语法分析,此分析法特点是对输入串自左至右的扫描和自底向上的归约。完全扫描和归约需借助于一个总控程序和一张LR分析表,分析表是一个稀疏矩阵。本文给出LR分析表压缩成状态——符号矩阵表的压缩算法,并对总控程序作了相应的修改。从而将LR分析法改造成状态——符号矩阵分析法。     

一种快速的单模式匹配算法

在分析了BM算法以及一些重要的改进算法的基础上,提出一种新的改进算法—Y_BMHS 算法.该算法利用辅助的二维数组,考虑了文本串后间隔的两位字符和模式串首字符的唯一性,使 得最大位移提升到m+3,出现概率也显著提高,加快了匹配速度.实验证明Y_BMHS算法比BM、 BMH、BMHS等算法有更好的性能.