元Prime swMATH ID: 12542 软件作者： O.Coudert，J.C.Madre 描述： MetaPrime：交互式故障树分析器。几乎所有可用的故障树分析工具的性能都受到其主要隐含计算过程性能的限制。所有这些程序都在扩展中操作故障树的素蕴涵，因此分析成本与生成的素蕴蕴涵的数量直接相关，这在实践中使得这些工具难以应用于具有20000个以上素蕴涵的故障树。本文介绍了一种相干和非相干故障树的分析方法，该方法克服了这一局限性，因为其计算成本与基本事件数、门数和这些树的素蕴涵数都无关。作者介绍了原型工具MetaPrime的基本概念，以及使用该工具在实际故障树上获得的实验结果。这些结果表明，这些概念在几秒钟内提供了对故障树的完整分析，而以前可用的技术甚至无法部分分析这些故障树，例如具有1020个以上素数隐含项的非相干故障树。这些概念还可以用于分析事件树，因为这些树表示可以应用这些概念的布尔函数。素蕴涵计算在许多其他领域也很关键，特别是在推理维护和多重故障诊断等专家系统应用中。MetaPrime基础概念在解决这些问题中的应用正在研究中。 主页： http://ieeexplore.iee.org/xpl/login.jsp？tp=&arnumber=285125 相关软件： 准备/套件;MOCUS公司;数据库网络;RAM指挥官FTA;故障树+;项目工具包;PTC Windchill FTA公司;开放式FTA;方块模拟人生;DFTCalc公司;DFTSim公司;Radyban公司;DIF树;模糊FTA;棱镜;伽利略 引用于： 4文件 3位作者引用 1 Joanne Bechta Dugan 1 埃诺·鲁伊特斯 1 玛丽·斯托琳加 2篇连载文章中引用 1 应用数学建模 1 计算机科学评论 在3个字段中引用 三 运筹学、数学规划（90-XX） 2 计算机科学（68至XX） 1 概率论与随机过程（60-XX） 按年份列出的引文