首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9篇
  免费   0篇
  国内免费   3篇
综合类   1篇
自动化技术   11篇
  1997年   2篇
  1996年   2篇
  1993年   2篇
  1992年   1篇
  1991年   3篇
  1990年   1篇
  1987年   1篇
排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
本文阐述了如何设计H码(即Huffman码,以下简称H码)对用ASCⅡ码书写的文件进行压缩及恢复的方法。  相似文献   
2.
FC机:CD—FFP2的抽象并行图归约机   总被引:1,自引:1,他引:0  
  相似文献   
3.
4.
知识库维护过程中检查其协调性的有效方法   总被引:3,自引:0,他引:3  
沈宁川  龙翔  李未 《软件学报》1997,8(1):14-21
本文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库.为了检查知识库的协调性,本文为知识库中的推理规则构造了正支持集和负支持集,并给出了一些定义;基于这些概念和定义,提出了知识库维护过程中检查知识库协调性的一种有效方法,并证明了相关的定理;基于此方法,实现了一个算法CHIME,并给出了用CHIME分析一些知识库的实验结果.本文还提到一些相关的工作,最后给出结论.  相似文献   
5.
一个维护知识库的软件agent互操作系统   总被引:1,自引:0,他引:1  
沈宁川  龙翔  聊鸿斌 《软件学报》1997,8(11):852-856
本文首先简介了基于agent的软件工程技术,然后利用这一技术,设计了一个用于知识库维护的软件agent互操作系统SAIS(softwareagentinteroperationsystem).SAIS系统是由多问题求解器构成,每个问题求解器是一个软件agent.本文给出了SAIS的结构,并描述了SAIS的实现.  相似文献   
6.
扩充逻辑程序设计的R—演算—知识库维护的操作方法   总被引:1,自引:0,他引:1  
沈宁川  李未 《计算机学报》1996,19(3):191-196
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逻辑程序等价于一个知识库;进一步定义了一个转换系统,称为扩充逻辑程序设计的R-演算,对一个给定的知识库和用户反驱,此演算可以导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作进行了比较;最后,给出了本文的结论。  相似文献   
7.
8.
9.
10.
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逻辑程序等价于一个知识库;进一步定义了一个转换系统,称为扩充逻辑程序设计的R-演算,对一个给定的知识库和用户反驳,此演算可以导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作进行了比较;最后,给出了本文的结论.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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