论文部分内容阅读
描述了可满足性的测试向量生成（ＳＡＴ－ＡＴＰＧ）算法，针对此算法的不足提出反向路径敏化算法（ＢＰＳ）嵌入ＳＡＴ－ＡＴＰＧ中，减少了ＣＮＦ的构成时间和搜索空间，而且减轻故障压缩的工作量，又不损失最终测试集的精简。
改进可满足性的测试向量生成算法
【摘 要】
：
描述了可满足性的测试向量生成（ＳＡＴ－ＡＴＰＧ）算法，针对此算法的不足提出反向路径敏化算法（ＢＰＳ）嵌入ＳＡＴ－ＡＴＰＧ中，减少了ＣＮＦ的构成时间和搜索空间，而且减轻故障压缩的工作量，又不损失最终测试集的精简。
【机 构】
：
四川大学电力工程系,电子科技大学CAT室
【出 处】
：
四川大学学报(工程科学版)
【发表日期】
：
2000年3期
其他文献
本文以中国上市公司为样本考察企业区域多元化对创新绩效的影响。研究发现,区域多元化与企业创新绩效呈正相关关系,且这一关系随扩张地的不同特征而发生变化。以实证研究结果
本文在获得ＰＶＣ／ＣＰＥ共混物具有高冲击强度配方基础上，着重研究了模压工艺条件和着色剂对该共混材料力学性能、热性能和电绝缘性能的影响。结果表明：工艺条件的改变，对材料的性能均有着不
提出了利用混合方法进行多变元非线性方程组实根求解的算法. 该方法与符号计算方法相比,最大优点是不需要将非线性方程组三角化,并且可以求出指定区间内达到任意精度的全部实
大学教师的职业忠诚是指大学教师对其职业所表现出来的忠实、敬畏态度与积极进取行为。大学组织文化建设不够完善、大学评估激励制度不够健全、大学教师心理契约的不平衡以及
班级导师制是指为高等学校不同专业的学生每个班级都配备一名班级导师，大学生更需要班级导师这种师长似的人物成为他们生活中的引路人。文章分析了我国高校班级导师可以由基本
随着人们生活水平的提高，饮食结构的改变，脂肪肝患病率有逐年增加的趋势。由于超声诊断仪的全面普及应用，脂肪肝的B超检出率也明显增多。为探讨脂肪肝的B超诊断结果与血脂水平和
1 病历摘要 患者女性，16岁，学生。因反复头痛、呕吐两月余，步态不稳1周于2001年4月6日入院。体检：神志清，对答切题，瞳孔等大，对光反射灵敏，颈软，指鼻试验阳性，闭目难立，蹒跚步态。实验