• 제목/요약/키워드: Verification and validation

검색결과 563건 처리시간 0.024초

Development Process of FPGA-based Departure from Nucleate Boiling Ratio Algorithm Using Systems Engineering Approach

  • Hwang, In Sok;Jung, Jae Cheon
    • 시스템엔지니어링학술지
    • /
    • 제14권2호
    • /
    • pp.41-48
    • /
    • 2018
  • This paper describes the systems engineering development process for the Departure from Nucleate Boiling Ratio (DNBR) algorithm using FPGA. Current Core Protection Calculator System (CPCS) requirement and DNBR logic are analyzed in the reverse engineering phase and the new FPGA based DNBR algorithm is designed in the re-engineering phase. FPGA based DNBR algorithm is developed by VHSIC Hardware Description Language (VHDL) in the implementation phase and VHDL DNBR software is verified in the software Verification & Validation phase. Test cases are developed to perform the software module test for VHDL software modules. The APR 1400 simulator is used to collect the inputs data in 100%, 75%, and 50% reactor power condition. Test input signals are injected to the software modules following test case tables and output signals are compared with the expected test value. Minimum DNBR value from developed DNBR algorithm is validated by KEPCO E&C CPCS development facility. This paper summarizes the process to develop the FPGA-based DNBR calculation algorithm using systems engineering approach.

6시그마 기법을 적용한 원자력 터빈 시뮬레이터의 발전기 출력 연산오차 저감 (The Reduction of Generator Output Calculation by Using 6σ Method on Steam Turbine Simulator in a Nuclear Power Plant)

  • 최인규;김종안;박두용;우주희;신만수
    • 전기학회논문지
    • /
    • 제60권5호
    • /
    • pp.1017-1022
    • /
    • 2011
  • This paper describes the improvement of the calculation by using $6{\sigma}$ method on steam turbine simulator in a nuclear power plant. The simulator is essential to not only verification and validation of control logic but also making sure of control constants in upgrading the long time used control system into the new one. And the dynamic model is a key point in that simulator. The model used during the retrofit period of the turbine controller in Kori Nuclear Power Plant makes difference in calculating generator output and control valve positions. That is because such operating data as the main steam pressure, the main steam temperature and control valve positions of Yongkwang #3 are different from those of Kori #4. Therefore, the model parameters must be tuned by using actual operating data for the high fidelity of simulator in calculating the dynamic characteristic of the model. This paper describes that the $6{\sigma}$ method is used in improvement of precision of generator output calculation in the steam turbine model of the simulator.

터보펌프 실매질 시험설비 구축에 대한 소개 (Introduction to Construction of a Turbopump Real-Propellant Test Facility)

  • 김진선;고영성
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2011년도 제37회 추계학술대회논문집
    • /
    • pp.835-840
    • /
    • 2011
  • 한국형발사체에서 독자적인 액체로켓엔진을 확보하기 위해 터보펌프개발은 필수적인 항목이라고 볼 수 있으며, 이 터보펌프의 실험적 신뢰성검증을 위한 실매질 시험설비의 구축을 위해 최근 액체산소와 케로신을 토대로 한 시험설비의 상세설계가 수행되어져 왔다. 본 논문에서는 시험설비 설계결과를 토대로 75톤급 터보펌프의 요구규격과 함께 실매질 시험설비의 설계규격을 제시하였고, 대표적인 서브시스템들의 설계결과를 설명하였다. 또한, 시험설비 운용과정에서 발생할 수 있는 주요 서브시스템에 대한 불확실성을 시뮬레이션과 실험적 검증을 통하여 사전에 제거할 수 있도록 하였다.

  • PDF

