{"title":"基于模型的诊断系统设计","authors":"Xuenong Zhang","doi":"10.1109/ICSSEM.2012.6340762","DOIUrl":null,"url":null,"abstract":"A framework of diagnostic models and diagnostic systems is presented in this paper. It can describe fault models and multiple faults nicely. It is shown how the design of a diagnostic system using a diagnostic model can be done with diagnostic test. Two important properties, sound and complete, that describe the power of a diagnostic system are discussed. For designing a diagnostic system, a set of models is selected to be tested such that a diagnostic system based on these tests is sound and complete, then tests are designed for all selected model to obtain a diagnostic system. Finally, the equivalence between diagnostic system using tests and the model-based diagnostic system is proved.","PeriodicalId":115037,"journal":{"name":"2012 3rd International Conference on System Science, Engineering Design and Manufacturing Informatization","volume":"358 ","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Model-based design of diagnostic system\",\"authors\":\"Xuenong Zhang\",\"doi\":\"10.1109/ICSSEM.2012.6340762\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A framework of diagnostic models and diagnostic systems is presented in this paper. It can describe fault models and multiple faults nicely. It is shown how the design of a diagnostic system using a diagnostic model can be done with diagnostic test. Two important properties, sound and complete, that describe the power of a diagnostic system are discussed. For designing a diagnostic system, a set of models is selected to be tested such that a diagnostic system based on these tests is sound and complete, then tests are designed for all selected model to obtain a diagnostic system. Finally, the equivalence between diagnostic system using tests and the model-based diagnostic system is proved.\",\"PeriodicalId\":115037,\"journal\":{\"name\":\"2012 3rd International Conference on System Science, Engineering Design and Manufacturing Informatization\",\"volume\":\"358 \",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 3rd International Conference on System Science, Engineering Design and Manufacturing Informatization\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSSEM.2012.6340762\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 3rd International Conference on System Science, Engineering Design and Manufacturing Informatization","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSSEM.2012.6340762","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A framework of diagnostic models and diagnostic systems is presented in this paper. It can describe fault models and multiple faults nicely. It is shown how the design of a diagnostic system using a diagnostic model can be done with diagnostic test. Two important properties, sound and complete, that describe the power of a diagnostic system are discussed. For designing a diagnostic system, a set of models is selected to be tested such that a diagnostic system based on these tests is sound and complete, then tests are designed for all selected model to obtain a diagnostic system. Finally, the equivalence between diagnostic system using tests and the model-based diagnostic system is proved.