公开(公告)号：CN102201003A

公开(公告)日：2011-09-28

申请号：CN201110118393.2

申请日：2011-05-09

Applicant: 北京交通大学

Inventor： 王悉 ,  唐涛 ,  郜春海 ,  刘波

IPC: G06F17/30 ,  G06F19/00

Abstract: 本发明涉及嵌入式系统技术领域，提出了一种CBTC系统中数据一致性控制的方法，用来实现对于数据的安全管理，保证在整个CBTC系统运行过程中，所有VOBC、ZC以及其他子系统能够及时从DSU获取最新的数据，并且相互间使用的数据完全一致。本发明中采用基于数据库版本号的管理策略，能够将版本号与数据内容相关联，减少了误识别的可能性。同时，最大程度上减少了不同子系统间交互数据的数量，提高了效率和安全性。

公开(公告)号：CN101937222A

公开(公告)日：2011-01-05

申请号：CN201010256321.X

申请日：2010-08-17

Applicant: 北京交通大学

Inventor： 郜春海 ,  袁彬彬 ,  马连川 ,  王悉

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: 北京交通大学

Inventor： 宁滨 ,  王悉 ,  马连川 ,  袁彬彬

IPC: G05B9/03

Abstract: 本发明公开了一种基于2取2结构的计算机控制系统及其实现方法，所述系统包括安全管理层和具有两个处理器的2取2执行层，所述安全管理层和2取2执行层之间通过高速通信总线连接，所述2取2执行层用于完成每个阶段的应用处理，并完成不同阶段的数据比较，并向安全管理层发送同步状态信号和数据比较结果。所述安全管理层用于控制和判断所述2取2执行层中两个处理器的同步状态，并且判断两个处理器数据比较结果是否一致。

公开(公告)号：CN101915894A

公开(公告)日：2010-12-15

申请号：CN201010235381.3

申请日：2010-07-22

Applicant: 北京交通大学

Inventor： 马连川 ,  王悉 ,  袁彬彬

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，对于所述触发输入条件中的时间约束值，进行离散化处理。该发明能够解决测试案例数量爆炸的问题，大大提高测试效率。

公开(公告)号：CN101901176A

公开(公告)日：2010-12-01

申请号：CN201010235341.9

申请日：2010-07-22

Applicant: 北京交通大学

Inventor： 马连川 ,  李开成 ,  王悉 ,  袁彬彬

IPC: G06F11/16 ,  G06F1/04

Abstract: 本发明公开了一种冗余时钟系统，包括n个时钟模块，所述时钟模块包括高频时钟单元和并行冗余处理单元，所述高频时钟单元用于产生具有故障安全特征的高频时钟和复位信号，其包括时钟比较器、错误状态锁存器和安全切除逻辑；所述并行冗余处理单元用于产生具有故障安全特征的同步冗余时钟输出，其包括时钟表决电路、时钟同步电路、安全比较器和安全切除逻辑。本发明针对传统实现冗余时钟的方法中存在的“自己判断自己错误，或者判断他人错误而切换”的逻辑漏洞与拜占庭故障，基于故障安全N取M结构以及并行冗余方法实现高可靠时钟。

公开(公告)号：CN115167391B

公开(公告)日：2024-10-15

申请号：CN202210670788.1

申请日：2022-06-14

Applicant: 北京交通大学

Inventor： 王悉 ,  余祖俊 ,  王洪伟 ,  胡明耀

IPC: G05D1/43 ,  G05D1/65 ,  G05D1/633 ,  G05D1/644 ,  G05D1/692 ,  G05D109/10

Abstract: 本发明涉及一种基于滑模控制的虚拟编组列车编队控制方法。本发明基于Lyapunov稳定性理论和滑模控制理论，研究了考虑列车参数和外部扰动的不确定性，提出了一种基于滑膜控制的鲁棒自适应编队控制律来协同处于虚拟编组运行的列车群中每一个单元列车的运行。在本发明提出的编队控制策略下，虚拟编组内所有单元列车以与虚拟编组中的第一个单元列车(领车)相同的速度行驶，且虚拟编组内部所有单元列车之间运行间隔收敛于期望运行间隔，从而保证列车高效运行的同时也保证了虚拟编组中列车的运行安全。

公开(公告)号：CN118708292A

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

申请号：CN202410821571.5

申请日：2024-06-24

Applicant: 北京交通大学

Inventor： 王悉 ,  王洪伟 ,  唐涛 ,  朱力 ,  李开成

