W.J.诺滕贝尔。;哈里森，P.G。;医学硕士梅斯特恩。;P.S.Kritzinger。 用于分布式生成超大状态空间的概率动态技术。 （英语） Zbl 1052.68556号 执行。评估。 39，编号1-4127-148（2000）. 概述：传统的状态空间探索方法仅限于分析小型系统，因为它们存在过多的内存和计算需求。我们开发了一种新的动态概率状态探索算法，用于解决一般的、结构上不受限制的状态空间的这个问题。我们的方法具有不依赖于状态向量长度的低状态遗漏概率和低内存使用率。此外，该算法可以很容易地并行化。这种概率和并行性的结合使我们能够快速探索比使用传统穷举技术获得的状态空间大一个数量级的状态空间。我们推导了这种新算法的性能模型，以量化其在分布式运行时间、加速和效率方面的优势。我们在分布式内存并行计算机上实现了我们的技术，并展示了与性能模型相比较有利的结果。最后，我们讨论了算法所基于的三个散列函数的合适选择。 引用于4文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：性能模型;分布式内存并行计算机 软件：PVM公司;磁粉探伤 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Knottenbelt}等人，《执行评估》。39，编号1--4，127-148（2000；Zbl 1052.68556） 全文： 内政部