留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

二元判决图变量排序新方法

李翔宇 陈光

李翔宇, 陈光. 二元判决图变量排序新方法[J]. 电子科技大学学报, 1999, 28(2): 152-156.
引用本文: 李翔宇, 陈光. 二元判决图变量排序新方法[J]. 电子科技大学学报, 1999, 28(2): 152-156.
Li Xiangyu, Chen Guangju. A New Method of Binary Decision Diagram Variable Ordering[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 152-156.
Citation: Li Xiangyu, Chen Guangju. A New Method of Binary Decision Diagram Variable Ordering[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 152-156.

二元判决图变量排序新方法

基金项目: 

国家科委大规模集成电路测试技术研究重点科研项目

详细信息
    作者简介:

    李翔宇 男 28岁 博士生

  • 中图分类号: TP31

A New Method of Binary Decision Diagram Variable Ordering

计量
  • 文章访问数:  3332
  • HTML全文浏览量:  106
  • PDF下载量:  51
  • 被引次数: 0
出版历程
  • 收稿日期:  1998-09-15
  • 修回日期:  1998-10-27
  • 刊出日期:  1999-04-15

二元判决图变量排序新方法

    基金项目:

    国家科委大规模集成电路测试技术研究重点科研项目

    作者简介:

    李翔宇 男 28岁 博士生

  • 中图分类号: TP31

摘要: 从遗传算法入手,利用已有的几种启发式变量排序方法的结果作为最初的染色体群体,并适当加入随机变量顺序,然后按照遗传算法的方法进行运算,经过多代循环找到近似最优解。实验结果表明,该方法比已有的启发式方法更有效,能够在全局范围内搜索最优解,对BDD的变量编序和遗传算法的运用具有参考价值。

English Abstract

李翔宇, 陈光. 二元判决图变量排序新方法[J]. 电子科技大学学报, 1999, 28(2): 152-156.
引用本文: 李翔宇, 陈光. 二元判决图变量排序新方法[J]. 电子科技大学学报, 1999, 28(2): 152-156.
Li Xiangyu, Chen Guangju. A New Method of Binary Decision Diagram Variable Ordering[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 152-156.
Citation: Li Xiangyu, Chen Guangju. A New Method of Binary Decision Diagram Variable Ordering[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 152-156.

目录

    /

    返回文章
    返回