期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑 被引量:2
1
作者 张奠成 李修华 《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。 展开更多
关键词 OODB语言 约束演绎 多类型逻辑
在线阅读 下载PDF
RTL数据通路模拟矢量自动生成方法研究与实现 被引量:2
2
作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。 展开更多
关键词 RTL 数据通路 模拟矢量自动生成方法 约束逻辑编辑 CLP VLSI 形式化描述 模型检验 位向量算术 约束求解
在线阅读 下载PDF
智能教学系统中自动推理模块的设计与实现 被引量:2
3
作者 郑磊 贾东 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2002年第3期363-368,共6页
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语... 以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题. 展开更多
关键词 自动推理模块 设计 智能教学系统 约束逻辑程序设计 Strips算子 中学 数学教学
在线阅读 下载PDF
约束归纳逻辑程序设计方法的研究 被引量:3
4
作者 郑磊 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第10期63-66,共4页
提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用... 提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。 展开更多
关键词 约束归纳逻辑程序设计方法 程序设计方法 机器学习 Porlog语言 ILP系统
在线阅读 下载PDF
基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法 被引量:1
5
作者 李暾 屈婉霞 +2 位作者 郭阳 刘功杰 李思昆 《计算机学报》 EI CSCD 北大核心 2007年第7期1138-1144,共7页
利用人工智能最新研究成果——约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较.首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解.该方法的... 利用人工智能最新研究成果——约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较.首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解.该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显著提高;提供了一个统一的框架用于描述各种约束.实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显著提高. 展开更多
关键词 谓词抽象 Verilog约束逻辑编程 模型检验 符号模拟
在线阅读 下载PDF
归纳逻辑程序设计综述 被引量:4
6
作者 郑磊 贾东 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第17期43-46,86,共5页
归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研... 归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。 展开更多
关键词 机器学习 逻辑程序设计 归纳逻辑程序设计 粗糙—归纳逻辑程序设计 遗传归纳逻辑程序设计 约束归纳逻辑程序设计 关系数据挖掘
在线阅读 下载PDF
约束逻辑编程中宽数据算术运算算法 被引量:1
7
作者 万海 李暾 +1 位作者 郭阳 李思昆 《计算机工程》 CAS CSCD 北大核心 2003年第22期40-42,50,共4页
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法,运算分解扩展了现有CLP的功能,... 提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法,运算分解扩展了现有CLP的功能,使其能适应实际的数据通路设计。实验结果表明方法是有效的。 展开更多
关键词 约束逻辑编程 GNU PROLOG 宽数据 运算分解
在线阅读 下载PDF
扩展的加权约束逻辑程序在产品配置中的应用 被引量:1
8
作者 王洁 安雪妹 刘椿年 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第1期90-94,共5页
为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推... 为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用. 展开更多
关键词 加权约束 逻辑程序 稳定模型 产品配置
在线阅读 下载PDF
一种可扩展型CLP系统的统一建模方法 被引量:2
9
作者 易军凯 翟性泉 王雪晶 《计算机工程与应用》 CSCD 北大核心 2004年第30期116-119,共4页
约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展... 约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。 展开更多
关键词 约束逻辑程序设计 数学建模 搜索引擎 搜索求解器
在线阅读 下载PDF
约束逻辑程序的良基模型研究 被引量:1
10
作者 常万军 郭祖华 魏昆鹏 《计算机工程》 CAS CSCD 2013年第9期298-302,共5页
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得... 在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得到的等价正规逻辑程序的最小不动点为切入,给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明,该良基模型是合理的,用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。 展开更多
关键词 正规逻辑程序 约束逻辑程序 回答集 最小不动点 良基模型 前缀幂集
在线阅读 下载PDF
约束逻辑程序的一个新语义研究 被引量:1
11
作者 张永刚 孙吉贵 《广西师范大学学报(自然科学版)》 CAS 2003年第A01期1-5,共5页
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度... 首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征. 展开更多
关键词 约束逻辑程序 多重回答约束 s-语义
在线阅读 下载PDF
一类带不连续约束优化问题的研究及应用 被引量:1
12
作者 张杰 赵丽萍 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第1期16-19,共4页
带不连续约束的非线性优化问题在描述许多工程、经济管理问题时有着广泛的应用,而对这类问题的求解比较复杂.针对约束含跳跃间断点的优化问题进行研究,首先通过连续延拓来构造连续函数,然后通过引入逻辑变量,建立了此类问题的混合整数... 带不连续约束的非线性优化问题在描述许多工程、经济管理问题时有着广泛的应用,而对这类问题的求解比较复杂.针对约束含跳跃间断点的优化问题进行研究,首先通过连续延拓来构造连续函数,然后通过引入逻辑变量,建立了此类问题的混合整数优化模型.作为模型的应用,给出了一个计算实例. 展开更多
关键词 带约束优化问题 逻辑变量 混合整数规划
在线阅读 下载PDF
SC-PROLOG解释系统中的约束逻辑程序设计方法 被引量:1
13
作者 林琪 《计算机工程与科学》 CSCD 1997年第1期68-72,共5页
约束逻辑程序设计(CLP)方法是提高PROLOG语言效率的一种崭新方法,本文针对SC┐PROLOG解释系统的实现介绍其相应设计思想,从域变量含义入手,提出了域及约束的存储方法以及约束机制的实现算法。
关键词 约束 逻辑程序设计 回朔 约束
在线阅读 下载PDF
基于约束程序的变迁约束可达问题判定研究 被引量:3
14
作者 覃海生 蓝乾艺 杨夏妮 《广西大学学报(自然科学版)》 CAS CSCD 2007年第3期307-311,共5页
在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发... 在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U. 展开更多
关键词 PETRI网 可达问题 逻辑抽象技术 变迁约束 约束程序
在线阅读 下载PDF
基于回答集程序的冲突问题研究
15
作者 王洁 赵丽丽 +1 位作者 艾莹莹 夏杰 《计算机应用与软件》 CSCD 北大核心 2012年第10期234-235,303,共3页
Smart-M3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息。在Smart-M3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题。然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突。为了处理这个... Smart-M3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息。在Smart-M3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题。然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突。为了处理这个问题,提出使用动态优先关系的方法解决该问题。将动态优先关系使用加权逻辑程序表示,然后求解程序得到回答集,该回答集就是冲突问题的解决方案。最后,以一个实例说明了该方法的应用。 展开更多
关键词 Smart-M3 加权逻辑程序 动态优先 冲突
在线阅读 下载PDF
简单单调约束逻辑程序的良基语义研究
16
作者 常万军 郭祖华 魏昆鹏 《计算机工程与设计》 CSCD 北大核心 2013年第6期2180-2184,共5页
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑... 在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。 展开更多
关键词 逻辑程序 简单单调约束逻辑 回答集 稳定模型 良基语义
在线阅读 下载PDF
约束归纳逻辑程序设计系统
17
作者 郑磊 刘椿年 贾东 《计算机工程》 CAS CSCD 北大核心 2003年第19期6-7,25,共3页
提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。
关键词 约束 归纳逻辑程序设计 约束归纳逻辑程序设计
在线阅读 下载PDF
CSP逻辑编程中一种约束评价的动态控制方法
18
作者 方思行 陆子强 凌卫新 《华南理工大学学报(自然科学版)》 EI CAS CSCD 1995年第2期91-97,共7页
在一些约束满足问题(CSP)中,使需要进行的约束评价的数目减到最低限度是一个十分重要的问题.本文提出一种改进的回溯算法,它借助基于假设的正确性维护系统ATMS达到了上述目的。
关键词 程序设计 逻辑程序 约束满足问题 人工智能
在线阅读 下载PDF
约束逻辑程序设计的变量压缩事件分析
19
作者 易军凯 肖洋 《计算机工程与应用》 CSCD 北大核心 2005年第18期51-53,60,共4页
该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后... 该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。 展开更多
关键词 约束逻辑程序设计 约束推理机 区间压缩 变量事件 二叉树
在线阅读 下载PDF
汽车阻尼可调半主动悬架混杂模型预测控制 被引量:10
20
作者 张亮修 王宇 +1 位作者 吴光强 刘兆勇 《西安交通大学学报》 EI CAS CSCD 北大核心 2017年第11期156-164,共9页
为协调汽车阻尼连续可调半主动悬架舒适性和操稳性之间的矛盾,并考虑减振器阻尼力须满足的非线性约束条件,研究了一种适用于半主动悬架的混杂模型预测控制方法,包括建立半主动悬架单轮车辆模型,提出综合描述舒适性和操稳性的悬架优化控... 为协调汽车阻尼连续可调半主动悬架舒适性和操稳性之间的矛盾,并考虑减振器阻尼力须满足的非线性约束条件,研究了一种适用于半主动悬架的混杂模型预测控制方法,包括建立半主动悬架单轮车辆模型,提出综合描述舒适性和操稳性的悬架优化控制目标函数及半主动悬架须满足的非线性约束条件。利用混合逻辑动态建模方法描述半主动悬架混杂系统模型,基于模型预测控制理论研究半主动悬架混杂系统的有限时域优化控制问题。为便于问题求解,将非线性约束优化问题转化为包含实值变量和二值变量的混合整数二次规划问题,并借助分支定界算法进行求解。在随机路面和正弦波突起路面进行仿真验证后表明,所提混杂模型预测方法明显优于被动悬架和传统线性二次型调节器算法,能有效提高阻尼可调半主动悬架的综合性能,并在不同的路面输入激励和车速下均能取得较好的控制效果。 展开更多
关键词 半主动悬架 非线性约束优化 混合逻辑动态建模 混杂模型预测控制 混合整数二次规划
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部