实体
PLCopen
PLCopen
PulseAugur coverage of PLCopen — every cluster mentioning PLCopen across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的基准测试套件旨在对工业PLC程序进行形式化验证
研究人员开发了一个新的基准测试套件，用于形式化验证IEC 61131-3梯形图程序，解决了该领域缺乏标准评估工具的问题。该套件包含来自十个工业领域的50个程序，以图形化（梯形图）和文本化（结构化文本）两种格式呈现。一项关键贡献是建立了一个地面实况方法，以确保可靠的判断，这些判断通过构造、故障注入或审计的跨工具共识来确立。该语料库、模式、验证器和复查工具被作为开放工件发布，以促进可复现的进展度量。
-
模仿学习提升自动定理证明性能
研究人员开发了一种新颖的自动定理证明方法，将连接图表的构建视为转移系统中的一个策略。该方法利用模仿学习从现有证明中训练的图神经网络来评估证明编辑。在M2k、MPTP2078-bushy和TPTP v9.2.1等数据集上进行测试时，这些学习到的策略显示出显著的改进，解决了多达46%的更多问题，并在固定步数预算内以比leanCoP系统快一个数量级的方式获得证明。