北京
国家知识产权局信息显示，安徽高山科技有限公司申请一项名为“基于跨模态逻辑图谱的代码与文档一致性推理验证系统”的专利，公开号CN121279433A，申请日期为2025年9月。
专利摘要显示，本发明涉及代码验证，具体涉及基于跨模态逻辑图谱的代码与文档一致性推理验证系统，输入层，接收源代码和软件文档；特征提取层，对源代码和软件文档进行特征提取；抽象层，将提取特征转化为可比较的中间表示；统一建模层，将代码逻辑和文档语义映射至统一的图谱结构中，并使用描述逻辑进行形式化表示，得到跨模态逻辑图谱；推理验证层，根据跨模态逻辑图谱对代码与文档的一致性进行推理验证；结果处理层，根据推理验证情况判断验证结果，并在发现不一致时启动矛盾定位机制，进行矛盾定位与报告生成，得到可解释性报告；本发明提供的技术方案能够有效克服难以对代码与文档间的一致性进行准确验证，并提供精确的矛盾定位和可解释性报告的缺陷。
天眼查资料显示，安徽高山科技有限公司，成立于2016年，位于合肥市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本555.6万人民币。通过天眼查大数据分析，安徽高山科技有限公司共对外投资了5家企业，参与招投标项目19次，财产线索方面有商标信息6条，专利信息71条，此外企业还拥有行政许可3个。
声明：市场有风险，投资需谨慎。本文为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.
