-
Separation_Logic_无限制效果处理程序实现与测试基准数据
2026年2月6日 30 205 52
数据集概述 本数据集为论文《Separation Logic for Unrestricted Effect Handlers》的支撑数据，包含分离逻辑无限制效果处理程序的最新实现代码与测试基准，以压缩包形式提供，用于支持相关研究的复现与验证。 文件详解 文件名称：speration_logic_for_effects.zip 文件格式：ZIP...
-
机器学习_COPD与哮喘鉴别原始数据及代码
2026年2月1日 30 82 12
数据集概述 本数据集包含用于通过五种机器学习算法鉴别COPD与哮喘的原始数据及实现代码，共4个文件，涵盖数据文件与代码文件两类，可支持相关疾病的机器学习分类模型研究。 文件详解 数据文件 文件名称：Asthma COPD1.xlsx、22-24沿江1.xlsx 文件格式：XLSX...
-
vmTracking_Based_图表与代码资源数据
2026年1月31日 30 161 74
数据集概述 本数据集包含vmTracking相关的数据图表及对应代码资源，以压缩包形式提供，可用于获取vmTracking相关的可视化内容及实现代码，为相关研究或开发工作提供支持。 文件详解 文件名称：vmTracking.zip 文件格式：ZIP...
-
CorSiM_Based_多样化分析缺失物种处理方法数据
2026年1月30日 30 2 0
数据集概述 本数据集围绕CorSiM方法展开，该方法用于处理多样化分析中随机或非随机采样系统发育树的缺失物种问题，通过模拟缺失分支完成树结构，支持后续模型拟合。数据集包含一个压缩文件，可应用于大型数据集分析。 文件详解 文件名称：CorSIM_v0.3.zip 文件格式：ZIP...
-
Multi_objective_Supplemental_长期平均与总奖励多目标优化实现及实验复现数据
2026年1月3日 30 104 5
数据集概述 本数据集是论文《长期平均与总奖励多目标优化》的补充材料，包含该研究的实现代码、模型文件、实验复现脚本及原始日志文件。实现代码已集成到模型检查器Storm中，同时包含Storm的源码、依赖项及相关工具MultiGain和PRISM-games，支持复现论文所有实验。 文件详解 文件名称：aev.zip 文件格式：ZIP...
-
自动化硬件抽象数据集
2025年12月22日 30 183 120
数据集概述 该数据集围绕自动化硬件抽象（AUTOHAL）构建，包含虚拟摄像头接口相关的规范文档、配置文件、实现代码及测试文件，为硬件抽象层的自动化开发与验证提供结构化数据支持。 文件详解 根目录文件：...
-
历史生物地理学物种地理范围分析数据集
2025年12月14日 30 171 102
数据集概述 该数据集围绕历史生物地理学研究，提供基于复杂多边形物种地理范围的系统发育地理分析方法（rase）相关资源，含方法实现工具与补充文档，用于推断祖先地理分布，支持新热带区鸟类类群的系统发育地理重建研究。 文件详解 文件名称：rase_0.2-1.tar.gz 文件格式：压缩包（.tar.gz）...
-
机器人绿色架构策略挖掘与实证评估论文复现包
2025年12月10日 30 152 60
数据集概述 该数据集是论文《Mining the ROS ecosystem for Green Architectural Tactics in Robotics and an Empirical Evaluation》的复现包，围绕机器人软件绿色架构策略挖掘及实证评估研究问题（RQ1和RQ2）构建，包含技术报告、原始数据及源代码等核心内容。...
