• Title/Summary/Keyword: Verification and validation

Search Result 563, Processing Time 0.024 seconds

A Study on UAV Flight Control System HILS Test Environment (무인항공기 비행제어 HILS 시험환경 연구)

  • Byun, Jinku;Hur, Gi-Bong;Lee, KwangHyun;Suk, Jinyoung
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.44 no.4
    • /
    • pp.316-323
    • /
    • 2016
  • A UAV(Unmanned Aerial Vehicle) flies along pre-programed navigation points(in-flight, take-off, or landing) automatically without pilot input. Even though UAVs fly differently from general piloted aircraft as the pilot controls the aircraft from a ground station through means of a data-link system. Occasionally, the data-link connection can be lost for any number of reasons, in which case, the FLCC(Flight control Computer) must automatically switch to autopilot to continue flying. Hence, the FLCC is a flight-critical component that must be throughly tested and validated. This paper discusses the development of a HILS(Hardware in the Loop Simulation) test environment designed to simulate real flight conditions to verify the FLCC satisfies flying quality requirements and maintains robustness despite any potential malfunctions or emergency situations.

Study on the Design of a Rotary-type LSM and Test Equipment for Design Verification of LSM for Ultra-high-speed Train (초고속열차용 LSM 설계 검증을 위한 회전형 구조의 LSM 및 시험기 설계 연구)

  • Park, Chan-Bae
    • Journal of the Korean Society for Railway
    • /
    • v.20 no.2
    • /
    • pp.196-202
    • /
    • 2017
  • A very long test track is required for high-speed operation test of the real-scale Linear Synchronous Motor (LSM) for ultra-high-speed trains. The required length results in huge construction cost and economic loss if any error occurs during development. Therefore, validation study of the LSM design technology using a low-cost small-scale model must be carried out in the early research stages. It is possible to deduce an optimal winding method for the armature and determine the mechanical properties of the LSM through a performance tester that applies a rotary-type small-scale LSM model. In addition, it is possible to utilize previous research on LSM control systems. Therefore, a basic design model, comprising a rotary-type LSM tester that meets the requirements for the propulsion of 600km/h-class ultra-high-speed trains, is derived in this study. Finally, an optimal model, which has a stable structure under the condition of 1500rpm or more high-speed rotation, is derived by electromagnetic and mechanical stiffness analysis.

Development and Verification of the Fog Stability Index for Incheon International Airport based on the Measured Fog Characteristics (인천국제공항의 안개 특성에 따른 안개 안정 지수 FSI(Fog Stability Index) 개발 및 검증)

  • Song, Yunyoung;Yum, Seong Soo
    • Atmosphere
    • /
    • v.23 no.4
    • /
    • pp.443-452
    • /
    • 2013
  • The original Fog Stability Index (FSI) is formulated as FSI=$2(T-T_d)+2(T-T_{850})+WS_{850}$, where $T-T_d$ is dew point deficit (temperature-dew point temperature), $T-T_{850}$ is atmospheric stability measure (temperature-temperature at 850 hPa altitude) and $WS_{850}$ is wind speed at 850 hPa altitude. As a way to improve fog prediction at Incheon International Airport (IIA), we develop the modified FSI for IIA, using the meteorological data at IIA for two years from June 2011 to May 2013, the first one year for development and the second one year for validation. The relative contribution of the three parameters of the modified FSI is 9: 1: 0, indicating that $WS_{850}$ is found to be a non-contributing factor for fog formation at IIA. The critical success index (CSI) of the modified FSI is 0.68. Further development is made to consider the fact that fogs at IIA are highly influenced by advection of moisture from the Yellow Sea. One added parameter after statistical evaluation of the several candidate parameters is the dew point deficit at a buoy over the Yellow Sea. The relative contribution of the four parameters (including the new one) of the newly developed FSI is 10: 2: 0.5: 6.4. The CSI of the new FSI is 0.50. Since the developmental period of one year is too short, the FSI should be refined more as the data are accumulated more.

Performance and Thermal Design Validation for FM STEP Cube Lab. (큐브위성 STEP Cube Lab. 비행 모델의 열진공시험을 통한 성능 및 열제어계 설계 검증)

  • Kang, Soo-Jin;Jung, Hyun-Mo;Seo, Joung-Ki;Oh, Hyun-Ung
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.43 no.9
    • /
    • pp.814-821
    • /
    • 2015
  • The STEP Cube Lab. classified as a pico-class satellite has been successfully developed as a flight model(FM) to be launched in 2015. Its mission objective is to perform the on-orbit verification of fundamental space core-technologies. In this study, a thermal design concept based on the passive method to achieve the mission objective is introduced. The effectiveness of the thermal design and performance of the satellite has been verified through the acceptance level thermal vacuum test. In addition, to improve the reliability of thermal mathematical model, correlation was performed using the results of thermal balance test. This paper describes a series of process for the thermal vacuum test on the STEP Cube Lab. FM.

