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

摘要：

对定性仿真中流行的QSIM算法进行了较为详细的剖析,介绍了QSIM算法内核函数的动态特性和数据流关系,在此基础上提出了并行QSIM算法TPQSIM,并在曙光1000并行机上通过实验对该算法进行了评估.试验结果表明TPQSIM算法在效率和通用性等方面均明显超过了国外同类研究成果.

关键词：定性仿真、并行计算、约束满足问题、QSIM算法

所属期刊栏目：23

分类号：TP301(计算技术、计算机技术)

资助基金：中国科学院资助项目69974038

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：459-469