Search
Results 1-10 of 32 (Search time: 0.014 seconds).
| NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
|---|---|
| SOME OUTSTANDING PROBLEMS IN NEUTRON TRANSPORT COMPUTATION Cho, Nam-Zin; Chang, Jonghwa, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.4, pp.381 - 390, 2009-05 | |
| A REVIEW OF STUDIES ON OPERATORS INFORMATION SEARCHING BEHAVIOR FOR HUMAN FACTORS STUDIES IN NPP MCRS Ha, Jun Su; Seong, Poong-Hyun, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.3, pp.247 - 270, 2009-04 | |
| A computational model for evaluating the effects of attention, memory, and mental models on situation assessment of nuclear power plant operators Lee, Hyun-Chul; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.94, no.11, pp.1796 - 1805, 2009-11 | |
| Modeling of computerized procedure execution with State Token Petri Net for formal verification of procedure flow Kim, Yun Goo; Seong, Poong Hyun, JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, v.49, no.1-2, pp.173 - 181, 2012-01 | |
| Industrial gamma-ray tomographic scan method for large scale industrial plants Kim, Jong-Bum; Jung, Sung-Hee; Moon, Jin-Ho; Cho, Gyu-Seong, NUCLEAR INSTRUMENTS METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, v.640, no.1, pp.139 - 150, 2011-06 | |
| Enhanced photocatalytic activity of mesoporous S-N-codoped TiO2 loaded with Ag nanoparticles Xie, Yi; Kum, Jongmin; Zhao, Xiujian; Cho, Sung Oh, SEMICONDUCTOR SCIENCE AND TECHNOLOGY, v.26, no.8, 2011-08 | |
| Bootstrap current for the edge pedestal plasma in a diverted tokamak geometry Koh, Se-Hoon; Chang, C. S.; Ku, S.; Menard, J. E.; Weitzner, H.; Choe, Won-Ho, PHYSICS OF PLASMAS, v.19, no.7, 2012-07 | |
| V&V-based remaining fault estimation model for safety-critical software of a nuclear power plant Eom, Heung-seop; Park, Gee-yong; Jang, Seung-cheol; Son, Han Seong; Kang, Hyun Gook, ANNALS OF NUCLEAR ENERGY, v.51, pp.38 - 49, 2013-01 | |
| A quantitative assessment method for safety-critical signal generation failures in nuclear power plants considering dynamic dependencies Shin, Seung-Ki; Seong, Poong-Hyun, ANNALS OF NUCLEAR ENERGY, v.38, no.2-3, pp.269 - 278, 2011-02 | |
| FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram Jee, Eunk Young; Jeon, Seungjae; Cha, Sungdeok; Koh, Kwangyong; Yoo, Junbeom; Park, Geeyong; Seong, Poong-Hyun, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08 |
Discover