高精度算术运算

本文针对当前各种计算机高级语言运算精度的不足，用PASCAL语言实现了高精度的加、减、乘、除算术四则运算。以满足教学、科研的实际需要。     

用于雷达波形的无损压缩编码

讨论了用算术编码实现波形数据的无损压缩。对波形数据进行无损压缩时 ,如果把每个可能的样本值看作一个符号 ,符号表会非常庞大 ,导致算法不可行。基于这种原因 ,本文用一个符号表示一定范围内波形数据 ,而不是单个波形数据 ,然后在此基础上设计了一种编码方案。先是无损线性预测 ,去除了波形数据之间的相关性。并假定产生的差值序列具有白功率谱 ,幅度服从高斯分布 ,第二步是算术编码。最后给出了对雷达回波数据进行压缩的实验结果。     

探空火箭图像压缩算法研究

结合探空火箭图像系统需求, 提出了一种基于小波变换编码, 即基于MSPIHT的自适应差分算术编码(MSPIHT Adaptive Differential Arithmetic Coding for image, MADAC)的图像压缩算法. 该算法对经过量化编码之后的数据 进行熵编码. 实验结果表明, MADAC算法具备探空火箭图像系统所要求的分辨 率、帧速率及压缩率可调的功能, 且易于硬件实现.      

星际航行：一堂令人沮丧的算术课

一万年太久，只争朝夕 霍金最近心血来潮，就地外文明、外星人等话题发表了意见，引发了媒体对此类话题的很大兴趣。话题之一就是关于人类进行星际航行的可能性。     

一个一阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。     

算术编码在航空侦察图像压缩中的应用

航空侦察图像原始数据量非常大,在实时回传的过程中必须进行压缩。在对图像进行有损或无损压缩时,无损压缩算法是必要的。本文研究了算术编码在系统中的应用,提出一种混合进制的算术编码,提高编码效率的同时增强了系统的抗误码扩散能力。试验验结果表明该算法明显优于单一进制的编码算法。     

一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

生活中的数学

一般人学数学到底要学什么呢？从实用的观点来看，答案是学会算术计算，及一点点的几何与代数。在考试至上的气氛熏陶下，答案是背诵及套用公式，做各种（复杂）的计算。近年来，想法渐有改变，认为学会寻求数与形的规律及过程，是学习数学的主要目的。     

JPEG2000中MQ算术编译码器的研究

JPEG2000应用了嵌入式码块编码(EBCOT)，在此编码中应用了MQ算术编码器，本文主要研究MQ算术编码器的关键技术和工作原理。     

CABAC算术编码器硬件优化实现

为了解决上下文自适应二进制算术编码器(CABAC,Context-based Adaptive Binary Arithmetic Coder)硬件实现吞吐率难以提高的问题,提出了基于数据流动态特性的电路优化方法.通过建立算法的数据流模型,提取出限制硬件实现性能的数据流反馈环路.针对上下文环路,采用3条迭代周期不同的子环路更新具有不同依赖周期的上下文变量,提高了时钟频率和吞吐率;对于字节打包环路,通过提取一类可简化电路结构的数据元素,并为之构建快速旁路,增加了环路的处理速度.基于上述方法并辅以基本的电路优化手段,设计实现在现场可编程门阵列(FPGA,Field-Programmable Gate Array)平台上频率可达309MHz,并且每个时钟周期处理一个编码符号.