CLP编译系统中非线性约束求解的算法与优化  

Solving Nonlinear Constraints in BPU_CLP_C Compiler

作　　者：周天山[1] 刘椿年[1] 李京悦[1] 钟宁燕 苗占禄[1] 

机构地区：[1]北京工业大学计算机学院,北京100022

出　　处：《北京工业大学学报》2000年第3期104-107,共4页Journal of Beijing University of Technology

基　　金：国家自然科学基金资助项目!(NS FC69883001);国家"863"高科技计划资助项目!(863-306-ZT06-07-2

摘　　要：描述了一个高度优化的约束逻辑程序（ＣＬＰ）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．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.

关 键 词：WARREN抽象机 约束逻辑程序设计 多重论域 非线性约束 编译系统 算法 优化 

分 类 号：TP391.2[自动化与计算机技术—计算机应用技术]