An integrated knowledge base development tool for knowledge acquisition and verification for NPP dynamic alarm processing systems

Annals of Nuclear Energy

Volumn 29, Issue 4, 2002, Pages 447-463

  Park, Joo Hyun ^a   Seong, Poong Hyun ^b  

^a Korea Atomic Energy Research Institute   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ALARM SYSTEMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; MATRIX ALGEBRA; PETRI NETS;

ALARM PROCESSING SYSTEMS; EXTENDED COLORED PETRI NET (ECPN) MATRIX ANALYSIS;

NUCLEAR POWER PLANTS;

EID: 0036489494     PISSN: 03064549     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4549(01)00054-8     Document Type: Article

References (11)

1. Dependable knowledge-based systems development and verification: What we can learn from software engineering and what we need
2. General knowledge structure for diagnosis
3. Design for acquisition: Principles of knowledge system design to facilitate knowledge acquisition
4. Validation expert system performance
5. CPN matrix analysis and its application to knowledge base verification
6. Knowledge base verification using ECPN matrix analysis and backward simulation
7. Knowledge acquisition for alarm processing systems for nuclear power plants using documents analysis