一种程序符号执行测试方法、装置及设备

    公开(公告)号:CN119537200A

    公开(公告)日:2025-02-28

    申请号:CN202411323086.1

    申请日:2024-09-23

    Abstract: 本发明涉及自动化测试领域,提供了一种程序符号执行测试方法、装置及设备,该方法包括:获取待测程序,通过多个训练好的预测模型对待测程序进行符号执行测试,得到多个测试结果;将每个预测模型的测试结果进行合并得到最终测试结果;训练好的预测模型为根据训练集训练得到,训练集为程序集合。本发明解决了现有技术中现有技术中单一启发式方法难以全面覆盖程序路径的缺陷,实现了对待测程序进行高效、全面的符号执行测试,提高了测试覆盖率。

    一种面向城市轨道交通的算力共享系统及方法

    公开(公告)号:CN115396442B

    公开(公告)日:2024-07-16

    申请号:CN202211030355.6

    申请日:2022-08-26

    Abstract: 本发明涉及一种面向城市轨道交通的算力共享系统及方法,系统包括:轨道交通算力感知调度层:用于实时接收算力消费方发布的任务;区块链信任管理层:用于存储用户信息、算力信息、交易电子合同信息,维护交易电子合同的执行,并在交易结束后完成交易清算,同时更新算力服务信誉值;算力资源池:用于为算力共享网络提供算力资源或消费算力资源;网络基础设施:用于连接轨道交通车载设备、云中心设备和边缘设备。本发明利用分布式计算和区块链等技术,使得设备中的算力资源通过安全高效的共享网络达到更高的利用率。

    列车无线通信网络的业务复用切片资源分配方法及系统

    公开(公告)号:CN117082626B

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

    申请号:CN202310924694.7

    申请日:2023-07-26

    Abstract: 本发明提供一种列车无线通信网络的业务复用切片资源分配方法及系统,属于列车通信网技术领域,建立资源切片框架;分别对不同类型的列车业务、网络切片进行特征分析,分析不同类型切片的服务质量需求,并进行约束条件建模;建立以最小化系统带宽资源为目标并同时满足异构业务服务质量需求约束和系统可用最大带宽资源的优化问题;利用凸优化理论将优化问题化简为凸问题,化简引理合并多个约束条件;基于分布式对偶分解法求解目标优化问题,得到最优的资源分配策略。本发明可在单一网络中承载具有差异化服务质量需求的TCS和PIS两类列车业务;满足所有业务的QoS传输需求,得到最优的带宽分配表达式,并使带宽资源占用最小化。

    安装轨旁储能设备的城轨节能运行图与速度曲线优化方法

    公开(公告)号:CN117669913A

    公开(公告)日:2024-03-08

    申请号:CN202311386750.2

    申请日:2023-10-24

    Abstract: 本发明提供了一种安装轨旁储能设备的城市轨道交通线路列车运行图与速度曲线集成优化方法。该方法包括:收集安装轨旁储能设备的城市轨道交通线路运营数据;基于所述线路运营数据及储能设备特点将列车运营线路分割成多个小段,计算列车净能耗;以全线列车总净能耗最小为目标,建立安装轨旁储能设备的城轨节能运行图与速度曲线集成优化模型,并利用遗传算法对所述优化模型进行求解,得到列车的节能速度曲线与列车运行图方案。本发明方法以线路安装轨旁储能设备为背景,将速度曲线与列车运行图同时纳入考虑,同时进行优化,将二者之间的相互影响体现在数学建模中,能够得出更适合于安装储能设备的城市轨道交通线路的节能方案。

    一种铁路工程建设项目风险管理方法及系统

    公开(公告)号:CN117252410A

    公开(公告)日:2023-12-19

    申请号:CN202310839076.2

    申请日:2023-07-10

    Abstract: 本发明提供一种铁路工程建设项目风险管理方法及系统,属于工程项目风险预测管理技术领域,收集铁路工程建设项目数据信息;建立/更新项目信息库,构建基于DoDAF的风险管理模型,确定风险管理实施细则;根据确定的风险管理实施细则和构建的基于WBS的风险管理模型,结合按项目进展更新的项目数据信息,以及项目执行过程及其对应的风险管理过程,确定各阶段风险管理报告方案。本发明考虑铁路建设工程项目以各参建单位为主体、负责不同生命周期阶段风险管理有着本质特征;能够指导各工程参与单位系统化、体系化地开展风险识别、风险评估、风险控制等工作,落实风险管理责任;为实现铁路建设工程的安全、稳定、质量、环境、工期、投资等目标提供技术保障。

    一种基于云计算的安全计算机平台

    公开(公告)号:CN113157499B

    公开(公告)日:2023-12-01

    申请号:CN202110317860.8

    申请日:2021-03-25

    Abstract: 本发明公开了一种基于云计算的安全计算机平台。该平台在横向结构上采用二乘设计,包含第一通道和第二通道,且每个通道包含运行于云计算环境的四个容器镜像,其中第一通道包含第一通信控制器、第一任务主机、第一表决主机和第一容错与安全管理单元,第二通道包含第二通信控制器、第二任务主机、第二表决主机和第二容错与安全管理单元;在纵向结构上,使用两台主机对输入和输出进行表决的二取二设计,两台主机若输入输出一致,则该平台进行输出,否则报告故障。利用本发明可以优化传统列控系统的架构,提高轨道交通系统的运输效率和安全性。

    一种面向虚拟编队的列车运行图编制方法

    公开(公告)号:CN114148382B

    公开(公告)日:2023-10-13

    申请号:CN202111492966.8

    申请日:2021-12-08

    Abstract: 本发明提供了一种面向虚拟编队的列车运行图编制方法。该方法包括:建立列车虚拟编队;根据所述列车虚拟编队建立列车运行模型;设置考虑了出入站列车的进出时间,能够调度的列车总数的约束条件;基于所述约束条件求解所述列车运行模型,输出列车运行图。本发明将列车运行计划与虚拟编队计划结合,输出面向虚拟编队的高效率的非均衡列车运行图,可以有效地缓解高峰时段客流量压力,增加了调度列车的灵活性。

    一种面向智慧轨道交通的可信协同计算系统

    公开(公告)号:CN114786152B

    公开(公告)日:2023-02-03

    申请号:CN202210456734.5

    申请日:2022-04-28

    Abstract: 本发明公开一种面向智慧轨道交通的可信协同计算系统,包括:车载设备、边缘设备、云中心设备以及区块链系统;车载设备采集线路、列车以及乘客信息实现车载智能服务计算;边缘设备通过轨旁传感器和智能巡检设备与列车进行协同感知,以及用于列车卸载的智能计算任务并与相邻边缘设备完成协同计算;云中心设备通过聚合多方信息实现线网级列车调度、客流管控和设备运维,以及服务边缘设备卸载的智能计算任务并与边缘设备完成协同计算;区块链系统通过激励机制和信任管理功能实现智慧轨道交通的可信协同计算。采用本发明的技术方案,以解决智慧轨道交通发展面临的由于信任问题所导致的算力困境。

Patent Agency Ranking