公开(公告)号：CN110457630A

公开(公告)日：2019-11-15

申请号：CN201910694279.0

申请日：2019-07-30

Applicant: 北京航空航天大学

Inventor： 蒋竞 ,  刘一帆 ,  张莉

IPC: G06F16/958 ,  G06K9/62 ,  G06Q50/00 ,  H04L29/08

Abstract: 本发明涉及一种开源社区异常点赞用户的识别方法及系统，属于异常用户识别技术领域，解决了现有技术中对开源社区异常点赞用户识别率低的问题。该方法包括以下步骤：获取样本用户数据；根据样本用户数据构建决策树，训练得到决策树分类模型；利用决策树分类模型对待识别用户进行分类，确定用户类别；用户类别包括正常点赞用户和异常点赞用户。本发明根据用户属性和用户点赞项目属性，能够更精确的识别出异常点赞用户，以净化开源社区环境。

公开(公告)号：CN107066382A

公开(公告)日：2017-08-18

申请号：CN201710138290.X

申请日：2017-03-09

Applicant: 北京航空航天大学

Inventor： 刘艳芳 ,  刘一帆 ,  吕江花 ,  李乃海 ,  乌尼日其其格 ,  张海祥 ,  马世龙

IPC: G06F11/36

Abstract: 本发明公开了一种基于模型的航天器系统自动化测试方法，属于系统测试领域；首先通过形式化的方法建立被测航天器系统的窗口树模型，根据业务流程划分被测航天器系统运行时的行为状态，构建系统行为状态转移图；然后遍历窗口树生成测试用例集，并在被测航天器数字化模型与验证原型系统运行，设置跟踪点，获取系统行为状态并记录状态转移序列，最后通过模型检测算法检查所获得的行为状态转移序列是否遵循状态转移规则，从而自动验证被测航天器系统总体设计以及模块之间的接口设计；本发明采用基于模型的测试技术降低航天器系统测试成本和缩短航天器系统整个研制周期，采用形式化方法和模型检测算法提高了航天器系统测试的质量和准确性。

公开(公告)号：CN102662756A

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

申请号：CN201210046714.7

申请日：2012-02-27

Applicant: 北京航空航天大学

Inventor： 郑征 ,  郭泽 ,  刘一帆 ,  闫金栋 ,  林树民 ,  蔡开元

IPC: G06F9/50

Abstract: 一种资源可调整的卫星并行测试资源配置方法，包括以下步骤：步骤1、使用遗传算法求解卫星并行测试任务调度模型；步骤2、获得调度方案以及资源信息；步骤3、根据资源信息调整资源量；步骤4、调整结束。该方法根据项目的具体需求匹配资源，以达到减小项目工期并提高资源使用率的目的，从而提高调度方案品质。它在航空航天并行测试技术领域里具有良好的应用前景。