基于DSP处理器的导弹天线罩误差补偿系统

介绍一种基于高速信号处理器TMS3 2 0C3 1的战术导弹天线罩瞄准线误差补偿系统。它采集导引头俯仰和偏航两伺服通道的角反馈电位计和多普勒频率信号及输出俯仰和偏航两指令通道的补偿信号。系统输入数据经A/D定时采集进入数据缓存器 ,CPU采用读存储器的方式读进数据 ,经过运算后D/A输出并与导引头指令相加送给自动驾驶仪。利用射频仿真系统对该补偿系统进行动态实物联试 ,试验表明该补偿系统达到了很高的补偿精度。

WAPI安全接入过程的形式化验证

WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上,使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏洞,文章最后针对这些安全漏洞提出了一些改进的建议。