论文部分内容阅读
基于SCADE实现的列控中心区间占用逻辑检查的部分功能，在一定程度上达到了软件系统需求、结构设计、编码实现及测试验证的一致性和对应性，信号设计人员和软件开发人员可以共同参与实现细节的讨论和评审，有利于提高软件的正确性。
基于SOADE的区间占用逻辑检查功能设计与实现
【摘 要】
：
基于SCADE实现的列控中心区间占用逻辑检查的部分功能，在一定程度上达到了软件系统需求、结构设计、编码实现及测试验证的一致性和对应性，信号设计人员和软件开发人员可以共同
【机 构】
：
北京全路通信信号研究设计院集团有限公司
【出 处】
：
铁道通信信号
【发表日期】
：
2018年9期
其他文献
农民收入增长缓慢，城乡居民收入差距不断扩大。尽管农民收入2002年和2003年比前年有所增加，也仅仅是下滑幅度增长，其中，税费制度改革政策所带来的农民减负增收因素影响巨大，特别是
桩冠是一种临床上较为常见的残根残冠修复手段，即利用合适材质冠桩插入根管内以获得固位的一种冠修复。其往往是指当患牙已呈残冠，经根管治疗并充填，将余牙预备成形，根管制备成桩孔，选择合适材料的桩置于根管内，在桩的上端用冠恢复的修复件。传统上常采用金属铸造桩加以修复，但在肯定其治疗效果的同时也明显地表现出易受腐蚀、美观缺陷、磁共振成像检查时受干扰等一系列的缺点，并且由于金属桩的弹性模量过大，常常会引起根管
<正>在已经过去的2011年,恐怖袭击和违法犯罪占据各国媒体头条的比例似乎比往年有所减少,但是这并不意味着世界变得安全了些。实际上,2011年局部地区的武装冲突加剧,恐怖分子
<正>2016年,"一带一路"大使论坛首届安保论坛在北京召开,论坛以"聚势谋远,安保先行"为主题,探讨如何打造安保行业的新型生态产业链,搭建安保产业的整体解决方案,如何从源头上
通过对在不同场景下列车存在的退行、倒溜情况及其所带来的危害进行分析，提出通过道岔位置进行相关安全防护，列举了相关场景分析以及解决办法，并在提高安全的前提下考虑运行效率
在新形势下随着教学改革的逐步深入,高校足球教学过程中出现了这样那样的问题,给学生的足球运动带来了一定程度的影响。本研究深入研究目前我国高校足球教学的现状及存在的问
军训作为公安院校学员素质教育的一个重要环节,不仅对身体锻炼起了很好的过渡作用,而且对心理素质的培养起着十分重要的作用。当前公安院校的军训工作面临新的挑战,主要表现
结合津秦高铁列控中心仿真试验和现场复连试验的经验，对列控中心区间占用逻辑检查的现场复连试验方法进行总结，并对关键项点进行提示。
竹柏属罗汉松科常绿乔木,盛果期单株产果100～200千克,种子含油率3O％,可作工业用油,经处理可成为优质食用油。木材纹理通直,结构细致,加工性能好,干燥后不开裂不变形,切口平滑,
针对现有动车段（所）控制集中系统现有追踪功能进行了优化，提出将位置追踪技术应用于控制集中系统中，将动车组定位与识别信息和控制集中系统相结合，实现了动车组位置追踪全覆盖，达到