• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• Nuclear Engineering and Technology
• /
• 제51권6호
• /
• pp.1596-1609
• /
• 2019

The fuel rod performance has great importance for the safety and economy of an operating reactor. The fuel rod performance analysis code, which considers the thermal-mechanical response and irradiation effects of fuel rod, is usually developed in order to predict fuel rod performance accurately. The FRIPAC (${\underline{F}}uel$ ${\underline{R}}od$ ${\underline{I}}ntegral$ ${\underline{P}}erformance$ ${\underline{A}}nalysis$ ${\underline{C}}ode$) is such a fuel rod performance analysis code that has been developed recently by China Nuclear Power Technology Research Institute Co. Ltd. The code aims at the computational simulation of the Pressurized Water Reactor fuel rod behavior for both steady-state and power ramp condition. A brief overview of FRIPAC is presented including the computational framework and the main behavioral models. Validation of the code is also presented and it focuses on the fuel rod behavior including fuel center temperature, fission gas release, rod internal pressure/internal void volume, cladding outer diameter and cladding corrosion thickness. The validation is based on experimental data from several international projects. The validation results indicate that FRIPAC is an accurate and reliable fuel rod performance analysis code because of the satisfactory comparison results between the experimental measurements and the code predictions.

• Journal of the Korean Data and Information Science Society
• /
• 제23권4호
• /
• pp.643-648
• /
• 2012

여러 임상자료를 이용하여 반응변수와 설명변수간의 관계를 규명하는 분석이 많이 이루어지고 있다. 이를 위해서 회귀분석이 흔히 사용되고 있으며, 이를 통해 설명변수가 반응변수를 얼마나 설명하는지 또한 모형이 얼마나 자료에 적합한지에 대해 분석하고 있다. 그러나 임상자료로 분석된 회귀모형에 대한 타당성 확인은 대부분 분석된 회귀모형이 얼마나 자료를 설명하는가를 나타내는 결정계수만을 살펴보는 것에 그치고 있다. 결정계수 이외의 다른 방법으로도 분석된 회귀모형의 회귀계수에 대한 타당성을 확인할 필요가 있다. 따라서 본 논문에서는 잭나이프 회귀분석과 붓스트랩 회귀분석을 이용하여 임상자료로 분석한 회귀모형의 회귀계수에 대한 타당성을 확인하는 방법을 소개하고자 한다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2000년도 춘계학술대회논문집
• /
• pp.990-995
• /
• 2000

This paper presents a dynamic model for escalators to be used for the analysis and design of low vibration escalators. The dynamic model is developed so as to reflect the physical observation on peculiar characteristics such as the difference between up moving and down moving, and the resonance affected by the load applied. For validation of the dynamic model developed, experimental results are compared with numerical results from the model. The numerical study shows that the developed model is useful for analysis and design of escalator systems.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• 정보보호학회논문지
• /
• 제19권4호
• /
• pp.91-103
• /
• 2009

암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계 (Cryptographic Module Validation Program, CMVP) 내에서 시험 (또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM) 이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점 을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2007년도 추계학술대회 논문집
• /
• pp.163-164
• /
• 2007

• 한국임상수의학회지
• /
• 제40권4호
• /
• pp.243-259
• /
• 2023

Machine learning and deep learning (ML/DL) algorithms have been successfully applied in medical practice. However, their application in veterinary medicine is relatively limited, possibly due to a lack in the quantity and quality of relevant research. Because the potential demands for ML/DL applications in veterinary clinics are significant, it is important to note the current gaps in the literature and explore the possible directions for advancement in this field. Thus, a scoping review was conducted as a situation analysis. We developed a search strategy following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines. PubMed and Embase databases were used in the initial search. The identified items were screened based on predefined inclusion and exclusion criteria. Information regarding model development, quality of validation, and model performance was extracted from the included studies. The current review found 55 studies that passed the criteria. In terms of target animals, the number of studies on industrial animals was similar to that on companion animals. Quantitative scarcity of prediction studies (n = 11, including duplications) was revealed in both industrial and non-industrial animal studies compared to diagnostic studies (n = 45, including duplications). Qualitative limitations were also identified, especially regarding validation methodologies. Considering these gaps in the literature, future studies examining the prediction and validation processes, which employ a prospective and multi-center approach, are highly recommended. Veterinary practitioners should acknowledge the current limitations in this field and adopt a receptive and critical attitude towards these new technologies to avoid their abuse.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 춘계학술대회 논문집
• /
• pp.462-467
• /
• 2003

According to the computerization of railway signalling system, necessity of communication protocol for interface between these equipments is increasing. Therefore the research on communication protocol structure that is required according to computerization trend of these signalling goes. In our research the existed protocol currently used was analyzed, and the simulation modeling for performance analysis is deduced. Based on this simulation model the performance analysis and comparison is carried out, and also validation test is executed about new suggested protocol.

• 한국보육지원학회지
• /
• 제18권3호
• /
• pp.37-59
• /
• 2022

Objective: The purpose of this study is to develop and validate a coparenting scales(mother's version) suitable for the Korean situation. Methods: In this study, mothers with one or more children were targeted. First, factor structure and construct validity were verified(N=412), and second, cross-validation and concurrent validity were verified(N=312). Results: The coparenting scale(mother's version) is largely composed of the mother's own coparenting and their spouse's coparenting. First, as a result of performing an exploratory factor analysis, three factors were extracted from the mother's own coparenting and their spouse's coparenting, and they were labeled parenting cooperation, parenting agreement, and parenting sharing. Through confirmatory factor analysis, 13 items were identified with three factors. Second, cross-validation was performed on a new group with confirmatory factor analysis, and as a result, validity was secured by satisfying the model validation criteria. In addition, the correlation between the existing scale and parenting efficacy was significant, thus securing concurrent validity. Conclusion/Implications: Through this study, the coparenting scale(mother's version) that was developed may provide practical guidelines for family coparenting by identifying mothers' perceptions of coparenting, and can be used in parent education and child-rearing policies.