计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2012年
5期
1214-1217
,共4页
序贯测试%测试选择%解析冗余关系(ARRs)%整数规划(IP)%分支定界法%AO*算法
序貫測試%測試選擇%解析冗餘關繫(ARRs)%整數規劃(IP)%分支定界法%AO*算法
서관측시%측시선택%해석용여관계(ARRs)%정수규화(IP)%분지정계법%AO*산법
针对经典AO*算法在求解序贯测试问题中复杂度太大的难题,提出测试选择与策略优化联合的方法；首先基于解析冗余关系(ARRs)把测试选择问题映射为一个特殊的0-1整数规划(IP)模型并用分支定界法求解之,得到最优测试；然后通过两步回溯改进的AO*算法确定最优测试顺序；在一个组合电路的应用表明算法优化了测试点数,减少了扩展节点数,降低了经典算法的复杂度.
針對經典AO*算法在求解序貫測試問題中複雜度太大的難題,提齣測試選擇與策略優化聯閤的方法；首先基于解析冗餘關繫(ARRs)把測試選擇問題映射為一箇特殊的0-1整數規劃(IP)模型併用分支定界法求解之,得到最優測試；然後通過兩步迴溯改進的AO*算法確定最優測試順序；在一箇組閤電路的應用錶明算法優化瞭測試點數,減少瞭擴展節點數,降低瞭經典算法的複雜度.
침대경전AO*산법재구해서관측시문제중복잡도태대적난제,제출측시선택여책략우화연합적방법；수선기우해석용여관계(ARRs)파측시선택문제영사위일개특수적0-1정수규화(IP)모형병용분지정계법구해지,득도최우측시；연후통과량보회소개진적AO*산법학정최우측시순서；재일개조합전로적응용표명산법우화료측시점수,감소료확전절점수,강저료경전산법적복잡도.
