异构双腿机器人结构建模与迭代学习控制仿真

异构双腿行走机器人（BRHL）是一种全新的类人机器人模式。首先阐述了BRHL的概念及研究意义。基于分割建模思想，推导出BRHL运动学、动力学方程。针对高阶微分代数方程组动力学正解问题，提出了一种带误差反馈控制的预估-校正数值积分方法。最后探讨了BRHL的控制方法并进行了仿真计算。结果表明，一阶P型开闭环学习控制能够很好实现仿生腿对人工腿步态的跟踪。     

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

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

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型网格上构造了线性奇异摄动时滞方程的有限差分格式，证得数值结果是关于小参数一致收敛的．应用牛顿拟线性法求解非线性奇异摄动时滞方程．数值实验证实了理论结果的准确性，进而表明该理论估计是稳健的．     

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

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

19GeV/c能量下质子-铍碰撞中领头奇异超子Λ的产生

利用在美国布鲁克海汶国家实验室的环型加速器(Brookhaven/AGS)上进行的19.6 GeV质子轰击固定铍核的实验数据,通过质子与π介子对的搭配,并用一种新的循环迭代的混合事件方法,从复杂的背景中,提炼出共振态领头粒子Λ的产生.     

模拟退火算法机理研究

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

计算结构可靠指标的循环逼近法

基于几何原理,建立了可靠指标的新优化模型.对于任何类型变量,该模型均无需计算其当量正态分布的平均值和标准差.将循环筛滤思路引入到该优化模型中,提出了循环逼近法.经算例验证,该算法简便实用,可以快速逼近并确定验算点、求解可靠指标,且具有令人满意的计算精度,为结构可靠指标计算提供了新的有效途径.