您的位置: 专家智库 > >

招兆铿

作品数:7 被引量:1H指数:1
供职机构:复旦大学信息科学与工程学院计算机科学系更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇会议论文
  • 2篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 3篇数据库
  • 3篇专家系统
  • 2篇人工智能
  • 1篇智能决策支持
  • 1篇智能决策支持...
  • 1篇柔性制造系统
  • 1篇软件开发
  • 1篇软件系统
  • 1篇时态逻辑
  • 1篇图形文档
  • 1篇片段
  • 1篇自动化
  • 1篇自动化系
  • 1篇自动化系统
  • 1篇文档
  • 1篇逻辑系统
  • 1篇接口
  • 1篇接口设备
  • 1篇决策支持
  • 1篇决策支持系统

机构

  • 7篇复旦大学

作者

  • 7篇招兆铿
  • 1篇彭铭
  • 1篇罗锋
  • 1篇戴军
  • 1篇戴军
  • 1篇陈莹
  • 1篇朱琦

传媒

  • 2篇全国第六届微...
  • 1篇计算机与数字...
  • 1篇计算机科学
  • 1篇全国人工智能...
  • 1篇中国兵工学会...
  • 1篇中国第三届知...

年份

  • 2篇1994
  • 1篇1991
  • 1篇1990
  • 3篇1988
7 条 记 录,以下是 1-7
排序方式:
时态演绎数据库——模型与查询语言被引量:1
1994年
时态演绎数据库是引入有效时间、事务时间概念的演绎数据库,能比较真实地反映现实世界的现象和发展状况,因此能满足现在的许多应用,如规划、决策支持系统、医疗信息系统等,因为这些应用不仅需要当前的数据。
彭铭戴军招兆铿
关键词:查询语言
OO软件系统的概念图模型
1994年
概念图是一种较接近自然语言的图形描述方法,本文通过对概念图方法和OO方法在软件开发中应用的介绍,以及两者对于同一实例的描述比较,显出概念图在描述系统用户需求中优于其他方法的特性。
陈莹招兆铿
关键词:图形文档概念图OO方法软件开发
LIDBSE:一个数据库支持下的专家系统产生器
试图描绘一种建立在关系数据库之上的,以SQL语言(一种关系数据库操作语言)来实现内部表示的知识表示的方法以及知识的维护和智能化的推理。在LIDBSE系统中,知识库和推理机是互相独立的两大部分。在推理机方面有四种推理机制:...
罗锋虞俊建招兆铿
关键词:数据库专家系统
SEN:一个产品故障诊断系统
屠霖朱琦招兆铿
关键词:故障诊断系统人工智能接口设备自动化系统柔性制造系统
LIDBSE的推理机制
DBSE作为一个专家系统与关系性数据库相结合的产物,其优点在于既能供专家建立各种使用方便的人机交互咨询诊断专家系统,又提供了使用常规SQL语言进行知识库的智能检索能力。该文着重介绍该系统的推理机制实现方法。其中包括知识表...
虞俊民招兆铿
关键词:数据库专家系统
一种基于片段的时态逻辑及其应用
辑形式来表示时态信息的方法之一是用被称之为具体化的(reified)命 题来表示,该文将讨论几种用此方法表示时态信息的逻辑形式,在此基础上提出一种基于片段的时态逻辑系统,并介绍在此逻辑基础上提出的T-归结——一种时态推理...
陈文丹招兆铿
关键词:逻辑系统人工智能时态逻辑
智能决策支持系统生成环境
介绍一个智能决策支持系统生成环境(IDSSET-1)的设计与实现。该系统是决策支持系统(DSS)和专家系统(ES)的集成环境,不依赖于某个特定领域的问题,具有与领域无关的知识表示方法,还有丰富的模型库和方法库。系统既有D...
戴军招兆铿
关键词:决策支持系统专家系统数据库
共1页<1>
聚类工具0