专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08538900B2 Integrating interval constraint propagation with nonlinear real arithmetic 有权
标题翻译：将间隔约束传播与非线性实数算法相结合
公开(公告)号：US08538900B2
公开(公告)日：2013-09-17
申请号：US12966710
申请日：2010-12-13
申请人： Malay K. Ganai , Sicun Gao , Franjo Ivancic , Aarti Gupta
发明人： Malay K. Ganai , Sicun Gao , Franjo Ivancic , Aarti Gupta
IPC分类号： G06F15/18 , G06F7/60
CPC分类号： G06N5/003
摘要： A system and method for deciding the satisfiability of a non-linear real decision problem is disclosed. Linear and non-linear constraints associated with the problem are separated. The feasibility of the linear constraints is determined using a linear solver. The feasibility of the non-linear constraints is determined using a non-linear solver which employs interval constraint propagation. The interval solutions obtained from the non-linear solver are validated using the linear solver. If the solutions cannot be validated, linear constraints are learned to refine a search space associated with the problem. The learned constraints and the non-linear constraints are iteratively solved using the non-linear solver until either a feasible solution is obtained or no solution is possible.
摘要翻译：公开了一种用于确定非线性真实决策问题的可满足性的系统和方法。与问题相关联的线性和非线性约束是分开的。使用线性求解器确定线性约束的可行性。使用采用间隔约束传播的非线性求解器来确定非线性约束的可行性。使用线性求解器验证从非线性求解器获得的间隔解。如果解决方案无法验证，则学习线性约束来优化与问题相关联的搜索空间。使用非线性求解器迭代地求解所学习的约束和非线性约束，直到获得可行解或者没有解是可行的。

2. 发明申请

US20110173148A1 INTEGRATING INTERVAL CONSTRAINT PROPAGATION WITH NONLINEAR REAL ARITHMETIC 有权
标题翻译：用非线性实数算法来整合间隔约束传播
公开(公告)号：US20110173148A1
公开(公告)日：2011-07-14
申请号：US12966710
申请日：2010-12-13
申请人： MALAY K. GANAI , Sicun Gao , Franjo Ivancic , Aarti Gupta
发明人： MALAY K. GANAI , Sicun Gao , Franjo Ivancic , Aarti Gupta
IPC分类号： G06N5/02
CPC分类号： G06N5/003
摘要： A system and method for deciding the satisfiability of a non-linear real decision problem is disclosed. Linear and non-linear constraints associated with the problem are separated. The feasibility of the linear constraints is determined using a linear solver. The feasibility of the non-linear constraints is determined using a non-linear solver which employs interval constraint propagation. The interval solutions obtained from the non-linear solver are validated using the linear solver. If the solutions cannot be validated, linear constraints are learned to refine a search space associated with the problem. The learned constraints and the non-linear constraints are iteratively solved using the non-linear solver until either a feasible solution is obtained or no solution is possible.
摘要翻译：公开了一种用于确定非线性真实决策问题的可满足性的系统和方法。与问题相关联的线性和非线性约束是分开的。使用线性求解器确定线性约束的可行性。使用采用间隔约束传播的非线性求解器来确定非线性约束的可行性。使用线性求解器验证从非线性求解器获得的间隔解。如果解决方案无法验证，则学习线性约束来优化与问题相关联的搜索空间。使用非线性求解器迭代地求解所学习的约束和非线性约束，直到获得可行解或者不可能得到解。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式