一种基于整数平方量化阈值的小波图像编码算法

作为JPEG2000的重要组成部分,整数小波变换(IntegerWaveletTransform)和嵌入式零树编码(EmbeddedZerotreeWaveletCoding)有许多优越性,但是图象经整数小波变换(IWT)后各子带系数幅值的动态变化较小,因此其能量集中性较第一代小波变换差很多,不利于零树编码(EZW)。该文从零树编码的量化阈值入手,将传统零树编码中“2的整数次幂”量化阈值改为从1开始的整数平方量化阈值,通过缩短了各量化阈值间的距离,减少了重要系数集中出现在较低量化阈值的机会,增加了编码过程中零树的数量,从而充分利用了整数小波变换能量集中性较低的特点。实验证明,该算法通过整数平方量化阈值有效地将整数小波变换同零树编码结合起来,提高了编码效率。     

整型小波变换应用于遥感图像无损压缩

基于“提升”(Lifting)算法实现整型小波变换(IWT),然后将图像变换到小波域,用零树编码 和算术编码相结合的方式对图像进行无损压缩,并针对遥感图像波段之间的相关性进行了谱间预 测。最后进行了一些相关实验,实验证明将IWT应用于遥感图像无损压缩是有效的。     

基于小波零树图像编码算法的改进

小波变换具有良好空间-频率局部化特性，使小波变换后图像的能量大部分聚集到了低频子图像，利用原始图像在小波分解中不同分辨率级能量分布不均匀的特点，提出了改进的嵌入式小波零树编码算法-保持低频数据无损压缩编码的嵌入式小波零树编码。理论分析和实践表明，该方法能够降低重构图像的均方误差（MSE）、提高重构图像的峰值信噪比（PSNR）。     

一种快速的小波变换图象编码算法

首先分析并指出了对于零数编码来说,小波变换时应当使用原始滤波器系数参与运算,而对滤波器系数进行缩放会影响其编码性能,此外,低通滤波器时延参数对零树编码性能也有重要影响,为了保证小波变换后各小波子带图象之间的自相似性,就必须使低通滤波器的时延为零,在此基础上,针对具有二进系数的双正交小波滤波器,提出了一种适合零树编码的快速小波变换算法,此算法不但以移位代替了乘法运算,而且与使用原始滤波器系数的变换等效,最后,结合快速零树编码算法,实现了一种快速高效的编码系统。     

基于整数小波变换的零树编码的多位平面并行算法

为了解决整数小波变换与传统零树编码(EZW)算法相结合产生的量化阈值的选取问题,有人提出了基于整数平方量化阈值的零树编码(ISZW)算法。但是, 由于ISZW使用连续的整数平方作为量化阈值, 缩短了相邻阈值间的距离,却增加了编码的次数,降低了编码速度。为此设计了基于整数小波变换的零树编码的多位平面并行算法, 其中每个位平面的编码仅需对位平面进行一遍扫描,大大提高了ISZW的编码速度。     

一种改进的嵌入式零树小波图像编码方法

嵌入式零树小波图像压缩算法使图像压缩编码技术大大前进了一步，文章针对它在效率上的不足，提出了一种结合双正交小波变换的改进的EZW算法，实验结果表明在不提升码率的前提下，提高了编码速度，有利于实时编码。     

基于感兴趣区的图象近无损压缩

无损感兴趣区（Lossless Region of Interest (ROI)图象压缩方法,即在感兴趣区采用无损压缩,而在其他区域采用有损压缩,从而保证了重要信息不丢失,并尽可能提高衅象的压缩比,在整形小波变换（IWT）和嵌入式零树编码的基础上,实现了无损感兴趣区（Lossless ROI)的图象近无损压缩,并提出了一种小波变换域形状编码算法－－树映射形状编码,同时给出了算法的原理及实现,并进行了相关实验,实验结果表明,该算法能够提高压缩效率,且压缩效率取决于感兴趣区的大小以及对不感兴趣区图象的质量要求。     

基于分形图像编码的小波补偿算法

提出了一种对图像进行分形“粗略”（概貌）编码,“细节”（边缘）信息通过小波变换提取图像高频信息进行补偿的编码算法。该编码算法中,小波变换产生的高频小波系数根据系数重要性采用类似嵌入式小波零树编码方式进行编码,从而具有比特率可控等特点。通过实验表明,新编码算法的编码效果优于分形自适应四叉树编码算法和小波变换编码算法。     

一种基于新量化方案的形状自适应整数小波编码算法

首先提出了基于提升方案的形状自适应整数小波变换算法。然后对整数小波同第一代小波的变换系数分布特性的差异进行了详细的分析．针对整数小波变换系数幅值动态变化范围小，而传统EZW中阈值区间相对较大，不利于形成零树结构的不足，提出了基于奇数平方的阈值选取方法．并在此基础上，提出一种基于二分法的量化逼近方案，与传统的基于住平面的量化方法相比，该方案能用更少的比特来完全重构一个系数．最后，提出了基于整数小波变换和新的量化方案的形状自适应EZW编码算法．实验结果表明，闽值选取方法是合理的，而基于二分法的量化逼近方案是有效的．在相同码率下，与传统阈值选取和量化方案相比，该方法重构图像的峰值信噪比要高出0．5～2dB．     

基于小波变换的声呐图像压缩方法

