%0 Journal Article %T 基于有向图故障树自动建树方法的规范化描述及其应用研究 %A 温熙森 %A 邱静 %A 钱彦岭 %J - %D 2003 %K 故障树自动建树 %K 多值逻辑 %K 约束满足问题 %U http://www.aas.net.cn:80/article/id/13885