仿真结果分析与模型校验ppt课件

1、物流系统仿真物流系统仿真 从实际到实际从实际到实际第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验刘亮刘亮Page 2第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.1 仿真结果的瞬态与稳态特征 4.2 区间估计和置信区间 4.2.1 点估计 4.2.2 区间估计 4.3 终止型仿真结果分析 4.3.1 反复运转法 4.3.2 序贯程序法 4.3.3 稳态仿真中初始条件所引起的偏向 4.3.4 稳态仿真反复运转方法 4.4 非终止型仿真结果分析 4.4.1 批平均值法 4.4.2 稳态序贯法 4.4.3 再生法 4.5 仿真模型确实认、校验和认定 4.5.1 模型的可

2、信性 4.5.2 模型校验管理方法 4.5.3 模型验证方法 4.5.4 模型确认方法 4.5.5 灵敏度分析方法 4.5.6 模型校验文本化方法 4.5.7 VV&A方法Page 3第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.1 4.1 仿真结果的瞬态与稳态特征仿真结果的瞬态与稳态特征 根据仿真模型进展实验的根本方法和统计分析方法的不同，仿真运转根据仿真模型进展实验的根本方法和统计分析方法的不同，仿真运转可分为终态仿真又称暂态仿真和稳态仿真两大类。可分为终态仿真又称暂态仿真和稳态仿真两大类。 终态仿真是指仿真实验在某个继续时间段终态仿真是指仿真实验在某个继续时间段

3、 上运转，这里上运转，这里 表示表示仿真开场的时辰，仿真开场的时辰， 表示仿真终了的时辰。在终态仿真中，系统的初始形表示仿真终了的时辰。在终态仿真中，系统的初始形状必需明确指定，同时必需指定状必需明确指定，同时必需指定 或给出停顿事件或给出停顿事件E E 的定义。终态仿真的的定义。终态仿真的结果对初始形状有明显的依赖性。结果对初始形状有明显的依赖性。 稳态仿真是经过系统仿真实验，希望得到一些系统性能测度目的在系稳态仿真是经过系统仿真实验，希望得到一些系统性能测度目的在系统到达稳态时的估计值，因此它经常需求很长一段时间的运转，终了条件统到达稳态时的估计值，因此它经常需求很长一段时间的运转，终了条

4、件普通是充分长的仿真实验时间针对仿真时钟而言，或充分多的观测样普通是充分长的仿真实验时间针对仿真时钟而言，或充分多的观测样本，或某些系统稳态判据为真等。稳态仿真实验结果普通应与初始形状无本，或某些系统稳态判据为真等。稳态仿真实验结果普通应与初始形状无关。关。,sETTsTETsTPage 4第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.2 4.2 区间估计和置信区间区间估计和置信区间 由于仿真输出结果是分布未知的随机变量，每次仿真运转的结果仅是由于仿真输出结果是分布未知的随机变量，每次仿真运转的结果仅是对该随机变量总体的一次抽样，能够与模型对应的真值有较大的误差，因对该随机变

5、量总体的一次抽样，能够与模型对应的真值有较大的误差，因此不能把一次仿真运转所得到结果当成问题的解。为使仿真结果有意义，此不能把一次仿真运转所得到结果当成问题的解。为使仿真结果有意义，必需用适当的统计技术来设计仿真实验和分析仿真结果，这样才干得到普必需用适当的统计技术来设计仿真实验和分析仿真结果，这样才干得到普通性的结论。通性的结论。 可以运用参数的估计方法：既要得到这个值可以运用参数的估计方法：既要得到这个值点估计，又要得到这个点估计，又要得到这个值的精度范围值的精度范围区间估计。区间估计的范围或长度是点估计准确度的区间估计。区间估计的范围或长度是点估计准确度的一个测度。一个测度。 仿真的数据

