【摘 要】
：
针对经典AO＊算法在求解序贯测试问题中复杂度太大的难题，提出测试选择与策略优化联合的方法；首先基于解析冗余关系（ARRs）把测试选择问题映射为一个特殊的0—1整数规划（IP）模型并用分
论文部分内容阅读
针对经典AO＊算法在求解序贯测试问题中复杂度太大的难题，提出测试选择与策略优化联合的方法；首先基于解析冗余关系（ARRs）把测试选择问题映射为一个特殊的0—1整数规划（IP）模型并用分支定界法求解之，得到最优测试；然后通过两步回溯改进的AO＊算法确定最优测试顺序；在一个组合电路的应用表明算法优化了测试点数，减少了扩展节点数，降低了经典算法的复杂度。
其他文献
本文认为,在资源约束下,许多跨国公司的海外投资决策并不是通过一次性的要素转移和成本的比较作出,而是由各种进入方式的期望收益比较而定,所以一味强调垄断优势论,对跨国企
提高青藏高原特色农业国际竞争力,对于其经济发展、生态保护和改善民生具有十分重要的现实意义。因此,要立足青藏高原的比较优势,大力推进农业结构战略性调整,发展具有高原特
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的了解山西省不同类型供水单位的卫生状况。方法全省统一部署监督检查方案,于2007年4至10月对山西省422户集中式供水单位和2083户二次供水单位的卫生管理、设施配备、供水
威龙葡萄酒股份有限公司（以下简称＂威龙＂）是中国A股主板上市公司（603779）,是中国大型葡萄酒生产企业之一,产销量等综合经济指标,位居国内葡萄酒行业前茅。作为中国有机葡萄酒的创导
本文尝试从传播学的视角对翻译新闻这一实践活动的传播主体、媒介、内容和受众进行分析,试图在这一研究领域中从仅仅关注新闻内容的翻译理论与方法的思路转向对翻译新闻这一
The primary intention of Wang Yangming’s theory of Book of Changes is the thinking about life and death that he was facing during his early stay in Longchang.I
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
钻孔灌注桩施工是房屋建筑工程施工中的重要内容,因此需明确钻孔灌注桩施工技术优势,并加强施工环节控制,保证科学施工,提升房屋建筑施工质量.对此,本文首先对钻孔灌注桩施工
在全球价值链背景下,甘肃省中药产业仍处于低附加值环节。根据全球价值链"经济租"理论,建立甘肃省中药产业影响因素分析模型。从内生因素和外生因素两个方面进行了分析,两者