《计算机仿真技术 教学课件 ppt 作者 郝培锋 崔建江 潘峰 第8章》由会员分享，可在线阅读，更多相关《计算机仿真技术 教学课件 ppt 作者 郝培锋 崔建江 潘峰 第8章（42页珍藏版）》请在金锄头文库上搜索。
1、第8章,第8章,8.1 系统模型的校核、验证与认可的基本概念 8.2 系统模型校核与验证的一般策略 8.3 小结,8.1 系统模型的校核、验证与认可的基本概念,8.1.1 有关基本概念 8.1.2 模型校核与验证的难点,8.1 系统模型的校核、验证与认可的基本概念,仿真系统的精度和可信度是系统仿真实验过程中必须十分重视的问题，也是仿真系统最终用户最为关心的问题，因为它直接影响甚至决定仿真结果的置信度及其价值。模型是仿真系统的核心和基础，因此系统模型是否准确地描述被仿真对象，是仿真结果是否可信的前提，仿真结果的置信度取决于系统模型的质量。这里应对系统模型作最广义的理解，它包括在相似理论基础上建立
2、起来的各级各类模型，如数学模型、物理模型或物理效应模型、仿真计算模型、数据集合等，仿真建模的过程与实现.仿真置信度包括系统模型可信度(也可认为是仿真系统可信度)和模型运行过程的可信度两个方面，是二者的综合。,8.1.1 有关基本概念,1.问题实体 2.概念模型 3.计算模型 4.概念模型有效性 5.运行有效性 6.数据有效性 7.模型校核 8.模型验证 9.模型认可,1.问题实体,计算机仿真技术问题实体(Problem Entity)即研究对象，可以是一个系统(真实的或假想的)，也可以是一种构思，一种概念，一种情景，一项决策或政策，或者是其他等待研究的事物或现象。,2.概念模型,概念模型(Co
3、nceptual Model)是针对某一具体研究目的而对问题实体所作出的数学的、逻辑的或自然语言的表述，这些表述最终应能够用仿真设备或程序来实现。,3.计算模型,计算模型(Computerized Model)是指概念模型在仿真设备上的实现。 概念模型是在问题分析和建模阶段建立起来的；计算模型是在概念模型的基础上通过程序设计和实现阶段建立起来的；关于问题实体(研究对象)的一些结论，则是在仿真过程中通过运行计算模型而获得的。,4.概念模型有效性,概念模型有效性(Conceptual Model Validity)是指在形成概念模型的过程中所使用的理论和假设是否正确，问题实体的模型表达对于该模型的
4、指定用途和具体目的是否合情合理，能否体现建模的预期目的。,5.运行有效性,运行有效性(Operational Validity)是指在给定的工作域和模型应用域内，模型行为相对于预期的研究目的来说是否足够精确。,6.数据有效性,数据有效性(Data Validity)是指能保证模型建立、模型评价、模型测试以及指导各种模型实验所使用的数据是充分而可靠的。,7.模型校核,概括地说，模型校核(Model Verification)是一个过程，在这个过程中要检查和确定仿真计算模型是否准确地表述了概念模型；换言之，模型校核的目的是确保模型二次模型化(对概念模型的翻译)过程是正确的。,8.模型验证,模型验证
5、(Model Validation)是在建模目的的意义下模型能否准确地代表实际系统，这有两方面的含义：其一是首先检查概念模型(数学模型、物理模型等)是否正确地描述了实际系统；其二是进一步考察仿真模型输出是否充分接近系统的行为。模型验证的目的并不是为了使模型与实际系统完全一致，由于模型只是对实际系统的一种相似，所以让模型百分之百地符合真实系统的行为是不可能的，由于实际系统的复杂性，这也是做不到的。,9.模型认可,模型认可(Model Accreditation)是指正式地认定“模型对于特定的研究目的是可以接受的”，模型认可同研究目的、仿真目标、认可标准、用户要求、相关的输入数据的质量(有效性)等
6、方面因素有关。,8.1.2 模型校核与验证的难点,1.模型验证工作是一个过程 2.模型验证工作具有模糊性 3.模型论证工作受多种因素的影响 4.模型验证过程中往往存在大量的统计分析与计算 5.有时难以获得或几乎得不到实际系统输出行为的可靠结果，给模型的验证带来困难,1.模型验证工作是一个过程,模型是建模者根据建模目的按照相似原理对于实际系统的科学抽象与简化描述，它反映了建模者对实际系统由感性到理性认识的一个阶段，这种认识是否正确与精确，还得经过实践的检验。因此，模型验证工作，实际上是由实践到理论，再由理论到实践的过程，往往需要多次反复才能完成。,2.模型验证工作具有模糊性,模型是原型(研究对象
7、)的相似系统，而相似程度具有一定的模糊或不确定性。这种不确定性不仅与建模者对原型的认识深刻程度有关，而且与它采用的方法和技巧有关。对于同一原型系统、具有同样的建模目的，不同的人会构造出与原型系统相似程度不同的模型。,3.模型论证工作受多种因素的影响,首先是模型本身的因素。一个完整的模型包含模型的结构和模型的参数两部分。结构往往可以代表某一类模型的共性，而模型的参数体现的是模型的个性。这两方面是模型能否代表原型的决定因素，在进行模型验证时要确保它们的正确性和准确性。 其次是模型的运行环境，其中最基本的是给模型系统施加的输入作用，这种作用应与给实际系统施加的作用相似，只有这样才能为分析判断模型的有
8、效性创造条件。,4.模型验证过程中往往存在大量的统计分析与计算,假设检验、统计判断、置信区间估计等都要涉及到复杂的计算。特别是对于复杂的大型仿真系统，以致使得模型的全面验证实际上成为不可能。,5.有时难以获得或几乎得不到实际系统输出行为的可靠结果，给模型的验证带来困难,例如，社会系统、经济系统、生态系统、环境系统等不可能或难以在实际系统上进行实验，所以就得不到实际系统的输入行为，因此就难以制定一个评价模型系统的客观标准。再如，导弹武器系统，尽管可以通过打靶实验获得有关真实系统的一些行为特征数据，但这些参考数据是极为有限的，对进行全面的验证是不充分的。,8.2 系统模型校核与验证的一般策略,8.
9、2.1 模型校核的一般方法 8.2.2 模型验证的一般方法,8.2.1 模型校核的一般方法,1.仿真算法的校核 2.静态检测 3.动态调试 4.多人复核 5.参考基准校核 6.标准实例测试 7.运用软件可靠性理论,1.仿真算法的校核,仿真算法的校核包括两方面的内容：一是对算法进行理论研究，对其主要的品质，如精度、收敛性、稳定性、适应性等进行分析，确保算法的合理性；二是检查计算机程序是否准确地实现算法的功能。 对于系统的仿真算法，如有可能应尽量选择经过测试和实践检验的标准程序。,2.静态检测,静态检测即检查算法、公式推导是否合理、仿真模型的流程图是否合乎逻辑、程序实现是否正确。为了便于模型的动态
10、校核，从一开始就应当严格按照结构化、模块化、规范化的风格编写程序。,3.动态调试,在模型运行过程中，通过考察关键因素或敏感因素的变化检查模型的正确性。,4.多人复核,对某个人开发设计的仿真计算模型，可由其他人来检查，采用一切办法甚至带有挑剔性地去寻找计算模型中潜在的错误，这种方法比较客观，可以提高模型的可信性,5.参考基准校核,检查模型计算结果是否同所研究的特定物理现象相符合，对模型结果中出现的非正常现象作出合理的物理解释。,6.标准实例测试,对于比较简单的、规模比较小的仿真问题，或许可以有足够的信心认为所设计的仿真计算模型是正确可靠的。但是对于复杂的、规模较大的系统来说，多数情况下，难以轻信
11、仿真计算模型是正确可靠的。因为在多数场合下必须经过许多标准实例的测试和验证，通过多方面的校核，经过反复修改、优化，最终才能获得正确的仿真计算模型。用于测试的例子往往是那些典型的、标准解已知的系统模型，将需要测试的仿真计算模型作适当的调整，使其成为标准解已知的典型系统的仿真计算模型，并将仿真结果与标准解相比较，以此来考核被测试的系统模型的正确性。,7.运用软件可靠性理论,仿真计算模型是一类用于专门目的的软件或计算机程序，因而除了在设计过程中遵循软件工程的思想方法和要求以外，对于已经设计出来的复杂系统的仿真程序，也可以利用软件可靠性的理论和方法进行诊断与检查。在20世纪70年代，Mills和Bas
12、in利用超几何分布模型解决了软件系统错误数的评估问题。可以把这一方法用于仿真计算模型的错误及错误数的诊断：首先随机地将一些已知的错误播入待测试的仿真计算模型中，然后运行并测试仿真程序，通过测得的固有错误数与播入错误数，使用超几何分布模型来估算仿真计算模型的错误总数，然后再逐一排除。,8.2.2 模型验证的一般方法,1.可信性验证 2.一致性检验,1.可信性验证,1)通过对前提(各种假设)是否真实的研究，来验证模型本身是否可信。 2)通过对推理过程是否符合思维规律、规则，即推理的形式是否正确的研究来检验模型的可信性。,2.一致性检验,(1)专家经验评估法 请有经验的领域专家、行业工程师和项目主管
13、对仿真模型输出和实际系统进行比较、判断，如果他们认为两类输出相差无几或者区分不开，那么，就可认为仿真模型已经达到足够的精度，是可以接受的。 (2)动态关联分析法 根据先验知识，提出某一关联性指标，利用该性能指标对仿真模型输出与实际系统输出进行定性分析、比较，据此给出两者一致性的定性结论。 (3)系统分解法(子系统分析法) 把复杂的大系统分解成若干个小子系统，对每个子模型进行分析验证，然后根据子系统组成大系统的方式(串联、并联等)考察整个模型的有效性。 (4)灵敏度分析法 通过考察模型中一组灵敏度系数的变化，给模型系数造成的影响情况来分析、判断模型的有效性。,2.一致性检验,(5)参数估计法 对
14、于系统的某些性能指标参数(如武器系统的杀伤概率、命中精度等)，考察其复杂输出置信域是否与相应的参考(期望)输出置信域重和或落入期望的置信域内。 (6)假设检验法 利用假设检验理论来判断仿真结果与参考结果是否在统计意义下一致，以及一致性的程度如何。 (7)时间序列与频谱分析 把仿真输出与相应的参考输出看作时间序列，对它们进行某些处理后用时间序列理论和频谱分析方法考察两者在频域内的统计一致性。 (8)综合方法 上述两种或两种以上方法综合使用，以便从多个侧面考察仿真模型的有效性。,(1)专家经验评估法,请有经验的领域专家、行业工程师和项目主管对仿真模型输出和实际系统进行比较、判断，如果他们认为两类输
15、出相差无几或者区分不开，那么，就可认为仿真模型已经达到足够的精度，是可以接受的。,(2)动态关联分析法,根据先验知识，提出某一关联性指标，利用该性能指标对仿真模型输出与实际系统输出进行定性分析、比较，据此给出两者一致性的定性结论。,(3)系统分解法(子系统分析法),把复杂的大系统分解成若干个小子系统，对每个子模型进行分析验证，然后根据子系统组成大系统的方式(串联、并联等)考察整个模型的有效性。,(4)灵敏度分析法,通过考察模型中一组灵敏度系数的变化，给模型系数造成的影响情况来分析、判断模型的有效性。,(5)参数估计法,对于系统的某些性能指标参数(如武器系统的杀伤概率、命中精度等)，考察其复杂输
16、出置信域是否与相应的参考(期望)输出置信域重和或落入期望的置信域内。,(6)假设检验法,利用假设检验理论来判断仿真结果与参考结果是否在统计意义下一致，以及一致性的程度如何。,(7)时间序列与频谱分析,把仿真输出与相应的参考输出看作时间序列，对它们进行某些处理后用时间序列理论和频谱分析方法考察两者在频域内的统计一致性。,(8)综合方法,上述两种或两种以上方法综合使用，以便从多个侧面考察仿真模型的有效性。 当然，仿真模型的验证方法远不止这些，还有其他一些方法，如基于Kalmal滤波理论的模型检验与验证方法、决策理论和模糊数学方法等。,8.3 小结,对于仿真模型的校核、验证与认可的工作一般贯穿于整个仿真过程，由于仿真规模的不断扩大，目前已经考虑了系统的校核、验证与认可。利用仿真系统进行对实际的分析和研究，进而实现对实际系统的预测和辅助决策，保证仿真模型在计算机上的正确运行，十分重要和必要。随着实际对仿真的需求，仿真技术的不断发展，仿真模型涉及的范围越来越广，复杂程度也将大为增加，仿真模型的校核、验证与认可的方法也会不断发展。,
