专利交易市场

本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。

本发明涉及一种地铁列车冲突预警方法，包括如下步骤：先根据各个列车的计划运行参数，生成轨道交通网络的拓扑结构图；再基于拓扑结构图，分析列车流的可控性和敏感性；再根据各个列车的计划运行参数，生成多列车无冲突运行轨迹；再在每一采样时刻，基于列车当前的运行状态和历史位置观测序列，对列车未来某时刻的行进位置进行预测，然后建立从列车的连续动态到离散冲突逻辑的观测器，将连续动态映射为离散观测值表达的冲突状态；当系统有可能违反交通管制规则时，对地铁交通混杂系统的混杂动态行为实施监控，为控制中心提供告警信息。本发明滚动实时对地铁列车轨迹进行预测，有效预警列车冲突，提高地铁交通的安全性。

本实用新型公开了一种带有保护装置的地铁信号走线装置，涉及走线装置技术领域，包括装置主体、密封垫、盖板、支撑片以及卡扣，所述装置主体顶部安装有盖板，所述盖板与装置主体之间设置有密封垫，所述装置主体底部开设有凹槽用于固定信号线，通过在装置主体底部设置支撑片，通过支撑片有利于使该装置底部能够在走线时抬升，使装置主体底部与地面之间存在间隙，进而有利于减小隧道地面积水对走线装置底部的腐蚀，从而延长该装置的使用寿命，同时通过底部的支撑片有利于提高走线装置内部大功率线缆的散热效果，提高装置主体底部的散热面积。

本发明提供了一种优化铁路固定闭塞分区的方法，包括分区方案优化系统，其特征在于：所述分区方案优化系统由多个子模块和全局外部档案模块组成；所述方法包括：（一）确定子模块的个数；（二）每个子模块将生成的最优前沿解送入全局外部档案模块；（三）全局外部档案模块内的所有最优前沿解形成离散形式的Pareto前沿解；（四）操作人员选择一个最优前沿解作为布置方案进行信号机布置。采用本发明所述的方法，对铁路固定闭塞分区优化充分，能得到在不同信号机数量条件下最优的布置方案，最大程度地根据实际需要提高列车的通行效率及控制投资成本。