论文部分内容阅读
本文首先对铁路信号连锁逻辑进行简要概述,然后研究了铁路信号连锁逻辑的形式化建模方法,以期能够促进铁路运行效率的提升,为铁路相关工作人员提供参考。
铁路信号连锁逻辑形式化建模分析
【摘 要】
：
本文首先对铁路信号连锁逻辑进行简要概述,然后研究了铁路信号连锁逻辑的形式化建模方法,以期能够促进铁路运行效率的提升,为铁路相关工作人员提供参考。
【机 构】
：
滦南供电公司
【出 处】
：
中国航班
【发表日期】
：
2019年10期
其他文献
目的观察脑脉康方治疗脑动脉硬化症的临床疗效,并探讨其作用机制。方法将110例脑动脉硬化症患者随机分为2组,治疗组55例予脑脉康方治疗,对照组55例予镇脑宁方治疗,2组均1个月
目的：观察加味左金汤对胃溃疡模型大鼠血浆内皮素（ ET-1）及胃泌素（ Gas ）的影响。方法将60只SD雄性大鼠随机分为正常对照组、模型组、阳性药物对照组及加味左金汤大、中、小剂量组
《巧手父母：简简单单让家庭生活充满艺术与创意》是一本儿童早教类书籍，其主要内容是关于如何培养1-8岁孩子的艺术力和创造力。本书作者珍·范特·赫尔是一位美国人，毕业于韦尔
语言作为国际交流的工具正随着“地球村”的不断发展而突显出其在政治、经济和文化交流各方面的重要作用。翻译工作作为两种语言的桥梁，在国际交流的关键环节发挥着至关重要的
对DF4D型径向转向架机车的运用情况做了介绍及分析,指出了其存在的问题,并提出了改进建议.
高中数学学科教学目标由单纯向学生传授知识转变为培养学生核心素养,当前高中数学课堂教学培养学生核心素养,急需要关 注考试评价,也需要结合自身教学习惯,制定最佳教学方式,
针对当前基于深度学习的彩色化模型在面对具有多个目标的复杂场景时存在的误着色问题,提出一种基于像素级生成对抗网络的彩色化模型.该模型在生成网络中采用全卷积网络模型处
目的:利用全波段CCD光谱累计方法提取案件现场树叶上潜在指纹,并总结提取技巧,为潜在指纹的提取提供参考。方法:利用短波紫外照相方法对树叶上潜在指纹进行光学无损提取,对所
<正>精神分裂症是精神科的最常见疾病,而幻听是精神分裂症的主要症状之一,幻听治疗的效果直接影响到精神分裂症的总体疗效。目前,对于幻听的治疗是以抗精神病药物为主,有关针