二元判决图应用中函数组合方法的改进

留言板

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

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

二元判决图应用中函数组合方法的改进

章小兵, 陈光

文章导航 > 电子科技大学学报 > 1997 > 26(1): 55-58

章小兵, 陈光. 二元判决图应用中函数组合方法的改进[J]. 电子科技大学学报, 1997, 26(1): 55-58.

引用本文:

章小兵, 陈光. 二元判决图应用中函数组合方法的改进[J]. 电子科技大学学报, 1997, 26(1): 55-58.

Zhang Xiaobing, Chen Guangju. Improvement on Composition Methods in Binary Decision Diagrams Based Applications[J]. Journal of University of Electronic Science and Technology of China, 1997, 26(1): 55-58.

Citation:

Zhang Xiaobing, Chen Guangju. Improvement on Composition Methods in Binary Decision Diagrams Based Applications[J]. Journal of University of Electronic Science and Technology of China, 1997, 26(1): 55-58.

二元判决图应用中函数组合方法的改进

章小兵,
陈光

1.
电子科技大学CAT研究室成都 610054

基金项目:

国家"八五"重点科研项目

作者简介:
章小兵男 26岁博士生

中图分类号: TP301

Improvement on Composition Methods in Binary Decision Diagrams Based Applications

1.
CAT Research Lab.,UEST of China Chengdu 610054

摘要: 文中确定了Bryant的基于图的函数组合方法[1]的时间复杂度为O(|G1|2·|G2|),并提出了基于改进ITE算符的函数组合方法。该方法省去了对结果二元判决图的约简步骤,保持了二元判决图的强正则性,提高了效率。
- 二元判决图 /
- 函数组合 /
- 时间复杂度 /
- 优化
Abstract: Function composition is a basic logical operation in most CAD applications,and is adopted as an improvement to a binary decisions diagram (BDD) based application.This paper determines the time complexity of the graph-based composition algorithm proposed by Bryant to O(|G1|2|G2|),then improves the composition algorithm based on the efficient ITE operator.The new algorithm omits the reducing step for result BDD,keeps the BDD representation as a strong canonical form and therefore improves the composition effciency.
- binary decision diagram /
- compose /
- time complexity /
- optimization

