Results 1-10 of 19 (Search time: 0.004 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
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 | |
An experimental approach to estimate operator's information processing capacity for diagnosing tasks in NPPs Kim, Ji-Tae; Shin, Seung-Ki; Kim, Jong-Hyun; Seong, Poong-Hyun, ANNALS OF NUCLEAR ENERGY, v.59, pp.100 - 110, 2013-09 | |
Optimization of automation: I. Estimation method of cognitive automation rates reflecting the effects of automation on human operators in nuclear power plants Lee, Seung Min; Kim, Jong Hyun; Seong, Poong Hyun, ANNALS OF NUCLEAR ENERGY, v.70, pp.48 - 55, 2014-08 | |
A TiO2-Coated Reflective Layer Enhances the Sensitivity of a CsI:TI Scintillator for X-ray Imaging Sensors Kim, Youngju; Kim, Byoungwook; Kwon, Youngman; Kim, Jongyul; Kim, Myung Soo; Cho, Gyuseong; Jun, Hong Young; Thap, Tharoeun; Lee, Jinseok; Yoon, Kwon-Ha, JOURNAL OF THE OPTICAL SOCIETY OF KOREA, v.18, no.3, pp.256 - 260, 2014-06 |
Discover