【摘 要】
：
CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为
【机 构】
：
北京交通大学轨道交通控制与安全国家重点试验室硕士研究生,北京交通大学电子信息工程学院副教授（铁道部C3技术攻关组成员）,北京交通大学轨道交通控制与安全国家重点试验室教授
论文部分内容阅读
CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。
其他文献
液压锁结构参数的确定与液压缸的速比、承受的荷载及系统工况相关。本文介绍液压锁与液压缸共同工作时应考虑的主要问题和稳态时的匹配计算方法,并举例说明。
摘要：随着“双创”越来越深入人心，大学生返乡创业已经成为一种新的趋势，但同时大学生返乡创业也遇到诸多问题本文对当前大学生返乡创业遇到的创业融资瓶颈问题进行了研究，并提出了改进策略，旨在为促进大学生返乡创业取得更好成效提供参考、 关键词：大学生;返乡创业;融资瓶颈;改进策略 在我国大力推动“双创”的新形势下，随着乡村振兴的深入实施，大学生返乡创业的人数不断扩大，對于促进大学生创业以及农业经济发展
本文采用对试件施加持续荷载的方法证明：用Ｋａｉｓｅｒ效应测得的地应力，不是岩石在历史上曾经受到过的最大应力，而是实时应力。
<正>《关于加强和改进中央和国家机关党的建设的意见》是以习近平同志为核心的党中央推动新时代中央和国家机关党的建设高质量发展的重要顶层设计和重大举措,为中央和国家机
根据高大厂房采暖特点，针对热气流上浮现象，提出采用横向热风幕的分层采暖方案提出设计基本方法，并在太原机务段架修库采暖改造工程中实施，取得满意效果，为高大厂房采暖提供了新的
2011年10月18日，由中国铁路通信信号股份有限公司天津工程分公司承担施工的南疆线吐鲁番站至新珍珠泉站上行线ZPW-2000A及新珍珠泉站计算机联锁开通交付使用。
周边进出水沉淀池的配水渠的设计计算包括：配水渠断面形状及尺寸的确定；配水孔口孔数及孔口尺寸和布孔间距的确定等问题，本文提出的周边进出水沉淀池配水渠的设计计算方法及得到
目前64F型半自动闭塞已应用不多了，但在部分区间较短的既有复线上仍在延用。当这些车站大修改造时，如果电务人员对电路结构不是很熟悉，往往会因4条闭塞外线的错接而不能正点开通
主要研究在仿真条件下CTCS-3级列控系统车载设备的功能测试方法。测试是一项非常耗时的工程,恰当的测试方法可以最大限度提高测试的效率。重点阐述测试系统的主要构成,测试案例的设计原则和测试序列的设计方法,简要介绍了中国邮路算法在测试序列设计中的应用,并结合武广线综合试验段给出了测试序列举例。
IPSecVPN作为一种主流的VPN技术,为IP层及上层协议（TCP或UDP）提供安全保证。IPSecVPN业务不仅提供高带宽低资费的企业网络服务,而且能保障私有VPN在公共网络上数据传输的安全性