一种新的仿真系统评估模式  

A new evaluating pattern for simulation system

作　　者：邵晨曦[1,2] 党杰[2] 杨明[1] 万里红[2,3] 王子才[1] 

机构地区：[1]哈尔滨工业大学仿真中心,哈尔滨150001 [2]中国科学技术大学计算机科学与技术系,合肥230027 [3]南京陆军指挥学院作战实验中心,南京210045

出　　处：《哈尔滨工业大学学报》2009年第7期16-20,共5页Journal of Harbin Institute of Technology

基　　金：国家自然科学基金资助项目(6043401060874065)

摘　　要：仿真程序和仿真引擎之间的交互作用以及它们的动态行为通过传统仿真系统的V&V技术无法评估,为此规则常常会用于仿真系统的V&V技术,但引入规则后仍存在规则修改和管理困难的缺陷,针对此问题,提出了一个基于动态规则执行技术的仿真系统校核与验证模式.该模式中包含6类建模元素,约束被形式化描述为规则,通过规则引擎的执行检测在仿真执行期是否产生规则违反来判断仿真系统是否存在问题,从而实现对仿真系统的动态V&V.为仿真系统的评估提供了新思路,同时由于规则与系统的分离性也便于仿真系统的修正与完善.Dynamic behaviors of simulation program and simulation engine as well as the interactions between them can not be evaluated through traditional V＆V technology, so a new V＆V pattern to solve this kind of problem based on dynamic policy enforcement is presented. The new V＆V pattern contains six model elements and the constraint is formally described as policy. The policy is enforced by the policy engine and we can detect problems during simulation. Compared with traditional V＆V technology, this framework is improved in checking behaviors and interactions between the program and engine at runtime, modifying and managing policies. It is easy to be used in the evaluation of simulation system so that mistakes in the system can be detected quickly and correctly.

关 键 词：规则 仿真 模型 校核与验证 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]