一种函数依赖程序不变量动态检测方法

目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.     

基于区域内存模型的空指针引用缺陷检测

为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑（Region-based Symbolic Three-Valued Logic,RSTVL）,RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系;其次,给出了基于抽象语法树与函数摘要识别被引用指针方法;最后,结合基于RSTVL的数据流分析结果,将对被引用指针的检测转换为对相应区域的检测,给出了空指针引用缺陷检测的方法,通过函数摘要实现过程间的空指针引用缺陷检测.对比实验结果表明,本文方法在保证一定检测准确率的前提下,能够极大的减少空指针引用缺陷的漏报.     

状态预估法扩展数字锁相环的锁相区间

提出了一种扩展正过零检测数字锁相环锁相区间的方法.首先建立了锁相环路未受控时误差变量的非线性动力学模型,得到误差变量在不动点处线性化近似预测值;然后取此近似预测值的非线性函数进行反馈控制,扩展了环路锁相区间;最后分析了受控数字锁相环的稳定性并给出了仿真结果,结果不仅证实了该方案的正确性和有效性,而且表明该方法比延迟反馈方法更加优越.     

基于约束的自然语言问题到OWL的语义映射方法研究

OWL已经成为重要的知识表示和交换方式.OWL驱动的问答系统是比搜索引擎更具挑战性的研究.本文致力于解决为自然语言问题获取正确的OWL解释.考虑到问题理解的复杂性,影响因素的多样性,本文提出一种基于约束的语义映射方法.该方法分解问题成为变量,索引OWL知识成为变量域,抽象约束形成函数.并建立了目标函数完成问题变量在候选OWL知识库中获取合理解释的过程.该方法基于网络智能研究院知识库和问题集进行了初步评估.实验结果表明:和传统基于关键字匹配的算法比较,本文提出的方法使可解释问题比例增加了18%左右.     

基于温度补偿的光谱仪波长定标方法研究

温度变化时的热胀冷缩会造成光谱仪中光学元件位置的变化,从而导致波长产生较大的偏移.针对这个问题,进行了适用于不同温度的波长定标方法研究.提出了一种基于温度补偿的波长定标理论模型与方法.将温度作为变量,建立了波长、像元位置和温度的三维函数关系理论模型.采用标准汞氩灯进行了定标实验.通过三次多项式曲面拟合确定了多项式的系数...     

多项式建模解电离层相位污染阶数选择新方法

电离层相位污染使天波超视距雷达杂波频谱展宽,影响舰船等低速目标检测.针对这一问题,近年来发展了基于分段多项式相位建模和高阶模糊函数的(HAF)解电离层污染算法,如何合理地选取模型阶数是该算法的核心.给出了两种改进的自适应多项式建模阶数选择方法.并利用仿真方法进行了验证,结果表明:基于高阶模糊函数变换性质的频域和时域阶数选择方法的计算量较现有算法有较大提高,且频域法可在较低信噪比下准确判断多项式阶数.     

基于双正交小波变换的矩不变量

寻找相对于尺度、平移、旋转不变的小波不变量是多尺度分析在模式识别中的关键问题.矩是一种理论和应用上比较成熟的方法,本文将矩与多尺度小波分解的近似系数联系起来,利用空间基函数的双正交性推导得到了双正交小波矩不变量,并用实验验证了结果的正确性.同时以Haar小波为例对结论中的限制条件进行了理论分析和实验验证,结果表明可以计算高于平滑阶数的小波矩,且计算精度符合要求.由此获得了比较完善的理论和实验结果,最后指出了它在实际应用中所需注意的问题.     

一种基于Legendre展开的CS成像算法

针对SAR的侧视工作模式,本文提出了一种基于Legendre展开的CS成像算法。该算法采用Legendre多项式代替Taylor多项式对回波信号的二维频域传递函数进行展开,在此基础上,导出了Legendre多项式系数的数学表达式,并详细推导了CS算法流程中基于Legendre多项式的三个相位校正函数。理论推导和仿真结果验证了该算法的正确性和可行性。     

基于抽象解释的二进制代码变量区间分析

