期刊文献+

图形仿真模型的形式化描述方法 被引量:3

A Formal Description of the Graphics Simulation Model
下载PDF
导出
摘要 提出了基于嵌套结构的情报侦察仿真知识表示框架 ,对带输出的有限状态自动机在仿真实体建模中的应用作了详细论述 ,并给出了利用自动机进行仿真实体建模的算法。在此基础上 ,提出了基于图形界面的嵌套仿真实体的构造方法 。 A knowledge representation framework of the intelligence reconnaissance simulation system with nesting structure is presented in this paper. A dedicated discussion on the application of finite state automator (FSM) with outputs in the simulation entity modeling is made in detail, and algorithms using FSM to create the simulation entity model are given. By using these algorithms, the formation method of the nesting simulation entity by graphical interfaces and the formal description of the graphical simulation entity model based on graphical icons are investigated.
作者 方敏 王宝树
出处 《系统工程与电子技术》 EI CSCD 北大核心 2003年第8期1020-1023,共4页 Systems Engineering and Electronics
基金 国防科技预研基金 (4 13 15 0 80 1) 图像信息处理与智能控制教育部重点实验室基金资助课题
关键词 仿真模型 有限状态自动机 形式化描述 Simulation models Finite state automator Formal description
  • 相关文献

参考文献4

  • 1王锦卿,杜政,欧阳伶俐,郝江波,刘青,李向阳.分布式交互仿真技术综述[J].系统仿真学报,1996,8(3):1-5. 被引量:20
  • 2Calvin James O. Data Subscription[C]. 12th Workshop on Standards for the Interoperability of Distributed Simulation, 1995: 12.
  • 3Herbert Praehofer. An Environment for DEVS-Based Multifonnalism Modeling and Sirmdation in C+ +[K]. SCSI EUROCAS'I95, 1995.
  • 4OMG. Facility for Distriulmted Sinmlation System Proposed Request for Conanents. OMG Document mfg/98- 03 -04, March, 1998.

二级参考文献3

共引文献19

同被引文献9

  • 1刘兴堂,吴晓燕.系统建模与仿真技术[J].西安:西北工业大学出版社,2001,.
  • 2[4]Manna Z,Pnueli A.The temporal logic of reactive and concurrent systems:Specification.New York:Springer2Verlag,1992
  • 3[5]Bernard P Zeigler,Herbert Praehofer,Tag Gon Kim.Theory of modeling and simulation[M].Second Edition.San Diego USA,Academic Press,2000
  • 4胡晓峰 司光亚.战争模拟引论[M].北京:国防大学出版社,2004..
  • 5DIBM Business Process Execution Language for Web Services Versinon (WPEL4WS)1.1[DB]. Http://www.ibm.com/developerworks/library/ws-bpel, 2003-5.
  • 6WFMC.Workflow Management Coalition Workflow Standard:Workflow Process Definition Interface–XML Process Definition Language (XPDL)(WFMCTC-1025)[R].Technical report,Workflow Management Coalition,Lighthouse Point,Florida,USA,2002.
  • 7G F Luger著,史忠植,等译.人工智能:复杂问题求解的结构和策略原则(第四版)[M].北京:机械工业出版社,2004-1.
  • 8刘鹏远,张锡恩,刘玉海.虚拟维修训练中基于知识的操作响应机制研究与实现[J].计算机工程,2003,29(1):253-255. 被引量:13
  • 9赵文,胡文蕙,张世琨,王立福.工作流元模型的研究与应用[J].软件学报,2003,14(6):1052-1059. 被引量:119

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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