北京
国家知识产权局信息显示，合肥览翌航空科技有限公司申请一项名为“一种机载系统安全域隔离策略完备性证明方法及系统”的专利，公开号CN122863540A，申请日期为2026年7月。
专利摘要显示，本发明提供一种机载系统安全域隔离策略完备性证明方法及系统，将机载系统的安全域架构形式化为有向图模型，将安全域隔离策略形式化为时序逻辑公式，将访问控制策略的运行时行为建模为有限状态迁移系统，采用分层抽象与逐步精化策略进行模型检验，先在安全域层级抽象验证再在反例涉及区域精化验证，将验证复杂度从指数级降低到多项式级，并通过参数化模型检验覆盖 IMA 平台所有合法运行时配置，对反例路径映射回架构图实现违规信息流的可视化分析。
天眼查资料显示，合肥览翌航空科技有限公司，成立于2023年，位于合肥市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本430.227321万人民币。通过天眼查大数据分析，合肥览翌航空科技有限公司共对外投资了3家企业，参与招投标项目1次，财产线索方面有商标信息8条，专利信息63条，此外企业还拥有行政许可1个。
声明：市场有风险，投资需谨慎。本文为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.
