-
公开(公告)号:CN119537200A
公开(公告)日:2025-02-28
申请号:CN202411323086.1
申请日:2024-09-23
Applicant: 北京交通大学
IPC: G06F11/3668 , G06F18/27 , G06F18/214
Abstract: 本发明涉及自动化测试领域,提供了一种程序符号执行测试方法、装置及设备,该方法包括:获取待测程序,通过多个训练好的预测模型对待测程序进行符号执行测试,得到多个测试结果;将每个预测模型的测试结果进行合并得到最终测试结果;训练好的预测模型为根据训练集训练得到,训练集为程序集合。本发明解决了现有技术中现有技术中单一启发式方法难以全面覆盖程序路径的缺陷,实现了对待测程序进行高效、全面的符号执行测试,提高了测试覆盖率。
-
公开(公告)号:CN115396442B
公开(公告)日:2024-07-16
申请号:CN202211030355.6
申请日:2022-08-26
Applicant: 北京交通大学
IPC: H04L67/10 , H04L67/1074 , G06Q20/38 , G06Q10/0631 , G06F9/50
Abstract: 本发明涉及一种面向城市轨道交通的算力共享系统及方法,系统包括:轨道交通算力感知调度层:用于实时接收算力消费方发布的任务;区块链信任管理层:用于存储用户信息、算力信息、交易电子合同信息,维护交易电子合同的执行,并在交易结束后完成交易清算,同时更新算力服务信誉值;算力资源池:用于为算力共享网络提供算力资源或消费算力资源;网络基础设施:用于连接轨道交通车载设备、云中心设备和边缘设备。本发明利用分布式计算和区块链等技术,使得设备中的算力资源通过安全高效的共享网络达到更高的利用率。
-
公开(公告)号:CN117082626B
公开(公告)日:2024-03-26
申请号:CN202310924694.7
申请日:2023-07-26
Applicant: 北京交通大学
IPC: H04W72/0457 , H04W72/1263 , H04W72/543
Abstract: 本发明提供一种列车无线通信网络的业务复用切片资源分配方法及系统,属于列车通信网技术领域,建立资源切片框架;分别对不同类型的列车业务、网络切片进行特征分析,分析不同类型切片的服务质量需求,并进行约束条件建模;建立以最小化系统带宽资源为目标并同时满足异构业务服务质量需求约束和系统可用最大带宽资源的优化问题;利用凸优化理论将优化问题化简为凸问题,化简引理合并多个约束条件;基于分布式对偶分解法求解目标优化问题,得到最优的资源分配策略。本发明可在单一网络中承载具有差异化服务质量需求的TCS和PIS两类列车业务;满足所有业务的QoS传输需求,得到最优的带宽分配表达式,并使带宽资源占用最小化。
-
公开(公告)号:CN117669913A
公开(公告)日:2024-03-08
申请号:CN202311386750.2
申请日:2023-10-24
Applicant: 北京城市轨道交通咨询有限公司 , 北京交通大学
IPC: G06Q10/0631 , G06Q50/40 , G06N3/126
Abstract: 本发明提供了一种安装轨旁储能设备的城市轨道交通线路列车运行图与速度曲线集成优化方法。该方法包括:收集安装轨旁储能设备的城市轨道交通线路运营数据;基于所述线路运营数据及储能设备特点将列车运营线路分割成多个小段,计算列车净能耗;以全线列车总净能耗最小为目标,建立安装轨旁储能设备的城轨节能运行图与速度曲线集成优化模型,并利用遗传算法对所述优化模型进行求解,得到列车的节能速度曲线与列车运行图方案。本发明方法以线路安装轨旁储能设备为背景,将速度曲线与列车运行图同时纳入考虑,同时进行优化,将二者之间的相互影响体现在数学建模中,能够得出更适合于安装储能设备的城市轨道交通线路的节能方案。
-
公开(公告)号:CN112116207B
公开(公告)日:2023-12-22
申请号:CN202010858086.7
申请日:2020-08-24
Applicant: 北京交通大学
IPC: G06Q10/0631 , G06Q10/067 , G06Q10/04 , G06Q50/30 , G06N3/126
Abstract: 本发明实施例提供了一种多约束条件的列车运行调整的计算方法和装置,所述方法包括:S1,对基于遗传算法的高速列车运行调整问题进行建模;S2,根据建好的模型,构建综合考虑列车晚点时间和能耗的优化目标;S3,在约束条件下,根据所述优化目标,对列车进行调整。本发明可以在保证列车安全追踪距离与电能供应的情况下尽可能缩短晚点时间。
-
公开(公告)号:CN117252410A
公开(公告)日:2023-12-19
申请号:CN202310839076.2
申请日:2023-07-10
Applicant: 北京交通大学
IPC: G06Q10/0635 , G06Q10/067 , G06Q10/10 , G06Q50/08
Abstract: 本发明提供一种铁路工程建设项目风险管理方法及系统,属于工程项目风险预测管理技术领域,收集铁路工程建设项目数据信息;建立/更新项目信息库,构建基于DoDAF的风险管理模型,确定风险管理实施细则;根据确定的风险管理实施细则和构建的基于WBS的风险管理模型,结合按项目进展更新的项目数据信息,以及项目执行过程及其对应的风险管理过程,确定各阶段风险管理报告方案。本发明考虑铁路建设工程项目以各参建单位为主体、负责不同生命周期阶段风险管理有着本质特征;能够指导各工程参与单位系统化、体系化地开展风险识别、风险评估、风险控制等工作,落实风险管理责任;为实现铁路建设工程的安全、稳定、质量、环境、工期、投资等目标提供技术保障。
-
公开(公告)号:CN113157499B
公开(公告)日:2023-12-01
申请号:CN202110317860.8
申请日:2021-03-25
Applicant: 北京交通大学
Abstract: 本发明公开了一种基于云计算的安全计算机平台。该平台在横向结构上采用二乘设计,包含第一通道和第二通道,且每个通道包含运行于云计算环境的四个容器镜像,其中第一通道包含第一通信控制器、第一任务主机、第一表决主机和第一容错与安全管理单元,第二通道包含第二通信控制器、第二任务主机、第二表决主机和第二容错与安全管理单元;在纵向结构上,使用两台主机对输入和输出进行表决的二取二设计,两台主机若输入输出一致,则该平台进行输出,否则报告故障。利用本发明可以优化传统列控系统的架构,提高轨道交通系统的运输效率和安全性。
-
公开(公告)号:CN114148382B
公开(公告)日:2023-10-13
申请号:CN202111492966.8
申请日:2021-12-08
Applicant: 中车工业研究院有限公司 , 北京交通大学
IPC: B61L27/10
Abstract: 本发明提供了一种面向虚拟编队的列车运行图编制方法。该方法包括:建立列车虚拟编队;根据所述列车虚拟编队建立列车运行模型;设置考虑了出入站列车的进出时间,能够调度的列车总数的约束条件;基于所述约束条件求解所述列车运行模型,输出列车运行图。本发明将列车运行计划与虚拟编队计划结合,输出面向虚拟编队的高效率的非均衡列车运行图,可以有效地缓解高峰时段客流量压力,增加了调度列车的灵活性。
-
公开(公告)号:CN115776449B
公开(公告)日:2023-10-03
申请号:CN202211393138.3
申请日:2022-11-08
Applicant: 中车工业研究院有限公司 , 北京交通大学
IPC: H04L43/08 , G06F18/232 , G06F18/2433 , G06F16/2458 , G06F16/28 , H04L43/0829 , H04L43/0852 , H04L43/0888 , H04L43/04 , H04L43/50 , H04L69/22 , H04L9/40 , G06F123/02
Abstract: 本发明提供一种列车以太网通信状态监测方法及系统,属于通信技术领域,采集不同业务下TRDP数据流;对采集的TRDP数据流进行计算,汇总数据流的性能统计指标;其中,所述性能统计指标包括丢包情况、时延、规则匹配及吞吐量;基于计算的性能统计指标,结合局部相关度计算、聚类算法D‑Stream以及衰减窗口技术识别数据流中的异常情况。本发明实现高效率的数据采集;利用大数据平台具备的数据分析以及分布式存储的能力来保证对以太网通信数据的性能指标统计的实时性以及数据的高效存取;结合局部相关度计算、D‑Stream算法以及衰减窗口技术自适应识别以太网多通信业务数据流中的异常情况,提高了异常情况监测的准确性。
-
公开(公告)号:CN114786152B
公开(公告)日:2023-02-03
申请号:CN202210456734.5
申请日:2022-04-28
Applicant: 北京交通大学
IPC: H04W4/42 , H04W4/02 , H04L9/32 , G06Q10/0631 , G06Q50/30
Abstract: 本发明公开一种面向智慧轨道交通的可信协同计算系统,包括:车载设备、边缘设备、云中心设备以及区块链系统;车载设备采集线路、列车以及乘客信息实现车载智能服务计算;边缘设备通过轨旁传感器和智能巡检设备与列车进行协同感知,以及用于列车卸载的智能计算任务并与相邻边缘设备完成协同计算;云中心设备通过聚合多方信息实现线网级列车调度、客流管控和设备运维,以及服务边缘设备卸载的智能计算任务并与边缘设备完成协同计算;区块链系统通过激励机制和信任管理功能实现智慧轨道交通的可信协同计算。采用本发明的技术方案,以解决智慧轨道交通发展面临的由于信任问题所导致的算力困境。
-
-
-
-
-
-
-
-
-