• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.9
• /
• pp.397-404
• /
• 2019

When developing a weapon system, a T&E(Test and Evaluation) can be performed using M&S for the test items that cannot be evaluated in the real world. In this case, the VV&A activities are required to prove the credibility of M&S for the T&E. Recently, the use of M&S has been increasing as the R&D trends of weapon systems are becoming more advanced. Therefore, the VV&A activities are also increasing. The VV&A activities aim to verify, validate, and accredit that the simulation can represent a real system and ensure credibility regarding its purpose and intention of use. VV&A activities are divided into V&V and Accreditation. When performing VV&A in the ADD (Agency for Defense Development), the V&V activities are performed by a separate department of the ADD and the accreditation activities are performed in the DTAQ (Defense Agency for Technology and Quality). This paper proposes a V&V process for a T&E of M&S that has been performed in ADD. The process is used to verify and validate the documents and data generated during the development process according to the accreditation criteria, and provides objective data that can be used to judge whether the accreditation decision and acceptance criteria are met.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.155-157
• /
• 2005

The Electrical Test Bed(ETB) integrates the test environment, required for acceptance tests of system level, prior to FM testing. The ETB will be used for the validation of system-level functions and interface between each subsystem. The FTB supports early functional and limited performance checkout of electrical subsystems. Therefore, it provides the environment for the verification of the Flight Software including AOCS, EPS, and TC&R simulators. These ETB will be composed of engineering version of spacecraft BUS, which are laid on the laboratory table.

• Nuclear Engineering and Technology
• /
• v.26 no.3
• /
• pp.367-373
• /
• 1994

It is necessary to adopt a simple signal validation for avoiding the complexity of algorithm and verification in the design process of the instrumentation and control system in nuclear plants. This paper suggests a signal validation method developed on the basis of consistency checking for the multi-channel measurement system without any analytic process model. It includes a simplified algorithm for estimating the fixed bias error of each channel and a weighted averaging method. The weighting factor of each channel is updated according to its calculated bias error. The developed method has been tested to verify its performance through several input scenarios.

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.3
• /
• pp.119-126
• /
• 2023

Sarcopenia is not well known enough to be classified as a disease in 2021 in Korea, but it is recognized as a social problem in developed countries that have entered an aging society. The diagnosis of sarcopenia follows the international standard guidelines presented by the European Working Group for Sarcopenia in Older People (EWGSOP) and the d Asian Working Group for Sarcopenia (AWGS). Recently, it is recommended to evaluate muscle function by using physical performance evaluation, walking speed measurement, and standing test in addition to absolute muscle mass as a diagnostic method. As a representative method for measuring muscle mass, the body composition analysis method using DEXA has been formally implemented in clinical practice. In addition, various studies for measuring muscle mass using abdominal images of MRI or CT are being actively conducted. In this paper, we develop an AI image segmentation model based on abdominal images of CT with a relatively short imaging time for the diagnosis of sarcopenia and describe the multicenter validation. We developed an artificial intelligence model using U-Net that can automatically segment muscle, subcutaneous fat, and visceral fat by selecting the L3 region from the CT image. Also, to evaluate the performance of the model, internal verification was performed by calculating the intersection over union (IOU) of the partitioned area, and the results of external verification using data from other hospitals are shown. Based on the verification results, we tried to review and supplement the problems and solutions.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.1
• /
• pp.12-22
• /
• 1995

When we integrate schema of distributed local databases, we mean entity integration as central concept of schema integration, and semantic of entity affects several factors. Thus the schema integration in distributed database environment starts from definition of domain relation among entity types of local schemas. Moreover, the domain relation defined by designer needs some works for confidence and validation of schema integration system. But this work was not presented in previous integration system. In this paper, we define object oriented integration for schema integration of local databases in distributed system environment, present models to verify validation on its integration, and implement the validation system.

• The KIPS Transactions:PartD
• /
• v.14D no.5
• /
• pp.531-544
• /
• 2007

As the current trend in e-business has led to more various and complex business processes in recent years, problems in business process models have increased gradually. Accordingly, the concern to validation of business process models has been much larger but there are few validation checking mechanisms supported so far. On the other hand BPMN driven by BPMI is a standard graphical notation. Using the tool supporting BPMN, business process can be modeled graphically and analyzed easily. In this paper, we present technical mechanisms which can efficiently detect anomalies in a process composed of BPMN and are capable of avoiding higher unexpected costs during runtime.

• Nuclear Engineering and Technology
• /
• v.41 no.5
• /
• pp.603-616
• /
• 2009

The past two decades were mainly devoted to model validation and computer code verification against global corium experiments, code application to reactor situations, and investigation of the role of melt properties in steam explosion energetics. Corium data were essentially provided by JRC-Ispra in the FARO and KROTOS facilities and by KAERI in the TROI facility. Verification of code applicability to reactor situations was performed essentially in the frame of the international OECD/SERENA programme. The paper makes a synthesis of the findings made during the above-mentioned period and expresses a personal view of the author with respect to the progress made and expected for the resolution of the steam explosion issue for light water reactors.

• Journal of Information Technology Services
• /
• v.11 no.1
• /
• pp.239-246
• /
• 2012

The user increases around the WiBro and in which the mobile broad band service is the wireless internet base technology HSDPA, that is the cellular phone foundation technique, and moreover the issue about the user effective quality guarantee emerges but the quality control of the wireless network is the incomplete actual condition. Therefore, the reliability verification according to the development of the system for the performance measure for the continued wireless data service and it and evaluation are needed for the quality control. In this paper, the wireless data service quality measurement system was implemented with the design. The same test environment as the existing network performance measurement program was built for the reliability verification of the embodied device for measuring quality and evaluation and the cost performance was performed. It could confirm that design and embodied wireless data service quality measurement system operated accurately in this paper through the quality measure result value analysis.

• KEPCO Journal on Electric Power and Energy
• /
• v.5 no.3
• /
• pp.165-171
• /
• 2019

The steam turbine used in nuclear power plant is modeled for the purpose of verification of control system rather than the operator education. The valves, reheater and generator are modeled also and integrated into the simulator. After that, the operation data and the designed data such as heat balance diagram are utilized to identify the model parameters. It was evident that model outputs of developed simulator are very close to the measured operating ones. The simulator within dynamic model was used to verify and validate the whole control system together with field instruments. And the target plant has been operating long time.

• Nuclear Engineering and Technology
• /
• v.33 no.1
• /
• pp.34-45
• /
• 2001

We have needs to develop a performance analysis system that can be used in domestic nuclear power plants to determine performance status of turbine cycle. We developed new NOPAS system to aid performance analysis of turbine cycle . Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on ASME (American Society of Mechanical Engineers) PTC (Performance Test Code). Robustness in the performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful aids for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis reports.