Witness如何将字符串转化为数组并赋值

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
* u. _% G9 z3 \2 k6 T模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

: o/ a- X3 z! z: H' z( _/ L现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
  o" U8 Z. h/ |5 n. l% ]module1.ctime=cycletime(1)
6 O: X0 q( n8 m* `7 rmodule2.ctime=cycletime(2)
...
! y( n4 k" k; H# g! Z2 E' Qmodule20.ctime=cycletime(20)
2 L% T' b& A; {5 z' z/ M7 [3 ^7 E
, ?/ s# g/ M6 y. }$ _+ }- |" F我希望用程序实现，但是试了很久都没有成功。
( @' p2 L) H, o7 Q5 N1 h" \' t$ x/ O1 w1 q
5 w0 n9 u1 O1 s7 y# M& d具体程序为：
for num=1 to 20
      module+num+.ctime=cycletime(num)
endfor

  N  C2 V/ p9 Z) b8 D- ?( c问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
1 D- l, Z' x! |9 t9 xrvarset()和evalreal()
4 a/ H) I! \* \7 s3 l
具体语句：
  k. J, ^1 w9 o1 O9 O9 [6 P: Urvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
: `/ Z! I6 m* X: h- E: N7 |+ c
/ `3 E, u6 P7 B即可。