支付宝申请推断循环界限方法和设备专利，实现循环界限推断自动化
创始人
2025-07-02 14:18:15
0次
金融界2025年7月2日消息，国家知识产权局信息显示，支付宝（杭州）信息技术有限公司申请一项名为“推断循环界限的方法和设备”的专利，公开号CN120234228A，申请日期为2025年03月。
专利摘要显示，本说明书提供的推断循环界限的方法和设备，获得包括循环单元的目标代码，并利用有界模型检验工具按照预设的第一展开次数对循环单元进行展开检验，以确定循环单元在第一展开次数下是否能够完全展开。在不能完全展开的情况下，获得有界模型检验工具生成的反例，并将第一展开次数和反例提供给大模型，以通过大模型自动推断出循环单元的循环界限，其中的反例表征从目标代码的执行入口到循环单元之间的执行路径，从而实现了循环界限推断的自动化，减少了对人工干预的需求。而且，利用反例来指导大模型推断循环界限，大模型可以从反例中提取很多关键信息，因此能够提升推断循环界限的准确性。
天眼查资料显示，支付宝（杭州）信息技术有限公司，成立于2016年，位于杭州市，是一家以从事互联网和相关服务为主的企业。企业注册资本10000万人民币。通过天眼查大数据分析，支付宝（杭州）信息技术有限公司共对外投资了12家企业，参与招投标项目47次，财产线索方面有商标信息1条，专利信息5000条，此外企业还拥有行政许可58个。
来源：金融界
相关内容
热门资讯
江苏聚煜新能源有限公司成立，注...
天眼查显示，近日，江苏聚煜新能源有限公司成立，法定代表人为郭凡，注册资本10000万人民币，由茂源实...
北京思维数科信息科技有限公司成...
天眼查显示，近日，北京思维数科信息科技有限公司成立，法定代表人为严峻，注册资本200万人民币，由安徽...
南京珞呈精密制造有限公司成立，...
天眼查显示，近日，南京珞呈精密制造有限公司成立，法定代表人为屈波，注册资本1000万人民币，上海珞呈...
潍坊金柚子生物科技有限公司成立...
天眼查显示，近日，潍坊金柚子生物科技有限公司成立，法定代表人为胥萍，注册资本300万人民币，由青岛金...
远大精卫（北京）医药有限公司成...
天眼查显示，近日，远大精卫（北京）医药有限公司成立，法定代表人为郭立民，注册资本500万人民币，由中...
山东泺邑物产有限公司成立，注册...
天眼查显示，近日，山东泺邑物产有限公司成立，法定代表人为刘福春，注册资本2000万人民币，由山东崇新...
原创 看...
2026年7月25日，据Defence Blog报道，五角大楼授予一项价值约3.33亿美元的合同，用...
衡量美元对六种主要货币的美元指...
每经AI快讯，7月25日，衡量美元对六种主要货币的美元指数当天上涨0.02%，在汇市尾市收于101....
韩国存储双雄，签下9500亿美...
澎湃新闻记者 周玲 当地时间7月24日，旧金山人工智能峰会举行。韩国总统李在明出席，与会韩美双方的企...
女子进店就要买300克黄金，店...
“进店两分钟就要买300克黄金，价值近30万元！”近日，浙江温州一家金店来了位“豪爽”女顾客。面对这...