买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉山东云海国创云计算装备产业创新中心有限公司申请的专利一种约束优化方法、装置、计算机设备和存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119294348B 。

龙图腾网通过国家知识产权局官网在2025-11-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411284980.2，技术领域涉及：G06F30/398；该发明授权一种约束优化方法、装置、计算机设备和存储介质是由张梦柯;曾昭贵;姚香君;孟阳;董艳设计研发完成，并于2024-09-13向国家知识产权局提交的专利申请。

本一种约束优化方法、装置、计算机设备和存储介质在说明书摘要公布了：本申请涉及一种约束优化方法、装置、计算机设备和存储介质。所述方法包括：获取随机化约束文件的编译日志；解析所述编译日志，得到约束冲突信息，其中，所述约束冲突信息包括冲突变量和冲突约束表达式；根据所述约束冲突信息，进行冲突优化计算，得到所述冲突变量的最大满足域；对所述最大满足域进行可用性评估；响应于所述可用性评估结果为不可用，迭代进行所述冲突优化计算，更新所述最大满足域；响应于所述可用性评估结果为可用，基于所述最大满足域，调整所述冲突变量的取值范围，更新所述随机化约束文件。采用本方法能识别并解决约束冲突，减少冗余测试数据的产生，优化测试用例的准确性，从而提高芯片验证的效率。

本发明授权一种约束优化方法、装置、计算机设备和存储介质在权利要求书中公布了：1.一种约束优化方法，其特征在于，包括： 获取随机化约束文件的编译日志； 解析所述编译日志，得到约束冲突信息，其中，所述约束冲突信息包括冲突变量和冲突约束表达式； 根据所述约束冲突信息，进行冲突优化计算，得到所述冲突变量的最大满足域； 对所述最大满足域进行可用性评估；响应于所述可用性评估结果为不可用，迭代进行所述冲突优化计算，更新所述最大满足域，包括：解析所述约束冲突信息，生成抽象语法树；遍历所述抽象语法树，提取所有节点信息，其中，所述节点信息包括所述冲突变量的名称和相关的约束条件，将所述节点信息转化为线性规划问题并求解，找到所述冲突变量满足所有约束条件时的最大值和最小值，得到所述最大满足域，其中，得到所述最大满足域还包括：确定目标变量，其中，目标变量为所述冲突变量，记为x1,x2,...,xn；确定目标函数，定义需要优化的目标，记为fx，其中，，其中，xi是第i个目标变量，ci是第i个目标变量的优化系数，其中，所述目标函数至少包括以下一项：最大化目标函数、最小化目标函数，所述最大化目标函数记为Maxx，所述最小化目标函数记为Minx；将所述冲突约束表达式，转化为线性不等式或线性等式，得到线性规划约束条件，其中，所述冲突约束表达式包括所述冲突变量及对应的变量系数，所述线性规划约束条件记为AX≤B，其中A为变量系数组成的系数矩阵，X为目标变量组成的变量向量，B为约束常数组成常数向量；将所述目标函数与所述线性规划约束条件结合，构建标准线性规划模型；选择线性规划求解算法或工具，求解构建的所述标准线性规划模型，得到最优解；获取所述标准线性规划模型的最优解，其中，所述最优解包括所述目标变量的值和对应的变量范围；检查并验证所述最优解是否可用，当可用时，所述最优解中的变量范围，即为所述冲突变量的最大满足域； 响应于所述可用性评估结果为可用，基于所述最大满足域，调整所述冲突变量的取值范围，更新所述随机化约束文件。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人山东云海国创云计算装备产业创新中心有限公司，其通讯地址为：250000 山东省济南市高新区港西路2177号港盛大厦4层401室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。