6、也有两种：仿真的数据也有两种： 离散性仿真：仿真输出数据具有离散方式离散性仿真：仿真输出数据具有离散方式 ，用来估计，用来估计 。 延续性仿真：仿真输出数据具有延续方式延续性仿真：仿真输出数据具有延续方式 ，用来估计，用来估计 。12, , ,nYYY ,0Y tt T Page 5第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.2 4.2 区间估计和置信区间区间估计和置信区间 点估计点估计 基于数据基于数据 的的 的点估计定义为的点估计定义为 式中式中 是基于样本量是基于样本量n n的样本均值。假设的样本均值。假设 的数学期望是的数学期望是，即，即 那么那么 是是 的无偏估计

7、。的无偏估计。 称为离散仿真系统性能的平均测度。称为离散仿真系统性能的平均测度。 12,nY YY11niiYnEPage 6第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.2 4.2 区间估计和置信区间区间估计和置信区间 点估计点估计 基于数据基于数据 的的 的点估计定义为：的点估计定义为： 式中式中 T T是仿真的运转长度，是仿真的运转长度， 称为称为Y(t)Y(t)在在0 0，T T上的时间平均值。上的时间平均值。 是是 的无偏估计。的无偏估计。 称为延续仿真系统性能的平均测度。称为延续仿真系统性能的平均测度。 ,0Y tt T 01TY t dtT EPage 7第四章

8、第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.2 4.2 区间估计和置信区间区间估计和置信区间 区间估计区间估计 首先，确定在无偏估计下，估计点估计首先，确定在无偏估计下，估计点估计 或或 的方差。的方差。 令令 表示点估计的表示点估计的 真实方差真实方差 令令 表示基于数据表示基于数据 的方差的方差 的估计值。的估计值。 假设假设 B B称为在方差估计中的偏向系数。称为在方差估计中的偏向系数。 2var 212, , ,nY YY 2 22EB Page 8第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.2 4.2 区间估计和置信区间区间估计和置信区间 区间估计区

9、间估计 假设假设 是近似无偏的是近似无偏的B1.0B1.0，那么取统计量，根据数理统计的定理，那么取统计量，根据数理统计的定理，可知，统计量，可知，统计量 当当B=1B=1， 为点估计方差为点估计方差 的一个无偏估计。的一个无偏估计。 为了使为了使 到达近似的到达近似的 置信区间，必需满足置信区间，必需满足 f=n-1f=n-1为为 t t检验的自在度数。检验的自在度数。n n为样本数。为样本数。 经过经过 t t分布的规范统计表，可以查得自在度为分布的规范统计表，可以查得自在度为f f，满足，满足置信区间的置信区间的 值值 根据根据 2t 222,ft 2, ft2,1fP tt 2 210

10、0 1% 2tt分 布Page 9第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.3 4.3 终止型仿真结果分析终止型仿真结果分析 终态终态terminatingterminating仿真是指，在模型中明确地规定了仿真开场和终仿真是指，在模型中明确地规定了仿真开场和终了条件的仿真。这些条件是目的系统实践运转方式的反映，即仿真模型可了条件的仿真。这些条件是目的系统实践运转方式的反映，即仿真模型可在某个定义好的规那么或是条件下终止。在某个定义好的规那么或是条件下终止。 在进展终态仿真时，假设需求经过仿真来估计参数的值，此时普通采在进展终态仿真时，假设需求经过仿真来估计参数的值，此时

11、普通采用独立反复法，经过仿真模型做独立反复实验。用独立反复法，经过仿真模型做独立反复实验。Page 10第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.3 4.3 终止型仿真结果分析终止型仿真结果分析 反复运转法反复运转法 反复运转法得到的估计值依赖于反复运转法得到的估计值依赖于 是正态随机变量这一假设。根据中是正态随机变量这一假设。根据中心极限定理，假设产生心极限定理，假设产生 的样本点数越多，即每次仿真运转的长度越长，的样本点数越多，即每次仿真运转的长度越长，那么那么 越接近正态分布。因此，在终止型仿真中，每次仿真运转的长度不能越接近正态分布。因此，在终止型仿真中，每次仿真

