找到7个数据集

标签: 验证流程

过滤结果
  • 文物策略预测验证_医学CT策略预测验证数据

    2026年2月1日 30 178 116

    数据集概述 本数据集围绕“策略预测验证”主题构建,包含与医学CT相关的策略预测验证数据,以压缩文件形式存储,未提供具体内容预览。 文件详解 文件名称:strategy-prediction-artifacts.zip 文件格式:ZIP 字段映射介绍:未提供文件内容预览,无法获取具体字段信息 适用场景 医学CT策略预测验证:...
    packageimg
  • Manual_Cross_Validation_大学文献数据源交叉验证数据_排名稳健性研究

    2026年1月12日 30 113 7

    数据集概述 本数据集为大学排名稳健性研究的文献数据源交叉验证数据,包含15所大学在Web of Science、Scopus和Microsoft Academic三个数据源中的DOI手动交叉验证结果,覆盖2018年12月至2019年5月期间的验证数据,共17个文件,用于分析不同文献数据源对大学排名的影响。 文件详解 大学DOI交叉验证数据文件...
    packageimg
  • 软件工程中检测二次研究的搜索字符串构建支持文档

    2025年12月19日 30 184 141

    数据集概述 该数据集是研究“软件工程中检测二次研究的搜索字符串构建”的支持文档,包含分析用的三级研究提取数据、补充表格及验证过程中筛选的二次研究数据,为相关研究提供辅助资料。 文件详解 文件名称:Validation Process - Step 2 - Selected secondary studies in SE.xlsx 文件格式:XLSX...
    packageimg
  • Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集

    2025年12月15日 30 178 120

    数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件,支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究,为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
    packageimg
  • AHXIOM系统属性形式化描述数据集2025

    2025年12月15日 30 145 25

    数据集概述 本数据集是关于AHXIOM系统中核心属性的形式化描述文档,包含对AHXIOM系统内全分形性、递归性、自相似性、手性等属性的概念定义、逻辑公式表达、直观解释及在A.AAA框架与SSS逻辑中的整合说明,为理解AHXIOM系统的结构与动态机制提供理论基础。 文件详解 文件名称:AHXIOM系统属性形式化描述文档...
    packageimg
  • 反同余定律跨领域不变量研究数据集

    2025年12月14日 30 60 22

    数据集概述 该数据集包含《反同余定律:通过˜M = E/ψ连接能量与耗散的跨领域不变量》研究的预印本PDF、验证清单及说明文档,涉及量子热力学等多领域实验与理论研究,含可复现验证材料。 文件详解 文件名称:anti_congruent_v1_preprint_tex.pdf 文件格式:PDF...
    packageimg
  • CHARE量表_年轻人焦点小组与验证研究原始数据及验证流程

    2025年12月7日 30 194 126

    数据集概述 本数据集为CHARE量表(文化遗产关怀行为评估量表)开发过程中的补充材料,包含针对年轻人样本的首次验证研究相关数据,涉及原始数据、验证流程文档及焦点小组表单,支持对量表开发过程的复现与分析。 文件详解 CHARE Validation Walkthrough.html:HTML格式文件,使用R语言编写的CHARE量表验证流程文档 CHARE...
    packageimg