提升小波的FPGA实现

小波变换在图像压缩领域正在取代离散余弦变换.提升小波是离散小波变换的一种实现方案,它具有运算量小、可原位计算的特点.本文在FPGA中实现了一级二维提升小波变换,弥补采用DSP实现小波变换对存储空间的需求.仿真表明其所耗资源较少,其硬件结果与MATLAB软件结果基本一致.     

小波变换降噪处理及其Matlab实现

针对在信号检测中经常存在的噪声污染问题,本文利用小波变换进行降噪处理.分析了小波变换降噪的理论依据、降噪处理程序以及阀值的选择,并在Matlab软件中进行了信号降噪的模拟仿真实验.分析结果证明了小波变换良好的降噪效果.     

语言的抽象、封装与变换型开发方法

该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.     

软件迷惑变换的鲁棒性量化评价

为了方便程序员比较多种迷惑变换方案的优劣,提出了一种量化评价迷惑变换鲁棒性的方法.该方法从软件复杂度变化与代码功能模糊性两个相对独立的层面来刻画迷惑变换导致的鲁棒性.首先,从系统的复杂性与信息的多样性角度建立软件系统复杂度模型,模型包含软件结构、信息流、分支、循环以及元素的嵌套层次,力求从复杂性层面更准确地反映变换对软件的保护;之后,为量化描述迷惑变换的功能模糊度,根据专家指标评分法建立单种迷惑变换模糊度模型,在此基础上建立多种迷惑变换复合模糊度模型;然后,阐述了如何联合所提出的模型实现对单种迷惑变换技术有效性判定与多种迷惑方案的选优,也给出了模型的实现算法及一些示例;最后,通过实例仿真详细展示了模型的工作过程.     

基于小波变换的遥感图像压缩的研究

本文主要对小波变换在遥感图像压缩中的应用进行了研究,首先对小渡变换理论及其实现进行了简要的介绍,然后重点讨论了小波变换在遥感图像压缩中的应用.其中包括遥感图像压缩小波基的选择、以及使用Matlab软件利用本文提出的方法进行仿真试验.试验结果表明,将小波变换用于遥感图像压缩具有压缩比大,压缩效率高等优点.     

提升小波变换的FPGA设计与实现

根据1996年Sweldens等人提出的提升小波变换方法,设计了一种有效的JPEG2000 CDF(2,2)整数小波变换的VL-SI实现结构,并对小波系数的变化范围进行了分析.用VHDL对该结构进行基于FPGA实现的可综合描述,并用EDA软件进行了仿真和综合,硬件仿真结果和软件Matlab实现结果完全一致.     

基于LabVIEW的放大变换电路测试系统研制

为了精确地测量放大变换电路输出的频率脉冲信号,设计了一种放大变换电路测试系统.以工控机为主搭建硬件测试平台,给被测电路板提供七路供电电源、稳定的恒流输入信号以及时间基准脉冲信号,放大变换电路板将输出X、Y、Z三个通道,每个通道各正负两路,共计六路脉冲信号,将这些信号送到工控机内并利用美国NI公司的LabVIEW图形化编程软件,借助于NI-DAQmx驱动软件进行编程.系统完成后性能稳定可靠,测量精度达到设计要求.     

基于DST的实值离散Gabor变换

Gabor变换已被公认为是通信和信号处理中信号与图像表示的最好的方法之一,一直以来对Gabor变换的研究和应用实际上是基于Fourier变换的复值Gabor变换,因此这里对实值Gabor变换进行了研究.采用双正交分析方法,定义了一种基于离散正弦变换(DST)的实值离散Gabor变换(RDGT),该变换不仅适用于临界抽样条件而且适用于过抽样条件,并证明了变换的完备性条件(即该变换中综合窗与分析窗的双正交条件),该实验结果也验证了变换的完备性.针对实值信号,该变换由于仅涉及实值运算,并可利用快速DST、IDST算法来加速变换,因此比传统复值离散Gabor变换在计算、实现方面更为简单.在实际应用中,将更方便于软件和硬件的实现.     

