高安全系统的软件开发与验证技术工信部重点实验室

Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology
 
2019年度专利申请或授权情况
发布人:陶传奇  发布时间:2020-10-25   浏览次数:579

2019年度专利申请或授权情况:

序号

申请或授权的专利名称

申请号或批准号

备注

1

一种可撤销的云数据安全共享方法

201910010904.5

刘哲;葛春鹏

2

一种基于无人机和信号相对强弱的地面目标定位方法

201910014187.3

朱小军,王友朋,董超

3

一种基于差分隐私的新型轨迹数据发布方法

201910018634.2

皮德常、赵晓东、陈俊夫

4

一种基于稳定性值的室内轨迹停留区域发现方法

201910021401.8

皮德常、陈怡

5

一种基于改进堆叠自编码器的卫星电源系统异常检测方法

201910021404.1

皮德常、张怀峰、江婧

6

基于分层计数的datalog并行增量维持方法

201910027398.0

秦小麟;项哲慧;高雅

7

一种时间依赖路网上的移动对象K近邻查询算法

201910030613.2

秦小麟,张彤,李星罗,陈骏岭,鲍斌国

8

无人机编队空中无线充电方法

201910053188.9

朱琨,徐金玮,陈兵

9

一种基于局部特征的车型精细识别方法

201910122389.X

周野;袁家斌;唐旭玮

10

一种在WPA无线网络中利用认证过程收集数据的方法

201910128659.8

朱小军;龚俊超

11

AADL模型精化方法及其支持的Ada可执行代码自动生成方法

201910158762.7

杨志斌,冯思喆,黄志球,李文心,谢健,周勇,王永孟

12

一种对抗网络自编码器的卫星异常检测方法

201910195659.X

皮德常、陈俊夫、吴致远

13

一种基于偏好的有向图最短路径搜索方法

201910195660.2

皮德常、赵晓东、吴致远

14

一种基于Seq2Seq生成对抗网络的城市人流预测方法

201910195736.1

王森章、缪浩、尹成语

15

一种基于强化学习框架的推荐系统离线训练方法

201910195737.6

皮德常、吴致远、赵晓东

16

一种基于道路网的关键词Skyline模糊查询方法及

系统

201910388590.2

秦小麟;李星罗;王宁;鲍斌国;张彤;陈骏岭

17

一种基于构件影响力的软件可靠性评估方法

201910401756.X

燕雪峰,陈悦

18

一种超密集网络中基于演化博弈理论的解耦多接入

方法

201910422967.1

朱琨,代陈,王然,陈兵

19

一种知识驱动的英汉单词语义相似度自动检测方法

201910438159.4

王铁鑫,曹静雯,李文心

20

一种隐式类型转换安全性检测方法

201910443613.5

周宇、梁志浩、王永超

21

一种基于三元组损失和轻量级网络的指静脉识别方法及系统

201910445146.X

刘宁钟,徐成路,孙涵,梁栋

22

动态最短路径查询及可视化

201910466168.4

许建秋、陈思雨

23

SysML安全性扩展及其到AADL故障模型的自动转换

方法

201910471898.3

杨志斌,李书铭,马燕燕,谢健,周勇

24

一种基于规范与描述语言的AADL功能行为拓展方法及工具

201910475574.7

杨志斌,宗喆,张博林,谢健,周勇

25

一种基于源代码的AADL功能行为模型逆向重构方法

201910475582.1

杨志斌,邱志凯,冯思喆,王铁鑫,周勇

26

一种WordNetNeo4J的映射方法、语义检测方法及语义计算扩展接口生成方法

201910477451.7

王铁鑫,李文心,曹静雯,杨志斌,周勇,陶传奇

27

一种基于评论数据的移动应用安全性评估方法

201910484227.0

陶传奇、郭虹静、黄志球

28

基于关系R树的不确定性时态数据管理与查询方法

201910504660.6

许建秋,韦建华

29

一种基于虚拟化的安卓恶意程序检测方法

201910542297.7

朱小军,杨志晗,李鑫,韩皓

30

一种面向缺失数已知的RFID缺失标签识别方法

201910565440.4

朱小军,钟慧

31

一种基于CSI相位差的手势识别系统及识别方法

201910609062.5

王拥军,马维华

32

一种基于语音通话的信息传输方法

201910796634.5

朱小军,张黎,陈兵

33

一种基于序列到序列模型的代码片段推荐方法

201910801074.8

周宇,闫鑫,黄志球

34

一种基于条件生成对抗网络的人脸去遮挡方法

201910811961.3

张立言,董佳媛

35

一种基于语义分析的概念数据模型自动转换方法

201910831201.9

王铁鑫,曹静雯,李文心

36

一种基于Coq的有限域GF(2^n)的形式化验证方法

201910920695.8

陈钢.范永乾.崔敏

37

基于时空信息建模的全自动2D视频到3D视频的转换

方法

201910952610.4

陈蓓,袁家斌,包秀平

38

基于深度学习和注意力机制的高效短视频内容智能分类方法

201910952622.7

包秀平,袁家斌,陈蓓

39

一种结合用户反馈信息的API推荐方法及终端

201910957514.9

周宇,杨忻莹,陈韬略,黄志球

40

G-F一种基于基****误检测方法

201910959641.2

庄毅,张倩雯,晏祖佳

41

G-F基于改进****调度方法

201910962067.6

庄毅;韦传讲;张夏豪

42

