离散时间和连续时间模型的仿真.ppt

6.4.3 模型描述语句序列分析 1.模型描述语句校验 设定模型描述语句序列为S1，S2，… ，Sn，可以按照一下步骤对模型描述语句进行校验。 1）检查是否存在有两个不同的子模型来产生同一个变量，也就是检查是否存在任一变量在两个不同的模型描述语句的左边出现。如果存在，必定其中有一个模型描述是无效描述，必须将它舍弃。 * SUN INTGRL X Z YRT Y IY Y=SUN(X，Z) Y=INTGRL（IY;YRT） 2）从模型描述语句序列中，删除所以的记忆函数型语句和时间输入函数型语句，这样就剩下瞬时函数语句。 3）检查瞬时函数是否存在循环关系。 ①变量的领先关系： 对于Y1, Y2, ?, Ym = Instant. Func (X1,X2,? Xn) 若U是Xi中的一个变量，V是Yj中的一个变量，则U领先于V。 若U领先V，在计算t时刻的V值之前，必须要知道时间t的U值。 * ②领先关系的闭包传递： 若有一变量序列Wo, ?, Wn, Wo = U, Wn = V, 各个Wi领先Wi+1, 则U领先*V， U领先*V表示在网络图中存在一个沿箭头从U到V的路径。 例：U = Prod (Y1, Y2) Y1P=PSum (X1, U) Y2P=Sum (X2,U)