Kac-系统与Morita等价

本文讨论与Hilbert C~*-模相关的Kac-系统在C~*-代数上的作用的性质,给出了两个Morita等价的C~*-代数(在Kac-系统的作用下得到的C~*-代数的余交叉积是Morita等价的)。从而,Baaj和Skandalis等人的结论是本文定理的特殊情况。     

几乎各向同性的高维空间分数阶扩散方程的分块快速正则Hermite分裂预处理方法

一类空间分数阶扩散方程经过有限差分离散后所得到的离散线性方程组的系数矩阵是两个对角矩阵与Toeplitz型矩阵的乘积之和.在本文中,对于几乎各向同性的二维或三维空间分数阶扩散方程的离散线性方程组,采用预处理Krylov子空间迭代方法,我们利用其系数矩阵的特殊结构和具体性质构造了一类分块快速正则Hermite分裂预处理子.通过理论分析,我们证明了所对应的预处理矩阵的特征值大部分都聚集于1的附近.数值实验也表明,这类分块快速正则Hermite分裂预处理子可以明显地加快广义极小残量(GMRES)方法和稳定化的双共轭梯度(BiCGSTAB)方法等Krylov子空间迭代方法的收敛速度.     

有限元、自然边界元与辛几何算法--冯康学派对计算数学发展的重要贡献

计算数学是当代数学科学的重要分支,是伴随着计算机的出现而迅速发展并获得广泛应用的新兴交叉学科,是数学及计算机实现其在高科技领域应用的必不可少的纽带和工具.计算与理论和实验相并列,已经成为当今世界科学活动的第三种手段,这是二十世纪后半叶最重要的科技进步之一.值此世界进入新的世纪,国际数学家大会将首次在我国召开之际,回顾半个世纪来我国计算数学的发展,尤其是以已故冯康院士(1920-1993)为代表的我国计算数学家群体,即"冯康学派"对国际计算数学发展所做出的重要贡献,是非常有意义的.当然由于篇幅所限,本文只能涉及部分研究领域和少数专家学者,挂一漏万在所难免.     

Liénard方程的推广及其应用

本文推广了Ｌｉéｎａｒｄ方程的类型，并用其研究了一个二次微分系统极限环的唯一性问题．     

一类超线性椭圆方程的无穷多解

本文研究了一类超线性椭圆方程,这里的非线性项是奇的.我们不需要假设Ambrosetti-Rabinowitz条件,得到了无穷多个大能量解的存在性.我们的结论推广了邹文明最近的结果。     

小周期型复合材料稳态热传导问题的一种双尺度渐近展开收敛性分析

给出一类具有某种对称性小周期复合材料稳态热传导问题解的渐近表示方法.区别于传统多尺度计算方法,将计算过程中需要求解的关于单胞Q的H_per¹(Q)周期边值问题改为齐次边值问题,这样数值方法求解时协调元空间容易构造;另一方面传统的多尺度渐近解不满足原始问题的边界条件,新构造的渐近形式不仅满足原始问题的物理边界条件,同时保持一定的收敛阶,更能被工程上所接受.     

弹性力学中单边接触问题的混合有限元法

给出了弹性力学中单边接触问题模型产生的变分不等式的一种新的混合有限元逼近. 用分片连续的P₂-P₁元来分别逼近位移场和接触域上的法应力, 在合理的正则性假设下得到最优收敛阶. 数值算例验证了该理论结果.     

保持理想的Gr(o)bner基的同态映射的一个有效判定方法

设Θ是k[x1,x2,……,xn]上的自同态映射,＞,＞′分别是有理项序.本文刻划具有下列性质的同态映射Θ对任意Grobner基G(关于项序＞),GoΘ仍是Grobner基(关于项序＞')并且较好地解决了Hong的问题1[1].     

二维稳态各向异性介质渗透率的反演问题

1.引 言由多孔介质的渗流理论,二维稳态各向异性介质的渗流问题满足下列偏微分方程 -div(u(x,y)(?)u(x,y))=f(x,y),(x,y)∈Ω(?)R2, (1.1)     

拟一致无迹卡尔曼滤波算法北大核心CSCD

针对一般的非线性系统,研究了无迹卡尔曼滤波(UKF)算法的一致性问题.通过对传统UKF算法的修正,提出了拟一致UKF(QCUKF)算法,同时给出了修正参数的选取准则,并且在理论上证明了所提算法的拟一致性.当算法具有拟一致性时,估计精度可被实时评估.最后,通过仿真实例说明了所提算法的可行性以及拟一致性.