移动手机人流量数据可视化工具

201910674169.8

许建秋、郭胜男、陈思雨、陈良建

43

一种基于私有云的骚扰电话拦截方法

201911042912.4

钱嘉欣,马逸欣,吴天霖,朱小军

44

基于视频拍摄的非侵入式可视化测试脚本自动录制

方法

201911104693.8

钱巨;颜硕彦

45

一种基于图的布尔可满足性问题的目标算法预测方法

201911104913.7

张立言,程劲松

46

一种大规模医疗数据知识挖掘与治疗方案推荐系统

201911117826.5

张立言,黄兆孟

47

一种基于适应性函数和社区相似性的社团发现方法

201911161719.2

张凌筱、燕雪峰

48

一种面向云负载测试的共享式资源分配方法

201911163041.1

钱巨;晋文明

49

基于索引的非完整数据库Skyline查询方法

201911172051.1

秦小麟;鲍斌国;李星罗;张彤;陈骏岭

50

一种基于样本生成的轻量级深度模型航拍车辆检测

方法

201911200419.0

刘宁钟、白瑜颖、沈家全、后弘毅、陆保国

51

基于抬臂动作的智能手表身份认证方法

201911217626.7

王鹏程,涂华伟

52

一种可撤销的云数据安全共享方法

PCT/CN2019/083765

刘哲、葛春鹏

53

一种基于程序分析和循环神经网络的代码注释生成

方法

PCT/CN2019/088516

周宇 闫鑫
黄志球

54

群智感知系统中基于经验的激励政策

201911057382.0

江子慧 谭文安

55

一种口令具有时效且认证次数不受限的动态口令认证方法

201910582667.X

朱友文, 鲁迁迁, 李易乾, 戴士博

56

一种地面信号地图恢复方面及系统

20191126197.7

朱琨、张爱金

57

一种基于主动学习自组织蜂窝网络的故障诊断方法及系统

201911280120.0

朱琨、陈猛

58

一种新颖的移动对象目的地预测算法

201910976400.9

皮德常、李冰荣

59

一种基于深度FNN-LSTM混合网络的航天发动机剩余寿命预测方法

201910976399.X

皮德常、侯梦如

60

一种基于聚类的差分隐私轨迹数据保护方法

201910976396.6

皮德常、赵晓东

61

一种基于贝叶斯神经网络的卫星异常检测方法

201910976398.5

皮德常、陈俊夫

62

一种基于前缀树的差分隐私轨迹数据保护方法

201910976396.6

皮德常、赵晓东

63

一种基于传播图神经网络的互联网谣言检测方法

201910975893.4

皮德常、赵晓东

64

一种基于多模块神经网络的不平衡心拍分类方法

201910021402.2

皮德常,江婧

65

一种基于卷积神经网络的移动对象目的地预测方法

201910021405.6

皮德常,江婧

66

基于深度学习的在线心脏疾病检测系统.

2019SR0275246

皮德常,江婧

67

卫星电源异常检测系统

2019SR0280341

皮德常,张怀峰

68

一种肾透析治疗方案推荐方法及系统

201910777786.0

袁伟伟;史晨阳;关东海

69

一种基于桥接域迁移学习的符号预测方法

201910644073.7

袁伟伟;庞嘉丽;关东海;李晨亮

70

基于AADL-Modelica

201911131698.X

卜星晨、曹子宁、胡名光

71

基逻辑斯蒂回归的信息物理系统行为挖掘算法

201911131699.4

胡名光、曹子宁、卜星晨

72

群智感知系统中基于经验的激励政策

201911057382

江子慧、谭文安

73

 基于IFPA算法的Web服务组合方法

201911297106.1

吴嘉凯、谭文安、王慧

74

一种移动端登陆验证的方法

201911084667.3

刘亮,万杰,王益挺

75

一种无人机网络的航路感知路由方法

201911084499.8

张帆,高航,刘亮

76

一种面向计划性任务的云资源调度方法

201911084666.9

刘亮,马祖超,王益挺

77

一种多跳物联网环境下的基于感知器的恶意节点检测方法

201911084500.7

刘亮,马祖超,万杰

78

一种基于概率密度的CSI室内AP定位算法

201910705033.9

刘亮,王益挺,林琳

79

面向流式数据的分布式自动处理方法及系统

201910191363.0

夏正友,刘庆庆,刘赛赛

80

一种面向YOLO检测器的社交图片隐私保护方法和装置

201910191365.X

夏正友,刘赛赛,刘庆庆

81

一种基于深度迁移学习的跨城市交通流量联合预测

方法

201910306327.4

王森章、尹成语、缪浩

82

基于概率模型检测的动态故障树定量分析方法

201910065641.8

黄志球、乔森、王金永、宛伟健、谢健

83

一种危机事件驱动的自适应访问控制方法

201910167007.5

黄志球、杨阳、曹彦

83

一种基于统计模型检测的随机混成系统安全性分析

方法

201910387073.3

黄志球、乔森、王金永、谢健

85

一种基于主动学习的需求与代码之间可追踪性的自动生成方法

201910752552.0

沈国华、杜天保、喻垚慎、黄志球、吴德香

86

一种移动边缘计算中引入双子边缘的任务卸载框架

方法

201910292118.9

沈国华、吴德香、曹彦、黄志球、杜天保

87

支持STPA方法分析UCA的电子表格工具的实现方法

201910051503.4

王立松,冯涛,胡军