公开(公告)号：CN118227204A

公开(公告)日：2024-06-21

申请号：CN202410571555.5

申请日：2024-05-09

Applicant: 上海交通大学宁波人工智能研究院

Inventor： 李雅 ,  张卓

IPC: G06F8/75 ,  G06F16/33 ,  G06F16/35 ,  G06N20/00

Abstract: 本发明公开了一种基于预训练模型的智能合约代码克隆语义相似性检测方法，涉及代码克隆检测技术领域，包括以下步骤：步骤1、实现智能合约代码的向量化表示；步骤2、完成基于Cosine相似度的代码片段比较；步骤3、进行函数级别的精细检测；步骤4、进行智能合约漏洞关联分析；步骤5、进行聚类分析，并将检测结果可视化。本发明所提供的技术方案提供高精度检测、有更强的普适性，并且将代码克隆检测细化到函数级别，有利于精准定位代码复用区域。相较于其他高级智能合约检测工具，将检测效率约提高4%的准确率，并针对特定类型的安全漏洞进行针对性检测，增强对已知安全风险的防御能力，有助于提升整个智能合约生态系统的安全性。

公开(公告)号：CN113215306A

公开(公告)日：2021-08-06

申请号：CN202110725756.2

申请日：2021-06-29

Applicant: 上海交通大学

Inventor： 刘杨 ,  张卓 ,  陈火英 ,  袁书昱 ,  何甬丑琳 ,  何永军

IPC: C12Q1/6895 ,  C12Q1/6858 ,  C12N15/11

Abstract: 本发明提出了一种鉴定番茄绿色果肩的dCAPS分子标记及应用，属于基因工程技术领域，包括鉴定番茄绿色果肩的dCAPS分子标记，其核苷酸序列如SEQ ID NO:1所示。本发明利用已知位点的DNA序列信息设计出一对特异性的引物并改进一对特异性引物，用该引物扩增DNA片段，接着用限制性内切酶酶切PCR产物，通过琼脂糖凝胶电泳分离酶切片段来鉴定不同的番茄材料；开发出dCAPS分子标记U11.5和改良的分子标记UG11.2，这两个分子标记可以用于苗期鉴定番茄果实是否携带绿色果肩这一特性。利用该标记方法不仅节约了田间育种成本，同时缩短了育种周期，加速了番茄育种进程。

公开(公告)号：CN118277274A

公开(公告)日：2024-07-02

申请号：CN202410520892.1

申请日：2024-04-28

Applicant: 上海交通大学宁波人工智能研究院

Inventor： 李雅 ,  张卓

IPC: G06F11/36 ,  G06N3/0475 ,  G06N3/045 ,  G06N3/094 ,  G06N3/0499 ,  G06N3/0464

Abstract: 本发明公开了一种基于对抗网络的软件缺陷定位测试样例生成系统及方法，涉及软件工程领域，特别是软件缺陷检测和定位领域，所述系统包括：测试用例收集模块、对抗网络生成模型、语境增强模块和样本融合模块。测试用例收集模块收集软件项目已有的测试用例，包括每个测试用例的执行路径覆盖信息和执行结果，并将收集的测试用例的信息编码为模型域测试样本；对抗网络生成模型包括生成器和判别器两个深度神经网络，用于生成新的失败用例样本；语境增强模块利用全局语境增强和局部语境增强，提升生成器生成的新的失败用例样本的质量；样本融合模块将经过语境增强后的新的失败用例样本与模型域测试样本进行合并，输出平衡类别的测试样本集。