。
比如随风摇摆的普通枯树枝,对比,在工地上正在高速旋转切割的细钢缆。
比如工地旁静止不动的巨大吊臂,对比,正在以难以察觉的角速度、横向切入无人机既定航线的挖掘机机械臂。
这十二组测试样本,在整个包含了上百万张图像的无人机训练测试库中,占比极低。
如果把这十二组样本从测试集中全部删掉。
这套无人机系统最终计算出来的平均避障成功率,甚至在小数点后第一位都不会发生任何肉眼可见的变化。
深吸一口气。
测试开始。
第一组极端样本被注入仿真环境。
画面中,镜头保护罩上的一道固定细长划痕横在视野右侧。
它随着无人机姿态变化,始终停留在同一成像坐标,不对应真实空间中的障碍物。
压缩后的模型经过极短时间的推理,给出了判断结果:
【分类判断:成像伪影】
【执行动作:保持原定航向继续飞行】
接下来,仿真环境切换。
一根几乎与背景融为一体的悬空细电线,出现在了同样的成像区域。
在测试人员紧盯的监控屏幕上。
模型内部那被压缩后的低维隐层表示,在接收到电线的微弱视差和时序变化后,仅仅发生了很小的偏移。
在这套追求极简的模型看来,这点差异不足以改变判断。
于是,它给出的最终避险动作,依然是冷冰冰的那几个字:
【执行动作:保持原定航向继续飞行】
如果视野里的线条只是镜头保护罩上的固定划痕,保持航向没有问题。
但是,如果前方是一根悬空细电线。
保持航向,没有任何规避动作,意味着无人机将以每小时四十公里的速度迎头撞上去。
仿真画面里,警报声响起。
仿真系统判定旋翼与电线发生碰撞,姿态失稳,任务失败。
在场的测试工程师死死地盯着屏幕,没有去责怪这套AI模型。
因为他们心里清楚,如果按照过去这几年里军工行业里那一整套堪称繁琐的传统测试指标来看。
这套经过深度压缩的代码,按照传统指标确实表现优秀。
它的总体平均避障成功率,仅仅只比那个需要庞大算力的原版模型降低了微不足道的零点三个百分点。
而它所占用的芯片存储体积,却足足缩小了接近三分之二,显着降低了机载存储、算力和功耗需求。
这套模型通过了原有验收。
但原有验收里,没有任何一项单独询问过它:
“在复杂光照下,当你变小变快了之后,你到底还能不能分得清,镜头上的固定划痕,和航线前方真实存在的悬空细电线?”
主测试工程师沉默了片刻,在控制台上打开那个准备提交总装厂的验收评估模板。
然后在长长的表格最下方,用红色字体,强行新增了一个原本不存在的验收项。
【面对极少数对应不同强制安全动作的高危相似状态,压缩后的模型是否仍能在隐层表示上保持可分?】
接着,他看着坠毁的仿真画面,在后面的选项框里,敲下了一个反对意见。
【当前结果:否】
【审查结论:拒绝装机】
下午四点十分。
北京,大兴。
低熵工坊新近租来,由废弃仓库改造的临时测试场。
编号为pG-p01的首件多地形原型机,它的首轮低速空载动作测试,并没有在上午九点准时进行。
由于江临在昨晚发出的那条暂缓合并状态的指令。
这场测试,被向后推迟了四个小时。
在这漫长的四个小时里。
软件架构师陈砚,带着控制组的几名工程师,把那二十七种底层异常物理状态从头到尾重新检查、梳理了一遍。
原本为了节省边缘端算力、准备强行合并同类项的四组异常状态,被硬生生地重新拆解开来。
这其中,有一组被江临重点标记出来的状态对比,最为典型。
【状态 1:机器人足部接触的支撑面发生突然沉降】
【状态 2:机器人足端内部的六轴力矩传感器发生零点漂移故障】
这两种在物理本源上截然不同的异常。
当它们的数据汇聚到上位机时,表现出的底层观测特征却惊人地相似。
足端感受到的反向受力均出现突然降低。
机身姿态陀螺仪均反馈出微小的倾斜偏移。
对应的机械腿关节电机,均出现了为了维持平衡而产生的补偿性电流抬升。
如果仅仅按照这些表面的观测特征去跑传统的聚类压缩算法。
它们非常容易被算作同一类错误。
但是,如果按照现实物理世界中必须采取的安全避险动作来看。
这两者不能被合并。
当机器人踩到松软的泥石流或者冰窟窿,发生【支撑面沉降】时。
它必须立刻采取的动作是迅速降低整个机身的重心,向外侧展开其余机械腿扩大支撑面。
并且,禁止向该方向继续试探性迈步切入,以防整体坠崖。
而当是因为自身硬件故障,发生【传感器零点漂移】导致读数错误时。
它必须采取的动作截然相反。
机器人必须在原地保持静止,利用其余腿的支撑力,将出现故障的那条机械腿卸载并保持稳定,随后启动足端传感器零点复核流程。不能盲目降低机身。
在刺鼻的橡胶味中,测试正式开始。
测试区的一侧,被工程师故意铺上了一层厚度极不均匀,下方布满空洞的松软垫料,用来模拟灾区废墟的恶劣地形。
pG-p01那充满机械工业美感的庞大躯体开始启动,它缓慢地抬起了位于右前侧的那条沉重的机械腿。
“咔哒。”
金属足端重重地落在松软的垫层上。
垫层无法承受其重量,瞬间向下沉陷了几厘米。
控制面板上,传感器传回的受力曲线随之呈现出断崖式下降。
沉重的机身在重力作用下,出现了向右前方的轻微偏转。
此时, pG-p01主控电脑里那块经过重新拆解定义,没有被盲目压缩的控制台状态判定程序,开始疯狂更新运算。
如果按照昨天那个为了追求极致计算效率,将两者合并的【旧版压缩候选状态表】。
系统会将这一组带有迷惑性的信号,笼统地归入一个大类——【接触面异常】。
然后可能会执行一个错误的通用恢复动作。
但在现在的【新版状态表】里。
没有任何混淆。
大屏幕上,红色的指令行迅速滚动。
【识别判定状态:右前支撑面发生物理沉降】
【下发强制任务动作:立刻降姿】
【子动作 1:展开悬挂,扩展机体支撑多边形面积】
【子动作 2:安全锁死,禁止任何机构向右前方继续切入移动】
伴随着伺服电机的低沉轰鸣。
pG-p01其余的五条机械腿迅速做出响应,关节角度依次调整。
原本高昂的庞大机身稳稳地向下一沉。
而那条原本已经蓄势待发、准备迈向未知的下一条机械腿,被系统生生掐断了指令,重新稳稳地落回了坚实的地面。
这台造价昂贵的钢铁机器,平稳地停在了那片松软的危险垫层边缘。
它没有继续向前切入,也没有因为误判,在危险区域启动需要单腿卸载的传感器校准流程。
陈砚擦了一把头上的汗,调出了后台的计算资源消耗实时记录。
“江总,因为把这几个关键状态拆开了,系统需要维持的状态数量,比昨天晚上的版本硬生生增加了四类。”陈砚汇报道。
“对边缘计算芯片的实时计算负担增加了多少?”江临盯着机器人的姿态,头也没回地问。
“增加了百分之七点二左右,功耗有微小上升。”
“这点负担的增加,对机器人的底层控制周期有产生延迟影响吗?”
“当前测试下还没有。”陈砚看着波形图,“但是我们这块芯片的算力天花板就摆在那儿。如果以后还要接入视觉模块,继续像这样扩大状态表,不去做底层状态的压缩合并,控制器很快就可能无法稳定满足实时控制周期。”
“那就先保留这个增加的版本,不要合并。”江临斩钉截铁。
“那后续如果算力不够了,这些底层的感知状态,还压不压?”陈砚有些不解。
“在物理资源的限制下,压缩是不可避免的宿命。”
江临看着几米外,机器人刚才那一脚在松软垫层上压出的,深达数厘米的清晰凹痕。
“但是,在动手去压它之前。必须先用数学,用数据,向系统证明清楚,到底哪些看似相同的状态,不允许被合并。而哪些,才是真正可以被折叠在一起的安全冗余。不讲清楚代价,不要动刀子。”
陈砚点了点头,在键盘上敲击,把本轮测试避险日志,单独封存并生成了一个编号。
【日志归档:Epc_Robot_cASE_001】
这虽然还算不上是昨天在南大白板上诞生的证据保留压缩定理的第二次正式的跨界验证。
因为机器人跑出的数据还过于原始,尚未完成标准化的脱敏。
这其中复杂的物理
比如随风摇摆的普通枯树枝,对比,在工地上正在高速旋转切割的细钢缆。
比如工地旁静止不动的巨大吊臂,对比,正在以难以察觉的角速度、横向切入无人机既定航线的挖掘机机械臂。
这十二组测试样本,在整个包含了上百万张图像的无人机训练测试库中,占比极低。
如果把这十二组样本从测试集中全部删掉。
这套无人机系统最终计算出来的平均避障成功率,甚至在小数点后第一位都不会发生任何肉眼可见的变化。
深吸一口气。
测试开始。
第一组极端样本被注入仿真环境。
画面中,镜头保护罩上的一道固定细长划痕横在视野右侧。
它随着无人机姿态变化,始终停留在同一成像坐标,不对应真实空间中的障碍物。
压缩后的模型经过极短时间的推理,给出了判断结果:
【分类判断:成像伪影】
【执行动作:保持原定航向继续飞行】
接下来,仿真环境切换。
一根几乎与背景融为一体的悬空细电线,出现在了同样的成像区域。
在测试人员紧盯的监控屏幕上。
模型内部那被压缩后的低维隐层表示,在接收到电线的微弱视差和时序变化后,仅仅发生了很小的偏移。
在这套追求极简的模型看来,这点差异不足以改变判断。
于是,它给出的最终避险动作,依然是冷冰冰的那几个字:
【执行动作:保持原定航向继续飞行】
如果视野里的线条只是镜头保护罩上的固定划痕,保持航向没有问题。
但是,如果前方是一根悬空细电线。
保持航向,没有任何规避动作,意味着无人机将以每小时四十公里的速度迎头撞上去。
仿真画面里,警报声响起。
仿真系统判定旋翼与电线发生碰撞,姿态失稳,任务失败。
在场的测试工程师死死地盯着屏幕,没有去责怪这套AI模型。
因为他们心里清楚,如果按照过去这几年里军工行业里那一整套堪称繁琐的传统测试指标来看。
这套经过深度压缩的代码,按照传统指标确实表现优秀。
它的总体平均避障成功率,仅仅只比那个需要庞大算力的原版模型降低了微不足道的零点三个百分点。
而它所占用的芯片存储体积,却足足缩小了接近三分之二,显着降低了机载存储、算力和功耗需求。
这套模型通过了原有验收。
但原有验收里,没有任何一项单独询问过它:
“在复杂光照下,当你变小变快了之后,你到底还能不能分得清,镜头上的固定划痕,和航线前方真实存在的悬空细电线?”
主测试工程师沉默了片刻,在控制台上打开那个准备提交总装厂的验收评估模板。
然后在长长的表格最下方,用红色字体,强行新增了一个原本不存在的验收项。
【面对极少数对应不同强制安全动作的高危相似状态,压缩后的模型是否仍能在隐层表示上保持可分?】
接着,他看着坠毁的仿真画面,在后面的选项框里,敲下了一个反对意见。
【当前结果:否】
【审查结论:拒绝装机】
下午四点十分。
北京,大兴。
低熵工坊新近租来,由废弃仓库改造的临时测试场。
编号为pG-p01的首件多地形原型机,它的首轮低速空载动作测试,并没有在上午九点准时进行。
由于江临在昨晚发出的那条暂缓合并状态的指令。
这场测试,被向后推迟了四个小时。
在这漫长的四个小时里。
软件架构师陈砚,带着控制组的几名工程师,把那二十七种底层异常物理状态从头到尾重新检查、梳理了一遍。
原本为了节省边缘端算力、准备强行合并同类项的四组异常状态,被硬生生地重新拆解开来。
这其中,有一组被江临重点标记出来的状态对比,最为典型。
【状态 1:机器人足部接触的支撑面发生突然沉降】
【状态 2:机器人足端内部的六轴力矩传感器发生零点漂移故障】
这两种在物理本源上截然不同的异常。
当它们的数据汇聚到上位机时,表现出的底层观测特征却惊人地相似。
足端感受到的反向受力均出现突然降低。
机身姿态陀螺仪均反馈出微小的倾斜偏移。
对应的机械腿关节电机,均出现了为了维持平衡而产生的补偿性电流抬升。
如果仅仅按照这些表面的观测特征去跑传统的聚类压缩算法。
它们非常容易被算作同一类错误。
但是,如果按照现实物理世界中必须采取的安全避险动作来看。
这两者不能被合并。
当机器人踩到松软的泥石流或者冰窟窿,发生【支撑面沉降】时。
它必须立刻采取的动作是迅速降低整个机身的重心,向外侧展开其余机械腿扩大支撑面。
并且,禁止向该方向继续试探性迈步切入,以防整体坠崖。
而当是因为自身硬件故障,发生【传感器零点漂移】导致读数错误时。
它必须采取的动作截然相反。
机器人必须在原地保持静止,利用其余腿的支撑力,将出现故障的那条机械腿卸载并保持稳定,随后启动足端传感器零点复核流程。不能盲目降低机身。
在刺鼻的橡胶味中,测试正式开始。
测试区的一侧,被工程师故意铺上了一层厚度极不均匀,下方布满空洞的松软垫料,用来模拟灾区废墟的恶劣地形。
pG-p01那充满机械工业美感的庞大躯体开始启动,它缓慢地抬起了位于右前侧的那条沉重的机械腿。
“咔哒。”
金属足端重重地落在松软的垫层上。
垫层无法承受其重量,瞬间向下沉陷了几厘米。
控制面板上,传感器传回的受力曲线随之呈现出断崖式下降。
沉重的机身在重力作用下,出现了向右前方的轻微偏转。
此时, pG-p01主控电脑里那块经过重新拆解定义,没有被盲目压缩的控制台状态判定程序,开始疯狂更新运算。
如果按照昨天那个为了追求极致计算效率,将两者合并的【旧版压缩候选状态表】。
系统会将这一组带有迷惑性的信号,笼统地归入一个大类——【接触面异常】。
然后可能会执行一个错误的通用恢复动作。
但在现在的【新版状态表】里。
没有任何混淆。
大屏幕上,红色的指令行迅速滚动。
【识别判定状态:右前支撑面发生物理沉降】
【下发强制任务动作:立刻降姿】
【子动作 1:展开悬挂,扩展机体支撑多边形面积】
【子动作 2:安全锁死,禁止任何机构向右前方继续切入移动】
伴随着伺服电机的低沉轰鸣。
pG-p01其余的五条机械腿迅速做出响应,关节角度依次调整。
原本高昂的庞大机身稳稳地向下一沉。
而那条原本已经蓄势待发、准备迈向未知的下一条机械腿,被系统生生掐断了指令,重新稳稳地落回了坚实的地面。
这台造价昂贵的钢铁机器,平稳地停在了那片松软的危险垫层边缘。
它没有继续向前切入,也没有因为误判,在危险区域启动需要单腿卸载的传感器校准流程。
陈砚擦了一把头上的汗,调出了后台的计算资源消耗实时记录。
“江总,因为把这几个关键状态拆开了,系统需要维持的状态数量,比昨天晚上的版本硬生生增加了四类。”陈砚汇报道。
“对边缘计算芯片的实时计算负担增加了多少?”江临盯着机器人的姿态,头也没回地问。
“增加了百分之七点二左右,功耗有微小上升。”
“这点负担的增加,对机器人的底层控制周期有产生延迟影响吗?”
“当前测试下还没有。”陈砚看着波形图,“但是我们这块芯片的算力天花板就摆在那儿。如果以后还要接入视觉模块,继续像这样扩大状态表,不去做底层状态的压缩合并,控制器很快就可能无法稳定满足实时控制周期。”
“那就先保留这个增加的版本,不要合并。”江临斩钉截铁。
“那后续如果算力不够了,这些底层的感知状态,还压不压?”陈砚有些不解。
“在物理资源的限制下,压缩是不可避免的宿命。”
江临看着几米外,机器人刚才那一脚在松软垫层上压出的,深达数厘米的清晰凹痕。
“但是,在动手去压它之前。必须先用数学,用数据,向系统证明清楚,到底哪些看似相同的状态,不允许被合并。而哪些,才是真正可以被折叠在一起的安全冗余。不讲清楚代价,不要动刀子。”
陈砚点了点头,在键盘上敲击,把本轮测试避险日志,单独封存并生成了一个编号。
【日志归档:Epc_Robot_cASE_001】
这虽然还算不上是昨天在南大白板上诞生的证据保留压缩定理的第二次正式的跨界验证。
因为机器人跑出的数据还过于原始,尚未完成标准化的脱敏。
这其中复杂的物理