北京
国家知识产权局信息显示，广州市君盘实业股份有限公司申请一项名为“一种基于形式化证明的确定性计算架构及其操作方法”的专利，公开号CN121435233A，申请日期为2025年10月。
专利摘要显示，本发明公开了一种基于形式化证明的确定性计算架构及其操作方法，属于形式化验证、计算机体系结构、操作系统和安全计算领域，架构基于一个定义核心不变量和操作的机器可验证的形式化规范层，以及一个由该规范约束、在兼容硬件上运行的可信执行器层。执行器包含最优原子执行路径规划器。本发明通过将作为系统基础的、包含原创性第一原理推导的“形式化规范”(一个机器可验证的数学证明)与其物理执行(硬件实现)进行严格的、可验证的同构化(isomorphic)映射,构建一个通用的计算执行环境,该环境能够突破现有技术的固有矛盾,同时实现前所未有的效率、安全性、确定性和自主性,接近理论上的最优计算模式。
天眼查资料显示，广州市君盘实业股份有限公司，成立于1993年，位于广州市，是一家以从事计算机、通信和其他电子设备制造业为主的企业。企业注册资本1380万人民币。通过天眼查大数据分析，广州市君盘实业股份有限公司共对外投资了2家企业，参与招投标项目1次，财产线索方面有商标信息2条，专利信息79条，此外企业还拥有行政许可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.
