Robot SysID Lab

Lessons 课程设计评审稿

English version · 课程讲述与编辑原则 · 课程地图 · 已有课程

状态:K/L 阅读页与契约页已发布;L0、L0-E 与 L1 有本地数值证据,2026-09-26。 本稿记录批量讨论中确认的课程范围与取舍,并定义统一内容契约。它是 K/L 教学顺序和本轮交付范围的维护入口;长期路线图保留研究方向。数值参数、算法配置、资产版本、运行预算和素材脚本在单课 review 后冻结。正式页面不声称任何尚未生成并验证的数值结果。

已有 K0、K1、L0、L1 正文;L1 延迟与摩擦实验均已交付。L0/L1 的独立学员验收仍待完成。K2–K8、L0-E、L1-O、选修 L1-S 以及 L2–L6 的正式页面现已完成。真机 H 系列不在本轮范围,D06 保留旧稿供以后讨论。

评审入口:目标 · 顺序与前置 · 统一结构与证据 · K 课程卡片 · L 课程卡片 · 交付 · 逐课评审清单。反馈直接引用课程编号;现有 D01–D08 与 L 锚点继续有效。

D01 · 学完后应该能做什么

面向能读懂曲线、具备基础 Python 经验的机器人工程师。主目标是独立设计辨识实验、拟合并诊断机器人模型;L4 另有一个规模受控的下游控制对比。RL 训练是扩展,不作为主线通关条件。

完成主线后,学员应能:

  1. 画出系统边界,区分指令、实际力矩、状态与观测,明确拟合器能使用什么。
  2. 选择能显现目标效应的激励,并判断参数相关性与数据覆盖的限制。
  3. 用受控对比区分优化失败、信息不足和模型结构不足,提出下一步实验。
  4. 在未参与调整的工况上评价预测,并说明参数恢复、行为预测与下游效果分别证明什么。
  5. 将部件证据带到整机,选择参数共享方式,并在模型失配时报告适用范围与剩余不确定性。
  6. 用不同模型按同一设计方法生成控制器配置,在同一个 Oracle 上比较效果,不预设辨识后必然全面获胜。

数学采用工程推导深度:正文解释必要方程、单位和关键推导,让学员能修改模型与目标函数;完整证明和高级优化细节放补充阅读。K 课各自解决一个通用判断问题,L 课以数据检验这些判断。

课程从具体失败开始:先预测原因,再做受控对比。每课保留可验证的成功基准,但允许结论是“只能约束一个范围”或“需要新实验”。L2 之前每次只增加一个主要困难;L2 起专门研究耦合与补偿解。

篇幅目标: K 核心阅读约 10–15 分钟,小实验讲解与练习约 25–40 分钟。L2–L6 拆成围绕单一问题的连续小节;本地作业单独计时。这些是写作目标,不是实测计算耗时。静态阅读本身即可完成理解与读图练习,无需安装仿真器或使用 GPU。

D02 · 学习顺序与课程边界

K0–K8 按知识主题组织,L0–L6 按实验复杂度递进,编号不一一对应。K 保留独立课程,L 链接所需章节;不要求先读完整知识线。带后缀的实验仍属于原级别,不重新编号既有课程。

阶段 推荐阅读与实验顺序 获得的能力
起步 K0 → K1 → L0 走完惯量与阻尼辨识的最小闭环
方法 K4 → K5 → K6 → L0-E,并回读 L0 理解激励、拟合与留出验证,识别弱约束
执行器 K2 基础 → K3 → L1 延迟 → L1 摩擦 分清动力学与指令链路,隔离单项效应
观测 L1-O;L1-S 为选修分支 分清传感器误差与系统行为;按需研究限幅
结构 K7 → L2 → L3,回读 K2 耦合与接触 识别补偿解,先验证自由空间再加入接触
整机 K8 → L4 比较两条辨识路线,并检验下游控制效果
规模与失配 默认 L5 → L6;两者均可从 L4 后进入 分别研究参数共享与模型无法精确匹配的情况

