【摘 要】
：
TBZKⅡ型驼峰自动化控制系统采用分散控制、集中管理的模式,有效提高了编组站驼峰场的作业效率。作为实时控制系统,对时间控制的精确性和控制过程的准确性有着很高要求,尤其
论文部分内容阅读
TBZKⅡ型驼峰自动化控制系统采用分散控制、集中管理的模式,有效提高了编组站驼峰场的作业效率。作为实时控制系统,对时间控制的精确性和控制过程的准确性有着很高要求,尤其是针对驼峰场中特有的峰下分路道岔的控制,直接影响整个作业过程。通过分析系统中道岔控制模块,并结合时间自动机理论方法以及UPPAAL建模工具,对控制过程进行建模分析,并验证该控制过程的功能和性能要求,从而保证系统模型的安全性和可靠性。
其他文献
通过近几年对ZPW-2000A产品原理的学习和相关维修经验总结,提出了一些常用的维修方法,并结合接收器常见的故障案例进行了阐述.
介绍了基于双网的GYK远程维护监测系统的设计和结构,从GYK设备远程安全数据传输技术研究着手,以铁路专用通信网或国家公共移动通信网为无线数据传输平台,实现GYK基本数据、揭
由省委组织部和省防汛抗旱指挥部联合举办的全省第二期县级防汛抗旱行政首长培训班，于6月13～14日在哈尔滨市举行。省防汛抗旱指挥部副总指挥、省水利厅副厅长侯百君出席开班式
4月11日，陆兵厅长携厅有关处室负责同志，去医院看望省水利设计院职工安清平。陆厅长向主治医生认真询问安清平病情。当日下午，陆兵厅长同设计院班子成员座谈时强调：安清平同志代
铁路信号维护工作是铁路运输安全生产的重要组成部分,信号维护工作必须坚持“安全第一,预防为主”的方针,坚决贯彻“按期大修、强化中修、确保维修”的指导思想.为提高信号设
对具有竖向构件不规则、楼板开洞面积大、四周悬挑梁等特征的复杂混凝土框架一钢支撑博物馆结构，采用隔震技术处理后，基于时程分析法进行了层间位移、层间剪力等的地震响应分析
作为行车凭证的机车信号是由车载信号设备和地面信号设备共同构成,当地面或机车上的信号设备故障时,机车信号不得出现升级的错误显示,也不得因邻线的干扰而出现错误显示,必须
春旱无雨，赤地百里。在农作物出苗和水稻插秧的关键时期，鹤岗市发生了历史上罕见的春旱，全市260万亩农田“喊渴叫荒”，旱田受旱面积达80％，部分地块出现了芽干、吊干等情况。由于今
杭州某多层混凝土框架结构房屋改造,由于柱的拔除及增加屋面绿化覆土,屋面梁变为大跨度重荷载梁,加固设计时采用预应力钢梁叠合加固混凝土梁这一新型方法,通过数值模拟分析,
基于布辛奈斯克位移解与p-y曲线法,求解沉桩引起的自由土体水平位移并建立了单桩水平位移控制方程,采用两阶段法研究了沉桩引起的既有桩响应,分析了既有桩桩顶约束条件、桩身