侯建民
- 作品数：7 被引量：23H指数：3
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件Agent的继承性研究被引量：6
- 1999年
- Agent作为一种受限的智能对象，对Agent的继承权性进行深入研究并将继承机制嵌入到AOP（agent－orientedprogramming）中则具有重要意义．文章基于BDIAgent模型，对软件Agent的继承性和复制行为进行了研究。从单继承和多继承两个方面给成了Agent继承的语义，将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类，分析了每类分割方式的作用，并基于电子市场系统应用背景给出了相应的实例．
- 樊晓聪徐殿祥侯建民郑国梁
- 关键词：人工智能继承性BDI模型
- 离散时段演算的符号模型验证被引量：1
- 1998年
- 模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模型验证问题进行了细致的分析，并提出了一种具有实际应用价值的方法──商技术．该方法可以避免当多个时间自动机并行组合时可能产生的状态空间组合爆炸问题，同时还可以简化整个模型验证问题．
- 侯建民李宣东郑国梁
- 关键词：实时系统
- 混合系统的分析被引量：1
- 1998年
- 在人们日常生活中,混合系统(Hybrid Sstem)应用的实例很多,如汽车中的计算机控制系统、飞机中的平稳飞行痤制系统等都属于混合系统的范畴,并且随着计算机技术的发展,混合系统的应用范围会更加广泛,入们的生活会更加依赖于混合系统,固此社会应用的需求要求研究人员对混合系统进行比较深入的研究,保证混合系统运行的正确性。
- 侯建民李宣东樊晓聪郑国梁
- 关键词：数字系统
- 概率实时系统的确认
- 1997年
- 实时系统在运行过程中不可避免地会出现的部件故障的现象，此时它不可能完全满足系统的规约，因此实时系统中应充分考虑可靠性问题，本文以离散时段演算作为实时系统的逻辑，采用概率时间自动来描述实时系统的状态转换，通过构造向图的方法确认系统的正确性。
- 侯建民郑国梁
- 关键词：实时系统
- 面向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
- 实时系统软件开发过程中形式方法的作用被引量：6
- 2002年
- 针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。
- 侯建民李宣东郑国梁
- 关键词：实时系统形式规约定理证明软件开发过程
- 线性混成系统的参数分析
- 1999年
- 针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知参数，并能保证系统按照规约的要求正确运行．
- 侯建民郑滔樊晓聪李宣东郑国梁
- 关键词：实时系统
