买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉北京交大思诺科技股份有限公司申请的专利轨道交通信号控制系统的数据配置方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117104314B 。

龙图腾网通过国家知识产权局官网在2026-04-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202311092639.2，技术领域涉及：B61L27/40；该发明授权轨道交通信号控制系统的数据配置方法是由赵会兵;师瑞音;刘保生;侯锡立设计研发完成，并于2023-08-28向国家知识产权局提交的专利申请。

本轨道交通信号控制系统的数据配置方法在说明书摘要公布了：本发明提供一种轨道交通信号控制系统的数据配置方法，包括如下步骤：定义图元、绘制线路图、线路数据搜索、验证线路数据和生成配置数据，首先定义所需的图元，将轨道交通信号控制系统中的信号机、道岔、轨道等关键元素抽象为图论中的“节点”和“边”，通过将这些预定义的图元拖放到画布中，能快速准确地建立起轨道交通线路模型；然后通过线路数据搜索算法遍历线路图来获取所需的线路数据；为确保线路数据的正确性和一致性，运用B方法进行形式化验证；在验证通过后，按照配置数据文件的格式要求生成配置数据文件。本发明通过引入图论和形式化方法，实现了线路配置数据的自动化生成和验证。

本发明授权轨道交通信号控制系统的数据配置方法在权利要求书中公布了：1.一种轨道交通信号控制系统的数据配置方法，所述方法包括如下步骤：定义图元、绘制线路图、线路数据搜索、验证线路数据和生成配置数据； 首先定义所需的图元，将轨道交通信号控制系统中的信号机、道岔、轨道等关键元素抽象为图论中的“节点”和“边”，结合图论用于轨道交通线路的描述和计算，将区段定义为图论中的“边”，车挡、绝缘节、信号机、道岔定义为图论中的“节点”，“节点”有属性“度”，是指与该节点相连接的边的数量；通过将这些预定义的图元拖放到画布中，能快速准确地建立起轨道交通线路模型； 采用NetworkX图论库，线路图绘制完成后，通过NetworkX的绘图功能查看所绘线路图的图结构在NetworkX内部的情况，利用NetworkX图论库提供的图论算法定制符合用户需求的搜索算法，用于搜索、分析轨道交通线路的拓扑结构线路图，通过线路数据搜索算法遍历线路图来获取、整理所需的线路数据； 为确保线路数据的正确性和一致性，用B模型翻译器将线路数据及相应的数据规范、数据约束按用户需要自动翻译为B模型中的SETS、ABSTRACT_CONSTANTS、PROPERTIES、INVARIANT语块，用于对线路数据进行形式化验证，其中SETS下是线路上所有客观实体的集合，ABSTRACT_CONSTANTS用于声明有哪些关系，PROPERTIES对ABSTRACT_CONSTANTS内所声明的关系进行形式化表达，INVARIANT用于表示数据约束，同时增加OPERATIONS语块，并在OPERATIONS下增加verifyRoute操作，以在形式化验证不通过时，分析找出不满足INVARIANT的具体线路数据； 在验证通过后，最后调用配置数据生成器，按照配置数据文件的格式要求生成配置数据文件。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京交大思诺科技股份有限公司，其通讯地址为：102206 北京市昌平区回龙观镇立业路3号院2号楼1层101；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。