A Study on the Prediction of the Mechanical Properties of Printed Circuit Boards Using Modal Parameters (모달 파라미터 정보를 활용한 PCB 물성 예측에 관한 연구)

  • Choo, Jeong Hwan;Jung, Hyun Bum;Hong, Sang Ryel;Kim, Yong Kap;Kim, Jae San
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.41 no.5
    • /
    • pp.421-426
    • /
    • 2017
  • In this study, we propose a method for predicting the mechanical properties of the printed circuit board (PCB) that has transversely isotropic characteristics. Unlike the isotropic material, there is no specific test standard for acquisition of the transversely isotropic properties. In addition, common material test methods are not readily applicable to that type of laminated thin plate. Utilizing the natural frequency obtained by a modal test and the sizing optimization technique provided in $OptiStruct^{(R)}$, the mechanical properties of a PCB were derived to minimize the difference between test and analysis results. In addition, the validity of the predicted mechanical properties was confirmed by the MAC (Modal Assurance Criteria) value of each of the compared mode shapes. This proposed approach is expected to be extended to the structural analysis for the design verification of the top product that includes a PCB.

Output Data Analysis of Simulation: A Review (시뮬레이션 출력 자료 분석에 관한 연구)

  • Chang, Byeong-Yun
    • Journal of the Korea Society for Simulation
    • /
    • v.21 no.3
    • /
    • pp.11-16
    • /
    • 2012
  • Simulation is the imitation of the operation of a real-world process or system over time. It concerns the study of the operating characteristics of real systems. Typically, a simulation project consists of several steps such as data collection, coding, model verification, model validation, experimental design, output data analysis, and implementation. Among these steps of a simulation study this paper focus on statistical analysis methods of simulation output data. Specially, we explain how to develop confidence interval estimators for mean ${\mu}$ in terminating and non-terminating simulation cases. We, then, explore the estimation techniques for $f({\mu})$, where the function $f({\bullet})$ is a nonlinear that is continuously differentiable in a neighborhood of ${\mu}$ with $f'({\mu}){\neq}0$.

An Experimental Study of Generality of Software Defects Prediction Models based on Object Oriented Metrics (객체지향 메트릭 기반인 결함 예측 모형의 범용성에 관한 실험적 연구)

  • Kim, Tae-Yeon;Kim, Yun-Kyu;Chae, Heung-Seok
    • The KIPS Transactions:PartD
    • /
    • v.16D no.3
    • /
    • pp.407-416
    • /
    • 2009
  • To support an efficient management of software verification and validation activities, much research has been conducted to predict defects in early phase. And defect prediction models have been proposed to predict defects. But the generality of the models has not been experimentally studied for other software system. In other words, most of prediction models were applied only to the same system that had been used to build the prediction models themselves. Therefore, we performed an experiment to explore generality of major prediction models. In the experiment, we applied three defects prediction models to three different systems. As a result, we cannot find their generality of defect prediction capability. The cause is analyzed to result from a different metric distribution between the systems.

A Study on Standardization of Shinbaro Pharmacopuncture Using Herbal Medicines Identification Test and HPLC-DAD (신바로 약침의 한약재 확인시험 및 HPLC-DAD를 통한 표준화 연구)

  • Lee, Jin Ho;Kim, Min Jeong;Lee, Jae Woong;Kim, Me Riong;Lee, In Hee;Kim, Eun Jee
    • Journal of Acupuncture Research
    • /
    • v.32 no.2
    • /
    • pp.1-9
    • /
    • 2015
  • Objectives : The present study was an evaluation and standardization of herbal components in order to establish the efficacy and safety of Shinbaro pharmacopuncture. Methods : Among the raw materials of Shinbaro pharmacopuncture, the components Cibotii Rhizoma, Eucommiae Cortex, and Ledebouriellae Radix were assessed through ingredient verification experiments using thin-layer chromatography(TLC) and ultraviolet rays(UV) lamps. In addition, we standardized Acanthopanacis Cortex and Achyranthis Radix through validation using high performance liquid chromatograph-diode array detector(HPLC-DAD). Results : As result appeared a blue-white fluorescence under ultraviolet rays; changed to dark green after adding 1 % ferric chloride solution(due to Cibotii Rhizoma), and presented a yellow-green fluorescence when mixed with an ethyl ether under UV lamps by way of the ethyl ether layer, confirming Eucommiae Cortex. Ledebouriellae Radix was confirmed as dark brown spots at Rf values of 0.56 and 0.71 using TLC. Additionally, Acanthopanacis Cortex and Achyranthis Radix HPLC test results showed that linearity was $R^2{\geq}0.99$, and detection limit and quantitation limit were 0.23 to $1.29{\mu}g/mL$, and 0.71 to $3.90{\mu}g/mL$, respectively. Furthermore, precision and accuracy were confirmed to have relative standard deviation(RSD) values of 0.10 to 1.89 % and 96.19 to 103.72 %, respectively. Shinbaro pharmacopuncture did not have any overlapping or interference from other peaks in detection under the abovementioned analysis conditions. Conclusions : In conclusion, we confirmed that maintenance of Shinbaro pharmacopuncture validity was possible by means of quality control of Cibotii Rhizoma, Eucommiae Cortex, and Ledebouriellae Radix through ingredient identification and Acanthopanacis Cortex and Achyranthis Radix through high performance liquid chromatograph(HPLC) analysis. Further, we hope to contribute to the development strategy of herbal industry acupuncture.

