witness中的动态数组怎么用？

simulator

在进行供应链仿真过程中，我需要记录每次采购的量，这时我需要使用数组来进行记录；
0 x/ m% \; V3 M* S1 M+ l
但是因为在仿真之前我不知道最终需要采购多少次，所以无法确定数组的长度，也就无法定义数组了。
( W9 o: Q7 p- J3 X
. k9 d9 f3 H! x0 r% E& \不过我看witness中有动态数组，好像可以实现这个功能，但是不知道怎么用。希望大侠针对下面的问题帮忙提点建议：
: {6 H/ n2 ^2 s* X4 I7 y  E$ Q7 [
) {2 e4 A9 i3 A) L" M
) u9 ~4 n0 o8 j7 e' I( v  L现在使用虚设的场景，假设某个供应商两次采购的间隔时间服从uniform（10，20），每次采购批量为iuniform（100，300）；
( J4 a! E: [  W0 C1 w) m4 G' K1 ~* F6 c
# u" ]. B: L1 a4 V, J- @4 a( ~我仿真运行10000个时间单位，需要最终统计采购了多少次？采购的平均值是多少？采购的总量是多少？

再次先行谢过！！！

simulator

去看看！先谢谢。