n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．     

量子计算中的六个组合恒等式的证明

证明了量子计算中出现的六个组合恒等式。     

关于系数平方增长的带跳BSDE的解(Ⅰ)

讨论了系数关于q为平方增长,p和-y为指数增长的带跳倒向随机微分方程(BSDE)解的存在性,以及有这种系数的反射BSDE解的存在性.     

关于Hurwitz Zeta函数的积分均值

设ζ(s,α)为HurwitzZeta函数.当Re(s)>1时,定义ζ(s,α)=∑∞n=01(n+α)s(实数α>0),ζ′(s,α)、ζ″(s,α)分别表示关于复变量s的一阶导数、二阶导数.利用解析方法及三角和估计给出了ζ(s,α)对参数α的积分均值的一些有趣的渐近公式.     

超球上关于不变度量的（0，q）-Green式的性质

证明了：对任一（0,q)式g(z)=1/q!g_Aq(z)dz^Aq,其系数gAq-(z)满足:gAq(z)/1-|z|^2在B^n-连续，则有□w∫Bng(z)∧*N(z,w)=g(w)。     

应用Bernouli序列求sum from i=1 to n(i~k)的一种方法

采用初等数学方法 ,直接定义Bernouli序列 ,用数学归纳法证明了Bk (n +1) -Bk (n) =knk-1,并用此式得到∑ni=1 ik 的求和公式     

随机可变时滞系统的渐近稳定性

讨论了一类随机可变时滞系统解的渐近稳定性。应用It 公式、半鞅收敛定理与多个Lyapunov函数建立了这类随机可变时滞系统渐近稳定性的有效判据,使实际应用中构造Lyapunov函数更为方便。同时也说明了结果包含经典的随机系统稳定性结果为其特殊情况。与经典的随机稳定性理论相比,所建立的稳定性结果无须LV负定,充分利用了随机扰动项的作用,并且从理论上解释了一个不稳定的系统有时加入适当随机扰动后反而稳定。最后,举例说明了结果的有效性     

d维问题离散Green函数的几个估计

对于一般的d维二阶椭圆边值问题，首先证明了离散δ函数具有O（h^-d＋d/p）阶的L^p估计和O（h^-d-1,d/p）阶的W^1-p估计，然后得到了准Green函数的L^2估计，最后导出了离散Green函数的L^2,L^x和H^1估计。     

FS120型空心粉丝机挤压螺杆的设计计算

通过对FS-120型空心粉丝机挤压螺杆的参数选择、载荷公式的建立，计算了挤压螺杆的各种变形。