一种用于指针程序的形状分析方法

指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。     

基于小波分析和支持向量机的模拟电路故障诊断

针对模拟电路故障诊断,采用基于小波分析和支持向量机的诊断测试方法,将方波信号作为输入信号激励电路,对电路的响应信号进行小波分析并提取信号的能量作为故障特征向量,并最终利用SVM的一对一多分类方法实现了故障分类。通过对ITC97中的Elliptical Filter电路仿真验证表明,方波信号能够比单频信号更好地激励电路故障,本文所采用的方法能够有效地应用于模拟电路的故障诊断测试中。     

应用无线网络技术组建局域网的关键技术研究

目前无线局域网技术已经迅速发展成为计算机网络中一个至关重要的组成部分,因而对无线局域网关键技术的研究也就显得尤为重要。本文首先介绍了几种WLAN技术标准,并分析了各个标准的优劣。其次着重分析了IEEE802.11网络的基本组成与网络架构,最后探讨了WLAN技术的关键技术指标,对无线局域网技术进行了较详细的探究。