二元判决图的实现及改进方法

留言板

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

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

二元判决图的实现及改进方法

李翔宇, 陈光

文章导航 > 电子科技大学学报 > 1999 > 28(5): 516-519

李翔宇, 陈光. 二元判决图的实现及改进方法[J]. 电子科技大学学报, 1999, 28(5): 516-519.

引用本文:

李翔宇, 陈光. 二元判决图的实现及改进方法[J]. 电子科技大学学报, 1999, 28(5): 516-519.

Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.

Citation:

Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.

二元判决图的实现及改进方法

李翔宇,
陈光

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

基金项目:

国家科委重点科研项目

作者简介:
李翔宇男 28岁博士生

中图分类号: TP31

Realization and Improvement of Binary Decision Diagram

1.
CAT Lab.,UEST of China Chengdu 610054

摘要: 构造布尔函数的二元判决图(BDD)财核心是ite算符,文中详细介绍了ite算符表示布尔代数的基本运算,以及ite算符在构造BDD中的作用和实现方法;讨论了运用哈希表、反向属性边等策略提高软件包性能的方法。试验结果表明,该BDD软件包性能优于国外同类软件。
- 二元判决图 /
- 运算符 /
- 哈希表 /
- 反向属性边
Abstract: If-then-else (ite) functor is the core of constructing binary decision diagram (BDD) for a Boolean function-This paper discusses how to express the fundamental operations of Boolean function in ite functor, and how to construct BDD utilizing ite functor. Meanwhile, some methods, such as memory function, hash table, complement attributed edge, are used to improve the efficiency of the package.
- binary decision diagram /
- ite functor /
- hash table /
- complement attributed edge

[1]	郁湧, 杨雨洁, 李虓晗, 高悦, 于倩. 基于全局图注意力元路径异构网络的药物−疾病关联预测 . 电子科技大学学报, 2024, 53(4): 576-583. doi: 10.12178/1001-0548.2023235
[2]	吴楠楠, 杨宵晗, 刘文皓, 常心怡, 郭呈银, 王振. 非对称深度在线哈希 . 电子科技大学学报, 2024, 53(): 1-13. doi: 10.12178/1001-0548.2023170
[3]	于永斌, 余文健, 莫洁虹, 康峥非. 静态修改PE输入表注入DLL的检测方法研究 . 电子科技大学学报, 2020, 49(6): 854-859. doi: 10.12178/1001-0548.2019301
[4]	张崇, 于晓琳, 饶妮妮. 多任务中枢疲劳脑电的线性描述符参数分析 . 电子科技大学学报, 2019, 48(4): 613-618. doi: 10.3969/j.issn.1001-0548.2019.04.020
[5]	李玮, 张大方, 徐冰. 面向NDN中名字查找的哈希布鲁姆过滤器 . 电子科技大学学报, 2017, 46(5): 734-740. doi: 10.3969/j.issn.1001-0548.2017.05.016
[6]	曹晓东, 石寅, 张强. 用于交换芯片地址表查找的快速并行Hash算法研究 . 电子科技大学学报, 2014, 43(2): 287-291. doi: 10.3969/j.issn.1001-0548.2014.02.025
[7]	刘建新, 齐锐, 许小文, 杨菲. 高高度脉冲压缩雷达高度表设计实现 . 电子科技大学学报, 2013, 42(1): 29-32. doi: 10.3969/j.issn.1001-0548.2013.01.007
[8]	李胜强, 陈智雄, 周亮. 椭圆曲线上的二元门限序列的构造 . 电子科技大学学报, 2012, 41(5): 671-677. doi: 10.3969/j.issn.1001-0548.2012.05.006
[9]	黄平, 韩满贵. 多极磁环二维场分布的有限元计算 . 电子科技大学学报, 2010, 39(3): 447-449. doi: 10.3969/j.issn.1001-0548.2010.03.027
[10]	于雪莲, 李中志, 汪学刚. 反向预测加权邻域数据关联算法 . 电子科技大学学报, 2010, 39(3): 364-367. doi: 10.3969/j.issn.1001-0548.2010.03.008
[11]	廖剑伟, 蔡洪斌, 熊海灵, 陈善雄. 二元位运算P2P系统复制技术的研究 . 电子科技大学学报, 2009, 38(3): 406-409. doi: 10.3969/j.issn.1001-0548.2009.03.021
[12]	李金海, 吕跃进. 决策系统的快速属性约简算法 . 电子科技大学学报, 2007, 36(6): 1237-1240.
[13]	任云韬, 李毅超, 曹跃. 基于注册表Hive文件的恶意程序隐藏检测方法 . 电子科技大学学报, 2007, 36(3): 621-624.
[14]	陈伟, 罗绪成, 秦志光. 用活动IP表和ICMP报文防御IP欺骗DDoS攻击 . 电子科技大学学报, 2007, 36(6): 1183-1186.
[15]	王德松, 舒兰. 粗集决策表与决策表简化的可信度比较 . 电子科技大学学报, 2004, 33(5): 611-613.
[16]	刘容. 一种基于广义算子理论上的神经反向传播 . 电子科技大学学报, 1999, 28(5): 540-542.
[17]	陆鑫. 在SYBASE应用系统中使用临时表 . 电子科技大学学报, 1999, 28(1): 74-77.
[18]	李翔宇, 陈光. 二元判决图变量排序新方法 . 电子科技大学学报, 1999, 28(2): 152-156.
[19]	章小兵, 王勇, 陈光. 基于自由二元判决图转换的可测性优化方法 . 电子科技大学学报, 1997, 26(2): 171-174.
[20]	章小兵, 陈光. 二元判决图应用中函数组合方法的改进 . 电子科技大学学报, 1997, 26(1): 55-58.

WeChat

点击查看大图

计量

文章访问数: 4246
HTML全文浏览量: 124
PDF下载量: 42
被引次数: 0

二元判决图的实现及改进方法

李翔宇,
陈光

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

基金项目:

国家科委重点科研项目

作者简介:
李翔宇男 28岁博士生

收稿日期: 1998-12-29
刊出日期: 1999-10-15

中图分类号: TP31

关键词:

摘要: 构造布尔函数的二元判决图(BDD)财核心是ite算符,文中详细介绍了ite算符表示布尔代数的基本运算,以及ite算符在构造BDD中的作用和实现方法;讨论了运用哈希表、反向属性边等策略提高软件包性能的方法。试验结果表明,该BDD软件包性能优于国外同类软件。

English Abstract

李翔宇, 陈光. 二元判决图的实现及改进方法[J]. 电子科技大学学报, 1999, 28(5): 516-519.

引用本文:

李翔宇, 陈光. 二元判决图的实现及改进方法[J]. 电子科技大学学报, 1999, 28(5): 516-519.

Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.

Citation:

Li Xiangyu, Chen Guangiu. Realization and Improvement of Binary Decision Diagram[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(5): 516-519.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

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

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

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