樊晓聪
- 作品数：14 被引量：105H指数：7
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于类层次图的分析面向对象程序的框架被引量：9
- 2000年
- 从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,建立了可见方法类层次图 ;并且通过计算方法的继承集、改写集以及对方法改写边界的确定 ,生成程序的虚函数调用图 。
- 李必信梁佳张勇翔樊晓聪郑国梁nju.edu.cn
- 关键词：面向对象程序设计
- 软件Agrnt理论及其方法学的研究
- 面向Agent的风范自提出以来一直受到广泛关注.各种类型的软件Agent大量用于信息处理、办公自动化、交通管理、私人电子助手等领域,特别是Interet信息网络的飞速发展,以及Internet本身固有的开放、复杂、异质、...
- 樊晓聪
- 关键词：AGENT理论AGENT技术软件工程
- 线性混合系统的一种验证方法被引量：2
- 1999年
- 混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统，因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机，然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验，该方法能够有效地验证线性混合系统．
- 侯建民李宣东樊晓聪郑国梁
- 关键词：混合自动机
- 一个基于信息网络的软件Agent系统的设计被引量：2
- 2001年
- 本文介绍了一个基于信息网络的软件Agent系统(SAFIN)的设计。SAFIN系统以Internet/Intranet为背景,将面向Agent程序设计、Agent通信语言KQML和移动Agent的某些技术集成起来,旨在建立一个实用的Agent框架,方便信息网络中软件Agent系统的构造。
- 樊晓聪徐殿祥郑国梁
- 关键词：KQML信息网络INTERNET人工智能
- 面向Agent软件工程(Ⅱ):规范、实现与验证被引量：9
- 1998年
- AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描述性编程风范。在AOP中,我们只需给出一个非常抽象的系统规范,系统在确保其行为与内置的a罗nt理论(如,著名的Cohen一Leve,que意念模型)一致的情况下,由系统的控制机制确定应当怎么做。既然AOP具有很好的发展前景[s1,为使AOP走向实用化,我们必须处理一些软件工程上的问题[’J,即,如何规范、实现和验证面向agent的系统口一般采用非经典逻辑来描述智能agent和多a-gent系统.但是,如何从用逻辑语言描述的规范合理地导出能满足这些规范的实现,是困扰agent理论研究和实际系统实现两大阵营的重要问题,也许主要症结在于:这些逻辑系统通常用抽象、非基本的可能世界语义来刻画agent的信念等心智状态。可能世界语义虽然具有优美的数学性质和对应理论,但可能世界与agent的内部状态之间究竟有什么关系,至今仍不大明朗,因而导致了逻辑系统与实际建立的agent系统之间的关系也模糊不清,而AOP范型的实用化必须首先解决这个问题。 Wooldridge形式定义了一种基于分支时间的表示逻辑Lts],
- 樊晓聪徐殿祥侯建民陈冠岭郑国梁
- 关键词：软件工程AGENT人工智能AOP
- 软件Agent的分析与建模方法被引量：14
- 2000年
- 为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析方法ARC ,阐明了在设计Agent软件系统时采用对象级构件。
- 樊晓聪徐殿祥侯建民郑国梁
- 关键词：软件AGENT可靠性可维护性AGENT系统
- Agent的通信语言——KQML被引量：34
- 1998年
- KQML(Knowledge Query and ManipulationLanguag。)是一种用于交换信息和知识的语言和协议,为表达消息和处理消息提供了标准的格式,用于支持agent之间的实时知识共享。KQML可以用于应用程序和智能系统之间的交互。
- 陈冠岭樊晓聪徐殿祥郑国梁
- 关键词：人工智能AGENT通信语言智能系统KQML
- 软件Agent的继承性研究被引量：6
- 1999年
- Agent作为一种受限的智能对象，对Agent的继承权性进行深入研究并将继承机制嵌入到AOP（agent－orientedprogramming）中则具有重要意义．文章基于BDIAgent模型，对软件Agent的继承性和复制行为进行了研究。从单继承和多继承两个方面给成了Agent继承的语义，将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类，分析了每类分割方式的作用，并基于电子市场系统应用背景给出了相应的实例．
- 樊晓聪徐殿祥侯建民郑国梁
- 关键词：人工智能继承性BDI模型
- 线性混成系统的参数分析
- 1999年
- 针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知参数，并能保证系统按照规约的要求正确运行．
- 侯建民郑滔樊晓聪李宣东郑国梁
- 关键词：实时系统
- 面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计被引量：15
- 1998年
- Agent技术源于人工智能,现已融入主流计算机的各个领域。
- 樊晓聪徐殿祥侯建民陈冠岭郑国梁
- 关键词：软件工程人工智能AGENT
