期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于UML的任务空间概念模型动态行为验证研究 被引量:1
1
作者 高江林 吴晓燕 《航天控制》 CSCD 北大核心 2012年第1期54-58,65,共6页
动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向。论文提出... 动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向。论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的。该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性。 展开更多
关键词 UML 任务空间概念模型 着色PETRI网 动态行为验证
下载PDF
The Prediction of Wave Competitions in Inhomogeneous Brusselator Systems
2
作者 崔晓华 董云霞 +1 位作者 黄晓清 李宁 《Communications in Theoretical Physics》 SCIE CAS CSCD 2015年第3期359-366,共8页
The competition of waves has remained a hot topic in physics over the past few decades,especially the area of pattern control.Because of improved understanding of various dynamic behaviors,many practical applications ... The competition of waves has remained a hot topic in physics over the past few decades,especially the area of pattern control.Because of improved understanding of various dynamic behaviors,many practical applications have sprung up recently.The prediction of wave competitions is also very important and quite useful in these fields.This paper considers the behaviors of wave competitions in simple,inhomogeneous media which is modeled by Brusselator equations.We present a simple rule to judge the results of wave competitions utilizing the dispersion relation curves and the waves coming from different wave sources.Moreover,this rule can also be used to predict the results of wave propagation.It provides methods of obtaining the desired waves with given frequencies in inhomogeneous media.All our results are concluded and verified by computer simulations. 展开更多
关键词 wave competition PREDICTION Brusselator system INHOMOGENEOUS
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部