首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  免费   13篇
  2000年   1篇
  1999年   1篇
  1998年   2篇
  1997年   1篇
  1996年   4篇
  1995年   1篇
  1994年   1篇
  1991年   1篇
  1990年   1篇
  1974年   1篇
排序方式: 共有14条查询结果,搜索用时 0 毫秒
1.
类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。  相似文献   
2.
本文介绍了context研究的现状,定义了一个新的context逻辑CL,定义并证明了与之相关的一些概念和定理。  相似文献   
3.
设计安全策略模型时应考虑安全策略的时序特性和灰色特性,还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性,而且一般只侧重描述保密性或完整性。为此,本文提出了动态灰色时序系统(简称DGTS)。本文详细描述了DGTS,以及基于DGTS的动态语义设计的灰色时序安全策略规范语言GTSL。  相似文献   
4.
基于灰色时序的完整性规范技术   总被引:1,自引:0,他引:1       下载免费PDF全文
计算机系统的完整性安全策略模型与规范问题,是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远,例如Clark-Wilson完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言(GTSL)。GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新,使得GTSL成为真正能够实际使用的完整性安全策略规范语言。  相似文献   
5.
地图数据库中基本图形对象的拓扑关系及其编辑   总被引:1,自引:0,他引:1       下载免费PDF全文
地图数据库是地理信息系统(GIS)的核心。本文提出面向对象地图数据库的逻辑数据模型和数据结构,分析了地图的基本图形对象(结点和弧段)间的拓扑关系,围绕地图数据库的拓扑一致性,讨论了各种编辑操作的实现步骤。  相似文献   
6.
基于文[10]中的理论,我们用Turbo─prolog编程,在386微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理next幂次、归纳、归结、◇(x∧y)、until 等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。  相似文献   
7.
多Agent系统计算的意愿理论   总被引:1,自引:0,他引:1       下载免费PDF全文
意愿是规范和描述多Agent系统的一个重要抽象认知概念。本文提出了多Agent系统计算的意愿理论以支持多Agent系统计算的理论研究。基于多Agent系统计算的动作模型理论,我们给出了意愿概念新的语义定义,获取和描述了它的一些重要逻辑属性。  相似文献   
8.
本文将概要地介绍一下MPL符号装配语言中的宏指令产生器的特点和结构。宏指令产生器是这样的一种软设备,通过这种软设备,程序员可从已有的指令随意地定义任何新指令。宏指命产生器使得程序语言在很大程度上是可扩充的。MPL符号语言所配备的宏指令产生器是一个符号宏指令处理器,它完全从字符串的角度处理宏指令定义和宏指令引用。  相似文献   
9.
任务分配与调度中遗传算子的设计   总被引:7,自引:0,他引:7       下载免费PDF全文
应用遗传算法等进化方法进行任务分配与调度为越来越多的计算机学者们所关注。基于任务排列的知识表示 ,常规的标准遗传操作算子并不总是有效的。好的遗传算子对算法收敛性及收敛到好点是非常重要的。在列表编码的知识表示基础上 ,设计了三个有针对性的遗传算子 ,即改进的交配算子、内部交配算子和一种作为变异的迁移算子。模拟实验结果与分析表明这些算子对任务分配与调度是有效的。  相似文献   
10.
研究用模拟进化方法进行程序设计的途径。构造了以形式文法为遗传表示的程序进化器,提出了这个进化器使用的有关算法。本文用程序进化器解决了人工蚁问题。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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