无穷水平倒向双重随机微分方程解的存在唯一性及比较定理

研究无穷区间上的倒向双重随机微分方程,在一类Lipschitz条件下,通过有限区间的逼近,运用Gronwall不等式和It公式,证明了方程解的存在性、唯一性以及比较定理.     

Poisson方程各向异性一阶混合元格式

研究了Poisson方程在各向异性网格下的一阶混合元格式，在不引入传统投影算子的情况下，直接利用插值技巧得到了与以往文献相同的误差估计．     

交通流宏微观参数关系方程组实证分析

本文以James H．Banks关于平均时间间隔的研究为基础，提出交通流宏微观参数关系方程组，理论上较全面地描述两类交通参数的关系；应用实测交通数据对该方程组进行数据实证。分析表明，使用关系方程组产生的偏差不仅与统计时间间隔有关，而且与检测点的位置、交通状态相关。通过分析关系方程组的推导可知，偏差源于两个等式在理论上与实际运用中的不同。     

巧用代数方法解决解析几何中的某些问题

高等代数是解析几何的工具,同时,解析几何为代数提供具体的实例模型,因此它们是不可分割、紧密联系的.解析几何中的某些问题,如果使用常规的解题方法,其过程可能相当复杂,但如果巧用代数方法,则问题的解决会变得非常简单.文章将巧用代数方法解决解析几何中的某些问题.     

基于IFCM-GRA的空间多维热误差温度测点优化

热误差是精密、超精密加工中主要的误差源之一,热误差温度测点优化是热误差补偿的关键问题.在机床空间多维布置的大量温度测点之间存在多重相关性,从众多测点中选取特征点的优劣程度,将直接影响到热误差补偿效果.通过对温度测点间多重相关性及温度与热误差关系的综合分析,采用改进的模糊C-均值(IFCM)聚类算法对温度测点进行聚类,以减小类与类之间温度测点的相关性,且避免FCM算法对初始聚类中心敏感易局部收敛的缺点.对温度测点按灰色关联分析(GRA)中的灰色综合关联度进行排序,从变化量和变化率的角度综合反映温度与热误差的关系.采用IFCM-GRA对温度测点进行优化,提高了热误差模型的鲁棒性及准确性,使温度测点数量大幅度减少.在某型号精密卧式加工中心上进行实验,温度测点从17个减少到4个.在不同转速下,利用多元线性回归对优化出的温度测点与热误差建立模型,所建立模型均能很好地预测热误差变化情况,经对预测模型分析,轴向热误差由几十微米减小到5μm以内.     

关于一类不定方程有解的一般性结论

用模型论的方法证明了一类不定方程a1xr11 a2xr22 ... anxrnn=bys(其中a1,...,an,b为任意整数,r1,...,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.     

一类无穷级数和的计算方法

雅可比椭圆函数具有双周期性质,可以展开为傅里叶级数,也可以展开为幂级数,对比变量的展开系数,得到了一类无穷求和的解析表达式。Einstein级数具有模变换性质,可以得到无穷求和的恒等式,取模参数为特殊值,就得到了另一类无穷求和的值。     

基于DTD元素树的XML与RDB的双向映射算法研究

分析了XML文档到关系数据库的映射方法,并提出了元素树和元素树节点与其他类型数据之间的映射算法.在此基础上建立了XML模式和关系模式之间的双向映射模型,并给出了双向映射模型算法,从而完成了XML与RDB数据转换.     

Direct algorithms for constructing high-order conservation laws of nonlinear partial differential equations〖CB〗

提出了构造非线性偏微分方程高阶守恒律的直接法并在Maple上实现,算法易操作,效率高.作为算法的应用,考虑了许多高维非线性偏微分方程,如Caudrey-Dodd-Gibbon-Sawada-Kotera方程、Boiti-Leon-Manna-Pempinelli方程和(2+1)-维Burgers方程以及It?方程组,得到了它们的新的高阶守恒律.该算法还可用于构造更高维更高阶的守恒律,亦可推广至微分-差分方程(组).     

一类非线性变型Hammerstein方程的解的奇异展开

 方程解的奇异分解对于获得方程具有物理意义的近似解意义重大。对具有对数核的弱奇性变型Hammerstein方程的解的特性进行了分析, 获得并证明了它的解的奇异展开。