difftaichi

GitHub
2.7k 271 非常简单 1 次阅读 3天前其他
AI 解读 由 AI 自动生成,仅供参考

DiffTaichi 是一个基于 Taichi 语言构建的可微分物理仿真框架,收录了 10 种不同的物理模拟器。它核心解决了传统物理仿真难以高效优化控制策略的难题:通过支持端到端的自动微分,用户可以直接利用梯度下降法来训练神经网络控制器,从而替代计算成本高且复杂的强化学习流程。

在性能与开发效率上,DiffTaichi 表现卓越。其弹性物体模拟器的运行速度比 TensorFlow 实现快 188 倍,代码量却减少了 4.2 倍,同时保持了与原生 CUDA 相当的执行效率。大多数模拟器仅需 2 至 3 小时即可复现,极大降低了研发门槛。该工具内置了涵盖弹性体、流体、刚体及可微渲染等多种场景的示例,展示了从基础物理模拟到对抗性样本生成等高级应用。

DiffTaichi 特别适合从事机器人控制、计算机图形学及物理人工智能领域的研究人员与开发者使用。如果你希望快速原型化可微分物理系统,或探索基于梯度的物理控制算法,DiffTaichi 提供了一个高性能且易用的理想平台。

使用场景

某机器人研发团队正在为一款软体抓取机械手设计控制策略,目标是让机械手通过形变自适应地包裹并抓起形状不规则的易碎物体。

没有 difftaichi 时

  • 训练效率极低:团队不得不依赖强化学习(RL)进行试错训练,需要数天甚至数周才能收敛出一个可行的控制策略。
  • 代码实现复杂:若尝试使用 TensorFlow 等通用框架手动构建可微分物理模拟器,代码量庞大且难以维护,运行速度比原生 CUDA 实现慢上百倍。
  • 梯度信息缺失:由于物理仿真过程不可导,无法直接利用梯度下降优化控制器参数,导致无法精确调整机械手的受力细节。
  • 迭代周期漫长:每次调整物理参数或网络结构后,都需要重新进行漫长的训练验证,严重拖慢了原型机的研发进度。

使用 difftaichi 后

  • 训练速度飞跃:利用 difftaichi 内置的可微分弹性物体模拟器,团队直接使用暴力梯度下降法,将原本数周的训练时间缩短至几小时,性能提升高达 188 倍。
  • 开发大幅减负:仅用 2-3 小时即可复现复杂的软体物理仿真逻辑,代码长度仅为传统 CUDA 实现的四分之一,且无需 GPU 即可高效运行。
  • 精准参数优化:物理仿真全程可导,系统能直接计算损失函数对控制参数的梯度,让机械手快速学会如何以最小形变代价稳固抓取物体。
  • 快速原型验证:研究人员可以实时调整物理属性并立即看到优化结果,极大加速了从算法验证到真机部署的闭环流程。

difftaichi 通过将复杂的物理仿真转化为高效的梯度优化问题,让软体机器人的控制策略研发从“盲目试错”迈入了“精准导航”时代。

运行环境要求

操作系统
  • 未说明
GPU

非必需 (大多数示例无需 GPU 即可运行)

内存

未说明

依赖
notes该工具主要作为 Taichi 框架的示例库存在,核心功能已集成至 Taichi 主仓库。运行前需通过 pip 安装 Taichi (版本建议 0.8.3 或以上)。大多数物理模拟示例不需要显卡即可执行。
python3.x (README 中示例命令为 python3)
taichi>=0.8.3
difftaichi hero image

快速开始

python3 diffmpm.py

DiffTaichi:用于物理模拟的可微编程(ICLR 2020)

袁明·胡、卢克·安德森、李子茂、孙琪、内森·卡尔、乔纳森·拉根-凯利、弗雷多·杜兰

[论文] [视频](附带重现每个演示的说明)

Taichi 中的可微编程使您能够使用暴力梯度下降高效地优化神经网络控制器,而无需使用强化学习。

DiffTaichi 可微编程框架现在已正式成为 Taichi 的一部分。此仓库仅包含示例。

DiffTaichi 显著提升了可微物理模拟器的性能和开发效率。例如,DiffTaichi 中的可微弹性物体模拟器(ChainQueen)比 TensorFlow 中的实现快 188 倍。同时,其运行速度与 CUDA 实现相当,但代码量却减少了 4.2 倍。

大多数 10 种可微模拟器都可以在 2–3 小时内 完成实现。

有关模拟器或自动微分编译器的问题,请联系袁明·胡(yuanming at mit.edu)或访问 Issues

注意:2021 年 10月27日更新

示例现已兼容 Taichi v0.8.3。如果您使用的是旧版本,请更新 Taichi。

如何运行

步骤 1:使用 pip 安装 Taichi

