一个可求解非线性约束的CLP编译方案及其优化

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

首页> 中文期刊> 《北京工业大学学报》 >一个可求解非线性约束的CLP编译方案及其优化

一个可求解非线性约束的CLP编译方案及其优化

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为离散域和实数域上约束求解的统一方法,具有求解非线性约束的功能,实现为一个基于扩充的WAM指令集的编译系统.在国内外已有的CLP系统中,我们尚未见到同时具有多重论域,非线性约束求解和编译实现这3项特征的类似系统.

著录项

来源
《北京工业大学学报》 |2000年第2期|39-44|共6页
作者
李京悦; 刘椿年; 周天山; 钟宁燕; 苗占禄;
展开▼
作者单位

北京工业大学计算机学院,北京,100022;

北京工业大学计算机学院,北京,100022;

北京工业大学计算机学院,北京,100022;

北京工业大学计算机学院,北京,100022;

北京工业大学计算机学院,北京,100022;

展开▼
原文格式 PDF
正文语种 chi
中图分类翻译机;
关键词
约束逻辑程序设计(CLP); Wamn抽象机(WAM); 多重论域; 非线性约束; 编译;

相似文献

中文文献
外文文献
专利

1. CLP编译系统中非线性约束求解的算法与优化 [J] . 周天山 ,刘椿年 ,李京悦 . 北京工业大学学报 . 2000,第003期
2. 一种求解非线性约束优化问题的粒子群优化算法 [J] . 罗金炎 . 温州大学学报（自然科学版） . 2012,第001期
3. 一类求解非线性约束优化问题的线搜索渐缩滤子算法 [J] . 裴永刚 ,孔维悦 ,董兰婷 . 应用数学 . 2021,第3期
4. 求解非线性约束优化问题的精确罚函数方法 [J] . 谭俊 ,陈建玲 ,苏江波 . 赤峰学院学报（自然科学版） . 2016,第013期
5. 求解非线性约束优化问题的进化规划算法 [J] . 王萍 . 牡丹江师范学院学报（自然科学版） . 2015,第001期
6. 一个求解振动系统的迭代方案 [C] . 曾达 ,罗健豪 . 第18届全国结构工程学术会议 . 2009
7. 一个求解非线性约束最优化的信赖域滤子序列二次规划算法 [A] . 白雪 . 2013

一个可求解非线性约束的CLP编译方案及其优化

摘要

著录项

相似文献

相关主题

期刊订阅