约束逻辑程序设计

作品数：12被引量：18H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘椿年易军凯郑磊肖洋李京悦更多>>
相关机构：北京工业大学北京化工大学吉林大学中国科学院更多>>
相关期刊：《模式识别与人工智能》《科技和产业》《计算机工程与应用》《计算机应用研究》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部留学回国人员科研启动基金博士科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于BIM技术、绿色理念和规则推理的公路施工进度计划编排优化被引量：6
《科技和产业》2022年第3期128-131,共4页蒋梓明 
施工进度计划是施工管理和施工过程重要的参考依据。现有的公路施工季度计划相关研究工作主要基于工程案例或施工计划模板等方式,无法实现对具体公路工程项目的精准匹配。对项目空间上、工艺上以及逻辑上的约束关系,从科学、绿色的角度...
关键词：BIM技术 施工进度计划 绿色理念 公路工程 约束逻辑程序设计 编排优化 
基于约束逻辑程序设计的排课算法研究被引量：4
《计算机工程与应用》2006年第31期197-199,212,共4页徐成刚 易军凯 肖洋 
教育部留学回国人员科研启动基金
课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非...
关键词：排课 约束逻辑程序设计 时空元 
用CLP技术解决动画自动生成中的布局规划问题被引量：1
《计算机应用研究》2006年第5期244-247,共4页汤玮 卢向澄 郑磊 刘椿年 
国家自然科学基金资助项目(60496322;60496327);北京工业大学博士科研启动基金项目(00119)
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机...
关键词：动画自动生成 布局规划 约束逻辑程序设计 
约束逻辑程序设计的变量压缩事件分析
《计算机工程与应用》2005年第18期51-53,60,共4页易军凯 肖洋 
新加坡政府支持;与新加坡国立大学合作
该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后...
关键词：约束逻辑程序设计 约束推理机 区间压缩 变量事件 二叉树 
一种可扩展型CLP系统的统一建模方法被引量：2
《计算机工程与应用》2004年第30期116-119,共4页易军凯 翟性泉 王雪晶 
约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展...
关键词：约束逻辑程序设计 数学建模 搜索引擎 搜索求解器 
并发约束程序设计语言COPS及其执行模型被引量：1
《计算机工程与应用》2003年第14期121-125,共5页廖乐健 史忠植 曹元大 
部委资助项目
约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增...
关键词：并发约束程序设计 约束满足 约束逻辑程序设计 
约束数据库技术概论
《内蒙古大学学报（自然科学版）》2002年第2期224-229,共6页徐贵红 
内蒙古大学青年科学基金项目
介绍了数据库研究的一个新领域——约束数据库 .简要总结了约束数据库定义、建模能力、查询语言、索引技术等方面的研究和进一步的研究方向 .
关键词：约束数据库 查询语言 表达能力 索引技术 建模能力 关系模型 约束逻辑程序设计 
智能教学系统中自动推理模块的设计与实现被引量：2
《北京工业大学学报》2002年第3期363-368,共6页郑磊 贾东 刘椿年 
国家自然科学基金资助项目(NSFC69883001).
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语...
关键词：自动推理模块 设计 智能教学系统 约束逻辑程序设计 Strips算子 中学 数学教学 
CLP编译系统中非线性约束求解的算法与优化被引量：1
《北京工业大学学报》2000年第3期104-107,共4页周天山 刘椿年 李京悦 钟宁燕 苗占禄 
国家自然科学基金资助项目!(NS FC69883001);国家"863"高科技计划资助项目!(863-306-ZT06-07-2
描述了一个高度优化的约束逻辑程序（ＣＬＰ）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．
关键词：WARREN抽象机 约束逻辑程序设计 多重论域 非线性约束 编译系统 算法 优化 
一个可求解非线性约束的CLP编译方案及其优化被引量：1
《北京工业大学学报》2000年第2期39-44,共6页李京悦 刘椿年 周天山 钟宁燕 苗占禄 
国家自然科学基金!NSFC69883001;国家"863"高技术发展资助!863.306.ZT06-07-2
描述了一个优化的约束逻辑程序设计（ＣＬＰ）系统的编译方法和编译优化策略．该系统是一个多重论域的ＣＬＰ系统，以区间算术和约束传播作为离散域和实数域上约束求解的统一方法，具有求解非线性约束的功能．实现为一个基于扩充的ＷＡ...
关键词：约束逻辑程序设计 非线性约束 编译方案 优化 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部