成都融见软件科技有限公司;上海合见工业软件集团有限公司洪于祥获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉成都融见软件科技有限公司;上海合见工业软件集团有限公司申请的专利约束问题调试方法、电子设备和介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121351759B 。
龙图腾网通过国家知识产权局官网在2026-03-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511904286.0，技术领域涉及：G06F30/398；该发明授权约束问题调试方法、电子设备和介质是由洪于祥设计研发完成，并于2025-12-17向国家知识产权局提交的专利申请。
本约束问题调试方法、电子设备和介质在说明书摘要公布了：本发明涉及芯片技术领域，尤其涉及一种约束问题调试方法、电子设备和介质，方法包括步骤S1、获取每一输入变量对应的值序列；步骤S2、将所有随机输入变量对应的值序列进行可视化呈现，若所有输入变量对应的值分布符合对应的输入变量分布需求，则执行步骤S3，否则，基于可视化呈现结果返回步骤S1调整随机输入变量对应的值序列；步骤S3、获取约束表达式集合；步骤S4、将所有随机输入变量对应的值序列和约束表达式集合输入约束求解器中进行求解，生成每一输出变量对应的值序列；步骤S5、将所有输出变量对应的值序列进行可视化呈现。本发明提高了约束问题调试效率。
本发明授权约束问题调试方法、电子设备和介质在权利要求书中公布了：1.一种约束问题调试方法，其特征在于，包括： 步骤S1、指定约束问题中的一个或多个随机变量为输入变量，获取每一输入变量对应的值序列； 步骤S2、将所有随机输入变量对应的值序列进行可视化呈现，若所有输入变量对应的值分布符合对应的输入变量分布需求，则执行步骤S3，否则，基于可视化呈现结果返回步骤S1调整随机输入变量对应的值序列； 步骤S3、指定约束问题中除已指定为输入变量之外的一个或多个随机变量为输出变量，获取约束表达式集合，所述约束表达式集合包括至少一个约束表达式，所述约束表达式包括用于定义输出变量与一个或多个输入变量的约束关系的表达式； 步骤S4、将所有随机输入变量对应的值序列和约束表达式集合输入约束求解器中进行求解，生成每一输出变量对应的值序列； 步骤S5、将所有输出变量对应的值序列进行可视化呈现。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人成都融见软件科技有限公司;上海合见工业软件集团有限公司，其通讯地址为：610095 四川省成都市高新区吉泰二路266号18栋1单元6楼602号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励