热交换器污垢与沉积物的清除

在研究污垢形成机理的基础上提出一种船用热交换器二氧化碳清垢法,并利用锅炉排烟作二氧化碳气源。该方法实施简便,效果显著,排放物不会污染环境。     

激光辐射式光电弯沉仪

公路建筑计划的胜利实现是与现代化的路面使用质量的检验手段分不开的。众所周知,现行的试验是用МАДИ-ЦНИЛ杠杆式弯沉仪在现场评定路面的强度。 然而用这种装置进行量测的许多研究分析表明,其误差值显著地超过BCH46—72规范值。 在西伯利亚公路学院进行了用现代化工具量测路面表面变形的工作,它同时具有量测所允许的精度。它解决了汽车量测时的问题,并探明了一次量测至发生弹性变形的时     

基于特征匹配的接触网定位支座检测

针对高速铁路接触网的定位支座识别问题,提出利用图像处理技术中的特征匹配的方法对接触网综合检测车采集的接触网图像进行定位支座的检测,采用3种常见的特征描述子分别对定位支座进行旋转不变和尺度不变的特征点检测,对SURF和ORB特征描述点用欧式距离进行匹配,采用汉明距离对FREAK描述子进行匹配。试验表明SURF的匹配效果最好,性能最佳,该方法能够进行实际运用。     

DF4B、C型内燃机车柴油机非正常停机故障分析与防治

介绍了DF4B、C型内燃机车因柴油机非正常停机造成多起行车事故,并分析了DF4B、C型内燃机车柴油机非正常停机的原因,指出DF4B、C型内燃机车柴油机非正常停机是多种诱因造成的,最后提出了防治措施。     

考虑功率-容量约束的城市轨道交通车载超级电容阵列配置方法

基于容量约束配置方法配置的超级电容阵列吸收功率远小于城市轨道交通车辆电制动功率,造成制动能量的浪费.由于超级电容阵列的充电初始电压值对其合理配置影响很大,存在理论上的最优值,因此在分析车辆再生制动电气特性基础上,建立超级电容阵列功率和容量需求数学模型,提出满足制动能量回收电气参数的功率-容量约束配置方法,然后从最低工作电压的角度对该方法中的充电初始电压进行优化,并给出超级电容阵列的优化配置流程.算例分析和仿真验证表明:基于功率-容量约束配置方法配置的超级电容阵列能够满足城轨车辆制动能量回收的需求,节能效果优于容量约束配置方法,且具有较高的节能/质量比.     

马来酸酐—丙烯酸共聚物的制备与阻垢性

报告了马来酸酐－丙烯酸共聚物的制备方法。讨论了聚合反应引发剂用量、反应温度、单体配比等对共聚物的反应及阻垢性的影响。     

Fair Preorder for Partial Fair Kripke Structures

IntroductionMany approaches have been proposed to dealwith the problem of model checking large statespaces,such as the composition methods,symbol-ic verification and abstraction techniques.A partialstate spaces model checking method was developedby Bruns[1] ,which explored just a part of statespaces,and those unexplored states and transitionswere often absent in incomplete or“partial”statespaces.In the automatic verification of concurrent fi-nite- state system,the branching time prepositiona…