• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.7
• /
• pp.43-52
• /
• 2004

This paper proposes an efficient functional verification environment of microprocessor. This verification environment consists of test vector generator part, simulator part, and comparator part. To enhance efficiency of verification, it use a bias random test vector generator. In a part of simulation, retargetable instruction level simulator is used for reference model. This verification environment is excellent to find error which is not detected by general test vector and will become a good guide to find new error type

• Journal of the Korean Society for Railway
• /
• v.19 no.1
• /
• pp.29-37
• /
• 2016

The type approval system of the railway safety law, which was enforced in 2014, has been preferentially applied to the field of railway vehicles. The type approval system addresses railway vehicles and railway constituents. Unlike the previous system, it requires serial verification stages divided, in consecutive order, into verification of design compatibility and conformity and type test. These stages are in accord with international certification systems including TSI certification of the European commission. This study has been carried out to find and meet the design requirements for a coupler head, which is a part of the automatic coupler system; requirements were drawn from TSI and technical specifications that are subordinate to the domestic railway approval system. Through this study, it has been found that there exist 34 design requirements to acquire a complete coupler head. Among those requirements, 32 were verified by document inspection and two were able to be verified by performing FEA and gathering range analysis data.

• Journal of The Korean Association For Science Education
• /
• v.27 no.3
• /
• pp.235-241
• /
• 2007

The purpose of this study was to identify the main laboratory instruction types with Classification Scheme of Laboratory Instruction (CSLI) in elementary and secondary schools science. For the purpose, the validity of the instrument CSLI was 4.23 and laboratory instructions were collected in 100 elementary schools and 30 secondary schools. Before analyzing the collected laboratory instructions, the inter-rater reliability about the analysis results was identified as 0.91. The results of this study were found that in elementary school, the main laboratory instruction types were verification type and discovery type and in secondary school were discovery type and verification type. In the category of the procedure, a large part of the procedures of laboratory activity in both elementary and secondary schools was given to students by worksheets or teachers themselves. In the category of approach, inductive approach was the main in elementary and deductive approach in secondary.

• 한국태양에너지학회:학술대회논문집
• /
• 2008.11a
• /
• pp.167-171
• /
• 2008

The Francis type hydro turbine with vertical axis has been designed and analized for hydraulic performance verification. The guide vane angle of turbine casing were designed to be varied according to the condition of head and flowrate. When the changes in flowrate and output were comparatively large, the efficiency drop were small, so the efficiency characteristics and stability of the entire operating condition were maintained in good condition. These results showed that the developed hydro turbine in this study will be suitable for small hydro power stations with medium and high head such as agricultural reservoirs and large dam.

• Nuclear Engineering and Technology
• /
• v.53 no.6
• /
• pp.1878-1886
• /
• 2021

For industrial package (IP)-type transport containers for radioactive materials, a free drop test should be conducted under regulatory conditions. Owing to various uncertainties observed during the drop test, errors in drop angles inevitably occur. In IP-type metal transport containers in which the container directly impacts onto a rigid target without any shock absorbing materials, the error in the drop angle due to a slight misalignment makes a significant difference from the ideal drop. In particular, in a vertical drop, the error in the drop angle causes a strong secondary impact. In this paper, a numerical method is proposed to estimate the error in the drop angle occurring during the test. To determine this error, an optimization method accompanying a computational drop analysis is proposed, and a surrogate model is introduced to ensure calculation efficiency. Effectiveness of the proposed method is validated by performing the verification and comparison between the test and the analysis applied with the drop angle error.

• Ecology and Resilient Infrastructure
• /
• v.3 no.2
• /
• pp.92-99
• /
• 2016

This study developed a verification and certification method of technologies of green infrastructure (GI) and low impact development (LID) that gained interest recently. The outdoor testbed used in this study consisted of a building type, a road type, a parking lot type, a rain garden type and a bioretention type. Indoor test facilities were ready for testing using hydrology efficient analysis, pavement and soil analysis and water environment analysis. The development of outdoor and indoor test facilities were used to certify the efficiency of GI & LID technologies, and this was expected to contribute to the activation of the related projects by providing reliable data for the application of GI & LID techniques.

• Journal of The Institute of Information and Telecommunication Facilities Engineering
• /
• v.10 no.3
• /
• pp.103-109
• /
• 2011

With the growing popularity of digital video applications, those areas of the efficient transmit, storage management, and search technology for video data are emerging as an important core technology. To be an effective video indexing system, users need to be able to find the video segments that they want. Unfortunately, video data is difficult to manage because of its unstructured data type and large volume with linear forms. This paper proposes a shot verification using visual rhythm and video retrieval system. The shot verification is designed to detect a segment from video easily and quickly, known as shot boundaries, just by changing the visual rhythm without playing the image. Therefore, this can decrease the false detected shots and generate the unidentified shots and key frames. The retrieval system is constructed in terms of visual descriptor from the list of MPEG-7. The effectiveness of the proposed shot verification process and video retrieval system is demonstrated.

• Journal of KIISE:Software and Applications
• /
• v.27 no.8
• /
• pp.886-901
• /
• 2000

Verification of the safety of untrusted codes becomes an important issue in the mobile computing environment and the safety-critical software systems. Recently, it is very common to run the codes attached to the electronic mails or downloaded from the web browsers. We propose the verification method of the machine code property. The code producer delivers the machine code and its property, then the code consumer checks whether the delivered code satisfies the delivered property. The safety of source codes is verified by the well-defined compiler systems but the verification mechanism for machine codes is not well defined yet. We design an intermediate language etySECK and propose the verification method of the property of etySECK programs. And then we prove the soundness of our system which is the type system with effect extension.

• Journal of Advanced Navigation Technology
• /
• v.25 no.3
• /
• pp.185-193
• /
• 2021

The system needs to be modified to improve the performance of the aircraft in operation or to satisfy the requirements of related laws. Appropriate standards are required for the technical skills for remodeling the aircraft system, design verification for airworthiness of the aircraft, and supplemental type certification (STC) certification procedures for type certification. This study analyzes the current status and demand of domestic aircraft remodeling, examines the current supplementary type certification procedure, and diagnoses the problem. In addition, as a result of researching measures to improve remodeling technology and certification capabilities to extend the life of the aircraft, improvements in the education system were derived to improve the domestic additional type certification process, such as approval of remodeling agencies and appointment of qualifications for each professional technician.