(大多数示例 不需要 GPU 即可运行。)

python3 -m pip install taichi

步骤 2:运行 examples 文件夹中的示例脚本:(请稍等所有 GIF 加载完毕 :-))

可微弹性物体模拟器 [python3 diffmpm.py]

梯度下降迭代 0 和梯度下降迭代 80:

可微 3D 弹性物体模拟器 [python3 diffmpm3d.py]

梯度下降迭代 40:

可微 3D 流体模拟器 [python3 liquid.py]

梯度下降迭代 450:

可微高度场水模拟器 [python3 wave.py]

梯度下降迭代 180:

可微(对抗性)水渲染器 [python3 water_renderer.py]

可微水模拟 + 可微水渲染 + (可微)CNN

优化目标: 找到一个初始水高度场,使得经过模拟和着色后,VGG16 认为松鼠图像是一条金鱼。输入图像:VGG16=狐狸松鼠(42.21%)

左: 中心激活。 右: 一种能欺骗 VGG 的激活(VGG16=金鱼(99.91%))

可微刚体模拟器 [python3 rigid_body.py [1/2] train]

2048 个时间步。梯度下降迭代 20:

可微质点-弹簧模拟器 [python3 mass_spring.py [1/2/3] train]

682 个时间步。 梯度下降迭代 20:

可微台球模拟器 [python3 billiards.py]

梯度下降迭代 0 和梯度下降迭代 100:

其余两个模拟器请观看视频。

Bibtex

