By Topic

A Method of Combining HSSE-tree and Binary Label to Compute All Minimal Hitting Sets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Wenquan Feng ; Sch. of Electron. & Inf. Eng., Beihang Univ., Beijing, China ; Min Du ; Qi Zhao ; Dong Wang

Computing all minimal hitting sets (MHSs) is a key step of model-based diagnosis. A novel method to compute all MHSs called Binary-label HSSE is put forward, which combines HSSE-tree and binary label. In the method, binary digits is used to mark the real elements of the nodes, and effective pruning and expanding strategies are used to avoid the main problem of HSSE-tree, the explosive growth of the expanded nodes and supersets of MHSs along with the dimension of the problems. Additionally, computing between binary digits can avoid the traverse of every element in a node when judging whether the node is a MHS, which also contributes to the significant decrease of the run time. At last, the data structure of Binary-label HSSE is changed to dynamic array from dynamic linked list, which further decreases the run time of the method. Simulation results show that Binary-label HSSE method costs much less space and time than HSSE-tree method.

Published in:

Computational Intelligence and Design (ISCID), 2011 Fourth International Symposium on  (Volume:2 )

Date of Conference:

28-30 Oct. 2011