基于可达矩阵的软件体系结构演化波及效应分析

构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.描述了SA的构件--连接件模型,建立了SA关系矩阵和可达矩阵,凭借矩阵变换与运算对SA演化中的波及效应进行了深入的分析和量化界定;并对演化中的构件删除、增加和修改以及构件的合并与分解等变化活动所引起的各种波及效应给予了阐述;同时,给出了构件在SA中贡献大小相对量的计算方法.为SA演化的管理、控制、利用和评价提供了可靠的依据,并为基于矩阵变换的SA演化的计算机自动处理奠定了基础.     

从用户需求到软件规约：一种问题变换的方法

研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare 的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整个问题图的变换,且导出的软件规格是具有高抽象粒度的程序代码模型,能够被FDR模型检测工具所验证.该工作为实现嵌入式软件开发从需求到软件代码、文档的自动转化及验证等奠定了理论基础.此外,把该理论与模型检测工具FDR联合起来会有助于提高嵌入式软件开发的效率和准确性.     

代码混淆技术研究综述

代码混淆技术是一种语义保留的代码变换技术,是衡量代码相似度检测方法的重要指标之一。本文主要对现有的代码混淆手段的研究现状和发展进行了综述。首先阐述了代码混淆的相关定义,然后介绍了现有的几种代码混淆手段,对代码混淆手段进行了系统的分类,分别介绍了每种代码混淆手段。最后对代码混淆手段进行了总结与评价。     

Improving performance through deep value profiling and specialization with code transformation

Specialization of code is used to improve the performance of the applications. However, specialization based on ineffective profiles deteriorates the performance. Existing value profiling algorithms are not yet able to address the issue of code size explosion incurred due to specialization of code. This problem can be mitigated by capturing data through profiling that would be useful for specialization of code with minimum code size.In this article, we present an approach to optimize code through value profiling and specialization with code transformation. The values of the parameters selected through an analysis of code are captured in the intervals which are automatically adapted to dynamic behavior of the application. The code is then specialized based on value profiles. The specialized code contains optimizations and may be converted back to the generalized code through a transformation. This approach facilitates the code to obtain optimizations through specialization with minimum size, and no runtime overhead.Using this approach, the experiments performed on Itanium-II (IA-64) architecture with icc compiler v 9.0 show a significant improvement in the performance of the SPEC 2000 benchmarks.     

花指令模糊变换逻辑一致性研究

花指令模糊变换是代码模糊变换策略中的一种有效方法。在分析现有花指令加密方法的基础上，给出一种随机花指令模糊变换加密方案，并利用形式化方法对其进行了描述。通过研究花指令模糊变换各种形式化的定义，推导出若干引理，从“JMP扩展”、“JMC变换”、“JMP后添加花指令”等3个方面形式化地证明了经上述随机花指令加密算法变换的程序具有与原始程序相同的逻辑性。     

一种结构信息增强的代码修改自动转换方法

在开发过程中,开发人员在进行缺陷修复、版本更新时,常常需要修改多处相似的代码.如何进行自动代码修改已成为软件工程领域的热点研究问题.一种行之有效的方式是：给定一组代码修改示例,通过抽取其中的代码修改模式,辅助相似代码进行自动转换.在现有工作中,基于深度学习的方法取得了一定进展,但在捕获代码间的长程信息依赖关系时,效果不佳.为此,本文提出了一种结构信息增强的代码修改自动转换方法ExpTrans.ExpTrans在解析代码时采用图的形式来表示修改示例,显式地指出了代码中变量之间的依赖关系,同时结合图卷积网络和Transformer架构,增强了模型对代码的结构信息和依赖信息的捕获能力,从而提升了代码修改自动转换的准确性.实验结果表明,对比同类型基于深度学习的方法,ExpTrans在准确率上提升了11.8%~30.8%;对比基于人工规则的方法,ExpTrans在修改实例的数量和准确率上均有显著提升.     

