一种OBDD表示及其操作算法

• 作者: 古天龙 闵丰
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: OBDD 操作算法 静态二叉链表
• 年，卷（期）: 2017,（3）
• 页码范围: 203-207
• 页数: 5页
• 分类号: TP302.7
• 字数: 5010字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学广西可信软件重点实验室	207	1546	18.0	30.0
2	闵丰	桂林电子科技大学广西可信软件重点实验室	1	0	0.0	0.0