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

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

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

基于多Agent的计算机辅助创新系统原型设计

介绍了计算机辅助创新理论的现状与动态,阐明了TRIZ理论及其软件功能,并分析了计算机辅助创新系统的不足,从而提出了一种基于多Agent的计算机辅助创新系统原型的设计方案.     

新旧《全国普通高等学校体育教育本科专业课程方案》的比较研究

运用文献资料和对比分析等方法，对新《方案》进行分析研究．研究表明：新《方案》在培养目标、培养规格、课程设置等方面，与旧《方案》相比较，均具有显著性变化和新的内涵．只有通过认真地研读，才能准确地把握其精神实质，并在此基础上加强宣传，以确保新《方案》的贯彻实施．     

张峰水库总干输水线路优化

从总干输水方式和输水线路设计两方面入手，就渠线长度、建筑物布置、工程量、工程投资、施工条件及运行管理等方面进行比较，选择出最经济、最合理的输水线路推荐方案。