拟线性抛物组第一边值问题的差分方法(续)

本文在文献[1]的基础上,继续讨论拟线性抛物组第一边值问题的有限差分方法.首先就弱隐式差分组解的存在性以及强隐式和弱隐式差分解的唯一性进行了论证,最后给出了差分解的收敛性.特别是对显式和弱隐式差分组,给出了收敛性条件,即关于差分步长限制条件.     

求解一维热传导方程数值解的高精度方法

利用加权隐格式，在固定网比的前提下，得到修正加权因子θｏｐｔ，利用此θｏｐｔ，利用此θｏｐｔ求解一维热传导方程所得到的数值解，同Ｃｒａｎｋ－Ｎｉｃｈｏｌｓｏｎ格式求得的数值解相比，具有更高的精度，并在此基础上，在一定的加细划分下求解，同时得到了较好的高精度数值解。     

单晶SiNd：YAG激光连续退火的数值计算

应用固相外延模型来模拟单晶Si的连续Nd：YAG激光退火过程,在低功率密度连续激光退火下,用准静态模型模拟辐照区向非辐照区的径向传导散热。在数值计算中，应用部分线性法处理非线性非齐次热传导方程,得到相应的隐格式差分方程，再用追赶法求解隐格式差分方程,得出绝热边界条件下的温度的时间和空间分布，从而得出激光退火的再结晶厚度。当激光波长λ=1．06μm、功率密度io=700W／cm^2。预热温度T0=523K时，经过0．7秒，表面温度度升到1290K左右，再结晶厚度约为0．5μm。     

一类隐函数及其在计量抽样检查中的应用

本文引进了一类隐函数，讨论了它们的性质，并制作了相应的数值表，以此为基础，对计量抽样检查标准中双侧规格限的情形，给出了无限定条件的、理论上精确的抽样方案。     

用双光子偏振纠缠态验证“Bell—Kochen—Specker”理论的理论实验

量子纠缠是近年来基础物理中的热点话题之一。“Bell-Kochen-Specker”理论表明“背景无关”的隐变量理论与量子力学不相容，从而揭示了量子系统的整体相关性。本文在两篇文献的基础上，对电子偶素湮灭产生的双光子偏振纠缠态作了分析，说明在这种情况下“背景无关”隐变量理论与量子力学的不相容性。     

求Rp上不变密度的一个直接方法

本文利用一个熟知的多元积分变量变换定理对R^p上的不变密度给出了一个不涉及Haar测度理论的纯微积分处理.对较一般的情形以一个等式的形式给出了非负Lebesgue可测函数为不变密度的充要条件,从而提供了求不变密度的一个直接方法.进一步还对变换群可迁地作用于集的情形导出了所谓严格不变密度的统一的显式表达,并由此证明了严格不变密度的存在性与唯一性.     

计算最小奇异组的一个精化调和 Lanczos双对角化方法

在很多实际应用中需要计算大规模矩阵的若干个最小奇异组.调和投影方法是计算内部特征对的常用方法,其原理可用于求解大规模奇异值分解问题.本文证明了,当投影空间足够好时,该方法得到的近似奇异值收敛,但近似奇异向量可能收敛很慢甚至不收敛.根据第二作者近年来提出的精化投影方法的原理,本文提出一种精化的调和Lanczos双对角化方法,证明了它的收敛性.然后将该方法与Sorensen提出的隐式重新启动技术相结合,开发出隐式重新启动的调和Lanczos双对角化算法(IRHLB)和隐式重新启动的精化调和Lanczos双对角化算法(IRRHLB).位移的合理选取是算法成功的关键之一,本文对精化算法提出了一种新的位移策略,称之为"精化调和位移".理论分析表明,精化调和位移比IRHLB中所用的调和位移要好,且可以廉价可靠地计算出来.数值实验表明,IRRHLB比IRHLB要显著优越,而且比目前常用的隐式重新启动的Lanczos双对角化方法(IRLB)和精化算法IRRLB更有效.     

二类广义Vandermonde行列式的计算

给出了二类广义Vandermonde行列式计算的显式表示式.