-
Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集
2025年12月15日 30 18 16
数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件，支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究，为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
-
免耕播种机双圆盘开沟器_含支撑切割机构_设计建模与实验评估
2025年12月12日 30 29 0
数据集概述 该数据集包含一篇关于免耕播种机双圆盘开沟器的研究论文，内容涉及带支撑切割机构的开沟器的设计、建模及实验评估，为农业机械领域相关技术研究提供参考。 文件详解 文件名称: Alim Pulatov Salimovich¹, Sobirov Komil Sodiq o‘g‘li2, Toshpo’latov Sherzod Shuhrat...
-
Björn_Thiberg硕士论文源代码与结果数据集
2025年12月11日 30 4 1
数据集概述 本数据集包含Björn Thiberg硕士论文相关的源代码与结果文件，以压缩包形式存储，为论文研究的可复现性提供了数据支持。 文件详解 文件名称: Results.zip，文件格式: ZIP压缩包，包含硕士论文研究相关的结果数据 文件名称: master-thesis-source-code.zip，文件格式:...
-
俄罗斯学生生态知识与文化发展重要性研究论文
2025年12月11日 30 21 6
数据集概述 本数据集包含一篇关于俄罗斯学生生态知识与文化发展重要性的研究论文。论文强调需考虑学生年龄特点、教育内容关联性及扩展积极社会文化项目，指出提升学生生态与社会知识是人文-自然科学、技术、创意及创新特色的体现。 文件详解 文件名称: Исматова Наргиза Исматовна.pdf 文件格式: PDF (.pdf) 文件内容:...
-
科学团队聚合信息数据集
2025年12月11日 30 57 12
数据集概述 该数据集包含支持论文《科学团队的新颖性、持续性与成功》研究结果的科学团队聚合信息，涵盖团队活跃期、时间跨度、高引成果、机构构成及成员协作开放性统计等核心内容。 文件详解 文件名称: data-and-readme.zip 文件格式: ZIP (.zip) 内容说明:...
-
悬疑互动问题性研究补充材料
2025年12月10日 30 152 82
数据集概述 本数据集为《悬疑互动问题性研究》论文的补充材料，包含在线研究的原始数据、R代码、问卷模板及实验视频，为论文研究提供完整数据支撑。 文件详解 文件名称: Supplementary-Data-MobileHCI-2025-1.0.2.zip 文件格式: ZIP压缩包 包含内容: 在线研究的数据文件 在线研究的R代码文件...
-
加工与贮藏条件对整粒鹰嘴豆挥发性成分影响数据集
2025年12月10日 30 195 21
数据集概述 本数据集包含研究加工与贮藏条件对整粒鹰嘴豆挥发性成分影响的补充表格及图表用最终数据，支持相关论文研究，为分析鹰嘴豆挥发性成分变化提供数据基础。 文件详解 文件名称：Supplementary 1 Overview of all identified volatile headspace components in differently...
-
开源软件分支与合并策略对关键绩效指标影响研究原生数据集
2025年12月8日 30 87 5
数据集概述 本数据集是用于论文《开源软件分支与合并策略对关键绩效指标的影响》的原生数据，为研究开源软件中分支合并策略与关键绩效指标（KPIs）的关联提供基础数据支持。 文件详解 文件名称：native.zip 文件格式：ZIP压缩包 内容说明：包含论文研究所用的原生数据集，具体字段及结构需解压后查看，未提供文件预览信息 适用场景...
-
行为保持变更集分解为重构操作的实证研究数据集
2025年12月8日 30 42 2
数据集概述 本数据集包含行为保持操作目录及对应分析数据，支撑研究论文探讨行为保持变更集可分解为重构操作的程度。数据集以压缩包形式存储，为研究代码变更与重构操作的关联提供实证数据支持。 文件详解 文件名称: icsme2025-bp-dataset.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
