witness中的动态数组怎么用？

simulator

在进行供应链仿真过程中，我需要记录每次采购的量，这时我需要使用数组来进行记录；
: Y& k' ?$ E4 A. g8 B0 {* q
' `" M, `' D4 {1 E$ w8 T- ~但是因为在仿真之前我不知道最终需要采购多少次，所以无法确定数组的长度，也就无法定义数组了。

不过我看witness中有动态数组，好像可以实现这个功能，但是不知道怎么用。希望大侠针对下面的问题帮忙提点建议：


现在使用虚设的场景，假设某个供应商两次采购的间隔时间服从uniform（10，20），每次采购批量为iuniform（100，300）；
5 k: L5 r: Z8 b1 x! N3 x
我仿真运行10000个时间单位，需要最终统计采购了多少次？采购的平均值是多少？采购的总量是多少？

再次先行谢过！！！

simulator

去看看！先谢谢。