1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

一种高速铁路联锁系统安全分析方法、系统、设备及介质.pdfVIP

  • 5
  • 0
  • 约2万字
  • 约 24页
  • 2024-03-09 发布于四川
  • 举报

一种高速铁路联锁系统安全分析方法、系统、设备及介质.pdf

    本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。

    (19)国家知识产权局

    (12)发明专利申请

    (10)申请公布号CN117670630A

    (43)申请公布日2024.03.08

    (21)申请号202410145282.8

    (22)申请日2024.02.02

    (71)申请人华侨大学

    地址362021

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >