-
公开(公告)号：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，直至双方向停车区或次方向正式停车区进入主方向起点车站的加速区，根据主方向停车区、双方向停车区和次方向正式停车区进行单线双向运行常导磁浮线路辅助停车区布置。与现有技术相比，提高了线路规划与设计中科学性与经济性。
-
Patent Agency Ranking
公开(公告)号：CN112172838A
公开(公告)日：2021-01-05
申请号：CN202010901260.1
申请日：2020-08-31
Applicant: 同济大学
Abstract: 本发明涉及一种常导磁浮交通双向辅助停车区布置方法，该方法基于“停车点步进”、逆向递推法、顺向递推法和“双向协同”，能使得计算得到的每个辅助停车区均为距起始时基准停车区最远的辅助停车区。与现有技术相比，在保证列车运行安全的前提下，实现常导磁浮线路建设成本的节约，提高了规划设计的科学性。
-
公开(公告)号：CN112172838B
公开(公告)日：2021-09-03
申请号：CN202010901260.1
申请日：2020-08-31
Applicant: 同济大学
Abstract: 本发明涉及一种常导磁浮交通双向辅助停车区布置方法，该方法基于“停车点步进”、逆向递推法、顺向递推法和“双向协同”，能使得计算得到的每个辅助停车区均为距起始时基准停车区最远的辅助停车区。与现有技术相比，在保证列车运行安全的前提下，实现常导磁浮线路建设成本的节约，提高了规划设计的科学性。
-
公开(公告)号：CN109472449B
公开(公告)日：2021-09-03
申请号：CN201811179189.X
申请日：2018-10-10
Applicant: 同济大学
Abstract: 本发明涉及一种基于群决策的城市轨道交通信号设备健康状态评价方法，包括：步骤S1：对于任一设备，读取其健康状体管理周期参数，若其健康状体管理周期参数为设备故障状态监控周期，则执行步骤S2；若其健康状体管理周期参数为设备使用状态评价周期，则执行步骤S3；步骤S2：读取该设备在最近设定天数内的故障次数，并在故障次数超过该设备类型的设定告警阈值时将该设备的健康状体管理周期参数修改为设备使用状态评价周期；步骤S3：接收分别由各专家成员给出的模糊评价矩阵，并基于模糊评价矩阵得到该设备的评价结果。与现有技术相比，本发明利用设备的健康状体管理周期参数对设备的状态进行初步标识，并对处于评价周期内的设备进行评价，可以提高设备的评价效率和准确性。
-
公开(公告)号：CN110588714B
公开(公告)日：2020-11-27
申请号：CN201910934485.4
申请日：2019-09-29
Applicant: 同济大学
IPC: B61L1/16
Abstract: 本发明涉及一种计轴磁头受牵引电流干扰的判别方法、装置及隔离方法，其中判别方法包括：步骤S1：采集列车进入分相区时计轴设备感应单元的最大电压值，并获得第一最大电压；步骤S2：采集列车进入分相区后，未到达该计轴设备时感应单元的最大电压值，并获得第二最大电压；步骤S3：采集列车经过该计轴设备时感应单元的最大电压值，并获得其第三最大电压；步骤S4：基于第一最大电压、第二最大电压和第三最大电压，结合计轴设备感应单元无车辆时的工作电压区间和有车辆时的工作电压区间判断是否存在干扰及干扰程度。与现有技术相比，本发明具有经济可靠等优点。
-
公开(公告)号：CN111915181A
公开(公告)日：2020-11-10
申请号：CN202010747300.1
申请日：2020-07-29
Applicant: 同济大学
Abstract: 本发明涉及一种信号设备使用寿命状态预测方法，包括：获取目标信号设备影响因素指标数据和不同历史案例的历史影响因素指标数据；将历史影响因素指标数据和目标信号设备影响因素指标数据归一化；基于归一化历史影响因素指标数据和归一化目标信号设备影响因素指标数据，计算得到不同指标的关联系数；基于不同指标的关联系数和不同指标的权重，计算得到不同历史案例的使用寿命状态匹配系数；选取最大的使用寿命状态匹配系数所对应的历史案例进行目标信号设备的使用寿命状态预测。与现有技术相比，较为科学与快速地得到目标信号设备使用寿命状态情况，有助于信号设备维保工作的开展。
-
-
-
-
-
-
-
-
-
Search Results
25
records
(took 0.02 seconds)
