臧伟旺

作品数：2被引量：1H指数：1
导出分析报告
供职机构：中国电子科技集团第十四研究所更多>>
发文主题：一阶逻辑C程序雷达成像方法DBS更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《现代信息科技》《现代雷达》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于雷达软件安全的C程序到形式模型的转换方法被引量：1
《现代信息科技》2022年第7期26-28,31,共4页臧伟旺 朱健 
文章主要以雷达系统软件安全为背景,首先提出了从C程序到基于一阶逻辑的形式模型的总体转换方法,通过定义辅助运算子,给出从C程序到形式模型保持语义一致的映射规则,对C程序的核心结构如赋值语句、条件语句、循环语句以及函数结构进行...
关键词：软件安全 C程序 一阶逻辑 形式模型 
基于方位Deramp处理的宽覆盖DBS全孔径成像方法
《现代雷达》2012年第9期36-39,共4页孟宪奎 臧伟旺 郭德明 
为了获得大幅宽多普勒波束锐化(DBS)图像,现有的DBS成像算法往往需要进行复杂图像拼接。此外,现有成像方法为了保证DBS图像的锐化比恒定,除了要实时调整波束扫描速度外,还需要实时调整脉冲重复频率或积累脉冲个数,使得系统复杂度显著增...
关键词：多普勒波束锐化 方位deramp 全孔径 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部