公开(公告)号：CN102663521A

公开(公告)日：2012-09-12

申请号：CN201210118809.5

申请日：2012-04-20

Applicant: 西安电子科技大学

Inventor： 段振华 ,  马倩 ,  王小兵 ,  田聪

IPC: G06Q10/04

Abstract: 本发明公开了一种MSVL线性约束系统及其执行方法，属形式化建模与约束求解技术领域。MSVL线性约束系统包括约束定义子系统和求解子系统，约束定义子系统中的各语句模块的语法结构适用于约束求解子系统中的语义等价规则和状态迁移规则。MSVL线性约束系统执行方法是选择相应的语句模块将待解问题建模为MSVL程序M；用语义等价规则将M化简为w∧q的形式，用状态迁移规则在当前状态执行状态程序w，之后用状态间迁移规则将时序程序q化简到下一状态继续执行，最后给出解决方案。本发明是在区间逻辑语言中扩展了线性约束结构，具有强大的表达能力，更便于解决工业应用如调度、计算机视觉和组合优化问题等中具有线性约束的系统。

公开(公告)号：CN102663521B

公开(公告)日：2015-06-17

申请号：CN201210118809.5

申请日：2012-04-20

Applicant: 西安电子科技大学

Inventor： 段振华 ,  马倩 ,  王小兵 ,  田聪

IPC: G06F17/50

Abstract: 本发明公开了一种MSVL线性约束系统及其执行方法，属形式化建模与约束求解技术领域。MSVL线性约束系统包括约束定义子系统和求解子系统，约束定义子系统中的各语句模块的语法结构适用于约束求解子系统中的语义等价规则和状态迁移规则。MSVL线性约束系统执行方法是选择相应的语句模块将待解问题建模为MSVL程序M；用语义等价规则将M化简为w∧q的形式，用状态迁移规则在当前状态执行状态程序w，之后用状态间迁移规则将时序程序q化简到下一状态继续执行，最后给出解决方案。本发明是在区间逻辑语言中扩展了线性约束结构，具有强大的表达能力，更便于解决工业应用如调度、计算机视觉和组合优化问题等中具有线性约束的系统。

公开(公告)号：CN103901428A

公开(公告)日：2014-07-02

申请号：CN201410122328.0

申请日：2014-03-28

Applicant: 西安电子科技大学

Inventor： 梁毅 ,  李震宇 ,  马倩 ,  邢孟道 ,  王虹现

IPC: G01S13/90 ,  G06F19/00

CPC classification number: G01S13/9011 ,  G01S7/41 ,  G01S2013/9041 ,  G01S2013/907

Abstract: 本发明属于雷达信号处理领域，公开了一种弹载SAR子孔径前斜视高阶非线性调频变标成像方法，其利用子孔径数据实现弹载SAR前斜视高阶非线性调频变标成像，可用于机载、弹载平台SAR成像。其主要步骤为：（1）对回波信号进行距离脉压和时域走动校正；（2）将信号变到二维频域进行频域徙动校正和二次压缩并补偿方位向的高次相位；（3）在方位频域引入高阶非线性调频变标扰动因子，校正多普勒调频率和方位向高次项的空变；（4）通过谱分析处理将图像聚焦在方位频域上。本发明解决了距离方位的解耦合以及时域校正走动而带来的方位聚焦深度问题，其方法能够适应不同的场景及高分辨率要求，也可用于地图测绘等领域。

公开(公告)号：CN103901428B

公开(公告)日：2016-08-24

申请号：CN201410122328.0

申请日：2014-03-28

Applicant: 西安电子科技大学

Inventor： 梁毅 ,  李震宇 ,  马倩 ,  邢孟道 ,  王虹现

IPC: G01S13/90 ,  G06F19/00

Abstract: 本发明属于雷达信号处理领域，公开了一种弹载SAR子孔径前斜视高阶非线性调频变标成像方法，其利用子孔径数据实现弹载SAR前斜视高阶非线性调频变标成像，可用于机载、弹载平台SAR成像。其主要步骤为：（1）对回波信号进行距离脉压和时域走动校正；（2）将信号变到二维频域进行频域徙动校正和二次压缩并补偿方位向的高次相位；（3）在方位频域引入高阶非线性调频变标扰动因子，校正多普勒调频率和方位向高次项的空变；（4）通过谱分析处理将图像聚焦在方位频域上。本发明解决了距离方位的解耦合以及时域校正走动而带来的方位聚焦深度问题，其方法能够适应不同的场景及高分辨率要求，也可用于地图测绘等领域。

公开(公告)号：CN104007437A

公开(公告)日：2014-08-27

申请号：CN201410216266.X

申请日：2014-05-21

Applicant: 西安电子科技大学

Inventor： 梁毅 ,  马倩 ,  刘士杰 ,  邢孟道 ,  王虹现

IPC: G01S13/90

CPC classification number: G01S13/90 ,  G01S7/32

Abstract: 本发明属于雷达实时成像处理技术领域，特别涉及基于FPGA和多DSP的SAR实时成像处理方法。该处理方法包括以下步骤：利用FPGA芯片对回波数据进行预处理，得到子孔径数据；FPGA芯片将每个子孔径数据按顺序发送至第一DSP，并由其交替转发至第三、四、七DSP进行多普勒中心估计、距离徙动校正、多普勒调频率估计、运动参数估计，将处理后的数据经第一片DSP按顺序转发至第八DSP；第八DSP对每个子孔径数据沿距离向分成三块，分别发送至第二、五、六DSP进行运动参数拟合、相位补偿、方位脉压、多视处理，得到对应的分块图像数据；将分块图像数据回传至第八DSP进行图像量化、图像拼接处理，最终得到一幅SAR图像。