公开(公告)号：CN117261974B

公开(公告)日：2024-02-09

申请号：CN202311531578.5

申请日：2023-11-17

Applicant: 北京全路通信信号研究设计院集团有限公司

Inventor： 刘钟楠 ,  陈泽华 ,  姜琦 ,  陈熠 ,  周旋 ,  蔡航 ,  海宁 ,  夏苗 ,  周泓旭

IPC: B61L27/20

Abstract: 本发明公开了一种基于二分法的计算模式限速值计算算法及系统，所述算法包括，获取计算参数：列车在减速区起点的速度 、列车在减速区终点的速度 以及减速区起点与目标位置之间的距离 ；设置中间变量： 、 和 ，其中， 为速度搜索范围上限， 为速度搜索范围下限， 为当前速度搜索范围 和 的中间值；初始化中间变量：令 、 、；确定列车的制动初始速度和制动末速度，计算得出制动距离 ，其中，以列车在减速区起点的速度 为制动初始速度，中间变量 为制动末速度；判断是否满足制动条件，若是，得到计算模式限速值；所述制动条件为： 是否等于；或， 与 之间的差值是否小于或者等于

公开(公告)号：CN117234956B

公开(公告)日：2024-01-19

申请号：CN202311520206.2

申请日：2023-11-15

Applicant: 北京全路通信信号研究设计院集团有限公司

Inventor： 夏苗 ,  陈泽华 ,  孙国营 ,  海宁 ,  陈熠 ,  姜琦 ,  周旋 ,  周泓旭 ,  蔡航 ,  刘钟楠 ,  金珊洋

IPC: G06F11/36

Abstract: 本发明公开了一种基于MC/DC覆盖准则的最小测试用例集生成方法和系统。根据条件逻辑表达式，绘制逻辑操作符的SCADE模型图；根据SCADE模型图，画出至少一条从输入到输出的完整的路径；激活任一条未被激活的路径，确定路径分析顺序，按照路径分析顺序，先对未被激活路径的条件赋值，再对激活路径的条件分别赋值1和0，得到两条测试用例；激活每一条未被激活的路径，分别得到对应的测试用例；删除重复的测试用例，得到测试用例集。能够仅用一套算法便可完成多种耦合条件下的最小测试用例集的设计，可100%覆盖逻辑表达式的MC/DC准则覆盖率要求，覆盖率高，算法理解简单，具有较强的操作性，能够提高软件测试效率。

公开(公告)号：CN117325914A

公开(公告)日：2024-01-02

申请号：CN202311516293.4

申请日：2023-11-15

Applicant: 北京全路通信信号研究设计院集团有限公司

Inventor： 姜琦 ,  陈泽华 ,  孙国营 ,  陈熠 ,  刘钟楠 ,  周旋 ,  蔡航 ,  夏苗 ,  海宁 ,  周泓旭 ,  金珊洋

IPC: B61L27/10 ,  B61L27/04

Abstract: 本发明属于列车进路控制技术领域，特别涉及一种应用于普速铁路的列车进路自动控制的方法及系统。所述方法包括：获取列车进路信息；将列车进路信息编制为无线报文；将无线报文发送给列车运行监控记录装置；校验无线报文的有效性；在无线报文有效的情况下，根据LKJ列车运行监控装置设定的车次号码筛选出正确的包含该列车进路信息的无线报文，调取对应的线路数据进行控制。本发明中的普速铁路列车进路控制由人工操作变为由地面设备提供精确进路信息，车载设备接收后进行自动控制，提高列车在车站内接发车的安全防护。