公开(公告)号：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列车运行监控装置设定的车次号码筛选出正确的包含该列车进路信息的无线报文，调取对应的线路数据进行控制。本发明中的普速铁路列车进路控制由人工操作变为由地面设备提供精确进路信息，车载设备接收后进行自动控制，提高列车在车站内接发车的安全防护。

公开(公告)号：CN117227769A

公开(公告)日：2023-12-15

申请号：CN202311519400.9

申请日：2023-11-15

Applicant: 北京全路通信信号研究设计院集团有限公司 ,  中国铁路通信信号股份有限公司

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

IPC: B61C17/00

Abstract: 本发明提供了一种临时限速揭示实时动态控制方法，包括列车实际速度为0km/h时，临时限速揭示的预判计算按1km/h的给定速度处理，用于实现对前方临时限速揭示的预判提醒；根据列车当前的速度和当前时间距揭示控制起始时间的时间差来计算列车的预期走行距离；比较列车预期里程和临时限速揭示起始里程来确认临时限速揭示的控制起点，从而实现临时限速揭示的动态控制和精确预画。本发明在列车在实际速度为0km/h的情况下也能预判出前方存在临时限速揭示，并实现了临时限速揭示的实时动态控制，能够进行精确的限速预画。