在二进制代码分析中,传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点,基于抽象解释理论,该文提出字级数据区间和位级数据区间的概念,分别对数值型数据变量和位级数据变量进行抽象表示;将抽象区间用于二进制代码变量运算,构建字级数据区间和位级数据区间的运算方法;引入区间集的概念,确立字级数据区间和位级数据区间的转换关系,提出字级数据区间和位级数据区间的相互转换算法。实验结果表明,该文提出的基于抽象解释的二进制代码变量区间分析方法能够精确高效地确定二进制代码变量的取值范围。     

基于Matlab的辗转相除法

辗转相除法是整数和多项式理论中求最大公因数和最大公因式的一类重要方法,对于较大的两个整数和次数较高的两个多项式而言,利用辗转相除法手动计算它们的最大公因数和最大公因子运算量非常大,基于减少运算时间并实现运算过程的目的,运用Matlab的相关函数,结合辗转相除算法,实现了两类辗转相除法的Matlab程序编写,并用具体例子验证了所编写程序的正确性。     

使用局部建模的微处理器测试程序自动生成方法

模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试...     

A static verification approach for architectural integration of mixed-signal integrated circuits

In this paper we present a static method for verifying the proper integration of analog and mixed-signal macroblocks into an integrated circuit. We consider the problem in a setting where there is no golden reference for verifying the validity of the interconnections between the blocks. The proposed verification methodology relies on an abstract modeling of the functional behavior of the blocks and a set of consistency criteria defined over the composition of these abstract models. A new formalism called mode sequence chart (MSeqC) has been presented for capturing the behavior of the blocks at a level of abstraction that is suitable for interconnection verification. We present rules to compose the MSeqCs of each block in an integrated design and present three criteria that indicate possible interconnection faults. We present a tool called AMS-IV (AMS-interconnection verification) that takes the design netlist as input, the MSeqC model of each design block as reference, and tests the three criteria.     

一种嵌入式CPU功能验证平台的设计

功能验证是嵌入式CPU设计中一项复杂而重要的工作.针对某8位嵌入式CPU的设计要求,提出了一种嵌入式CPU的高度集成化的功能验证平台.该验证平台集成了整个功能验证流程,包括验证程序开发、验证程序调试、验证数据生成、验证Testbench、验证配置环境、覆盖率分析、结果比较和分析及基于FPGA的硬件验证平台等.验证平台通过代码覆盖率的分析来改善验证的完备性.该验证平台原理清晰,结构简单,扩展灵活,提高了功能验证的效率和自动程度,对其它CPU验证平台的设计具有一定的参考价值.     

A new decoding algorithm for correcting both erasures and errors of Reed-Solomon codes

In this paper, a high efficient decoding algorithm is developed here in order to correct both erasures and errors for Reed-Solomon (RS) codes based on the Euclidean algorithm together with the Berlekamp-Massey (BM) algorithm. The new decoding algorithm computes the errata locator polynomial and the errata evaluator polynomial simultaneously without performing polynomial divisions, and there is no need for the computation of the discrepancies and the field element inversions. Also, the separate computation of the Forney syndrome needed in the decoder is completely avoided. As a consequence, the complexity of this new decoding algorithm is dramatically reduced. Finally, the new algorithm has been verified through a software simulation using C/sup ++/ language. An illustrative example of (255,239) RS code using this program shows that the speed of the decoding process is approximately three times faster than that of the inverse-free Berlekamp-Massey algorithm.     

某空间望远镜光机热集成分析

光机热集成分析技术是光学分析和结构分析相结合的一种有效手段。根据空间望远镜所处的环境,用有限元法在Ansys软件中进行热应力分析,通过接口工具Zernike多项式实现各个软件的数据交互。在VC++平台下编写了基于Gram-Schmidt正交化法的接口程序,将拟合后的多项式导入到Zemax中进行了分析。实现了光机集成分析的完整过程。实践证明,这一方法正确可靠,简化了光机热集成分析的过程,为光学系统和光机结构热匹配设计提供了重要设计依据。     

USB主机控制器端串行接口引擎IP的实现

通用串行总线USB是当前主流的计算机外设接口的总线标准。设计实现USB各功能模块的IP核对于SoC领域发展具有重要的现实意义。本文介绍了主机控制器端的串行接口引擎IP的设计、电路的功能仿真、综合以及验证等过程，提出并讨论了基于中科SoC开发平台的软／硬件协同设计验证的IP设计方法。结果表明该IP在功能和时序上符合USB技术规范1．1版本。达到了预定目标。