基于UML状态图的C4ISR系统的建模和实时分析

来源 :计算机工程 | 被引量 : 0次 | 上传用户:yeshenshi1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模.同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性.应用一个C4ISR防空实例表明了该方法的可行性和实用性.
其他文献
随着网络上光盘资源的增长,光盘镜像服务器成为光盘网络接享的重要技术。针对传统光盘镜像服务器的缺点,文章实现了一个新的基于iSCSI协议思想的高性能光盘镜像服务器,详细介绍
近年来群体向突发事件频发,本文通过分析微观社会资本的缺失将如何导致群体性突发事件,在此基础之上,立足于微观社会资本,针对如何预防群体性突发事件提出一定的对策。
【目的】樱桃萝卜(Raphanus sativus L.var.radculus Pers.)易受高温胁迫引起的活性氧爆发导致损伤,进而影响生长。小肽螯合铁是一种外源生物刺激素,可显著提高作物抗逆性。