论文部分内容阅读
鉴于铁路的信号系统的复杂性,提出一种B方法与通信顺序进程结合的形式化方法,探索用数学的方式为铁路信号联锁形式化建模。
铁路信号联锁逻辑形式化建模研究
【摘 要】
：
鉴于铁路的信号系统的复杂性,提出一种B方法与通信顺序进程结合的形式化方法,探索用数学的方式为铁路信号联锁形式化建模。
【机 构】
：
中铁十九局集团电务工程有限公司
【出 处】
：
设备管理与维修
【发表日期】
：
2020年22期
其他文献
<正>从住建部和国家发改委联合召开的发布会上获悉,"十三五"期间,我国将实施城市路网加密、轨道交通、综合管廊、黑臭水体治理、排水防涝设施、海绵城市建设等12项市政基础设
以氯化镁和氨水为原料,采用一步法制备氢氧化镁阻燃剂。考察了原料配比、反应温度、反应时间、搅拌转速对氢氧化镁产率、纯度及阻燃率的影响。利用X射线衍射仪(XRD)、傅里叶
《农村财务会计》2010年第10期刊登了谢修飞、姚开萍撰写的《财政资金化村债》一文,笔者读后颇有感想,但有些异议。作者文中的财政资金化村债的科目设置是：在＂补助收入＂科目下设
随着在线教育的快速发展和国内“互联网+”的推动,在线教育平台已相对成熟和稳定。在线教育系统课程不断增加,用户对于自己感兴趣的课程的查找难度也逐步增加。与此同时,系统
夏尔·卡米尔·圣-桑(CamilleSaint-Saens)是一位天赋异禀、琴技高超的作曲家兼钢琴家,在法国音乐界享有崇高的地位。才学渊博、技艺精湛的他与多位有志之士共同创办了法国民
简述了油气润滑的基本原理、系统的基本结构和优缺点，介绍了油气润滑在由西安重型机械研究所设计成套的冷轧和平整机组中的推广、应用及取得的良好效果。结果表明：采用油气润滑
土木工程技术,可以说是施工阶段的核心和关键,所以,这也注定了其所拥有的复杂性和多样性。而这些特点,恰恰又成为管理上的重难点,一定程度上加强了建筑工作管理人员的工作难