Satellite Fault Diagnosis Using Support Vector Machines Based on a Hybrid Voting Mechanism

Algorithm 1

.

Input: fault diagnosis table .

Output: parameter sets,

(1) construct the discernibility matrix ;

(2) for each elements ) in , compute the disjunction logic expression: ;

(3) computer the conjunction for all , and get the CNF: ;

(4) change the CNF to DNF : ;

(5) every conjunction items in is a reduction.