本帖最后由 iesim 于 2009-8-7 11:54 编辑
8 A1 H8 b. l- @+ E# y: H- X
/ z) P4 T; i& I; g+ s3 v; g不好意思，最近没来论坛。这是我对这个问题的理解。
. h7 j5 S% D5 P5 k( l
( y( ]' D2 X, {4 P对于零时刻事件和同时刻事件，实话实说，我对这两个概念也没有仔细分析过。如果有更权威的解释，我愿意更正自己的理解。, k" N" {, v9 x9 P& y9 w7 U+ u+ ~+ n
- w1 j6 ]- B* q$ Z我的理解是，这两个的共性都是发生在用一个时刻的事件。但同时刻事件，在该时刻发生之前，事件次序已经有了一个规定（虽然在同一时刻发生），处理这些事件本身不会带来该时刻其他事件次序的改变。而零时刻事件则是那些处理起来有可能改变当前时刻事件发生列表次序的事件。
% D( U5 _) q; A6 I. h3 ]8 @ a- n/ a6 i' M. X7 o7 q
比如说我们目前的模型，我们争论的焦点，在还剩下7个资源时候，有两个大的事件，一个是让小球获取资源离开，另一个是资源减少而关闭Gate。 按照原来的模型结构，会使我们面临一个两难的境地，因为 Gate 嵌套在让小球获取资源离开的通路上。这时候的逻辑就很矛盾，如果让小球离开 Queue （Resource Pool)，那么由于 Resource Pool 减少会触发 Equation 从而触发 Gate 的 DemandIn 端口而使得门关闭 （顺便说一句，Gate 因为受控于 DemandIn 这个数值，所以，可以随时关闭）。如果不让小球离开 Queue （Resource Pool），Gate 又形成一个通路。这时候的 Gate 的角色会随着小球在 Queue, Resource Pool 中的状态而改变，而且是 反作用力，形成矛盾。
* G/ R7 b6 ` W6 B1 _4 T
$ p& J, @$ U& @5 e这时候的情形打个比喻，像是一个人离开家到杂货店买东西，只要这个人不出门，小店就永远开着；只要这个人一离开家，小店就关门一样。
7 Z v- F7 D9 y2 Y" L1 @' Y/ D% @& H6 f9 p! `2 z7 `' C
好像这个情形很难为仿真软件，每个仿真软件虽然都有自己的处理机制，但我们建立模型的时候，希望尽可能避免这种情况。 0 j: }+ T" c) a- e% b
7 _+ |; e4 \ U* X2 a- M5 X
林伟用了stop message 这个方法很好，为什么这个方法可以解决问题？ 是因为我们stop message 模块切断了让 Gate 即刻随着Resource Pool 状态改变的途径，按照刚才的比喻，这个人离开家门后，离开家的这个消息不会马上传给杂货店，杂货店也就不会关门。但如何保证 Gate 还会更新状态呢，因为在 Gate 模块当中有一个选项，就是每个小球通过 Gate 后，Gate 需要重新刷新状态，读取 DemandIn 的数值，这时候，Gate 就可以知道 Resource Pool 已经只剩下6个资源了，门这时候才关闭。: A% C N5 R3 l; W" S0 q2 ]5 d" A
* S3 F8 ^% u) Xstop message 方法的采用需要比较高级的ExtendSim 建模技巧。2 y) y! G, l) c# a _8 W6 I6 \& z
+ k$ n3 l/ m0 m o* G我采用的方法比较适合初学人员。把刚才提到的两个矛盾逻辑拆分开。把Gate 放在 Resource Pool 的前面，按照刚才的比喻，就是说，杂货店告诉买东西的这个人，我们小店是开着的，你来吧；或者说，我们小店已经关门了，不要过来。把这个信息提前控制这个人是否应该离开家。
2 g8 Z& X9 T* Z! J" M3 ~0 A0 R; X4 m- X+ h0 T$ S# U0 z+ U
这个问题虽然很简单，但可以引出很多很深的仿真逻辑控制问题。 |
发表于 2009-8-5 15:38:39
