樊晓聪

作品数：12被引量：47H指数：4
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：人工智能AGENT软件工程软件AGENTKQML更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》《南京大学学报（自然科学版）》《计算机应用与软件》《计算机科学》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个基于信息网络的软件Agent系统的设计被引量：1
《计算机应用与软件》2001年第7期49-53,共5页樊晓聪 徐殿祥 郑国梁 
国家863高技术研究和开发基金资助(编号:863-02-2T02-01-4)
本文介绍了一个基于信息网络的软件Agent系统(SAFIN)的设计。SAFIN系统以Internet/Intranet为背景,将面向Agent程序设计、Agent通信语言KQML和移动Agent的某些技术集成起来,旨在建立一个实用的Agent框架,方便信息网络中软件Agent系统的...
关键词：KQML 信息网络 软件Agent系统 INTERNET 人工智能 
一种基于类层次图的分析面向对象程序的框架被引量：2
《软件学报》2000年第5期694-700,共7页李必信 梁佳 张勇翔 樊晓聪 郑国梁 nju.edu.cn 
江苏省应用基础基金!(No.BJ97036)资助
从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,...
关键词：类层次图 面向对象 程序设计 虚函数调用图 OOAF 
软件Agent的分析与建模方法被引量：5
《南京大学学报（自然科学版）》2000年第2期155-162,共8页樊晓聪 徐殿祥 侯建民 郑国梁 
国家 8 6 3高科技基金!(No :86 3 30 6 0 2 0 6 4)资助项目
为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析...
关键词：软件AGENT 可靠性 可维护性 建模 AGENT系统 
软件Agent的继承性研究被引量：3
《软件学报》1999年第11期1132-1137,共6页樊晓聪 徐殿祥 侯建民 郑国梁 
国家自然科学基金;国家863高科技项目
Agent作为一种受限的智能对象，对Agent的继承权性进行深入研究并将继承机制嵌入到AOP（agent－orientedprogramming）中则具有重要意义．文章基于BDIAgent模型，对软件Agent的继承性和复制行为进行了研究。从单继承和多继承两个方面给...
关键词：软件 人工智能 继承性 BDI模型 
线性混成系统的参数分析
《计算机学报》1999年第6期639-644,共6页侯建民 郑滔 樊晓聪 李宣东 郑国梁 
国家自然科学基金;国家八六三高技术研究发展计划
针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知...
关键词：线性混成系统 计算过程 参数分析 实时系统 
线性混合系统的一种验证方法
《南京大学学报（自然科学版）》1999年第1期58-65,共8页侯建民 李宣东 樊晓聪 郑国梁 
国家‘863’高科技项目基金
混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系...
关键词：混合系统 混合自动机 模型检验 线性混合系统 
Agent规范与编程语言SPLAW的语法和语义被引量：4
《计算机学报》1998年第8期682-693,共12页樊晓聪 徐殿祥 候建民 郑国梁 
国家863高科技基金;国家自然科学基金
本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行...
关键词：AOP Agent规范 SPLAW语言 编程语言 
Agent的通信语言——KQML被引量：16
《计算机科学》1998年第6期35-39,18,共6页陈冠岭 樊晓聪 徐殿祥 郑国梁 
KQML(Knowledge Query and ManipulationLanguag。)是一种用于交换信息和知识的语言和协议,为表达消息和处理消息提供了标准的格式,用于支持agent之间的实时知识共享。KQML可以用于应用程序和智能系统之间的交互。
关键词：人工智能 AGENT 通信语言 智能系统 KQML 
面向Agent软件工程(Ⅱ):规范、实现与验证被引量：3
《计算机科学》1998年第4期1-7,共7页樊晓聪 徐殿祥 侯建民 陈冠岭 郑国梁 
AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描...
关键词：软件工程 AGENT 人工智能 AOP 
面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计被引量：10
《计算机科学》1998年第3期1-7,共7页樊晓聪 徐殿祥 侯建民 陈冠岭 郑国梁 
Agent技术源于人工智能,现已融入主流计算机的各个领域。
关键词：软件工程 人工智能 AGENT 计算 编程风范 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部