Banach空间中的相补问题

本文在Ｂａｎａｃｈ空间中研究了三类相补问题解的存在性。所得结果是［４，５，６，９，１１－１４］中相应结果的深入和发展。     

二维三温热传导方程组的分数步隐式差分格式

本文给出一个解二维三温热传导方程组的分数步隐式有限差分格式，利用离散变分形式及能量方法，给出差分格式的最优阶离散H^1范数先验误差及稳定性估计。     

单电子能量的解析隐函数表示

本文提出多核体系中单电子能量的解析隐函数表示。此方法建立在直接空间里的原子轨道线性组合和动量空间里波函数的表示。从理论上讲,任何级别的精确值都可以用叠代法求得。文中还讨论了此方法在和键角键长变化有关的分子课题中的可能应用。     

基于系统调用的实时IDS方案

给出一种基于进程系统调用的实时IDS方案.该方案选择网络服务进程(特权进程)作为系统的代表进行监测,使用隐马尔可夫模型(HMM)对系统行为进行模拟和测试,使用实时P(O|λ)值和近期对“某些重要文件”的读、写频率这两个条件作为判断系统是否遭受入侵的标准.实验和分析表明,该方案有较高的预报准确率和较小的时间开销.     

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

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

二维振荡叶栅非定常粘性流动数值模拟

采用显式四步Runge-Kutta格式，结合Baldwon-Lomax紊流模型求解Navier-Stokes方程，借助运动网格技术，完成了对二维振荡叶栅非定常粘性流动的数值模拟。为了加速求解过程，引入了变系数隐式残差光顺方法，取得了较好效果。数值结果与已公布的数据有很好的一致性。     

多体系统动力学Lagrange方法的进展

本文综述了近年来Ｌａｇｒａｎｇｅ方法在多体系统动力学研究中的进展．介绍了３种形式的Ｌａ－ｇｒａｎｇｅ动力学方程及其数值计算方面新的研究成果     

多级轴流压气机叶栅内三维紊流流场的数值模拟

对多级轴流压气机叶栅内三维紊流流场进行数值模拟,采用高精度高分辨率的三阶ENN格式以保证对激波的捕捉和对紊流特征的正确模拟,利用LU-SGS隐式解法提高了计算速度,从而构成了一种既准确又高效的多级跨声速轴流压气机紊流流动数值求解系统。重点研究了动静网格的交接方法及相应的动静交接面处理模型。计算了某带进口导叶的三级轴流压气机,计算结果与实验数据吻合较好。     

高阶Schr(o)dinger型方程的两层高精度恒稳差分格式

众所周知, 高阶Schrodinger方程在量子力学、非线性光学及流体力学中都有广泛的应用.本文对高阶Schrodinger型方程(eu/et)＝I(-1)m(e2mu)/(ex2m)(其中I＝-1,m为正整数),利用待定系数法,构造出一个两层高精度的隐式差分格式.其截断误差阶为O((Δt)2+(Δx)6),比同类格式精度高2～4阶,并用Fourier分析法证明了它是绝对稳定的.最后,数值例子表明本文格式比著名的Crank-Nicolson格式精度高10-2～10-7,这说明我们的格式是有效的,理论分析与实际计算相吻合.     

推进－迭代算法计算效率的研究

本文对求解三维定常超音速动性流场的一次空间推进，在每一个推进站沿伪时间层局部迭代的推进－迭代算法作了进一步的研究．在每一推进站（侧向平面）沿伪时间层局部迭代时，给出了四种不同的隐式迭代方法，即沿侧面两个方向（法向和周向）全用隐式；法向隐式而周向采用Ｇａｕｓｓ－Ｓｉｌｄｌｅ来回扫描迭代；法向隐式而周向显式及以系数矩阵谱半径代替系数矩阵的简化标量隐式算法．用这四种算法模拟了三维球锥黏性绕流，给出了四种不同算法的计算效率和收敛特性比较．