论文部分内容阅读
描述了基于可满足性的测试向量压缩的整数线性规划(ILP)模型,求解整数线性规划采用0-1加法算法.由ISCAS85标准电路实验结果的比较说明,这种压缩测试向量的方法非常有效.
测试向量最大压缩技术
【摘 要】
：
描述了基于可满足性的测试向量压缩的整数线性规划(ILP)模型,求解整数线性规划采用0-1加法算法.由ISCAS85标准电路实验结果的比较说明,这种压缩测试向量的方法非常有效.
【机 构】
：
四川大学,电子科技大学
【出 处】
：
四川大学学报：工程科学版
【发表日期】
：
2001年6期
其他文献
随着企业基础管理模式的深刻变革，档案作为一项资源，无疑有了重大的飞跃。传统的档案管理把精力放在员工档案、保存管理等事务性工作上，显然无法适应新时代对企业管理的新要求。
现在科学技术发展了,人类实现了植物的无土栽培,从而可以大量生产新鲜蔬菜。但在远离阳光的温室里,无土栽培总是快捷得让人来不及参与到实质的过程中就昙花一现,来也匆匆,去也匆匆,记住的只是结果。因此,更多的人们还是愿意选择土壤栽培,因为经过深挖、细翻、播种、施肥、浇水,这一过程本身就是一种生活的享受。而教研与此同理,教研既需要金秋的硕果,更需要春夏的过程之美。只有将教研“种进土壤”,教研的春天才更美丽,
在温暖的南方度过冬天后,燕子开始返回北方战乡。它们将在这里筑巢、繁殖后代。 燕子选择好合意的屋舍,并不急着进去,它们在门外“羞涩”地徘徊、试探一番之后,才壮着胆子飞
新课程改革对物理教育教学有重要的指导意义,同时在教学实践中也出现了一些不足。通过对这些问题进行思考,笔者将新课改物理教学的创新点归结为以下几点:坚持知识与方法的结
结合六重四面体变几何桁架机器人的特点，考虑刚性位移与弹性变形的耦合作用对机器人操作手末端位姿的影响，基于有限元分析方法，在运动学分析的基础上，提出了其运动学模型的线性化
由于环境保护关系到人类整体和国际社会共同利益,在外资征收的立法与实践中环境保护和外资保护应予一体化考虑,但现状却反映出外资私益优先于环境公益的倾向。从建立国际经济
要造就教师课堂教学的真功夫，就要使教学反思成为教师的职业生活方式。而“教学研训”一体化的校本研修，就是使教学反思成为教师的职业生活方式的主要途径。我们每周都有某个半
本文介绍了电力工程施工安全生产管理特点，探讨了电力施工企业安全生产管理的根本目的，阐述了电力工程项目施工安全管理的重要性，提出了加强电力工程施工安全生产管理对策。
针对社会上“幼儿英语热”的现状，提出五年制学前教育专业学生在英语课程学习中应注重幼儿英语教学技能训练与课堂教学相结合，增加社会竞争力，并根据教学实践总结了几点建议。
本文探讨了含Ｐ、Ｃｌ的阻燃剂ＴＣＥＰ对于纯绦纶织物的阻燃整理工艺，采用高温高压整理法阻燃整理织物，用垂直燃烧法、氧指数法、织物含Ｐ量、皂洗牢度测试阻燃效果，提出了最佳整理工艺，同时探讨