臧伟旺
- 作品数：2 被引量：1H指数：1
- 供职机构：中国电子科技集团第十四研究所更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于雷达软件安全的C程序到形式模型的转换方法被引量：1
- 2022年
- 文章主要以雷达系统软件安全为背景,首先提出了从C程序到基于一阶逻辑的形式模型的总体转换方法,通过定义辅助运算子,给出从C程序到形式模型保持语义一致的映射规则,对C程序的核心结构如赋值语句、条件语句、循环语句以及函数结构进行了规约,从而得到可执行的形式模型。最后,给出一个典型的C程序案例,应用转换规则生成了对应的形式模型,验证了转换方法的有效性。
- 臧伟旺朱健
- 关键词：C程序一阶逻辑
- 基于方位Deramp处理的宽覆盖DBS全孔径成像方法
- 2012年
- 为了获得大幅宽多普勒波束锐化(DBS)图像,现有的DBS成像算法往往需要进行复杂图像拼接。此外,现有成像方法为了保证DBS图像的锐化比恒定,除了要实时调整波束扫描速度外,还需要实时调整脉冲重复频率或积累脉冲个数,使得系统复杂度显著增加。文中在深入研究DBS成像机理的基础上,提出了一种基于方位Deramp处理的宽覆盖DBS全孔径成像方法。该方法利用方位Deramp消除了全场景回波的多普勒频谱混叠,无需进行图像拼接,通过一次全孔径FFT就能获得宽覆盖DBS图像。同时,只需实时调整波束指向,该方法就能实现恒定锐化比成像。实测数据处理结果证明文中方法的有效性。
- 孟宪奎臧伟旺郭德明
- 关键词：多普勒波束锐化
