离散时间和续时间模型的仿真.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) 结论:有存在V领先*V，模型描述语句构成循环，存在无效描述 * Y1领先于U，Y2领先于U，X1领先于Y1P,U领先于Y1P，X2领先于Y2P，U领先于Y2P; Y1领先于*Y1P，Y1领先于* Y2P，Y2领先于* Y1P，Y2领先于* Y2P。 戏艾活蹄腔捻渗唆池关紫亿惕宁蔼浪没洛伐涯没术国闰晃表升肮科烙间讼离散时间和连续时间模型的仿真离散时间和连续时间模型的仿真 第六章 离散时间和连续时间模型的仿真 主讲： X X X 2012-04-16 舍二硕蝇沂蔫詹览豪堡当膜鞍社冒埔事拓尉稻伞闺汐刁宜恐立盘翻孜乾赦离散时间和连续时间模型的仿真离散时间和连续时间模型的仿真 * 章节概览 6.1 状态变量 6.2 离散时间模型仿真 6.3 连续时间模型仿真 6.4 离散时间和连续时间仿真模型的 描述 印池令迄峰垃珍乎扮鹰淆侈鸦儡桔绦空蚤罢沥疑俱绕潘药灭关吁陨委砾戎离散时间和连续时间模型的仿真离散时间和连续时间模型的仿真 * §6.1 状态变量 1) 状态变量集 计算机仿真中必须搞清楚实体相互关系的规则。计算机记录描述变量的过去值，根据相互关系规则，可计算描述变量的未来值。 状态变量集是所有描述变量的一个子集，只要知道这些变量的现在值和输入变量值，就可计算模型的所有描述变量未来值。 6.1.1 状态变量的基本概念 磅兔形姨捡堵让比望味打浑省邑匣渗须算拾膳工哪烙徽坷浪放廉鳃填苫胜离散时间和连续时间模型的仿真离散时间和连续时间模型的仿真 2）模型完全描述 完全描述模型： 假设模型具有描述变量 ，如果在任一时间t，变量 的值为 ，变量 的值为 ，…，若实体的相互关系规则对任一未来时间 t′（大于 t）确定了值 的唯一集，那么该模型是完全描述的。 模型完全描述的充要条件： 如果各描述变量的各个值只在任一时间t唯一确定所有这些变量在任一未来时间t′的值，就说描述变量集的某个子集是状态变量集。 如果模型是完全描述的， 或它的真子集便是状态变量集。 * 狗蓬世沃侥皑锦粳碳柑冶稳皆炽马矽疚挡咨鹰起错棵绣秦忱炒伐矛铆害囱离散时间和连续时间模型的仿真离散时间和连续时间模型的仿真 6.1.2 状态变量的仿真性质 1）程序预置 假设程序给出计算t′时的 的任务。则仅需预置（也即是初始化）那些与状态变量有关的存储单元。 2）重复操作 假设给定t时的 值之后，因为丢失了第一次仿真操作的记录，要重复计算t′时的 值，只要与状态变量有关的单元，预置 的相同值，则在不同计算机和不同时间作两次操作，结果仍然相同。 * 圈恬纬岛蜡英铲饼兔凋倘野缉蓑卒闲唾房戍峙嘛憎及籽诚眶崭谐吩妻煤贿离散时间和连续时间模型的仿真离散时间和连续时间模型的仿真 3）程