在工业自动化中使用 大语言模型 进行梯形图逻辑转换

梯形图逻辑转换是工业自动化中的一个重要问题，因为如果没有它，就很难更换可编程逻辑控制器（PLC）供应商。普遍存在的翻译问题突出了不匹配的编程环境、不兼容的梯形逻辑结构、供应商形式主义语义表达差异的限制以及集成的黑盒专有工程工具，这些都在我们的示例案例中得到了例证；罗克韦尔到西门子 PLC 代码翻译。这项工作提出了问题的数学公式、解决方案的详细架构，该解决方案支持 XML 提取、结构标准化、约束生成函数 (LLM) 以及通过 TIA Portal Openness API 进行系统集成，作为严格设计的管道，用于将罗克韦尔梯形图程序自动转换为西门子 S7 梯形图程序。最后，我们提出的结果表明，翻译在不同的指令类别中保持了高度的语义一致性。