AI PLC程序生成：工艺描述转梯形图与逻辑校验

本期《大模型应用实验室》的探索放在工业控制软件的入口环节：把产线工程师的自然语言工艺描述，转成可编译的 PLC 程序骨架。

直接让模型输出梯形图并不可靠——触点编号、互锁关系、定时器复位条件，任何一处臆造都会埋下停机风险。我们改为两段式：模型只负责把描述解析成结构化中间表示（动作对象、触发条件、联锁约束、时序要求），再由确定性编译器把中间表示翻译为梯形图与 ST 代码，最后由规则引擎检查双线圈、互锁缺失、定时器冲突等常见错误。

要点：
· 进展：在某包装线 12 个工位试点，中间表示的关键字段抽取准确率 86%，经工程师小幅修改后可直接导入编程软件的比例约六成；剩余错误多源于工艺描述本身缺失时序条件，而非模型理解失败。
· 下一步：接入逻辑仿真回路，让生成结果先自动跑一遍工况自检，把评价标准从「能编译」推进到「能跑对」。