-
公开(公告)号：CN109327467B
公开(公告)日：2020-07-24
申请号：CN201811384369.1
申请日：2018-11-20
Applicant: 北京交通大学
Abstract: 本发明提供了一种RSSP‑II安全通信协议密钥管理机制的管理方法。该方法包括：当一个集群中各个节点设备存储的验证密钥到达其更新时间时，各个节点设备利用设定的投票机制选举出主节点设备；所述主节点设备生成新的验证密钥，利用公钥加密算法对所述验证密钥以及相关信息进行加密处理后，将所述新的验证密钥共享给其它节点设备；各个节点设备利用所述新的验证密钥建立新的安全连接，通过所述新的安全连接进行数据通信。本发明通过改进了RSSP‑II协议中密钥管理机制，使用非对称密钥取代了传输密钥，引入了分布式共识机制，结合非对称加密算法，实现了验证密钥在规定区域内的所有相关的节点设备之间的统一共享或更新。
-
公开(公告)号：CN108639103B
公开(公告)日：2019-07-30
申请号：CN201810326424.5
申请日：2018-04-12
Applicant: 北京交通大学
Abstract: 本发明实施例提供了一种轨道交通信号控制系统反应式故障‑安全机制的实现方法。该方法包括：将轨道交通信号控制系统分为输入单元、逻辑运算单元、通信单元、输出合成单元、输出驱动单元和安全监视器，在逻辑运算单元和安全监视器之间设置双向实时通信通道，利用安全监视器，在逻辑运算单元的协助下，采用两级动态信号判断输入单元、通信单元、输出合成单元和输出驱动单元工作是否正常，并将判断结果反馈给逻辑运算单元，且设置两级输出反馈协同完成安全关断。本发明提高了抵御安全风险的能力，完善了拒绝的安全特性，解决了目前反应式故障‑安全机制中所存在的、与拒绝相关的安全风险问题。
-
公开(公告)号：CN110027596A
公开(公告)日：2019-07-19
申请号：CN201910250258.X
申请日：2019-03-29
Applicant: 北京交通大学
IPC: B61L27/00
Abstract: 本发明提供了一种基于云计算的轨道交通列车运行控制系统。该系统包括：通过冗余通信网络连接的云计算设备和本地列控设备；云计算设备向所有本地列控设备提供实时计算和存储服务，以虚拟隔离或物理隔离方式向单一本地列控设备的单次与列车运行控制相关的计算申请同时提供冗余的多个实时计算和存储服务，计算产生冗余的多个计算结果并发送给本地列控设备；本地列控设备完成各自的安全输入、安全数据比较、列控安全计算控制和安全输出处理过程，对多个计算结果通过安全比较方式获得安全的计算结果。本发明提出了在保证安全计算平台安全性、可信性、时效性的前提下将计算环节迁移至云端的实现方法，解决了安全计算平台的计算能力及资源利用率的问题。
-
公开(公告)号：CN109474909A
公开(公告)日：2019-03-15
申请号：CN201810988266.X
申请日：2018-08-28
Applicant: 北京交通大学
Abstract: 本发明提供了一种用于CTCS-3级列控系统车地安全通信协议的密钥管理方法，该方法包括：由CTCS-3级列控系统中的安全相关设备分担其车地安全通信协议所要求的密钥管理功能，离线生成传输密钥和验证密钥的密钥本，并将所述密钥本存储于所述安全相关设备中，应用公钥密码体制根据所述传输密钥的密钥本为CTCS-3级列控系统中的安全相关设备分配传输密钥，在传输密钥分配完成后，利用传输密钥，继续按照CTCS-3级列控系统车地安全通信协议规定的方法建立安全通道，利用安全通道为安全相关设备分发验证密钥。本发明的方法通过安全相关设备执行密钥管理功能，改变了密钥管理过程中物理分发密钥的方式，降低了人工干预密钥管理的所带来的风险，提高了密钥的安全性。
-
公开(公告)号：CN109327467A
公开(公告)日：2019-02-12
申请号：CN201811384369.1
申请日：2018-11-20
Applicant: 北京交通大学
Abstract: 本发明提供了一种RSSP-II安全通信协议密钥管理机制的管理方法。该方法包括：当一个集群中各个节点设备存储的验证密钥到达其更新时间时，各个节点设备利用设定的投票机制选举出主节点设备；所述主节点设备生成新的验证密钥，利用公钥加密算法对所述验证密钥以及相关信息进行加密处理后，将所述新的验证密钥共享给其它节点设备；各个节点设备利用所述新的验证密钥建立新的安全连接，通过所述新的安全连接进行数据通信。本发明通过改进了RSSP-II协议中密钥管理机制，使用非对称密钥取代了传输密钥，引入了分布式共识机制，结合非对称加密算法，实现了验证密钥在规定区域内的所有相关的节点设备之间的统一共享或更新。
-
Patent Agency Ranking
公开(公告)号：CN103612650B
公开(公告)日：2016-01-20
申请号：CN201310603679.9
申请日：2013-11-25
Applicant: 北京交通大学
IPC: B61L27/00
Abstract: 本发明公开了属于轨道交通控制技术领域的一种简化轨道交通列车运行控制系统的方法。该方法具体为：1）改进通用安全计算机平台设计方法；2）简化轨道交通列车运行控制系统的车载应用或地面应用。设计的通用安全计算机平台基于硬件/软件差异性设计原则、分级诊断原则实现，软件方面基于双重确定性原则支持同时实现多个应用控制逻辑的功能。该方法设计的通用安全计算机平台逻辑处理层能够同时支持多个传统轨道交通运控逻辑处理功能，减少了传统轨道交通列车运行控制系统设备数量，提高了运控系统可靠性；该方法设计的通用安全计算机平台可移植到不同要求的轨道交通列车运控系统，减少了开发和安全评估工作量，降低了开发和安全评估成本。
-
公开(公告)号：CN103612650A
公开(公告)日：2014-03-05
申请号：CN201310603679.9
申请日：2013-11-25
Applicant: 北京交通大学
IPC: B61L27/00
Abstract: 本发明公开了属于轨道交通控制技术领域的一种简化轨道交通列车运行控制系统的方法。该方法具体为：1）改进通用安全计算机平台设计方法；2）简化轨道交通列车运行控制系统的车载应用或地面应用。设计的通用安全计算机平台基于硬件/软件差异性设计原则、分级诊断原则实现，软件方面基于双重确定性原则支持同时实现多个应用控制逻辑的功能。该方法设计的通用安全计算机平台逻辑处理层能够同时支持多个传统轨道交通运控逻辑处理功能，减少了传统轨道交通列车运行控制系统设备数量，提高了运控系统可靠性；该方法设计的通用安全计算机平台可移植到不同要求的轨道交通列车运控系统，减少了开发和安全评估工作量，降低了开发和安全评估成本。
-
公开(公告)号：CN101937222A
公开(公告)日：2011-01-05
申请号：CN201010256321.X
申请日：2010-08-17
Applicant: 北京交通大学
IPC: G05B19/418 , G01R31/28
CPC classification number: Y02P90/02
Abstract: 本发明公开了一种板级测试系统，其包括：测试上位机，通过数据采集卡与测试控制器连接，通过测试上位机提供的以太网、RS-232以及数据通信卡提供的RS-485、RS-422与待测电路板连接；测试控制器，分别与测试上位机中的数据采集卡和插箱背板连接，用于对测试所需的激励信号和测试输出信号进行电平变换，以及提供待测电路板和电平变换电路所需的受控电源；插箱背板，分别与所述测试控制器和待测电路板连接；以及容纳待测电路板的测试插箱。本发明能够保证进行板级测试时对待测电路板的保护，基于计算机辅助的全自动或半自动方式测试系统，尤其是对功能复杂的电路板，能够减少测试人员的工作强度，提高效率，减少测试人为错误的发生，具有较高的使用价值。
-
公开(公告)号：CN101916068A
公开(公告)日：2010-12-15
申请号：CN201010241067.6
申请日：2010-07-29
Applicant: 北京交通大学
IPC: G05B9/03
Abstract: 本发明公开了一种基于2取2结构的计算机控制系统及其实现方法，所述系统包括安全管理层和具有两个处理器的2取2执行层，所述安全管理层和2取2执行层之间通过高速通信总线连接，所述2取2执行层用于完成每个阶段的应用处理，并完成不同阶段的数据比较，并向安全管理层发送同步状态信号和数据比较结果。所述安全管理层用于控制和判断所述2取2执行层中两个处理器的同步状态，并且判断两个处理器数据比较结果是否一致。
-
公开(公告)号：CN101915894A
公开(公告)日：2010-12-15
申请号：CN201010235381.3
申请日：2010-07-22
Applicant: 北京交通大学
IPC: G01R31/317 , G01R31/3181
Abstract: 本发明公开了一种测试数字逻辑器件中实时有限状态机的方法，包括步骤：S1，减少测试案例、完成测试案例的编制，并生成测试序列；S2，按照全自动测试方式进行测试，生成测试结果；S3，采集测试结果，发送给上位机。其中，所述步骤S1具体包括：S1-1，从上电复位的初始状态S1开始，遍历该状态所有触发输入条件I1个，检查状态转移是否正确；S1-2，对初始状态按照正常触发方式转移的下一个状态Si，遍历所有触发输入条件Ii个，检查状态转移是否正确；S1-3，按照步骤S1-2的方式，对所有N个状态进行测试。S1-4，对于所述触发输入条件中的时间约束值，进行离散化处理。该发明能够解决测试案例数量爆炸的问题，大大提高测试效率。
-
-
-
-
-
-
-
-
-
Search Results
55
records
(took 0.027 seconds)
