利用对象Petri网验证场景

来源 :火力与指挥控制 | 被引量 : 0次 | 上传用户:lixiaoliangtony
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为“展示”给需求开发者和用户,以此进行行为需求的验证。摘要:序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为“展示”给需求开发者和用户,以此进行行为需求的验证。
其他文献
【目的】探讨国内综合护理对胸外科重症患者术后呼吸功能恢复的效果。【方法】系统检索万方数据库、中国学术期刊网全文数据库(CNKI)及中国生物医学文献数据库(CBM),收集国内公开
考虑目标姿态角对目标跟踪/识别中的雷达RCS值的影响,建立了雷达测量坐标系与目标体坐标系之间的坐标转换模型。将雷达转换为姿态角不断变化的目标体坐标系下一点,研究雷达视线
<正> 1999年6月,位于章丘市枣园镇洛庄村西的一座大型西汉墓的封土堆上,机声隆隆,附近村民正在此取土。突然,几件呈翠绿色的铜器暴露了出来,在场的一位老同志马上向镇派出所
期刊
随着人口老龄化加剧,老年退行性脊柱侧凸(older degenerative scoliosis,ODS)合并腰椎管狭窄症患者逐年增多[1]。该病严重影响老年人的生活质量,保守治疗效果差,后期往往需要
结直肠癌是常见消化道恶性肿瘤,早期症状较为隐匿,且发展缓慢,确诊时多为晚期,错过手术最佳治疗时期。其发病率呈上升趋势,且逐渐趋于年轻化,晚期时可出现转移[1]。目前化疗
10月15日,《人民日报》"人民论坛"专栏发表了《推荐鲁冠球的一封信》,在社会上,在企业家中,引起反响。一个不会赚钱的企业家不是合格的企业家,一个只会赚钱、抛弃公众利益的
期刊
为秘密、隐蔽地获取非常时期或非合作海区的水声环境参数,提出了水声环境参数盲估计的概念,分析和研究了水声环境参数盲估计理论,并对其中的目标函数进行了详细探讨,同时利用SWellEx-96海试的部分数据对基于水平不变的水声环境参数盲估计方法进行了实验验证。实验结果表明,基于环境水平不变的水声环境参数盲估计技术是可行和有效的。
【目的】探讨氯化钴缺氧对大鼠星型胶质细胞TFPI-2基因表达的影响及其可能的调节机制。【方法】将大鼠星型胶质细胞分为对照组、化学缺氧组(加入终浓度为100μmol/L氯化钴培养2
针对大攻角空空导弹飞行过程中复杂的非线性空气动力学特性,提出了采用反馈线性化进行控制器设计的方法。在完成导弹俯仰通道的非线性建模的基础上,采用反馈线性化理论对导弹模
为了增强压制武器面临遭遇战时的战场生存能力,有必要实现自动直瞄。介绍了自动直瞄数学模型的基本原理,加入弹道、气象条件修正,并依据射表进行实例计算求取方位和高低的提