-
Patent Agency Ranking
公开(公告)号：CN102004826B
公开(公告)日：2013-01-23
申请号：CN201010539849.8
申请日：2010-11-09
Applicant: 北京交通大学
IPC: G06F17/50
Abstract: 本发明公开了一种列控系统通信协议规范化设计的方法，包括：根据列控系统的协议需求，制定列控系统协议的案例集合；绘制所述案例集合中的每个案例的顺序序列图；建立形式化协议模型；对建立的协议模型依次进行语义和语法验证、仿真和形式化验证，若在验证或仿真阶段出现问题，返回到建立协议模型的步骤进行重建或修改；最后形成模型库并生成协议模型分析报告。本发明还公开了一种列控系统通信协议规范化设计的系统。本发明通过按列控系统的协议需求，对系统协议进行建模，并对该模型进行验证，使得在协议设计过程中避免了二义性，及早地发现协议中的错误。
-
公开(公告)号：CN102881220A
公开(公告)日：2013-01-16
申请号：CN201210384641.2
申请日：2012-10-11
Applicant: 北京交通大学
Abstract: 本发明公开了城市轨道交通领域的一种列车启动时刻计算方法。其技术方案是，基于时刻表确定列车发车时刻和始发站停站时间，判断列车位置，并设置列车停车位置与始发站间线路的参数，同时给出停车位置和始发站间列车运行的速度-距离曲线，通过设置并计算运行相关的列车参数；确定列车启动时刻。本发明有较广的应用范围，可用于全自动驾驶线路列车自动唤醒时刻计算，也可用于现有城市轨道交通线路列车启动时刻的计算。基于对列车启动运行至始发站过程的分析，减少人为因素的干扰，提高估算精度。线路数据和列车参数都是可更改的。可以根据不同线路，不同型号列车计算列车启动时刻。
-
公开(公告)号：CN102004826A
公开(公告)日：2011-04-06
申请号：CN201010539849.8
申请日：2010-11-09
Applicant: 北京交通大学
IPC: G06F17/50
Abstract: 本发明公开了一种列控系统通信协议规范化设计的方法，包括：根据列控系统的协议需求，制定列控系统协议的案例集合；绘制所述案例集合中的每个案例的顺序序列图；建立形式化协议模型；对建立的协议模型依次进行语义和语法验证、仿真和形式化验证，若在验证或仿真阶段出现问题，返回到建立协议模型的步骤进行重建或修改；最后形成模型库并生成协议模型分析报告。本发明还公开了一种列控系统通信协议规范化设计的系统。本发明通过按列控系统的协议需求，对系统协议进行建模，并对该模型进行验证，使得在协议设计过程中避免了二义性，及早地发现协议中的错误。
-
公开(公告)号：CN101945017A
公开(公告)日：2011-01-12
申请号：CN201010264263.5
申请日：2010-08-26
Applicant: 北京交通大学
Abstract: 本发明公开了一种列车运行控制系统车地传输协议的测试平台及其构建方法，该测试平台包括测试系统部分，用于根据车地传输EuroRadio协议的业务功能，整合SFM协议块的测试案例，调度相应的车地通信业务流程；协议栈仿真部分，用于将EuroRadio协议往下的协议层集合成通用协议层，并对GSM-R网络中的CFM协议块的业务功能进行仿真模拟。本发明不仅能观察到高层接受到的服务，还能对底层的信息交换进行监测，能够观察到被测系统对底层不正常行为的反应，从而完成对列车运行控制系统中车地安全传输协议的一致性测试。
-
公开(公告)号：CN101714911A
公开(公告)日：2010-05-26
申请号：CN200910237540.0
申请日：2009-11-11
Applicant: 北京交通大学
Abstract: 本发明涉及一种基于通信的列车运行控制系统的数据通信方法，该方法包括步骤：通信发起方向跟随方发送RFC报文，并将自身的通信链路状态设为等待建链请求应答报文状态；跟随方收到RFC报文后，若符合通信关系要求，则向发起方发送ACK报文，并将自身的通信链路状态设为通信正常状态；若发起方在第一设定时间间隔内收到ACK报文，且该ACK报文符合通信关系要求，则发起方将自身的通信链路状态改为通信正常状态，通信链路建立；否则，通信链路建立失败。本发明的方法，能够结合基于通信的列车运行控制系统的特点，防护相关安全传输存在的威胁，提高系统通信的传输效率，保障系统通信的安全性。
-
-
-
-
Search Results
5
records
(took 0.018 seconds)
