首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9篇
  国内免费   3篇
  完全免费   5篇
  自动化技术   17篇
  2000年   4篇
  1999年   3篇
  1998年   2篇
  1997年   5篇
  1996年   3篇
排序方式: 共有17条查询结果,搜索用时 46 毫秒
1.
模糊数据库中近似相等的研究   总被引:12,自引:0,他引:12       下载免费PDF全文
近几年,国外对模糊数据库进行了研究,在能源决策及信息检索方面己有所应用。如日本和美国己把模糊数据库用于能源决策、医疗会诊等许多领域,显示了其重要的实用价值。在国内,许多学者也对一模糊数据库进行了有效的研究。  相似文献
2.
电子商务安全协议及其非单调动态逻辑验证   总被引:6,自引:1,他引:5       下载免费PDF全文
该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.  相似文献
3.
电子商务安全协议的逻辑验证   总被引:6,自引:0,他引:6       下载免费PDF全文
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.  相似文献
4.
几种不确定推理模型研究   总被引:3,自引:0,他引:3       下载免费PDF全文
在现实世界中,事物通常以不确定的形式存在,事物之间的关系也具有不确定性。另一方,人们从自然现象中总结出的规律或知识是经验的,或不确定的。因此,在推理判断和决策过中,均不可避免地涉及不确定的数据和知识的处理。现在,已建立了  相似文献
5.
历史数据库支持决策的研究   总被引:1,自引:0,他引:1  
文中建立了一种处理历史数据的方法,并研究了这种处理算子的一些性质,特别是讨论了预测结果与前兆的相容性,预测结果的可允许性。  相似文献
6.
基于GT数据模型的类SQL查询语言   总被引:1,自引:0,他引:1  
本文给出了一个时态数据库模型GT.为了实现时态数据库管理系统,除了数据模型之外,还需要有一个时态数据库的查询语言.GTSQL便是我们提出的一个时态查询语言.本文给出了GTSQL的主要语法.  相似文献
7.
在KDD和Data Mining 中我们的部分工作和看法   总被引:1,自引:0,他引:1  
本文介绍了什么是KDD和Data Mining,目前国 外在Data Mining中研究的一部分重要内容的概况以及几年来我们在KDD和Data Mining中的 部分工作和看法.  相似文献
8.
本文讨论了若干时态关系数据库实践中最基本的问题,特别是对一些悬而未决的基本问题,阐述了自己的观点,给出了一些方向性的建议,提出了一个时态关系数据库的基本框架。本文将对时态关系数据库的进一步研究提供了一个基点,对时态数据库基本框架的建立具有一定的帮助作用。  相似文献
9.
BIOS是固化在系统板上ROM中的基本系统软件,对系统的I/O设备提供底层控制。BIOS程序种类很多,AWARD BIOS程序是近年较流行的一种,它除了具有一般BIOS程序的功能外,还具有节能管理功能,较好的VL及PCI局部总线管理功能,已被许多486、586主机板选用,成为目前BIOS中的主流。AWARD BIOS程序中的参数与早期的BIOS有些不同,这些参数设置得正确与否,直接影响到微机的正常运行及最佳效率的发挥。本文结合使用AWARD BIOS设置程序的经验,介绍一些设置技巧,供广大微机使用者参考。 启动微机时按DEL键即可进入AWARD BIOS设置程序主菜单,屏幕显示如下图所示:ROM PCI/ISA BIOS(2A4X5001)CMOS SETUP UTILITYAWARD SOFTWARE,INC.  相似文献
10.
本文形式定义了一个通用时态数据模型,即时态实体-关系模型(TER模型)。在TER模型中,我们给出了类的一致性定义,特别是对关系类采用了有效的处理方法。此外,我们还建立了对应TER的代数系统。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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