12、运转的长度不能太短，否那么太短，否那么 的分布能够由于不对称而呵斥歪斜，有的分布能够由于不对称而呵斥歪斜，有 建立的置信区建立的置信区间覆盖真值的程度将会降低。间覆盖真值的程度将会降低。 反复运转法所得到的置信区间长度不但与反复运转法所得到的置信区间长度不但与 的方差有关，而且与仿真的方差有关，而且与仿真运转次数有关，在这种方法中，运转次数有关，在这种方法中， 的方差主要决议于仿真模型，而仿真运转的方差主要决议于仿真模型，而仿真运转次数那么是由用户规定的，为了减少置信区间的长度，显然需求加大次数那么是由用户规定的，为了减少置信区间的长度，显然需求加大n n，区，区间长度与间长度与 成反比。根据

13、这一点，我们可以得到规定精度的置信区间，这成反比。根据这一点，我们可以得到规定精度的置信区间，这就是基于反复运转法的序贯程序法。就是基于反复运转法的序贯程序法。iXiXiXiXiXiXPage 11第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.3 4.3 终止型仿真结果分析终止型仿真结果分析 序贯程序法序贯程序法 实际阐明，随着实际阐明，随着n n的加大，以为的加大，以为 坚持不变的条件过于苛刻，从而按上式坚持不变的条件过于苛刻，从而按上式计算得到的计算得到的 、 偏大，因此往往用序贯程序法，步骤如下：偏大，因此往往用序贯程序法，步骤如下： 1 1预定独立仿真运转的次数预定独

14、立仿真运转的次数 ，并置，并置n= n= ，独立运转，独立运转n n次；次； 2 2计算该计算该n n次运转的次运转的X1X1，X2X2，XnXn，以及相应的，以及相应的 及及 ； 3 3按上列两式计算出按上列两式计算出 或或 ； 4 4假设假设 或或 ，那么置信区间为：，那么置信区间为： 并将其作为并将其作为 在近似在近似1001001- 1- % %置信区间，从而终了仿真；否那么，置信区间，从而终了仿真；否那么， 5 5再进展一次独立的方针运转得到再进展一次独立的方针运转得到Xn+1Xn+1； 令令n=n+1n=n+1，并前往第，并前往第2 2步。步。2nS n nnX2nSnnnn,nn

15、nnXXPage 12第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.3 4.3 终止型仿真结果分析终止型仿真结果分析 稳态仿真中初始条件所引起的偏向稳态仿真中初始条件所引起的偏向 稳态仿真运转普通可以分成两段稳态仿真运转普通可以分成两段( (目的是为了消除初始条件的影响目的是为了消除初始条件的影响) )第第一段从时辰一段从时辰0 0到时辰到时辰 为初始阶段；第二段接着从为初始阶段；第二段接着从 到停顿时辰到停顿时辰 为为数据搜集阶段。数据搜集阶段。0T0T0ET TPage 13第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.3 4.3 终止型仿真结果分析终止

16、型仿真结果分析 稳态仿真反复运转方法稳态仿真反复运转方法 我们曾经看到经过设定我们曾经看到经过设定T0T0、TETE可以将点估计中初始条件引起的偏向已可以将点估计中初始条件引起的偏向已被减少到可忽略的程度，另外，独立反复运转的方法同样可用来估计点估被减少到可忽略的程度，另外，独立反复运转的方法同样可用来估计点估计值变化范围适用于无动态偏向，并构造置信区间。计值变化范围适用于无动态偏向，并构造置信区间。 假设，在点估计中有明显的动态偏向如：系统存在交替出现的偏向假设，在点估计中有明显的动态偏向如：系统存在交替出现的偏向，那么采用大量的反复运转来减少点估计值的变化范围，就会导致错误，那么采用大量的