上表是推荐顺序,不等于硬性依赖链。必要前置指应已具备的能力,可由同等经验替代;各卡片列出具体前置。L5 不是 L6 的必要前置。K4–K6 在所有实验中反复使用,K7 在 L1 先给局部解释、进入 L2 前系统学习,K8 在 L4 前引入并在 L6 回读。

K0/K1 → L0 → K4/K5/K6 → L0-E
                         ↓
                 K2 基础 / K3 → L1 延迟 → L1 摩擦 → L1-O
                                    └→ L1-S(选修)
                 K7 / K2 耦合 → L2 → K2 接触 / L3 → K8 / L4
                                                          ├→ L5 参数共享
                                                          └→ L6 结构失配 → 真正跨仿真器

推荐主线是 K0 → K1 → L0 → L1(含摩擦),随后按 D02 阅读已完成的 K/L 正式页面。各页面在满足列出的前置能力后都可独立阅读;数值证据状态在单课页面中说明。L1 所需概念在课内说明。

资产与后端保持连续:L2 的两关节固定基座腿作为 L3 的同一对象,并与 L4 的 Microduck 资产约定衔接;L5 换为指定的 Microban,复用主后端与实验协议。主后端及具体资产版本在 L2 评审冻结,之后沿用;L6 才引入第二引擎。具体几何适配不在本轮假定已经完成。

柔性、回差、Stribeck、主动激励、优化器排行榜、宽泛/定向随机化和 RL 训练归入专题。只有具体失败提出需求时,才将相应专题加入某课扩展。

D03 · 每课统一的阅读结构

环节 学员的体验 作者提供
01 · 失败与预测 看一个具体偏差,先猜原因 初始模型对比与一个判断问题
02 · 边界与推导 说清输入、未知量、固定量和必要方程 信号可见性图、单位、关键推导
03 · 受控实验 解释改变什么、固定什么 成功基准、对比组、拟合/开发/最终评估划分
04 · 证据与诊断 判断模型、数据或优化器的问题 拟合/留出视图、残差或敏感度、结论范围
05 · 练习与解答 先预测,再读图或改一个设置 无需运行代码的练习与参考解释,可选有限交互
06 · 局限与下一步 提出更能区分假设的实验 未解决歧义、下课入口与必要前置

每课开头使用同一种三层信号可见性图:

层 用途与权限 示例
拟合器可见 仅拟合分区的公开输入、测量、元数据可传给估计器 指令、编码器、已声明的力测量
评估信号 只用于评分,不进入拟合与调参;若用于选模型,须改标开发数据 最终留出观测、允许比较的共享参数真值
Oracle 诊断 仅供生成和教学解释;不进入目标函数、初始化、边界选择或模型挑选 实际力矩、精确隐状态、求解器内力

三层是访问用途,不是按信号名称永久划分。L0 明确提供实际施加力矩,L1 延迟不提供;每张图必须标明数据分区与可见性。拟合器也不能接触留出数据中的公开测量。

计算实验的最低证据包是:真实系统/初始模型/辨识后模型对比、分别报告的拟合与最终留出指标、残差或敏感度图、证据说明、下一步实验建议。多个候选 Student 分开标注。K 课引用对应 L 的真实证据或明确标注的概念示意,不为满足模板伪造运行结果。

每课要求学员写:“我原先预计……;图或指标显示……;在……条件下支持……;仍不能排除……;下一步做……实验。”并讨论三个诊断分支:模型结构不足、数据不足、优化失败。某分支不适用时说明理由,不强制每课制造三种失败。参考解答应指出支持结论的图、不能得出的结论和可区分剩余假设的实验。

模型选择属于开发过程。候选结构、边界、权重、正则化和控制器设计规则应在最终评估前声明;用某份验证数据作选择后,它成为开发数据,最终结论需要另一份未参与调整的数据。重复运行声明种子与预算;不通过反复查看最终评估挑最好一次。

一个学习问题对应连续阅读页面。章节锚点辅助滚动,短片放在对应问题旁并附文字解释;曲线保留标签与线型。回放不触发拟合,参数预览与已完成结果明确区分。具体视觉沿用现有课程,脚本与交互控件留单课 review。

D04 · 知识课程卡片