Generating three-tier applications from relational databases: a formal and practical approach

This article describes a method for building applications with a three-tier structure (presentation, business, persistence) from an existing relational database. The method works as a transformation function that takes the relational schema as its input, producing three sets of classes (which depend on the actual system being reengineered) to represent the final application, as well as some additional auxiliary classes (which are ‘constant’ and always generated, such as an ‘About’ dialog, for example). All the classes generated are adequately placed along the three-tiers.The method is based on (1) the formalization of all the sets involved in the process, and (2) the mathematical formulation of the required functions to get the final application. For this second step, we have taken into account several well-known, widely used design and transformation patterns that produce high quality designs and highly maintainable software.The method is implemented in a tool that we have successfully used in several projects of medium size. Obviously, it is quite difficult for the obtained software to fulfill all the requirements desired by the customer, but the uniformity and understandability of its design makes very easy its modification.     

Evolutionary testing of software with function-assigned flags

Evolutionary structural testing, an approach to automatically generate relevant unit test data, encounters difficulties when the software being tested contains boolean variables. This issue, known as the flag problem, has been studied by many researchers. However, previous work does not address the issue of function-assigned flags which constitutes a special type of flag problem that often occurs in the context of object-orientation. This paper elaborates on a new approach to the flag problem that can also handle function-assigned flags while being applicable to the conventional flag problem, as well. It relies on a code transformation that leads to an improved fitness landscape which provides better guidance to the evolutionary search. We present seven case studies including a fitness landscape analysis and experimental results. The results show that the suggested code transformation improves evolutionary structural testing in the presence of function-assigned flags.     

一种新的分"档"统计插入排序算法

提出了一种谓之数据代码转换,分“档”统计,迁移插入的新排序方法,给出了该排序算法的描述,时间复杂度分析用Ｃ语言编写程序进行算法比较的实验结果,算法分析和实验结果都表明：在待排序数据均匀分布的情况下,分“档”统计插入排序方法的时间复杂度为Ｏ（Ｎ）,并且排序速度明显优于快速排序,分段快速排序,按位段分块排序等算法。     

基于ECC和HFE的纠错密码构造

纠错密码是一种利用纠错码体制来实现纠错和加密双重功能的一种密码体制。大部分已知的纠错密码从变换的角度看是一种对明文的线性变换。从密码分析的角度看,由于不具有非线性变换,密码的混淆能力不强,容易被攻击。利用纠错码 （Error-Correction Code,ECC） 改造基本HFE （Hidden Field Equations） 密码算法,所得的新密码算法具有纠错和加密功能,而且因其具有概率密码特性以及建立在MQ困难问题之上,具有很高的安全强度。     

子程序花指令模糊变换逻辑一致性研究

花指令模糊变换是代码模糊变换策略中的一种有效方法.在分析现有花指令加密方法的基础上,提出一种子程序花指令模糊变换方案,并利用形式化方法对其进行描述.通过研究子程序花指令模糊变换各种形式化的定义,推导出若干引理,从"XOR及CMP扩展"、"伪分支构造"、"JNE后加花指令"等3个方面加以形式化的证明,使得经上述子程序花指令模糊变换的程序具有与原程序相同的逻辑性.最后,以代码模糊变换评测标准对该算法的效果进行了详细分析.     

基于不透明谓词的软件抗动态逆向分析研究

传统的不透明谓词对谓词内部逻辑结构进行复杂化,难以有效应对软件的动态逆向分析。通过插入运行环境检测代码并将检测结果返回给不透明谓词,动态选择分支路径使软件仅在安全环境下运行被保护代码,防止代码被动态分析。引入一般和关键节点概念,提高谓词内部逻辑结构的复杂度并使用形式化方法进行描述。实验证明,成功检测出虚拟机和调试器并避开了受保护代码;在静态指令统计上与使用变形隐匿的方法对比,具有更好的隐匿效果。