针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarc...针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarchical deterministic and stochastic Petri nets,HDSPN)的装备SoS任务线程建模方法,构建面向多层级使命任务的装备SoS任务线程模型。然后,结合基于可达性分析算法(reachability analysis algorithm,RAA)的装备SoS总体任务成功性仿真评估算法,启动仿真模型运行,实现对装备SoS总体任务成功性的有效评估,并通过案例分析,验证了模型的适用性。展开更多
相对于传统的基于通信的列车运行控制系统(communication based train control,CBTC),下一代列控系统将具有架构可靠、速率快、成本低以及服务质量高等优点,且数据通信系统的可用性能够保障列车的安全和高效运行。面向下一代列控系统,...相对于传统的基于通信的列车运行控制系统(communication based train control,CBTC),下一代列控系统将具有架构可靠、速率快、成本低以及服务质量高等优点,且数据通信系统的可用性能够保障列车的安全和高效运行。面向下一代列控系统,首先设计基于LTE-M(long term evolution-metro,LTE-M)的通信系统结构;然后针对下一代列控系统典型场景,利用确定与随机Petri网(deterministic and stochastic petri nets,DSPN)进行可用性建模,最后进行模型求解和可用性评估。仿真结果显示,基于LTE-M的下一代列控数据通信系统能够满足实际通信需求,其可用性分析方法可以完成数据通信系统的可用性建模与评估。展开更多
文摘针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarchical deterministic and stochastic Petri nets,HDSPN)的装备SoS任务线程建模方法,构建面向多层级使命任务的装备SoS任务线程模型。然后,结合基于可达性分析算法(reachability analysis algorithm,RAA)的装备SoS总体任务成功性仿真评估算法,启动仿真模型运行,实现对装备SoS总体任务成功性的有效评估,并通过案例分析,验证了模型的适用性。
文摘相对于传统的基于通信的列车运行控制系统(communication based train control,CBTC),下一代列控系统将具有架构可靠、速率快、成本低以及服务质量高等优点,且数据通信系统的可用性能够保障列车的安全和高效运行。面向下一代列控系统,首先设计基于LTE-M(long term evolution-metro,LTE-M)的通信系统结构;然后针对下一代列控系统典型场景,利用确定与随机Petri网(deterministic and stochastic petri nets,DSPN)进行可用性建模,最后进行模型求解和可用性评估。仿真结果显示,基于LTE-M的下一代列控数据通信系统能够满足实际通信需求,其可用性分析方法可以完成数据通信系统的可用性建模与评估。
