-
Eriksson_ICAPS_2017_Based_经典规划不可解性证明实验数据
2026年1月19日 30 10 9
数据集概述 本数据集为Eriksson等人在ICAPS 2017发表的论文《Unsolvability Certificates for Classical Planning》所用实验数据，包含实验运行的解析属性及重要属性概览，以压缩包形式提供，支持经典规划算法的不可解性证明研究。 文件详解 压缩包文件： 文件名称：eriksson-et-al-...
-
SVCOMP_Witness_Visualizer_Tool_见证可视化演示数据集
2026年1月15日 30 43 26
数据集概述 本数据集包含三个通过Witness Visualizer工具生成的SVCOMP见证可视化数据集，涵盖工具整体全面性、按属性分类的见证、已知bug案例及全面性与验证率对比等内容，每个数据集包含原始见证文件和HTML格式的可视化文件，可用于程序验证见证的可视化分析与研究。 文件详解 数据集1（dataset_1.zip） 文件格式：ZIP...
-
喀麦隆流水植物物种清单表1数据集
2025年12月25日 30 36 16
数据集概述 本数据集为《喀麦隆流水植物清单》中的表1，记录了喀麦隆流水植物（rheophytes）按科分类的属和物种数量，涵盖蕨类、双子叶植物和单子叶植物三大类群。 文件详解 文件名称: table.html 文件格式: HTML (.html) 内容说明:...
-
欧洲替代燃料观察站消费者监测数据集2024
2025年12月9日 30 4 2
数据集概述 该数据集包含2024年欧洲替代燃料观察站消费者监测项目的相关数据，覆盖奥地利、卢森堡、瑞典三个国家，以HTML格式存储，为了解欧洲消费者对替代燃料的态度与行为提供数据支持。 文件详解 国家数据文件（均为HTML格式）： EAFO Austria 2024.html：奥地利消费者监测数据 EAFO Sweden...
-
哥廷根印度语言电子文本注册库_吠檀多数据集
2025年12月24日 30 166 150
数据集概述 该数据集是哥廷根印度语言电子文本注册库（GRETIL）中关于吠檀多（VEDĀNTA）主题的电子文本集合，包含六十一个HTML格式的文本文件，未划分目录结构，为印度语言吠檀多相关文本研究提供基础资料。 文件详解...
-
索科洛维娅地平线Ziarat组地层对比表_伊朗东阿尔博兹
2025年12月23日 30 163 162
数据集概述 本数据集为HTML格式的地层对比表，展示伊朗东阿尔博兹盆地Ziarat组地层的岩性地层描述，并与Kopet-Dagh盆地和阿尔博兹盆地同期地层（古新世-始新世）的时代、组名及岩性特征进行对比，数据参考自Dellenbach等四位学者的研究成果。 文件详解 文件名称: table.html 文件格式: HTML（.html） 文件内容:...
-
哥伦比亚马格达莱纳河谷地区蚓螈新物种形态数据表
2025年12月23日 30 198 24
数据集概述 该数据集为哥伦比亚蚓螈属（Caecilia）物种的形态数据表，聚焦于无次级环沟且具不完全初级环沟的物种，包含体长、鳞片袋等形态特征及样本信息，为蚓螈分类研究提供数据支持。 文件详解 文件名称：table.html 文件格式：HTML（.html）...
-
IODP_371_Expedition_Based_海洋钻探钻孔摘要完整数据
2025年12月23日 30 170 20
数据集概述 该数据集为IODP第371航次的钻孔摘要报告，包含钻孔位置、水深、钻探、取芯系统及岩芯回收率等核心数据，以多种格式文件呈现，为海洋钻探相关研究提供基础数据支持。 文件详解 HOLESUM-README.txt：TXT格式文档文件，包含钻孔摘要报告的说明信息，列出钻孔数据的核心内容（位置、水深、钻探、取芯系统、岩芯回收率等）。...
-
鹎科鸟类羽虱宿主关联数据表
2025年12月23日 30 25 7
数据集概述 本数据集为鹎科鸟类（Aves: Passeriformes: Pycnonotidae）与三种羽虱（Brueelia、Guimaraesiella、Philopteroides）的宿主关联数据表，包含已描述及部分未描述物种的记录，按宿主属分类整理，为研究羽虱与鹎科鸟类的寄生关系提供基础数据。 文件详解...
-
Xanthopygus属物种分类修订表数据集
2025年12月23日 30 169 152
数据集概述 该数据集为一份分类修订表，列出了Herman 2001年定义的Xanthopygus属物种及其基于当前研究的分类状态，包括新组合、同物异名等修订信息，第一列加粗物种为系统发育分析纳入类群。 文件详解 文件名称: table.html 文件格式: HTML 字段映射: Name sensu Herman 2001: Herman...
-
土耳其安纳托利亚东部新物种Allium_karakocanense与近缘种形态比较数据集
2025年12月23日 30 33 23
数据集概述 本数据集为土耳其安纳托利亚东部新物种Allium karakocanense与近缘种（A. ampeloprasum、A. pseudoampeloprasum、A. affine、A. bourgeaui）的形态特征比较表，包含鳞茎、叶、花部等关键分类学性状数据，为葱属植物分类研究提供参考。 文件详解...
-
雅库特东部因迪吉尔卡河上游乌斯季_涅拉地区藓类植物区系表3数据集
2025年12月23日 30 13 3
数据集概述 该数据集为雅库特东部因迪吉尔卡河上游乌斯季-涅拉地区藓类植物区系研究中的表3数据，记录了该区域藓类植物的物种多样性，包含海拔分布及八个采集点的物种丰度信息。 文件详解 文件名称: table.html 文件格式: HTML (.html) 内容说明: 表格包含以下核心信息： 物种名称: 各藓类植物的学名 海拔范围:...
-
Cynorkis属_植物分类特征对比表基于文献与模式标本完整数据
2025年12月23日 30 116 66
数据集概述 该数据集为一份HTML格式的特征比较表，基于诊断文献和模式标本，系统呈现Cynorkis inermis与Cynorkis mauritiana comb. nov.的形态差异，包括花的方向、颜色、萼片形状及叶片形态等关键分类特征。 文件详解 文件名称: table.html 文件格式: HTML (.html) 文件内容:...
-
东古北界Dryocosmus属物种及其宿主植物与分布数据表
2025年12月23日 30 6 1
数据集概述 本数据集为一个结构化表格，记录了东古北界Dryocosmus属物种的分类信息，包括各物种对应的宿主植物种类、生命周期类型（有性/无性世代）及地理分布区域，为昆虫分类学及物种分布研究提供基础数据。 文件详解 文件名称: table.html 文件格式: HTML (.html) 字段映射: Dryocosmus species: 物种学名...
-
白垩纪圆突贝科_腕足动物_壳不对称性附录1数据集
2025年12月23日 30 193 84
数据集概述 本数据集为白垩纪圆突贝科腕足动物壳不对称性研究的附录1，包含标本的图片名称、摄影会话ID、方案变异测试的重复样本ID及采集地点等信息，为相关古生物学研究提供基础数据支持。 文件详解 文件名称：table.html 文件格式：HTML（.html）...
-
Caligus属伪菱形亚群物种体型宿主与分布数据表
2025年12月23日 30 88 71
数据集概述 该数据集为Caligus属伪菱形亚群物种的专题数据表，包含物种名称、雌雄体型大小、宿主物种及分布区域等核心信息，为甲壳动物分类学研究提供基础数据支持。 文件详解 文件名称：table.html 文件格式：HTML（.html） 字段映射： Species：物种名称 Body length (mm)：雌雄个体体型大小（毫米）...
-
新喀里多尼亚钙质基质植物区系表5数据集
2025年12月23日 30 143 129
数据集概述 该数据集对应《新喀里多尼亚钙质基质植物区系》中的表5，记录了严格局限于单一植被类型的钙质植物区系分布情况，包含不同植被类型下的物种总数与特有物种数量数据。 文件详解 文件名称: table.html 文件格式: HTML (.html) 核心内容: 表格包含四种植被类型及其对应指标，字段映射如下： Vegetation type:...
-
德国莱茵山脉早石炭世奥伯勒丁豪森加滕多夫石灰岩菊石标本数量表1
2025年12月23日 30 209 47
数据集概述 本数据集为研究论文《德国莱茵山脉早石炭世奥伯勒丁豪森加滕多夫石灰岩中的菊石》中的表1（续表），记录了该地区及邻近地点所描述菊石物种的标本数量，涵盖Paprothites、Pseudarietites等多属种的标本统计数据。 文件详解 文件名称：table.html 文件格式：HTML...
-
蛋白核生物分类修订与系统发育命名行为列表数据集
2025年12月23日 30 186 181
数据集概述 本数据集是关于蛋白核生物（Stramenopiles: Opalinata）分类修订与系统发育研究中的命名行为列表，记录了物种分类名称的变更、原名称及相关注释信息，为蛋白核生物分类学研究提供基础数据支持。 文件详解 文件名称: table.html 文件格式: HTML (.html) 字段映射: Taxon name: 修订后的分类名称...
-
北美蜜蜂属系统发育分析形态特征矩阵表
2025年12月22日 30 25 23
数据集概述 本数据集为一个HTML格式的形态特征矩阵表，用于TNT软件中的系统发育分析。表中记录了多种蜜蜂（包括Brachymelecta属和Xeromelecta属等）的形态特征状态，包含多态性、未知状态及不适用状态的标注，是研究北美蜜蜂属分类与系统发育关系的基础数据。 文件详解 文件名称：table.html 文件格式：HTML (.html)...
