北京
国家知识产权局信息显示，北京全路通信信号研究设计院集团有限公司申请一项名为“一种形式化验证报告生成方法、系统、设备、介质及程序”的专利，公开号CN122735640A，申请日期为2026年5月。
专利摘要显示，本申请公开了一种形式化验证报告生成方法、系统、设备、介质及程序，属于报告验证技术领域，其中，形式化验证报告生成方法，包括以下步骤：获取形式化验证的结果数据，针对所述结果数据进行封装，获取证据对象；基于所述证据对象，建立针对于所述结果数据的证据绑定索引；基于大语言模型解析获取形式化验证的诊断文本，选取所述诊断文本的诊断内容条目中的待核验陈述要素；基于所述证据绑定索引，按照预设规则对所述待核验陈述要素执行一致性校核，获取判定结果；基于所述判定结果，将与通过校核的所述待核验陈述要素对应的诊断内容条目汇总生成验证报告。提高透明度与可复现性，降低幻觉偏差，提高修复效率，降低改造成本并保证适配性。
天眼查资料显示，北京全路通信信号研究设计院集团有限公司，成立于1994年，位于北京市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本201000万人民币。通过天眼查大数据分析，北京全路通信信号研究设计院集团有限公司共对外投资了12家企业，参与招投标项目12999次，财产线索方面有商标信息26条，专利信息2472条，此外企业还拥有行政许可28个。
声明：市场有风险，投资需谨慎。本文为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.