17、反复运转来减少点估计值的变化范围，就会导致错误的置信区间。大量的反复运转会使得置信区间围绕点发生的置信区间。大量的反复运转会使得置信区间围绕点发生 “ “偏移偏移 ，使，使本来围绕着本来围绕着变短的置信区间变短的置信区间“偏移到围绕着偏移到围绕着“错误的点错误的点 变短。变短。bPage 14第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.4 4.4 非终止型仿真结果分析非终止型仿真结果分析 批平均值法批平均值法 批平均值法是寻觅获得独立同分布随机变量察看值的方法，以便运用批平均值法是寻觅获得独立同分布随机变量察看值的方法，以便运用经典方法获得置信区间估计，然而，批平均法不是从

18、一些段的独立反复运经典方法获得置信区间估计，然而，批平均法不是从一些段的独立反复运转中搜集数据，而是以单次长时间的仿真运转为根底，这就是批平均值法转中搜集数据，而是以单次长时间的仿真运转为根底，这就是批平均值法的本质。的本质。Page 15第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.4 4.4 非终止型仿真结果分析非终止型仿真结果分析 稳态序贯法稳态序贯法 稳态序贯法较好地处理了批长度确实定及仿真运转总长度确实定问题稳态序贯法较好地处理了批长度确实定及仿真运转总长度确实定问题，并能满足规定置信区间精度的要求。，并能满足规定置信区间精度的要求。Page 16第四章第四章 仿真

19、结果分析与模型校验仿真结果分析与模型校验 4.4 4.4 非终止型仿真结果分析非终止型仿真结果分析 再生法再生法 再生法的根本思绪是识别一些随机时间点，在这些点上输出过程从概再生法的根本思绪是识别一些随机时间点，在这些点上输出过程从概率意义上率意义上“重新开场即再生，并利用这些再生点火的独立的随机变量，重新开场即再生，并利用这些再生点火的独立的随机变量，从而有能够运用经典的统计分析方法。从而有能够运用经典的统计分析方法。 这种方法只能运用于类似简单排队系统这样具有再生特性的系统。这种方法只能运用于类似简单排队系统这样具有再生特性的系统。 一个从再生形状开场运转的再生系统，具有数据序列的周期特征

20、。一个从再生形状开场运转的再生系统，具有数据序列的周期特征。 对于再生过程，系统的稳态平均呼应是一个周期察看值的均值与这个对于再生过程，系统的稳态平均呼应是一个周期察看值的均值与这个周期上察看值的平均数目之比。周期上察看值的平均数目之比。Page 17第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 近年来，国际仿真界已达成一种共识，与模型和仿真近年来，国际仿真界已达成一种共识，与模型和仿真M&SM&S有效性有有效性有关的主要任务包括，模型的验证和确认关的主要任务包括，模型的验证和确认V&V

21、V&V，Verification and Verification and ValidationValidation、版本管理、版本管理Configuration ManagementConfiguration Management，CMCM和认定和认定AccreditationAccreditation。Page 18第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 模型的可信性模型的可信性 一个系统模型及其仿真结果具有可信性一个系统模型及其仿真结果具有可信性credibilitycredibility是

22、指系统模型是指系统模型足够准确地代表了所研讨的实践系统，可以用系统模型替代实践系统进展足够准确地代表了所研讨的实践系统，可以用系统模型替代实践系统进展决策。决策。 Sargen R . G Sargen R . G 以为，确认系统仿真模型有效性的任务包括以为，确认系统仿真模型有效性的任务包括 4 4 方面的内方面的内容容: : 1 1在系统分析与系统建模阶段，进展概念模型确认。断定系统模型能否在系统分析与系统建模阶段，进展概念模型确认。断定系统模型能否有效地代表了实践系统，建模所根据的实际与假设能否合理。有效地代表了实践系统，建模所根据的实际与假设能否合理。 2 2在编程和计算机模型开发阶段，

