将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大。对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换。以数控机床工作台系统为例验证了转换方法的可行性。

针对国内现有无线热能表存在功耗大、射频穿透能力弱和信息不全等问题,基于超声波流量测量技术和433 MHz射频通信技术,研究设计了一款超低功耗无线超声波热能表。该热能表采用电源的动态调节和流量驱动无线发送模式,在降低无线通信功耗的同时不丢失计量信息。该表年均工作电流低于14μA,一节内置2 800 mA的锂电池可工作20个采暖期,这为无线热能表的大面积推广应用克服了技术障碍。

张力控制是冶金、造纸、纺织等行业应用最为广泛的一项技术，它实现的好坏直接关系到产品生产效率的高低和质量的优劣。介绍了张力控制技术的基本原理，设计了一种以磁粉制动器为执行元件，基于AVR单片机的张力控制系统。采用类似PWM脉宽调制控制的方式，保证了系统的良好性能。实践证明，该系统具有良好的抗干扰性能，能够较好地完成控制效果，运行稳定可靠。

对燃气触媒红外在液压支架粉末涂装线中的应用进行了研究,介绍了燃气触媒红外加热系统的原理和特点,提出了液压支架粉末固化的技术方案,并且在新建的粉末涂装线中加以验证。试验证明:触媒红外固化工艺可以大大加快粉末涂层的固化效率,提升产品质量;产品的外观、膜厚、附着力、盐雾性能均可以很好地满足技术性能要求。

为解决50 MN液压支架试验台大型焊接件的残余应力消除难题,研究了振动时效与超声波时效组合工艺在试验台研制中的应用,达到了残余应力消除、均化和稳定构件尺寸的预期目的,为组合时效工艺在消除大型低合金高强钢焊接件残余应力的应用提供了实践经验。

U型管换热器设计是土壤源热泵系统应用的关键,埋管深度、管内流速、土壤初始温度、运行模式等都是影响其性能的主要因素,利用上海地区所建设的不同埋深U型换热器（60m,90m）土壤源热泵试验装置,进行了夏季工况试验,测得热泵运行前土壤初始温度分布;测试了热泵机组间歇和连续运行时换热器的换热情况;还针对不同埋管内冷却水流速,测得到了单位孔深换热量,结果表明增加冷却水流速并不能一味地提高其每延米换热量,埋管内冷却水流速存在一个最佳值。