针对地铁长期演进(Long Term Evolution for Metro,LTE-M)车车通信系统可靠性建模与性能评估问题开展研究,采用确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)建模方法,构建包含车载终端、路侧单元(Road Side Unit,R...针对地铁长期演进(Long Term Evolution for Metro,LTE-M)车车通信系统可靠性建模与性能评估问题开展研究,采用确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)建模方法,构建包含车载终端、路侧单元(Road Side Unit,RSU)设备和网络链路的系统可靠性模型。通过MATLAB平台进行仿真验证,在不同场景下对系统性能进行测试与评估。研究结果表明,所提出的模型在正常通信场景下传输成功率可达99.8%,平均时延为25 ms;在高负载场景下仍能保持95.6%的传输成功率;在弱信号环境下通过自适应机制确保92.3%的传输成功率。研究成果为LTE-M车车通信系统的可靠性设计和优化提供了理论依据。展开更多
时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中。TTE的建模和分析方法对其在航空航天方面的发展有重要意义。基于TTE消息传输机制的工作原理,提出一套确定与随机Petri网(Deterministic and...时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中。TTE的建模和分析方法对其在航空航天方面的发展有重要意义。基于TTE消息传输机制的工作原理,提出一套确定与随机Petri网(Deterministic and Stochastic Petri Nets,DSPN)的TTE总线建模和相关性能分析方法,并以一种典型的火力控制系统为实例进行建模与性能分析,以进一步说明该方法的有效性和可行性。展开更多
为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与...为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。展开更多
5G工业控制系统规模化应用的关键是保障其高可用性。若通过试验评估,其成本高昂且困难诸多。而已有的可用性建模方法很少考虑到5G对可用性的影响。对此,以一个实际的5G转钢系统为例,采用确定性随机Petri网(deterministic stochastic Pet...5G工业控制系统规模化应用的关键是保障其高可用性。若通过试验评估,其成本高昂且困难诸多。而已有的可用性建模方法很少考虑到5G对可用性的影响。对此,以一个实际的5G转钢系统为例,采用确定性随机Petri网(deterministic stochastic Petri net,DSPN)从业务流程的角度对5G技术改造后的工控系统的动态故障和维修过程进行形式化建模,评估不同的失效模式对系统业务可用性的影响。在案例中分析了5G工业控制系统中不同参数对系统业务可用性造成的影响,发现无线链路平均故障间隔时间(mean time between failures,MTBF)对系统业务可用性影响最大。实验结果表明,所提方法可用于评估5G工业控制系统的业务可用性,为系统设计人员提供参考。展开更多
文摘针对地铁长期演进(Long Term Evolution for Metro,LTE-M)车车通信系统可靠性建模与性能评估问题开展研究,采用确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)建模方法,构建包含车载终端、路侧单元(Road Side Unit,RSU)设备和网络链路的系统可靠性模型。通过MATLAB平台进行仿真验证,在不同场景下对系统性能进行测试与评估。研究结果表明,所提出的模型在正常通信场景下传输成功率可达99.8%,平均时延为25 ms;在高负载场景下仍能保持95.6%的传输成功率;在弱信号环境下通过自适应机制确保92.3%的传输成功率。研究成果为LTE-M车车通信系统的可靠性设计和优化提供了理论依据。
文摘时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中。TTE的建模和分析方法对其在航空航天方面的发展有重要意义。基于TTE消息传输机制的工作原理,提出一套确定与随机Petri网(Deterministic and Stochastic Petri Nets,DSPN)的TTE总线建模和相关性能分析方法,并以一种典型的火力控制系统为实例进行建模与性能分析,以进一步说明该方法的有效性和可行性。
文摘为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。
文摘5G工业控制系统规模化应用的关键是保障其高可用性。若通过试验评估,其成本高昂且困难诸多。而已有的可用性建模方法很少考虑到5G对可用性的影响。对此,以一个实际的5G转钢系统为例,采用确定性随机Petri网(deterministic stochastic Petri net,DSPN)从业务流程的角度对5G技术改造后的工控系统的动态故障和维修过程进行形式化建模,评估不同的失效模式对系统业务可用性的影响。在案例中分析了5G工业控制系统中不同参数对系统业务可用性造成的影响,发现无线链路平均故障间隔时间(mean time between failures,MTBF)对系统业务可用性影响最大。实验结果表明,所提方法可用于评估5G工业控制系统的业务可用性,为系统设计人员提供参考。