Development of the Performance Measurement Model of Electronic Medical Record System - Focused on Balanced Score Card - (균형성과표를 활용한 전자의무기록시스템의 성과측정 모형개발)

  • Lee, Kyung Hee;Kim, Young Hoon;Boo, Yoo Kyung
    • Korea Journal of Hospital Management
    • /
    • v.21 no.4
    • /
    • pp.1-12
    • /
    • 2016
  • The purpose of this study are suggest to performance measurement model of Electronic Medical Record(EMR) and Key Performance Index(KPI). For data collection, 665 questionnaires were distributed to medical record administrators and insurance reviewers at 31 hospitals, and 580 questionnaires were collected(collection rate: 87.2%). Regarding methodology, Critical Success Factor(CSF) and index of the information system were derived based on previous studies, and these were set as performance measurement factors of EMR system. The performance measurement factors were constructed by perspective using BSC, and analysis on causal relationship between factors was conducted. A model of causal relationship was established, and performance measurement model of EMR system was proposed through model validation. Analysis on causal relationship between performance management factors revealed that utility cognition of the learning & growth perspective factor had causal relationship with job efficiency(${\beta}=0.20$) and decision support(${\beta}=0.66$) of the internal process perspective factors, and security had causal relationship with system satisfaction(${\beta}=0.31$) of the customer perspective factor. System quality had causal relationship with job efficiency(${\beta}=0.66$) and decision support(${\beta}=0.76$) of the internal process perspective factors, all of which were statistically significant(P<0.01). Job efficiency of the internal process perspective had causal relationship with system satisfaction(${\beta}=0.43$), and decision support had causal relationship with decision support satisfaction(${\beta}=0.91$) and job satisfaction (${\beta}=0.74$), all of which were statistically significant(P<0.01). System satisfaction of the customer perspective had causal relationship with job satisfaction(${\beta}=0.12$), job satisfaction had causal relationship with cost reduction(${\beta}=0.53$) of the financial perspective, and decision support satisfaction had causal relationship with productivity improvement(${\beta}=0.40$)of the financial perspective(P<0.01). Also, cost reduction of the financial perspective had causal relationship with productivity improvement(${\beta}=0.37$), all which were statistically significant(P<0.05). Suitability index verification of the performance measurement model whose causal relationship was found to be statistically significant revealed that $X^2/df=2.875$, RMR=0.036, GFI=0.831, AGFI=0.810, CFI=0.887, NFI=0.838, IFI=0.888, RMSEA=0.057, PNFI=0.781, and PCFI=0.827, all of which were in suitable levels. In conclusion, the performance measurement indices of EMR system include utility cognition, security, and system quality of the learning & growth perspective, decision support and job efficiency of the internal process perspective, system satisfaction, decision support satisfaction, and job satisfaction of the customer perspective, and productivity improvement and cost reduction of the financial perspective. In this study, it is expected that the performance measurement indices and model of EMR system which are suggested by the author, will be a measurement tool available for system performance measurement of EMR system in medical institutions.

Describing Activities to Verify Artifacts(Documents and Program) in Software R&D (소프트웨어 R&D에서 산출물(문서와 프로그램) 검증을 위한 활동)

  • Dashbalbar, Amarmend;Lee, Eun-Chul;Lee, Jung-Won;Lee, Byeongjeong
    • Journal of Internet Computing and Services
    • /
    • v.17 no.2
    • /
    • pp.39-47
    • /
    • 2016
  • In software R&D artifacts including documents and program code are produced. There are two kinds of software R&D artifacts: Research artifacts and development artifacts. Research artifacts include software R&D planning document, annual report, final report, research note and so on. Software development artifacts include software requirements, software design description, testing plan, test report, and program code. It is important to verify the documents and to test code to check the direction of the R&D. Moreover, we should check relationships as such completeness and consistency between research and development artifacts. The verification and testing help project manager and researchers understand what they do during software projects. Therefore, in this study, we present a process to verify documents and program in software R & D. In the process we check documents produced in software R&D and test program code. We describe the process by using Essence elements including alpha, activity, and competency. We present a case study to show the effectiveness of the process.