论文部分内容阅读
系统级故障诊断通过系统内各处理机相互测试,然后对所有结果进行逻辑分析从而找出系统中的故障处理机。随着网络和多机系统的不断发展,作为提高系统可靠性重要手段的系统级故障诊断的研究、仿真和实现日趋显得重要。本人在张大方教授等人提出的基于集团的系统级故障诊断的理论基础上,重新构建了系统级故障诊断的理论基础,定义了系统级故障诊断测试模型的三值表示;改进了系统级故障诊断的矩阵方法,重新定义了测试矩阵、邻接矩阵、结点对、结点对的相连运算、极大准集团和斜加矩阵,由此能直观、简便地生成集团和极大独立点集;补充和完善了各类测试模型的系统级故障诊断的集团算法,通过定义集团测试边和绝对故障集,简化了集团诊断图,由此能较易地找到所有的相容故障模式,即使不满足t-可诊断性,大大减少了系统级故障诊断的复杂度,尤其是对强t-可诊断系统;首次分析探讨了各类测试模型的方程解决,由此从另一角度能系统地、高效率地求出所有的相容故障模式(CFP):扩充了系统级故障诊断仿真系统的功能,快速、直观和随机地模拟实验运行环境,进行清晰和正确的诊断,同时提供大量的实验数据用于理论研究,优化算法和设计。最后探讨了系统级故障诊断的应用热点和发展趋势,讨论了传统网络管理的缺陷性和基于CORBA规范和系统级故障诊断算法的多网管系统的体系结构及优越性,为系统级故障诊断的更深一步研究作好准备。