基于CPN的联锁进路控制建模及验证

颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。     

NaCl-Na_2SO4-NH_3-H_2O体系相图和氨法除硝

作为氨法除硝的理论基础,本文测定了NaCl—Na_2SO_4—NH_3—H_2O四元体系的溶解度并绘制成相图。再在此基础上对氨法除硝的可能性进行了讨论。     

2万t装车站设计探讨

对2万t列车所需要的基本设备进行了介绍，从装车方式的选择、装车站的布置形式、装车环线选择形式等方面，阐述了2万t装车站的设计探讨，以提高输送能力，降低运营成本。     

基于错分代价的故障预测技术安全性能评估方法

研究了一类考虑错分代价的故障预测技术安全性能评估方法.鉴于概率论不精确的特性,针对两类故障类别的统计数据构建了错分代价模型,在此基础上确立了错分代价最小的故障趋势判别定理;从两类故障类别出发,构建了多类故障类别预测的错分代价模型以及错分代价最小的故障趋势判别规则,并给出了故障预测技术安全性能评估的基本流程;用火箭控制系...     

基于遗传算法的双层喷涂自动轨迹规划

针对表面喷涂技术的涂层均匀性问题,在椭圆双β模型的基础上,运用微分投影法,建立了一个考虑喷涂距离的立体涂层累积速率模型,并提出一种双层喷涂自动轨迹规划方法。该方法以第一层喷涂的重叠宽度,喷涂速度和第二层喷涂的喷涂距离、喷涂速度为变量,以喷涂后各点厚度值与理想值的方差为目标函数进行优化,并采用遗传算法进行求解。通过在平面以及圆柱面上的仿真分析,证明了双层喷涂相比于单层喷涂在喷涂均匀性上的提升。通过喷涂实验,验证了该方法的可行性和有效性。     

锚索辅助安装装置的试验研究

介绍了一种自行研制的金属锚索的快速安装装置。通过对辅助安装装置的结构设计、加工、室内试验、施工工艺研究,试制出样机。现场试验结果表明,锚索辅助安装装置以其独特的结构和性能,在复杂地层长大锚索施工中应用,具有实用性强、易于现场施工的特点,不仅大大降低了工人劳动强度,而且提高了锚索安装速度和技术可靠性,特别适合于陡峭边坡的锚索施工,具有很大的推广应用价值。     

从半岛城市向滨海组团城市转变--青岛市大城市框架的重构

当前,我国正处在快速城市化时期,都市区将成为推动我国经济和城市化发展的重要地域空间形式.随着广州、杭州、南京、苏州、无锡等大城市行政区划的调整,为大城市提供了较为广阔的发展空间.     

震后医用氧舱检验的必要性及检验过程

本文对地震后的医用氧舱检验重点进行分析,并且分项进行了介绍。     

冷轧带钢开卷机、卷取机电机参数及减速比计算实用方法

开卷机、卷取机是冷轧连续机组稳定运行的关键设备，合理选择其电机参数及配套减速机减速比尤为重要。目前在工程设计上，作为开卷机、卷取机关键参数之一的电机功率通常是在张力所需功率的基础上、叠加一个放大系数来确定，计算过程粗放，计算准确性低，难以满足现代化机组对张力控制精度越来越高的要求，也与当前市场竞争环境对设计的精细化要求相悖。按照系统化思维的方法，从工艺、设备、电机制造、电气控制等多方面综合考虑，给出了冷轧处理机组开卷机、卷取机工艺张力、电机型式、减速比等的确定原则。在此基础上，从工艺张力所需功率、动力矩所需功率、弹性变形损失功率以及摩擦损失功率4个方面精确推导了开卷机、卷取机的功率计算公式，为工程设计中开卷机、卷取机电机功率以及减速机减速比的精确计算和选择提供了一套实用方法。