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

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

高分子催化剂在对氯二苯甲酮合成中的作用

研究了不同高分子载体负载的Pd催化剂纤维素氧膦 -钯配合物、活性炭负载钯、SiO2 负载的氰乙基化可溶性蛋白质锚定钯以及Pd -Al2 O3 在对氯二苯甲酮合成中的催化行为 ,考察了催化剂的使用寿命 .结果表明不同载体与Pd产生不同的分散催化体系 ,具有不同的催化活性 ,催化剂可以重复使用 .XPS分析方法对催化剂的表征说明催化活性中心的质点是金属态钯     

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

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

恒功率用电器电路研究

讨论了含恒功率用电器、电阻和电压源电路的基本规律，分析其工作原理并计算电路特性方程，阐述了在设计供电系统应用恒功率用电器新的特殊性质和特点，说明恒功率用电器还可用于其它方面的实践。     

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

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

阻感负载整流电路的功率因数和谐波分析

阻感负载整流电路是电力电子装置的输入端电路之一，是电力系统中的主要谐波源．从工程实际出发，分析了忽略换相过程和直流侧电流脉动时，阻感负载单相桥式、三相桥式可控整流电路以及多相整流电路的功率因数和谐波情况，并针对半控桥式整流电路作了谐波分析，所得到的一些结论对阻感负载整流电路的工程实际应用具有理论指导意义．     

限流电路与分压电路的分析与应用

讨论了选择限流电路或分压电路控制负载上的电压及电流的有关条件。     

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

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

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

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

浅谈微观体系的状态

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