一种基于代数决策图的多值图像无损压缩方法

  • 格式:pdf
  • 大小:198.32 KB
  • 文档页数:4

第26卷第2期 2006年4月 桂林电子工业学院学报 

Journal of Gullln University of Electronic Technology Vo1.26.No.2 Apr.2006 

一种基于代数决策图的多值图像无损压缩方法 

孙自广,古天龙 

(桂林电子科技大学计算机系,广西桂林541004) 

摘要:代数决策图(ADD)是布尔函数的一种简洁紧凑的符号描述方法。用ADD对多值图像进行建模,可以有效 

降低数据冗余,然后对ADD模型进行有效的编码,可以达到数据压缩的目的。实验结果显示本方法的压缩比高于 

游程编码、哈夫曼编码,较LZ77编码也有一定优势。 

关键词:图像压缩}无损压缩;多值图像;ADD , 

中图分类号:TP391.41 文献标识码:A 文章编号:1001—7437(2006)02.0100—04 

An ADD・-based lossless compression algorithm for mutil—-level images 

SUN Zi—guang,GU Tian—long 

(Dept.of Computer Science,Guilin University of Electronic Technology,Guilin 541004,China) 

Abstract:Algebraic Decision Diagram(ADD)is a symbolic method utilized to represent Boolean function.Treating 

a multi—level image with ADD can considerably reduce the redundancy.The ADD can then be encoded efficiently for 

the image to be compressed.Results from experiments show that the algorithm in discussion has a better compres— 

sion ratio than RLE coding,Huffman coding and LZ77. 

Key words:image compression;lossless compression;multi*level image;ADD 

图像数据的存储和传输都要求对数据进行有效 

的压缩,一些实际的应用要求这种压缩时无损的,如 

医学图像、遥感图像、图像存档等。对图像的无损压缩 

技术而言,通常是首先采取解相关处理,降低数据冗 

余,然后再进行编码。解相关的模型包括预测模型、上 

下文模型和变换模型,寻求有效表征图像的模型是无 

损压缩研究的重要方向[1] 近年来,在逻辑电路综合 

领域发展起来的技术不仅成功应用于电路设计,而且 

逐渐应用到机器学习、图像处理、图像压缩、模式识别 

