Matches in SemOpenAlex for { <https://semopenalex.org/work/W3023474662> ?p ?o ?g. }
- W3023474662 endingPage "616" @default.
- W3023474662 startingPage "553" @default.
- W3023474662 abstract "Complex microprocessor systems consist of a large number of components and a large set of functional specification constraints, the diagnosis of which becomes a burden. Presently, conventional simulation is the principal tool used to detect functional design errors at an early stage of the design process. In the domain of microprocessor systems diagnosis, the temporal reasoning of a sequence of causally related events that occur at imprecisely known time instants is an important issue. Time and temporal relations are important knowledge elements. Signals within a microprocessor system change over time and these changes must satisfy certain temporal constraints in order to meet the functional specification of the system. A framework with a well-defined time structure and knowledge representation scheme of temporal reasoning techniques is necessary to perform effective temporal reasoning for microprocessor systems. Two time representations and a set of temporal reasoning mechanisms are proposed and developed to perform timing analysis for microprocessor systems and, to quantify the possibility measures embedded within time ranges. A supplemental constraint reasoning mechanism is necessary to achieve effective reasoning in the domain of microprocessor systems. This chapter presents an insight into some background theories and related works. It discusses the structure of knowledge-based systems and issues related to the reasoning mechanism. It also discusses knowledge representation schemes of the two proposed time structures and the temporal reasoning techniques, as well as the supplemental reasoning mechanism." @default.
- W3023474662 created "2020-05-13" @default.
- W3023474662 creator A5023234769 @default.
- W3023474662 creator A5050117584 @default.
- W3023474662 date "2002-01-01" @default.
- W3023474662 modified "2023-09-26" @default.
- W3023474662 title "Microprocessor Systems" @default.
- W3023474662 cites W1483584514 @default.
- W3023474662 cites W1484851744 @default.
- W3023474662 cites W1497989598 @default.
- W3023474662 cites W153062494 @default.
- W3023474662 cites W1546104831 @default.
- W3023474662 cites W1568285589 @default.
- W3023474662 cites W1588751014 @default.
- W3023474662 cites W1599313551 @default.
- W3023474662 cites W1973822995 @default.
- W3023474662 cites W1984820433 @default.
- W3023474662 cites W1994879909 @default.
- W3023474662 cites W2005678616 @default.
- W3023474662 cites W2011968344 @default.
- W3023474662 cites W2017103958 @default.
- W3023474662 cites W2025288699 @default.
- W3023474662 cites W2034358003 @default.
- W3023474662 cites W2035007084 @default.
- W3023474662 cites W2045148876 @default.
- W3023474662 cites W2053190303 @default.
- W3023474662 cites W2063079607 @default.
- W3023474662 cites W2080267935 @default.
- W3023474662 cites W2084715426 @default.
- W3023474662 cites W2099078002 @default.
- W3023474662 cites W2104351678 @default.
- W3023474662 cites W2122540544 @default.
- W3023474662 cites W2130606998 @default.
- W3023474662 cites W2132826536 @default.
- W3023474662 cites W2140627345 @default.
- W3023474662 cites W2144386448 @default.
- W3023474662 cites W2144928994 @default.
- W3023474662 cites W2341559213 @default.
- W3023474662 doi "https://doi.org/10.1016/b978-012443880-4/50059-4" @default.
- W3023474662 hasPublicationYear "2002" @default.
- W3023474662 type Work @default.
- W3023474662 sameAs 3023474662 @default.
- W3023474662 citedByCount "0" @default.
- W3023474662 crossrefType "book-chapter" @default.
- W3023474662 hasAuthorship W3023474662A5023234769 @default.
- W3023474662 hasAuthorship W3023474662A5050117584 @default.
- W3023474662 hasConcept C111919701 @default.
- W3023474662 hasConcept C127413603 @default.
- W3023474662 hasConcept C134306372 @default.
- W3023474662 hasConcept C144559511 @default.
- W3023474662 hasConcept C149091818 @default.
- W3023474662 hasConcept C149635348 @default.
- W3023474662 hasConcept C154945302 @default.
- W3023474662 hasConcept C161301231 @default.
- W3023474662 hasConcept C177264268 @default.
- W3023474662 hasConcept C17744445 @default.
- W3023474662 hasConcept C186846655 @default.
- W3023474662 hasConcept C199360897 @default.
- W3023474662 hasConcept C199539241 @default.
- W3023474662 hasConcept C207685749 @default.
- W3023474662 hasConcept C2775907273 @default.
- W3023474662 hasConcept C2776036281 @default.
- W3023474662 hasConcept C2776359362 @default.
- W3023474662 hasConcept C2777904410 @default.
- W3023474662 hasConcept C2780728072 @default.
- W3023474662 hasConcept C33923547 @default.
- W3023474662 hasConcept C36503486 @default.
- W3023474662 hasConcept C37335422 @default.
- W3023474662 hasConcept C41008148 @default.
- W3023474662 hasConcept C57371142 @default.
- W3023474662 hasConcept C78519656 @default.
- W3023474662 hasConcept C89288958 @default.
- W3023474662 hasConcept C94625758 @default.
- W3023474662 hasConcept C98045186 @default.
- W3023474662 hasConceptScore W3023474662C111919701 @default.
- W3023474662 hasConceptScore W3023474662C127413603 @default.
- W3023474662 hasConceptScore W3023474662C134306372 @default.
- W3023474662 hasConceptScore W3023474662C144559511 @default.
- W3023474662 hasConceptScore W3023474662C149091818 @default.
- W3023474662 hasConceptScore W3023474662C149635348 @default.
- W3023474662 hasConceptScore W3023474662C154945302 @default.
- W3023474662 hasConceptScore W3023474662C161301231 @default.
- W3023474662 hasConceptScore W3023474662C177264268 @default.
- W3023474662 hasConceptScore W3023474662C17744445 @default.
- W3023474662 hasConceptScore W3023474662C186846655 @default.
- W3023474662 hasConceptScore W3023474662C199360897 @default.
- W3023474662 hasConceptScore W3023474662C199539241 @default.
- W3023474662 hasConceptScore W3023474662C207685749 @default.
- W3023474662 hasConceptScore W3023474662C2775907273 @default.
- W3023474662 hasConceptScore W3023474662C2776036281 @default.
- W3023474662 hasConceptScore W3023474662C2776359362 @default.
- W3023474662 hasConceptScore W3023474662C2777904410 @default.
- W3023474662 hasConceptScore W3023474662C2780728072 @default.
- W3023474662 hasConceptScore W3023474662C33923547 @default.
- W3023474662 hasConceptScore W3023474662C36503486 @default.
- W3023474662 hasConceptScore W3023474662C37335422 @default.
- W3023474662 hasConceptScore W3023474662C41008148 @default.
- W3023474662 hasConceptScore W3023474662C57371142 @default.