侯建民

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

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时系统软件开发过程中形式方法的作用被引量：2
《计算机应用与软件》2002年第4期23-26,37,共5页侯建民 李宣东 郑国梁 
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形...
关键词：实时系统 形式方法 形式规约 定理证明 形式验证 软件开发过程 
软件Agent的继承性研究被引量：3
《软件学报》1999年第11期1132-1137,共6页樊晓聪 徐殿祥 侯建民 郑国梁 
国家自然科学基金;国家863高科技项目
Agent作为一种受限的智能对象，对Agent的继承权性进行深入研究并将继承机制嵌入到AOP（agent－orientedprogramming）中则具有重要意义．文章基于BDIAgent模型，对软件Agent的继承性和复制行为进行了研究。从单继承和多继承两个方面给...
关键词：软件 人工智能 继承性 BDI模型 
线性混成系统的参数分析
《计算机学报》1999年第6期639-644,共6页侯建民 郑滔 樊晓聪 李宣东 郑国梁 
国家自然科学基金;国家八六三高技术研究发展计划
针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知...
关键词：线性混成系统 计算过程 参数分析 实时系统 
面向Agent软件工程(Ⅱ):规范、实现与验证被引量：3
《计算机科学》1998年第4期1-7,共7页樊晓聪 徐殿祥 侯建民 陈冠岭 郑国梁 
AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描...
关键词：软件工程 AGENT 人工智能 AOP 
离散时段演算的符号模型验证被引量：1
《计算机学报》1998年第2期103-110,共8页侯建民 李宣东 郑国梁 
国家自然科学基金
模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模...
关键词：离散时段演算 模型验证 符号模型 实时系统 
混合系统的分析被引量：1
《计算机科学》1998年第2期17-20,共4页侯建民 李宣东 樊晓聪 郑国梁 
在人们日常生活中,混合系统(Hybrid Sstem)应用的实例很多,如汽车中的计算机控制系统、飞机中的平稳飞行痤制系统等都属于混合系统的范畴,并且随着计算机技术的发展,混合系统的应用范围会更加广泛,入们的生活会更加依赖于混合系统,固此...
关键词：混合系统 数字系统 系统分析 
概率实时系统的确认
《软件学报》1997年第A00期327-332,共6页侯建民 郑国梁 
实时系统在运行过程中不可避免地会出现的部件故障的现象，此时它不可能完全满足系统的规约，因此实时系统中应充分考虑可靠性问题，本文以离散时段演算作为实时系统的逻辑，采用概率时间自动来描述实时系统的状态转换，通过构造向图的...
关键词：实时系统 吸向图 概率实时系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部