家电包装工位漏装检测项目落地

工位在包装线末端。传送带上先摆好两块泡沫缓冲件，一块带水壶腔位，一块带说明书和配件腔位。工人依次把说明书放进右侧腔位、给水壶套上塑料袋、把套好袋的水壶放进左侧腔位、再放上底座，最后铺膜收尾，整件流向封箱机。

装填本身不难，难的是漏装在现场没有任何痕迹。

漏一本说明书，客户开箱才发现，是一条投诉加一次补寄；漏一个底座，整机装不起来，退回来的是整箱运费加拆箱返工。这些成本全部发生在工厂外面，而产生它的那两秒钟，在工位上看起来和正常的一件毫无区别。

常见的兜底手段是整箱称重。问题是量级对不上：整箱几公斤，说明书几十克，落在泡沫和纸箱本身的重量波动里；就算称出了差异，得到的信息也只是"轻了"，不知道少的是哪一件，还得整箱拆开找。

这就把问题推给了视觉，而包装件恰恰是传统 AOI 最不擅长的一类目标：白泡沫压在白泡沫上，塑料袋是透明的，说明书大半塞进腔位只露一个角。形状不规则、边界靠反光、和背景同色——模板匹配框不住，固定阈值也分不开。再加上家电换型频繁，一个机型一套泡沫、一套清单，模板做一版用不了几周。

我们用少样本语义分割来解这一层：不去框物体，而是描出它的轮廓。每类先给 1–10 张样本图，标注完几分钟就能跑起来，换机型不用重训一版模型，只是再补几张图。

整套逻辑不是写出来的，是在画布上连出来的。左边是算子库，拖到画布上连线就成了一条流。

分成这几层是有意的：认得出是模型的事，算不算数是事件层的事， 判 OK 还是 NG是状态机的事。三件事分开，后面换机型、改判据才不会牵一发动全身。

模型这一层只回答一件事：这一帧画面里，哪一块像素属于哪一类。

我们分了 6 类：泡沫箱、说明书、套袋、放水壶、放底座、结束。为什么不简单分成"有件/无件"两类？因为报表上写"缺件"没人会去处理，写"缺说明书"才有人立刻去补。类别的粒度，是被 NG 报告要说的那句话决定的，不是被模型能力决定的。

为什么用分割而不是检测框：塑料袋和泡沫腔位都不是矩形。一个框套在水壶上，只能说明"水壶在这一带"；一条沿着腔位边缘收进去的轮廓，才能说明"水壶真的落进腔里了"。软包装件的判断，差别就在这一点上。

每类先给 5–10 张样本图。跑一轮，把认错的帧挑出来补进训练集，再跑一轮，整个过程在这一个界面里完成，不需要离线训练环境。换到另一个机型，泡沫形状变了、清单变了，做法是一样的——补图，不是重做。

分割每一帧都在输出掩膜。但"这一帧看见了说明书"和"说明书装进去了"，是两件事。

工人从料盒里抽出说明书、举过工位、放下去——整个过程中说明书一直在画面里。如果一看见就算数，那么手拿着物料路过、拿起来又放回料盒、甚至旁边工位的物料入镜，都会被记成一次装填。这类误触发比漏检更危险：漏检只是没拦住一件，误触发会让系统在真的漏装时报 OK。

装填类事件（E1–E4）统一用两个条件与起来：目标出现在指定腔位内，并且连续静止若干帧。落进腔位的物料是不动的，手上拿着的物料一直在动，这一条就把路过和试放全部挡在外面。腔位范围在界面上框，帧数在界面上填，改这两个参数不需要动模型。

E5 和 E6 用的是另一种组合：物体存在（收尾动作）与数量检测（已装项数）。为什么要有一个显式的收尾动作作为结算信号——因为包装件不像加工件会自己流走，工人铺膜收尾这个动作，是现场唯一稳定标志"这一件我做完了"的时刻。抓住它，就有了明确的结算点，不必去猜一件什么时候算结束。

事件是散点，状态机把它们攒成一件的结论。整套判定逻辑就是这张图，没有代码。

说明书和底座：清单关系，不是先后关系

这两件放在哪一步都合格，工人各有各的顺手路径。所以它们挂在 S1 的自环上：每触发一次，清单计数加一，状态不变。系统关心的是收尾时这个集合齐不齐，而不是它们按什么次序进来。

套袋和放水壶：这一对有物理先后

水壶必须先套袋再入腔——不套袋直接放进泡沫，运输中壶体和泡沫摩擦会刮花外观件。这是工艺上的硬约束，不是习惯问题，所以要在图上卡住。

做法是加一个中间态 S2 已套袋：套袋（E2）把状态推到 S2，放水壶（E3）只在 S2 上被接受，接受之后回到 S1 继续装别的。这样就形成一道闸——没套袋就把壶放进去，E3 落在 S1 上不被接受，清单计数不会加，这一件走到收尾时必然缺一项，直接落进 NG。 不需要为"顺序错了"单独写一条规则，闸门结构本身就把它兜住了。

结算：收尾动作一出现就下结论

家电这类现场，机型换得比产线改得勤。判定规则留在状态图上，就是为了让改动停在配置层。

1. 软包装件用分割，不用检测框。泡沫腔位、透明袋子都不是矩形，轮廓才说得清"东西落进去了"。
2. 类别怎么分，看 NG 报告要说什么。先想清楚现场拿到这条记录要做什么动作，再倒推类别粒度。
3. 误触发比漏检更危险。防误报要放在事件层解决——加区域、加静止条件，而不是指望模型自己想明白。
4. 物理约束画进图里，比写成规则更省事。套袋先于入壶用一个中间态就卡住了，不用为顺序单独写判据。
5. 判定规则留在状态图上。换机型是改图，不是改代码，这是这类现场能长期用下去的前提。