题目5：机器抽检功能的实现

focuscon

一台机器具备检查功能，假如我要实现这样一种抽检功能该如何设计？
1.正常生产情况下每生产10个产品会自动抽检一次，假设正常生产时处理时间是20秒，抽检时需要50秒
$ ]: M4 F( U9 F/ `# y% |2.开始生产的第一个产品必须检查
3.如果该机器中途发生当机，恢复后的第一个产品自动检查以防止产生更多的不良品.
1 ]% ?/ Y5 o( C7 o1 ]3 o* A6 R
. I) v$ r6 N8 F3 p补充：
1.如果中途停止，等机器恢复后再生产。
+ @  S/ d0 a8 ~6 a" j1 Y. d2.当机恢复后只检查第一个，后续还是每10个检查一次。
0 v9 ^: c' x, |3 ?" w7 p3.所谓50秒的处理时间其实是20秒的加工时间+30秒的检查时间。
8 ?0 }) G/ E  e7 s% X& t如果在生产时当掉了，那么机器恢复生产后必须继续完成当机前剩余的加工时间（其实这时候处理时间会变的更长，避免过于复杂我们就忽略了吧），并且做完此产品后会对它做检查（即对20秒的产品来说，剩余处理时间就是 20-X+50-20（即余下的加工时间+30秒的检查时间）， 对于50秒的产品也一样还是 20-X+50-20，但是如果在检查时当了，那么不管已经检查到哪一步，恢复后必须检查30秒 ），好像挺复杂的。
% |3 Z6 x$ Z4 O
大家讨论，如何实现这样的功能。
# w/ w) L: T" w, b  t! n: k6 A7 g. F
  g/ T: i8 r8 U8 u0 S. v[ 本帖最后由 focuscon 于 2009-2-18 06:12 编辑 ]

iesim

有没有可能发生当机的时候，机器上还有产品在生产。那么这个产品是继续生产完，还是被中途停止等机器恢复后再生产？

focuscon

哦，忘记说了，中途停止等机器恢复后再生产。

iesim

那么这个是需要检查的，对吧，那么下一个呢，也需要检查吗？

focuscon

当机恢复后只检查一个，然后又是每10个检查一次。

iesim

这是个非常有趣的问题，可以充分体现ExtendSim 的灵活性。我把模型放在附件中。

focuscon

哈哈 这么快！ 谢谢，这两天我翻来覆去也不知该如何下手  

iesim

原帖由 focuscon 于 2009-2-17 17:42 发表
哈哈 这么快！ 谢谢，这两天我翻来覆去也不知该如何下手  

' d6 D4 N; P; {5 _. R/ c3 f2 `
有问题就提出来，这里会有很多人都可以贡献想法的。

focuscon

这个模型灵活实现了第一个和第十个的送检处理。
! s9 Z( Q2 E& e' C' o可能是我没有表述清楚，我的意思检查工作也要本机器来做，就是Activity的处理时间在检查的时候就从20s变成50s. 谢谢！！

iesim

原帖由 focuscon 于 2009-2-17 17:53 发表
* X' {2 i& N# i4 a2 c2 I2 s" o这个模型灵活实现了第一个和第十个的送检处理。
7 f7 T/ {" j& l" V9 L" D可能是我没有表述清楚，我的意思检查工作也要本机器来做，就是Activity的处理时间在检查的时候就从20s变成50s. 谢谢！！ ...

7 n; j# t7 K4 n哦，这样的，我考虑一下，现在有事要跑开一段时间，稍晚再答复你。

iesim

这个想法很好，但可能会有些问题。一个最大的问题就是如果一个物件已经在机器上，处理时间为20，但在处理过程中（假设已经处理10 秒），机器当掉了，那么当机器恢复时，这个物件应该再处理20-10+50-20=40 秒。
# \- E+ m& r! w6 E6 C4 L
- s. b# k* J9 p: v9 ~9 W% c/ TFocuson， 是这样吗？ 我的描述是你希望看到的吗？ 因为，这里面的逻辑开始慢慢复杂了。
/ ?. u: g0 r/ j& k! J3 h8 G0 m5 d. v
同时，如果一个正常抽检的物价正在进行50秒处理时，假设处理20秒的时候，机器当掉了，那么，剩余时间怎么计算？ 还需要再抽检吗？ 是 50-20=30 秒，还是 50-20+50-20=60秒呢？

iesim

我想等 Focuson 把问题再澄清一下。

focuscon

刚刚下班就跑来看，错过这么精彩的讨论实在可惜！
没想到王博考虑的这么全面，真是由衷的佩服！
3 b2 Q; t- T: `5 C: e" `我把情况再澄清一下：
# P4 U+ ~6 a  U: S9 |所谓50秒的处理时间其实是20秒的加工时间+30秒的检查时间。
& L8 k5 t) i* v& t( k如果在生产时当掉了，那么机器恢复生产后必须继续完成当机前剩余的加工时间（其实这时候处理时间会变的更长，避免过于复杂我们就忽略了吧），并且做完此产品后会对它做检查（即对20秒的产品来说，剩余处理时间就是 20-X+50-20（即余下的加工时间+30秒的检查时间）， 对于50秒的产品也一样还是 20-X+50-20，但是如果在检查时当了，那么不管已经检查到哪一步，恢复后必须检查30秒 ），好像挺复杂的。
7 P6 c) z8 e) m. B5 `) d! s& A. l) }
$ h3 l* A5 K# m* T! V[ 本帖最后由 focuscon 于 2009-2-18 05:48 编辑 ]

focuscon

博士和linweixu168的模型又让我进步了不少，非常感谢！
我的那些问题呢都来自实际生活，本人确实见过这样的机器 ^ ^。
* N* X0 E# |: ZExtendsim实现这样的逻辑问题还真是挺强的,这更加坚定了我学习的信心！

iesim

Focuson 很清楚地回答了我的问题，问题清楚了，模型也就不困难了。
0 |4 h! @1 |+ y9 H% d; G4 d" M
linweixu168 建议的采用属性保存剩余时间的建议很好，也是很通用的一种做法，可以让类似问题都有借鉴。

# u2 ]+ t2 r; R: |+ }2 ^8 F附件是最新的模型。里面用到几个方法

; N7 \* @- ^0 d- k' J+ i* m（1）对于当机时候的零件，采用了Preempt 的方法，将零件从 activity 中出来（保存了剩余工作时间），然后提升优先级，再回到队列中
（2）在队列中，采用了Priority 属性进行排列，这样，可以确保 从 activity 中出来的零件一定是第一个被处理
! N$ n6 j- p6 T6 o, }（3）用 Equation (I) 模块把各种情况下，相应的处理时间计算出来。
4 Y) p% I- k+ V- O, C, D
供大家参考。