“喻垚慎”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果6个，建议您升级VIP下载更多相关专利

[发明专利]一种基于主动学习的需求与代码之间可追踪性的自动生成方法-CN201910752552.0有效
发明人：沈国华;杜天保;喻垚慎;黄志球;吴德香 -专利权人：南京航空航天大学
申请日： 2019-08-15 - 公布日： 2023-08-22 - 主分类号： G06F18/241 文献下载
摘要：本发明公开了一种基于主动学习的需求与代码之间可追踪性的自动生成方法，属于软件工程技术领域，包括对要建立可追性的源制品和目标制品进行预处理；通过基于池的主动学习方法生成训练集；建立一组可以体现追踪链特性的特征，特征包括两类：基于IR的特征和查询质量特征；利用再平衡技术平衡训练集中数据；利用随机森林分类算法在训练集上训练出分类器；通过分类器将追踪链自动的分类为有效和无效；实现了在减少追踪链标记数量的同时，可以保持较高的追踪链创建的准确性，本发明给出了文本预处理的过程及训练分类器所需的特征，同时也给出了如何运用主动学习的方法训练分类器。
一种基于主动学习需求代码之间追踪自动生成方法

[发明专利]一种基于编码序列表示的源代码片段成对比较方法-CN202011324413.7有效
发明人：黄志球;喻垚慎;李伟湋;沈国华;邵宜超 -专利权人：南京航空航天大学
申请日： 2020-11-23 - 公布日： 2023-02-14 - 主分类号： G06F8/75 文献下载
摘要：本发明公开了一种基于编码序列表示的源代码片段成对比较方法，属于计算机程序技术领域，使用一种基于静态程序分析的编码序列源代码表示方法，将源代码文本转换为编码序列表示；用Burrows‑Wheeler转换，对源代码片段的编码序列进行数据处理，得到编码序列的索引；通过种子筛选，从编码序列的索引中找出具有高相似度的子序列比对种子；用Smith‑Waterman算法，将高相似度种子作为子序列比对的起始位置，扩展后续序列中保持一定相似度阈值的子序列；根据编码序列对应的源代码行号信息，定位源代码片段之间的高相似度部分，解决了无法支持跨粒度相似度匹配，高相似度片段定位不够精确的技术问题，能够支持跨粒度源代码相似性比较，不要求对比的源代码文本具有同一粒度。
一种基于编码序列表示源代码片段成对比较方法

[发明专利]一种基于抽象语法树的代码片段推荐方法与系统-CN202110599637.7在审
发明人：李伟湋;邵宜超;黄志球;喻垚慎;郑黄河 -专利权人：南京航空航天大学
申请日： 2021-05-31 - 公布日： 2021-08-27 - 主分类号： G06F40/253 文献下载
摘要：本发明公开了一种基于抽象语法树的代码片段推荐方法与系统，包括：将候选代码解析为抽象语法树，将其中每个节点映射为哈希值，统计所有子树的哈希值与包含节点的数量，通过列表形式记录所有子树的信息；对问题代码同样进行抽象语法树解析、哈希值映射与子树信息统计，通过树型结构记录对应子树的哈希值与节点数量；在问题代码和候选代码各自转换成的中间结构之间进行节点匹配，记录每段候选代码与问题代码所有最大重复子树包含的节点总数，作为相似度并排序，向用户呈现排序列表。本发明通过将抽象语法树的匹配过程转化为树与列表的匹配，在保留代码结构信息的同时极大减少了匹配时间，可以适用于对即时性要求较高的推荐场景，提高推荐效果。
一种基于抽象语法代码片段推荐方法系统

[发明专利]一种基于抽象解释的嵌入式软件模块化Cache行为分析方法-CN201810592511.5有效
发明人：黄志球;张静;喻垚慎;沈国华;李伟湋;艾磊 -专利权人：南京航空航天大学
申请日： 2018-06-11 - 公布日： 2021-04-30 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于抽象解释的嵌入式软件模块化Cache行为分析方法，属于计算机技术领域，包括：Cache行为分析框架形式化描述，以抽象解释理论为分析方法设计基础，对Cache行为执行过程进行抽象建模，对Cache架构和分析方法进行关联分析，形式化定义Cache行为分析过程；Cache行为分析框架实现，构建模块化分析框架以支持多种不同架构的Cache行为分析，达到Cache分析过程可重用的目的。本发明构建模块化分析框架以支持多种不同架构的Cache行为分析，确定Cache配置、分析方法和过程间的关系，提出了各层次间的阶段划分结构，构建了独立于Cache机制的Cache行为分析框架。
一种基于抽象解释嵌入式软件模块化 cache 行为分析方法

[发明专利]基于静态程序分析的源代码编码序列表示方法-CN201910981926.6有效
发明人：黄志球;喻垚慎;李伟湋;沈国华;张静;艾磊 -专利权人：南京航空航天大学
申请日： 2019-10-16 - 公布日： 2021-04-02 - 主分类号： G06F8/75 文献下载
摘要：本发明提供了一种基于静态程序分析的源代码编码序列表示方法，包括：获取源代码文本；对源代码文本进行转换，以得到源代码文本对应的原始抽象语法树；对原始抽象语法树进行精简；对精简后的原始抽象语法树进行遍历编码，以得到源代码文本的编码序列表示。本发明能够简化源代码文本对应的原始抽象语法树的树形结构，并能够较好的将原始抽象语法树的树形结构转换为编码序列，同时能够保证编码序列具有较好的检索性能和匹配性能。
基于静态程序分析源代码编码序列表示方法

[发明专利]一种基于激光点云数据的真实阔叶树器官分类识别方法-CN201410436294.2有效
发明人：云挺;薛联凤;喻垚慎 -专利权人：南京林业大学
申请日： 2014-08-26 - 公布日： 2019-04-02 - 主分类号： G06K9/64 文献下载
摘要：本发明公开了一种基于激光点云数据的真实阔叶树器官分类识别方法，本方法利用流形学习的思想来描述非线性局部曲面特性，并设定局部邻域为线性结构，在枝叶的原始点云中融入流行结构的思想，同时根据叶面与枝干形体差异，结合点云的非线性局部切平面分布、空间离散点分布特征和局部离散点法向特征，根据叶面与枝干形体差异，最后结合监督分类的思想，设计了GEPSVM分类器，从训练样本中找寻类别特征，对测试样本进行分类，进而提取阔叶树中复杂点云的枝叶数据。本发明结合枝叶的各种基本特征的优势，提出了基于特征融合的点云活立木枝叶分离的方法，从实验结果看，是切实可行并且高效的，并为林学参数的精确求取打下基础。
一种基于激光数据真实阔叶树器官分类识别方法