• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.03 seconds

Field Feasibility Study of an Eddy Current Testing System for Steam Generator Tubes of Nuclear Power Plant (원전 증기발생기 와전류검사 시스템 현장적용 연구)

  • Moon, Gyoon-Young;Lee, Tae-Hun;Kim, In-Chul
    • Transactions of the Korean Society of Pressure Vessels and Piping
    • /
    • v.11 no.2
    • /
    • pp.13-19
    • /
    • 2015
  • Steam generator is one of the most important component of nuclear power plant, and it's integrity and reliability are to be assured to high level by pre-service inspection and in-service inspection. To improve the reliability of steam generator heat exchanger tubes and to secure the management of nuclear power plant safely, KHNP CRI recently has developed eddy current testing system for steam generator. KHNP CRI have performed a series of experimental verification and field application to confirm the performance of the developed ECT system in accordance with ASME Code requirements. The ECT system consists of a remote data acquisition unit, an ECT signal acquisition and analysis software, a water chamber robot controller and a probe push-puller. In this paper, we will details of the developed ECT system and the software and their experimental performance. And also we will report the field applying performance and the issues for further steps.

Analysis of Vibration-powered Piezoelectric Energy Harvesters by Using Equivalent Circuit Models (등가 회로 모델을 이용한 압전 진동 에너지 수확 장치의 해석)

  • Kim, Jae-Eun
    • Transactions of the Korean Society for Noise and Vibration Engineering
    • /
    • v.20 no.4
    • /
    • pp.397-404
    • /
    • 2010
  • The use of equivalent circuit models of piezoelectric energy harvesters is inevitable when power circuitry including rectifying and smoothing circuit elements is connected to them for evaluating DC electrical outputs. This is because it is difficult to incorporate the electro-mechanical coupling resulting from the additional circuitry into the conventional finite element analysis. Motivated by this observation, we propose a method to accurately extract the equivalent circuit parameters by using commercially available FEM software such as ANSYS which provides three-dimensional AC piezoelectric analysis. Then the equivalent circuit can be analyzed by circuit simulators such as $SimPowerSystems^{TM}$ of MATLAB. While the previous works have estimated the circuit parameters by experimental measurements or by analytical solutions developed only for limited geometries and boundary conditions, the proposed method has no such limitation because piezoelectric energy harvesters of any shapes and boundary conditions can be treated in FEM software. For the verification of the proposed method, multi-modal AC electrical power output by using a corresponding equivalent circuit is compared with that by ANSYS. The proposed method is then shown to be very useful in the subsequent evaluation of DC electrical output which is obtained by attaching a bridge diode and a storage capacitor to a piezoelectric energy harvester.

Telemetry Data Processing in Flight Software of Korea Multi-Purpose Satellite-2 (다목적실용위성 2호 탑재소프트웨어에서 Telemetry 데이터 처리)

  • 이재승;강수연;이종인;윤정오;박영호
    • Proceedings of the Korea Society for Industrial Systems Conference
    • /
    • 2003.05a
    • /
    • pp.70-74
    • /
    • 2003
  • Recently, many kinds of satellites are developed in many countries. The satellite contains various data, such as hardware status data attitude date an information, etc. And the ground station must check these data for successful operation These data is called as telemetry. Flight software is responsible for the telemetry processing. In KOMPSAT(Korea Multi-Purpose Satellite)-2, the telemetry processing logic takes the table-driven method to make satellite data flow efficient In this paper, the telemetry processing in KOMPSAT-2 is described Verification test and integration test are being carried out for the FSW of KOMPSAT-2.

  • PDF

Method of Conducting and Verification for Failure Mode Effect Test of Rotary Automatic Flight Control System Software (회전익 자동비행제어시스템 소프트웨어의 FMET 수행 및 검증 방안)

  • Yeom, WooSung;Ha, Seokwun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.48 no.1
    • /
    • pp.55-62
    • /
    • 2020
  • It is necessary to develop digital flight control system by digital control technology to ensure stability and maneuverability of rotary helicopter. It is important to meet functional requirements of helicopter flight control system OFP and verify system reliability directly linked to flight safety as a core technology that avoids the transfer of technology by overseas advanced helicopter manufacturer. In this paper, we studied how to perform FMET for operational flight program of rotary automatic flight control system.

HW/SW co-design of H.264/AVC Decoder using ARM-Excalibur (ARM-Excalibur를 이용한 H.264/AVC 디코더의 HW/SW 병행 설계)

  • Jung, Jun-Mo
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.10 no.7
    • /
    • pp.1480-1483
    • /
    • 2009
  • In this paper, the hardware(HW) and software(SW) co-design methodology of H.264/AVC decoder using ARM-Excalibur is proposed. The SoC consists of embedded processor, memory, peripheral device and logic circuits. Recently, the co-design method which designs simultaneously HW and SW part is a new paradigm in SoC design. Because the optimization for partitioning the SoC system is very difficult, the verification must be performed earlier in design flow. We designed the H.264 and AVC Decoder using co-design method. It is shown that, for the proposed co-design method, the performance improvements can be obtained.

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

  • Kim, Yun-Kyu;Kim, Tae-Yeon;Chae, Heung-Seok
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.15 no.8
    • /
    • pp.596-600
    • /
    • 2009
  • To support an efficient management of software verification and validation activities, many defect prediction models have been proposed based on object oriented metrics. They usually adopt logistic regression analysis, And, they state that the correctness of prediction is about 60${\sim}$70%, We performed a similar experiment with Eclipse 3.3 to check their prediction effectiveness, However, the result shows that correctness is about 40% which is much lower than the original results. We also found that univariate logistic regression analysis produces better results than multivariate logistic regression analysis.

