期刊文献+

面向任务场景的舰炮维修保障过程建模研究

Study on Mission Scenario-Oriented Modeling Method of Naval Gun Maintenance Support Process
下载PDF
导出
摘要 针对舰炮任务过程中维修保障模型构建与验证的复杂性,利用场景描述舰炮的不同任务阶段,并依据舰炮维修保障过程的特性,对适用的建模方法进行了对比分析,提出了行为树(BT)与面向对象Petri网(OOPN)结合的建模方法。将基本行为树改进为扩展行为树(eBT)方法,建立了典型任务场景下舰炮维修保障过程的eBT模型,并提出了将eBT模型转换为OOPN的方法。最后,给出了模型转换实例与模型仿真验证的方法,说明了模型构建与验证的可执行性。 Aimed at the modeling and verification complexity of the naval gun maintenance sup-port in the process of the mission,the scenario technology was used to describe the different mission phases of the naval gun.According to the characteristic analysis of naval gun mainte-nance support,a number of applicable modeling methods were contrasted,and the modeling method combining Behavior Tree (BT)with Obj ect-Oriented Petri Net (OOPN)was put for-ward.Based on the extended Behavior Tree (eBT)method modified from the basic Behavior Tree,the eBT models of naval gun maintenance support were built up under the typical mission scenarios,and the model method transformed from eBT to OOPN was proposed.Finally,the methods of transforming instance and verification steps were given,and the executability of modeling and verification methods was shown accordingly.
出处 《火炮发射与控制学报》 北大核心 2014年第3期83-88,共6页 Journal of Gun Launch & Control
关键词 舰炮 维修保障 场景 行为树 面向对象PETRI网 naval gun maintenance support scenario behavior tree obj ect-oriented Petri net
  • 相关文献

参考文献10

  • 1魏勇,徐廷学,顾钧元,等.某型舰炮保障性参数仿真评价研究[J].舰船科学技术,2010,32(3):136-139. 被引量:1
  • 2陈中育..基于场景的系统行为建模和组合研究[D].上海大学,2011:
  • 3刘大东,孙朝江.水面舰艇舰炮武器综合保障发展探讨[J].兵器试验,2012(1):49-50. 被引量:2
  • 4王维平等编著..离散事件系统建模与仿真 第2版[M].北京:科学出版社,2007:378.
  • 5孙宝琛,贾希胜,程中华,王亚彬.战时装备保障过程建模仿真研究[J].指挥控制与仿真,2012,34(2):97-100. 被引量:3
  • 6DUGGEN E W, REICHGELT H. Measuring informa- tion systems delivery quality[M]. London:Ideal Group Publishing, 2006: 90-111. 被引量:1
  • 7DROMEY R G. From requirements to design., formali- zing the key steps [C] /// First International Conference on Software Engineering and Formal Methods. Bris- bane: IEEE Computer Society Press, 2003 : 2 - 11. 被引量:1
  • 8舒振,陈洪辉,罗雪山.基于对象Petri网的军事信息服务组合与验证方法[J].系统工程与电子技术,2011,33(7):1558-1564. 被引量:5
  • 9DROMEY R G. Genetic software engineering simplifying design using requirements integration[C]// Confer- ence on Complex and Dynamic Systems Architecture. Brisbane : IEEE Computer Society Press, 2001: 1 -6. 被引量:1
  • 10丁泽柳..C~4ISR体系结构动态行为一致性验证方法研究[D].国防科学技术大学,2007:

二级参考文献12

共引文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部