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

周天山; 刘椿年; 李京悦; 钟宁燕; 苗占禄

周天山, 刘椿年, 李京悦, 钟宁燕, 苗占禄. CLP编译系统中非线性约束求解的算法与优化[J]. 北京工业大学学报, 2000, 26(3): 104-107.

引用本文:

周天山, 刘椿年, 李京悦, 钟宁燕, 苗占禄. CLP编译系统中非线性约束求解的算法与优化[J]. 北京工业大学学报, 2000, 26(3): 104-107.

Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Ningyan, Miao Zhanlu. Solving Nonlinear Constraints in BPU_CLP_C Compiler[J]. Journal of Beijing University of Technology, 2000, 26(3): 104-107.

Citation:

Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Ningyan, Miao Zhanlu. Solving Nonlinear Constraints in BPU_CLP_C Compiler[J]. Journal of Beijing University of Technology, 2000, 26(3): 104-107.

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.

HTML全文

参考文献(0)

资源附件(0)

/