K0/K1 已有正文,本轮保留:K0 建立辨识动机;K1 区分输入、状态、观测、模型和参数。K2–K8 卡片现在都已有对应的正式阅读页,并遵循统一结构。数值运行提供经过验证的证据之前,概念图仍会明确标注为示意图。参考材料沿用书籍与参考资料。

K2 · K3 · K4 · K5 · K6 · K7 · K8

K2 · 从运动偏差定位动力学项

K3 · 从控制指令追踪到关节力矩

K4 · 判断实验能否区分参数

K5 · 判断拟合过程到底解决了什么

K6 · 用新实验挑战模型预测

K7 · 判断拟合参数代表什么

K8 · 将辨识结果用于控制与迁移

D05 · 合成实验课程卡片

L0、L0-E 和 L1 有已检查的本地证据;L1-O、L1-S 与 L2–L6 仍是待实现设计。课程矩阵记录具体证据和素材状态。每个实验遵循 D03 的三层可见性、数据划分和最低证据包;下面列出各课新增的教学重点。数值真值、参数边界、采样/积分、容差、种子与预算在单课 review 冻结。

L0 · L0-E · L1 延迟 · L1 摩擦 · L1-O · L1-S · L2 · L3 · L4 · L5 · L6

L0 · 恢复惯量与阻尼

已有主线基础,本轮不重新设计数值契约。 课程与固定报告使用 J*qdd + b*qd = u、已知实际力矩、理想 t/u/q/qd 观测,只拟合 J/b。K0/K1 足以开始;扫频拟合后检验留出多正弦运动,展示真实系统、初始模型和辨识后模型。

学员修改初始惯量或阻尼,区分预览与完成拟合的结果,并解释留出预测。模型结构匹配、力矩已知和观测理想限制了结论。独立学员验收仍待完成。下一步在 K4–K6/L0-E 回读相同系统。

L0-E · 当输入掩盖了参数的影响

已有本地证据: 冻结报告和课程页现已实现该卡片。

L1 · 辨识指令延迟

已有主线基础,本轮保留实现。 课程与固定报告的边界为 q_des → 固定 PD → 完整力矩指令延迟 → 重力负载摆。只用公开 t/q_des/q/qd 拟合等效延迟;qd 从位置推导,真实力矩和延迟内部状态用于诊断。几何、负载、增益与积分设置已知。

必要能力是 L0 与指令/状态区分;推荐先读 K2 基础/K3,K7 的等效参数解释在课内先提供。扫频拟合后预测另行定义的换向波形,解释相位线索、残差及闭环影响。改变初始延迟后需显式提交拟合,回放读取已完成结果。结论不是电机电磁时间常数,独立学员验收仍待完成。下一步为已有摩擦实验。

L1 扩展 · 区分摩擦与黏性阻尼

已交付且保留在主线。 L1 页面中的第二个隔离实验及固定报告使用已知惯量与实际力矩。Oracle 阻力为 b*qd + tau_c*tanh(qd/v_eps),v_eps 公开固定;对比只含黏性项与同时拟合 b/tau_c 的 Student。延迟为零,无重力和饱和。

在 L1 延迟后配合 K3/K6 学习。双向、多速度运动与预先声明的留出幅值/换向速率用于研究结构残差。学员解释纯黏性模型在换向附近的失配,并提出分离两项阻力的输入;“残差与速度相关”本身不证明摩擦是唯一原因。这里只用平滑类库仑阻力,不包含静止黏着、Stribeck 或回差;已有静态、CPU 报告和 Notebook,浏览器对比暂缓。下一步为 L1-O,或选修 L1-S。

L1-O · 分清观测质量与系统行为

L1-S · 让力矩限幅显现出来

L2 · 在固定基座腿中分离执行器与刚体误差

L3 · 在自由空间验证后加入接触

L4 · 比较整机拟合路线并检验控制效果

L5 · 在 Microban 关节之间共享参数

L6 · 从结构失配到真正跨仿真器

D06 · 硬件课程卡片

本轮范围外:保留既有草案,未在本次重新评审,不构成 K/L 主线前置。

以下是流程和解释层面的设计。具体平台在形成采集课前,必须先给出硬件、仪器和运行限制。本提案不提供泛化的硬件执行命令。

