时间触发以太网(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工业控制系统的业务可用性,为系统设计人员提供参考。展开更多
相对于传统的基于通信的列车运行控制系统(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的下一代列控数据通信系统能够满足实际通信需求,其可用性分析方法可以完成数据通信系统的可用性建模与评估。展开更多
为了满足未来大容量、高速率、硬实时性的信息传输需求,将交换式以太网技术引入列车通信网络(TCN,train communication network)。针对不同优先级消息,根据其通信调度方式对传输过程建立了TCN的确定与随机Petri网(DSPN,determined and s...为了满足未来大容量、高速率、硬实时性的信息传输需求,将交换式以太网技术引入列车通信网络(TCN,train communication network)。针对不同优先级消息,根据其通信调度方式对传输过程建立了TCN的确定与随机Petri网(DSPN,determined and stochastic Petri nets)模型,比较了交换机不同调度算法对时延的影响,并分析了消息数目和产生周期,以及消息数目和吞吐量的关系。实验结果表明,采用优先级调度算法能在牺牲非实时数据时延的条件下降低实时数据的时延,验证了采用交换式以太网的TCN吞吐量远超过现有的TCN,并且能够为今后的设计和优化提供理论依据。展开更多
文摘时间触发以太网(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工业控制系统的业务可用性,为系统设计人员提供参考。
文摘相对于传统的基于通信的列车运行控制系统(communication based train control,CBTC),下一代列控系统将具有架构可靠、速率快、成本低以及服务质量高等优点,且数据通信系统的可用性能够保障列车的安全和高效运行。面向下一代列控系统,首先设计基于LTE-M(long term evolution-metro,LTE-M)的通信系统结构;然后针对下一代列控系统典型场景,利用确定与随机Petri网(deterministic and stochastic petri nets,DSPN)进行可用性建模,最后进行模型求解和可用性评估。仿真结果显示,基于LTE-M的下一代列控数据通信系统能够满足实际通信需求,其可用性分析方法可以完成数据通信系统的可用性建模与评估。
文摘为了满足未来大容量、高速率、硬实时性的信息传输需求,将交换式以太网技术引入列车通信网络(TCN,train communication network)。针对不同优先级消息,根据其通信调度方式对传输过程建立了TCN的确定与随机Petri网(DSPN,determined and stochastic Petri nets)模型,比较了交换机不同调度算法对时延的影响,并分析了消息数目和产生周期,以及消息数目和吞吐量的关系。实验结果表明,采用优先级调度算法能在牺牲非实时数据时延的条件下降低实时数据的时延,验证了采用交换式以太网的TCN吞吐量远超过现有的TCN,并且能够为今后的设计和优化提供理论依据。
