Computation of Hitting Sets with Intersection Search Strategy in Model-based Diagnosis
Yaxiong Zhu · 2015
In the diagnosis process of fault diagnosis simulation system based on model, the computation of minimal hitting sets by the minimal conflict sets is a critical step in the entire process.In consideration of the defects of computing the minimal hitting sets with logic array process in term of time and space, the way of intersection search strategy which computes the minimal hitting sets in combination with backtracking is proposed while a frequency sorting is adopted to search the intersection and other ways to improve the operational efficiency and obtain the final minimal hitting sets.An example is given to prove that the algorithm can improve the diagnostic efficiency in terms of time and space with optimization to a certain extent.