编号 问题与前置条件 实验与证据 学员产出 / 交付方式
H0 哪些台架测量能支持所选执行器边界?需要执行器课程、L1-O 和平台专属台架规程 校验符号、单位、力矩/电流标定、时钟和运行边界。重复采集台架动作;留出一个采集会话或运行工况。记录电压/温度,区分传感器不确定性与参数变化。不假定存在已知的物理真值。 标注后的信号边界、校准记录、重复拟合/验证说明。静态规程和记录案例;采集及拟合在本地完成。
H1 部件证据能否预测真实 Microduck 或 Microban?需要 H0 和相应 L2–L4 证据 从有支撑的子系统动作逐步到整机测试;保留上游验证。留出动作族或采集会话,记录硬件/控制器版本。只对实测信号报告关节、基座和接触证据。 解释一次迁移成功和一个剩余偏差;区分仿真预测与已展示的物理行为。本地采集,审阅已完成运行。
H2 另一位工程师能否复现完整人形结果?需要 H1 及平台专属采集/操作规程 跟踪执行器族、逐关节标定、数据来源、拟合预算和评估会话。用声明的条件重新检查下游控制器/策略,不能因为完成辨识就默认可以部署。 形成可复现的数据到模型交付,明确结论边界和未解决的不确定性。本地/服务器计算,静态报告和回放用于评审。

D07 · 交付方式与双语评审

遵循课程交付政策和课程/实验流水线:静态解释是主要学习入口;标为可运行的课程由本地实验提供数值证据,受限 WASM 是可选项。视频是按问题声明的辅助表面,不是统一的完成要求。实现时先完成并验证本地数值路径,再制作对应的静态证据,最后决定浏览器交互形式。当前 L0/L1 的 Marimo 应用需要本地 Python 服务;自包含 WASM 发布仍属于待办工作。

交付形式 评审要求
静态课程 不运行应用也能读懂问题、边界、证据、练习解答、局限和本地命令。已有视频放在对应问题旁,计划中和无需视频的情况要标明。
浏览器交互(如交付) 声明依赖并测量冷启动、运行、内存和最坏控件设置的预算;明确它是完整拟合、预览还是回放。
本地实验 一个实现/配置产出报告和课程证据。完成后记录依赖、运行时/资源、输出位置和复现命令。
中英文版本 课程编号、方程、单位、数值、观测边界和状态保持一致,共用报告、数据和素材;契约变化时同时更新两种叙事。

静态网站提供中英文课程页、讲义、报告解释和课程设计,每页都有语言切换。已有教学视频提供两种语言的字幕及对应文字说明,共用原始视频和数值数据。本地 Python 应用和实现记录仍是独立的研究工具。新增课程或修改实验约定时,需要同时维护两种语言。

下面每一行都已有正式阅读页;表格记录仍待补齐的数值与证据工作,静态页面不代表对应本地实验已经运行:

课程 主要阅读与展示 完整计算路径
K2–K8 静态知识页、示意图、引用对应实验的固定证据 无独立拟合要求
L0-E 静态对比、已检查报告与教学视频 已有本地 CPU
L1-O、L1-S 设计草稿;静态对比计划中 本地 CPU 计划中
L2/L3 静态、视频与预计算回放 本地原生仿真与拟合
L4/L5 静态课程、报告汇总、预计算回放 本地 CPU/GPU 或调度环境,按实际需求声明
L6 两案静态证据与回放 两个后端的本地复现

K 页与实验页共用解释结构;只有计算实验需要完整数值产物。发布页面逐课分类:K 阅读/概念、L0/L0-E/L1 可运行证据,以及其余 L 设计草稿。草稿的本地报告、仿真回放和性能证据仍待实现。大型实验按声明的 CPU/GPU 环境验收,不强制所有课程使用 CPU;静态阅读仍不要求计算环境。本稿中的“图表计划”只有经真实运行生成并验证后,才可成为课程结果。

未来翻译统一使用下面的术语:

