论文部分内容阅读
如何高效地解决数字电路测试生成问题是VLSI领域中的核心。通过对蚁群算法在不同类型的组合优化和搜索问题上的应用研究,基于组合电路测试的路径敏化方法,借助SAT确定性算法工具,提出了一个新的蚁群算法模型来解决组合电路测试生成问题,并通过实验验证其可行性。
蚁群优化在组合电路测试生成中的应用
【摘 要】
：
如何高效地解决数字电路测试生成问题是VLSI领域中的核心。通过对蚁群算法在不同类型的组合优化和搜索问题上的应用研究,基于组合电路测试的路径敏化方法,借助SAT确定性算法
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年2期
其他文献
提出Vague集之间的一个新相似度量公式，实例表明该公式的分辨力是较强的。农业领域的应用实例进一步表明此方法是实用的。
1 光子数问题 相关链接 知识链接——功和功率、光子说、波速公式、圆面积和球面积；能力链接——阅读理解能力、空问思维想象能力．
【正】 1997年9月25日,64岁的政治局委员潘文凯在越南第十届国会中当选为政府总理。在外国投资者和本国人民眼里,潘文凯被视为"精明能干的专家治国论者和沉默寡言的改革斗士
【正】 进入1998年,在亚洲,没有一个国家象印尼这样引起世界性瞩目。在席卷东亚,波及全球的金融危机中,没有一个国家像印尼这样损失惨重。印尼货币盾的币值在1998年3月初较半
随着存储系统的快速发展,需要对不同存储系统的性能进行评测,以I/O日志为基础在实际应用环境中测试存储系统性能,更为客观和准确。提出了一种分布式环境下日志回放系统,通过
【正】 1997年6月,国际货币基金组织总裁康德苏发出警告,下一次世界经济危机很可能从银行危机开始,这一推断并非毫无根据和耸人听闻。据国际货币基金组织统计,自1990年以来,
以指挥决策支持系统为背景,构建一个专门针对该系统设计的ETL组件,由此提出专用ETL组件的＂ETL＋元知识库＋交互式环境＂的构建模式。该组件采用基于CWM建模的方式来优化对ETL元数据
给出了一个移动平台下的卡通人脸动画系统,其输入是一张二维真实人脸照片和一段文本,输出为具有娱乐效果的手机卡通人脸动画。首先,根据输入的照片生成人物的卡通肖像,采用了基于特征发现的卡通人脸肖像生成方法。其次,在卡通肖像的基础上结合文本驱动产生卡通人脸动画。最后,将系统移植到移动平台,在手机上播放卡通人脸动画,该系统在局域网和PDA上具有很好的娱乐动画效果。
1 常见仪器的用途和使用方法例1 图1和图2是分别表示量筒和滴定管的局部示意图。（1）图1表示10mL量筒的液面的位置，A和B，B和C刻度间均相差1mL，如果刻度A为4，量筒中液体的体积是____