一种基于AST-T5预训练模型的智能合约自动修复方法

    公开(公告)号:CN119829101A

    公开(公告)日:2025-04-15

    申请号:CN202510022008.6

    申请日:2025-01-07

    Applicant: 东南大学

    Abstract: 本发明公开了一种基于AST‑T5预训练模型的智能合约自动修复方法,针对Solidity漏洞智能合约,首先利用多个智能合约漏洞检测工具进行漏洞函数的定位,然后将漏洞函数作为输入传给经微调AST‑T5预训练模型得到的漏洞修复模型,模型输出n个候选修复函数结果,最后通过验证模块确定正确的修复结果并替换掉初始合约中的漏洞函数从而完成漏洞智能合约的修复。与现有的智能合约漏洞修复方法相比,本方法的自动化程度高,漏洞修复率高且生成的修复补丁的gas消耗更低。

    一种城市急救医疗设施的规划方法及系统

    公开(公告)号:CN113990464B

    公开(公告)日:2024-06-28

    申请号:CN202111235967.4

    申请日:2021-10-22

    Applicant: 东南大学

    Inventor: 周颖 赵源

    Abstract: 本发明提供一种城市急救医疗设施的规划方法及系统,属于急救医疗设施规划领域,规划方法包括:获取选定城市中各院前急救设施和各院内急救设施的地理位置,并建立院前‑院内急救设施二分网络,并分别得到院前和院内急救设施网络;获取选定城市中各二级院内急救设施和各三级院内急救设施的地理位置,并建立分级院内急救设施网络;根据院内急救设施网络与分级院内急救设施网络,得到最终院内急救设施网络;根据院前急救设施网络及最终院内急救设施网络,对选定城市的急救医疗设施进行规划。可量化分析城市急救医疗设施间的合作联动关系,为后续的城市急救设施的规划和优化提供参考,合理规划城市急救医疗设施,提高急救的效率。

    一种基于类继承关系分析的API推荐方法

    公开(公告)号:CN110879704B

    公开(公告)日:2024-01-12

    申请号:CN201910829311.1

    申请日:2019-09-03

    Applicant: 东南大学

    Abstract: 本发明公开了一种基于类继承关系分析的API(Application Programming Interface,应用程序编程接口)推荐方法,通过对方法按其所属类之间的层次结构关系进行分类,并对方法间的依赖信息进行关联关系分析,以确定属于不同层次类的方法间的联系。通过平衡方法间类的层次结构关系,方法间的依赖关系以及层次结构间方法的使用频率,对于方法间存在较强逻辑关系的项目可以有效提高API方法推荐结果的准确率。

    一种基于功能相似度匹配的代码搜索方法

    公开(公告)号:CN110716749B

    公开(公告)日:2023-08-04

    申请号:CN201910828507.9

    申请日:2019-09-03

    Applicant: 东南大学

    Abstract: 本发明公开了一种基于功能相似度匹配的代码搜索方法,针对输入是自然语言查询的情况,对代码库中的代码进行功能信息的挖掘,挖掘代码片段的功能注释与功能API这两个特征来度量代码片段和查询语句的功能相似度,结合代码片段的方法名和方法体两个特征,根据不同特征的重要性分配不同的权重,计算查询和与代码片段的总的相似度得分,按照得分高低排序,把搜索结果返回给用户。充分考虑并挖掘了源代码中包含的功能信息,并根据重要性分配权重,使得匹配精度更高。

    一种面向复杂代码的质量评估方法

    公开(公告)号:CN114996163A

    公开(公告)日:2022-09-02

    申请号:CN202210873261.9

    申请日:2022-07-22

    Applicant: 东南大学

    Abstract: 本发明涉及一种面向复杂代码的质量评估方法,该方法通过对复杂代码进行逆向解析,获取代码中的关键信息,包括代码中方法圈复杂度、出入度信息等,再通过公式计算将相关指标以数值的方式展示出来,通过此方法可以了解复杂代码的整体质量情况,可以作为后期代码优化的参考指标。

    一种基于设计模式的MVC架构模式识别方法

    公开(公告)号:CN109976727B

    公开(公告)日:2022-07-08

    申请号:CN201910254646.5

    申请日:2019-03-31

    Applicant: 东南大学

    Abstract: 本发明公开了一种基于设计模式的MVC架构模式识别方法,该方法包括:本体构建、本体推理和扩充、以及查询扩充后的本体等四个步骤。构建概念层本体是将Observer模式、Strategy模式以及MVC架构模式组成原理结合起来,构建MVC架构模式本体;构建特定目标系统的MVC架构模式本体是通过信息提取将目标系统源代码中实体之间的关系表示成RDF三元组,再结合MVC架构模式概念层本体构成特定目标系统的MVC架构模式本体;推理是推理机结合推理规则自动化的推理目标系统的架构模式本体,得到扩充后的本体;查询是对推理后扩充的本体采用本体查询语言查询MVC架构模式实例。本方法能够自动化的识别MVC架构模式,并且可实施性高,操作便利。

    一种微流道散热的自控系统与方法

    公开(公告)号:CN111263570B

    公开(公告)日:2021-09-07

    申请号:CN202010160549.2

    申请日:2020-03-10

    Applicant: 东南大学

    Abstract: 本发明公开了一种微流道散热的自控系统与方法,包括微流道散热回路及自抗扰热控系统,本散热系统在关键换热位置布置两个分形微流道换热器强化换热,并通过两条副回流管路进行单相液冷介质的二次回流换热,同时利用仿生传热骨架增强系统对外散热效率。在控制策略上,将自抗扰控制原理运用于散热控制系统,形成了独特的三阶抗扰子系统协同散热的策略,由状态观测器ESO对系统散热状态进行实时监测并计算状态量预估,再由主控回路及时切换控制模式并协同调配三阶抗扰子系统,自动适应和补偿因扰动引起的散热对象状态波动,在增强散热系统抗扰能力的同时降低了系统的整体能耗,整个微流道散热系统调节灵活,调峰量大,实用性强、能量利用率高,具有广阔的运用前景。

    一种面向微服务系统的跨容器通信框架设计方法

    公开(公告)号:CN113329077A

    公开(公告)日:2021-08-31

    申请号:CN202110586695.6

    申请日:2021-05-27

    Applicant: 东南大学

    Abstract: 本发明公开了一种微服务跨容器通信框架的设计方法,针对部署在Kubernetes集群中的容器,通过采用新建中间转发节点的方式,实现集群外部与集群中节点的通信。与现有通信方法相比,本发明方法具有无需重启容器、可在转发时进行负载均衡以及可定制转发策略等优点。本发明还包括一种通过对以上通信框架采集到的日志的兼容性格式转换方法,能够帮助分析出容器中运行程序的轨迹,该方案实现分发请求的负载均衡以及安全传输日志等功能,方便对用户感兴趣的容器进行统一的管理和操作。

    一种基于序列模式挖掘的并发程序剖析方法

    公开(公告)号:CN108182144B

    公开(公告)日:2020-12-11

    申请号:CN201711344458.9

    申请日:2017-12-14

    Applicant: 东南大学

    Abstract: 本发明公开了一种基于序列模式挖掘的并发程序剖析方法,通过对并发程序的源代码进行分析,获取其中的线程信息以及线程之前的依赖关系,以插桩的方式来捕获程序运行过程中所执行的依赖关系序列,最后通过基于序列模式挖掘的方法获知所执行的并发程序中父子线程交互的剖析结果。

Patent Agency Ranking