[1]	张强, 李盼池, 王梅. 基于自适应进化策略的人工蜂群优化算法 . 电子科技大学学报, 2019, 48(4): 560-566. doi: 10.3969/j.issn.1001-0548.2019.04.013
[2]	汪文勇, 刘川, 赵强, 沈晓明, 丘晓彤. 直接验证的封装式特征选择方法 . 电子科技大学学报, 2016, 45(4): 607-615. doi: 10.3969/j.issn.1001-0548.2016.04.013
[3]	唐东明, 卢显良. 用于网络编码优化的改进量子进化算法 . 电子科技大学学报, 2015, 44(2): 215-220. doi: 10.3969/j.issn.1001-0548.2015.02.010
[4]	覃琴, 曾志民, 张天魁, 张从青. 动态多中继协同节点选择算法 . 电子科技大学学报, 2011, 40(4): 505-508. doi: 10.3969/j.issn.1001-0548.2011.04.005
[5]	董晓丽, 胡予濮, 陈杰. 不可能差分攻击AES中的新密钥筛选算法 . 电子科技大学学报, 2011, 40(3): 396-400. doi: 10.3969/j.issn.1001-0548.2011.03.014
[6]	李星毅, 李奎, 施化吉, 周双全. 背景值优化的GM(1,1)预测模型及应用 . 电子科技大学学报, 2011, 40(6): 911-914. doi: 10.3969/j.issn.1001-0548.2011.06.020
[7]	任立勇, 雷明, 张磊. P2P应用层数据流量优化 . 电子科技大学学报, 2011, 40(1): 111-115. doi: 10.3969/j.issn.1001-0548.2011.01.021
[8]	陈其松, 陈孝威, 张欣, 吴茂念. 优化SVM在锅炉负荷预测中的应用 . 电子科技大学学报, 2010, 39(2): 316-320. doi: 10.3969/j.issn.1001-0548.2010.02.035
[9]	黄建国, 罗航, 王厚军, 龙兵. 运用GA-BP神经网络研究时间序列的预测 . 电子科技大学学报, 2009, 38(5): 687-692. doi: 10.3969/j.issn.1001-0548.2009.05.028
[10]	殷时蓉, 陈光, 谢永乐. 应用Elman网络优化非线性模拟电路测试激励 . 电子科技大学学报, 2008, 37(4): 574-577.
[11]	王志红, 杜平安, 郭志龙, 梁山虎. 基于遗传算法与动态规划法的工艺过程优化 . 电子科技大学学报, 2007, 36(1): 146-149.
[12]	沈艳, 郭兵, 古天祥. 粒子群优化算法及其与遗传算法的比较 . 电子科技大学学报, 2005, 34(5): 696-699.
[13]	秦东兴, 骆德渊, 卢凉, 董伟. 原料混匀料车间的设计优化与仿真 . 电子科技大学学报, 2005, 34(4): 548-551.
[14]	胡新帮, 汤志伟. 基于极值索引的数据排序算法 . 电子科技大学学报, 2003, 32(6): 696-700.
[15]	韩轶, 唐小我. 一种新的多指标综合评价方法的优化选择思路 . 电子科技大学学报, 1999, 28(3): 316-319.
[16]	李翔宇, 陈光. 二元判决图的实现及改进方法 . 电子科技大学学报, 1999, 28(5): 516-519.
[17]	李翔宇, 陈光. 二元判决图变量排序新方法 . 电子科技大学学报, 1999, 28(2): 152-156.
[18]	吕韶义, 刘智敏, 刘复岩. 多目标优化生产作业调度计划系统开发 . 电子科技大学学报, 1998, 27(3): 316-320.
[19]	胡涛, 王守绪, 杨邦朝. 用单纯形优化法研究铝箔腐蚀工艺 . 电子科技大学学报, 1998, 27(4): 449-452.
[20]	章小兵, 王勇, 陈光. 基于自由二元判决图转换的可测性优化方法 . 电子科技大学学报, 1997, 26(2): 171-174.

WeChat

点击查看大图

计量

文章访问数: 3278
HTML全文浏览量: 90
PDF下载量: 53
被引次数: 0

二元判决图应用中函数组合方法的改进

章小兵,
陈光

1. 电子科技大学CAT研究室成都 610054

基金项目:

国家"八五"重点科研项目

作者简介:
章小兵男 26岁博士生

收稿日期: 1996-05-15
修回日期: 1996-06-17
刊出日期: 1997-02-15

中图分类号: TP301

关键词:

摘要: 文中确定了Bryant的基于图的函数组合方法[1]的时间复杂度为O(|G1|2·|G2|),并提出了基于改进ITE算符的函数组合方法。该方法省去了对结果二元判决图的约简步骤,保持了二元判决图的强正则性,提高了效率。

English Abstract

章小兵, 陈光. 二元判决图应用中函数组合方法的改进[J]. 电子科技大学学报, 1997, 26(1): 55-58.

引用本文:

章小兵, 陈光. 二元判决图应用中函数组合方法的改进[J]. 电子科技大学学报, 1997, 26(1): 55-58.

Zhang Xiaobing, Chen Guangju. Improvement on Composition Methods in Binary Decision Diagrams Based Applications[J]. Journal of University of Electronic Science and Technology of China, 1997, 26(1): 55-58.

Citation:

Zhang Xiaobing, Chen Guangju. Improvement on Composition Methods in Binary Decision Diagrams Based Applications[J]. Journal of University of Electronic Science and Technology of China, 1997, 26(1): 55-58.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发