programmable logic controller
PulseAugur coverage of programmable logic controller — every cluster mentioning programmable logic controller across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
新AI框架提升精密部件缺陷检测能力
研究人员开发了一种区域感知、双模型检测框架，旨在识别精密部件上的微小表面缺陷，这在不同区域具有不同缺陷特征时尤其具有挑战性。该框架集成了实例分割用于局部缺陷检测和图像级分类用于全局异常检测。通过将形式化工业标准操作程序的确定性决策融合层应用于模型输出，该系统实现了对不合格部件100%的召回率，同时将误拒率从57.6%显著降低到10.9%。这种方法展示了形式化的制造验收标准如何增强敏感视觉模型，以实现实际且可追溯的部件级决策。
-
新型代理利用工厂特定上下文辅助PLC编程
一篇新的研究论文介绍了一种具备工厂感知能力的代理，旨在协助工程师进行可编程逻辑控制器（PLC）的编程。该代理通过整合工厂特定上下文，扩展了现有的检索增强型大型语言模型（LLMs），从而实现用于解释和调试的聊天优先交互模型。该系统旨在让工程师在从初始聊天交互到最终部署的整个开发过程中保持控制。
-
本体塔增强工业设备的LLM智能体
研究人员开发了一种“本体塔”，以增强操作工业设备的LLM智能体的知识能力。这种方法侧重于深入理解特定系统内的少数实体，而不是广泛概述许多实体。本体塔融合了物理关系和操作经验教训，显著提高了智能体避免似是而非的误判并达到目标操作范围的能力。
-
制造业云迁移顶级IT服务商排名
一份指南根据六家托管IT服务商将制造服务器迁移到云端的能力进行了排名，强调生产特定需求而非通用IT解决方案。Andromeda因其面向生产的发现能力、OT/IT桥接能力以及专注于解决制造环境根本原因的能力而被评为整体最佳服务商。Accenture和Capgemini也因其在企业级数字化转型和智能工厂计划方面的优势而受到认可，尽管它们可能在中端市场或实际操作支持方面存在不足。
-
AI 以极少资源学会攻击工业控制器
研究人员演示了一个AI模型能够以极少的资源学会利用可编程逻辑控制器（PLC）中的漏洞。仅花费 536 美元和 8 小时，该AI就成功识别并执行了针对特定类型PLC的攻击，凸显了工业控制系统安全日益增长的担忧。
-
过时的数据架构阻碍了制造AI的推广
由于依赖延迟和汇总信息而非实时机器数据的过时数据架构，制造运营正面临“AI就绪差距”。尽管在ERP现代化、工业4.0和AI方面进行了大量投资，但许多AI计划因使用事件发生后才汇总的数据而表现不佳。转向以机器为中心的数据架构，直接从设备捕获连续的运营数据流，对于AI的有效性以及提供关于生产质量、效率和成本的准确见解至关重要。
-
SemaPLC：AI 代理工具通过编译和运行时执行验证 PLC 代码
研究人员开发了 SemaPLC，这是一种新颖的代理工具，旨在利用 AI 改进可编程逻辑控制器 (PLC) 代码的生成和验证。该系统通过集成外部编译和实时运行时执行进行严格验证，超越了简单的代码生成。SemaPLC 在独立任务上实现了 72.6% 的验证通过率，并在动态运行时行为方面表现出优于基线方法的性能，突显了基于执行的测试对于控制逻辑的重要性。
-
新验证方法可检测工业控制器中隐藏的恶意逻辑
研究人员开发了一种新的形式化验证方法，称为 ESBMC-LLB，用于检测隐藏在可编程逻辑控制器 (PLC) 程序中的恶意逻辑，即梯形逻辑炸弹 (LLBs)。该方法利用 ESBMC-PLC+ 验证引擎和一种新颖的建模层来暴露现有验证器通常会忽略的功能块逻辑。ESBMC-LLB 能有效地将炸弹检测重塑为形式化验证问题，能够识别非终止载荷和执行器伪造载荷。该系统在公共数据集上展示了高检测率，在识别自适应触发器和提供炸弹缺席的稳健证明方面优于其他方法。
-
新工具可对工业PLC梯形图程序进行形式化验证
研究人员开发了ESBMC-PLC和Graph-ESBMC-PLC，这是用于形式化验证以IEC 61131-3梯形图（LD）格式编写的工业控制程序的新工具。这些工具将图形化LD程序转换为可由基于SMT的模型检查器处理的中间表示，填补了现有验证方法的空白。该系统已在各种基准测试中进行了评估，证明了它们在高效时间范围内正确分类程序、发现错误和提供证明的能力。
-
用户质疑包裹分拣人形机器人的计算来源
一位Mastodon用户正在询问最近看到的用于分拣包裹的人形机器人的计算需求。他们好奇这些机器人的智能和操作能力是自包含的还是依赖于外部云服务，并将其与使用可编程逻辑控制器（PLC）且仅依靠本地供电运行的简单工业机器人进行了比较。