• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.2
• /
• pp.45-58
• /
• 2001

There are relatively many research results of the validation of the cryptography. But few researches on the validation of cryptography implementations were accomplished. However, developer\`s misunderstanding the crypto-algorithm or a mistake in implementation of the crypto-a1gorithm leads to lose reliability of security products. Therefore, as validation of the crypto-algorithm itself also validation of the implementation is important. The major objective of this paper is to propose Security Products Validation Tool. Our tool validates implementation of the public key algorithm (RSA. KCDSA) and hash algorithm (SHA-1, HAS-170). The validation process is composed of several items and our tool performs validation teats for conformance to related standard.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• Communications for Statistical Applications and Methods
• /
• v.13 no.1
• /
• pp.151-165
• /
• 2006

It is important to estimate the true misclassification rate of a given classifier when an independent set of test data is not available. Cross-validation and bootstrap are two possible approaches in this case. In related literature bootstrap estimators of the true misclassification rate were asserted to have better performance for small samples than cross-validation estimators. We compare the two estimators empirically when the classification rule is so adaptive to training data that its apparent misclassification rate is close to zero. We confirm that bootstrap estimators have better performance for small samples because of small variance, and we have found a new fact that their bias tends to be significant even for moderate to large samples, in which case cross-validation estimators have better performance with less computation.

• Toxicological Research
• /
• v.32 no.1
• /
• pp.9-14
• /
• 2016

The National Toxicology Program Interagency Center for the Evaluation of Alternative Toxicological Methods (NICEATM) provides validation support for US Federal agencies and the US Tox21 interagency consortium, an interagency collaboration that is using high throughput screening (HTS) and other advanced approaches to better understand and predict chemical hazards to humans and the environment. The use of HTS data from assays relevant to the estrogen receptor signaling data pathway is used as an example of how HTS data can be combined with computational modeling to meet the needs of US agencies. As brief summary of US efforts in the areas of biologics testing, acute toxicity, and skin sensitization will also be provided.

• International Journal of Aeronautical and Space Sciences
• /
• v.18 no.3
• /
• pp.498-511
• /
• 2017

This work conducts a validation study for loads analysis of the UH-60A slowed rotor at high advance ratios. The nonlinear flexible multibody dynamics analysis code, DYMORE II, is used with a freewake model for the rotorcraft comprehensive analysis. Wind tunnel test data of airloads and structural loads of a full-scale UH-60A slowed rotor are used for this validation study. This analysis predicts well the thrust reversal phenomenon at the advance ratio of 1.0. The section airloads such as normal forces and pitching moments and the oscillatory blade structural moments in this analysis are compared well or moderately with the measured data, although the higher harmonics components of blade torsion moments are not captured well. This validation study assesses the prediction accuracy and investigates the unique aeromechanics characteristics of a slowed rotor at high advance ratio.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Proceedings of the SAREK Conference
• /
• 2006.06a
• /
• pp.584-589
• /
• 2006

In this paper, a test apparatus for reliability evaluation of a rotary compressor has been suggested with a short-cycle concept. $CO_2$ refrigerant is adopted for this cycle to avoid phase change during cycle operation. Evaporator is not necessary in short-cycle. Utilizing a short-cycle, the test apparatus was built on the purpose of evaluating the reliability of each rotary compressor on the conveyer belt of the factory. The primary validation of the test apparatus is discussed by analyzing the experimental heat balance data. Additional validation was performed through the overload continuous operation test where the wear rate of the $CO_2$ short-cycle was found to similar to that of the R22 normal-cycle. The reliability evaluation test apparatus with a short-cycle in present investigation was found simple and efficient in the view of reducing sample numbers, costs, and test time in analyzing the reliability of rotary compressors.

• The Korean Journal of Elementary Counseling
• /
• v.9 no.1
• /
• pp.21-39
• /
• 2010

The purpose of this study was to validate the Korean version of Inventory of Parent Attachment(K-IPA), The first version of K-IPA was developed through the process of translation and tack translation of items of parent attachment from Inventory of Parent and Peer Attachment (Armsden & Greenberg, 1986), content validation test with 30 elementary school children, and content validation test with an expert group. The validation test with 964 students (emementary, middle, high school) confirmed all 25 items(each items were asked for mother and father) were appropriate and reliable, K-IPA consists of three different sub-scales, 10 items for trust scale, 9 items for communication scale, and 6 items isolation across all age groups.

• Journal of the Korean Society of Industry Convergence
• /
• v.22 no.6
• /
• pp.689-702
• /
• 2019

This paper deals with the verification of the functions about mining robot, which is the system for developing deep seabed resources by applying V&V(verification and validation). In order to overcome water pressure of 500 bar and to travel on soft ground, and to operate in deep sea environment with bad conditions, it is necessary to develop a robot that can satisfy various deepsea conditions. A mining robot has been developed based on simulation based design and Multidisciplinary design optimization. In order to verify the developed robot, lab test and real sea test should be performed for various marine environment conditions. There are too many requirements to consider, such as space, time, cost, personnel, and environment to do performance test. So it is costly and time consuming for developing robot. In order to solve this problems, V&V technique was applied to mining robot. The stages of mining robot design, fabrication and commission were verified.

• Korean Journal of Remote Sensing
• /
• v.38 no.4
• /
• pp.395-409
• /
• 2022

The purpose of this study is to evaluate the classification performance and applicability when land cover datasets constructed for AI training are cross validation to other areas. For study areas, Gyeongsang-do and Jeolla-do in South Korea were selected as cross validation areas, and training datasets were obtained from AI-Hub. The obtained datasets were applied to the U-Net algorithm, a semantic segmentation algorithm, for each region, and the accuracy was evaluated by applying them to the same and other test areas. There was a difference of about 13-15% in overall classification accuracy between the same and other areas. For rice field, fields and buildings, higher accuracy was shown in the Jeolla-do test areas. For roads, higher accuracy was shown in the Gyeongsang-do test areas. In terms of the difference in accuracy by weight, the result of applying the weights of Gyeongsang-do showed high accuracy for forests, while that of applying the weights of Jeolla-do showed high accuracy for dry fields. The result of land cover classification, it was found that there is a difference in classification performance of existing datasets depending on area. When constructing land cover map for AI training, it is expected that higher quality datasets can be constructed by reflecting the characteristics of various areas. This study is highly scalable from two perspectives. First, it is to apply satellite images to AI study and to the field of land cover. Second, it is expanded based on satellite images and it is possible to use a large scale area and difficult to access.