摘要
分析了测试性建模的现有方法及在工程应用中存在的不足.在信号流图方法的基础上,提出了一种测试性建模的改进方法.该方法支持单元的多故障模式设置,能够区分全局故障和局部故障,并允许设置全局故障沿单元特定信号流方向传递.给出了测试性模型的图形定义、隐含属性定义、相关性矩阵定义和相应的测试性分析推理方法.在此基础上,提出了基于高阶相关性分析的相关性矩阵生成改进算法.以某惯导系统为例进行了应用,建立了测试性图形模型并生成改进的相关性矩阵,与现有方法建立的相关性矩阵进行对比,结果验证了测试性建模改进方法的可行性和有效性.
The existing methods for testability modeling were analyzed,and their shortcomings in project application were given.An improvement method for testability modeling was proposed,based on the signal flow graph method.It supports to set multiple faults for units,and can distinguish between global fault and local fault,while the global fault can be set to propagate along special signal flow of units.The graph definition,the hide attributions definition,the dependency matrix definition of the testability model and the corresponding testability inference method were provided.An improvement algorithm to generate the dependency matrix was presented,based on the high order dependency analysis.An inertial navigation system was taken as an example for modeling.The system testability graph model was built.The improving dependency matrix was generated,and compared with the dependence matrix built with the exiting method.The result shows the feasibility and validity of the improvement method for testability modeling.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2010年第3期270-273,298,共5页
Journal of Beijing University of Aeronautics and Astronautics
关键词
建模
故障检测
算法
信号流图
相关性矩阵
model buildings
fault detection
algorithms
signal flow graph
dependency matrix
