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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
, ~' @# M5 r3 ?- @: h; k模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

* x7 i% j/ w' [7 |/ E/ ^现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
+ d5 f: @+ K* n. t) V  S* C% ymodule1.ctime=cycletime(1)
% Y- T8 h: X3 d5 x# v7 a# P+ ymodule2.ctime=cycletime(2)
" S" T4 B) j7 n7 [9 }) F...
module20.ctime=cycletime(20)
: d% b" f4 s7 O, v0 M+ N
0 [0 ?1 x1 j0 \$ S我希望用程序实现，但是试了很久都没有成功。
/ L5 e) Y, f9 L4 U: |' a) a
具体程序为：
for num=1 to 20
      module+num+.ctime=cycletime(num)
6 i- r" r4 F3 i4 O% h, o8 vendfor

4 T0 P* c4 w% ?- ~/ A问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
; T2 B  j0 f! ~: Krvarset()和evalreal()

& B2 J% V, @8 B$ R1 ^& p9 q具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
  T6 J6 c# @7 j6 g/ \
( |  q' O2 k/ n/ E% ?即可。