增广Krylov子空间上的精化Lanczos方法

精化Lanczos方法用于计算大规模对称矩阵特征对,与传统的Lanczos方法不同,主要是利用精化向量的优越性,用精化向量替代Ritz向量,介绍了用精化Lanczos重启方法和精化Lanczos压缩重启求近似特征对,理论上分析它们与传统方法的差别及优劣性。     

解反对称矩阵特征问题的精化广义Lanczos方法

利用广义Lanczos算法,提出了一种计算反对称矩阵特征问题的广义Lanczos方法,并根据精化策略给出了求解大规模反对称矩阵部分特征对的精化广义Lanczos算法,数值实验表明精化变形需要的迭代次数更少.     

隐式重新启动精化Lanczos双对角化方法

给出一种计算少数几个最小奇异三元组的隐式重新启动精化Lanczos双对角化方法,采用调和Ritz值作为位移,有效地逼近大规模矩阵的小奇异值的奇异三元组,算法用精化残量,精化奇异向量和精化Rayleigh商,同时采取压缩技术压缩掉已经求出的小的奇异三元组,数值实验表明,算法更有效地求解大规模矩阵的小奇异三元组,收敛速度也快.     

求解对称矩阵特征问题的精化Arnoldi方法

研究在有限精度下,如何用精化Arnoldi方法求对称矩阵的一组正交程度可达到机器精度的近似特征向量组.首先给出精化Ritz向量的一个新的表达式,该表达式表明理论上对不同的近似特征值,一般地无法保证精化Arnoldi方法所确定的精化Ritz向量组是正交的.进一步,采用再正交化方法便可得到一组正交化程度可达到机器精度的标准正交近似特征向量组,最后的数值结果验证结论的准确性,同时再正交化后得到新的近似对的残量几乎是不变的.     

特殊正交各向异性压电弯曲板的精化理论

对特殊正交各向异性压电材料进行了精化分析,给出了该材料板弯曲时的精化理论。首先,介绍特殊正交各向异性压电材料满足的基本方程和通解,并将调和函数的算子函数表示推广到椭圆广义调和函数。其次,利用算子函数表示将板内的位移场、电势场、应力场和电位移场利用二维函数表示出来。然后,利用非齐次边界条件,获得该板在作用横向载荷时的精化方程。最后,对精化方程进行分析,略去高阶项后,得到了特殊正交各向异性压电弯曲板作用横向载荷时的近似方程。由于该研究方法没有进行预先假设,所以获得的结果比一般的板变形理论更精确。     

求解大型对称特征值问题的改进的块Davidson方法

块Davidson方法是求解大型对称矩阵特征值问题的一种有效方法．但对一些特征值问题，当Ritz值收敛以后，该方法并不能保证Ritz向量也同时收敛．因此，为加速块Davidson方法的收敛性，研究了块Davidson方法的重新开始技术，将精化策略和收缩技术应用于块Davidson方法，提出了收缩的精化块Davidson方法．数值试验结果及理论分析均表明，新方法比块Davidson和块Lanczos方法有更好的收敛效果，对计算大型对称矩阵的一些极端特征对是有效的．     

一类特殊子空间上调和Ritz对的性质及应用

讨论了增广矩阵在一类特殊子空间上的调和Ritz对的一些性质,并且结合Lanczos双对角化过程,研究了如何可靠且有效地计算部分最小的近似奇异值、近似奇异向量以及精化调和位移等问题。     

一种精化演算支撑工具的分析与设计

利用精化演算的方法开发软件，其过程由巨大数量的小步骤构成，由手工完成极其烦琐，也极容易出错，因此利用机器辅助工具的支持是必要的，在分析现有的精化工具的基础上，提出了一个用于软件形式化开发的精化工具，并对其进行了需求分析和功能分析，在精化工具的设计中，讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统，同时分析了设计中的设计目标，总体结构，精化与证明的表示方法，用户     

正交异性板的后屈曲和Karman型精化理论

基于Ｋａｒｍａｎ型正交异性板的精化理论，本文采用挠度型摄动技术研究了复合构造矩形板的屈曲与后屈曲性态。分析中应用了由该理论导出的广义大挠度Ｋａｒｍａｎ方程，不仅考虑横向剪切，而且包含因材料指向性引起的剪弯相互作用。用此摄动技术构造出了四边简支正交异性中厚板和夹层板的后屈曲路径高阶渐展开式。通过比较可以看出，当前计算结果更接近相应的三维弹性理论精确解。     

精化杂交法及精化平面四边形单元

基于新的泛函、合理的变量假设及应变正交化，提出了称之为精化杂交 元的方法。精化杂交法可以使单元的应变能按假定的应变模式分解，由此得 到相应的分解的单元刚度矩阵，而且常常可以推出显式。精化杂交法有效地 提高了杂交应力元或广义杂交元的精度和计算效率。所建立的平面四边形精 化杂交元，可以作为对著名的Ｐｉａｎ单元的改进。算例表明，所建立的四边形 单元较已有的各类平面四边形单元具有更高的精度和计算效率。     

