线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

软件Agent的分析与建模方法

为保证Ａｇｅｎｔ软件系统的质量,提高系统的可靠性、正确性、可维护性和可扩展性,需要为Ａｇｅｎｔ软件系统提供设计方法学的支持。以处于分布、开放环境的信息Ａｇｅｎｔ为研究对象,以同一应用域分析结果的复用为前提,提出了一种面向Ａｇｅｎｔ的分析方法ＡＲＣ,阐明了在设计Ａｇｅｎｔ软件系统时采用对象级构件、主动对象和Ａｇｅｎｔ三级模型的思想。