求解大型实对称特征值问题的块Davidson—Lanczos方法

文[1、4]和[2、3]分别研究了求解实对称特征值问题的Davidson方法和Davidson Lanczos(简称DL)方法。本文推广了DL方法,给出并研究了块DL方法。     

基于服务簇的服务组合替换与分析

提出了一种基于服务簇的服务替换方法。将服务库中服务聚类形成服务簇,并建立相应的服务簇网元及其矩阵模型。假设基于服务簇的服务组合已建立,通过分析服务组合流程,构建了组合服务网模型。根据失效服务网元标准矩阵和组合服务网模型,提出了一种替换服务的快速查找与替换算法。实验结果例证了本文方法的正确性和有效性,并表明基于失效服务网元标准矩阵实施服务替换,可提高服务的替换效率,保持服务组合模型的健壮性。     

求解大型对称特征值问题的块DL—Chebyshev方法

文[3]提出了求解大型对称矩阵特征值问题的DL(Davidson—Lanczos)方法。文[1]种[2]对[3]作了改进,分别提出了块DL方法和DL-Chebyshev方法。但当要求的特征值密集而不要求的特征值分离较好时,DL—Chebyshev方法的有效性和可靠性会下降。块DL方法虽克服了上述缺点,但计算量较大,收敛速度仍不理想。为此,本文提出并研究了块DL—Chebyshev方法。     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

一种求解大型稀疏对称矩阵(极端)特征值问题的有效算法

提出一种求解大型稀疏对称矩阵几个最大(最小)特征值和相应特征向量的迭代块DL(即Davidson-Lanczos)算法并且讨论了迭代块DL算法的收敛率