求解大规模矩阵内部特征值问题的精化与修正的精化调和块Arnoldi算法(英文)

调和块Arnoldi方法可以用于求解大规模矩阵的内部特征对,给定一个位移点τ可以用该方法求接近τ的内部特征值及其相应的特征向量.然而,理论分析表明,所求得调和Ritz向量可能收敛非常缓慢,甚至不收敛.为避免这种情况,给出了精化调和块Arnoldi及修正的精化调和块Arnoldi方法.此外,还给出了修正的精化调和Ritz向量和精化调和Ritz向量之间的关系.数值实验结果表明了新算法的有效性.     

一种调和Ritz向量的精化算法及应用

利用调和Arnoldi算法的一种等价形式,用较少的运算量将大规模矩阵特征值问题转化成一个小型的标准特征值问题来求解调和Ritz对。针对调和Arnoldi算法中调和Ritz值收敛而相应的调和Ritz向量往往不收敛的情况,保持调和Ritz值不变,结合精化Arnoldi算法的思想给出了一种在位移Krylov子空间上对调和Ritz向量进行精化求解的精化变形算法,以寻求使残量范数达到极小的近似特征向量。理论分析和数值实验表明这种精化变形算法的可行性、有效性以及更快的收敛速度,利用此算法可以更快求解满足精度要求的大规模矩阵的特征值和特征向量。同时,将这种算法应用于图像K-L变换的协方差矩阵的特征值和特征向量的求解,克服了K-L变换中由于图像矩阵过大而求解过程困难的问题,选取前若干个较大的特征值所对应的特征向量构成变换矩阵进行K-L变换来压缩图像,能直接应用于实时的图像压缩,较对图像分块在每个小块上进行K-L变换的方法更有效。     

梁横向振动方程解的Ritz方法

考虑计算梁横向振动方程解的Ritz方法.主要结果的证明运用变分法.首先,证明变分问题（2）与问题（1）等价;其次,采用坐标函数系来构造适当的近似解;最后,将问题（1）的解的近似计算问题离散化为线性方程组解的计算问题,获得了计算问题（1）解的近似值的Ritz方法,而且可以用第n次近似值来估计第n-1次的近似值的精确度.随着n的增大,解的精确度逐步提高,只要适当选取n,就可以求得所要精确度解的近似值,这个算法具有广泛的实用价值和理论价值.     

矩形板的里兹—康脱洛维契混合法

本文提出里兹—康脱洛维契混合法求解矩形板的弯曲问题。由此获得了较好的近似函数解。     

解大规模矩阵内部特征问题的简单调和Arnoldi方法

给出了调和Arnoldi算法的一种等价变形.利用求解Krylov子空间和其位移子空间的基之间的巧妙关系式,作者以较少的运算量将原大规模矩阵特征问题转化为一个标准特征问题求解,比原来调和Arnoldi算法求解广义特征问题要简单.简要分析了新方法收敛的充要条件.数值试验表明了新方法比调和Arnoldi算法有效,尤其是当求解子空间维数较小时,新方法的优越性更明显.     

Ritz向量叠加法的改进及其应用

揭示了Ｒｉｔｚ向量叠加法的实质及存在的问题，发展了与外载频率相关的Ｒｉｔｚ向量叠加法及多维外载作用时的Ｒｉｔｚ向量叠加法。着重讨论了地震荷载作用下，用Ｒｉｔｚ向量叠加法进行结构反应计算的有效性及局限性。     

张量与张量转置的特征值问题

研究了张量与张量转置的特征值问题,证明了张量的mode-p,特征对与张量p-转置的mode-i特征对是相同的,通过例子说明了张量与张量p-转置的mode-i特征值不一定相等,当mode-i特征值μ1和mode-j特征值μ1不相等时,对应的特征向量也不一定正交.从而说明了矩阵特征值的性质并不能完全推广到张量情形.此外,还给出了张量与张量p-转置的mode-i特征对相等时指标向量p需要满足的条件.     

关于Arnoldi精化算法的收敛性

对于解大型非对称阵Ａ特征问题的Ａｒｎｏｌｄｉ方法，为克服Ｒｉｔｚ值收敛于特征值时而Ｒｉｔｚ向量不一定收敛于特征向量这一弊病，Ｊｉａ提出了用精化向量了代Ｒｉｔｚ向量的精化算法，并且对于具有相异特征值的Ａ证明了：只要Ｒｉｔｚ值收敛于特征值，精化向量就收敛于特征向量，本文取消对Ａ的限制，证明了即使Ａ可能亏损的一般情形上述结论也成立。