图形仿真模型的形式化描述方法

摘要

提出了基于嵌套结构的情报侦察仿真知识表示框架,对带输出的有限状态自动机在仿真实体建模中的应用作了详细论述,并给出了利用自动机进行仿真实体建模的算法.在此基础上,提出了基于图形界面的嵌套仿真实体的构造方法,并给出基于图元的可视化仿真实体的形式化描述.