现在的关键是如何将真实性检验方程（Reality Check Equations）含有的三个变量，即final demand；always have stock和fill orders when stocked，嵌入到模型中，并进行适当的定义。在这里，只讲2种方法：

第一种

打开前述模型“nlm0402.mdl”，在原先框图的基础上，画出以上检验方程的三个变量及其之间的关系连线。如图b所示。其中final demand；always have stock和fill orders when stocked的定义关系如图c，图d和图e所示。
至此，就可以进行Reality Check了。如图f所示。

虽然现在的模型（图b）比原先的模型多了一些东西，但这些纯粹是用于真实性检验的，并不影响原先的模型本身的结构。当然，这正是以这种方法进行检验的不足之处，即表面上破坏了模型本身的外观。所以最好是将检验部分加以隐藏，才好。
这就是下面要提到的第二种方法。

有些时候，需要对所建立的模型进行真实性检验，即Reality Check。

所谓模型的真实性检验，其目的在于检验所建立的模型之合理性和有效性。它通过向模型中写入试验性的语句，以测试模型系统对这些语句的响应。

即，在模型建立后，通过标准的约束描述语言，以具体地描述这些约束，并通过运行模型，自动地检验系统的行为模式是否违反这些约束。若违反，说明模型尚不完善，则要调整模型的结构和参数，直到符合这些约束条件。

真实性检验所需要的约束描述部分，乃是独立于模型本身的：它的存在不会改变模型的结构和行为模式。

根据系统当前给你的提示，很显然，你需要首先要定义“真实性检验方程”（Reality Check Equations）。怎样定义？有许多方法。现以一个浅显的例子来加以说明。

（待续）

对于如图a所示的简单库存模型，命名为nlm0402.mdl。

其中的变量关系为：
initial inventory=100
production=30
shipments=20
inventory=INTEG(production-shipments,initial inventory)
运行时间为0-100，时间间隔为1。

现在假设想进行模型的真实性检验（Reality Check），且真实性检验方程（Reality Check Equations）含有三个变量，即final demand；always have stock和fill orders when stocked。
并且这三者本身及其与模型中的有关变量的关系为：

变量“final demand”的值为20；
变量“always have stock”用以测试“Inventory”是否等于3倍的“final demand”；
变量“fill orders when stocked”用以表示：当系统符合“always have stock”条件时，则系统满足“shipments大于等于final demand”，即系统具有“shipments大于等于final demand”这一特性

以上三个真实性检验方程以模型语言来表示，就是：

final demand = 20
always have stock :TEST INPUT: Inventory = 3* final demand
fill orders when stocked :THE CONDITION: always have stock:IMPLIES: shipments>=final demand

谢谢您的回复，我现在的一个想法是，我的仿真图结构有问题，每个变量之间都存在方程关系，没有常数控制。
这个是否是问题的本质呢？
另外，我的真实性检验，不是用的具体变量，而是对整个模型，该按钮属于顶端。

“每个变量之间都存在方程关系，没有常数控制。”这种模型也是有的。这或许不是“问题的本质”。

“我的真实性检验，不是用的具体变量，而是对整个模型，该按钮属于顶端。”究竟是哪个按钮呀？鼠标靠近该按钮时，其提示语是什么呀？