[发明专利]CBTC联锁系统进路状态建模方法有效
申请号: | 201310741127.4 | 申请日: | 2013-12-27 |
公开(公告)号: | CN103745048A | 公开(公告)日: | 2014-04-23 |
发明(设计)人: | 高国栋 | 申请(专利权)人: | 北京交控科技有限公司 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 北京路浩知识产权代理有限公司 11002 | 代理人: | 李相雨 |
地址: | 100070 北京市丰台区*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供了一种CBTC联锁系统进路状态建模方法,涉及列车运行控制技术领域。该方法包括步骤:S1、依据CBTC联锁系统进路控制的制约关系制定进路状态,并依据所述进路状态建立进路状态转移图;S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象,得到进路状态转移模型;S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换,进而得到CBTC联锁系统进路状态模型。本发明将SCADE中数据流图和状态机这两种建模方法有效的地融合在一起,实现两种模型间的相互嵌套和无缝衔接,进而能够精确、完整的描述CBTC联锁系统的进路状态。 | ||
搜索关键词: | cbtc 联锁 系统 进路 状态 建模 方法 | ||
【主权项】:
一种CBTC联锁系统进路状态建模方法,其特征在于,包括:S1、依据CBTC联锁系统进路控制的制约关系制定进路状态,并依据所述进路状态建立进路状态转移图;S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象处理,得到进路状态转移模型;S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换,进而得到CBTC联锁系统进路状态模型。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京交控科技有限公司,未经北京交控科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201310741127.4/,转载请声明来源钻瓜专利网。