Hayden S,Sweet A,Shulman S.Lessons learned in the livingstone 2 on earth observing one flight experiment [C]//Proc AIAA 1st Intelligent Systems Tech Conf.Arlington,Virginia:Infotech@Aerospace,2005:1-15
[2]
Narasimhan S,Brownston L.HyDE-a general framework for stochastic and hybrid model-based diagnosis [C]//Proc of the 18th Int Workshop on Principles of Diagnosis.Nashville:TN,2007:162-169
[3]
Hamscher W C.Modeling digital circuits for troubleshooting[J].ArtificialIntelligence,1991,51(13):223-272
[4]
赵相福.基于模型诊断中的关键算法研究 [D].长春:吉林大学计算机科学与技术学院,2006 Zhao Xiangfu.Research on key algorithms in model-based diagnosis [D].Changchun:College of Computer Science and Technology,Jilin University,2006(in Chinese)
[5]
Reiter R.A theory of diagnosis from first principles[J].Artificial Intelligence,1987,32(1):57-96
[6]
Franz Wotawa.A variant of Reiter-s hitting-set algorithm[J].Information Processing Letters,2001,79(1):45-51
[7]
姜云飞,林笠.用布尔代数方法计算最小碰集[J].计算机学报,2003,26(8):919-924 Jiang Yunfei,Lin Li.The computation of hitting sets with boolean formulas[J].Chinese Journal of Computers,2003,26(8):919-924(in Chinese)
[8]
Rymon R.Search through systematic set enumeration [C]//Proceedings of the 3rd International Conference on Principles ofKnowledge Representation and Reasoning.Cambridge,MA:Morgan Kaufmann,1992,539-550
[9]
陈晓梅,孟晓风,乔仁晓.基于BNB-HSSE计算全体碰集的方法[J].仪器仪表学报,2010,31(1):61-67 Chen Xiaomei,Meng Xiaofeng,Qiao Renxiao.Method of computing all minimal hitting set based on BNB-HSSE[J].Chinese Journal of Science Instrument,2010,31(1):61-67(in Chinese)
