-
公开(公告)号:CN117811917A
公开(公告)日:2024-04-02
申请号:CN202311840664.4
申请日:2023-12-28
Applicant: 同济大学
IPC: H04L41/0803 , H04L67/565
Abstract: 本发明涉及一种高速磁浮运控报文自适应转换方法、设备及介质,其中方法从逻辑上分解为两部分,即自适应报文配置信息的静态定义过程以及自适应报文转换的动态执行过程;静态定义过程的任务是配置两类自适应报文定义配置信息,即自适应报文定义全局配置信息和自适应报文类型定义及映射配置信息;根据静态定义过程配置的两类自适应报文定义配置信息,动态执行过程实现接口双方报文的自动匹配与转换,动态执行过程包括初始化过程、报文收发处理主流程、报文匹配子流程、报文校验子流程以及报文装配子流程。通过这些过程,可以实现半实物仿真环境下外围仿真设备与不同厂商实体设备之间报文自适应转换以及互联互通。
-
公开(公告)号:CN118133270A
公开(公告)日:2024-06-04
申请号:CN202311840758.1
申请日:2023-12-28
Applicant: 同济大学
Abstract: 本发明涉及一种高速磁浮运控系统运行时验证方法、设备及介质,该方法首先建立基于混合变量的性质规约;之后,就语法和语义两方面进行检查,检查通过之后对所定义性质规约进行规范化;形成规范化性质规约之后,采用基于重写逻辑和公式逐级展开的方式把规范化性质规约转化为实时有限状态自动机;实时有限状态自动机在执行时与某一列车关联,并作为执行部件服从于运行时验证执行过程的调度和管理;运行时验证执行过程将状态变量信息和生成的实型参数变量根据列车号传递到所调度的实时有限状态自动机集合当中,通过实时检查被验证系统的运行轨迹是否满足所定义的性质规约,以实现面向高速磁浮运控系统混成特性的安全相关软件的运行时验证。
-
公开(公告)号:CN112329340B
公开(公告)日:2022-11-18
申请号:CN202011198601.X
申请日:2020-10-31
Applicant: 同济大学
IPC: G06F30/27 , G06F30/13 , G06N3/12 , G06F111/04
Abstract: 本发明涉及一种常导高速磁浮单向运行线路辅助停车区布置优化方法,该方法包括以下步骤:根据线路情况获取候选辅助停车区;基于目标速度曲线和约束条件,以及候选辅助停车区的安全制动曲线、最小速度曲线、最大速度曲线和安全悬浮曲线,建立目标函数与候选辅助停车区数量和区间追踪间隔时间有关的辅助停车区布置模型;利用改进遗传算法对辅助停车区布置模型进行迭代优化求解,得到候选辅助停车区优化布置方案。与现有技术相比,解决了复杂工况下的候选辅助停车区布置问题,能够为工程人员提供辅助决策,提高安全性、效率并节约成本,也能提高线路设计的科学性,即使得候选辅助停车区总数量尽可能少且区间追踪时间尽可能小。
-
公开(公告)号:CN112298291B
公开(公告)日:2021-12-31
申请号:CN202010899229.9
申请日:2020-08-31
Applicant: 同济大学
Abstract: 本发明涉及一种单线双向运行常导磁浮线路辅助停车区布置方法,包括:步骤S1:利用改进逆向布置法得到主方向停车区,将次方向终点车站的加速区作为该方向基准停车区;步骤S2:利用改进逆向布置法得到次方向临时停车区;步骤S3:根据次方向临时停车区与其基准停车区之间是否存在主方向停车区得到双方向停车区或次方向正式停车区;步骤S4:双方向停车区或次方向正式停车区作为反向基准停车区,重复步骤S2‑S4,直至双方向停车区或次方向正式停车区进入主方向起点车站的加速区,根据主方向停车区、双方向停车区和次方向正式停车区进行单线双向运行常导磁浮线路辅助停车区布置。与现有技术相比,提高了线路规划与设计中科学性与经济性。
-
公开(公告)号:CN112329340A
公开(公告)日:2021-02-05
申请号:CN202011198601.X
申请日:2020-10-31
Applicant: 同济大学
IPC: G06F30/27 , G06F30/13 , G06N3/12 , G06F111/04
Abstract: 本发明涉及一种常导高速磁浮单向运行线路辅助停车区布置优化方法,该方法包括以下步骤:根据线路情况获取候选辅助停车区;基于目标速度曲线和约束条件,以及候选辅助停车区的安全制动曲线、最小速度曲线、最大速度曲线和安全悬浮曲线,建立目标函数与候选辅助停车区数量和区间追踪间隔时间有关的辅助停车区布置模型;利用改进遗传算法对辅助停车区布置模型进行迭代优化求解,得到候选辅助停车区优化布置方案。与现有技术相比,解决了复杂工况下的候选辅助停车区布置问题,能够为工程人员提供辅助决策,提高安全性、效率并节约成本,也能提高线路设计的科学性,即使得候选辅助停车区总数量尽可能少且区间追踪时间尽可能小。
-
公开(公告)号:CN112298291A
公开(公告)日:2021-02-02
申请号:CN202010899229.9
申请日:2020-08-31
Applicant: 同济大学
Abstract: 本发明涉及一种单线双向运行常导磁浮线路辅助停车区布置方法,包括:步骤S1:利用改进逆向布置法得到主方向停车区,将次方向终点车站的加速区作为该方向基准停车区;步骤S2:利用改进逆向布置法得到次方向临时停车区;步骤S3:根据次方向临时停车区与其基准停车区之间是否存在主方向停车区得到双方向停车区或次方向正式停车区;步骤S4:双方向停车区或次方向正式停车区作为反向基准停车区,重复步骤S2‑S4,直至双方向停车区或次方向正式停车区进入主方向起点车站的加速区,根据主方向停车区、双方向停车区和次方向正式停车区进行单线双向运行常导磁浮线路辅助停车区布置。与现有技术相比,提高了线路规划与设计中科学性与经济性。
-
公开(公告)号:CN112172838A
公开(公告)日:2021-01-05
申请号:CN202010901260.1
申请日:2020-08-31
Applicant: 同济大学
Abstract: 本发明涉及一种常导磁浮交通双向辅助停车区布置方法,该方法基于“停车点步进”、逆向递推法、顺向递推法和“双向协同”,能使得计算得到的每个辅助停车区均为距起始时基准停车区最远的辅助停车区。与现有技术相比,在保证列车运行安全的前提下,实现常导磁浮线路建设成本的节约,提高了规划设计的科学性。
-
公开(公告)号:CN111915178B
公开(公告)日:2024-02-27
申请号:CN202010726963.5
申请日:2020-07-26
Applicant: 同济大学
IPC: G06Q10/063 , G06F18/20 , G06F18/241
Abstract: 本发明涉及一种信号设备使用寿命致因分析方法,包括以下步骤:步骤S1:获取影响因素的历史状态数据;步骤S2:基于历史状态数据,连接不同时刻相同状态的状态值,得到不同状态的状态曲线;步骤S3:判断状态曲线是否存在交点,若是,执行步骤S4,若否,执行步骤S1;步骤S4:判断状态曲线是否存在有效状态转移点,若是,该影响因素为信号设备使用寿命致因,若否,执行步骤S1。与现有技术相比,能够较为科学地分析出信号设备使用寿命状态变差的致因,有助于设备的维护,能够指导设备使用寿命的提升。
-
公开(公告)号:CN112446089B
公开(公告)日:2023-04-07
申请号:CN202011196163.3
申请日:2020-10-31
Applicant: 同济大学
IPC: G06F30/15 , G06F30/20 , G06Q10/04 , G06Q50/30 , G06F111/04 , G06F111/06
Abstract: 本发明涉及一种常导高速磁浮单线双向运行线路辅助停车区优化布置方法,包括以下步骤:根据线路情况获取候选辅助停车区;基于目标速度曲线和考虑区间追踪间隔的约束条件,以及候选辅助停车区的安全制动曲线、最小速度曲线、最大速度曲线和安全悬浮曲线,建立目标函数与辅助停车区数量有关的辅助停车区布置模型;利用改进遗传算法对辅助停车区布置模型进行迭代优化求解,得到辅助停车区优化布置方案。与现有技术相比,能够保证列车运行安全、线路运营效率以及线路建设的经济性,同时具有较高的求解效率。
-
公开(公告)号:CN112373525B
公开(公告)日:2021-12-31
申请号:CN202011364951.9
申请日:2020-11-27
Applicant: 同济大学
IPC: B61L27/00
Abstract: 本发明涉及一种磁浮交通辅助停车区布置方法,包括以下步骤:获取终点站、需求区段、需求限制区段和牵引分区;在距牵引分区最近且不小于一个防护距离的非需求限制区段上布置正式辅助停车区;终点站作为基准辅助停车区;根据基准辅助停车区、安全悬浮曲线、最小速度曲线、目标速度曲线、最大速度曲线和安全制动曲线得到临时辅助停车区;根据临时辅助停车区、需求区段、需求限制区段和结束条件完成磁浮交通辅助停车区布置。与现有技术相比,在优化辅助停车区数量的同时,使得列车追踪间隔时间最小,实现了复杂工况下的磁浮交通辅助停车区布置。
-
-
-
-
-
-
-
-
-