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