国家知识产权局信息显示,上海超维无际电子科技有限责任公司申请一项名为“指令包约束求解及生成方法、电子设备及计算机程序产品”的专利,公开号CN122431737A,申请日期为2026年6月。

专利摘要显示,本申请涉及一种指令包约束求解及生成方法、电子设备及计算机程序产品,约束求解方法包括:利用随机对象对当前指令包的第一操作参数进行约束求解,得到第一操作参数的值;分别基于第一操作参数的值和第二操作参数的值构建第一队列和第二队列;按照先第二队列后第一队列的顺序,为每一指令实例分配物理槽位,得到槽位分配结果;将测试语义约束集合、槽位分配结果及第一操作参数的值输入约束求解器进行求解,该方法能够实现对指令包进行整体约束求解时,充分考量了跨指令语义约束,使求解完备性进一步趋近理想状态又具备求解高效性。

天眼查资料显示,上海超维无际电子科技有限责任公司,成立于2024年,位于上海市,是一家以从事科技推广和应用服务业为主的企业。企业注册资本209.1732万人民币。通过天眼查大数据分析,上海超维无际电子科技有限责任公司共对外投资了2家企业,财产线索方面有商标信息4条,专利信息9条,此外企业还拥有行政许可2个。

声明:市场有风险,投资需谨慎。本文为AI基于第三方数据生成,仅供参考,不构成个人投资建议。

本文源自:市场资讯

作者:情报员