基于约束程序累积调度的编组站静态配流模型研究 被引量：6

1

作者 马亮 郭进 陈光伟 《铁道学报》 EI CAS CSCD 北大核心 2014年第1期8-15,共8页

静态配流是铁路编组站阶段计划的核心,模型和算法的优劣直接影响编组站作业效率和经济效益。本文基于约束程序累积调度和字典序多目标优化理论,考虑配流成功的出发列车优先级总和最大、出发车流来源总数最小、到达车辆先到先发等具有字... 静态配流是铁路编组站阶段计划的核心,模型和算法的优劣直接影响编组站作业效率和经济效益。本文基于约束程序累积调度和字典序多目标优化理论,考虑配流成功的出发列车优先级总和最大、出发车流来源总数最小、到达车辆先到先发等具有字典序的3个目标,以满轴、正点、不违编、解编顺序及编组场容量限制等为约束条件,建立静态配流字典序多目标累积调度模型。采用迭代、约束传播和回溯算法求解。通过现场实际数据验证:本算法求解时间满足现场要求;模型稳定、扩展性好,符合实际需求。 展开更多

关键词 编组站 静态配流 约束程序 累积调度 约束传播 回溯 字典序多目标优化

在线阅读 下载PDF 职称材料

基于约束程序的变迁约束可达问题判定研究 被引量：3

2

作者 覃海生 蓝乾艺 杨夏妮 《广西大学学报（自然科学版）》 CAS CSCD 2007年第3期307-311,共5页

在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发... 在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U. 展开更多

关键词 PETRI网 可达问题 逻辑抽象技术 变迁约束 约束程序

在线阅读 下载PDF 职称材料

约束程序设计语言COPS的设计与实现 被引量：1

3

作者 廖乐健 董国增 《计算机工程》 CAS CSCD 北大核心 2003年第8期14-15,28,共3页

约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响，其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来。该文介绍了设计实现的并发约束程序设计语言C... 约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响，其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来。该文介绍了设计实现的并发约束程序设计语言COPS。COPS系统的主要目标是探索智能语言的实用化与工程化，使其能够真正解决现实世界中用常规语言难以实现的智能应用问题。还介绍了COPS语言的表示及涉及的主要推理技术。 展开更多

关键词 并发约束程序设计 规则 约束传播

在线阅读 下载PDF 职称材料

一个并发约束程序设计语言的定义与实现

4

作者 廖乐健 曹元大 董国增 《北京理工大学学报》 EI CAS CSCD 北大核心 2004年第3期241-246,共6页

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起... 设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性. 展开更多

关键词 并发约束程序设计 约束储仓 约束传播 回溯

在线阅读 下载PDF 职称材料

可视化约束程序编程环境的设计与实现

5

作者 申闫春 刘方鑫 刘厚泉 《计算机工程与应用》 CSCD 北大核心 1999年第10期56-57,84,共3页

该文提出了一种应用于多数化CAD系统的面向约束的程序设计思想，开发了一个实用的可视化约束程序编程环境。不仅简化了用户在参数化图形设计过程中大量约束程序的编程，而且提出了一种应用于参数化CAD系统设计图形约束程序的可视化方法。

关键词 可视化编程 参数化设计 约束程序 CAD

在线阅读 下载PDF 职称材料

逻辑、优化及约束程序的综述

6

作者 张立炎 徐华中 钱积新 《武汉理工大学学报（信息与管理工程版）》 CAS 2005年第1期42-47,共6页

由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣。概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进... 由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣。概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述。 展开更多

关键词 优化 约束程序 约束逻辑程序 逻辑

在线阅读 下载PDF 职称材料

面向装备联勤保障的约束程序设计框架 被引量：2

7

作者 郑宇军 王连来 薛锦云 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期30-34,共5页

提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合... 提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合后,能够得到精确的具体问题规约;最后利用启发式规则在问题求解剖面中选择合适的算法,可实现联勤保障规划类问题的高效求解. 展开更多

关键词 联勤 约束程序设计 规约 问题求解

在线阅读 下载PDF 职称材料

前提嵌套程序和基数约束程序的简洁性研究 被引量：1

8

作者 张燕 沈榆平 赵希顺 《逻辑学研究》 CSSCI 2016年第2期14-31,共18页

直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简... 直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简洁性。我们设计了一个从CCP到NLP多项式长度的等价翻译,这极大改进了Ferraris和Lifschitz提出的指数长度翻译方法,由此证明NLP至少与CCP一样简洁。 展开更多

关键词 简洁性 回答集 基数约束程序 前提嵌套程序

在线阅读 下载PDF 职称材料

并发约束程序设计语言COPS及其执行模型 被引量：1

9

作者 廖乐健 史忠植 曹元大 《计算机工程与应用》 CSCD 北大核心 2003年第14期121-125,共5页

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增... 约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。 展开更多

关键词 并发约束程序设计 约束满足 约束逻辑程序设计

在线阅读 下载PDF 职称材料

约束逻辑程序的一个新语义研究 被引量：1

