公开(公告)号：CN119180036A

公开(公告)日：2024-12-24

申请号：CN202411247118.4

申请日：2024-09-06

Applicant: 南京工业大学

Inventor： 王兴亚 ,  张威威 ,  陈倩 ,  刘林炜

IPC: G06F21/57 ,  G06N5/02

Abstract: 本发明提出一种基于跨合约重入语义图的重入漏洞智能检测方法。该方法首先对智能合约进行程序分析，得到每个合约的语义图，分析调用合约与被调用合约之间调用关系，通过添加合约之间的函数调用控制流、函数参数传递的数据流、函数返回值数据流和基于fallback机制的控制流，得到跨合约语义图；然后，针对引发重入漏洞的fallback机制，针对重入漏洞的关键节点进行双向约简，通过去除与重入漏洞无关的节点得到跨合约重入语义图；最后，对跨合约重入语义图矢量化，输入到序列模型提取特征，实现重入漏洞智能检测。通过分析合约之间调用关系和基于fallback机制进行双向约简，并且使用序列模型能够提取语义特征，从而有效提高了重入漏洞的检测效率。

公开(公告)号：CN119201702A

公开(公告)日：2024-12-27

申请号：CN202411243514.X

申请日：2024-09-05

Applicant: 南京工业大学

Inventor： 王兴亚 ,  陈倩 ,  张威威 ,  丁玲艳

IPC: G06F11/36

Abstract: 本发明提出一种面向交易顺序依赖Root Cause的智能合约Flaky修复及验证方法。首先通过静态数据依赖分析，精准识别出与共享合约状态变量setter函数紧密相关的Root Cause。接着，以setter函数作为目标，在setter函数中嵌入保护语句，即锁，以确保合约在修改状态变量之前进行状态检查。最后，将修改后的合约作为测试对象，将对状态变量具有写操作的语句作为关键节点，并将包含这些节点的执行路径定义为关键路径。以这些关键路径为测试目标，我们进行反复测试，观察合约在不同状态下的表现，从而验证修复补丁的有效性。本发明的目的在于提升智能合约的可靠性，增强测试结果的稳定性，优化开发流程，并促进区块链技术的健康发展，确保智能合约安全。

公开(公告)号：CN119083032A

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

申请号：CN202411214097.6

申请日：2024-08-31

Applicant: 南京工业大学

Inventor： 陈舟 ,  陈倩 ,  王成 ,  杨勇 ,  吴操

IPC: D04H1/4382 ,  G01B7/16 ,  D06M11/74 ,  D01F8/10 ,  D01F1/09 ,  D06M101/22

Abstract: 本发明提供了一种PVDF/CNT@PVDF/PTFE复合纳米纤维膜及其制备方法与应用，属于静电纺丝技术领域。本发明通过加入CNT颗粒和PTFE来大幅度提高纤维膜的性能；并将两种成分做成核壳结构，能够最大限度地利用两种材料的优势性能，同时核壳结构也能提高纤维膜的性能。将分散好的CNT溶液涂覆在纳米纤维膜表面进行改性，可进一步增强PVDF/CNT@PVDF/PTFE复合纳米纤维膜的热稳定性和灵敏度。利用本发明的PVDF/CNT@PVDF/PTFE复合纳米纤维膜制备的可穿戴应变传感器，其机械性能、热稳定性能和灵敏度高，并且对环境友好、具备恶劣环境工作的能力。

公开(公告)号：CN118193367A

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

申请号：CN202410268818.5

申请日：2024-03-08

Applicant: 南京工业大学

Inventor： 王兴亚 ,  陈倩 ,  张威威 ,  丁玲艳

IPC: G06F11/36

Abstract: 本发明提出一种以关键路径为导向的智能合约Flaky Test Root Cause定位方法。该方法首先对智能合约进行数据流分析，得到可能受到区块链状态影响的节点和执行路径，称为关键节点和关键路径；然后，以关键路径作为覆盖目标，采用演化模糊测试技术，生成一系列交易序列作为测试输入，并对生成的交易序列进行积极重跑。在此基础上，针对重跑产生的Flaky Test，应用Root Cause检测器动态检测Flaky Test的Root Cause。设计了三种类型Root Cause检测器，分别用于检测交易顺序依赖、区块链属性依赖以及并发依赖导致的Root Cause。最终，输出待测合约的Flaky Test及Root Cause位置和类型。本发明的目的在于减轻Flaky Test对测试结果的影响，给予测试人员及时的提醒，降低智能合约测试以及后续的维护成本。

公开(公告)号：CN115958673A

公开(公告)日：2023-04-14

申请号：CN202211721866.2

申请日：2022-12-30

Applicant: 苏州亿禾永利新能源有限公司 ,  南京工业大学

Inventor： 陈舟 ,  沈逍 ,  刘卫东 ,  张浩天 ,  尹熹晨 ,  苗济蘩 ,  陈倩

IPC: B27N1/00 ,  B27N3/02 ,  B27N3/08 ,  B27L11/06

Abstract: 本发明涉及保温材料领域，公开了一种低成本木基复合真空绝热板芯材及其制备方法，所述芯材以木粉、无机颗粒以及无机纤维为主要原料，呈“三明治”结构分布。所述无机颗粒为气相二氧化硅纳米颗粒、三氧化二铝纳米颗粒、碳化硅颗粒中的一种或多种组合，所述无机纤维为玻璃纤维、陶瓷纤维中的一种。首先上述原料经由混料机均匀混合，然后在模具中由压机热压成型，得到所述真空绝热板芯材。其优点在于木粉来源于广泛的木材废弃物，大幅降低了生产成本，绿色环保，生产过程简单且对人体无害，可以缓解日益严重的环境污染问题，进一步推动真空绝热板的广泛应用。