本数据集包含一组表示Storm拓扑的模型描述文件，旨在支撑论文中提出的基于度量时序逻辑的数据分析方法，聚焦于Storm实现的数据密集型应用瓶颈节点分析。数据集仅含一个压缩文件，无目录层级结构。 论文“Towards the formal verification of data-intensive applications through metric temporal logic”
本数据集围绕蝾螈（尤其是无肺螈科）的形态进化速率与物种丰富度的关系展开，包含原始数据表、系统发育树等核心文件，用于验证物种多样化与表型进化过程间的关联，挑战传统时间依赖型物种丰富度增长假设，揭示形态进化速率与物种丰富度的耦合关系。 论文“Rates of morphological evolution are correlated with species richness in salamand
本数据集为PNAS论文相关研究数据，聚焦生物科学中的林奈缺口问题，通过机器学习和物种界定方法构建预测模型，整合哺乳动物的性状、分布记录及基因序列数据，识别潜在未描述物种，分析其分布规律，支持生物多样性研究及分类学假设验证。 PNAS论文“Analysis of biodiversity data suggests that mammal species are hidden in predicta
本数据集围绕组合和复合高压测试的标准化定义展开，由EMPIR项目支持，旨在满足可追溯测量系统和校准服务的需求。数据集包含5个文件，涵盖文本数据和Excel表格，用于记录研究过程中的关键信息和评估结果。 European Metrology Programme for Innovation and Research (EMPIR)项目19NRM07 HV-com²
