共 50 条
- [2] A Novel Method of Model-based Diagnosis by Propagating Failure Value [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (11): : 263 - 267
- [3] A Novel Encoding for Model-Based Diagnosis [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2023, 60 (01): : 95 - 102
- [5] Parallelized Hitting Set Computation for Model-Based Diagnosis [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1503 - 1510
- [6] Efficient Model-Based Diagnosis of Sequential Circuits [J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2814 - 2821
- [7] A Generalized Model-based Test Generation Method [J]. SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 139 - +
- [8] RESIDUAL GENERATION IN MODEL-BASED FAULT-DIAGNOSIS [J]. CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1993, 9 (01): : 259 - 285
- [9] Model-based diagnosis with improved implicit hitting set dualization [J]. Applied Intelligence, 2022, 52 : 2111 - 2118
- [10] Method for the automated model-based machine diagnosis [J]. 2012, VDI Fachmedien GmBH & Co. KG (102):