在 SLAM 和机器人状态估计中，三维旋转是最基础也是最容易出错的数学对象。旋转矩阵虽然直观，但它的 9 个参数存在冗余约束，直接进行优化和求导极为困难。李群 SO(3)SO(3)SO(3) 与李代数 so(3)\mathfrak{so}(3)so(3) 的理论正是为解决这一问题而生。本文将从一个真实的 SO3_MATH.h 源码出发，结合《视觉SLAM十四讲》中的理论知识，深入剖析：无论你是 S

在激光SLAM、视觉惯性里程计(VIO)以及卫星导航等领域，状态估计是核心问题。我们通常要估计机器人的姿态（旋转）和位姿（旋转+平移），这些量生活在流形上——它们对加法不封闭，不能直接用欧氏空间的微积分工具。为了解决这一难题，李群与李代数理论应运而生。通过将流形上的元素映射到其切空间（李代数），我们可以把非线性优化问题转化为线性最小二乘问题，从而借助高斯-牛顿、LM等经典算法高效求解。MTK（Ma

docker run是 Docker 容器化技术的入口。通过理解其背后“创建+启动”的两步本质、镜像与容器的类实例关系，以及灵活运用各种运行选项，你就能真正驾驭容器，根据不同的场景（开发、测试、生产）高效地部署和运行应用。记住，实践出真知，多动手运行不同的命令和参数组合，是掌握 Docker 的最佳途径。

本文涵盖了从镜像拉取、删除到容器运行、交互、文件管理和日志查看的 Docker 基础命令闭环。理解docker run与的区别，掌握docker ps和docker cp等命令，是高效使用 Docker 进行日常开发和调试的关键。建议在安全的环境（如测试容器）中多加练习，形成肌肉记忆。

Dockerfile 的指令各有其职责，理解并合理使用它们是构建高效、安全 Docker 镜像的关键。使用官方、轻量的基础镜像（如-alpine-slim版本）。合并 RUN 指令，减少镜像层数，并记得清理 apt 缓存等临时文件。合理使用文件，避免将不必要的文件加入构建上下文。明确指定版本标签，避免使用latest标签导致构建不确定性。使用非 root 用户运行应用，提升容器安全性。利用多阶段构

将本地 ROS2 项目制作成 Docker 镜像，其本质是在一个空白但标准的环境中，精准地复现你本地开发机的所有依赖状态。这个过程的核心工具是 Dockerfile，而其灵魂则在于对依赖管理（和分层缓存策略的深刻理解。遵循上述指南，你可以构建出体积适中、构建快速、运行稳定且可移植性强的 ROS2 应用镜像，从而极大地提升开发和部署的效率。

和的区别，反映了 ROS 2 构建系统从提供便捷工具到拥抱现代 CMake 标准实践的演进。是特定历史阶段下的便捷工具，适用于快速入门，但因其粗粒度和局限性，已被官方废弃。是 CMake 的基石命令，它通过与带有命名空间的 CMake 目标交互，提供了精确、灵活且强大的依赖管理能力，是当前及未来 ROS 2 开发的推荐方式。在编写新的 ROS 2 包或重构旧包时，请毫不犹豫地使用。这不仅能使你的项

Seth Hutchinson 的。