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

作     者：周天山 刘椿年 李京悦 钟宁燕 苗占禄 Zhou Tianshan;Liu Chunnian;Li Jingyue;Zhong Ningyan;Miao Zhanlu

作者机构：北京工业大学计算机学院北京100022 

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

出 版 物：《北京工业大学学报》 (Journal of Beijing University of Technology)

年 卷 期：2000年第26卷第3期

页      码：104-107页

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

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

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.0254-0037.2000.03.021

馆 藏 号：203153456...