首页 | 本学科首页   官方微博 | 高级检索  
     

利用OBDD编码的快速二值图算法(英文)
引用本文:吕关锋,苏开乐,陈清亮,徐旭东.利用OBDD编码的快速二值图算法(英文)[J].计算机科学与探索,2009,3(3):303-308.
作者姓名:吕关锋  苏开乐  陈清亮  徐旭东
作者单位:1. 北京工业大学,计算机学院,北京,100022
2. 北京大学,高可信软件技术教育部重点实验室,北京,100871
3. 暨南大学,计算机科学系,广州,510632
基金项目:国家重点基础研究发展规划(973计划),国家杰出青年科学基金,国家基金国际合作项目,暨南大学引进人才启动基金,北京工业大学引进人才启动基金,北京市教育委员会学科与研究生教育建设项目,创新人才培育项目 
摘    要:对利用有序二元判定图 OBDD 编码二值图像进行了研究,该方法可以节约大量的空间,并在此基础上,提出了各种二值图的算法,包括解码和集合运算(并、交、差、对称差、包含和互补)。实验结果表明这种基于OBDD 编码的方法比现有的二值图编码方法效率更高。

关 键 词:有序二元判定图  二值图  集合运算
修稿时间: 

Fast Operations on Binary Images Encoded by OBDDs
LV Guanfeng,SU Kaile,CHEN Qingliang,XU Xudong.Fast Operations on Binary Images Encoded by OBDDs[J].Journal of Frontier of Computer Science and Technology,2009,3(3):303-308.
Authors:LV Guanfeng  SU Kaile  CHEN Qingliang  XU Xudong
Affiliation:LV Guanfeng1,SU Kaile2,CHEN Qingliang3,XU Xudong1 1.College of Computer Science , Technology,Beijing University of Technology,Beijing 100022,China 2.Key Laboratory of High Confidence Software Technologies of Ministry of Education,School of Electronics Engineering , Computer Science,Peking University,Beijing 100871,China 3.Department of Computer Science,Jinan University,Guangzhou 510632,China
Abstract:The ordered binary decision diagram(OBDD)is proposed to encode binary images,which can lead to a considerable amount of storage-saving.Based on it,various operations on binary images encoded as OBDDs are presented,i.e.,decoding and set operations(union,intersection,difference,symmetric-difference,inclusion and complement).Experimental results show that those OBDD-based operations are faster than other schemes used to encode binary images.
Keywords:ordered binary decision diagram (OBDD)  binary images  set operations
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学与探索》浏览原始摘要信息
点击此处可从《计算机科学与探索》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号