-
特征模型语义差异分析工具包
2025年12月12日 30 136 130
数据集概述 本数据集是用于分析特征模型语义差异的工具包,包含代码、测试脚本、评估数据及文档。核心基于命题逻辑和QSAT形式化定义,实现特征模型语义差异的分类与枚举,支持在标准化UVL格式工业模型上的评估。 文件详解 核心代码与工具文件: 上游仓库代码:来自booleguru、outercount、kissat等仓库的代码,用于特征模型处理与逻辑求解...
-
非定常空气动力学开放数据集
2025年12月11日 30 141 54
数据集概述 该数据集包含四项非定常空气动力学实验的精选数据,旨在为风力涡轮机叶片翼型非定常行为的分析、研究及工具验证提供数据库支持,涵盖不同翼型在正弦俯仰、襟翼运动等工况下的测试数据。 文件详解 该数据集由23个文件组成,具体说明如下: - 科学数据文件(.nc格式,共18个): -...
-
DataOps工具箱性能与可扩展性测试数据集
2025年12月11日 30 37 8
数据集概述 本数据集包含DataOps工具箱性能与可扩展性评估的相关制品及原始结果,对应D3.3《持续语义集成工具最终实现》报告内容,为理解该工具箱的性能表现提供数据支持。 文件详解 该数据集包含多个文件,具体说明如下: - websocket.zip:包含测试所用的WebSocket相关文件及样本 -...
-
GIScience可重复研究评估数据集
2025年12月8日 30 14 10
数据集概述 本数据集是论文《Reproducible research and GIScience: an evaluation using AGILE conference papers》的可重复研究包,包含分析所用的数据与代码。数据集以压缩包形式存储,支持通过Dockerfile和R...



