模拟模型的确认和实验设计 建模与仿真中的 VV&A系统模型校核、验证 模拟的实验设计 上节有关 Petri 网的四个基本逻辑关系的解释。 参照胡老师的毕业论文。 全天候的深入 最好能将 agent 的一个例子完善。 现代高技术战争对仿真技术提出了更新更高的要现代高技术战争对仿真技术提出了更新更高的要求,并推动着军用仿真技术的发展,使得对建模与仿求,并推动着军用仿真技术的发展,使得对建模与仿真进行标准化和规范化研究工作迫在眉睫。而对军用真进行标准化和规范化研究工作迫在眉睫。而对军用建模与仿真来说,对于建模与仿真来说,对于 VV&AVV&A 标准规范标准规范的研究就更为的研究就更为迫切,它是建模与仿真标准化和规范化研究的一个内迫切,它是建模与仿真标准化和规范化研究的一个内容。容。 7.1 Why VV&A? 仿真系统能否具有实际系统的特点,能否反映实际系统的规律特征,必须经过一定的置信度确认。 VV&A 技术是保证 MS 置信度的有效途径。 校核 verification 验证 validation 确认 accredation 具体意义 从中文理解区别不大,但从英文理解还是有差异的 Verification 确定仿真系统是否准确的代表了开发者的概念和设计意图,是否正确的按开发者意图建立了仿真模型软件实现人员是否正确的实现了开发者的设计。 Validation 确定仿真系统代表现实世界的正确性程度,关心的是仿真系统究竟在多大程度上反映了真实世界的情况 Accreditation 正式的按受系统作为专门的应用目的服务的过程,是在前述校核与验证的基础上,有仿真系统的主管部门和用户组成验收小组,对系统的可接受性和有效性做出正式的确认。 模拟模型的 verification ,解决所建立的模拟模型是否能准确代表系统模型的问题;模拟模型的 validation ,解决模拟模型是否能真正代表所模拟的实际系统的问题。它们的关系如下图。 实际系统系统模型模拟模型validationverification 7.2 系统模型校核、验证 1 )在开发模拟程序时,应分块或按子程序来分别进行验证。 2 )在模拟程序的运行中检查输出的合理性 3 )在验证离散事件模拟模型时,模拟运行的跟踪是最有效的工具之一。系统模型的 validation 模型确认可分为两类:基本(定量)确认方法和定性确认方法。 模拟模型确认的“三步法” : 1 )模型的专家评估确认 2 )模型假设的确认 模型假设可分为两大类,其...