《表3 不同类型实例的重复序列的区间范围》
算法3中,假设xnext是即将被赋值的决策变量,dl为决策层次,decisionLevel为重启前的决策层次,trail_order[]表示重启前的变量赋值序列,trail_order[dl]表示dl决策层次的决策变量.每次重启后,检查新产生的赋值序列是否与重启前的赋值序列相同,即检查重启前的赋值序列中位于xnext之前的决策变量是否与重启后位于xnext之前的决策变量相同,而变量是按照活跃度activity从大到小选择的,因此,只需比较xnext的活跃值是否大于重启前与之相同决策层次的决策变量的活跃值,即activity[trail_order[dl]]
图表编号 | XD00102897700 严禁用于非法目的 |
---|---|
绘制时间 | 2019.10.01 |
作者 | 常文静、徐扬 |
绘制单位 | 西南交通大学信息科学与技术学院、系统可信性自动验证国家地方联合工程实验室、西南交通大学数学学院、系统可信性自动验证国家地方联合工程实验室 |
更多格式 | 高清、无水印(增值服务) |