桂林电子科技大学学报

2017, v.37;No.150(03) 203-207

[打印本页] [关闭]
本期目录 | 过刊浏览 | 高级检索

一种OBDD表示及其操作算法
An OBDD representation and its algorithm

闵丰;古天龙;

摘要(Abstract):

为了提高微处理器环境中数据处理速度及内存利用率,提出一种基于静态二叉链表结构的OBDD操作算法。该算法以节点四元化属性值作为计算表的映射关键值,基于后序遍历演绎几种典型OBDD操作,包括Apply、ITE操作。实验以传统递归操作算法的链式数据处理为参照,证明了在微处理器环境下,基于OBDD节点四元化数据的状态分析操作算法及其查询方式具有更高的内存利用率与计算效率。

关键词(KeyWords): OBDD;;操作算法;;静态二叉链表

Abstract:

Keywords:

基金项目(Foundation): 国家自然科学基金(61572146);; 广西自然科学基金(2015GXNSFAA139285,2014GXNSFAA118354)

作者(Author): 闵丰;古天龙;

Email:

参考文献(References):

文章评论(Comment):

序号(No.) 时间(Time) 反馈人(User) 邮箱(Email) 标题(Title) 内容(Content)
反馈人(User) 邮箱地址(Email)
反馈标题(Title)
反馈内容(Content)
扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享