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

被引：13

作者：

涂永忠

白方周

方瑾

陈忠保

邵晨曦

机构：

[1] 中国科学技术大学计算机科学与技术系!合肥,中国科学技术大学计算机科学与技术系!合肥,中国科学技术大学计算机科学与技术系!合肥,中国科学技术大学计算机科学与技术系!合肥,中国科学技术大学计算机科学与技术系!合肥

来源：

关键词：

定性仿真; 并行计算; 约束满足问题; QSIM算法;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：459 / 469

页数：11