基于楔石变换和积分二次函数的运动目标聚焦方法

    公开(公告)号:CN108535724A

    公开(公告)日:2018-09-14

    申请号:CN201810086644.5

    申请日:2018-01-30

    Abstract: 本发明提供了一种基于楔石变换和积分二次函数的运动目标聚焦方法,主要解决现有运动目标聚焦方法不能有效补偿运动目标的高阶距离和多普勒徙动的问题。其实现步骤是:发射脉冲线性调频信号,并接收雷达回波;读取雷达回波信号进行距离向脉冲压缩和快速傅里叶变换;在距离频域中进行方位慢时间反转变换;对方位慢时间反转变换后的信号进行二阶楔石变换;对二阶楔石变换后的信号进行距离频域逆快速傅里叶变换;提取单个距离单元的方位慢时间信号进行积分二次函数处理,估计二次项,构造补偿函数聚焦运动目标,遍历所有距离单元聚焦全部目标。本发明能有效补偿运动目标的高阶距离和多普勒徙动,用于合成孔径雷达运动目标聚焦成像。

    基于广义内积任意阵列下的干扰样本剔除方法

    公开(公告)号:CN106855618A

    公开(公告)日:2017-06-16

    申请号:CN201710129122.4

    申请日:2017-03-06

    CPC classification number: G01S7/292

    Abstract: 本发明提供了一种基于广义内积任意阵列下的干扰样本剔除方法,解决了目前无法对任意阵列构型天线的回波样本进行挑选的技术问题。其实现步骤是:利用雷达发射信号,选取对应回波数据作为训练样本;离线组成杂波子空间的低秩逼近矩阵Ur;离线计算杂波协方差矩阵的逆矩阵;计算每个训练样本的广义内积值;设定检测门限η;对干扰样本进行剔除,筛选训练样本,最终得到消除干扰样本后的待测样本,以便进行下一步空时二维自适应处理。本发明离线构造杂波协方差的逆矩阵,其中包含单个阵元的位置及波束指向信息,因此可剔除任意阵列构型天线下的干扰样本,处理结果不受训练样本的影响,且运算量小。用于机载及空间雷达空时二维信号处理。

    一种基于区块链的抵押评价方法

    公开(公告)号:CN113034120A

    公开(公告)日:2021-06-25

    申请号:CN202011446462.8

    申请日:2020-12-09

    Abstract: 本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法,建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法,然后系统使用链上评价信息,采用机器学习等手段,过滤掉机器生成的批量无效评价,并调整评价权重,最终展示校正前后的综合评分和评价。此外系统还需要提供过滤和校正权重的算法以及合理性说明。本发明可以提供一种利用机器学习算法辅助提高系统评价可信度的方法。由于通过区块链,合约的状态和存在变得明显,这提供了永久的、公开的和不可更改的记录,用户能够完全的监督系统的校正工作,提高了系统和评论的可信度。

    基于相参累积的地面微弱运动目标参数估计方法

    公开(公告)号:CN109507669A

    公开(公告)日:2019-03-22

    申请号:CN201811598909.6

    申请日:2018-12-26

    Abstract: 本发明公开了一种基于相参累积的地面微弱运动目标参数估计方法,主要解决现有方法在低信噪比条件下性能恶化严重的问题。其实现方案是:发射脉冲线性调频信号,并接收运动目标回波信号;对目标回波信号依次进行解调、脉冲压缩和快速傅立叶变换处理;利用雷达平台速度构建距离弯曲补偿函数,并对快速傅立叶变换后的信号进行距离弯曲补偿;利用粗估计的径向速度构建距离走动补偿函数,并对距离弯曲补偿后的信号进行距离走动补偿;对距离走动补偿后的信号利用吕氏分布进行相参累积聚焦与运动参数精估计。本发明降低了运动目标能量相参累积的损失,提升了运动目标聚焦与参数估计的性能,可用于地面微弱运动目标的聚焦与参数估计。

    基于地形轮廓匹配的惯性导航系统速度累积误差修正方法

    公开(公告)号:CN106052688B

    公开(公告)日:2019-01-08

    申请号:CN201610644276.2

    申请日:2016-08-08

    Abstract: 本发明涉及基于地形轮廓匹配的惯性导航系统速度累积误差修正方法,主要解决现有地形轮廓匹配方法不能修正惯性导航系统速度误差的问题。其实现步骤是:1)根据惯性导航系统指示在地形高程图中找到航行器的位置;2)根据航行器的位置,获取实测高程序列的起始坐标;3)根据实测高程序列的起始坐标,获取实测地形高程序列,并构造地形匹配起始点搜索区;4)根据地形匹配起始点搜索区的范围读取搜索区高程序列,计算搜索区各高程序列与实测高程序列的平方差,得到地形匹配位置坐标;6)根据实测高程序列起始坐标和地形匹配位置坐标对惯性导航系统进行速度修正。本发明减小了惯性导航系统的速度误差和地形匹配位置误差,可用于地形匹配辅助导航。

    基于楔石变换和积分二次函数的运动目标聚焦方法

    公开(公告)号:CN108535724B

    公开(公告)日:2021-04-30

    申请号:CN201810086644.5

    申请日:2018-01-30

    Abstract: 本发明提供了一种基于楔石变换和积分二次函数的运动目标聚焦方法,主要解决现有运动目标聚焦方法不能有效补偿运动目标的高阶距离和多普勒徙动的问题。其实现步骤是:发射脉冲线性调频信号,并接收雷达回波;读取雷达回波信号进行距离向脉冲压缩和快速傅里叶变换;在距离频域中进行方位慢时间反转变换;对方位慢时间反转变换后的信号进行二阶楔石变换;对二阶楔石变换后的信号进行距离频域逆快速傅里叶变换;提取单个距离单元的方位慢时间信号进行积分二次函数处理,估计二次项,构造补偿函数聚焦运动目标,遍历所有距离单元聚焦全部目标。本发明能有效补偿运动目标的高阶距离和多普勒徙动,用于合成孔径雷达运动目标聚焦成像。

    面向C源码的自动化形式化验证工具及方法

    公开(公告)号:CN112685315A

    公开(公告)日:2021-04-20

    申请号:CN202110007064.4

    申请日:2021-01-05

    Abstract: 本发明公开了面向C源码的自动化形式化验证工具及方法,将编写好的代码功能规范插入C源码中,然后将功能规范和C源码自动转换成程序验证器可处理的中间表示,接着程序验证器将中间表示转换成中间验证语言代码,供形式化验证输入使用;采用形式化方法,可对转换的源代码进行自动化的形式化验证,以验证源代码的功能性和安全性。在各接口函数通过代码功能正确性验证的基础上,利用行为建模语言和组合验证技术构建抽象模型;然后利用模型仿真引擎和属性检测引擎模拟交互行为,验证安全属性,判断代码是否满足安全属性规范。本发明能够以自动化的形式,实现对C源码的形式化验证,其中使用的中间表示生成器可以自动化生成中间表示,程序验证器可以自动化生成中间验证语言代码,模型仿真引擎和属性检测引擎可以自动化验证安全属性,这些措施可以极大的提高C源码验证的效率,减少人工参与度。

    基于地形轮廓匹配的惯性导航系统速度累积误差修正方法

    公开(公告)号:CN106052688A

    公开(公告)日:2016-10-26

    申请号:CN201610644276.2

    申请日:2016-08-08

    Abstract: 本发明涉及基于地形轮廓匹配的惯性导航系统速度累积误差修正方法,主要解决现有地形轮廓匹配方法不能修正惯性导航系统速度误差的问题。其实现步骤是:1)根据惯性导航系统指示在地形高程图中找到航行器的位置;2)根据航行器的位置,获取实测高程序列的起始坐标;3)根据实测高程序列的起始坐标,获取实测地形高程序列,并构造地形匹配起始点搜索区;4)根据地形匹配起始点搜索区的范围读取搜索区高程序列,计算搜索区各高程序列与实测高程序列的平方差,得到地形匹配位置坐标;6)根据实测高程序列起始坐标和地形匹配位置坐标对惯性导航系统进行速度修正。本发明减小了惯性导航系统的速度误差和地形匹配位置误差,可用于地形匹配辅助导航。

    基于相参累积的地面微弱运动目标参数估计方法

    公开(公告)号:CN109507669B

    公开(公告)日:2022-04-19

    申请号:CN201811598909.6

    申请日:2018-12-26

    Abstract: 本发明公开了一种基于相参累积的地面微弱运动目标参数估计方法,主要解决现有方法在低信噪比条件下性能恶化严重的问题。其实现方案是:发射脉冲线性调频信号,并接收运动目标回波信号;对目标回波信号依次进行解调、脉冲压缩和快速傅立叶变换处理;利用雷达平台速度构建距离弯曲补偿函数,并对快速傅立叶变换后的信号进行距离弯曲补偿;利用粗估计的径向速度构建距离走动补偿函数,并对距离弯曲补偿后的信号进行距离走动补偿;对距离走动补偿后的信号利用吕氏分布进行相参累积聚焦与运动参数精估计。本发明降低了运动目标能量相参累积的损失,提升了运动目标聚焦与参数估计的性能,可用于地面微弱运动目标的聚焦与参数估计。

Patent Agency Ranking