公开(公告)号：CN102955903A

公开(公告)日：2013-03-06

申请号：CN201210458408.4

申请日：2012-11-15

Applicant: 同济大学

Inventor： 欧冬秀 ,  潘洪亮 ,  董德存

IPC: G06F19/00

Abstract: 一种应用于铁路或轨道交通行业计算机控制系统的安全苛求信息的处理方法，将输入信息采用一分为四的分配方法分别传送给负责信息处理的I系和II系内的两个独立通道安全计算处理模块进行分别处理并独立输出，其输出具备三级输出结构,包括一级单系内部的双通道仲裁输出、二级双系切换输出、三级最终安全控制输出。一级单系双通道仲裁输出在同步机制的保证下实现两个输出信息的二取二表决,二级双系无缝热备切换输出时遵循故障-安全原则，三级安全控制输出针对数字信号采用安全型继电器实施有效电气隔离。本发明通过仲裁、切换、安全隔离等方法避免计算机系统的随机与偶然故障导致的危险控制，从而满足大容量交通运输工具的安全性苛刻要求。

公开(公告)号：CN118133270A

公开(公告)日：2024-06-04

申请号：CN202311840758.1

申请日：2023-12-28

Applicant: 同济大学

Inventor： 陈义军 ,  袁建军 ,  潘洪亮 ,  赵华华 ,  张仿琪 ,  林辉

IPC: G06F21/52 ,  G06F21/44

Abstract: 本发明涉及一种高速磁浮运控系统运行时验证方法、设备及介质，该方法首先建立基于混合变量的性质规约；之后，就语法和语义两方面进行检查，检查通过之后对所定义性质规约进行规范化；形成规范化性质规约之后，采用基于重写逻辑和公式逐级展开的方式把规范化性质规约转化为实时有限状态自动机；实时有限状态自动机在执行时与某一列车关联，并作为执行部件服从于运行时验证执行过程的调度和管理；运行时验证执行过程将状态变量信息和生成的实型参数变量根据列车号传递到所调度的实时有限状态自动机集合当中，通过实时检查被验证系统的运行轨迹是否满足所定义的性质规约，以实现面向高速磁浮运控系统混成特性的安全相关软件的运行时验证。

公开(公告)号：CN111560909A

公开(公告)日：2020-08-21

申请号：CN202010272788.7

申请日：2020-04-09

Applicant: 同济大学 ,  中车株洲电力机车有限公司

Inventor： 潘洪亮 ,  唐少强 ,  邱宇 ,  杨颖 ,  佟来生 ,  张杨

IPC: E01H8/08 ,  E01B25/30 ,  H05B3/02 ,  G08B21/18

Abstract: 本发明涉及一种中低速磁浮交通供电轨的自动控温碳纤维加热除冰装置，该装置包括：分布式光纤测温组件：包括相互连接的测温主机和布设在供电轨内用以测量供电线附近温度的光纤传感器；无线通信组件：分别与测温主机和控制中心连接，用以传输温度信息；加热组件：包括与供电线平行布置的加热丝以及与测温主机连接带有继电器的加热控制器，所述的加热丝与加热控制器连接。与现有技术相比，本发明具有连续、准确、实时测量、适用于高电磁环境、远程监控、供灵敏度高、寿命长、成本低、电热转换效率高、方便维修等优点。

公开(公告)号：CN107024915B

公开(公告)日：2019-10-01

申请号：CN201610074204.9

申请日：2016-02-02

Applicant: 同济大学

Inventor： 林国斌 ,  潘洪亮 ,  廖志明 ,  韩鹏

IPC: G05B23/02

Abstract: 本发明涉及一种电网控制器板卡故障检测系统及检测方法。该系统包括数据采集模块、存储模块、数据训练模块、故障检测控制模块和上位机，所述的数据采集模块输入端连接电网控制器板卡，输出端连接存储模块和故障检测控制模块，所述的数据训练模块和故障检测控制模块均连接存储模块；数据采集模块将采集的电网控制器板卡数据发送至存储模块，数据训练模块通过存储模块中的数据进行数据训练建立训练模型并存储至存储模块中，故障检测控制模块实时接收数据采集模块的采集数据，并对比存储模块中的训练模型自动诊断控制器板卡的故障点和故障类型，并将其发送至上位机。与现有技术相比，本发明具有检测方便、检测的效率和准确度高等优点。

公开(公告)号：CN107132831B

公开(公告)日：2019-09-27

申请号：CN201610108799.5

申请日：2016-02-26

Applicant: 同济大学

Inventor： 潘洪亮 ,  廖志明 ,  林国斌 ,  韩鹏 ,  张兴媛 ,  王旋

IPC: G05B23/02

Abstract: 本发明涉及一种磁浮列车控制器板卡故障检测数据权重设置方法，用于磁浮列车控制器板卡的故障检测中，包括以下步骤：(1)检测前，根据先验信息获取控制器板卡的m组验前数据πi，i＝1,2,3…m；(2)对控制器板卡施加故障信号，并获取一组现场数据x1,x2,…xn；(3)从每组验前数据πi中抽取p个抽样值πi1,πi2,…πip,并结合现场数据形成样本矩阵，并求样本矩阵的特征根；(4)根据样本矩阵的特征根，计算验前数据的权重系数。与现有技术相比，本发明能结合现场数据对先验信息进行定量修正，体现出先验信息与现场数据的有效融合。

公开(公告)号：CN108382265A

公开(公告)日：2018-08-10

申请号：CN201810019024.X

申请日：2018-01-09

Applicant: 同济大学

Inventor： 徐俊起 ,  林国斌 ,  高定刚 ,  荣立军 ,  吉文 ,  赵元哲 ,  韩鹏 ,  潘洪亮

IPC: B60L13/04

Abstract: 本发明涉及一种中低速磁浮列车悬浮冗余控制系统，包括设于悬浮架一侧电磁铁上的四个悬浮电磁铁磁极、设于电磁铁两侧的两个悬浮传感器、与四个悬浮电磁铁磁极一一对应连接的四个悬浮斩波器，以及与悬浮斩波器分别连接的悬浮控制器，所述的悬浮控制器与两个悬浮传感器分别连接。与现有技术相比，本发明实用性强，具有提高悬浮系统运行的可靠性和稳定性等优点。

公开(公告)号：CN107024915A

公开(公告)日：2017-08-08

申请号：CN201610074204.9

申请日：2016-02-02

Applicant: 同济大学

Inventor： 林国斌 ,  潘洪亮 ,  廖志明 ,  韩鹏

IPC: G05B23/02

Abstract: 本发明涉及一种电网控制器板卡故障检测系统及检测方法。该系统包括数据采集模块、存储模块、数据训练模块、故障检测控制模块和上位机，所述的数据采集模块输入端连接电网控制器板卡，输出端连接存储模块和故障检测控制模块，所述的数据训练模块和故障检测控制模块均连接存储模块；数据采集模块将采集的电网控制器板卡数据发送至存储模块，数据训练模块通过存储模块中的数据进行数据训练建立训练模型并存储至存储模块中，故障检测控制模块实时接收数据采集模块的采集数据，并对比存储模块中的训练模型自动诊断控制器板卡的故障点和故障类型，并将其发送至上位机。与现有技术相比，本发明具有检测方便、检测的效率和准确度高等优点。