找到2个数据集

标签: SMV

过滤结果

  • MicroED_Stockholm_University_溶菌酶MicroED实验数据集_2019

    2026年1月6日 30 174 141

    数据集概述 本数据集为2019年4月在斯德哥尔摩大学采集的四方晶型溶菌酶MicroED数据，通过200kV JEOL 2100 LaB6透射电镜及TimePix探测器获取，包含原始及转换格式数据、晶体图像和实验参数记录，部分数据存在转换错误但为完整性保留。 文件详解 文件名称：tetragonal_lysozyme_data.zip 文件格式：ZIP...
    packageimg

  • 电动汽车与城市配送区的模型与形式化验证数据集

    2025年11月26日 30 67 20

    数据集概述 该数据集包含电动汽车与城市配送区动态系统的符号建模及形式化验证相关数据，涵盖上下文转换系统（CTS）、智能体转换系统（ATS）的nuXmv规范、计算树逻辑（CTL）属性验证结果及相关示意图，支持相关研究复现与分析。 文件详解 该数据集按目录分类，具体文件说明如下： - 根目录文件： -...
    packageimg