和数据挖掘等相关领域[ 有序二叉决策图(OBDD— 

Ordered Binary Decision Diagram)是一种布尔函数 

的符号描述方法,在VLSI系统验证领域引入OBDD, 

极大地提高了电路验证的规模和复杂度。描述数字电 

路的布尔函数中包含有大量等价的子函数,通过OB— 

DD这种特殊的数据结构,可以共享那些等价的子函 

数,这样不仅减少了存储描述符号所需的空间同时也 

降低了针对这些描述符号的操作的运算时间。代数决 策图ADD(Algebraic Decision Diagram)是OBDD的 

扩展形式,可描述值域为整数域的伪布尔函数。用 

ADD描述图像可以降低图像在空间中的冗余信息, 

然后对ADD模型进行编码可以有效地压缩图像数 

据。 

1代数决策图ADD 

一个ADD就是表示一簇伪布尔函数 :{0,1) 一 

z(整数集合)的有一个直接根结点的有向无环图[ 。 

所有的有限个结点被分为终端结点和非终端结点两 

类。在图中一般用圆圈表示非终端结点,用方框表示 

终端结点。每个终端结点都被标有z中的一个元素, 

并且没有射出边。而每个非终端结点都有两条射出 

边,即。一边和和l一边。o一边是指非终端结点取值0 

后的分支,在图中一般用虚线表示。l一边是指非终端 

结点取值1后的分支,在图中一般用实线表示。对于 

收稿日期r 2OO5—12—1O 

作者简介:孙自广(1978一)。男。河南濮阳人。硕士研究生,

主要从事符号技术、图像压缩等方面的研究 维普资讯 http://www.cqvip.com 第2期 孙自广等:一种基于代数决策图的多值图像无损压缩方法 101 

变量的一组赋值,所得到的函数值由根结点到一个终 

端结点的一条路径决定。这条路径所对应的分支由变 

量的这组赋值来决定,该分支的终端结点所标识的值 

就是变量在这组赋值下所对应的函数值。不同的变量 

序的选择对于ADD的规模有着极大的影响,因此在 

求伪布尔函数的ADD时,必须说明变量的顺序。图1 

(a)为伪布尔函数,=z。z +2x z。的完全二叉表示, 

图1(b)为,在变量序兀:z。<z <z。<z 下的ADD,由 

图1可见,表示伪布尔函数,的ADD所需的结点明显 

小于表示该函数的完全二叉树,这表明ADD的存储 

空间较小。 

(a)二叉树 

(b)ADD 

图1伪布尔函数,: l 2+2x3 4的ADD表示 

ADD极大地改善了伪布尔函数和有限域取值函 

数的描述能力,目前,ADD数据结构在矩阵乘、最短 

路径计算、组合电路的时间分析、网络最大流 ‘ 等领 

域得到了广泛的应用。 

2图像的ADD模型编码 

2.1图像的预处理 

从未压缩图像文件中提取图像像素值,然后存储 

在2维数组中。如果图像的长宽尺寸不是2的幂,调整 

尺寸大小为2的幂,增加的像素值设为0.假如一幅图 

像的大小为480×480像素,调整后的尺寸为512× 

512像素。 2.2图像的ADD模型 

一幅图像可以看作一个矩阵。图2(a)是一幅简单 

的8×8图像,其对应的矩阵如图2(b)所示,图3为生 

成的ADD.如果图像的尺寸为NXM,且Ⅳ和 都整 

数2的幂(Ⅳ=2 , =2 ),那么矩阵可以由 +m个 

布尔变量组成的伪布尔函数来描述[“ 。图2中的例 

子共需要6个变量,行坐标由z z。z。编码,列坐标由 

Y2Y1Yo编码,这里按照变量序:Y2< l< o<z2<zl< 

z。构建ADD,生成的ADD共有30个结点,其中终端 

结点有5个。 

O 0 1 1 1 l 0 0 O 2 2 2 2 2 2 0 1 2 3 3 3 3 2 l l 2 3 4 4 3 2 l 1 2 3 4 4 3 2 l l 2 3 3 3 3 2 l O 2 2 2 2 2 2 0 0 0 l l l 1 O O 

(a)多值图像 (b)矩阵 

图2图像例子 

图3图像对应的ADD 

2.3 ADD的编码 

为了对ADD进行编码,可采取以下策略:自顶向 

下对ADD内的结点按光栅格式进行编号(in图4所 

示),可以用一张表静态链接表ST(表1所示)来表述 

该ADD,在ST表中每一行表示一个结点,其中第1列 

表示当前结点的序号;第2列表示当前结点所处的层 

次;第3列和第4列分别表示当前结点low和high分 

支结点的序号,也可看作当前结点指向分支结点的两 

个指针。

 维普资讯 http://www.cqvip.com lO2 桂林电子工业学院学报 2006年4月 

图4已编号的ADD 

令 为ADD的非终端结点数,P为ADD总的层 

次数,m^为ADD中第k层的结点数(五∈{0,l,…,P 

—1)).对m进行编码可以获得ST表的第l列。对于 

ST表第2列,若m 已经编码,在k从0到P一2区间 

内,可重复m 次层次数k获得第2列的数据。对于图 

2由m^组成的数列为{l,2,4,4,8,6). 

表1 ADD的静态链接表 

结点编号 high分支 

为高效编码ST表的两歹 指针数据,米用形如 

lowohigholow1high1..・low 一lhigh 一1的序列形式,构 

建2 个指针组成的序列,在图3中的生成的序列为 

fl 2 3 4 5 6 7 8 9 10 10 9 8 7 11 12 13 14 15 16 17 l8 

回固固回19圉圉20 21固固22 21 23 24 22回回 

圉回固圉圉团固团团固). 在这样的一个序列中,虽然在某些点是失序的, 

但基本上是升序排列。图3中的升序序列为{1 2 3 4 5 

6 7 8 9 1O 11 12 13 14 15 16 17 18 19 2O 21 22 23 24 

).利用这样的升序模式可以有效的对指针序列进行 

编码。在对指针序列进行编码时,主要分3种指针: 

(1)有序指针OP:位于升序序列的指针,可以只 

用1个比特位来表示,取值为1. 

(2)终端指针TP:指向终端结点,第1个比特位 

为0表示失序结点,第2位为1表示终端结点,其后是 

对颜色值的编码。如果图像的颜色数较多,使用颜色 

表来存储颜色值,编码时使用索引值代替颜色值。 

(3)非终端失序结点NTDP:指针序列中失序的 

非终端结点,编码这些结点时需要3部分,第1部分是 

前2位为o0表示指针类型,第2部分是当前有序结点 

和未编码失序结点所在层次差值的编码,经过对大量 

图像ADD表示的分析,这部分用2比特位。第3部分 

是指向结点在其所在层次位置的编码,这部分用 

[10g ]比特位。 

3优化方法 

以上主要描述的是用ADD模型压缩图像的策 

略。本节引入两种方法提高压缩效率。 

3.1格雷码 

在2.3中,图像的矩阵表示的坐标使用的是串行 

二进制码,如果变量 和 用格雷码进行编码有利于 

函数化简,可以得到更简洁的ADD,进一步降低冗 

余。图2(b)的坐标如果经过格雷码编码,可看作某逻 

辑函数的卡诺图。图5是对应的ADD.这里采用的变 

囝5格雷码编码的ADD 支一 。 ¨H u。 。b一 默一。 。。。。 

O 1 z 3 4 5 6 7 8 9 维普资讯 http://www.cqvip.com