[论文解读] Encompression Using Two-dimensional Cellular Automata Rules

Sudhakar Sahoo, Sanjaya K. Sahoo+2 more|ArXiv.org|Aug 11, 2008

Cellular Automata and Applications参考文献 9被引用 3

一句话总结

本文提出了一种基于二维细胞自动机（2D CA）规则的高效二值图像压缩算法，结合基于与（AND）和或（OR）逻辑的新型矩阵乘法运算。通过将一维多吸引子CA扩展至二维，并利用有限阿贝尔循环群与幺半群，该方法实现了具有强代数结构的无损压缩，通过CA动力学实现有效的图像编码。

ABSTRACT

In this paper, we analyze the algebraic structure of some null boundary as well as some periodic boundary 2-D Cellular Automata (CA) rules by introducing a new matrix multiplication operation using only AND, OR instead of most commonly used AND, EX-OR. This class includes any CA whose rule, when written as an algebra, is a finite Abelean cyclic group in case of periodic boundary and a finite commutative cyclic monoid in case of null boundary CA respectively. The concept of 1-D Multiple Attractor Cellular Automata (MACA) is extended to 2-D. Using the family of 2-D MACA and the finite Abelian cyclic group, an efficient encompression algorithm is proposed for binary images.

研究动机与目标

• 开发一种基于二维细胞自动机规则的高效二值图像压缩技术。
• 将一维多吸引子细胞自动机（MACA）的概念扩展至二维。
• 通过一种新的与/或矩阵乘法运算，分析在零边界和周期边界条件下二维CA规则的代数结构。
• 证明二维CA规则在周期边界下构成有限阿贝尔循环群，在零边界下构成有限交换循环幺半群，从而实现结构化压缩。
• 设计一种实用的压缩算法，利用二维MACA的代数特性，实现二值图像的无损编码。

提出的方法

• 提出一种仅使用与（AND）和或（OR）门的新型矩阵乘法运算，替代传统CA规则计算中的与-异或（AND-XOR）操作。
• 分析在零边界和周期边界条件下二维CA规则的性质，分别识别其为有限阿贝尔循环群和有限交换循环幺半群。
• 通过构建具有可预测动力学行为的二维多吸引子细胞自动机家族，将一维MACA框架扩展至二维。
• 利用这些二维CA家族的代数结构，将二值图像映射为紧凑的状态转移序列以实现压缩。
• 利用循环群与幺半群的性质，确保压缩数据的可逆性与高效解码。
• 对图像块迭代应用二维CA变换，基于吸引子动力学将图像编码为更短的序列。

实验结果

研究问题

• RQ1 二维细胞自动机规则能否通过代数结构化以支持高效的图像压缩？
• RQ2 零边界与周期边界条件如何影响二维CA规则的代数性质？
• RQ3 一维多吸引子CA框架在多大程度上可推广至二维以实现图像压缩？
• RQ4 基于与/或的矩阵运算能否在不损失结构的前提下替代CA压缩中的传统与-异或运算？
• RQ5 所提出的基于2D CA的压缩算法在压缩效率与可逆性方面表现如何？

主要发现

• 在周期边界条件下，所提出的二维CA规则构成有限阿贝尔循环群，确保了代数可逆性与可预测的动力学行为。
• 在零边界条件下，二维CA规则构成有限交换循环幺半群，为压缩提供了结构化的基础。
• 将一维MACA扩展至二维，使得能够构建具有可控吸引子行为的CA家族，适用于图像编码。
• 与/或矩阵乘法运算支持高效计算，并保持压缩所需的代数封闭性。
• 该算法通过将二值图像编码为源自二维CA动力学的紧凑状态序列，实现了无损压缩。
• 由于底层代数CA结构具有确定性与可逆性，该方法展现出高效率压缩的潜力。