23、进展计算机模型验证。断定系统模型在编程和计算机模型开发阶段，进展计算机模型验证。断定系统模型能否被正确地转换成了仿真模型计算机程序。能否被正确地转换成了仿真模型计算机程序。 3 3在数字实验阶段，确认操作的有效性。断定仿真模型输出能否足够准在数字实验阶段，确认操作的有效性。断定仿真模型输出能否足够准确。确。 4 4断定数据的有效性。确定建立模型、测试模型和用模型进展实验所必断定数据的有效性。确定建立模型、测试模型和用模型进展实验所必需的数据能否足够，能否正确。需的数据能否足够，能否正确。Page 19第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校

24、验和认定仿真模型确实认、校验和认定 模型的可信性模型的可信性Page 20第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 模型校验管理方法模型校验管理方法 1 1组织管理组织管理 组建模型校验的管理机构，明确各个单位的责任。模型校验办公室是组建模型校验的管理机构，明确各个单位的责任。模型校验办公室是M&SM&S工程期间常设的实施模型校验管理的权威单位，必需有职有权，具有在工程期间常设的实施模型校验管理的权威单位，必需有职有权，具有在模型用户、模型研制单位及模型校验单位之间进展组织、协调的绝对权威模

25、型用户、模型研制单位及模型校验单位之间进展组织、协调的绝对权威性。性。 2 2过程管理过程管理 模型校验时贯穿仿真系统全寿命周期的一个任务过程，需求细致周到模型校验时贯穿仿真系统全寿命周期的一个任务过程，需求细致周到的过程管理。的过程管理。Page 21第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 模型验证方法模型验证方法 仿真模型的验证是仿真模型与仿真程序在逻辑构造和数据参数之间的仿真模型的验证是仿真模型与仿真程序在逻辑构造和数据参数之间的比较过程。经过验证过程使仿真程序与仿真模型坚持一致，并能准确地反比较过

26、程。经过验证过程使仿真程序与仿真模型坚持一致，并能准确地反映模型中各部分之间的逻辑关系、各参数之间的数量关系以及对模型所作映模型中各部分之间的逻辑关系、各参数之间的数量关系以及对模型所作的简化和假设等，从而使人们确信，在计算机上运转该仿真程序可以复现的简化和假设等，从而使人们确信，在计算机上运转该仿真程序可以复现仿真模型内在的逻辑和数量关系，进而展现实践系统的根本性能。仿真模型内在的逻辑和数量关系，进而展现实践系统的根本性能。Page 22第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 模型验证方法模型验证方法

27、仿真模型的验证可经过以下途径排除仿真程序中存在的问题。仿真模型的验证可经过以下途径排除仿真程序中存在的问题。 1 1用子程序编写和调试仿真程序用子程序编写和调试仿真程序 2 2在仿真程序的运转中检查输出的合理性在仿真程序的运转中检查输出的合理性 3 3仿真程序运转时的跟踪检查仿真程序运转时的跟踪检查 除上述方法以外，在验证仿真模型时，还可以采用验证普通模型常用除上述方法以外，在验证仿真模型时，还可以采用验证普通模型常用的方法。如在简化假设下运转模型；利用图像终端显示仿真输出的动态变的方法。如在简化假设下运转模型；利用图像终端显示仿真输出的动态变化，以察看其规律；以及由未参与编程任务的人员来审查

28、仿真程序等等。化，以察看其规律；以及由未参与编程任务的人员来审查仿真程序等等。Page 23第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 模型确认方法模型确认方法 仿真模型确实认是检验所构造的模型能否真正代表一个实践系统的根仿真模型确实认是检验所构造的模型能否真正代表一个实践系统的根本性能。仿真模型确实认过程是对模型和实践系统作反复比较的过程，并本性能。仿真模型确实认过程是对模型和实践系统作反复比较的过程，并且利用两者的比较差别来改良和修正模型，使之逐渐向实践系统逼近，直且利用两者的比较差别来改良和修正模型，使

