In order to find the test activating aggressors as many as possible,we first map the objective of test generation into a weighted Max-SATproblem,and then solve it by using SAT solver to get required patterns.

为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变。

Giving the modeling of Customer s Maximum-Satisfactionon Lease On-line, and the Algorithm of recursive method to solve the problem, putting forward the Algorithm of Customer s Maximum-Satisfactionon Lease On-line; comparing their advantages and disadvantages.

给出了在线租赁系统顾客最大满意度的数学模型,以及用回溯法求解该问题的算法,提出了求解该问题的最大满意度算法,并比较了各种算法的优缺点。