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

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

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

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

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

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

灰色预测在安全生产中的应用

采用灰色系统理论中的ＧＭ（１，１）模型对矿井的百万吨死亡率进行了预测，并通过残差修正提高了预测的精度。结果表明，该法具有较高的准确性。     

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

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

接触式弯管测量机研究

论述了接触式弯管测量机的测量原理，并给出其具体方案，通过移动末端装有Ｖ型测量叉的铰接五轴测量臂，使型测量叉与弯管外表面接触，完成弯管的接触测量，利用增量式光电角位移编码器的输出角和测量机各连杆的长度来计算变管轴线的方位；基于坐标转换原理推导了测量机的数学模型，采用最小二乘法拟合弯管的轴线，减少了测量误差，测量机仅需一次与弯管外表面接触即可确定弯管某直管段的轴线，研究工作有助于国内弯管测量机的研究与     

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

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

浅谈微观体系的状态

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

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

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

一类修正的Navier-Stokes方程的吸引子

证明了Ладыженская于１９６８年提出的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程当它的参数α∈〔１４，１２〕时，它的解算子半群具有非空的紧的不变的可吸引相空间中任何有界集的吸引子．进而借助于Ｍáｌｅｋ和Ｎｅｃａｓ提出的短轨的想法证明了此吸引子的分维有限．