公开(公告)号：CN105607091B

公开(公告)日：2018-02-09

申请号：CN201610079931.4

申请日：2016-02-04

Applicant: 北京轩宇信息技术有限公司

Inventor： 田甜 ,  于志杰 ,  赵鹏 ,  张金巍 ,  朱倩 ,  崔超 ,  赵欢 ,  程立明

IPC: G01S19/29

Abstract: 一种改进的基于扩展卡尔曼滤波的载波跟踪环，包括基带信号预处理模块、矩阵计算模块、扩展卡尔曼滤波模块和本地NCO。在每一个时间段T内基带信号预处理模块根据本地载波信号对信号I和信号Q进行预处理得到观测值，矩阵计算模块计算线性化矩阵H，经过扩展卡尔曼滤波模块计算得到相位和频率的估计值，用于本地NCO生成本地载波信号输出给基带信号预处理模块，实现每一个时间段T内的载波跟踪。本发明无需鉴相器辅助，适用于低信噪比、高动态情况下存在调制信息时的跟踪需求，硬件实现简单，能够有效提高整个载波跟踪环的运行速率，同时降低资源消耗。

公开(公告)号：CN104461896A

公开(公告)日：2015-03-25

申请号：CN201410795028.9

申请日：2014-12-18

Applicant: 北京轩宇信息技术有限公司

Inventor： 高栋栋 ,  胡智琦 ,  冀会芳 ,  朱倩 ,  程立明 ,  赵欢 ,  腾俊元

IPC: G06F11/36

Abstract: 基于可信属性的航天系统关键软件评价方法，本方法通过建立不同层次、不同阶段的软件可信属性度量五边形，实现对软件可信属性的度量，然后由度量五边形构建度量驱动链，度量驱动链构建度量雷达图，度量雷达图综合反映了软件的可信程度，最后通过计算并比较雷达图中可信属性度量值连接的多边形的面积和可信属性要求值连接的多边形面积，评价软件能否用于航天关键系统中。本发明以航天软件中主要涉及的软件可信属性为度量基础，为全面度量航天软件的可信性提供了一种参考方法，可以作为软件能否使用于航天关键系统中的评价方法。

公开(公告)号：CN104461896B

公开(公告)日：2017-05-10

申请号：CN201410795028.9

申请日：2014-12-18

Applicant: 北京轩宇信息技术有限公司

Inventor： 高栋栋 ,  胡智琦 ,  冀会芳 ,  朱倩 ,  程立明 ,  赵欢 ,  腾俊元

IPC: G06F11/36

Abstract: 基于可信属性的航天系统关键软件评价方法，本方法通过建立不同层次、不同阶段的软件可信属性度量五边形，实现对软件可信属性的度量，然后由度量五边形构建度量驱动链，度量驱动链构建度量雷达图，度量雷达图综合反映了软件的可信程度，最后通过计算并比较雷达图中可信属性度量值连接的多边形的面积和可信属性要求值连接的多边形面积，评价软件能否用于航天关键系统中。本发明以航天软件中主要涉及的软件可信属性为度量基础，为全面度量航天软件的可信性提供了一种参考方法，可以作为软件能否使用于航天关键系统中的评价方法。

公开(公告)号：CN105607091A

公开(公告)日：2016-05-25

申请号：CN201610079931.4

申请日：2016-02-04

Applicant: 北京轩宇信息技术有限公司

Inventor： 田甜 ,  于志杰 ,  赵鹏 ,  张金巍 ,  朱倩 ,  崔超 ,  赵欢 ,  程立明

IPC: G01S19/29

CPC classification number: G01S19/29

Abstract: 一种改进的基于扩展卡尔曼滤波的载波跟踪环，包括基带信号预处理模块、矩阵计算模块、扩展卡尔曼滤波模块和本地NCO。在每一个时间段T内基带信号预处理模块根据本地载波信号对信号I和信号Q进行预处理得到观测值，矩阵计算模块计算线性化矩阵H，经过扩展卡尔曼滤波模块计算得到相位和频率的估计值，用于本地NCO生成本地载波信号输出给基带信号预处理模块，实现每一个时间段T内的载波跟踪。本发明无需鉴相器辅助，适用于低信噪比、高动态情况下存在调制信息时的跟踪需求，硬件实现简单，能够有效提高整个载波跟踪环的运行速率，同时降低资源消耗。