利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

7 条记录 (耗时 0.029 秒)

    一种跨站进路邻站迎面敌对防护方法
    1.
    发明公开
    一种跨站进路邻站迎面敌对防护方法 审中-实审

    公开(公告)号：CN118405173A

    公开(公告)日：2024-07-30

    申请号：CN202410706294.3

    申请日：2024-06-03

    申请人： 卡斯柯信号(成都)有限公司

    发明人： 辛帆 ,  杨平 ,  张国茹 ,  黄虹博 ,  雷贝贝 ,  陈灏捷 ,  张铭瑶 ,  胡春凤

    IPC分类号： B61L27/20 ,  B61L27/70 ,  B61L27/10

    摘要： 本发明公开了一种跨站进路邻站迎面敌对防护方法，涉及轨道交通控制技术领域，本发明本站联锁区将该进路内方区段按进路方向将区段顺序锁闭直到本站联锁区边界区段，并将本站联锁区边界区段带方向的锁闭参数传递给邻站联锁区；邻站联锁区收到本站联锁区边界区段的带方向的锁闭参数后，按进路顺序锁闭跨站进路在邻站联锁区的区段直到该进路的阻挡信号机外方第一区段。通过进路方向，区分进路上的区段的锁闭方向，可以提高进路建立的效率，允许多列车进入同一进路，实现进路内多车密集追踪。

    一种目标控制器配置数据系统及生成方法
    2.
    发明公开
    一种目标控制器配置数据系统及生成方法 审中-实审

    公开(公告)号：CN115576625A

    公开(公告)日：2023-01-06

    申请号：CN202211187601.9

    申请日：2022-09-28

    申请人： 卡斯柯信号(成都)有限公司

    发明人： 黄虹博 ,  黎瀚泽 ,  杨平 ,  杨帆 ,  张国茹 ,  蔡崇霞 ,  谢林 ,  张铭瑶

    IPC分类号： G06F9/445 ,  G06F13/40

    摘要： 本发明公开了一种目标控制器配置数据系统及生成方法，涉及涉及目标控制器配置数据生成技术领域，包括物理层、逻辑层和接口层：物理层，用于描述目标控制器的硬件配置信息，硬件配置信息包括物理位置、设备类型及数量、以及主安全控制单元的通信协议，物理层包括目标控制器的若干机箱对应的若干RACK结构，RACK结构包括记录机笼不同硬件模块的若干LRU结构；逻辑层，用于描述逻辑集合，逻辑集合的元素为逻辑对象，逻辑层包括若干用于存储逻辑对象的OBJECT结构；接口层，用于描述不同LRU结构之间的通讯，并将物理层和逻辑层绑定。本发明将配置数据分成逻辑、物理、接口三层结构，能够清晰的存储硬件板卡多样、复杂的特殊参数和通信信息。

    一种用于联锁软件形式化验证的系统模型构建方法
    6.
    发明公开
    一种用于联锁软件形式化验证的系统模型构建方法 审中-实审

    公开(公告)号：CN115562669A

    公开(公告)日：2023-01-03

    申请号：CN202211318834.8

    申请日：2022-10-26

    申请人： 卡斯柯信号(成都)有限公司

    发明人： 张铭瑶 ,  王燕芩 ,  杨平 ,  张程 ,  徐军强 ,  朱迎春 ,  杨帆 ,  季雯婷

    IPC分类号： G06F8/38 ,  G06F8/34

    摘要： 本发明公开了一种用于联锁软件形式化验证的系统模型构建方法，涉及计算机联锁系统技术领域。本发明利用采用不同的编程方法和编程语言开发的两个具有相同功能的翻译器读取联锁输入数据；并通过文件比较工具对两个具有相同功能的翻译器输出的特点格式的数据文件进行一致性校验；采用编程方法开发一个系统模型构建工具，利用该系统模型构建工具读入S1步骤中经翻译器数据转换后且通过一致性校验的特定格式文件，依据特定格式文件构建系统模型。本发明从信号人员视角出发，重点描述联锁数据层面的系统模型构建，及其与对象模型的映射关系。本发明描述的系统模型构建方法为信号人员如何依据现有联锁数据构建系统模型提供了一种思路。