Finite element procedures for the numerical simulation of fatigue crack propagation under mixed mode loading

  • Alshoaibi, Abdulnaser M.
    • Structural Engineering and Mechanics
    • /
    • v.35 no.3
    • /
    • pp.283-299
    • /
    • 2010
  • This paper addresses the numerical simulation of fatigue crack growth in arbitrary 2D geometries under constant amplitude loading by the using a new finite element software. The purpose of this software is on the determination of 2D crack paths and surfaces as well as on the evaluation of components Lifetimes as a part of the damage tolerant assessment. Throughout the simulation of fatigue crack propagation an automatic adaptive mesh is carried out in the vicinity of the crack front nodes and in the elements which represent the higher stresses distribution. The fatigue crack direction and the corresponding stress-intensity factors are estimated at each small crack increment by employing the displacement extrapolation technique under facilitation of singular crack tip elements. The propagation is modeled by successive linear extensions, which are determined by the stress intensity factors under linear elastic fracture mechanics (LEFM) assumption. The stress intensity factors range history must be recorded along the small crack increments. Upon completion of the stress intensity factors range history recording, fatigue crack propagation life of the examined specimen is predicted. A consistent transfer algorithm and a crack relaxation method are proposed and implemented for this purpose. Verification of the predicted fatigue life is validated with relevant experimental data and numerical results obtained by other researchers. The comparisons show that the program is capable of demonstrating the fatigue life prediction results as well as the fatigue crack path satisfactorily.

Developing of New a Tensorflow Tutorial Model on Machine Learning : Focusing on the Kaggle Titanic Dataset (텐서플로우 튜토리얼 방식의 머신러닝 신규 모델 개발 : 캐글 타이타닉 데이터 셋을 중심으로)

  • Kim, Dong Gil;Park, Yong-Soon;Park, Lae-Jeong;Chung, Tae-Yun
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.14 no.4
    • /
    • pp.207-218
    • /
    • 2019
  • The purpose of this study is to develop a model that can systematically study the whole learning process of machine learning. Since the existing model describes the learning process with minimum coding, it can learn the progress of machine learning sequentially through the new model, and can visualize each process using the tensor flow. The new model used all of the existing model algorithms and confirmed the importance of the variables that affect the target variable, survival. The used to classification training data into training and verification, and to evaluate the performance of the model with test data. As a result of the final analysis, the ensemble techniques is the all tutorial model showed high performance, and the maximum performance of the model was improved by maximum 5.2% when compared with the existing model using. In future research, it is necessary to construct an environment in which machine learning can be learned regardless of the data preprocessing method and OS that can learn a model that is better than the existing performance.

Studying the effects of CFRP and GFRP sheets on the strengthening of self-compacting RC girders

  • Mazloom, Moosa;Mehrvand, Morteza;Pourhaji, Pardis;Savaripour, Azim
    • Structural Monitoring and Maintenance
    • /
    • v.6 no.1
    • /
    • pp.47-66
    • /
    • 2019
  • One method of retrofitting concrete structures is to use fiber reinforced polymers (FRP). In this research, the shear, torsional and flexural strengthening of self-compacting reinforced concrete (RC) girders are fulfilled with glass fiber reinforced polymer (GFRP) and carbon fiber reinforced polymer (CFRP) materials. At first, for verification, the experimental results were compared with numerical modeling results obtained from ABAQUS software version 6.10. Then the reinforcing sheets were attached to concrete girders in one and two layers. Studying numerical results obtained from ABAQUS software showed that the girders stiffness decreased with the propagations of cracks in them, and then the extra stresses were tolerated by adhesive layers and GFRP and CFRP sheets, which resulted in increasing the bearing capacity of the studied girders. In fact, shear, torsion and bending strengths of the girders increased by reinforcing girders with adding GFRP and CFRP sheets. The samples including two layers of CFRP had the maximum efficiencies that were 90, 76 and 60 percent of improvement in shear, torsion and bending strengths, respectively. It is worth noting that the bearing capacity of concrete girders with adding one layer of CFRP was slightly higher than the ones having two layers of GFRP in all circumstances; therefore, despite the lower initial cost of GFRP, using CFRP can be more economical in some conditions.

Verification on Separation Distance Criteria when Transporting Dangerous Goods in Korea Railroad (국내 철도 위험물 운송 시 격리차 운영기준 안전성 검증)

  • Lee, Byeongwoo;Park, Dasung;Kang, Taesun;Jung, Seungho
    • Journal of the Korean Society of Safety
    • /
    • v.34 no.2
    • /
    • pp.28-33
    • /
    • 2019
  • After the Tianjin Port explosion on 2015, it is highlighted that securing safety for dangerous goods in Korea and try to establish safety standards for railroad dangerous substances transport. In Korea, the regulation for the transport of dangerous goods is stipulated to need 3 buffer cars. However, It is inefficient that 3 buffer cars. because 3 buffer cars, increase transportation too much costs in transit and it is too strict compared to other country rules. The purpose of this study was to improve transportation efficiency by mitigating the criteria for isolated railroads through rational safety assessment. In order to verify this, we used a risk assessment software which is PHAST 7.2 developed by DNV GL. We calculated safety distances that could prevent ignitions setting up scenarios when relief system work installed on a train loaded with propylene, nonane. As a result, we confirmed that buffer cars can be reduced from three to one. This result would be implemented in the application of Korail.