公开(公告)号：CN103914301A

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

申请号：CN201410119795.8

申请日：2014-03-27

Applicant: 北京邮电大学

Inventor： 黄俊飞 ,  李峰 ,  宫云战 ,  王雅文 ,  金大海

IPC: G06F9/44

Abstract: 本发明涉及一种复杂符号运算的等价变换方法，包括：S1：定义简单运算和复杂运算，其中，简单运算为+、-、×，复杂运算为除去简单运算以外的所有其他运算；S2：依据预设变换原则进行变换及处理。本发明能处理符号表达式中的复杂运算，由于复杂的运算在逻辑上可以转化为简单运算，因此，提出等价变换的方法，将复杂运算转化为逻辑等价的简单运算。即只要能处理简单运算，就能处理复杂运算，从而大大降低了符号表达式的处理难度，然后进一步进行简单符号运算的处理方法，具有处理的简易型。本发明还提出了一种复杂符号运算的等价变换装置。

公开(公告)号：CN103593291A

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

申请号：CN201310581759.9

申请日：2013-11-18

Applicant: 北京邮电大学

Inventor： 黄俊飞 ,  宫云战 ,  金大海 ,  王雅文 ,  李峰

IPC: G06F11/36

Abstract: 本发明公开了一种用于包括多个函数测试模块的单元测试方法及装置，为解决现有的单元测试中无法实现函数调用语句中函数错误的测试而设计。所述方法包括构建测试模块，所述测试模块包括两个以上有调用关系的函数；根据测试模块内程序的逻辑关系及函数间的调用关系形成若干条函数间路径；为每一条所述函数间路径选择测试用例进行测试。所述方法及装置在单元测试阶段即可及时的发现函数调用中的错误，避免了将函数调用的错误延迟到集成测试中，进而及时的对软件中函数调用的错误进行修正，达到了降低测试成本的目的。

公开(公告)号：CN104035864B

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

申请号：CN201310693444.3

申请日：2013-12-17

Applicant: 北京邮电大学

Inventor： 黄俊飞 ,  宫云战 ,  李峰 ,  王雅文 ,  金大海

IPC: G06F11/36

Abstract: 本发明公开了一种基于矛盾片段模式的路径生成方法，包括：A、从控制流图中选择本次路径生成的起点作为当前点，然后执行步骤B；B、选择后继点，然后执行步骤C；C、如果成功选到后继点，则执行步骤G；否则执行步骤D；D、查看是否还有前一个点，有则执行步骤E；否则执行步骤F；E、将前一个点设为当前点，然后执行步骤B；F、由于已经回退到起点，所以生成路径失败；G、查看后继点是否是路径的终点，是则成功生成路径；否则执行步骤H；H、将后一个点设置为当前点，然后执行步骤B。采用本发明方法，能够在路径生成过程中快速检测当前路径片段已经是不可达路径，从而大大提高判定不可达路径的效率。

公开(公告)号：CN103914380A

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

申请号：CN201410115157.9

申请日：2014-03-26

Applicant: 北京邮电大学

Inventor： 宫云战 ,  李峰 ,  黄俊飞 ,  金大海 ,  王雅文

IPC: G06F11/36

Abstract: 本发明涉及一种结构测试中的边界值测试方法及其系统，所述方法包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句边界值和所述表达式边界值选择对应的可达路径；S4，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果。本发明的结构测试中的边界值测试方法及其系统，通过对不同的语句以及表达式选择特定的边界值覆盖准则，可以快速地找到对应的边界值，从而可以在结构测试中对语句以及表达式的边界值进行测试。

公开(公告)号：CN114124289A

公开(公告)日：2022-03-01

申请号：CN202111405144.1

申请日：2021-11-24

Applicant: 北京邮电大学 ,  国网新疆电力有限公司电力科学研究院 ,  中国电力科学研究院有限公司

Inventor： 张琦 ,  忻向军 ,  汪明鑫 ,  姚海鹏 ,  尹军 ,  郭学让 ,  高凯强 ,  王亚男 ,  王曦朔 ,  田凤 ,  田清华 ,  王拥军 ,  杨雷静 ,  蒋锦坤 ,  李峰

IPC: H04J14/06

Abstract: 本发明公开了一种基于容积卡尔曼滤波器的快速偏振态旋转(RSOP)补偿算法，步骤包括：根据前一离散时刻的RSOP的状态矢量和误差协方差矩阵，计算容积点并且传播容积点，对当前时刻的状态矢量和误差协方差矩阵进行估计；对频偏估计后的数据存在的残余频偏误差进行补偿；同时，利用三阶球面‑相径容积的容积卡尔曼滤波补偿算法结合快速傅里叶变换对振幅和相位的估计，对载波相位噪声进行补偿；将星座点作为对恢复信号的参考基准，利用恢复信号计算得到新息矢量，从而更新状态矢量和误差协方差矩阵，用于下个离散时刻的估计。本发明基于容积卡尔曼滤波算法实现RSOP跟踪和恢复，解决高速偏振复用系统中快速时变RSOP带来的信号畸变问题，提高效率、降低复杂度。