会议论文《一种故障树向BDD的转化方法》提出了一种将故障树模型转换为二进制决策图（BDD）的有效方法。该方法通过逻辑表达式转换和化简，提高了系统可靠性分析的效率。研究在2009年全国理论计算机科学学术年会上发表，对故障树分析与BDD技术的结合提供了理论支持和应用前景。
文档为pdf格式，0.27MB，总共4页。
举报
