请登录 >
English| 简体中文

首页>成果

  • 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

高级检索

[期刊论文]

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

分享
编辑 删除 报错

作者：

周天山 (周天山.) | 刘椿年 (刘椿年.) | 李京悦 (李京悦.) | 展开

收录：

CQVIP PKU CSCD

摘要：

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

关键词：

Warren抽象机(WAM) 非线性约束 约束逻辑程序设计(CLP) 多重论域

作者机构：

  • [ 1 ] [周天山]北京工业大学
  • [ 2 ] [刘椿年]北京工业大学
  • [ 3 ] [李京悦]北京工业大学
  • [ 4 ] [钟宁燕]北京工业大学
  • [ 5 ] [苗占禄]北京工业大学

通讯作者信息：

查看成果更多字段

相关文章：

来源 ：

北京工业大学学报

ISSN： 0254-0037

年份： 2000

期： 3

卷： 26

页码： 104-107

被引次数：

WoS核心集被引频次： 0

万方被引频次： 1

近30日浏览量： 0

归属院系：

全文获取

DOI 图书馆发现搜索 百度学术搜索 万方数据
在线人数/总访问数：162/4574016
地址：北京工业大学图书馆(北京市朝阳区平乐园100号 邮编：100124) 联系我们：010-67392185
版权所有：北京工业大学图书馆 站点建设与维护：北京爱琴海乐之技术有限公司