29、之逐渐向实践系统逼近，直到仿真模型被确以为实践系统的真正代表为止。到仿真模型被确以为实践系统的真正代表为止。Page 24第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 模型确认方法模型确认方法 模型确认除了相关的系统建模实际之外，还需求许多领域知识。模型模型确认除了相关的系统建模实际之外，还需求许多领域知识。模型确认的难易程度取决于以下两个要素：确认的难易程度取决于以下两个要素： l l所分析的对象系统的复杂程度。所分析的对象系统的复杂程度。 2 2能否有现存的实践系统供察看和研讨。能否有现存的实践系统供察看和

30、研讨。 NaylorNaylor和和FingerFinger提出的仿真模型确认的提出的仿真模型确认的“三步法。三步法。 1 1从直观调查模型的有效性从直观调查模型的有效性 2 2检验模型的假设检验模型的假设 3 3模型的输出数据与实践数据的比较模型的输出数据与实践数据的比较Page 25第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 灵敏度分析方法灵敏度分析方法 1 1建立模型输入建立模型输入/ /输出关系的回归模型输出关系的回归模型 2 2选择选择“最优回归模型最优回归模型 3 3检验回归模型的有效性检验回归模

31、型的有效性 4 4输入输入/ /输出变量影响曲线输出变量影响曲线 5 5灵敏度分析灵敏度分析 Page 26第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 模型校验文本化方法模型校验文本化方法 模型校验文本简称模型文本是根据一定的规范对模型、程序及模型校验文本简称模型文本是根据一定的规范对模型、程序及VV&AVV&A需求的文字描画。建立模型文本规范、编写模型文本及根据模型文本需求的文字描画。建立模型文本规范、编写模型文本及根据模型文本对建模过程进展控制的过程，称为模型文本化。对建模过程进展控制的过

32、程，称为模型文本化。 模型文本普通应提供一下信息：模型文本普通应提供一下信息： 模型的有关信息模型的有关信息 计算机程序的有关信息计算机程序的有关信息 模型确认的有关信息模型确认的有关信息 模型验证的有关信息模型验证的有关信息Page 27第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 VV&AVV&A方法方法 模型可信性与建模费用之间的矛盾与平衡；这表达在前述部分原那么模型可信性与建模费用之间的矛盾与平衡；这表达在前述部分原那么上：相对正确原那么、有限目的原那么、必要不充分原那么、程度性原那上：

33、相对正确原那么、有限目的原那么、必要不充分原那么、程度性原那么，也表达在对详细方法的选择上。么，也表达在对详细方法的选择上。模型可信性与建模费用之间的矛盾与平衡模型可信性/%模型的价值费用价值曲线费用曲线0100Page 28第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 灵敏度分析方法灵敏度分析方法 从真实世界到仿真世界的校验与确认Page 29第四章第四章 仿真结果分析与模型校验仿真结果分析与模型校验 4.5 4.5 仿真模型确实认、校验和认定仿真模型确实认、校验和认定 灵敏度分析方法灵敏度分析方法 运用于贯

34、穿整个建模与仿真过程的运用于贯穿整个建模与仿真过程的V&VV&V技术可粗略分为四大类：非正规技术可粗略分为四大类：非正规方法、正规方法、静态方法、动态方法。方法、正规方法、静态方法、动态方法。 1 1“非正式方法在非正式方法在VV&AVV&A中最常用，中最常用， 是正规的指点下的非常有效的方是正规的指点下的非常有效的方法，但它的缺陷是严重依赖于人的推理与客观判别。法，但它的缺陷是严重依赖于人的推理与客观判别。 2 2“正规方法是基于正确性的正式的数学证明。正规方法是基于正确性的正式的数学证明。 3 3“静态方法评价静态模型设计和源代码，不需求模型的机器执行，静态方法评价静态模型设计和源代码，不需求模型的机器执行，需求手工执行。需求手工执行。 4 4“动态方法需求模型执行，动态方法需求模型执行， 大多数动态