-
杂质诱导逆法拉第效应源代码数据集
2025年12月21日 30 84 4
数据集概述 本数据集提供了复现《杂质诱导逆法拉第效应》一文研究结果的必要脚本。核心脚本用于生成文中图2的图像，包含两个辅助函数分别计算磁化强度和态求和，需通过MATLAB环境运行，为相关物理现象的计算复现提供代码支持。 文件详解 文件名称：II_IFE_code.zip 文件格式：ZIP压缩包...
-
ORM控制器摘要推理验证数据集
2025年12月20日 0 160 55
数据集概述 本数据集包含基于摘要推理的ORM控制器验证相关的实验结果与代码文件，对应研究论文不同章节的内容，涵盖控制器验证、多页数据检查、突变分析、JPF验证等模块，为ORM控制器的形式化验证研究提供支持。 文件详解 压缩文件： icse2022-subm-data-1008-orm-...
-
基于消息中间件的微服务系统架构提取数据集_ARCHI4MOM
2025年12月20日 30 170 122
数据集概述 本数据集与ESCA_2022会议出版物相关，包含用于从消息中间件中提取微服务系统架构的追踪信息及相关文件，涵盖源代码、研究文档、架构图表等内容，支持对微服务架构提取方法的研究与验证。 文件详解 源代码文件：ARCHI4MOM-SourceCode.zip，ZIP格式，包含用于微服务架构提取的程序源代码...
-
Tracer_Artifact_Based_基于签名的静态分析漏洞检测完整数据
2025年12月20日 30 207 158
数据集概述 该数据集为2022年发布的Tracer项目相关资源，包含基于签名的静态分析工具（用于检测复现漏洞）的说明文档与程序包，支持漏洞检测技术的研究与应用。 文件详解 文件名称: README.pdf 文件格式: PDF 内容说明: 可能包含Tracer工具的介绍、使用方法、技术细节或项目背景等文档内容 文件名称: tracer.tar.gz...
-
SoftwareKG_Based_社会科学领域知识图谱完整数据
2025年12月20日 30 185 69
数据集概述 该数据集为SoftwareKG知识图谱，包含从PLoS平台51,165篇带“Social Science”标签的文章中提取的133,000余个软件提及信息，通过自动化流程提取并关联缩写与DBpedia，结合文章元数据构建，采用W3C标准RDF/S模型表示。 文件详解 文件名称: ESWC-SoftwareKG.zip 文件格式:...
-
MUS_ASP实验的源代码_基准测试和二进制文件
2025年12月20日 30 32 0
数据集概述 本数据集包含MUS-ASP实验所需的源代码、基准测试集和必要二进制文件，支持实验的复现与验证，为相关算法研究提供完整的实验资源包。 文件详解 文件名称: benchmark.zip 文件格式: ZIP压缩包 内容说明: 实验所用的基准测试集 文件名称: code.zip 文件格式: ZIP压缩包 内容说明: MUS-ASP算法的实现代码...
-
GREML_MTG2_Based_统计遗传学MTG2方法完整数据
2025年12月20日 30 176 173
数据集概述 本数据集提供CORE GREML方法的MTG2代码及说明文档，CORE GREML是一种广义基因组限制最大似然方法，用于线性混合模型中估计随机效应间的协方差，放松经典模型的独立性假设。 文件详解 README（无格式）：说明文档，指引参考MTG2手册第15章和示例12，提示解压相关压缩文件，提供项目网站链接...
-
一阶线性时态逻辑规范验证的位向量逻辑编码实验评估数据集
2025年12月20日 30 108 78
数据集概述 本数据集是论文《How Bit-Vector Logic Can Help Improve the Verification of First-Order LTL Specifications》中提出的位向量逻辑编码方法的实验评估数据，包含模型描述、实验文件及相关插件压缩包。 文件详解...
-
多年冻土区地球系统陆面模型径流评估数据集
2025年12月20日 30 128 53
数据集概述 该数据集包含使用Advanced Terrestrial Simulator（ATS）开展多年冻土区径流评估研究所需的全部材料，覆盖阿拉斯加北坡萨加瓦尼克托克河流域23个山坡站点的模拟输入、输出及ATS v1.5源代码，按模拟案例组织以保障可重复性。 文件详解 源代码文件： ats-1.5.0.tar.gz：ATS...
-
对抗行为预测的判断分解重组数据集
2025年12月19日 30 106 17
数据集概述 该数据集包含研究论文《Forecasting Adversarial Actions Using Judgment Decomposition-Recomposition》所用的数据与源代码，涉及对抗行为预测的判断分解重组方法相关信息。 文件详解 文件名称：Forecasting-Adversarial_Decomp-...
-
SAS25_Future_Conditions_Based_论文实验验证配套完整数据
2025年12月19日 30 151 98
数据集概述 本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。 文件详解...
-
代数视角下概率回答集程序MAP推理的文章源代码与数据集
2025年12月19日 30 27 14
数据集概述 本数据集为《代数视角下概率回答集程序MAP推理》文章配套的源代码与数据文件，以压缩包形式提供，包含支撑该研究的程序代码及相关实验数据，为复现研究内容提供基础。 文件详解 文件名称: ecai_data.zip 文件格式: ZIP压缩包 内容说明: 包含与文章研究相关的源代码文件和数据集文件，具体内容需解压后查看 适用场景 逻辑程序设计研究:...
-
建筑气味重构对软件质量影响研究复现包
2025年12月19日 30 42 10
数据集概述 本数据集是Mattia Milanese硕士论文的复现包，聚焦建筑气味重构对软件质量的影响研究，包含实验所用源代码及性能、安全、质量相关的收集数据，以压缩文件形式存储，为复现研究结果提供数据支持。 文件详解 performance.zip：ZIP格式压缩文件，包含实验中收集的性能相关数据...
-
智能合约转移风险终端用户理解附加资源
2025年12月18日 30 191 171
数据集概述 本数据集为智能合约转移风险终端用户理解相关的附加资源集合，包含PDF文档、压缩文件及文本文件，提供ERC-20合约分析、调查数据处理参考、调查问题注释等内容，辅助用户理解智能合约转移风险相关研究。 文件详解 文档文件（共6个）： Follow-Up Message to Prolific...
-
ServLessSense无服务器代码异味检测工具及相关研究数据集
2025年12月18日 30 83 50
数据集概述 本数据集包含ServLessSense无服务器代码异味检测工具的源代码及相关研究数据，该研究已被2025年第19届欧洲软件架构会议（ECSA 2025）接收，为无服务器应用代码异味检测研究提供支持。 文件详解 README.md: 文档格式，说明仓库结构，包括工具模块（仪表盘、OpenAI...
-
GeoFUSE海水入侵预测替代模型数据集
2025年12月18日 30 85 62
数据集概述 本数据集包含GeoFUSE框架的模拟文件与源代码，该框架是用于海水入侵预测及不确定性降低的高效替代模型。数据集以压缩包形式存储，可通过指定链接获取补充数据与详细信息。 文件详解 文件名称: swi_code.zip 文件格式: ZIP压缩包 内容说明: 包含GeoFUSE框架的模拟文件与源代码，具体字段及内容需解压后查看 适用场景...
-
等密度面海洋模式中势涡度演化的WENO有限体积格式手稿代码
2025年12月4日 30 72 22
数据集概述 本数据集包含用于《等密度面海洋模式中势涡度演化的WENO有限体积格式》手稿（提交至JAMES）的模型源代码、配置文件及Python脚本，以压缩包形式存储，支持相关数值模拟研究的复现与验证。 文件详解 文件名称: WENO_PV_adv.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
-
IoTvulCode_物联网应用程序漏洞检测数据集
2025年12月16日 30 118 73
数据集概述 该数据集围绕物联网（IoT）应用程序设计的软件产品漏洞检测展开，包含一个数据集生成工具、机器学习驱动的漏洞检测方法及物联网漏洞数据集初始版本，旨在提升现有编码实践，增强物联网基础设施安全性。 文件详解 文件名称: LICENSE.txt 文件格式: TXT (.txt) 内容:...
-
核基扩展动态模式分解的动力学一致粗粒化代码与数据
2025年12月15日 30 107 6
数据集概述 本数据集包含支持论文《核基扩展动态模式分解的动力学一致粗粒化》的代码与相关数据，通过README.md提供详细说明，为相关方法的复现与应用提供资源。 文件详解 文件名称: README.md 文件格式: Markdown (.md) 内容说明: 包含代码依赖（如Python库及项目自定义函数/类）、主脚本介绍等项目背景与使用说明 文件名称:...
-
VirtualLeaf植物组织动力学模拟增强细胞壁力学数据集v2_1_0
2025年12月15日 30 39 23
数据集概述 本数据集为VirtualLeaf v2.1.0版本的补充数据与源码仓库，聚焦植物组织细胞间生物物理与生物力学交互建模，新增细胞壁稳定性、滑动等精细模拟功能，支撑植物生长、组织形成及 pathogen 防御等场景的组织动力学研究。 文件详解 压缩文件： virtualleaf simulation data...