@article{hu2019difftaichi,
  title={DiffTaichi: Differentiable Programming for Physical Simulation},
  author={Hu, Yuanming and Anderson, Luke and Li, Tzu-Mao and Sun, Qi and Carr, Nathan and Ragan-Kelley, Jonathan and Durand, Fr{\'e}do},
  journal={ICLR},
  year={2020}
}
@article{hu2019taichi,
  title={Taichi: a language for high-performance computation on spatially sparse data structures},
  author={Hu, Yuanming and Li, Tzu-Mao and Anderson, Luke and Ragan-Kelley, Jonathan and Durand, Fr{\'e}do},
  journal={ACM Transactions on Graphics (TOG)},
  volume={38},
  number={6},
  pages={201},
  year={2019},
  publisher={ACM}
}

常见问题

相似工具推荐

ML-For-Beginners

ML-For-Beginners 是由微软推出的一套系统化机器学习入门课程,旨在帮助零基础用户轻松掌握经典机器学习知识。这套课程将学习路径规划为 12 周,包含 26 节精炼课程和 52 道配套测验,内容涵盖从基础概念到实际应用的完整流程,有效解决了初学者面对庞大知识体系时无从下手、缺乏结构化指导的痛点。 无论是希望转型的开发者、需要补充算法背景的研究人员,还是对人工智能充满好奇的普通爱好者,都能从中受益。课程不仅提供了清晰的理论讲解,还强调动手实践,让用户在循序渐进中建立扎实的技能基础。其独特的亮点在于强大的多语言支持,通过自动化机制提供了包括简体中文在内的 50 多种语言版本,极大地降低了全球不同背景用户的学习门槛。此外,项目采用开源协作模式,社区活跃且内容持续更新,确保学习者能获取前沿且准确的技术资讯。如果你正寻找一条清晰、友好且专业的机器学习入门之路,ML-For-Beginners 将是理想的起点。

85k|★★☆☆☆|昨天
图像数据工具视频

ragflow

RAGFlow 是一款领先的开源检索增强生成(RAG)引擎,旨在为大语言模型构建更精准、可靠的上下文层。它巧妙地将前沿的 RAG 技术与智能体(Agent)能力相结合,不仅支持从各类文档中高效提取知识,还能让模型基于这些知识进行逻辑推理和任务执行。 在大模型应用中,幻觉问题和知识滞后是常见痛点。RAGFlow 通过深度解析复杂文档结构(如表格、图表及混合排版),显著提升了信息检索的准确度,从而有效减少模型“胡编乱造”的现象,确保回答既有据可依又具备时效性。其内置的智能体机制更进一步,使系统不仅能回答问题,还能自主规划步骤解决复杂问题。 这款工具特别适合开发者、企业技术团队以及 AI 研究人员使用。无论是希望快速搭建私有知识库问答系统,还是致力于探索大模型在垂直领域落地的创新者,都能从中受益。RAGFlow 提供了可视化的工作流编排界面和灵活的 API 接口,既降低了非算法背景用户的上手门槛,也满足了专业开发者对系统深度定制的需求。作为基于 Apache 2.0 协议开源的项目,它正成为连接通用大模型与行业专有知识之间的重要桥梁。

77.1k|★★★☆☆|2天前
Agent图像开发框架

PaddleOCR

PaddleOCR 是一款基于百度飞桨框架开发的高性能开源光学字符识别工具包。它的核心能力是将图片、PDF 等文档中的文字提取出来,转换成计算机可读取的结构化数据,让机器真正“看懂”图文内容。 面对海量纸质或电子文档,PaddleOCR 解决了人工录入效率低、数字化成本高的问题。尤其在人工智能领域,它扮演着连接图像与大型语言模型(LLM)的桥梁角色,能将视觉信息直接转化为文本输入,助力智能问答、文档分析等应用场景落地。 PaddleOCR 适合开发者、算法研究人员以及有文档自动化需求的普通用户。其技术优势十分明显:不仅支持全球 100 多种语言的识别,还能在 Windows、Linux、macOS 等多个系统上运行,并灵活适配 CPU、GPU、NPU 等各类硬件。作为一个轻量级且社区活跃的开源项目,PaddleOCR 既能满足快速集成的需求,也能支撑前沿的视觉语言研究,是处理文字识别任务的理想选择。

74.9k|★★★☆☆|今天
语言模型图像开发框架

awesome-machine-learning

awesome-machine-learning 是一份精心整理的机器学习资源清单,汇集了全球优秀的机器学习框架、库和软件工具。面对机器学习领域技术迭代快、资源分散且难以甄选的痛点,这份清单按编程语言(如 Python、C++、Go 等)和应用场景(如计算机视觉、自然语言处理、深度学习等)进行了系统化分类,帮助使用者快速定位高质量项目。 它特别适合开发者、数据科学家及研究人员使用。无论是初学者寻找入门库,还是资深工程师对比不同语言的技术选型,都能从中获得极具价值的参考。此外,清单还延伸提供了免费书籍、在线课程、行业会议、技术博客及线下聚会等丰富资源,构建了从学习到实践的全链路支持体系。 其独特亮点在于严格的维护标准:明确标记已停止维护或长期未更新的项目,确保推荐内容的时效性与可靠性。作为机器学习领域的“导航图”,awesome-machine-learning 以开源协作的方式持续更新,旨在降低技术探索门槛,让每一位从业者都能高效地站在巨人的肩膀上创新。

72.1k|★☆☆☆☆|2天前
开发框架其他

scikit-learn

scikit-learn 是一个基于 Python 构建的开源机器学习库,依托于 SciPy、NumPy 等科学计算生态,旨在让机器学习变得简单高效。它提供了一套统一且简洁的接口,涵盖了从数据预处理、特征工程到模型训练、评估及选择的全流程工具,内置了包括线性回归、支持向量机、随机森林、聚类等在内的丰富经典算法。 对于希望快速验证想法或构建原型的数据科学家、研究人员以及 Python 开发者而言,scikit-learn 是不可或缺的基础设施。它有效解决了机器学习入门门槛高、算法实现复杂以及不同模型间调用方式不统一的痛点,让用户无需重复造轮子,只需几行代码即可调用成熟的算法解决分类、回归、聚类等实际问题。 其核心技术亮点在于高度一致的 API 设计风格,所有估算器(Estimator)均遵循相同的调用逻辑,极大地降低了学习成本并提升了代码的可读性与可维护性。此外,它还提供了强大的模型选择与评估工具,如交叉验证和网格搜索,帮助用户系统地优化模型性能。作为一个由全球志愿者共同维护的成熟项目,scikit-learn 以其稳定性、详尽的文档和活跃的社区支持,成为连接理论学习与工业级应用的最

65.6k|★☆☆☆☆|昨天
开发框架其他数据工具

keras

Keras 是一个专为人类设计的深度学习框架,旨在让构建和训练神经网络变得简单直观。它解决了开发者在不同深度学习后端之间切换困难、模型开发效率低以及难以兼顾调试便捷性与运行性能的痛点。 无论是刚入门的学生、专注算法的研究人员,还是需要快速落地产品的工程师,都能通过 Keras 轻松上手。它支持计算机视觉、自然语言处理、音频分析及时间序列预测等多种任务。 Keras 3 的核心亮点在于其独特的“多后端”架构。用户只需编写一套代码,即可灵活选择 TensorFlow、JAX、PyTorch 或 OpenVINO 作为底层运行引擎。这一特性不仅保留了 Keras 一贯的高层易用性,还允许开发者根据需求自由选择:利用 JAX 或 PyTorch 的即时执行模式进行高效调试,或切换至速度最快的后端以获得最高 350% 的性能提升。此外,Keras 具备强大的扩展能力,能无缝从本地笔记本电脑扩展至大规模 GPU 或 TPU 集群,是连接原型开发与生产部署的理想桥梁。

63.9k|★★☆☆☆|昨天
开发框架数据工具其他