A Scheme of Model Verification of the Concurrent Discrete Wavelet Transform (DWT) for Image Compression
A Scheme of Model Verification of the Concurrent Discrete Wavelet Transform (DWT) for Image Compression
复制标题
图像压缩并行离散小波变换(DWT)模型验证方案
DOI：
10.5072/prism/25835
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
K. Harada
中科院分区：
文献类型：
--
作者：
Kamrul Hasan Talukder;K. Harada
- 在过去的几十年里，科学界在离散小波变换领域投入了大量的精力。结合矢量量化的离散小波变换（DWT）已被证明是一种非常有用的图像压缩工具。然而，小波变换是非常计算密集型的过程，需要创新和计算效率高的方法来获得图像压缩。图像的并行变换是解决这一问题的重要方法。提出了一种并行小波变换的图像压缩模型。此外，还对模型进行了形式化验证。在这里，符号模型验证器（SMV）已被用作正式的验证工具。该系统已在SMV中建模，并已正式验证的一些属性。
— The scientific community has invested a great deal of effort in the fields of discrete wavelet transform in the last few decades. Discrete wavelet transform (DWT) associated with the vector quantization has been proved to be a very useful tool for the compression of image. However, the DWT is very computationally intensive process requiring innovative and computationally efficient method to obtain the image compression. The concurrent transformation of the image can be an important solution to this problem. This paper proposes a model of concurrent DWT for image compression. Additionally, the formal verification of the model has also been performed. Here the Symbolic Model Verifier (SMV) has been used as the formal verification tool. The system has been modeled in SMV and some properties have been verified formally.