-
LoggerDATA_Based_候鸟寄生虫感染时空迁徙与活动监测数据
2026年1月23日 30 102 73
数据集概述 本数据集为ZIP压缩包形式，包含40个文件夹和1个说明文档，对应论文“Effects of blood parasite infections on spatiotemporal migration patterns and activity budgets in a long-distance migratory...
-
Varanus_Based_MASCOT安全子系统模型与响应时间测试数据
2026年1月21日 30 172 92
数据集概述 本数据集包含基于通信顺序进程（CSP）构建的MASCOT v.6安全子系统模型，以及使用FDR API和Varanus工具链对压力测试、场景测试等多类轨迹进行验证的响应时间数据，涵盖离线和在线验证结果，用于分析模型验证效率与系统安全功能表现。 文件详解 压缩包文件： 文件名称：Varanus:Mascot-Model-and-...
-
Multi_objective_Supplemental_长期平均与总奖励多目标优化实现及实验复现数据
2026年1月3日 30 132 105
数据集概述 本数据集是论文《长期平均与总奖励多目标优化》的补充材料，包含该研究的实现代码、模型文件、实验复现脚本及原始日志文件。实现代码已集成到模型检查器Storm中，同时包含Storm的源码、依赖项及相关工具MultiGain和PRISM-games，支持复现论文所有实验。 文件详解 文件名称：aev.zip 文件格式：ZIP...
-
工作流网分解改进方法实验数据集
2025年12月20日 30 190 51
数据集概述 本数据集包含用于验证“工作流网分解改进方法”的实验数据及结果，围绕LM2模型的流程修复实验展开，涵盖原始日志、原始模型、两种修复方法（Greedy和Smart）的实验文件及性能测量数据，为研究流程模型修复方法的效果提供支持。 文件详解 该数据集包含以下文件类型和内容： - 实验模型文件: - 命名格式: LM2-[repair...
-
IODP探险382拖曳式磁力仪数据集
2025年12月16日 30 99 25
数据集概述 该数据集包含IODP探险382中使用Marine Magnetics 1000 m SeaSpy拖曳式磁力仪测量的海底磁力仪数据，呈现了原始日志和数据文件，为海底磁学研究提供数据支持。 文件详解 OPSMAG-README.txt：TXT格式文档文件，说明拖曳式磁力仪海底磁力仪数据的测量设备（Marine Magnetics 1000 m...
-
IODP第383航次拖曳式磁力仪数据集
2025年12月14日 30 142 58
数据集概述 该数据集包含国际大洋发现计划（IODP）第383航次中，使用Marine Magnetics 1000米SeaSpy拖曳式磁力仪测量的海底磁力仪数据，呈现了航次相关的原始日志和数据文件。 文件详解 OPSMAG-README.txt：文本文档，说明拖曳式磁力仪数据的测量仪器、数据内容等基础信息。...
-
基于日志的异常检测数据集
2025年12月12日 30 33 26
数据集概述 该数据集为ICSE'22会议论文《基于深度学习的日志异常检测：我们进展如何？》的配套数据，包含日志异常检测相关的原始与预处理数据，支持相关研究的复现与分析。 文件详解 文件名称: preprocessed.zip 文件格式: ZIP (.zip) 内容说明: 预处理后的日志数据压缩包 文件名称: raw.zip 文件格式: ZIP...
-
IODP第392航次拖曳式磁力仪数据集
2025年12月6日 30 110 64
数据集概述 本数据集包含国际大洋发现计划（IODP）第392航次中，使用Marine Magnetics 1000 m SeaSpy拖曳式磁力仪测量的海底磁力仪数据，呈现了航次原始日志与数据文件。 文件详解 文件名称: OPSMAG-README.txt，文件格式: TXT，内容: 拖曳式磁力仪数据说明文档，介绍海底磁力仪数据的测量仪器及数据内容概述。...
