-
命名法变更建模的逻辑方法数据集
2025年12月22日 30 130 4
数据集概述 本数据集采用回答集编程(ASP)方法,验证命名法原则在计算逻辑中的可处理性。基于《国际动物命名法规》核心原则设计20个假设分类单元用例,通过12个模式标本诊断特征重解释触发场景,生成36种命名修订方案,为逻辑化命名变更优化提供基础。 文件详解 文本文件(.txt格式):...
-
Charipinae分类学分布与多样性现状数据集
2025年12月21日 30 4 2
数据集概述 该数据集为Charipinae亚科(膜翅目、锤角细蜂总科、刻腹细蜂科)的分类学、分布及多样性现状概述,核心内容是Apocharips属物种的分类学现状名录,包含有效物种及同物异名信息。 文件详解 文件名称:table.html 文件格式:HTML(.html) 内容说明:包含Apocharips属物种分类学现状名录,列出6个有效物种(如A....
-
加拿大安大略省上奥陶统布雷钦特异埋藏化石库双列海百合与杂交海百合数据集
2025年12月11日 30 87 24
数据集概述 本数据集记录了加拿大安大略省布雷钦特异埋藏化石库(上奥陶统凯迪阶)中的双列海百合与杂交海百合化石信息,包含7种双列海百合(含1个新种)和2种杂交海百合的分类描述、命名修订及标本补充记录,为奥陶纪棘皮动物研究提供基础数据。 文件详解 文件名称: AusichWrightColeKoniecki-Online Supplement.pdf...



