首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   56篇
  国内免费   11篇
  完全免费   47篇
  自动化技术   114篇
  2018年   1篇
  2015年   1篇
  2012年   2篇
  2011年   1篇
  2010年   1篇
  2009年   5篇
  2008年   5篇
  2007年   9篇
  2006年   8篇
  2005年   4篇
  2004年   4篇
  2003年   7篇
  2002年   1篇
  2001年   2篇
  2000年   2篇
  1999年   10篇
  1997年   7篇
  1996年   8篇
  1995年   6篇
  1994年   7篇
  1993年   3篇
  1992年   4篇
  1991年   7篇
  1990年   2篇
  1989年   7篇
排序方式: 共有114条查询结果,搜索用时 93 毫秒
1.
软件过程建模语言研究   总被引:16,自引:3,他引:13       下载免费PDF全文
柳军飞  唐稚松 《软件学报》1996,7(8):449-457
本文介绍了软件过程建模的基本概念,提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言,给出了一个基于时序逻辑的形式化过程建模语言XYZ/PME,该语言是时序逻辑语言XYZ/E的子语言,它支持以角色为中心的逐步求精的过程建模方法,可在统一的形式框架内表示不同抽象级的过程模型.软件过程,软件过程建模,过程建模语言,时序逻辑,程序设计语言.  相似文献
2.
对象式逻辑程序设计   总被引:9,自引:3,他引:6  
本文首先对逻辑程序设计与对象式程序设计进行一些比较,然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。  相似文献
3.
Visual Prolog的搜索控制机制分析   总被引:8,自引:0,他引:8       下载免费PDF全文
回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visual Prolog自己不能区分实质上相同的两个解,因此会降低效率;二是尽管一个特殊的目标已被满足,但是回溯机制可能还会强迫Visual Prolog继续手找另外的解,因此会增加系统开销。在这些情况下,必须仔细控制目标搜索求解的回溯过程。本文在揭示Visual Prolog回溯机制所存在问题的基础上,通过实例,对Visual Prolog的静态截断机制、失败谓词fail与否定谓词not等控制谓词,以及动态截断机制等所构成的完整的目标搜索求解控制机制进行了详细分析,从而揭示出回溯机制和搜索求解控制机制的本质特性及应用机理。  相似文献
4.
LISP—ELP的设计和应用   总被引:4,自引:0,他引:4  
1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”型语言走向  相似文献
5.
归纳逻辑程序设计综述   总被引:4,自引:0,他引:4  
归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。  相似文献
6.
Visual Prolog截断机制对回溯的作用机理   总被引:3,自引:0,他引:3  
雷英杰  华继学  徐彤  狄博 《计算机工程》2005,31(18):183-185
回溯是一种获得目标所有可能解的良好方法.然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程.Visual Prolog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯.该文在考察Visual Prolog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理.  相似文献
7.
知识库维护过程中检查其协调性的有效方法   总被引:3,自引:0,他引:3       下载免费PDF全文
沈宁川  龙翔  李未 《软件学报》1997,8(1):14-21
本文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库.为了检查知识库的协调性,本文为知识库中的推理规则构造了正支持集和负支持集,并给出了一些定义;基于这些概念和定义,提出了知识库维护过程中检查知识库协调性的一种有效方法,并证明了相关的定理;基于此方法,实现了一个算法CHIME,并给出了用CHIME分析一些知识库的实验结果.本文还提到一些相关的工作,最后给出结论.  相似文献
8.
一个不受常量序限制的归纳逻辑程序设计算法   总被引:2,自引:0,他引:2  
张润琦  陈小平 《软件学报》1999,10(8):868-876
文章分析了FOIL(first-orderinductivelearner)递归谓词学习算法理论上的不足以及由此导致的应用范围的局限,并通过两个例子给予详细说明.为了克服这一缺陷,文章引入了反映递归规则集R与实例空间E本质关系的实例图H(R.E)和实例序的概念,奠定了算法的理论基础.在此基础上,给出了基于实例图的FOILPlus算法.算法通过对悬例、悬弧的操作把握住实例序,自然而然地防止了病态递归规则的产生,从而保证了FOILPlus可以不受常量序限制地完成学习任务;同时,算法的时空复杂度较之FOIL算法没有增加.FOILPlus算法已经编程实现,并用它尝试了两个FOIL学习失败的递归任务,都获得了成功.  相似文献
9.
对象式逻辑程序设计语言LKO的说明性语义   总被引:2,自引:0,他引:2  
徐殿祥  关国梁 《计算机学报》1996,19(11):841-847
本文基于逻辑程序设计语言的良基模型语义,探讨了对象逻辑程序设计语言LKO的说明性语义,该语义由组合迭代的极小不动点定义,具有构造性和组合性,迷在LKO中进一步引入非单调继承和逻辑奠定了基础。  相似文献
10.
遗传归纳逻辑程序设计的个体编码生长现象   总被引:2,自引:0,他引:2  
遗传归纳逻辑程序设计(GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性.通过对变长编码的模式分析,解释了GILP的个体编码生长现象.并发现,若从初始种群开始添加长度惩罚项来解决个体编码生长问题,种群会出现退化现象.而采取在演化的初期不添加惩罚项,在种群的性状有了明显改善后再添加惩罚的策略,既可避免种群退化,又可有效解决个体编码生长问题.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号