上下文敏感的纵向传播算法

通过基于包含的指针分析在线优化技术中的纵向传播方法,改进基于调用图上下文敏感指针分析的环消除技术,提出一种上下文敏感的纵向传播算法。初始化约束图,在约束图中进行环探测及其合并,执行差异传播并循环处理复杂约束,直到一次调用纵向传播例程后图中所有结点指向集不变为止,从而得到图中各结点到其指向集的映射。应用CIL工具的实验结果表明,该算法能有效地对源程序进行上下文敏感的指针分析,与环消除技术相比,在分析大规模程序时具有更高的时间效率。

RFID读写器发射模块电路设计与实现

根据EPC Class 1 Generation 2协议和FCC标准,要求发射模块的发射频率精度为±10×10-6（10 ppm）,发射功率在20～30 dBm之间。我们用Genesis等软件对发射模块的各个部分电路进行设计并绘制PCB板,利用频谱分析仪等设备对射频板的发射模块进行测试,发射功率能达到24 dBm左右;单音测试时发射频率偏差约22 Hz;调制信号测试时频率偏差约3.5 kHz,其他指标也符合要求。结果表明发射模块性能良好,能很好地满足设计指标要求。

基于Nios Ⅱ的UHF RFID读写器设计与实现

基于FPGA的数字基带系统是超高频频段射频识别读写器中的关键部分。根据EPCglobalClass 1 Gen 2标准,用Verilog语言编写了脉冲间隔编码模块和双相空号解码模块,并用C语言编写了其驱动程序,生成组件模块。组件作为Nios II嵌入系统的模块,可以重复使用。对于应用程序开发者,不用了解硬件结构就可以使用标准C函数操作组件,使得开发简便快捷,节省了时间和成本。

改进的基于包含的指针分析在线优化技术

针对当前最优秀的基于包含的指针分析在线优化技术即横向传播和纵向传播方法的不足之处,提出一个改进的算法。首先简要介绍基于包含的指针分析方法及其在线优化技术;其次描述横向传播和纵向传播方法,进而说明它们存在的一些缺陷;然后针对这些缺陷提出一个改进的算法,该算法能够在不损失时间开销的条件下以更小的内存开销实现横向传播,能在纵向传播过程中检测出约束图中所有的强连通分量;最后通过一个实例分析及使用CIL工具进行的实验验证了该改进算法的优越性。

上下文敏感的横向传播方法

为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法。该算法使用当前最优秀的基于包含的指针分析在线改进技术。首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用CIL工具进行实验,实验证明上下文敏感的横向传播算法在分析大规模程序时的时间花费减少了9s左右。