Vensim真实性检验

"Vensim真实性检验" Vensim真实性检验（Reality Check）是一种非常有效的方法和工具，用于检验模型的合理性和有效性。它是Vensim的一个主要特征，通过标准的约束描述语言，具体地描述模型的正确性约束，并通过运行模型，自动检验系统的行为模式是否违反这些约束。 真实性检验的概念模型是对于现实存在的系统的简化和抽象。我们可以由建立的模型方便的得到系统的行为模式。但如何确定这些行为模式正确性？常用的一种方法是对照现实的情况，仔细分析运行得到的各个变量时间序列数据及其相互关系。在系统复杂、变量多情况下，这是很困难的。 Vensim真实性检验提供了一种简便和有效的方法和工具。根据要研究的系统的基本情况，我们一般可以提出模型应该遵守的一些基本假定。这些基本假定是保证模型正确的必要条件，构成了对于模型正确性的一系列约束。真实性检验就是在模型建立后，通过标准的约束描述语言，具体地描述这些约束，并通过运行模型，自动的检验系统的行为模式是否违反这些约束。 真实性检验的描述部分完全独立于模型本身，不会改变模型结构和行为模式。模型真实性检验的定义包括： 1. 变量的命名检验语句：是对于假设的描述，是由实际系统出发对于模型的行为模式的断言。例如：no worker no production, rain means flooding。 2. 输入测试变量（Test Input）：用来代替一个等式。它只能用作约束的前提条件，可以使约束变得简单易读。在约束表达式中，在其条件部分出现以一个逻辑变量形式出现。例如：best condition :TEST INPUT: temperature = 3*initial temperature 3. 时间演进函数（Time Transition）：该函数的自变量是时间，而函数值是随时间变化的变量值。其一般表达式为：variable = TIME TRANSITION (X，… ，Y ，….)例如：profit = TIME TRANSITION (0,30,80,100,20,50,50,15)表示 profit 随时间变化的折线图。 通过一个变量的时间演进函数与一个表达式的积，可以构造另一个变量的时间演进函数。其一般表达式为：variable = TIME TRANSITION (X,… ,Y ,…)*expression例如：big workforce :TEST INPUT: Workforce = TIME TRANSITION(35,50,*,1)* MAX WORKFORCE 5. 约束的结构：一般的结构是：name(名字) :THE CONDITION: condition(条件) :IMPLIES: consequence(结果) Vensim真实性检验提供了一种简便和有效的方法和工具，用于检验模型的合理性和有效性。它可以帮助我们确定模型的正确性，并确保模型的行为模式符合实际情况。