基于模型检验的软件安全静态分析研究
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件...
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件...
·0.13μmDSP芯片静态电流测试失效分析研究...
线性预测技术作为一种基于全极点模型假定和均方预测误差最小准则下的波形逼近技术。本文简要介绍了LPC 技术的基本原理,并利用MATLAB 这一有力工具对语音信号进行了LPC 分析,并对阶数的选取...
cdma2000下的鉴权算法分析研究,为广大cdma2000的研究学者提供一定的参考。...
基于时频分布的跳频信号分析研究,短时傅立叶变换,魏格纳分布,伪魏格纳分布,平滑伪魏格纳分布...