一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

层次差异消除法镇定一类非线性组合大系统

引进相似变换，以减少或消除子系统间的层次差异，提出了一层次差异消除准则，进而运用比较原理和矩阵指数性质，建立了非线性关联子系统矩阵特征与系统稳定性之间的关系，将一类具有非线性系统的镇定问题转换成经典的特征值配置问题。本文仅需假定系统的非线性（可能含不确定性）成分具范数界，不必要求其范数满足匹配条件。数值例子表明所出的方法的有效性，并与相关成果进行了比较。     

卫生填埋场室内离心模拟试验研究

用离心试验法模拟了填埋体的沉降和边坡土工膜的应力应变状态，并将其与有限元计算结果进行了对比，结果表明：该方法可以定性地描述出卫生填埋场的状交；边坡土工膜存在初始损伤的情况下发生的应力集中是导致其受拉破坏的主要原因；保证边坡防渗层安全的关键是加强现场管理与监督，提高土工膜铺设工艺。     

高速铁路列车运行调整的状态空间模型及算法

列车运行调整的优化属超大规模的组合优化问题，具有因素多、各因素之间关系复杂的特点，很难给出一个简洁、易解的规划模型．基于面向事件的状态空间模型良好的描述能力和具有接近系统自然特性的特点，本文在前人研究的基础上，结合我国高速铁路的特点，建立了行车调整的事件驱动的状态空间模型．针对前人研究中状态转移方程的表达及在冲突确认和疏解上的缺陷，结合算法的求解特点和列车运行的实际可能性，提出了改进方法．特别是冲突确认和疏解的新方法和策略，清除了事件驱动的状态空间模型和与之相应的调整算法在实用时的主要难点之一．仿真表明模型和算法是有效的．     

长江三峡升船机运行状态故障诊断

利用故障树分析理论，建立了三峡升船机运行各个阶段的故障树，实现了故障诊断算法，并且研制了三峡升船机诊断演示系统，系统包括一个基于ＷＩＮＤＯＷＳ的软件包和一个故障模拟装置。     

浅谈微观体系的状态

本文从微观体系状态所涉及的因素出发，讨论了各因素在描述状态中的作用，指明了“状态”是物理学中应用最广泛，功能最特殊，内涵最丰富的词汇之一。如果能够完备而准确地把握体系状态的函数形式，就会为问题的最终解决奠定一个坚实而良好的基础。     

多变量线性控制系统的研究方法

本文对多变量线性控制系统的研究方法进行了描述，并指出了它们之间的关系。     

陀螺漂移的状态空间建模方法

非平稳时间序列的状态空间建模技术被用于陀螺漂移分析。基于平滑先验概念，使用Ｋａｌｍａｎ滤波和ＡＩＣ准则拟合整体模型，时变系数自回归模型（ＡＲ）被拟合为状态空间模型，并且被用于时变谱估计，针对两类不同的漂移分别建立状态空间模型，所得结果更贴近实际情况，目前本计算分析只能离线分。对故障诊断可提供一些依据。     

正常性种子和顽拗性种子中水分状态的差异

用核磁共振法可检测出正常性种子和顽拗性种子脱水过程中水分状态化显著不同，即正常性种子的自由水可完全失去，束缚水得以保留，而顽拗性种子中水分呈现均一状态，干燥时缓慢失去，看不出自由水的束缚水的区别，这两类种子中水分状态的差异可能与其代谢状态有关。     

理想气体（N,V,E）系统微观状态数的计算

本文利用自由粒子的量子能态分布理论和３ｎ维空间球体模型，计算出了单原子理想气体（Ｎ、Ｖ、Ｅ）系统的微观状态数，并给出了单原子理想气体热力学量的统计结果．