资源描述：
《realitycheck-真实性检验》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、实用标准文案真实性检验证实所建立的模型的合理性和有效性，有好多方法。而Vensim所提供的真实性检验(RealityCheck)是一种非常有效的方法和工具。它也是Vensim的一个主要特征。真实性检验的概念模型是对于现实存在的系统的简化和抽象。我们可以由建立的模型方便的得到系统的行为模式。但如何确定这些行为模式正确性？常用的一种方法是对照现实的情况，仔细分析运行得到的各个变量时间序列数据及其相互关系。在系统复杂、变量多情况下，这是很困难的。一种简单有效的方法是首先确定模型的正确性。如果模型不违反基本的常识和规则，模型本身的合理性得到了
2、检验，则系统的行为模式的真实性就有了保证。真实性检验由这一思想出发，提供了一种简便和有效的方法和工具。根据要研究的系统的基本情况，我们一般可以提出模型应该遵守的一些基本假定。这些基本假定是保证模型正确的必要条件，构成了对于模型正确性的一系列约束。真实性检验就是在模型建立后，通过标准的约束描述语言，具体地描述这些约束，并通过运行模型，自动的检验系统的行为模式是否违反这些约束。若违反，说明模型尚不完善，则要调整模型的结构和参数，直到符合这些约束条件。真实性检验的描述部分完全独立于模型本身，不会改变模型结构和行为模式。模型真实性检验的定义1
3、.变量的命名检验语句是对于假设的描述，是由实际系统出发对于模型的行为模式的断言。它一般包含的变量是“判断句”。有别于一般的变量用名词命名，它一般用表示判断的短语命名。例如：noworkernoproduction,rainmeansflooding。2.输入测试变量(TestInput)用来代替一个等式。它只能用作约束的前提条件，可以使约束变得简单易读。在约束表达式中，在其条件部分出现以一个逻辑变量形式出现。其定义形式为：name:TESTINPUT:variable=expression其中，name表示变量名，:TESTINPUT
4、:是变量类型标识，而后面等式是定义的对象。等式右边可以是允许的任意表达式。等式左右边的构成变量均来自模型。例如：bestcondition:TESTINPUT:temperature=3*initialtemperature3.时间演进函数(TimeTransition)该函数的自变量是时间，而函数值是随时间变化的变量值。其一般表达式为：variable=TIMETRANSITION(X，…，Y，….)其中X是时间，而函数值variable按一定的对应规则取相应的Y。在Y的列举中，可以有“-”，表示保持模型的值，而“*”表示采用模型的
5、计算值。实际上，Y是我们对于模型行为模式随时间变化的一种假定的表示。主要形式有以下几例：profit=TIMETRANSITION(0,30,80,100,20,50,50,15)表示profit随时间变化的折线图。时间由0、30、80到100，profit由20斜线上升到50，保持50不变，然后斜线下降到15。profit=TIMETRANSITION(30,80,100,-,50,*)表示profit在时间30以前采用模型正常值A；在时间区间30-80，profit采用以(30,A)为起点，以(80,50)为终点直线上的值；在时间
6、区间80-100，将采用模型的计算值。profit=TIMETRANSITION(30,80,100,*,50,*)精彩文档实用标准文案表示在时间区间30-80，profit采用模型的计算值，在时间为80时值为50。其余与上相同。通过一个变量的时间演进函数与一个表达式的积，可以构造另一个变量的时间演进函数。其一般表达式为：variable=TIMETRANSITION(X,…,Y,…)*expression例如：bigworkforce:TESTINPUT:Workforce=TIMETRANSITION(35,50,*,1)*MAX
7、WORKFORCE又如：goodprofit:TESTINPUT:profit=TIMETRANSITION(0,30,80,100,1,0.7,0.8,0.9)*(revenue-cost)注意，“-”和“*”的使用有以下限制：·时间值必须是递增的。·“-”不能在数字和另一个“-”后面出现。它只能在第一个Y的位置出现，但“*”可以在其后面出现。·若一个数值后面有“*”，则“*”后不能再跟随其它的数值，但可以再跟随一个“*”。5.约束的结构一般的结构是：name(名字):THECONDITION:condition(条件):IMPLI
8、ES:consequence(结果)其中“:THECONDITION:”和“:IMPLIES:”是约束语句的关键词。而condition是约束语句的条件表达式部分，consequence是结果表达式部分，它们都是逻辑表达
