-
公开(公告)号:CN108717470B
公开(公告)日:2020-10-23
申请号:CN201810611256.4
申请日:2018-06-14
Applicant: 南京航空航天大学
Abstract: 本发明提供的具有高准确度的代码片段推荐方法,包括:将项目进行切割、划分,生成类文件、代码片段、代码片段方法体和代码片段注释;将代码片段方法体和代码片段注释生成代码片段方法体向量和代码片段注释向量;对每个类文件进行编译和反编译,从反编译文件中提取代码片段的指令序列;将用户输入的查询生成查询向量,根据查询向量与代码片段文本特征之间的文本相似度,筛选出一组文本相似度最高的初步推荐结果;根据初步推荐结果中的所有代码片段之间的语义相似度,对初步推荐结果进行二次筛选和重新排序,形成最终推荐结果;本发明弥补了现存方法使用特征单一、推荐结果没有经过过滤,导致推荐准确度不高的缺陷;适用于开源代码片段推荐领域。
-
公开(公告)号:CN110737466A
公开(公告)日:2020-01-31
申请号:CN201910981926.6
申请日:2019-10-16
Applicant: 南京航空航天大学
Abstract: 本发明提供了一种基于静态程序分析的源代码编码序列表示方法,包括:获取源代码文本;对源代码文本进行转换,以得到源代码文本对应的原始抽象语法树;对原始抽象语法树进行精简;对精简后的原始抽象语法树进行遍历编码,以得到源代码文本的编码序列表示。本发明能够简化源代码文本对应的原始抽象语法树的树形结构,并能够较好的将原始抽象语法树的树形结构转换为编码序列,同时能够保证编码序列具有较好的检索性能和匹配性能。
-
公开(公告)号:CN108717470A
公开(公告)日:2018-10-30
申请号:CN201810611256.4
申请日:2018-06-14
Applicant: 南京航空航天大学
Abstract: 本发明提供的具有高准确度的代码片段推荐方法,包括:将项目进行切割、划分,生成类文件、代码片段、代码片段方法体和代码片段注释;将代码片段方法体和代码片段注释生成代码片段方法体向量和代码片段注释向量;对每个类文件进行编译和反编译,从反编译文件中提取代码片段的指令序列;将用户输入的查询生成查询向量,根据查询向量与代码片段文本特征之间的文本相似度,筛选出一组文本相似度最高的初步推荐结果;根据初步推荐结果中的所有代码片段之间的语义相似度,对初步推荐结果进行二次筛选和重新排序,形成最终推荐结果;本发明弥补了现存方法使用特征单一、推荐结果没有经过过滤,导致推荐准确度不高的缺陷;适用于开源代码片段推荐领域。
-
公开(公告)号:CN108845938B
公开(公告)日:2021-04-30
申请号:CN201810592511.5
申请日:2018-06-11
Applicant: 南京航空航天大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于抽象解释的嵌入式软件模块化Cache行为分析方法,属于计算机技术领域,包括:Cache行为分析框架形式化描述,以抽象解释理论为分析方法设计基础,对Cache行为执行过程进行抽象建模,对Cache架构和分析方法进行关联分析,形式化定义Cache行为分析过程;Cache行为分析框架实现,构建模块化分析框架以支持多种不同架构的Cache行为分析,达到Cache分析过程可重用的目的。本发明构建模块化分析框架以支持多种不同架构的Cache行为分析,确定Cache配置、分析方法和过程间的关系,提出了各层次间的阶段划分结构,构建了独立于Cache机制的Cache行为分析框架。
-
公开(公告)号:CN110616540A
公开(公告)日:2019-12-27
申请号:CN201910876079.7
申请日:2019-09-17
Applicant: 南京航空航天大学
Abstract: 本发明提供了一种工作状态可控的多桶洗衣机,由单个电机驱动,可控制多个洗衣桶工作状态的启停,实现了分类洗衣功能,同时也减少了不必要的能量损失。本发明还提出了一种新结构洗衣水加热装置,将加热元件布置在波轮里面,利用热传导原理实现对洗衣水的加热。洗衣机离合器中的波轮轴采用空心轴,为新型加热装置提供了必要的安装空间;在动力传动中引用了张紧轮,使皮带包角增大,有效保证了动力传动的稳定性。
-
公开(公告)号:CN108845938A
公开(公告)日:2018-11-20
申请号:CN201810592511.5
申请日:2018-06-11
Applicant: 南京航空航天大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于抽象解释的嵌入式软件模块化Cache行为分析方法,属于计算机技术领域,包括:Cache行为分析框架形式化描述,以抽象解释理论为分析方法设计基础,对Cache行为执行过程进行抽象建模,对Cache架构和分析方法进行关联分析,形式化定义Cache行为分析过程;Cache行为分析框架实现,构建模块化分析框架以支持多种不同架构的Cache行为分析,达到Cache分析过程可重用的目的。本发明构建模块化分析框架以支持多种不同架构的Cache行为分析,确定Cache配置、分析方法和过程间的关系,提出了各层次间的阶段划分结构,构建了独立于Cache机制的Cache行为分析框架。
-
公开(公告)号:CN118492906A
公开(公告)日:2024-08-16
申请号:CN202410669121.9
申请日:2024-05-28
Applicant: 南京航空航天大学
Abstract: 本发明涉及航空发动机转子装配设备技术领域,具体涉及一种用于鼓盘式压气机转子轴颈的螺母安装装置及安装方法。该螺母安装装置包括用于对鼓盘式压气机转子形成水平放置的支撑组件、扭力倍增器、第一拧紧机构和第二拧紧机构,支撑组件的第一支座和第二支座之间设置有用于容纳鼓盘和叶片的放置空间,扭力倍增器与鼓盘式压气机转子同轴布设,用于将输入转矩传递至鼓盘式压气机转子的转轴,在第一拧紧机构和第二拧紧机构的配合下,螺母与鼓盘式压气机转子产生周向相对运动,逐步将螺母拧紧。该用于鼓盘式压气机转子轴颈的螺母安装装置使得转子处于水平状态下实现了轴端圆螺母的装配,保证了圆螺母满足拧紧力矩的要求,提升了拧紧效果。
-
公开(公告)号:CN110737466B
公开(公告)日:2021-04-02
申请号:CN201910981926.6
申请日:2019-10-16
Applicant: 南京航空航天大学
Abstract: 本发明提供了一种基于静态程序分析的源代码编码序列表示方法,包括:获取源代码文本;对源代码文本进行转换,以得到源代码文本对应的原始抽象语法树;对原始抽象语法树进行精简;对精简后的原始抽象语法树进行遍历编码,以得到源代码文本的编码序列表示。本发明能够简化源代码文本对应的原始抽象语法树的树形结构,并能够较好的将原始抽象语法树的树形结构转换为编码序列,同时能够保证编码序列具有较好的检索性能和匹配性能。
-
公开(公告)号:CN212051997U
公开(公告)日:2020-12-01
申请号:CN201921541703.X
申请日:2019-09-17
Applicant: 南京航空航天大学
Abstract: 本实用新型提供了一种工作状态可控的多桶洗衣机,由单个电机驱动,可控制多个洗衣桶工作状态的启停,实现了分类洗衣功能,同时也减少了不必要的能量损失。本实用新型还提出了一种新结构洗衣水加热装置,将加热元件布置在波轮里面,利用热传导原理实现对洗衣水的加热。洗衣机离合器中的波轮轴采用空心轴,为新型加热装置提供了必要的安装空间;在动力传动中引用了张紧轮,使皮带包角增大,有效保证了动力传动的稳定性。(ESM)同样的发明创造已同日申请发明专利
-
-
-
-
-
-
-
-