在非标自动化项目里，PLC 程序的前段工作——IO 点表整理、工位时序梳理、互锁条件罗列——耗时且高度依赖工程师个人经验。我们把这一环节拆成「结构化中间表示 + 大模型生成 + 规则校验」三段式：先将工艺描述与 IO 点表规范成机器可读的中间表示（步序、条件、动作、超时），再由模型生成梯形图与 ST 草稿，最后用确定性规则引擎做互锁、急停链路、双线圈、时序竞争等静态检查，只把通过校验的草稿交给工程师复核，避免让模型输出直接上机。
当前进展（试点，3 个装配类工位）：
- 草稿一次通过静态校验的比例约六成，失败集中在手动/自动模式切换与报警复位逻辑；
- 工程师的工作方式从「从零编写」转为「修改草稿」，单个工位前段编程耗时由约 6 小时降至 2.5 小时左右。
下一步计划：补充模式切换与报警复位的规则模板，把校验失败样例回流为微调数据；同时接入仿真环境，让草稿在上机前先跑一遍时序回放。
评论