基于布尔方程的系统级故障诊断表示及应用
随着网络与多机系统应用的日益普及,系统的可信性研究已日益成为计算机技术的一个重要领域.对系统级故障诊断的测试模型,首次建立起”布尔方程诊断”的有关概念,并验证了方程的正确性;把各种测试模型等价地转化为一个个布尔方程,可较先前图论方法的表示更加简洁明了.并在此基础上,推出求最优诊断,全体相容故障模式,绝对好机,绝对坏机等相关算法,以及各种测试模型间相容故障集,t可诊断性内在关系等相关性质.对系统级故障诊断在理论与对实践的指导上均做出了有益的尝试.
系统级故障诊断 测试模型 布尔方程 相容故障模式 网络测试
刘兵 张大方 宣恒农
湖南大学计算机与通信学院(长沙) 五邑大学计算机科学系(广东江门)
国内会议
上海
中文
411-416
2002-10-01（万方平台首次上网日期，不代表论文的发表时间）