IPC: G06F9/455

Abstract: 本发明提供了一种面向云计算安全平台的列控应用软件迁移方法，包括使用马尔可夫决策过程进行建模；设计基于DQN的虚拟机迁移策略优化算法；求解出迁移策略；所述迁移策略包括，每个待迁移虚拟机在迁移队列里的迁移顺序和迁移目标服务器。本发明基于列控系统中安全计算平台特点，考虑其已部署在云平台上运行的应用软件以热迁移的方式迁移至云平台中的其它云服务器上，并满足安全计算平台和轨道交通系统本身的安全苛求约束和资源分配约束，对应用软件迁移策略进行优化，缩短承载应用软件的虚拟机迁移停机时间，保障应用软件的服务连续性。

公开(公告)号：CN113762464B

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

申请号：CN202110868286.5

申请日：2021-07-30

Applicant: 北京交通大学

Inventor： 王悉 ,  朱力 ,  辛天鹏 ,  王洪伟

IPC: G06N3/0475 ,  G06N3/045 ,  G06N3/094 ,  G06N3/0442 ,  B61L23/00 ,  B61L27/20 ,  G06F18/214 ,  G06F123/02

Abstract: 本发明提出了一种基于学习的列车运行参考曲线动态生成方法。基于条件GAN的概念，提出了基于时间戳条件生成对抗网络的数据生成方法，通过设计生成器和判别器，学习数据和时间戳之间的隐藏关系，从而生成不规则采样的新数据。在此基础上，考虑列车实际运行数据集中包含时间序列和非时间序列不同属性数据的特点，利用深度学习方法，构建参考曲线混合学习模型，对列车未来时间段内的目标运行曲线进行预测，从而实现目标运行曲线的动态生成。本发明增加了大量的数据样本点，极大的丰富了原始数据量，便于提高算法精度。生成的列车运行参考曲线既可以用于既有列车自动驾驶系统中，也可以适用于下一代列车自主驾驶系统，具有广阔的应用价值。

公开(公告)号：CN113112078B

公开(公告)日：2024-03-26

申请号：CN202110407595.2

申请日：2021-04-15

Applicant: 北京交通大学 ,  中车工业研究院有限公司

Inventor： 田寅 ,  王悉 ,  王洪伟 ,  朱力 ,  周林彦

IPC: G06Q10/04 ,  G06Q10/0631 ,  G06Q10/067 ,  G06Q50/40 ,  B61L27/04

Abstract: 本发明属于城市轨道交通列车调度优化控制技术领域，涉及一种列车实时调整与站台等待人数控制的联合优化方法，包括：S1：采集列车实时信息；S2：据列车实际到发时间与原计划时间对比，判断列车是否偏离；S3：如果列车偏离计划，则用列车实时调整与站台等待人数控制的联合优化方法控制；S4：重复步骤S1‑S3，直到控制结束。本发明通过实时获取列车信息，当列车受到干扰，当偏离既定运行时刻或乘车人数偏差过大时，启动本发明的列车自动调整控制方法，并结合已有ATO，保障列车在延误下正常运行，保证轨道交通系统的效率、准点率和乘车舒适性。与既有基于动态规划和MPC方法的列车调整方法相比，保证列车自动调整的实时性。

公开(公告)号：CN113177295B

公开(公告)日：2024-02-27

申请号：CN202110370870.8

申请日：2021-04-07

Applicant: 北京交通大学 ,  北京玖琏科技有限公司

Inventor： 李树凯 ,  胡雨婷 ,  杨立兴 ,  许永成 ,  王悉 ,  戚建国

IPC: G06F30/20 ,  G06Q50/40 ,  G06F111/02 ,  G06F111/04

Abstract: 本发明属于城市轨道交通控制技术领域，涉及一种地铁网络列车时刻表快速编制方法，包括：S1：设置目标地铁网络的基础参数；S2：设置各线路区间的运行时间、停站时间、发车间隔和旅行时间的范围；采集现实数据，设置各换乘车站站台间的换乘走行时间；S3：采集地铁网络的客流信息；S4：采用广义Benders分解算法进行编制；S5：获得大型地铁网络的协同优化列车时刻表和线路间列车接续情况。本发明采用广义Benders分解算法将原问题分解为更易求解的子问题和主问题，具有较好的求解效率，且能够最大程度减少乘客等待时间，提高地铁系统的换乘效率和服务水平。