【摘 要】
：
IDEF3模型以其具有简单易学、容易理解掌握等特点，在对复杂的作战任务过程描述中得到了广泛应用，但是，IDEF3模型在对作战任务的逻辑、时间等方面的分析明显不足。而对象Petri网
【机 构】
：
国防科学技术大学信息系统与管理学院C4ISR技术重点实验室
【基金项目】
：
国防预研项目(41306070201)
论文部分内容阅读
IDEF3模型以其具有简单易学、容易理解掌握等特点，在对复杂的作战任务过程描述中得到了广泛应用，但是，IDEF3模型在对作战任务的逻辑、时间等方面的分析明显不足。而对象Petri网模型虽然可以解决上述问题，可是其建模困难，技术要求高。针对此问题，将二者有机地结合起来，实现IDEF3模型向对象Petri网仿真模型的自动转换，在对IDEF3形式化描述的基础上，给出了转换规则的形式化描述和仿真脚本自动生成的方法，最后，结合一个应用实例给予验证。
其他文献
<正> “訾算”是汉代的税目之一,对后世颇有影响。但由于史文简缺,对这一税收制度中的重要课题,长期以来存在不少疑窦。这里根据现有材料,拟就汉人计訾范围与户等差品、訾算
莫扎特的艺术歌曲是人类艺术宝库里的瑰宝。其声乐作品以能够较好地体现欧洲科学发声体系的要求已成为声乐演唱者磨练技术、提升自身声乐演唱艺术水准的"试金石"。要想完美地
目的了解河南省在校大学生对体型的认知情况及减肥行为现状,为采取相关干预措施提供依据。方法 2013年12月采用分层随机整群抽样的方法,在河南省7个省辖市抽取大学生2 678人,
<正> 笔者莳养杜鹃盆景已近20年。所莳养的近百盆古桩,盆盆长势茂盛,花繁大而丰硕,叶不焦边、枝干健壮。夏日不需遮荫,隆冬不需防冻(笔者所在长江中下游地区),四季叶片油光水
目的探讨前路不同手术减压方式治疗脊髓型颈椎病的临床疗效。方法选择2015年1月至2018年1月本院收治的27例脊髓型颈椎病患者作为研究对象,并将其按照前路不同手术减压方式随
姜黄是姜科姜黄属植物之一,广泛种植于热带和亚热带地区,药用价值高。目前研究发现姜黄中主要含有酚酸类和萜类等化学成分。药理研究表明,姜黄具有抗肿瘤、抗氧化、降血糖、
<正> 邻家拆迁,有一株径粗6～7厘米、高150厘米的毛桃,我觉得弃之可惜,遂在1998年冬天挖起,只保留20厘米高的基部,栽于屋后阴湿处,想通过嫁接,养成果树树桩盆景。1999年3月初,
能源是国家经济增长的基石,对经济建设至关重要。在众多能源中,煤炭是最基础的能源,并在生产消费市场占据主导地位。宁夏是全国煤炭资源较为丰富的省区之一,但随着经济持续增
涂料的流变参数影响到涂料的贮存稳定性和涂膜的外观性能。重点介绍了振荡模式在测定涂料和涂膜的流变参数,如储能模量G’、损耗模量G’’和损耗角正切tanδ等方面的应用。
患者男,52岁。因左腮腺肿物3年,增大1周,伴口眼歪斜2个月入院。查体:患者出现面瘫,左口眼向右侧歪斜,左耳前扪及2cm×3cm大小肿物,活动度可。彩超提示:腮腺混合瘤。术中见左