找到2个数据集

标签: 网页摘要

过滤结果

  • IMITATOR_Based扩展参数化时间自动机基准库2_1

    2026年1月29日 30 207 103

    数据集概述 本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。 文件详解 归档文件1： 文件名称：benchmarks.zip 文件格式：ZIP...
    packageimg

  • OEP00002321单细胞RNA测序计数矩阵数据集

    2025年12月11日 30 137 115

    数据集概述 本数据集包含OEP00002321项目中6个单细胞RNA测序样本的原始与过滤计数矩阵，以及CellRanger软件生成的网页摘要文件，用于展示单细胞基因表达数据的处理结果。 文件详解 该数据集包含43个文件，具体说明如下： - 原始数据文件（.gz格式）： -...
    packageimg