{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:29:30Z","timestamp":1773930570896,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T00:00:00Z","timestamp":1529452800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672261"],"award-info":[{"award-number":["61672261"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61502199"],"award-info":[{"award-number":["61502199"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61402196"],"award-info":[{"award-number":["61402196"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61373052"],"award-info":[{"award-number":["61373052"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s10489-018-1214-2","type":"journal-article","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T03:42:23Z","timestamp":1529466143000},"page":"4371-4381","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A novel approach for improving quality of health state with difference degree in circuit diagnosis"],"prefix":"10.1007","volume":"48","author":[{"given":"Meng","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liming","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,20]]},"reference":[{"key":"1214_CR1","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.artint.2017.03.002","volume":"248","author":"R Stern","year":"2017","unstructured":"Stern R, Kalech M, Rogov S et al (2017) How many diagnoses do we need? Artif Intell 248:26\u201345","journal-title":"Artif Intell"},{"key":"1214_CR2","unstructured":"Console L, Dressler O (1999) Model-based diagnosis in the real world: lessons learned and challenges remaining. In: Sixteenth International joint conference on artificial intelligence. Stockholm, pp 1393\u20131400"},{"issue":"3","key":"1214_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.tcs.2006.01.001","volume":"355","author":"K Xu","year":"2006","unstructured":"Xu K, Li W (2006) Many hard examples in exact phase transitions. Theor Comput Sci 355(3):291\u2013302","journal-title":"Theor Comput Sci"},{"issue":"01","key":"1214_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1142\/S0129054112500025","volume":"23","author":"J Zhou","year":"2012","unstructured":"Zhou J, Yin M, Li X, Wang J (2012) Phase transitions of expspace-complete problems: a further step. Int J Found Comput Sci 23(01):173\u2013184","journal-title":"Int J Found Comput Sci"},{"issue":"1","key":"1214_CR5","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s10489-013-0514-9","volume":"41","author":"R Stern","year":"2014","unstructured":"Stern R, Kalech M (2014) Model-based diagnosis techniques for Internet delay diagnosis with dynamic routing. Appl Intell 41(1):167\u2013183","journal-title":"Appl Intell"},{"issue":"3","key":"1214_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10489-008-0143-x","volume":"36","author":"J Weber","year":"2012","unstructured":"Weber J, Wotawa F (2012) Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Appl Intell 36(3):511\u2013528","journal-title":"Appl Intell"},{"issue":"2","key":"1214_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1008322227554","volume":"14","author":"N Obeid","year":"2001","unstructured":"Obeid N (2001) Model-based diagnosis and conditional logic. Appl Intell 14(2):213\u2013230","journal-title":"Appl Intell"},{"issue":"2-3","key":"1214_CR8","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J De Kleer","year":"1992","unstructured":"De Kleer J, Mackworth A, Reiter R (1992) Characterizing diagnoses and systems. Artif Intell 56 (2-3):197\u2013222","journal-title":"Artif Intell"},{"key":"1214_CR9","unstructured":"De Kleer J (2009) Minimum cardinality candidate generation. In: Proceedings of the 20th international workshop on principles of diagnosis (DX-09). Stockholm, pp 397\u2013402"},{"issue":"12","key":"1214_CR10","doi-asserted-by":"publisher","first-page":"1562","DOI":"10.1016\/j.dam.2005.10.022","volume":"155","author":"B Williams","year":"2007","unstructured":"Williams B, Ragno R (2007) Conflict-directed A* and its role in model-based embedded systems. Discret Appl Math 155(12):1562\u20131595","journal-title":"Discret Appl Math"},{"key":"1214_CR11","doi-asserted-by":"crossref","unstructured":"Zhang J, Ma F, Zhang Z (2012) Faulty interaction identification via constraint solving and optimization. In: Theory and applications of satisfiability testing-SAT. Trento, pp 186\u2013199","DOI":"10.1007\/978-3-642-31612-8_15"},{"key":"1214_CR12","unstructured":"Feldman A, Provan G, De Kleer J, Robert S, Van Gemund A (2010) Solving model-based diagnosis problems with Max-SAT solvers and vice versa. In: Proceedings of the 21th international workshop on principles of diagnosis (DX-10). Portland, pp 185\u2013192"},{"key":"1214_CR13","unstructured":"Metodi A, Stern R, Kalech M, Codish M (2012) Compiling model-based diagnosis to Boolean satisfaction. In: Twenty-Sixth AAAI conference on artificial intelligence. Toronto, pp 793\u2013799"},{"key":"1214_CR14","unstructured":"Nica I, Wotawa F (2012) ConDiag - computing minimal diagnoses using a constraint solver. In: Proceedings of the 23th international workshop on principles of diagnosis (DX-12). Great Malvern, pp 185\u2013192"},{"key":"1214_CR15","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1613\/jair.4503","volume":"51","author":"A Metodi","year":"2014","unstructured":"Metodi A, Stern R, Kalech M, Codish M (2014) A novel sat-based approach to model based diagnosis. J Artif Intell Res 51:377\u2013411","journal-title":"J Artif Intell Res"},{"key":"1214_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1613\/jair.462","volume":"8","author":"A Darwiche","year":"1998","unstructured":"Darwiche A (1998) Model-based diagnosis using structured system descriptions. J Artif Intell Res 8:165\u2013222","journal-title":"J Artif Intell Res"},{"key":"1214_CR17","unstructured":"Siddiqi S, Huang J (2007) Hierarchical diagnosis of multiple faults. In: IJCAI. Hyderabad, pp 581\u2013586"},{"key":"1214_CR18","unstructured":"Stern R, Kalech M, Feldman A, Provan G (2012) Exploring the duality in conflict-directed model-based diagnosis. In: Twenty-Sixth AAAI conference on artificial intelligence. Toronto, pp 828\u2013834"},{"issue":"3","key":"1214_CR19","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/s10489-014-0556-7","volume":"41","author":"C Luo","year":"2014","unstructured":"Luo C, Su K, Cai S (2014) More efficient two-mode stochastic local search for random 3-satisfiability. Appl Intell 41(3):665\u2013680","journal-title":"Appl Intell"},{"key":"1214_CR20","doi-asserted-by":"crossref","unstructured":"Cai S, Luo C, Zhang H (2017) From decimation to local search and back: a new approach to MaxSAT. In: IJCAI. Melbourne, pp 571\u2013577","DOI":"10.24963\/ijcai.2017\/80"},{"key":"1214_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2016.07.006","volume":"240","author":"S Cai","year":"2016","unstructured":"Cai S, Luo C, Lin J, Su K (2016) New local search methods for partial MaxSAT. Artif Intell 240:1\u201318","journal-title":"Artif Intell"},{"key":"1214_CR22","unstructured":"Cai S, Su K (2012) Configuration checking with aspiration in local search for SAT. In: Twenty-Sixth AAAI conference on artificial intelligence. Toronto, pp 828\u2013834"},{"issue":"3","key":"1214_CR23","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10489-006-8514-7","volume":"24","author":"MEB Menai","year":"2006","unstructured":"Menai MEB, Batouche M (2006) An effective heuristic algorithm for the maximum satisfiability problem. Appl Intell 24(3):227\u2013239","journal-title":"Appl Intell"},{"key":"1214_CR24","doi-asserted-by":"crossref","unstructured":"Wang Y, Cai S, Yin M (2016) Two efficient local search algorithms for maximum weight clique problem. In: Thirtieth AAAI Conference on artificial intelligence. Arizona, pp 805\u2013 811","DOI":"10.1609\/aaai.v30i1.10067"},{"key":"1214_CR25","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1613\/jair.5205","volume":"58","author":"Y Wang","year":"2017","unstructured":"Wang Y, Cai S, Yin M (2017) Local search for minimum weight dominating set with two-level configuration checking and frequency based scoring function. J Artif Intell Res 58:267\u2013295","journal-title":"J Artif Intell Res"},{"issue":"10","key":"1214_CR26","doi-asserted-by":"publisher","first-page":"1606","DOI":"10.1109\/TCAD.2005.852031","volume":"24","author":"A Smith","year":"2005","unstructured":"Smith A, Veneris A, Ali M, Viglas A (2005) Fault diagnosis and logic debugging using Boolean satisfiability. IEEE Trans CAD Integr Circ Syst 24(10):1606\u20131621","journal-title":"IEEE Trans CAD Integr Circ Syst"},{"key":"1214_CR27","unstructured":"Bauer A, Simplifying diagnosis using LSAT (2005) A propositional approach to reasoning from first principles. In: CPAIOR. Prague, pp 49\u201363"},{"key":"1214_CR28","unstructured":"Safarpour S, Mangassarian H, Veneris A, Liffiton M, Sakallah K (2007) Improved design debugging using maximum satisfiability. In: FMCAD. Texas, pp 13\u201319"},{"key":"1214_CR29","unstructured":"Nica I, Pill I, Quaritsch T, Wotawa F (2013) The route to success - a performance comparison of diagnosis algorithms. In: IJCAI. Beijing, pp 1039\u20131045"},{"key":"1214_CR30","unstructured":"Marques-Silva J, Janota M, Ignatiev A, Morgado A (2015) Efficient model based diagnosis with maximum satisfiability. In: IJCAI. Buenos Aires, pp 1966\u20131972"},{"issue":"7","key":"1214_CR31","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/2856103","volume":"59","author":"A Roychoudhury","year":"2016","unstructured":"Roychoudhury A, Chandra S (2016) Formula-based software debugging. ACM Commun 59(7):68\u201377","journal-title":"ACM Commun"},{"issue":"1","key":"1214_CR32","first-page":"88","volume":"24","author":"S Lamraoui","year":"2016","unstructured":"Lamraoui S, Nakajima S (2016) A formula-based approach for automatic fault localization of multi-fault programs. JIP 24(1):88\u201398","journal-title":"JIP"},{"issue":"6","key":"1214_CR33","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/1993316.1993550","volume":"46","author":"Manu Jose","year":"2011","unstructured":"Jose M, Majumdar R (2011) Cause clue clauses: error localization using maximum satisfiability. In: PLDI. San Jose, pp 437\u2013446","journal-title":"ACM SIGPLAN Notices"},{"key":"1214_CR34","unstructured":"Abreu R, Zoeteweij P, Van Gemund A (2008) Techniques for diagnosing software faults Technical Report TUD-SERG-2008-014. Delft University of Technology"},{"issue":"1","key":"1214_CR35","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57\u201395","journal-title":"Artif Intell"},{"issue":"1","key":"1214_CR36","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J De Kleer","year":"1987","unstructured":"De Kleer J, Williams B (1987) Diagnosing multiple faults. Artif Intell 32(1):97\u2013130","journal-title":"Artif Intell"},{"key":"1214_CR37","unstructured":"De Oca SM, Puig V (2009) Fault diagnosis of nonlinear systems using LPV interval observers. In: DX. Stockholm, pp 275\u2013282"},{"key":"1214_CR38","unstructured":"Nejjari F, De Oca SM, Puig V et al (2009) Passive robust fault detection for interval LPV systems using zonotopes. In: DX. Stockholm, pp 337\u2013344"},{"issue":"3","key":"1214_CR39","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1002\/acs.1263","volume":"26","author":"SM De Oca","year":"2012","unstructured":"De Oca SM, Puig V, Blesa J (2012) Robust fault detection based on adaptive threshold generation using interval LPV observers. Int J Adapt Control Signal Process 26(3):258\u2013283","journal-title":"Int J Adapt Control Signal Process"},{"key":"1214_CR40","doi-asserted-by":"crossref","unstructured":"Blesa J, Nejjari F, Rotondo D et al (2013) Robust fault detection and isolation of wind turbines using interval observers. In: Control and fault-tolerant systems (SysTol). Nice, pp 353\u2013358","DOI":"10.1109\/SysTol.2013.6693854"},{"issue":"1","key":"1214_CR41","doi-asserted-by":"publisher","first-page":"012004","DOI":"10.1088\/1742-6596\/783\/1\/012004","volume":"783","author":"MG Zarch","year":"2017","unstructured":"Zarch MG, Puig V, Poshtan J (2017) Fault detection and isolation using viability theory and interval observers. J Phys Conf Ser 783(1):012004","journal-title":"J Phys Conf Ser"},{"key":"1214_CR42","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.jprocont.2017.01.002","volume":"52","author":"M Buciakowski","year":"2017","unstructured":"Buciakowski M, Witczak M, Puig V et al (2017) A bounded-error approach to simultaneous state and actuator fault estimation for a class of nonlinear systems. J Process Control 52:14\u201325","journal-title":"J Process Control"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-018-1214-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-018-1214-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-018-1214-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,26]],"date-time":"2022-08-26T00:17:54Z","timestamp":1661473074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-018-1214-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,20]]},"references-count":42,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["1214"],"URL":"https:\/\/doi.org\/10.1007\/s10489-018-1214-2","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,20]]},"assertion":[{"value":"20 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}