-
蛋白质序列功能注释数据集_生物信息学测试数据
2026年2月9日 30 182 178
数据集概述 本数据集包含蛋白质序列功能注释工作流测试的输入和输出文件，共5个文件，涵盖FASTA、tabular和XML三种格式，主要用于生物信息学领域的蛋白质功能注释流程验证与测试。 文件详解 输入文件 文件名称：protein_sequences.fasta 文件格式：FASTA 字段映射介绍：包含待注释的蛋白质序列基础数据 输出文件...
-
ICPC_2D_AR_Based微服务系统可视化对比研究数据集
2026年2月9日 30 91 11
数据集概述 本数据集是ICPC会议论文“Comparing 2D and Augmented Reality Visualizations for Microservice System Understandability: A Controlled...
-
SV_COMP_2025_YAML验证见证语义组织数据
2026年2月7日 30 127 23
数据集概述 本数据集为SV-COMP 2025的YAML验证见证数据，从Zenodo平台提取并按工具、属性和任务进行语义组织。旨在通过更小体积的归档简化数据复用，支持YAML见证验证器的评估工作。数据集包含一个压缩文件。 文件详解 文件名称：svcomp25-yaml-witnesses.zip 文件格式：ZIP...
-
UTL_Source_安全关键系统需求模板语言评估数据
2026年2月7日 30 87 72
数据集概述 本数据集存储UTL（统一需求模板语言）的评估数据，包含Rupp模板需求文件、EARS模板需求文件及用户研究材料三类内容，均为JFIO生成或用户研究相关的归档文件，用于支持UTL语言在安全关键系统中的应用评估。 文件详解 需求文件（Rupp模板） 文件名称：Requirement files for Rupp's template.zip...
-
WMS_DSC_Maputo市政性能评估数据
2026年2月1日 30 204 75
数据集概述 本数据集为莫桑比克马普托市WMS-DSC（Campitelli et al., 2022a）的分析与性能评估数据，包含一份Excel文件，用于评估该工具在马普托市的应用表现，数据以葡萄牙语呈现。 文件详解 文件名称：SRGU-CED Maputo.xlsx 文件格式：XLSX 字段映射介绍：未提供具体字段信息，文件内容为马普托市WMS-...
-
Marxan_系统保护规划目标敏感性分析数据
2026年2月1日 30 40 27
数据集概述 本数据集为系统保护规划中保护目标的敏感性分析相关数据，包含案例研究中的物种列表信息。研究通过Marxan工具分析东地中海海洋保护优先区域，测试80种目标设定情景，提出保护网络灵活性的适宜目标范围，数据集仅含一个文件。 文件详解 文件名称：Species list Levin et al.xlsx 文件格式：XLSX...
-
观察者_视觉_云端摄影测量_三角龙模型_生成
2026年2月1日 30 140 61
数据集概述 本数据集包含通过Beholder Vision云摄影测量解决方案生成的Styracosaurus（戟龙）三维模型相关文件，共六个文件，涵盖模型文件与缩略图，无目录结构，主要用于展示该云摄影测量工具的三维重建效果。 文件详解 三维模型文件 文件名称：a5f5a21e40e2407b8771c24b2234a126.glb 文件格式：GLB...
-
deMEM_Based_可扩展多序列比对框架测试数据
2026年1月31日 30 130 90
数据集概述 本数据集包含用于测试deMEM框架的相关文件，deMEM是一种基于de Bruijn图的分治框架，用于可扩展的多序列比对。数据集共包含四个文件，无目录结构，主要为压缩格式的测试数据和程序包。 文件详解 demem_test_data.tar.xz 文件格式：XZ压缩文件 内容说明：deMEM框架的测试数据压缩包...
-
Wikidata_Dump_RDF数据转储文件_xin
2026年1月31日 30 26 14
数据集概述 本数据集是通过wdumps工具生成的Wikidata RDF转储数据，包含实体、声明及三元组等信息，当前实体数、声明数、三元组数量均为0，共包含4个文件，支持数据转储相关的查看与处理。 文件详解 数据文件 文件名称：info.json 文件格式：JSON...
-
Zenodo_Cas13d基因互作图谱分析工具评估数据
2026年1月31日 30 199 86
数据集概述 本数据集为Zenodo上传的Cas13d基因互作图谱分析相关文件，包含tau值与基因互作得分（GI）计算脚本、图表生成脚本及论文参考文件，支持Cas13d在基因敲低实验中作为基因互作图谱工具的评估，共7个文件。 文件详解 License.txt 文件格式：TXT...
-
KGMN_Based_知识引导多层网络代谢物注释补充数据
2026年1月30日 30 166 71
数据集概述 本数据集为“知识引导多层网络代谢物注释”研究的补充数据，包含9个文件，涵盖代谢物注释工具对比评估、标准混合物验证、不同生物样本分析结果及知识库挖掘等内容，支持从已知到未知代谢物的注释研究，主要文件格式为XLSX和ZIP。 文件详解 Supplementary data 1.xlsx 文件格式：XLSX...
-
TRA2024_Based_货运系统免费在线工具评估数据
2026年1月30日 30 113 54
数据集概述 本数据集是论文“Data for shifting to rail freight transport: a review of free online tools”的关联数据，聚焦货运运输系统免费在线工具的评估。通过结构化表格整理工具相关信息，为研究货运系统工具应用及铁路货运转型提供数据支持，仅包含一个文件。 文件详解...
-
Wordwall_Based_中文语言学习工具应用说明文档
2026年1月30日 30 23 6
数据集概述 本数据集围绕Wordwall在中文语言学习中的应用展开，核心内容为一份说明文档，旨在呈现该工具在中文教学场景下的使用相关信息，为语言教育工作者或学习者提供参考。 文件详解 文件名称：Using Wordwall in learning.docx 文件格式：DOCX...
-
IMITATOR_Based扩展参数化时间自动机基准库2_1
2026年1月29日 30 184 66
数据集概述 本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。 文件详解 归档文件1： 文件名称：benchmarks.zip 文件格式：ZIP...
-
NOBOX_gnomAD_v4_Based基因变异重注释评估数据
2026年1月28日 30 171 101
数据集概述 本数据集包含对gnomAD v4.0.0数据库中2613个NOBOX基因变异的POI调整后重注释及评估结果，通过结构化表格呈现基因变异的详细注释信息，为基因变异研究提供标准化数据支持，仅包含一个文件。 文件详解 文件名称：tableS7-NOBOX-gnomAD_v4variants_reannotation-Hmz-...
-
Wikidata_Based_P31_Q154属性测试RDF数据集
2026年1月27日 30 71 64
数据集概述 本数据集是通过wdumps工具生成的Wikidata RDF转储数据，针对P31-Q154属性进行测试。包含98个实体、779条陈述和7840个三元组，共4个文件，无目录层级结构，未进行训练/测试、数据/标签或原始/处理数据的拆分。 文件详解 文件名称：info.json 文件格式：JSON...
-
Valar_Active_Learning_静态分析告警排序数据集
2026年1月27日 30 200 152
数据集概述 本数据集包含Valar静态分析告警排序相关数据，以JSON格式呈现各项目的静态分析结果，每个告警项涵盖分析结果、代码上下文、漏洞确认来源及SVF工具生成的中间结果，用于支持基于值流辅助主动学习的告警排序研究。 文件详解 Readme.md 文件格式：MD...
-
ODBD_Based_生物多样性研究相关数据库机会性列表数据2024
2026年1月27日 30 172 74
数据集概述 本数据集为生物多样性研究相关数据库的机会性列表（ODBD），内容包含与生物多样性研究相关的数据库信息，涵盖物种分布、功能性状、保护状态、遗传序列等多个研究方向。数据以遇到即更新的方式填充，非完整列表，包含2个文件。 文件详解 文件名称：The Opportunistic Database of Biodiversity...
-
PyroClean_Based_蛋白质编码扩增子焦磷酸测序去噪数据集
2026年1月27日 30 175 47
数据集概述 本数据集是PyroClean项目相关的数据，包含用于蛋白质编码扩增子焦磷酸测序去噪的数据，旨在恢复种间和种内遗传变异。数据集仅有一个压缩文件，未区分训练/测试、数据/标签或原始/处理数据，无额外说明文档或内容预览。 文件详解 文件名称：Datasets.zip 文件格式：ZIP...
-
TRINITY_Dynamic_Map_新能源设施选址优化决策分析数据
2026年1月26日 30 39 27
数据集概述 本数据集为TRINITY项目中Dynamic Map模块的演示案例，用于测试T-RES CONTROL CENTRE动态地图集群模块加速和优化新能源设施选址决策的能力。包含可复现的案例数据，支持新能源设施最优选址分析。 文件详解 文件名称：DC_2.3.1_Dataset.docx 文件格式：DOCX...
