欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了提高微处理器环境中数据处理速度及内存利用率,提出一种基于静态二叉链表结构的OBDD操作算法。该算法以节点四元化属性值作为计算表的映射关键值,基于后序遍历演绎几种典型OBDD操作,包括Apply、ITE操作。实验以传统递归操作算法的链式数据处理为参照,证明了在微处理器环境下,基于OBDD节点四元化数据的状态分析操作算法及其查询方式具有更高的内存利用率与计算效率。
英文摘要：
In order to improve the processing speed and memory utilization rate of ordered binary decision diagram （OBDD） in microprocessor environment, a four-tuple OBDD representation of static binary chain structure is proposed, and several typi- cal OBDD operation algorithm methods based on computational state are proposed, including Apply and ITE operation, which take the node attribute value as the calculation table mapping key. Experiments are based on the traditional recursive operation algorithm for chain data processing and it is proved that the state analysis operation algorithm based on OBDD node quadratic data and its query method have higher memory utilization efficiency and computational efficiency in the micro- processor environment.
同期刊论文项目
同项目期刊论文
期刊信息
位置：