混沌工程学(Hundun Engineering):从刚体链式模型到耦合场建模
混沌工程学(Hundun Engineering):从刚体链式模型到耦合场建模
摘要
现有机器人动力学以刚体链式递推为基础,其四条预设——刚体、链式因果、封闭系统、残差即噪声——在本体层面均不成立。本文以混沌拓扑学(HDT)为底,提出耦合场建模:以连续能量密度场替代离散刚体坐标,以响应规则替代因果链,以分布式组网替代封闭边界,以确定性未穷尽替代随机噪声项。并指出四点:不预设演化路径,追实时跟随;保留无目标的探索期,玩耍即成长本身;建立自反馈机制,使机器人能据残差自行改写自身动力学,即自适应;轻量化是上述建模正确后的结果,而非设计目标。全文的论证次序为:先列现有模型的四条预设(第 1 节),再逐条证伪(第 2–5 节),继而给出替代建模与由此导出的工程要求(第 3–9 节),最后收束于结论与未决项。
关键词:混沌拓扑学(HDT);混沌工程学(HDE);耦合场建模;因果场;残差;探索期;自适应;拓扑自锁
0 引言:正名与定义
0.1 不用 Chaos
“Chaos Engineering” 一词已被占用:向系统注入故障以检验韧性。那套把混沌当作失序、当作要注入的破坏源,实为"混乱工程"。中文"混沌"本义相反——《庄子》浑沌,凿七窍而亡。它是未分化的整全:有序,但不可切分。二者本体相反,不共用其名。本文定名 Hundun Engineering(HDE)。
需要说明的是,此处并非文字游戏。名不正则预设不正:若把混沌读作"要注入的破坏",则工程目标自然是"提高抗破坏能力",即冗余与容错;若把混沌读作"不可穷尽的整全",则工程目标转为"扩大已采样的耦合范围",即组网、探索与自适应。同一门学科,因一字之训而走向两条完全不同的技术路线,故正名先行。
0.2 定义
混沌不是无序,而是不可穷尽。 有序是本体属性,不可穷尽是认知边界。二者长期被混同,于是混沌被读成随机。其工程代价是:一旦判定系统随机,便放弃确定性建模,转而去堆概率模型与冗余——用"不可知"掩盖"没采到"。
由此可给出本文所用的一组工作定义,后文一律依此使用:
- 本体:系统自身的存在方式,不因观测而变;
- 现象:本体在特定观测条件下的投影,可有损;
- 残差:模型输出与实测之差,属确定性量,待分解而非待平均;
- 虚域/实域:尚未被采样过的耦合状态/已被采样并纳入模型的耦合状态。
四者之中,最易被误用的是"残差"。把它当作本体的噪声,等于把观测的不足写进本体;本文全篇的修正,大半落在这一个词的重新定位上。
0.3 方法论与方程的使用
从现象总结出原理,从原理得出方程;次序不能错;解释不了的不解释。方程本文照常使用——它是原理的写法,不是本体的替身。 本文所拒者,是把观测到的现象误立为本体:柔性被当成误差,残差被当成噪声,未采到的耦合被当成不存在。
具体到操作层面,本文对式 (1)–(5) 的使用遵循三条约定:其一,方程只在能给出同一时刻全域状态(或可接受的近似)时使用,给不出则如实标注为未采到;其二,方程中的每一项须能指认其对应的物理耦合,指认不出的项不得以"经验修正"名义保留;其三,方程是随运行经验改写的对象(见第 7 节),不是出厂即定的常数表。三条约定贯穿全文,也是判断某处推导是否越界的依据。
1 现有模型及其四条预设
机器人动力学的标准形式为
M(q)q¨+C(q,q˙)q˙+G(q)=τ(1)M(q)\ddot{q}+C(q,\dot{q})\dot{q}+G(q)=\tau \tag{1}M(q)q¨+C(q,q˙)q˙+G(q)=τ(1)
qqq 为关节构型。该式成立依赖四条预设:
- (a) 刚体连杆:连杆密度均一、具硬边界,关节为理想约束;
- (b) 链式因果:由基座至末端逐环节递推,因果沿单链传递;
- © 封闭系统:机器人是与环境可分离的力学系统;
- (d) 残差即噪声:模型与实测之差归为随机噪声,以概率方法处理。
四条并非并列的技术假设,而是层层依赖:无 (a) 则构型 qqq 无从定义,无 (b) 则式 (1) 的递推无从展开,无 © 则边界条件无从给定,无 (d) 则前三条的偏差无从安放。故其证伪亦须逐条进行,且后一条的证伪会反过来加重前一条的困难——第 5 节将说明,被 (d) 归为噪声的那部分,恰是 (a)(b)© 失效所溢出的量。四条逐条不成立,见第 2–5 节。
四条预设与本文的证伪、替代方案一一对应,可先看下表,再逐节展开:
| 预设 | 传统刚体链式模型的做法 | 本文的证伪依据(对应第 2–5 节) | 替代建模方案 |
|---|---|---|---|
| (a) 刚体连杆 | 连杆视为密度均一、具硬边界的刚体,关节为理想约束,构型 qqq 由此定义 | 第 2 节:骨骼本非刚体——骨小梁沿应力线排列、密度处处不同,关节是软骨与滑液的连续过渡区,不存在转动中心点;柔性变形是本体,不是误差 | 连续场:以能量密度场 ρ(r⃗,t)\rho(\vec r,t)ρ(r,t) 描述结构,表面只是密度由峰值回落至背景的过渡带 |
| (b) 链式因果 | 由基座至末端逐环节递推,因果沿单链传递,式 (1) 由此展开 | 第 3 节:末端接触同时改变关节摩擦、线缆张力、基座受力与地面反力,全域同时耦合;递推结构是对连续因果场的裁剪,被裁掉的路径全部进入残差 | 响应规则:以场方程(式 (2)(3))与局域梯度驱动替代链式递推,控制器只存响应规则,不存路径 |
| © 封闭系统 | 机器人视为与环境可分离的力学系统,边界条件由此给定 | 第 4 节:边界是切出来的,地面、负载、线缆、温度持续与之耦合,不存在封闭系统 | 组网:把边界扩出去,以分布式组网与持续交往扩大已采样的耦合范围,同时使全域同时采样成为可能 |
| (d) 残差即噪声 | 模型与实测之差归为随机噪声,以概率方法处理,用随机项填补缺口 | 第 5 节:残差可分解为未纳入模型的耦合与采样不足所致混叠,两项皆属确定性;所见"噪声"实为混叠 | 补采样:补采样、补耦合,判据 Ts<Tc/NT_s<T_c/NTs<Tc/N;达不到则如实标注未采到,不作随机化包装 |
此表是全文论证次序的索引:左列是待证伪的四条预设,第三列指向第 2–5 节的逐条证伪,第四列指向其后的替代建模与工程要求(第 3–9 节);读后文时可按行对照。
上表按「预设—证伪—替代」展开,便于逐节对照;若只需速查每条预设的反例、代价与替代做法,可看下表:
| 预设 | 反例(一句话,取自第 2–5 节正文) | 若不撤销的工程代价 | 撤销后的替代做法 |
|---|---|---|---|
| (a) 刚体连杆 | 骨骼本非刚体:骨小梁沿应力线排列、密度处处不同,关节是软骨与滑液的连续过渡区,不存在转动中心点,柔性变形是本体而非误差 | 一切连续渐变被归入误差项,再由控制器补偿——而补偿的其实是模型自身的缺失 | 以连续能量密度场 ρ(r⃗,t)\rho(\vec r,t)ρ(r,t) 描述结构,表面只是密度由峰值回落至背景的过渡带(式 (2)(3)) |
| (b) 链式因果 | 末端接触同时改变关节摩擦、线缆张力、基座受力与地面反力,全域同时耦合,而非一环传一环 | 式 (1) 的递推结构是对连续因果场的裁剪,被裁掉的路径不会消失,全部进入残差,再被当作噪声 | 以场方程与局域梯度驱动替代链式递推,控制器只存响应规则,不存路径(第 8 节) |
| © 封闭系统 | 边界是切出来的:地面、负载、线缆、温度持续与机器人耦合,不存在封闭系统 | 被封闭边界裁在模型之外的耦合全部落进残差 εcoupling\varepsilon_{\rm coupling}εcoupling,只能被当作"未知扰动" | 组网并参与交往,把边界扩出去,以共享采样把耦合纳入模型,使全域同时采样成为可能 |
| (d) 残差即噪声 | 残差可分解为未纳入模型的耦合与采样不足所致混叠,两项皆属确定性,所见"噪声"实为混叠 | 以随机项填残差,等于为填补缺口而设、不为解释现象而生;未采到的耦合被当成不存在,且参数写死后变化无处安放 | 补采样、补耦合,判据 Ts<Tc/NT_s<T_c/NTs<Tc/N;达不到则如实标注未采到,并由残差驱动参数更新(式 (5)) |
此表只作速查,不引入新论据:第二列取自第 2–5 节正文,第三列取自各节对不撤销后果的论述,第四列取自第 3–5 节与第 7 节的替代做法。
2 刚体预设之不成立:骨骼本非刚体
仿人机器所模仿的对象本身不是刚体。骨外层致密、内部疏松,骨小梁沿应力线排列,密度处处不同;关节是软骨、滑液、韧带的连续过渡区,不存在转动中心点。故柔性变形不是"误差",是本体。
以刚体建模,则一切连续渐变被归入误差项,再由控制器补偿——而补偿的其实是模型自身的缺失。
此条对应 HDT 撤销项点粒子:连杆不是具硬边界的实体,是能量沿梯度分布的结构;所谓表面,只是密度由峰值回落至背景的过渡带。
3 因果是场,不是链
末端接触一事,同时改变关节摩擦、线缆张力、基座受力与地面反力——全域同时耦合,而非一环传一环。式 (1) 的递推结构是对连续因果场的裁剪;被裁掉的路径不会消失,全部进入残差,再被当作噪声。
替代写法:以连续场 ρ(r⃗,t)\rho(\vec r,t)ρ(r,t) 描述,其演化满足
∂ρ∂t+∇⋅(ρv⃗)=Ssrc−Ssink(2)\frac{\partial \rho}{\partial t}+\nabla\cdot(\rho \vec v)=S_{\rm src}-S_{\rm sink} \tag{2}∂t∂ρ+∇⋅(ρv)=Ssrc−Ssink(2)
局域驱动为
τ=−k∇ρ(3)\tau=-k\nabla\rho \tag{3}τ=−k∇ρ(3)
式 (3) 是式 (1) 的替换,不是它的补丁:式 (1) 的输出由构型唯一决定,式 (3) 的输出由局域梯度决定,二者对同一接触的响应不同。
关于场方程的适用:HDT 在天体尺度撤销场方程,理由是观测到的光学现象并非同一时刻出发,无从为同一个场写初值。工程尺度不同——机器人可借分布式传感网近似同时采样全域状态,初值可得。故场方程在彼处撤销、在此处可用,判据同一:能否拿到同一时刻的全域状态。而使其在工程上成为可能的,正是第 4 节的组网。
4 组网与交往:不存在封闭系统
边界是切出来的,机器人并不封闭。地面、负载、线缆、温度持续与之耦合。故预设 © 不成立。
由此得工程要求:机器人须组网,并参与交往。 组网非算力叠加,而是把边界扩出去——掌握的耦合越多,"未知扰动"越少。一台机器人撞上的是意外;一百台共享过,就不是。
交往同理。人类意图不在单条指令里,而在交往的连续上下文中。只接收指令的机器人,每次拿到的是孤立切片,而切片是有损压缩——从一张切片读不出意图。不组网、不交往,便永远只能读切片。
下面这张图把两种边界并置:左侧是单台机器人在封闭边界下的耦合,右侧是组网之后耦合的共享拓扑。
三点说明,对应第 5 节的残差分解式 (4):
- 左图虚线箭头即式 (4) 中的 εcoupling\varepsilon_{\rm coupling}εcoupling:地面、负载、线缆、温度这些耦合并未消失,只是被封闭边界裁在模型之外,于是全部落进残差。
- 右图的双向箭头即对 εcoupling\varepsilon_{\rm coupling}εcoupling 的处理方式:耦合被共享采样后纳入模型,残差中的这一项随之缩小,而不是被概率项抹平。
- 组网只解决 εcoupling\varepsilon_{\rm coupling}εcoupling,不解决 εsampling\varepsilon_{\rm sampling}εsampling——后者仍须靠 Ts<Tc/NT_s<T_c/NTs<Tc/N 的补采样判据,达不到就如实留白。
5 残差即噪声之不成立
残差可分解为
ε=εcoupling+εsampling(4)\varepsilon=\varepsilon_{\rm coupling}+\varepsilon_{\rm sampling} \tag{4}ε=εcoupling+εsampling(4)
两项皆属确定性:前者为未纳入模型的耦合,后者为采样率不足所致混叠。控制环典型为 1 kHz,而结构振动、接触动力学、线缆演化均快于它,故所见"噪声"实为混叠,不是随机。
因此处理残差的正道是补采样、补耦合,而非加概率项。以随机项填残差,与以暗物质填星系旋转曲线同构——皆为填补缺口而设,不为解释现象而生,一律撤销。
工程判据:采样周期须小于最快耦合的特征周期,Ts<Tc/NT_s<T_c/NTs<Tc/N。达不到,则承认未采到,不作随机化包装。
6 探索期:允许无意义的事
要允许它们做一些无意义的事。生存本就会做些看似无意义的事,但那些会变成它的经验。
只做目标导向的动作,覆盖的是设计者预设过的状态空间;无目标的动作探索的是尚未被采样的耦合——那些耦合不是不存在,是处在虚域。做过一遍,虚域方转为实域。
人类的玩耍即现成例证:幼崽在相当长时间内不做任何"有用"的事,只是摆弄、翻滚、敲打、试探。这些动作没有即时成果,却把世界的耦合关系采样了一遍。玩耍不是成长的间隙,玩耍就是成长本身。
故探索期不是调试期,不是投入使用前的排错阶段,而是能力形成的过程。探索期不设产出指标。跳过它,得到的只是一个能执行预设动作、一遇未采样情况即失效的东西——因为它从未建立过耦合库。
7 自适应:自反馈与自行改写动力学
探索取得经验,经验须有去处。否则采样一遍,采完即弃,模型依旧是出厂的那个。
现有做法是把模型参数离线辨识一次,写死,此后只调控制器增益,模型本身不再变。参数一旦写死,磨损、负载更换、线缆老化、温度漂移带来的变化便无处安放,只能进残差,再被当作噪声滤掉。
混沌工程学要求机器人具备自反馈机制:能自己改写自己的动力学系统。这叫做自适应。
残差 ε\varepsilonε 因此改变去处。旧路径是 ε→\varepsilon\toε→ 滤波器 →\to→ 丢弃;本文的路径是 ε→\varepsilon\toε→ 参数更新 →\to→ 模型改写。同一个 ε\varepsilonε,两种去处,区别只在于它被视为噪声还是被视为信息。既然第 5 节已判定它是未采到的确定性耦合,它就必须回到模型里去,而不是被滤掉。
设 θ\thetaθ 为动力学模型的待定参数(在本框架下为场的分布与耦合权重;沿用旧框架时即 MMM、CCC、GGG 中的待定量),则其自行演化为
θ˙=−η ∇θε2(5)\dot{\theta}=-\eta\,\nabla_{\theta}\varepsilon^{2} \tag{5}θ˙=−η∇θε2(5)
即模型参数沿残差下降的方向自行调整。式 (5) 不是外加的补偿器,而是模型自身的一部分:动力学不再是一组出厂标定的常数,而是一个持续被自身运行经验改写的对象。
收敛性与稳定性讨论。 式 (5) 是连续时间的写法,落到离散控制环上即 θk+1=θk−η ∇θεk2\theta_{k+1}=\theta_k-\eta\,\nabla_\theta\varepsilon_k^2θk+1=θk−η∇θεk2,其稳定性由 η\etaη 与采样周期 TsT_sTs 共同决定,不能只看 η\etaη 本身。
其一,学习率的上界与 TsT_sTs 成反比。把残差对 θ\thetaθ 的响应线性化为 εk+1≈(1−ηLTs) εk\varepsilon_{k+1}\approx(1-\eta L T_s)\,\varepsilon_kεk+1≈(1−ηLTs)εk(LLL 为 ε2\varepsilon^2ε2 关于 θ\thetaθ 的 Lipschitz 常数,量纲为 1/s1/\text{s}1/s),则收敛要求
0<η<2L Ts(6)0<\eta<\frac{2}{L\,T_s} \tag{6}0<η<LTs2(6)
即采样越慢,η\etaη 的上界越低。这与第 5 节的判据同源:TsT_sTs 越大,单步内被积掉的耦合越多,梯度估计越不可信,此时若仍按小 TsT_sTs 的经验取 η\etaη,更新步长会越过极小点而发散。故 η\etaη 不能离线一次定死,须随 TsT_sTs 与 LLL 的在线估计同步缩放。
其二,梯度估计噪声直接抬高有效步长。实测残差含 εsampling\varepsilon_{\rm sampling}εsampling,故 ∇θε2\nabla_\theta\varepsilon^2∇θε2 的估计带有零均值扰动 ξk\xi_kξk,其方差随 TsT_sTs 增大而增大。此时参数更新等价于在真实梯度上叠加一个随机游走,噪声项按 η2σξ2\eta^2\sigma_\xi^2η2σξ2 累积;η\etaη 取到上界附近时,噪声放大足以淹没真实下降方向,表现为 θ\thetaθ 在极小点附近持续抖动而不收敛。缓解办法是让 η\etaη 留出裕度(工程上取上界的 1/3∼1/21/3\sim1/21/3∼1/2),并对梯度做滑动平均,把 ξk\xi_kξk 的高频部分压掉。
其三,实时控制环中的振荡风险与三条缓解办法。θ\thetaθ 一旦进入控制回路,模型改写会立刻改变控制输出,与控制增益形成耦合:更新过快时,控制器按旧模型整定的增益对新模型过冲,表现为可观测的低频振荡。缓解办法有三:更新降频——θ\thetaθ 的更新周期取控制周期的整数倍(如每 10∼10010\sim10010∼100 个控制步更新一次),使模型演化慢于控制环;滑动平均——对梯度或对 θ\thetaθ 本身做指数滑动平均 θˉk=αθˉk−1+(1−α)θk\bar\theta_k=\alpha\bar\theta_{k-1}+(1-\alpha)\theta_kθˉk=αθˉk−1+(1−α)θk,滤掉单步抖动;死区阈值——当 ∥∇θε2∥\|\nabla_\theta\varepsilon^2\|∥∇θε2∥ 小于阈值 δ\deltaδ 时不更新,避免在极小点附近被噪声推着来回走。三者可叠加使用,且都不改变式 (5) 的语义,只是把它放到有限采样率下可执行。
需要强调的是,这三条缓解办法都不构成对未采到部分的补救:死区阈值只压噪声,不填补空白;若 Ts<Tc/NT_s<T_c/NTs<Tc/N 不满足,仍按第 5 节如实标注未采到,不得以"平滑过了"为由把留白当作已收敛。
式 (5) 落到工程上,是一段极短的循环:采样、算残差、判据检查、更新参数。下面给出伪代码,重点不在数值细节,而在两处判断——采样是否够快,以及够不快时该怎么办。
import numpy as np
# theta: 动力学模型待定参数(场的分布与耦合权重,或 M/C/G 中的待定量)
# eta: 学习率,对应式 (5) 中的 η
# N: 采样裕度系数,工程上取 5~10,用于把"够快"留出余量
def adapt(theta, eta=1e-3, N=8):
while True:
# 1) 采样:取当前时刻的实测状态与模型预测
q, qd, tau_meas = read_state() # 实测
tau_pred = model(theta, q, qd) # 模型预测
eps = tau_meas - tau_pred # 残差 ε,确定性量,不是噪声
# 2) 判据检查:Ts < Tc / N
Ts = control_period() # 当前采样周期
Tc = fastest_coupling_period() # 最快耦合的特征周期
if Ts >= Tc / N:
# 未采到则留白、不随机化包装:
# 不更新 theta,不引入概率项,只如实记录这一段是空白
mark_unobserved(t=now(), Ts=Ts, Tc=Tc)
continue
# 3) 更新:theta 沿 -η∇θ ε² 自行演化,即式 (5)
grad = grad_eps_sq(theta, q, qd, eps) # ∇θ ε²
theta = theta - eta * grad # 模型被自身运行经验改写
# 4) 回写:新参数进入模型,残差回到模型里,而不是被滤掉
commit(theta)
三点说明。其一,mark_unobserved 不是异常处理,而是本框架的正式分支:判据不满足时,正确做法是承认这一段没采到,把它标成空白留给后续补采样,而不是用随机项把它抹平。其二,grad_eps_sq 的具体形式取决于 θ\thetaθ 的选取,沿用旧框架时即对 MMM、CCC、GGG 中待定量的偏导;本框架下则是对场分布与耦合权重的变分。其三,循环里没有"收敛即停"的出口——模型是跑出来的,不是标出来的,只要机器人还在运行,θ\thetaθ 就仍在演化。
三条连带结论:
其一,模型是跑出来的,不是标出来的。 出厂标定给的是初值,不是终值。机器人运行越久,模型越贴合它自己。
其二,每台机器人终将不同。 这是全同粒子撤销的工程版本:两台同型号机器人走过不同的路、载过不同的载、磨损于不同的工况,其动力学模型必然分岔。出厂时近似相同,运行后各自演化——所谓"同型号",只在出厂那一刻成立。
其三,改不动的部分照旧如实标注。 自适应改的是能改的:采样补上来的、耦合识别出来的。改不动的——第 5 节中 Ts<Tc/NT_s<T_c/NTs<Tc/N 达不到而确实未采到的——不许拿自适应去圆。自适应不是万能补丁,它只负责把已采到的经验写回模型;没采到的,仍然留白。
故此节与第 6 节构成一条完整链路:探索向世界取样,自适应把样本写回自身。只有取样没有回写,经验不积累;只有回写没有取样,无料可写。
8 跟随,而非回放
预先排好演化路径,等于造一个只能回放的东西。传统控制把轨迹算好存入控制器,机器人只负责执行;环境一变,预设路径失效,它却不知该绕——因为它不是在应对当下,只是在回放过去。
混沌工程学要求:控制器不存路径,只存响应规则。 实时读取当下耦合状态,据局域梯度决定下一步。同一任务第二次做,可能走出不同轨迹,但皆达成目标。控制不等于复制。
第 7 节的自适应与此同源:二者都拒绝一次算定、终身执行。区别只在改写的对象——自适应改写的是模型,跟随改写的是动作。
9 轻量化是结果,不是目标
按现有范式存在一条正反馈:要刚度→堆料→变重→重力项 G(q)G(q)G(q) 变大→需更大电机→更重→更耗能,无出口。
更根本的是静态功耗:人站立几乎不费力,结构自锁承载;机器人站立却持续耗电,电机持续对抗自身重量。两种承重方式由此分野——堆刚度以质量对抗重力,拓扑自锁以几何承载。承重交给结构,不交给电机。
故轻不是靠更轻的材料,而是靠不再需要那么重。它是第 2–8 节建模正确之后的结果,不是可单独追求的设计指标。自适应亦有助于此:模型贴合自身之后,不必再为未建模的耦合预留过量的刚度裕度与驱动裕度。
10 结论
现有机器人动力学的四条预设——刚体、链式因果、封闭系统、残差即噪声——在本体层面均不成立。以耦合场建模替代刚体链式递推,连带得到六条工程要求:以连续场描述结构、以响应规则替代因果链、以组网与交往扩展边界、以补采样替代加噪声、以跟随替代回放、以自反馈实现自适应。另两条:保留无目标的探索期,玩耍即成长本身;轻量化是结果,不是目标。
本文撤销的是解释,不是现象。柔性、残差、扰动都摆在那里,该叫什么还叫什么;换掉的是贴在其上的那套说法——把现象误立为本体的说法。
未决项
-
式 (4) 中 εcoupling\varepsilon_{\rm coupling}εcoupling 与 εsampling\varepsilon_{\rm sampling}εsampling 的在线分离方法尚未建立。二者在实测残差中叠加为同一个量,而第 5 节只给出了它们的定性归属,未给出可执行的分解算子;在缺少独立参照通道的情况下,如何在不引入概率假设的前提下把两项逐时刻分开,仍待解决。
-
第 4 节组网共享采样所依赖的时间同步误差与通信延迟,对"同一时刻全域状态"这一判据的影响尚未量化。分布式节点间的时钟偏差与链路延迟会使各点采样落在不同时刻,从而把同步误差混入 εsampling\varepsilon_{\rm sampling}εsampling;该误差随节点数与拓扑半径如何增长、在何种同步精度下仍可视为"近似同时",尚无结论。
-
式 (5) 中 η\etaη 的上界已由式 (6) 给出(η<2/(LTs)\eta<2/(LT_s)η<2/(LTs)),但 LLL 的在线估计方法、以及降频倍数、滑动平均系数 α\alphaα、死区阈值 δ\deltaδ 的具体取值准则尚未建立;自适应与实时控制环在不同工况下的耦合振荡边界,仍待实验标定。
验证路线图
三条未决项各自对应一条可执行的实验路线。三条路线共用同一原则:只采集可指认物理耦合的量,判据不满足即如实标注未采到,不以概率项填补。
路线一:εcoupling\varepsilon_{\rm coupling}εcoupling 与 εsampling\varepsilon_{\rm sampling}εsampling 的在线分离。 实验对象为单台机器人,在同一工况下并行运行两条采样通道:主控制环维持原采样周期 TsT_sTs,另设一条高速参照通道(采样周期 Ts′<Tc/NT_s'<T_c/NTs′<Tc/N,仅用于实验,不进入控制回路)。需要采集的量有三:主环残差 ε\varepsilonε、参照通道残差 ε′\varepsilon'ε′、以及两通道在同一时刻的差值 Δ=ε−ε′\Delta=\varepsilon-\varepsilon'Δ=ε−ε′。判定成功的判据是:Δ\DeltaΔ 的频谱中可指认出与已知耦合源(负载变化、线缆张力、温度漂移)一一对应的谱线,且这些谱线的幅值随对应耦合的施加与撤除而同步增减;此时 Δ\DeltaΔ 即 εsampling\varepsilon_{\rm sampling}εsampling 的实测估计,ε−Δ\varepsilon-\Deltaε−Δ 即 εcoupling\varepsilon_{\rm coupling}εcoupling。若参照通道本身也达不到 Ts′<Tc/NT_s'<T_c/NTs′<Tc/N,则判据不成立,按第 5 节标注该时段未采到,不给出分离结果,也不以拟合残差的方式补一个"估计值"。
路线二:组网时间同步误差的量化。 实验对象为 nnn 台组网机器人(nnn 取 2、4、8 逐级递增),在同一物理事件(如共同承托同一负载)上触发同步采样。需要采集的量:各节点本地时间戳与参考时钟的偏差 δti\delta t_iδti、节点间链路延迟 τij\tau_{ij}τij、以及由二者合成的采样时刻离散度 σt\sigma_tσt。判定成功的判据是:σt\sigma_tσt 随 nnn 与拓扑半径的增长曲线可被实测出来,且在给定 σt\sigma_tσt 下,用"近似同时"的全域状态算出的场方程残差与用严格同时状态算出的残差之差,小于 εsampling\varepsilon_{\rm sampling}εsampling 的实测估计(路线一给出)。若某组网规模下 σt\sigma_tσt 已使该差值超出 εsampling\varepsilon_{\rm sampling}εsampling,则判据不成立,该规模下的"同一时刻全域状态"标注为未采到,不宣称组网有效。
路线三:η\etaη 上界与降频、滑动平均、死区参数的标定。 实验对象为第 7 节伪代码中的自适应环,在已知 LLL 的可控工况(如固定负载下的单关节辨识)上运行。需要采集的量:θ\thetaθ 的轨迹、残差 εk\varepsilon_kεk 的收敛曲线、以及控制输出的振荡幅值与频率。判定成功的判据是:在 η\etaη 取式 (6) 上界的 1/3∼1/21/3\sim1/21/3∼1/2 时,εk\varepsilon_kεk 单调下降至平台且控制输出无持续低频振荡;逐步增大 η\etaη 至出现振荡,记录该临界值,与式 (6) 的预测比对,偏差在可接受范围内即认为 LLL 的在线估计可用。降频倍数、α\alphaα、δ\deltaδ 的取值以"不引入新振荡且不掩盖真实下降"为准,逐参数单独扫描。若某工况下无论怎样调参都无法同时满足收敛与无振荡,则判据不成立,如实记录该工况的自适应边界未标定,不以"调好了"掩盖。
三条路线的共同出口是同一句话:判据满足则给出结论,判据不满足则标注未采到。验证不是把未决项变成已决项的手段,而是把"哪些已决、哪些仍空白"划清楚的手段。
三条路线与三条未决项的对应关系,可先看下表,再回看各路线细节:
| 未决项 | 对应路线 | 需采集的量 | 成功判据 | 判据不成立时的处理 |
|---|---|---|---|---|
| 未决项 1:式 (4) 中 εcoupling\varepsilon_{\rm coupling}εcoupling 与 εsampling\varepsilon_{\rm sampling}εsampling 的在线分离方法尚未建立 | 路线一:εcoupling\varepsilon_{\rm coupling}εcoupling 与 εsampling\varepsilon_{\rm sampling}εsampling 的在线分离 | 主环残差 ε\varepsilonε、参照通道残差 ε′\varepsilon'ε′、两通道在同一时刻的差值 Δ=ε−ε′\Delta=\varepsilon-\varepsilon'Δ=ε−ε′ | Δ\DeltaΔ 的频谱中可指认出与已知耦合源(负载变化、线缆张力、温度漂移)一一对应的谱线,且这些谱线的幅值随对应耦合的施加与撤除而同步增减;此时 Δ\DeltaΔ 即 εsampling\varepsilon_{\rm sampling}εsampling 的实测估计,ε−Δ\varepsilon-\Deltaε−Δ 即 εcoupling\varepsilon_{\rm coupling}εcoupling | 若参照通道本身也达不到 Ts′<Tc/NT_s'<T_c/NTs′<Tc/N,则判据不成立,按第 5 节标注该时段未采到,不给出分离结果,也不以拟合残差的方式补一个"估计值" |
| 未决项 2:第 4 节组网共享采样所依赖的时间同步误差与通信延迟,对"同一时刻全域状态"这一判据的影响尚未量化 | 路线二:组网时间同步误差的量化 | 各节点本地时间戳与参考时钟的偏差 δti\delta t_iδti、节点间链路延迟 τij\tau_{ij}τij、由二者合成的采样时刻离散度 σt\sigma_tσt | σt\sigma_tσt 随 nnn 与拓扑半径的增长曲线可被实测出来,且在给定 σt\sigma_tσt 下,用"近似同时"的全域状态算出的场方程残差与用严格同时状态算出的残差之差,小于 εsampling\varepsilon_{\rm sampling}εsampling 的实测估计(路线一给出) | 若某组网规模下 σt\sigma_tσt 已使该差值超出 εsampling\varepsilon_{\rm sampling}εsampling,则判据不成立,该规模下的"同一时刻全域状态"标注为未采到,不宣称组网有效 |
| 未决项 3:式 (5) 中 η\etaη 的上界已由式 (6) 给出,但 LLL 的在线估计方法、以及降频倍数、滑动平均系数 α\alphaα、死区阈值 δ\deltaδ 的具体取值准则尚未建立 | 路线三:η\etaη 上界与降频、滑动平均、死区参数的标定 | θ\thetaθ 的轨迹、残差 εk\varepsilon_kεk 的收敛曲线、控制输出的振荡幅值与频率 | 在 η\etaη 取式 (6) 上界的 1/3∼1/21/3\sim1/21/3∼1/2 时,εk\varepsilon_kεk 单调下降至平台且控制输出无持续低频振荡;逐步增大 η\etaη 至出现振荡,记录该临界值,与式 (6) 的预测比对,偏差在可接受范围内即认为 LLL 的在线估计可用 | 若某工况下无论怎样调参都无法同时满足收敛与无振荡,则判据不成立,如实记录该工况的自适应边界未标定,不以"调好了"掩盖 |
此表是「未决项」与「验证路线图」两节的索引:左列是待决的问题,第二列指向对应路线,后三列即该路线的采集量、判据与留白处理;读时可按行对照,不必在两节之间来回翻检。
DAMO开发者矩阵,由阿里巴巴达摩院和中国互联网协会联合发起,致力于探讨最前沿的技术趋势与应用成果,搭建高质量的交流与分享平台,推动技术创新与产业应用链接,围绕“人工智能与新型计算”构建开放共享的开发者生态。
更多推荐



所有评论(0)