找到3个数据集

标签: 模型检验

过滤结果

  • CAR_DT_Artifact_Based_CAR模型检验加速研究数据_TASE_25

    2026年1月14日 30 181 73

    数据集概述 本数据集是论文《Accelerate CAR-based model checking》（TASE'25）的配套Artifact，包含支持CAR模型检验加速研究的相关数据。数据集仅含一个压缩文件，无目录结构，可用于复现论文中的模型检验加速方法及实验结果。 文件详解 文件名称：CAR-PT-master.zip 文件格式：ZIP...
    packageimg

  • 欧洲半翅目异翅亚目外来及入侵物种生态位建模附录_图表与文献数据

    2025年12月15日 30 96 55

    数据集概述 本数据集是关于欧洲半翅目异翅亚目外来及入侵物种生态位建模研究的附录文件，包含环境变量图表、ROC模型曲线、刀切法检验值及支持物种在欧洲各国分布的文献数据，为该研究提供补充支撑。 文件详解 文件名称：Załącznik. Wykresy i dane literaturowe.pdf 文件格式：PDF...
    packageimg

  • 多物种溯祖模型下物种界定模型违反影响数据集

    2025年12月6日 30 138 93

    数据集概述 本数据集围绕多物种溯祖模型（MSC）下物种界定的模型假设违反影响展开，通过模拟和实证分析评估模型拟合度与推断稳健性，包含模拟代码、测试脚本、参数文件及补充表格，为系统发育研究中模型检验提供方法支持。 文件详解 文档文件（共3个）： TableS1.pdf：PDF格式，可能包含研究相关的补充表格1...
    packageimg