[发明专利]一种基于形式化语言的铁路区间闭塞安全功能实现方法有效
| 申请号： | 202110304816.3 | 申请日： | 2021-03-23 |
| 公开（公告）号： | CN112793627B | 公开（公告）日： | 2023-02-17 |
| 发明（设计）人： | 王龙生;卢佩玲;赵梦瑶;刘逸明;赵永清;刚建雷;管伟军;卢瑞冰;韦军志;潘明;付伟;齐志华;于健洁;白帅;吉喆;于红军 | 申请（专利权）人： | 中国铁道科学研究院集团有限公司通信信号研究所;中国铁道科学研究院集团有限公司 |
| 主分类号： | B61L21/04 | 分类号： | B61L21/04;B61L19/06 |
| 代理公司： | 北京世衡知识产权代理事务所(普通合伙) 11686 | 代理人： | 肖淑芳 |
| 地址： | 100081*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出了一种基于形式化语言的铁路站间闭塞联锁逻辑实现方法。所述铁路站间闭塞联锁逻辑实现方法能够同时兼容半自动闭塞和自动站间闭塞方式；其中，所述安全功能实现方法包括：基于形式化语言的半自动闭塞逻辑实现、区间使用计轴设备的自动站间闭塞逻辑实现、主备冗余模块的实时同步逻辑实现和站间联系方式。本发明基于形式化语言描述系统状态，并根据条件触发状态跳转的铁路信号区间闭塞逻辑实现方法，这种方法能简化逻辑实现的复杂度，降低软件变量之间的耦合度，逻辑结构清晰，便于设计和后期修改。 | ||
| 搜索关键词： | 一种 基于 形式化 语言 铁路 区间 闭塞 安全 功能 实现 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国铁道科学研究院集团有限公司通信信号研究所;中国铁道科学研究院集团有限公司，未经中国铁道科学研究院集团有限公司通信信号研究所;中国铁道科学研究院集团有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110304816.3/，转载请声明来源钻瓜专利网。
- 上一篇：一种电子化移交单的监控方法及装置
- 下一篇：箱板装配式钢结构地下梁式转换构造
