Matches in SemOpenAlex for { <https://semopenalex.org/work/W2795330004> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2795330004 endingPage "1016" @default.
- W2795330004 startingPage "1016" @default.
- W2795330004 abstract "The diagnosis method for a weak-fault model with only normal behaviors of each component has evolved over decades. However, many systems now demand a strong-fault models, the fault modes of which have specific behaviors as well. It is difficult to diagnose a strong-fault model due to its non-monotonicity. Currently, diagnosis methods usually employ conflicts to isolate possible fault and the process can be expedited when some observed output is consistent with the model’s prediction where the consistency indicates probably normal components. This paper solves the problem of efficiently diagnosing a strong-fault model by proposing a novel Logic-based Truth Maintenance System (LTMS) with two search approaches based on conflict and consistency. At the beginning, the original a strong-fault model is encoded by Boolean variables and converted into Conjunctive Normal Form (CNF). Then the proposed LTMS is employed to reason over CNF and find multiple minimal conflicts and maximal consistencies when there exists fault. The search approaches offer the best candidate efficiency based on the reasoning result until the diagnosis results are obtained. The completeness, coverage, correctness and complexity of the proposals are analyzed theoretically to show their strength and weakness. Finally, the proposed approaches are demonstrated by applying them to a real-world domain—the heat control unit of a spacecraft—where the proposed methods are significantly better than best first and conflict directly with A* search methods." @default.
- W2795330004 created "2018-04-06" @default.
- W2795330004 creator A5011270130 @default.
- W2795330004 creator A5037415977 @default.
- W2795330004 creator A5047419128 @default.
- W2795330004 creator A5061246177 @default.
- W2795330004 creator A5070308612 @default.
- W2795330004 date "2018-03-29" @default.
- W2795330004 modified "2023-10-04" @default.
- W2795330004 title "Diagnosing a Strong-Fault Model by Conflict and Consistency" @default.
- W2795330004 cites W1597576211 @default.
- W2795330004 cites W1966863755 @default.
- W2795330004 cites W1976303542 @default.
- W2795330004 cites W1986660301 @default.
- W2795330004 cites W2101330213 @default.
- W2795330004 cites W2102832680 @default.
- W2795330004 cites W2108309071 @default.
- W2795330004 cites W2132029223 @default.
- W2795330004 cites W2135663228 @default.
- W2795330004 cites W2144386448 @default.
- W2795330004 cites W2147096558 @default.
- W2795330004 cites W2147129131 @default.
- W2795330004 cites W2159026681 @default.
- W2795330004 cites W3102281800 @default.
- W2795330004 doi "https://doi.org/10.3390/s18041016" @default.
- W2795330004 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/5948601" @default.
- W2795330004 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/29596302" @default.
- W2795330004 hasPublicationYear "2018" @default.
- W2795330004 type Work @default.
- W2795330004 sameAs 2795330004 @default.
- W2795330004 citedByCount "1" @default.
- W2795330004 countsByYear W27953300042019 @default.
- W2795330004 crossrefType "journal-article" @default.
- W2795330004 hasAuthorship W2795330004A5011270130 @default.
- W2795330004 hasAuthorship W2795330004A5037415977 @default.
- W2795330004 hasAuthorship W2795330004A5047419128 @default.
- W2795330004 hasAuthorship W2795330004A5061246177 @default.
- W2795330004 hasAuthorship W2795330004A5070308612 @default.
- W2795330004 hasBestOaLocation W27953300041 @default.
- W2795330004 hasConcept C11413529 @default.
- W2795330004 hasConcept C119599485 @default.
- W2795330004 hasConcept C124101348 @default.
- W2795330004 hasConcept C127313418 @default.
- W2795330004 hasConcept C127413603 @default.
- W2795330004 hasConcept C134146338 @default.
- W2795330004 hasConcept C134306372 @default.
- W2795330004 hasConcept C154945302 @default.
- W2795330004 hasConcept C165205528 @default.
- W2795330004 hasConcept C167391956 @default.
- W2795330004 hasConcept C17231256 @default.
- W2795330004 hasConcept C175551986 @default.
- W2795330004 hasConcept C200601418 @default.
- W2795330004 hasConcept C2776436953 @default.
- W2795330004 hasConcept C33923547 @default.
- W2795330004 hasConcept C41008148 @default.
- W2795330004 hasConcept C55439883 @default.
- W2795330004 hasConceptScore W2795330004C11413529 @default.
- W2795330004 hasConceptScore W2795330004C119599485 @default.
- W2795330004 hasConceptScore W2795330004C124101348 @default.
- W2795330004 hasConceptScore W2795330004C127313418 @default.
- W2795330004 hasConceptScore W2795330004C127413603 @default.
- W2795330004 hasConceptScore W2795330004C134146338 @default.
- W2795330004 hasConceptScore W2795330004C134306372 @default.
- W2795330004 hasConceptScore W2795330004C154945302 @default.
- W2795330004 hasConceptScore W2795330004C165205528 @default.
- W2795330004 hasConceptScore W2795330004C167391956 @default.
- W2795330004 hasConceptScore W2795330004C17231256 @default.
- W2795330004 hasConceptScore W2795330004C175551986 @default.
- W2795330004 hasConceptScore W2795330004C200601418 @default.
- W2795330004 hasConceptScore W2795330004C2776436953 @default.
- W2795330004 hasConceptScore W2795330004C33923547 @default.
- W2795330004 hasConceptScore W2795330004C41008148 @default.
- W2795330004 hasConceptScore W2795330004C55439883 @default.
- W2795330004 hasIssue "4" @default.
- W2795330004 hasLocation W27953300041 @default.
- W2795330004 hasLocation W27953300042 @default.
- W2795330004 hasLocation W27953300043 @default.
- W2795330004 hasLocation W27953300044 @default.
- W2795330004 hasLocation W27953300045 @default.
- W2795330004 hasOpenAccess W2795330004 @default.
- W2795330004 hasPrimaryLocation W27953300041 @default.
- W2795330004 hasRelatedWork W2009612348 @default.
- W2795330004 hasRelatedWork W2203018268 @default.
- W2795330004 hasRelatedWork W2363169864 @default.
- W2795330004 hasRelatedWork W2385305582 @default.
- W2795330004 hasRelatedWork W2390517737 @default.
- W2795330004 hasRelatedWork W2566529656 @default.
- W2795330004 hasRelatedWork W2795330004 @default.
- W2795330004 hasRelatedWork W2886482163 @default.
- W2795330004 hasRelatedWork W2890161843 @default.
- W2795330004 hasRelatedWork W3092465091 @default.
- W2795330004 hasVolume "18" @default.
- W2795330004 isParatext "false" @default.
- W2795330004 isRetracted "false" @default.
- W2795330004 magId "2795330004" @default.
- W2795330004 workType "article" @default.