北京
国家知识产权局信息显示，深圳华龙讯达信息技术股份有限公司申请一项名为“PLC控制逻辑方法、装置、设备、介质及程序产品”的专利，公开号CN122776721A，申请日期为2026年8月。
专利摘要显示，本申请适用于PLC控制技术领域，提供了一种PLC控制逻辑方法、装置、设备、介质及程序产品，方法包括：对AI生成的PLC结构化文本控制代码进行分析，得到并发时间自动机网络模型文件、安全属性规约文件及映射索引表；将并发时间自动机网络模型文件与安全属性规约文件输入模型检查器进行穷举状态空间验证，得到各安全属性的验证结论及违反安全属性时的反例状态迁移序列，对反例状态迁移序列执行查表操作，识别PLC结构化文本控制代码中缺失的安全判断条件并生成修复代码片段，本发明使开发人员和认证审核人员获得可直接理解和操作的缺陷证据，而非不可解释的抽象验证失败结论。
天眼查资料显示，深圳华龙讯达信息技术股份有限公司，成立于2003年，位于深圳市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本5963.5714万人民币。通过天眼查大数据分析，深圳华龙讯达信息技术股份有限公司共对外投资了11家企业，参与招投标项目536次，财产线索方面有商标信息81条，专利信息137条，此外企业还拥有行政许可25个。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
