基于UML的联锁进路控制过程建模

来源 :兰州交通大学学报 | 被引量 : 0次 | 上传用户:oldearth
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着铁路运输速度的不断提高,以及铁路客运专线、高速铁路的快速建设,对铁路计算机联锁系统的可靠性和安全性提出了更高的要求.联锁软件作为计算机联锁系统的核心组成部分,可靠性和安全性可以保证列车安全、高速地运行.选用统一建模语言UML为联锁软件建模,可以提高联锁软件的可靠性及安全性,同时也可以提高联锁软件的复用性.
其他文献
针对大学开设计算机信息技术课程的新要求 ,阐述了“大学计算机信息技术”课程教学内容的深度和广度、课程教学要体现信息技术的发展水平和方向以及课程教学要引入新思路和新
小青龙汤方出于张仲景《伤寒论》,药由麻黄、白芍、细辛、干姜、炙甘草、桂枝、五味子、半夏组成。主治内停水饮,外感风寒咳喘等证。笔者自1986年以来,用本方加倍剂量治疗哮证100例,疗效
<正>王自立主任医师是全国名中医,享受国务院政府特殊津贴,其工作室获全国先进名医工作室。现任甘肃省中医院首席主任医师,兼任中华中医药学会理事、中华中医内科学会委员、
征收类型的厘清有助于公益征收概念的界定。在美国与德国的征收法理中存在广泛的征收类型,对这两个国家的征收类型予以比较法上的研究,有助于我国征收立法的概念界定、类型选
为考察心理健康服务人员胜任水平对来访者满意度的影响,对10名不同胜任水平心理健康服务人员的来访者进行结构访谈。结果表明,多数来访者对所接受心理健康服务感到满意或比较满
<正>2012年3月27~30日,由励展博览集团举办的意大利国际舒适家居博览会(以下简称MCE)在米兰国际展览中心隆重开幕。MCE是意大利首个专业展览会,同时也是世界上规模最大、最具
由于禽类养殖受多种因素的影响,如果管理不善会导致多种疾病的发生。呼吸道疾病是最常见的禽类疾病,不仅会影响禽类的健康生长与发育,还会导致疾病的广泛传播,给养殖户造成严
针对有源电力滤波器(APF)对谐波及无功电流实时检测的要求,提出了两种单相电路谐波及无功电流检测算法,即基于瞬时无功功率理论检测法和基于基波幅值分离检测法。给出了两种
"镇改市"是新型城镇化建设推动的创新模式,是一种行政区划革新模式,也是尝试厘清各级政府支出责任的一种探索。本文结合温州市龙港镇"镇改市"的实践,梳理"镇改市"进程中所及