首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   7篇
  免费   0篇
  国内免费   3篇
自动化技术   10篇
  2004年   2篇
  1999年   1篇
  1997年   1篇
  1996年   1篇
  1995年   4篇
  1992年   1篇
排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
基于规则面向属性的数据库归纳的无回溯算法   总被引:8,自引:0,他引:8  
周生炳  张钹  成栋 《软件学报》1999,10(7):673-678
该文提出了基于规则的面向属性知识发现方法的无回溯算法.把背景知识理解为特殊的逻辑程序,并把它的子句展开为完全归结子句,然后按照用户要求,定义并确定每个属性的恰当层次.每个属性的多个值归纳为恰当层次中的值,只需一遍扫描,因此无需回溯.  相似文献   
2.
周生炳 《软件学报》1997,8(10):798-800
本文提出SLD-博弈树的成功集的概念,证明对任何计算规则R,对应R产的SLD-博弈树的成功集相同,即SLD-博弈树的证明能力与计算规则无关,这就是计算规则的独立性.  相似文献   
3.
表达式的覆盖、分解与划分   总被引:1,自引:1,他引:0  
周生炳  戴汝为 《软件学报》1996,7(4):223-232
本文把简单表达式(项和原子)视为语言L的Herbrand域或Herbrand基中的集合.作者提出覆盖表达式的概念,得到2个表达式之间覆盖关系的判别准则.对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件.根据集合的划分公式,得到划分表达式的方法.最后定义1个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式.本文是作者提出的一种标记逻辑程序的过程语义的理论基础.  相似文献   
4.
我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调(容错)推理和非单调推理.本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果:诱导序列基本定理,它是后续讨论的基础.  相似文献   
5.
基于J2EE的Web应用的MVC架构实现   总被引:4,自引:0,他引:4  
设计模式在当前的工程应用中越来越广泛,MVC是软件开发中的一种重要的设计模式,J2EE则是开发高端企业级应用的成熟技术体系。在软件规模13益庞大的今天,这两种技术的结合为大型软件应用的开发提供了成功的保证。该文简要介绍了MVC模式的概念、模型,同时阐述了J2EE中与MVC相关的技术要点。并构建了一个简单、实用的Web应用框架,达到了视图、控制、模型的分层,成功实现了J2EE平台上的MVC架构。  相似文献   
6.
本文提出用一般结构极小模型解释限定公理,并证明在此语义下,二阶限定是完备的.此外,作者还把Mott的非速归闭限定引入二阶限定,证明在一般结构语义下,二阶非递归闭限定是可满足的.  相似文献   
7.
本文研究不循环ALP的说明语义.利用依赖关系的非自反性,把程序的Herbrand基分类成一系列不相交集合.在此基础上,引进多重极限的概念,并证明,不循环程序存在唯一的支持模型,该模型就是程序的k重极限,其中k是程序中自由子句的个数.  相似文献   
8.
本文研究不循环ALP的说明语义,利用依赖关系的非自反应性,把程序的Herbarand基分类成一系列不相交集合,在此基础上,引进多重极限的概念,并证明,不循环程序存在唯一的支持模型,该模型就是程序的k重极限,其中k是程序中自由子句的个数。  相似文献   
9.
基于Web服务的P2P服务器端实现   总被引:4,自引:0,他引:4  
目前,软件领域基于Intemet的应用越来越普遍,作为两项极为重要的网络技术,P2P和Web服务得到了长足的发展,Web服务更成为实现下一代网络应用的基石。该文介绍了P2P概念、模型及应用领域,同时介绍了Web服务的概念、原理及协议。通过使用ASP.NET,利用XML及C#语言,以Web服务的形式实现了P2P服务器端的发现、查找功能,同时给出了在客户端开发时作为Web服务的应用方式,并提出了P2P应用中应注意的问题。  相似文献   
10.
基于标记逻辑的非单调推理(I)   总被引:1,自引:0,他引:1  
我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调(容错)推理和非单调推理,本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果,诱导序列基本定理,它是后续讨论的基础。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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