文档介绍：真实性检验
证实所建立的模型的合理性和有效性,有好多方法。而Vensim所提供的真实性检验(Reality Check)是一种非常有效的方法和工具。它也是Vensim的一个主要特征。
真实性检验的概念
模型是对于现实存在的系统的简化和抽象。我们可以由建立的模型方便的得到系统的行为模式。但如何确定这些行为模式正确性?常用的一种方法是对照现实的情况,仔细分析运行得到的各个变量时间序列数据及其相互关系。在系统复杂、变量多情况下,这是很困难的。一种简单有效的方法是首先确定模型的正确性。如果模型不违反基本的常识和规则,模型本身的合理性得到了检验,则系统的行为模式的真实性就有了保证。真实性检验由这一思想出发,提供了一种简便和有效的方法和工具。
根据要研究的系统的基本情况,我们一般可以提出模型应该遵守的一些基本假定。这些基本假定是保证模型正确的必要条件,构成了对于模型正确性的一系列约束。真实性检验就是在模型建立后,通过标准的约束描述语言,具体地描述这些约束,并通过运行模型,自动的检验系统的行为模式是否违反这些约束。若违反,说明模型尚不完善,则要调整模型的结构和参数,直到符合这些约束条件。真实性检验的描述部分完全独立于模型本身,不会改变模型结构和行为模式。
模型真实性检验的定义

检验语句是对于假设的描述,是由实际系统出发对于模型的行为模式的断言。它一般包含的变量是“判断句”。有别于一般的变量用名词命名,它一般用表示判断的短语命名。例如:no worker no production, rain means flooding。
2. 输入测试变量(Test Input)
用来代替一个等式。它只能用作约束的前提条件,可以使约束变得简单易读。在约束表达式中,在其条件部分出现以一个逻辑变量形式出现。其定义形式为:
name :TEST INPUT: variable = expression
其中,name表示变量名,:TEST INPUT: 是变量类型标识,而后面等式是定义的对象。等式右边可以是允许的任意表达式。等式左右边的构成变量均来自模型。
例如:best condition :TEST INPUT: temperature = 3*initial temperature
3. 时间演进函数(Time Transition)
该函数的自变量是时间,而函数值是随时间变化的变量值。其一般表达式为:
variable = TIME TRANSITION (X,…,Y ,….)
其中X是时间,而函数值variable按一定的对应规则取相应的Y。在Y的列举中,可以有“-”,表示保持模型的值,而“*”表示采用模型的计算值。实际上,Y是我们对于模型行为模式随时间变化的一种假定的表示。
主要形式有以下几例:
profit = TIME TRANSITION (0,30,80,100,20,50,50,15)
表示profit随时间变化的折线图。时间由0、30、80到100,profit由20斜线上升到50,保持50不变,然后斜线下降到15。
profit = TIME TRANSITION (30,80,100,-,50,*)
表示profit在时间30以前采用模型正常值A;在时间区间30