-
Loscher_Based_有蹄类动物行走头部运动能耗分析数据
2026年2月9日 30 101 30
数据集概述 本数据集为有蹄类动物行走时头部运动时间与能耗关系研究的补充材料,包含MATLAB源代码、Maple工作表及说明文档。通过活体运动学与计算机模型结合,验证头部颈部垂直位移时间符合倒摆步态下能耗最小化机制,调整头部运动时间可使头颈携带代谢成本增加最高达63%。 文件详解 README_for_Loscher et al Matlab...
-
几何自动定理证明中的退化问题处理数据集
2025年12月23日 30 116 31
数据集概述 本数据集为几何自动定理证明中退化问题处理的辅助资料,包含Maple工作表及相关文档,支持相关算法或方法的验证与复现,适用于几何定理证明领域的技术研究。 文件详解 文件名称:Maple-computations.pdf,文件格式:PDF,为文档类文件,可能包含Maple计算过程的说明、结果展示或技术文档内容。...
-
多稳态参数出现案例研究配套数据集2017
2025年12月11日 30 127 40
数据集概述 本数据集是论文《多稳态参数出现案例研究》的配套材料,包含论文第2.1节主要符号计算的复现脚本、配置文件及计算结果文件,支持重现论文中的实验过程与结果。 文件详解 脚本文件(.sh格式): compute-all.sh:批量计算脚本,需指定Reduce系统路径、问题目录及核心数 compute-one.sh:单例计算脚本...



