物流仿真学习教案.pptx

会计学仿真(fǎnɡzhēn)数据分析仿真(fǎnɡzhēn)数据分析终态仿真(fǎnɡzhēn)数据分析终态仿真(fǎnɡzhēn)数据分析终态仿真(fǎnɡzhēn)数据分析终态仿真(fǎnɡzhēn)数据分析终态仿真(fǎnɡzhēn)数据分析稳态仿真(fǎnɡzhēn)数据分析稳态仿真(fǎnɡzhēn)数据分析稳态仿真(fǎnɡzhēn)数据分析稳态仿真(fǎnɡzhēn)数据分析两系统(xìtǒng)比较分析。仿真模型的验证(yànzhèng)与分析1、VV&A的基本概念(2)模型X的Verification是指：
“对模型X的变换准确度(Accuracy)的评估,即由模型X′变换成模型X时,这种变换准确吗?”
回答(huídá)的问题是：“是否正确地由X′生成了X?”
模型X验证的参照物是X的前驱X′。Validation和verification是在二个基本层面上的可信性证明工作：
1）建立的模型和仿真系统是符合实际的：即，模型在研究目的允许的范围(fànwéi)内等价地代表了已存在的实际系统或规划设计的未来系统——模型与要研究的系统逻辑等价；
2）建立的仿真模型是正确的：即建立的仿真模型、所写的计算机程序是正确的，在一定程度上实现了本来想要建立的模型的目的——计算机建模本身正确；(3)Accreditation
——美国防部(DoD)的M&S小组定义为“官方鉴定，一个(yīɡè)模型、仿真或二者共同对用户的特定用途是可接受的”。
(4)Certification

推荐阅读文献：
【1】RobertG.Sargent.Verification,Validation,andAccreditationofSimulationModels.Proceedingsofthe2000WinterSimulationConference.J.A.Joines,R.R.Barton,K.Kang,andP.A.Fishwick,eds.50:59
【2】王仁春,李昊,戴金海.系统建模与仿真应用的校验、确认与验收.计算机仿真.2007,24(5):58-61（5）与VV&A相关的几个概念：
模型测试modeltesting
通过给定某些数据或案例，来判断模型中是否存在(cúnzài)错误，或者不精确、不准确的性质或状况。
在保证测试方法和手段正确的前提下，测试失败模型错误；
仿真精度simulationaccuracy
系统仿真精度（往往以误差的形式描述）体现为仿真系统达到的静态、动态指标与实际系统、规定的或期望的静态、动态指标之间的误差或允许误差。
仿真逼真度（置信度）simulationfidelity
在特定建模目的意义下，模型与原型的相似程度。2、VV&A的一般(yībān)原则VV&A方法(fāngfǎ)的性价比问题VV&A作用(zuòyòng)于M&S生命周期引导(yǐndǎo)时间(shíjiān)上是并行进行的；
既有阶段性偏重，又都贯穿于M&S全生命周期
交互迭代反复修改校验的过程VVA作用(zuòyòng)于M&S生命周期三、建模与仿真(fǎnɡzhēn)的确认与验证技术及方法分类1非正式方法
“非正式方法”在VV&A中最常用,是正规的指导下的非常有效的方法,但它的缺点是严重依赖于人的推理与主观判断。如：
审核法：如领域专家审核过程
检查法：如程序员自查
表面验证法：直观上认为合理
图灵测试：判断仿真与实际系统的差别(chābié)以检验仿真2正式方法
“正式方法”是基于正确性的正式的数学证明。
但由于当前的正式证明技术的局限性,在略为复杂的实际建模与仿真中还无法应用。如：
归纳
推理
逻辑演绎
正确性证明
谓词(wèicí)运算
谓词(wèicí)变换3静态方法
“静态方法”评估静态模型设计和源代码，不需要模型的机器执行，需要手工执行。应用广泛。
静态技术可以(kěyǐ)校核验证大量信息，如模型结构、建模技术、模型中的数据、控制流和语法精度等。如：
结构分析
因果图
数据流分析
语法分析
语义分析
控制分析4动态方法
“动态方法”需要模型执行,大多数动态方法需要加入模型探测器,即在执行模型中加入附加的代码,以收集模型执行中行为的信息。探测位置是在模型静态结构分析(fēnxī)的基础上,手工或自动获得的。
这种方法是实际中较为有效的方法。如：
白盒法：测试人员了解程序内部结构和处理过程；
黑盒法：测试人员完全不考虑程序的内部结构和处理过程，只在软件接口处进行测试，是否满足功能要求；四、常用(chánɡyònɡ)的verification和validation方法Verification的一些建议方法
（1）运行模型，由建模者以外的人员（软件方面的专家）校验；
（2）画一个详细的流程图，详细到系统逻辑上的