图像无损压缩不允许有信息丢失,因而使其研究工作进展缓慢,难以有大的突破。但医学、遥感等领域的迫切要求,促使该方向的研究必须深入下去。基于布尔函数理论的图像无损压缩是一个新的研究方向,首先用规范的布尔函数表达式来表征图像数据,然后进行布尔函数化简降低数据冗余,最后对布尔函数的符号进行编码。有序二叉决策图(OBDD)是布尔函数的一种简洁紧凑的符号描述技术,可以对二值图像数据进行建模。代数决策图(ADD)是OBDD扩展形式,可以描述值域为整数集合的伪布尔函数。本文的目的是研究OBDD及其扩展ADD在图像无损压缩中的应用,主要工作包括:　　(1)给出一种基于OBDD符号模型的灰度图像无损压缩方法,首先将图像分割为位平面,然后根据压缩策略,用OBDD对位平面进行建模,最后对OBDD模型进行编码,达到压缩的目的。实验结果显示该算法取得的压缩比优于WINZIP。　　(2)给出一种基于 ADD模型的多值图像压缩方法,函数的值域由图像的颜色数决定。实验结果表明该算法的压缩比明显优于Huffman编码和RLE编码,相对于LZ77编码也有一定优势。　　(3)根据图像序列的帧间相关性,给出一种基于OBDD的图像序列表示方法。图像序列的 OBDD共享了大量结点,节省一定的存储空间,为图像序列的有关处理提供了一个新的数据表示模型。