10

作者 张永刚 孙吉贵 《广西师范大学学报（自然科学版）》 CAS 2003年第A01期1-5,共5页

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度... 首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征. 展开更多

关键词 约束逻辑程序 多重回答约束 s-语义

在线阅读 下载PDF 职称材料

约束逻辑程序的良基模型研究 被引量：1

11

作者 常万军 郭祖华 魏昆鹏 《计算机工程》 CAS CSCD 2013年第9期298-302,共5页

在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得... 在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得到的等价正规逻辑程序的最小不动点为切入,给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明,该良基模型是合理的,用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。 展开更多

关键词 正规逻辑程序 约束逻辑程序 回答集 最小不动点 良基模型 前缀幂集

在线阅读 下载PDF 职称材料

约束归纳逻辑程序设计方法的研究 被引量：3

12

作者 郑磊 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第10期63-66,共4页

提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用... 提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。 展开更多

关键词 约束归纳逻辑程序设计方法 程序设计方法 机器学习 Porlog语言 ILP系统

在线阅读 下载PDF 职称材料

约束逻辑程序设计的变量压缩事件分析

13

作者 易军凯 肖洋 《计算机工程与应用》 CSCD 北大核心 2005年第18期51-53,60,共4页

该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后... 该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。 展开更多

关键词 约束逻辑程序设计 约束推理机 区间压缩 变量事件 二叉树

在线阅读 下载PDF 职称材料

约束归纳逻辑程序设计系统

14

作者 郑磊 刘椿年 贾东 《计算机工程》 CAS CSCD 北大核心 2003年第19期6-7,25,共3页

提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。

关键词 约束 归纳逻辑程序设计 约束归纳逻辑程序设计

在线阅读 下载PDF 职称材料

加权约束逻辑程序 被引量：1

15

作者 韩雪平 《电子技术与软件工程》 2015年第18期252-252,共1页

大多数传统的程序设计语言本质上都是属于过程性语言(如PASCAL和C),需要在程序执行前详细规定运行步骤。而基于逻辑的计算机语言的出现(即逻辑程序设计语言),给某些逻辑问题提供了更有效的解决途径。本文首先简要介绍加权逻辑程序设计语... 大多数传统的程序设计语言本质上都是属于过程性语言(如PASCAL和C),需要在程序执行前详细规定运行步骤。而基于逻辑的计算机语言的出现(即逻辑程序设计语言),给某些逻辑问题提供了更有效的解决途径。本文首先简要介绍加权逻辑程序设计语言,然后经典的八皇后逻辑问题为例,说明逻辑程序的优势,最后展望逻辑程序的发展及其应用前景。 展开更多

关键词 加权约束逻辑程序 smodels系统 高级程序设计语言

在线阅读 下载PDF 职称材料

面向对象的约束逻辑程序设计

16

作者 林琪 《计算机工程与应用》 CSCD 北大核心 1997年第12期24-27,共4页

本文介绍了面向对象技术和约束逻辑程序设计方法在人工智能中应用的基本思想，通过二者的结合使现有逻辑程序设计在逻辑的清晰性和执行的高效性上都得以提高。

关键词 人工智能 约束逻辑程序 面向对象 程序设计

在线阅读 下载PDF 职称材料

基于约束逻辑程序设计的排课算法研究 被引量：4

17

作者 徐成刚 易军凯 肖洋 《计算机工程与应用》 CSCD 北大核心 2006年第31期197-199,212,共4页

课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非... 课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。 展开更多

关键词 排课 约束逻辑程序设计 时空元

在线阅读 下载PDF 职称材料

分布式并行约束归纳逻辑程序设计研究 被引量：1

18

作者 卢向澄 郑磊 刘椿年 《计算机应用研究》 CSCD 北大核心 2005年第9期34-36,45,共4页

CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较... CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。 展开更多

关键词 约束归纳逻辑程序设计 分布式并行逻辑程序归纳设计 关系数据挖掘

在线阅读 下载PDF 职称材料

约束逻辑程序部分演绎过程的研究

19

作者 陶意 刘椿年 《计算机学报》 EI CSCD 北大核心 1997年第3期238-244,共7页

约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程... 约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程保证结果程序－目标对（Ｐｎ，Ｑｎ）和输入程序－目标对（ＰＯ，Ｑ０）计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高．本文提出的方法已经实现，文中给出了一个ＣＬＰ（ＢＯＯＬ）程序部分演绎的运行实例． 展开更多

关键词 约束逻辑程序 部分演绎 程序设计

在线阅读 下载PDF 职称材料

约束归纳逻辑程序设计的研究

20

作者 夏姗姗 刘椿年 《北京工业大学学报》 CAS CSCD 2000年第3期108-112,共5页

提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较... 提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Ｈｏｒｎ子句程序，同时介绍了这个ＩＬＰ系统的实现算法和应用实例． 展开更多

关键词 约束 归纳逻辑程序设计 约束归纳逻辑程序设计 机器学习

在线阅读 下载PDF 职称材料