- 期刊
- OpenAccess
Automatic Diagnosis with Constraint Solver
並列摘要
A constraint-based model of diagnostic problem is proposed and the classical diagnostic problem can be transformed to a problem of constraint solving. Then, a depth first search with branch and bound approach to reduce the complexity of traveling through the diagnostic space is proposed. Its soundness and completeness is proved. And its complexity is also analyzed.
延伸閱讀
- Park, J., Youn, H., & Lee, E. (2009). An Automatic Code Generation for Self-Healing. Journal of Information Science and Engineering, 25(6), 1753-1781. https://doi.org/10.6688/JISE.2009.25.6.7
- Yang, B. Y. (2020). Automatic Pattern-to-Program Conversion Methodology for Software-Based Self-Test [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU202003962
- 張式中（2015）。Design and Implementation of the Enhanced Diagnostic Device〔碩士論文，國立虎尾科技大學〕。華藝線上圖書館。https://doi.org/10.6827/NFU.2015.00194
- 葉俐靖（2015）。Parameter Deployment and Manipulation for Solving Physical Contradictions〔碩士論文，國立清華大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0016-0312201510265057
- 郭奕廷（2013）。Design and Implementation of the Enhanced Diagnostics System〔碩士論文，國立虎尾科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0028-1507201315292100