一种高效的并行定性仿真方法TPQSIM.pdfVIP

计算机学报000503 计算机学报 CHINESE JOURNAL OF COMPUTERS 2000　Vol.23　No.5　P.459-469 一种高效的并行定性仿真方法TPQSIM 涂永忠　白方周　方瑾　陈忠保　邵晨曦 摘　要　对定性仿真中流行的QSIM算法进行了较为详细的剖析，介绍了QSIM算法内核函 数的动态特性和数据流关系，在此基础上提出了并行QSIM算法TPQSIM，并在曙光1000并 行机上通过实验对该算法进行了评估.试验结果表明TPQSIM算法在效率和通用性等方面均 明显超过了国外同类研究成果. 关键词　定性仿真，并行计算，约束满足问题，QSIM算法 中图法分类号：　TP301 China, Hefei 230027) algorithm 1　引　言 　　定性仿真是门方兴未艾的交叉学科，其中美国Texas大学的Kuipers的QSIM算法由于其 ［1—