CLP编译系统中非线性约束求解的算法与优化
Solving Nonlinear Constraints in BPU_CLP_C Compiler
-
摘要: 描述了一个高度优化的约束逻辑程序(CLP)编译系统解释实现中的算法和优化策略.并通过定义新的数据结构,采用多种优化策略,使该系统能够以较高效率处理经典的非线性约束问题.Abstract: The data structure and interpretation for the extended WAM code of the BPU_CLP_C compiler are discussed, which is highly optimized.The system can solve nonlinear constraints using interval arithmetic and constraint propagation.
下载: