基于策略的仿真系统评估模式

摘要

随着仿真技术本身的不断发展和人们对仿真技术应用价值认识的不断深入，其应用领域越来越广泛。与此同时，对仿真正确性和可信度的要求也越来越高。仿真系统的最终结果对于预期工程应用来说是否具有可用性，将直接影响到基于仿真结果所进行的后面一系列应用或决策过程。一个不正确的仿真结果可能导致重大的决策失误或训练事故。从某种意义上来说，只有保证了仿真的正确性和可信度，最终得到的仿真结果才有实际应用的价值和意义，仿真系统才真正具有生命力。因此，如何评估仿真系统的正确性和可信度，一直是仿真理论和仿真技术发展中一个不容忽视的问题。 对仿真系统进行评估的技术称为VV&A技术，它包括校核(Verification)，验证(Validation)和确认(Accreditation)三个相辅相成的过程。其中校核侧重于对建模过程的检验，而验证则侧重于对仿真结果的检验，确认则是在校核与验证基础上，由权威机构来最终确定建模仿真对于某一特定应用是否可接受。VV&A有其自身的规范和标准，其中不仅包括了V&V可以使用的各种技术，更重要的是，对贯穿于模型与仿真开发生命周期中各个阶段的VV&A工作提出了具体要求，明确规定了各阶段的文档要求、工作内容、所应达到的目标以及有关人员的责任等。但随着仿真系统的复杂化以及分布式仿真系统的发展，出现了一些传统VV&A技术的不足，因此研究新型VV&A技术成为了一大热点。 本文所作的研究就是针对传统VV&A技术中的如下问题进行的：仿真程序和仿真引擎之间的交互作用以及它们的动态行为通过传统仿真系统的V&V技术无法评估，为此策略常常会用于仿真系统的V&V技术，但引入策略后仍存在策略修改和管理困难的缺陷，针对此问题，提出了一个基于动态策略执行技术的仿真系统校核与验证(V&V)模式。该模式中包含六类建模元素，约束被形式化描述为策略，通过策略引擎的执行检测在仿真执行期是否产生策略违反来判断仿真系统是否存在问题，从而实现对仿真系统的动态V&V。这为仿真系统的评估提供了一个新思路，同时由于策略与系统的分离性也便于仿真系统的修正与完善。