English 中文 本课程中的含义
System identification / SysID 系统辨识 从观测推断已声明模型
Plant boundary 被辨识系统边界 定义输入进入哪个系统,以及观测哪个输出
True system / Oracle 真实系统 / Oracle 合成实验中的隐藏真值来源,不等于真实硬件
Student model 待辨识模型 / Student 已声明的候选结构和可调参数
Initial model / Identified model 初始模型 / 辨识后模型 拟合前与拟合后的对比角色
Fit / held-out validation 拟合 / 留出验证 估计数据 / 不参与估计和调整的数据
Residual 残差 model - observed,并注明量和单位
Excitation / identifiability 激励 / 可辨识性 输入如何显露效应 / 数据能否区分参数
Physical / effective parameter 物理参数 / 等效参数 独立有物理意义的量 / 依赖建模边界的有效值

D08 · 逐课评审与下一步

本轮的完成物是统一内容设计,不是新课程正文、可运行实验或实测报告。已交付的 L1 摩擦不再列为从零开始的下一项任务。整体设计确认不替代 L0/L1 独立学员验收,也不冻结下表细节。

评审批次 范围 需要形成的决定
1 · 方法桥接 K4/K5/K6、L0-E 推导深度、激励对比、尺度处理、诊断图与解答
2 · 执行器与观测 K2 基础/K3、L1-O;L1-S 选修 观测噪声与通道相关性、目标函数、限幅对比;复用已有延迟/摩擦证据
3 · 结构与接触 K2 后续/K7、L2/L3 主资产与后端、参数组合、部件约束、法向接触、力测量与数值检查
4 · 整机与控制 K8、L4 两条拟合路线的成本边界、控制任务/设计方法、模型选择与最终评估
5 · 两个后续分支 L5、L6,可分别 review 参数共享/例外与重复预算;小系统、第二引擎与接口语义

上述是建议评审批次,不承诺实现日期,也不要求评审整条主线后才可交付单课。每课 review 后冻结一个数值契约与内容提纲,再按“本地数值路径 → 固定证据 → 双语课程 → 可选交互”推进。K 课可以先制作明确标注的概念示意;实验图与性能结论必须来自后续实际运行。

每次单课 review 应回答:问题是否足够单一;必要前置是否合理;哪一组对比真正区分假设;信号和数据分区是否明确;图表是否支持结论;练习的答案能否从证据得到;哪些具体参数、预算、素材仍需冻结。不同意某个细节时在本稿修改该卡片,避免另建平行设计。

已确认决策索引: 以下记录本轮批量讨论 Q1–Q18 的结论,方便追溯,不是新的待批准清单。

讨论编号 确认的方向 落点
Q1、Q11、Q17 辨识/诊断为主目标;L4 必做小型控制对比,同一设计方法、不同模型生成配置、同一 Oracle 评估;RL 与随机化对比为扩展 D01、K8、L4
Q2、Q6 工程推导;K 独立讲判断方法,L 引用必要章节并用数据检验 D01、D04
Q3、Q13 L0-E/L1-O 主线,L1-S 选修;高级物理/主动激励/算法榜单等归专题 D02、D05
Q4、Q7 从失败与预测进入;先孤立效应,L2 起研究补偿;允许范围和需要新实验的结论 D01、D03、D05
Q5、Q12 紧凑主线;静态优先,预计算回放,本地承担完整拟合 D01、D07
Q8 L2/L3 同一条腿,与 L4 Microduck 衔接,L5 Microban 沿用主后端,L6 引入第二引擎 D02、L2–L6
Q9、Q10 三层信号可见性与共享证据模板,每课给诊断和下一步实验 D03
Q14 推荐顺序与必要前置分开;L4 后可独立进入 L5/L6;K8 在 L4 前引入 D02
Q15、Q16 L3 首课仅法向接触;L6 包含单引擎结构失配与真正跨引擎两案 L3、L6
Q18 更新本双语评审稿与相关入口;H 保留旧稿但不在本轮评审;不实现新实验 本稿、课程首页

反馈格式:课程编号 → 希望调整的内容 → 原因或待验证假设。例如:“L3 → 增加不同速度下同压入量的力对比 → 检查是否真的能分离刚度和阻尼。”交付待办负责打包与部署,不替代本稿的课程内容设计。