您的位置: 专家智库 > >

徐殿祥

作品数:26 被引量:149H指数:8
供职机构:南京大学计算机科学与技术系更多>>
发文基金:国家高技术研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术天文地球经济管理更多>>

文献类型

  • 23篇期刊文章
  • 2篇学位论文
  • 1篇科技成果

领域

  • 24篇自动化与计算...
  • 1篇经济管理
  • 1篇天文地球

主题

  • 8篇人工智能
  • 6篇程序设计
  • 4篇逻辑程序
  • 4篇逻辑程序设计
  • 4篇AGENT
  • 3篇智能决策支持
  • 3篇智能决策支持...
  • 3篇软件AGEN...
  • 3篇软件工程
  • 3篇逻辑语言
  • 3篇面向对象
  • 3篇决策支持
  • 3篇决策支持系统
  • 2篇形式化
  • 2篇形式化描述
  • 2篇通信
  • 2篇通信协议
  • 2篇能源
  • 2篇专家系统
  • 2篇面向AGEN...

机构

  • 25篇南京大学
  • 1篇江苏省经济信...

作者

  • 26篇徐殿祥
  • 14篇郑国梁
  • 8篇樊晓聪
  • 6篇陈世福
  • 4篇潘金贵
  • 3篇陈冠岭
  • 2篇侯建民
  • 2篇袁晓东
  • 2篇陈兆乾
  • 1篇费祥林
  • 1篇李新
  • 1篇许瑞林
  • 1篇陶先平
  • 1篇徐锋
  • 1篇陆庆文
  • 1篇吕建
  • 1篇朱鸿
  • 1篇樊莉萍
  • 1篇胡昊

传媒

  • 5篇计算机研究与...
  • 4篇计算机学报
  • 4篇软件学报
  • 3篇计算机科学
  • 1篇能源研究与利...
  • 1篇南京大学学报...
  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇软件
  • 1篇电子与自动化...
  • 1篇国际学术动态

年份

  • 1篇2001
  • 2篇2000
  • 1篇1999
  • 7篇1998
  • 3篇1997
  • 2篇1996
  • 2篇1995
  • 1篇1994
  • 1篇1993
  • 5篇1992
  • 1篇1991
26 条 记 录,以下是 1-10
排序方式:
软件Agent的分析与建模方法被引量:14
2000年
为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析方法ARC ,阐明了在设计Agent软件系统时采用对象级构件。
樊晓聪徐殿祥侯建民郑国梁
关键词:软件AGENT可靠性可维护性AGENT系统
Agent的通信语言——KQML被引量:34
1998年
KQML(Knowledge Query and ManipulationLanguag。)是一种用于交换信息和知识的语言和协议,为表达消息和处理消息提供了标准的格式,用于支持agent之间的实时知识共享。KQML可以用于应用程序和智能系统之间的交互。
陈冠岭樊晓聪徐殿祥郑国梁
关键词:人工智能AGENT通信语言智能系统KQML
面向对象逻辑语言LKO的类型系统被引量:1
1998年
文中主要介绍面向对象逻辑语言LKO中基于声明和推理的有序类型系统.在谓词声明中,类型由有序的构子构造而成.子句中变量类型由类型推理决定.对象类型由方法声明决定,独立于继承,便于代码复用.它可作为基类型参与项类型构造.
徐殿祥郑国梁
关键词:面向对象程序设计逻辑语言
基于Internet的移动 Agent系统 Mogent
陶先平吕建费祥林徐殿祥胡昊徐锋李新
该程序设计提供了一种灵活的模式,可在通信功效、网络容错、间断计算等方面提高网络应用的质量。电子商务在未来的经济活动中将占据主导地位。具有不言而喻的良好市场前景。
关键词:
关键词:基于INTERNET移动AGENT系统
面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计被引量:15
1998年
Agent技术源于人工智能,现已融入主流计算机的各个领域。
樊晓聪徐殿祥侯建民陈冠岭郑国梁
关键词:软件工程人工智能AGENT
面向对象逻辑程序设计的研究
徐殿祥
江苏省能源智能决策支持系统(JSEIDSS)
1993年
一、引言决策支持系统(Decision Support System:DSS)和人工智能(Artificial Intelligence:AI)70年代初几乎是沿着独立的路径并行发展的,80年代后AI技术的蓬勃发展为DSS注入了新的血液,将AI技术用于管理决策势在必然。 DSS和AI的结合可以提高DSS的质量和效率。智能决策支持系统是DSS和AI发展的必然结果。 IDSS系统自80年代以来不断地涌现,逐渐走向成熟。目前国外已将它应用于制造。
许瑞林徐殿祥
关键词:能源管理决策支持系统人工智能
全文增补中
对象式逻辑程序设计被引量:9
1996年
本文首先对逻辑程序设计与对象式程序设计进行一些比较,然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。
徐殿祥郑国梁
关键词:逻辑程序设计程序设计
类型化面向对象逻辑语言LKO的元级解释
1997年
本文介绍类型化面向对象逻辑语言LKO的元级解释技术,主要包括对象约束、状态、方法的继承算法,以及子句解释、类型推理和检查的多种合一算法.
徐殿祥郑国梁
关键词:面向对象程序设计逻辑语言
NCFW系统的设计与实现被引量:1
1991年
NCFW是用于花岗岩及变质岩中勘探新构造裂隙水资源的专家系统。本文对NCFW的结构和特点作了概要论述。主要讨论了知识表示、推理机构、知识获取和人机接口。并阐述了用中西文Turbo Prolog 语言编程实现系统的主要技巧。
陈兆乾潘金贵陈世福徐殿祥
关键词:专家系统水资源勘探
共3页<123>
聚类工具0