关于一类可乘函数的均值

研究了一类可乘函数的均值估计,利用解析方法给出了几个较强的渐近公式,所得结果表明该类函数具有较好的渐近分布性质.     

马尔可夫调制的中立型随机时滞微分方程的弱吸引性

利用Ito公式和局部鞅收敛定理,确立了马尔可夫调制的中立型随机时滞微分方程弱吸引性的充分条件;中立型模型的确立,增强了模型贴合工业实际的能力.通过将条件适当加强,得到了方程更好的吸引性,同时为有界性和稳定性的新准则确立奠定了基础.     

非Lipschitz条件下带扰动倒向随机微分方程的比较定理

对带扰动的倒向随机微分方程进行了研究,利用Gronwall不等式,Jensen不等式,以及常微分方程的比较定理,给出了一类非Lipschitz条件下带扰动的倒向随机微分方程解的比较定理．     

随机变时滞递归神经网络的几乎指数稳定性

研究了一类随机变时滞递归神经网络的几乎指数稳定性问题。利用Lyapunov函数方法和Ito公式,结合矩阵分析技巧,给出了系统几乎指数稳定的判别准则。数值例子说明了该结果的有效性。     

线性滑动光滑法对非线性数据处理结果的影响

利用线性滑动方法中的一阶五点公式、处理了一组物理实验数据。结果对比分析表明,对物理实验中的原始数据先经过必要的数据预处理,能提高实验数据处理结果的精度,增强物理实验的验证效果。     

高斯型Runge-Kutta方法研究

提出了一类高斯型Runge—Kutta公式的推导思想,并具体的给出了一个两点三阶高斯型Runge—Kutta公式,证明了高斯型Runge—Kutta公式的精度高于传统的对应的Runge—Kutta公式。     

吸收介质表面Brewster定律的数值解

讨论了吸收介质表面的Fresnel公式,对介质表面的Brewster定律进行了数值求解.总结了吸收介质表面发生Brewster反射时的规律,得到了三维数值解曲面图,使复杂的问题简单化、直观化.     

梁配筋计算近似公式的推导与运用

本文介绍一个梁配筋计算的近似公式,并阐述了详细的推导过程。近似公式可用于设计校审的全过程。     

欧拉公式的推论与应用

本文由欧拉公式得到了重要的推论,并对其应用进行了分析,揭示了指数函数与三角函数之间的内在联系,指出了欧拉公式及其推论在解决相关问题中的重要作用。     

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.