模型的校核 验证与认可PPT.ppt

第八章 模型的校核、验证与认可; 通过前面几章的介绍，可以看出、应用仿真技术对系统进行分析和研究的一个基础性和关键性的可题是将系统模型化。系统模型化是系统仿真的核心间题，也就是说由建模目的出发，根据相似原理。建立正确、可靠、有效的仿真模型是保证仿真结果具有较高可信度的关键和前提。为此，系统仿真模型建立与验证的理论和方法的研究一直受到国内外仿真界的高度重视。系统建模与模型的校核、验证与认(Verification,Validation and Accreditation)简称VVA是提高仿真结果置信度的重要方法，是仿真领域的一个重要的前沿课题。 在这一章首先介绍VVA的基本概念，然后叙述VVA的一般性方法与策略，并结合具体系统的建模与仿真，有针对性地探索VVA的一些有效方法。对于比较成熟的VVA技术，还编制了相应的通用功能程序。; 8.1 系统模型的校核、验证与认可的基本概念 ; 建模与仿真的VVA, VVT(Verification, Validation and Testing)及V V V ( Verif icativn,Validation andVisualization)分析系统模型.型PI信性和提高仿真结果置信度的重要方法。作为建模与仿真全生命周期的一个重要组成部分，VVA等贯穿于建模与仿真的全过程，从局部子系统到整个系统按一定的规范和标准反复进行，直到取得满意的仿真结果为止。 目前仿真界对VVAIVV侧VVV的概念理解方面已经取得了一定的共识，但对它们的理论和方法研究方面进展不大.还没有一种能被普遍接受的、有效的VVAIVVTIVVV理论与 方法。原因在于客观存在的实际系统不论在规模、结钩、性能等各个方面都是千差万别的。很难找到一种统一的、规范化的VVAIVVTIVVV技术标准。 VVA存在于模型开发过程的各个阶段，图8.1给出模型开发过程与VVA的关系。 ; 一、有关概念的一些解释 1.问题实体(Problem Entity) 研究对象，可以是一个系统(真实的或假想的)。也可以是一种构思，一种概念，一种情景，一项决策或政策，或者是其它等待研究的事物或现象。 2.概念模型(Conceptual Model) 是指针对某一具体研究目的而对问题实体所做出的数学的、逻辑的或自然语言的表述。这些表述最终应该能用仿真设备或程序来实现。 3计算模型(Computerized Model) 是指概念模型在仿真设备上的实现。 由图8.1可知，概念模型是在间题分析和建模阶段建立起来的;计算模型是在概念模型的基础上通过程序设计和实现阶段建立起来的:关于问题实体(研究对象)的一些结论，则是在仿真实验过程中通过运行计算模型而获得的。; 二、模型校核与验证的难点 以前，人们对模型验证工作较模型校核工作开展得相对多一些。就模型验证来说，它是系统仿真研究中难度很大的间题，其难点表现在以下几个方面: 1.模型验证工作是一个过程 模型是建模者根据建模目的按照相似原理对于实际系统的科学抽象与简化描述。它反映 了建模者对实际系统山感性到理性认识的一个阶段，这种认识是否正确与梢确，还得经过实践的检验。因此，模型验证工作，实际上是由实践到理沦.再由理论到实践的过程。有时得经过多次反复才能完成。 2.模型脸证工作具有模糊性 模型是原型(研究对象)的相似系统，而相似程度具有一定的模糊或不确定性。这种不确 定性不仅与建模者对原型认识的深刻程度有关，而且与他所采用的方法与技巧有关。就是说 对于同一原型系统，抱着同样的建模目的，不同的人可能建造出与原型相似程度不同的模型。; 3.模型i}证工作受多种因素影响 首先是模型本身的因素，众所周知一个完整的模型包含两个方面的内容:一方面是它的结构，另一方面是它的参数。结构住往可以代表某一类模型的共性，而参数的加入，体现的是模型的个性。这两方面是模型能否代表，原型的决定因素。是内因。因此，在进行棋型验证时，要倍加关注它f的正确性与准确性。 其次是模型运行的环境即外因，其中最基本的是给模型系统施加的愉入作用。这种作用应与给实际系统施加的作用相似，只有这样，才能为分析判断模型的有效性创造条件。 4.模型脸证过程中往往存在大贡的统计分析与计算 假设检验、统计判断、置信区间估计等都要涉及到复杂的计算。因此.模型验证工作需要付出很高的代价。特别是对于复杂的大型仿真系统更是如此，以致使得模型的全面验证实际上成为不可能。 5.有些情花下，难以得到或者得不到实际的可靠结果。 给摸型的验证带来很大困难。比如，社会系统、经济系统、生态系统、环境系统等，我们