게임 평가도구로써 감성 평가시스템의 타당화 -Jakob Nielsen의 사용성 평가시스템과의 비교를 중심으로- (Validation in Emotional Evaluation System as Game Evaluation Tool -Focused on Comparison with Jakob Nielson's Evaluation System-)

  • 서미라
    • 한국콘텐츠학회논문지
    • /
    • 제7권8호
    • /
    • pp.86-93
    • /
    • 2007
  • 사용자의 감성적 요구의 증대로 최근 급성장하고 있는 온라인 게임 산업에도 감성적 성향을 가진 게임 개발에 심혈을 기울이고 있다. 게임의 근간이 되는 인간의 감성을 자극하여 몰입을 유도하는 온라인 게임개발에 있어서 반드시 거쳐야 하는 평가단계가 있는데, 이 단계에서 게임의 기능은 물론 감성적 평가를 할 수 있는 감성 평가시스템은 사용성과 인간 감성 욕구를 게임 출시 전에 검증해볼 수 있는 평가방법으로 알려져 있다. 그럼에도 불구하고 감성 평가시스템의 효용성과 타당성 검증에 관한 연구 결과가 부재한 현 상황에서 본 연구는 피 실험자인 일반 사용자 그룹을 통해 Jakob Nielson의 사용성 평가시스템과 비교하여 게임의 평가 도구로써 감성 평가시스템의 유용성 및 타당성에 관하여 연구하고자 한다.

신형안전주입탱크의 성능개선 및 검증 (Performance Improvement and Validation of Advanced Safety Injection Tanks)

  • 윤영중;주인철;권태순;송철화
    • 한국압력기기공학회 논문집
    • /
    • 제7권1호
    • /
    • pp.1-8
    • /
    • 2011
  • Advanced SITs of the evolutionary PWRs have the advantage that they can passively control the ECC water discharge flow rate. Thus, the LPSI pumps can be eliminated from the safety injection system owing to the benefit of the advanced SITs. In the present study, a passive sealing plate was designed in order to overcome the shortcoming of the advanced SITs, i.e., the early nitrogen discharge through the stand pipe. The operating principle of the sealing plate depends only on the natural phenomena of buoyancy and gravity. The performance of the sealing plate was evaluated using the VAPER test facility, equipped with a full-scale SIT. It was verified that the passive sealing plate effectively prevented the air discharge during the entire duration of the ECC water discharge. Also, the major performance parameters of the advanced SIT were not changed with the installation of the sealing plate.

동력경운기(動力耕耘機)의 안정성(安定性) 향상(向上)을 위한 주행(走行) 및 선회(旋回)에 관(關)한 연구(硏究) (III) -동력경운기(動力耕耘機)-트레일러 시스템 운동(運動)모델의 검증(檢證)- (Motion Analysis of Power Tiller for Stability Improvement (III) -Verification of a Mathematical Model of Motion for Power Tiller-Trailer System-)

  • 박금주;류관희;정창주;김경욱;유수남
    • Journal of Biosystems Engineering
    • /
    • 제13권2호
    • /
    • pp.1-8
    • /
    • 1988
  • A scale model of power tiller-trailer system with the same kinematic characteristics was constructed one eighth of the actual size to validate the effectiveness of mathematical model of motion. The parameters for the scale model of power tiller-trailer system were measured by a series of laboratory experiments. Validation tests for the: scale model was conducted under several ground and operating conditions. The tests were performed on artificial ground surfaces with several kind, of slope and obstacle. The travel path of the scale model was photographed successively in three directions. The travel paths obtained from both the film analysis and the simulation model appeared to be consistent with each other. It was concluded that the simulation model could be used to predict the motion of actual power tiller-trailer system if the parameters for actual power tiller and trailer are provided.

  • PDF

0-1 혼합정수계획법을 이용한 LCD 패널 절단 문제 최적화 (Optimization of LCD Panel Cutting Problem Using 0-1 Mixed Integer Programming)

  • 김기동;박현지;심윤섭;전태보
    • 센서학회지
    • /
    • 제26권4호
    • /
    • pp.274-279
    • /
    • 2017
  • LCD(Liquid Crystal Display) panel cutting problem is a sort of two dimensional cutting stock problem. A cutting stock problem is problem that it minimizes the loss of the stock when a stock is cut into various parts. In the most research of the two dimensional cutting stock problem, it is supposed that the relative angle of a stock and parts is not important. Usually the angle is regarded as horizontal or perpendicular. In the manufacturing of polarizing film of LCD, the relative angle should be maintained at some specific angle because of the physical and/or chemical characteristics of raw material. We propose a mathematical model for solving this problem, a two-dimensional non-Guillotine cutting stock problem that is restricted by an arranged angle. Some example problems are solved by the C++ program using ILOG CPLEX classes. We could get the verification and validation of the suggested model based on the solutions.

R&D 소프트웨어 연구 활동 지원을 위한 전문가 평가 가이드라인 생성 (Generating a Guideline of Expert Assessment to Support Feedback of Research Activity of R&D Software)

  • 신종환;백두산;이병정;이정원
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2016년도 춘계학술발표대회
    • /
    • pp.500-503
    • /
    • 2016
  • 소프트웨어의 개발 단계에서는 검증을 위한 V&V(Verification & Validation) 프로세스를 통해 체계적인 개발 활동이 가능하도록 지원하고 있다. 이에 반해 소프트웨어 요구사항 분석 이전에 수행되는 연구 단계는 그렇지 못하며, 또한 소프트웨어 연구 사업의 평가 시 구체적인 기준의 부재, 평가 시간과 수집된 자료의 부족 등의 문제가 제기 되었다. 따라서 본 논문에서는 연구자의 연구 활동과 연구 평가자의 연구 평가 활동을 지원하기 위해 소프트웨어 관련 국제 표준에서 추출한 요구사항을 바탕으로 하여 목표 구조, 평가 메트릭을 도출하고, 평가 시나리오와 그것을 해설해주는 가이드라인을 생성하는 방법을 제안한다. 우리의 연구는 연구 평가를 위한 메트릭 가이드라인인 라이덴 선언에 일부 부합하는 것을 확인하였다. 연구 결과는 연구 평가의 효율화와 자동화를 위한 향후 연구의 기초가 될 것이다.

객체지향 메트릭을 이용한 결함 예측 모형의 실험적 비교 (A Comparative Experiment of Software Defect Prediction Models using Object Oriented Metrics)

  • 김윤규;김태연;채흥석
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권8호
    • /
    • pp.596-600
    • /
    • 2009
  • 검증과 확인을 통한 소프트웨어의 효율적인 관리를 지원하기 위하여 객체지향 메트릭 기반의 결함 예측 모형이 많이 제안되고 있다. 제안된 모형은 주로 로지스틱 회귀분석으로 개발하였다. 그리고 개발된 모형의 결함 예측 정확도는 60${\sim}$70%이었다. 본 논문에서는 기존 결함 예측 모형의 효과를 확인하기 위하여 이클립스 3.3을 대상으로 개발된 모형과 유사한 방법으로 실험을 하였다. 실험 결과 모형의 정확성은 약 40%이었다. 이는 주장된 예측력보다 많이 낮은 수치이었다. 또한 단순 로지스틱 회귀분석이 다중 로지스틱 회귀분석보다 높은 예측력을 보였다.

비대칭성이 고려된 나선형 시험 모델을 통한 손상 수상함의 직진 안정성 추정 (Estimation of Straight Line Stability of a Damaged Surface Combatant through Spiral Maneuver Test Model Considering Asymmetry)

  • 하정수;정연환
    • 시스템엔지니어링학술지
    • /
    • 제16권2호
    • /
    • pp.110-117
    • /
    • 2020
  • In this paper, we estimated the straight line stability by performing a 3 degree of freedom spiral test simulation of a intact/damaged surface combatant using the hydrodynamic coefficient obtained through the PMM(Planar motion mechanism) test based on system engineering process. A model ship was ONR Tumblehome and damaged compartment was set on the starboard bow. As a result of conducting a spiral test simulation based on the experimental results of J.Ha (2018), the asymmetric straight line stability due to the damaged compartment was confirmed. In the case of a ship in which the starboard bow was damaged, it was confirmed that it had the characteristic to deflect to the left when going straight. Also, when estimating the straight line stability of a both port and starboard asymmetric surface combatant, a separated equation of motion model that sees the port and starboard as different ships seems suitable.