提出了一种新的基于小波变换的声呐图像压缩方法：对于小波变换后的系数采用基于零块的编码，充分挖掘小波系数能量集中的特点；在熵编码时使用上下文量化技术来减少上下文个数以提高编码效率。实验结果表明，使用本文的算法压缩声呐图像能够得到较高的压缩比和较好的图像质量。     

一种求解整数规划与混合整数规划非线性罚函数方法

证明了任何一个变量有界的整数规划问题（IP）和混合整数规划问题（MIP）都可以转化为一个等价的非整数（或连续化）规划问题（NIP），并给出一个用非线性精确罚函数法来求解该等价NIP的方法，从而达到求解IP或MIP的目的，数值实验表明了算法的可行性。该方法可广泛用于各应用领域里IP和MIP的求解，特别是为非线性IP和MIP问题提供了一条通用 的求解途径，对解决许多实际优化问题具有重要意义。     

面向整数错误检测的蜕变测试方法研究

整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值。本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率。     

一种基于整数小波变换的图像编码算法

针对静止图像经整数小波变换(integer wavelet transform)后,各子带系数的幅值动态变化范围小,不利于零树编码(embedded zerotree wavelet coding)的缺点,采用"从1开始的整数平方"代替"2的整数次幂"作为零树编码的量化阈值,缩短了量化阈值间隔.通过减少重要系数在较低量化阈值中出现的机会,增加了编码过程中的零树数量;同时通过减少参与编码的字符数及对最高频带零树不编码,简化了编码过程.实验结果表明,整数平方量化阈值下的零树编码(integer square zerotree wavelet coding)解决了整数小波变换中零树编码的低效问题,提高了静止图像的编码效率.     

Reducing an integer linear equation to an equivalent system

A method is proposed for the creation of a system of linear integer equations that is equivalent to a given linear integer equation. The method is based on the theorem stating that one linear integer equation can be transformed into two linear integer equations with the identical set of nonnegative integer solutions. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 180–183, January–February 2006.     

Multiple-length division revisited: A tour of the minefield

Long division of natural numbers plays a crucial role in Cobol arithmetic, cryptography, and primality testing. Only a handful of textbooks discuss the theory and practice of long division, and none of them do it satisfactorily. This tutorial attempts to fill this surprising gap in the literature on computer algorithms. We illustrate the subtleties of long division by examples, define the problem concisely, summarize the theory, and develop a complete Pascal algorithm using a consistent terminology.     

The long division algorithm of linger,mills and witt

The long division algorithm of Linger, Mills and Witt is discussed and found to be significantly slower than a recent algorithm developed by the author.     

New AspectJ Pointcuts for Integer Overflow and Underflow Detection

ABSTRACT

Aspect-oriented Programming (AOP) appears to be a promising paradigm for software security hardening. Using AOP, security experts can be responsible for coding security properties, and developers can concentrate on the basic functionality of the program. AspectJ extends the Java programming language to implement crosscutting concerns modularly in general. In this paper, we have extended AspectJ with new pointcuts in order to detect integer overflows and underflows in Java. Integer overflows and underflows in Java occur silently without throwing an exception. A malicious user can exploit them to produce a security breach. Hence, we implement new pointcuts: addition, multiplication, and subtraction that allow to write advices around integer arithmetic operations to detect integer overflow and underflow and consequently prevent considerable number of security breaches.     

变粒度搜索算法与整周模糊度解算

LAMBDA方法应用于GNSS单频单点载波相位定位时,其整周模糊度的搜索域过大,解算速度过慢,制约了单频单点精确定位技术的应用。针对这一问题,结合粗糙整数映射理论,提出变粒度搜索算法,通过改善整周模糊度搜索区域的拓扑结构,并采用有粒度的粗糙整数作为搜索单元,可有效提高搜索效率。仿真结果表明,基本实现了单频单点载波相位准实时定位。     

A Cut-Based Algorithm for the Nonlinear Dual of the Minimum Cost Network Flow Problem

We consider a convex, or nonlinear, separable minimization problem with constraints that are dual to the minimum cost network flow problem. We show how to reduce this problem to a polynomial number of minimum s,t-cut problems. The solution of the reduced problem utilizes the technique for solving integer programs on monotone inequalities in three variables, and a so-called proximity-scaling technique that reduces a convex problem to its linear objective counterpart. The problem is solved in this case in a logarithmic number of calls, O(log U), to a minimum cut procedure, where U is the range of the variables. For a convex problem on n variables the minimum cut is solved on a graph with O(n²) nodes. Among the consequences of this result is a new cut-based scaling algorithm for the minimum cost network flow problem. When the objective function is an arbitrary nonlinear function we demonstrate that this constrained problem is solved in pseudopolynomial time by applying a minimum cut procedure to a graph on O(nU) nodes.     

Multiple Choice Programming: A State-of-the-Art Review

Multiple choice programming, originated from Healy Jr, belongs to the non-convex mathematical programming with special ordered sets of variables type 1 as identified by Beale and Tomlin. The high applicability of multiple choice programming in many decision-making problems has made it a focus of many OR researchers and practitioners in the fields of integer programming and combinatories. We report a survey on the structures of multiple choice programming problems and their solution approaches. Applications of multiple choice programming and some prospective future researches are also discussed.