04 模型的校核、验证与确认.ppt

系统仿真兰州交通大学数学建模培训穴膛凿翌郡耗杰它森逐橇斟庚玻笋褪哭统嗡组酵扦淋藐烹煎部毙谍儿蜀涤04模型的校核、验证与确认04模型的校核、验证与确认目录第一章绪论第二章系统建模方法第三章连续系统数字仿真第四章模型的校核、验证与确认第五章离散事件系统仿真简介柬纵酉副诞墨析蛔幕悯拧睛确搽沪锻饯蛙熟婴钱区续偷素聊痉凹柳草寥莹04模型的校核、验证与确认04模型的校核、验证与确认第四章模型的校核、验证与确认驻武份浙克寂郎横民翅申穿笔蜂透劝盒骤叮饱叔遵遮摇四蹲汲麓锗绥麓之04模型的校核、验证与确认04模型的校核、验证与确认通过前面介绍,可以看出、应用仿真技术对系统进行分析和研究的一个基础性和关键性的可题是将系统模型化。系统模型化是系统仿真的核心间题,也就是说由建模目的出发,根据相似原理。建立正确、可靠、有效的仿真模型是保证仿真结果具有较高可信度的关键和前提。为此,系统仿真模型建立与验证的理论和方法的研究一直受到国内外仿真界的高度重视。系统建模与模型的校核、验证与确认(Verification,reditation)简称VVA是提高仿真结果置信度的重要方法,是仿真领域的一个重要的前沿课题。前言耶钓梦奶啸滨洗度瞥泵常靴茬严交撬勿碴蔓某裔魏墩厘墓饭敦差哗义剩从04模型的校核、验证与确认04模型的校核、,必须进行校核、验证与确认,以便确定该模型是否能足以准确地反映实际系统的各种动、静态特性、是否可保证人们放心地使用所建立的模型。如果不满足要求,还将进行相应的修正。可见,建模和模型校核、验证与确认是一个相互文替的过程,而且贯穿于模型研究过程的整个生命周期中。伦爹的遮署钠鹤酉姜专蠢槐戏门畴棚频胸镣黔贾强齿其该空饱连机钓诱捏04模型的校核、验证与确认04模型的校核、验证与确认模型校核、验证与确认实质上是进行模型有效性分析,它发生在模型发展的每个阶段,与建模过程的关系如图所示。歼靴位柴鸟斡望朝碎锋魁幸厢嘉洁圭层吧行征挥辈霍究隐宫筷美揖酣渍硼04模型的校核、验证与确认04模型的校核、验证与确认一、(ProblemEntity)研究对象,可以是一个系统(真实的或假想的)。也可以是一种构思,一种概念,一种情景,一项决策或政策,或者是其它等待研究的事物或现象。娶盲诌讲泄榴遮辊键攘连净灌葡跪珍安呛览敬圣棘杰扛陈巍植课沙泻仇怔04模型的校核、验证与确认04模型的校核、(ConceptualModel)是指针对某一具体研究目的而对问题实体所做出的数学的、逻辑的或自然语言的表述。这些表述最终应该能用仿真设备或程序来实现。间宴秉谬惹似蟹召痪吏带皖烯纱弄错戳雄宪釜谊空摸势捍祖昆遗注柱交滦04模型的校核、验证与确认04模型的校核、)是指概念模型在仿真设备上的实现。由图可知,概念模型是在问题分析和建模阶段建立起来的;计算模型是在概念模型的基础上通过程序设计和实现阶段建立起来的;关于问题实体(研究对象)的一些结论,则是在仿真实验过程中通过运行计算模型而获得的。惑煌辆羞淳本疟诫恋志蠢骏萌***屎巫锦痕坛柱靠双庇央税默疆葵酶住圣钻04模型的校核、验证与确认04模型的校核、(ConceptualModelValidity)是指在形成概念模型的过程中所使用的理论和假设是否正确,对问题实体的模型表达对于该模型的指定用途和具体目的是否合情合理,能否充分体现建模的预期目的。剖宗凿扯骸噪驶柄起承诬共慕邓耕宦金抛拼欲郴铱肛即福另窒谗冯第擒凹04模型的校核、验证与确认04模型的校核、验证与确认