一个支持战争分析仿真实验的策略模型

针对战争分析仿真实验运行控制过程中的新要求,在介绍战争分析仿真引擎的基础上,提出一种支持战争分析仿真实验的仿真运行机制模型,即集成策略-运行策略-应用策略模型,并给出了相关的关键算法,使得能够实现模型集成和驱动机制、可控实验、单方评估/对抗仿真等多种仿真需求,完成对战争分析的虚拟实验。     

循环塑性与疲劳裂纹扩展门槛值

基于材料的循环塑性预测了疲劳裂纹扩展的门槛值.所提出的模型强调材料的循环塑性对疲劳裂纹扩展的影响.结合无位错区理论和内聚区理论计算循环载荷下裂纹吸附区的J积分值,并以J积分作为断裂参数建立裂纹扩展的标准.由此计算的疲劳裂纹扩展速率符合通常的模式,预测的门槛值与实验拟合较好.当前模型的主要特点是近门槛疲劳主要由材料的循环变形行为确定,进而由标准循环加载的实验确定,这对于工程实际有重要意义.     

BTCS:基于二叉遍历的XML文档编码模式

XML文档数据的编码模式与索引技术决定了基于纯XML数据库的XML查询效率,在正则路径表达式实现方面有重要意义.基于树遍历的XML文档编码在更新与结构关系判断方面存在不足.为了解决此类问题,作者作了如下工作:(1)提出一种新的基于二叉树遍历的XML文档编码模式BTCS(Binary Traveling Coding Scheme);(2)实现了BTCS编码算法,支持XML文档更新,提高了编码更新效率;(3)在常数复杂度的时间内快速准确判断XML文档结构树中任意两个结点之间的父子以及祖孙关系,并能计算它们的辈数差(Distance of Genera-tions);(4)通过详细实验证明了BTCS编码模式的良好性能.     

多孔介质中可压缩驱动问题的全离散分裂正定混合元方法

提出了数值模拟多孔介质中可压缩驱动问题的全离散分裂正定混合元方法.引入分裂正定混合有限元方法来求解抛物型的压力方程.混合有限元方程组是对称正定的，并且流函数方程不依赖于压力方程.采用标准的Garlerkin方法来处理对流－扩散型的饱和度方程.给出了此方法的全离散格式，并分析了该全离散格式的收敛性.     

有限空间年龄结构种群模型的数值分析

对一类有限空间年龄结构种群模型提出了一种数值方法．运用迎风格式和Euler向前差分格式进行求解．给出了格式的稳定性，得到了最大模误差估计，证明了数值解的非负性并给出了数值算例．     

一族奇异摄动时滞方程的有限差分法

考虑一族奇异掇动时滞微分方程．基于奇异摄动时滞方程准确解的性质，在分片等矩的Shishkin型网格上构造了线性奇异摄动时滞方程的有限差分格式，证得数值结果是关于小参数一致收敛的．应用牛顿拟线性法求解非线性奇异摄动时滞方程．数值实验证实了理论结果的准确性，进而表明该理论估计是稳健的．     

用于层圈相互作用的冰冻圈参数化模型

给出了一个用于研究各层圈相互作用简化的冰冻圈模型.对其中两个重要分量:季节性雪盖和冻土内部复杂而相互作用的水、热传输和相变物理过程作出简化及改进,发展了相应定量描述的参数化方案;最后利用国内外多个观测站长年的观测数据,对所发展模型作了验证,发现模拟结果与实测数据吻合得很好,表明所发展雪盖和冻土参数化方案能适用于层圈相互作用研究的需要.     

一个具有对偶适应度函数的遗传算法

提出一个具有对偶适应度函数的遗传算法.该法提供了一个阈值,利用对偶适应度函数值辨别全局最优盆和局部最优盆.根据辨识结果,自适应地设置变异概率.对几种典型函数的测试结果表明,该法的全局收敛性能及收敛速度优于标准遗传算法.     

模拟退火算法机理研究

从机理上分析了采用Metropolis概率接受准则的重要性 ,认为按照该准则可以使模型跳出局部极小值 ,避免了落入局部极小点的可能 ,然后在退火计划的控制下模拟退火算法 ,最终可以找到最优解 ;深入分析了算法的退火计划和模型扰动 ,以及两者之间的配合的技巧 ,认为算法本身可以作进一步的改进 ;并提出了改进的思路 ,为下一步的具体改进打下了基础     

一类非线性SEIRS流行病传播数学模型

目的 研究一类具有饱和接触率且潜伏期、染病期均传染的非线性SEIRS流行病传播数学模型动力学性质。方法 利用Lasalle不变集原理和Routh-Hurwitz判据探讨系统的渐近性态。结果 得到了疾病绝灭与持续的阈值——基本再生数，证明了无病平衡点的全局渐近稳定性和地方病平衡点的局部渐近稳定性，揭示了潜伏期传染的影响。结论潜伏期有传染的疾病，不但要注意控制染病期的病人，还要注意控制潜伏期的病人。只有这样，才能有效地控制疾病的蔓延。