一种OBDD表示及其操作算法

摘要：

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

关键词：OBDD、操作算法、静态二叉链表

所属期刊栏目：37

分类号：TP302.7(计算技术、计算机技术)

资助基金：国家自然科学基金61572146;广西自然科学基金2015GXNSFAA139285,2014GXNSFAA118354

在线出版日期：2017-09-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：203-207