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

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

关于现代化理论的若干思考

目前关于现代化流派分类的书籍很多,但所有这些理论却又都未能给人以满意的答案。由此,我们必须重新审视发达国家的现代化经验,尤其是强势国家对弱势国家发展的影响,从争霸与发展的角度,从一个国家能够在多大的程度上控制外部资源的角度,从一个国家与其他大国的关系角度,从军事工业的发展与整个技术的创新关联的角度,从外部因素推动内部变革的角度,即将现代化理论与西方强国兴起的外部环境以及实力的因素综合起来,并进一步考察发达国家内部政治变革的不同模式,工业化的自由放任发展模式与政府主导型发展模式产生的根源,重新考察发达国家之所以强盛的原因,从我们以前所忽视的发达国家的现代化经验中,吸取那些对我们的发展有益的东西。     

任意厚度压电层合闭口柱壳的精确解

从三维弹性理论和压电学理论出发,通过假设边界函数,导出压电层合闭口柱壳的状态方程,并运用状态转移矩阵方法给出满足两端和内、外表面所有任意边界条件的精确解析解。此解计及了正交异性压电弹性体的所有弹性常数和压电学常数,满足层合壳所有基本方程和层间连续条件,适合任意厚跨比。     

铁和IC—1.4Cr钢的激光表面合金化研究

本文研究把碳输入到纯铁和IC—1.4Cr钢(S135)的激光表面合金化处理.这种处理工艺包括试样表面用石墨粉预涂层;若用连续CO_2激光表面熔化处理时,在各个处理工艺间反复使用石墨涂料,而合金化处理在薄层的熔化区域和栓孔两个区域中进行.从亚共晶到过共晶范围碳合金化最高达6%C,在过共晶范围发现大裂纹和松孔.     

对理想气体准静态过程中的摩尔热容的讨论

从热力学第一定律出发，详细讨论了理想气体准静态过程中的摩尔热容。提出了用理想气体准静态过程中的初、终态温度来确定对应过程吸、放热情况的方法     

强迫的Oregonator振子混沌态分形表征

厚分形（ｆａｔｆｒａｃｔａｌ）在非平衡态动力学体系中有重要作用，一般以分形指标β来表征．本文以强迫的Ｏｒｅｇｏｎａｔｏｒ振子为例，用简洁的方法计算了３个混沌态的分形指标β和μ０，并用其作为分形表征，同时讨论了它们的分形性质     

幂律流体不稳定径向流的数值解法

对微可压缩非牛顿幂律流体在均质多孔介质中的非稳定径向渗流方程进行了回顾和对比，用有限差分方法建立了微分方程的数值解法．研究了时间步长、空间步长对数值解精度和稳定性的影响，并结合算例绘出了不同流性指数的瞬时压力曲线．该研究结果可用于非牛顿流体渗流机理研究及试井分析．     

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

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

Studies on the reaction between Laccase ando-methoxyphenol by microcalorimetry

The reaction between Laccase ando-methoxyphenol have been studied by LKB-2107 batch microcalorimetry system. Thermodynamic parameters Δ _r H _m , ΔG _o , ΔG _T ^≠ and kinetic parameters (K _m ,k ₂) have been determined. The process of the reaction has been analyzed from changes in energy by using the transition state theory. Two methods for enhancing catalytic power of Laccase are proposed. The results shown that formation of an enzyme-substrate complex is “anticatalytic”. The enter and sole source of catalytic power is the stabilization of transition state; reactant-state interactions are by nature inhibitory and only waste catalytic power. Supported by the National Natural Science Foundation of China Wang Tianzhi: born in 1968. Ph D