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

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

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

  • 변진구;허기봉;이광현;석진영
    • 한국항공우주학회지
    • /
    • 제44권4호
    • /
    • pp.316-323
    • /
    • 2016
  • 무인항공기는 자동모드에서는 사전에 계획된 항로점(비행이거나 이/착륙)들을 입력받아 자동으로 비행한다. 무인항공기는 수동모드에서도 유인항공기와 달리 조종사가 비행체에 탑승하지 않고 지상 통제실에서 조종입력을 인가하면 무선 데이터링크를 통하여 조종입력을 전달 받아 비행하게 된다. 데이터 링크는 여러 가지 이유로 통신두절이 될 수 있으며, 이때 무인항공기는 자동으로 비행모드를 수동에서 자동으로 전환하여 비행해야 한다. 그러므로 무인항공기에서 비행조종컴퓨터는 비행안전을 담당하는 매우 중요한 장비로 철저한 검증이 요구된다. 본 논문은 무인항공기의 비행제어컴퓨터가 비행성 요구조건을 만족하고, 다양한 고장이나 비상상황에서도 강건함을 입증할 수 있도록 비행제어 알고리즘의 검증환경인 HILS(Hardware In the Loop Simulation) 시험환경을 개발할 때 고려해야 할 사항들을 연구한 것으로 비행제어 HILS 시험환경의 구성장비들과 기타 고려사항 들을 제시한다.

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

  • 박찬배
    • 한국철도학회논문집
    • /
    • 제20권2호
    • /
    • pp.196-202
    • /
    • 2017
  • 초고속열차 추진용 실모델 선형동기전동기(Linear Synchronous Motor, LSM)의 고속운전시험을 위해서는 매우 긴 노선이 필요하고, 이로 인해 막대한 비용이 요구되며, 개발 도중 시행오차가 발생할 경우 경제적 손실이 크게 발생할 우려가 있다. 따라서 저 비용의 축소모델을 이용한 LSM 설계 기술의 타당성 검증 연구가 개발 초기 단계에 이루어져야 한다. 회전형 구조를 갖는 LSM 축소모델을 적용한 성능시험기를 통하여 LSM의 지상전기자 권선의 최적방식 도출 및 기기적 특성 파악이 가능하며, 제어시스템의 선행연구 수행에 활용이 가능하다. 따라서 본 논문에서는 600km/h급 초고속열차 추진용 LSM의 요구사양에 부합하는 회전형 시험기의 설계 모델을 도출하고, 전자계 해석 및 기구적 강성 해석을 통하여 1500rpm 이상의 고속 회전 조건에서의 최적 모델을 도출하였다.

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

  • 송윤영;염성수
    • 대기
    • /
    • 제23권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.

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

  • 강수진;정현모;서정기;오현웅
    • 한국항공우주학회지
    • /
    • 제43권9호
    • /
    • pp.814-821
    • /
    • 2015
  • 극초소형 위성으로 분류되는 큐브위성 STEP Cube Lab.(Cube Laboratory for Space Technology Experimental Project)은 우주기반 핵심기술들의 궤도검증을 주 임무로 2015년 발사를 위해 최종 비행모델의 개발을 완료하였다. 상기 임무를 위해 STEP Cube Lab.은 수동 열제어를 기반으로 최적화된 열제어 설계를 수행하였으며, 수락(acceptance) 수준의 열진공시험을 통해 위성 성능 및 열제어 설계의 검증을 완료하였다. 또한 열평형 시험을 통해 위성 열-수치 모델의 신뢰도 향상을 위한 보정 작업을 수행하였다. 본 논문에서는 STEP Cube Lab. FM의 열진공시험을 통한 일련의 검증 과정에 대해 서술하고자 한다.

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

  • 추정환;정현범;홍상렬;김용갑;김재산
    • 대한기계학회논문집A
    • /
    • 제41권5호
    • /
    • pp.421-426
    • /
    • 2017
  • 본 연구에서는 횡등방성 특성을 갖는 인쇄회로기판(PCB)의 물성 예측을 위한 방법을 제안하였다. 등방성 소재와 달리 횡등방성 소재의 물성 취득을 위한 별도의 시험기준은 없으며, PCB와 같이 적층된 형태의 박판 구조물에 대해서는 재료시험 또한 쉽지가 않다. 모달시험을 통해 취득한 모달 파라미터와 상용 소프트웨어인 $OptiStruct^{(R)}$의 치수 최적화 기법을 활용, 시험-해석 간 주파수 차이를 최소화시키는 강성행렬 성분을 도출하여 기계적 물성을 예측하였다. 또한 주파수 별 모드형상을 MAC(Modal Assurance Criteria) 값을 기준으로 비교, 검토하여 예측 물성에 대한 유효성을 확인하였다. 제안된 방법은 향후 PCB를 포함하는 전장제품의 설계검증을 위한 구조해석에 확대 적용될 것으로 기대한다.

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

  • 장병윤
    • 한국시뮬레이션학회논문지
    • /
    • 제21권3호
    • /
    • pp.11-16
    • /
    • 2012
  • 시뮬레이션은 시간에 따라 변화하는 실제 프로세스나 시스템에 대한 운영을 모방한다. 이 방법론은 실제 시스템의 운영적 특성들을 연구하는데 관심을 가진다. 일반적으로 시뮬레이션 프로젝트는 자료수집, 코딩, 모델 타당성 및 유효성 검증, 실험 계획, 출력 자료 분석, 적용과 같은 여러 가지 단계들을 거친다. 본 논문에서는 이와 같은 여러 단계들 중 시뮬레이션 출력 자료의 통계적 분석에 대한 연구들을 살펴 보기로 한다. 특별히 본 연구에서는 종료형(terminating) 시뮬레이션과 비종료형(non-terminating) 시뮬레이션 각각의 경우에 대한 평균 ${\mu}$를 구간 추정하는 방법을 설명한다. 그런 다음 이 연구결과를 확장한 일반적인 평균 ${\mu}$의 보다 더 일반화된 형태인 $f({\mu})$를 추정하는 방법에 대해 설명한다. 여기서 함수 $f({\bullet})$은 비선형 함수로서 $f'({\mu}){\neq}0$${\mu}$의 이웃에서 미분 가능한 함수이다.

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

  • 김태연;김윤규;채흥석
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.407-416
    • /
    • 2009
  • 검증과 확인을 통한 소프트웨어의 효율적인 관리를 지원하기 위하여 많은 연구들이 개발 초기 단계에 예측하기 위한 목적으로 연구를 하고 있다. 기존의 많은 연구들이 결함을 예측하기 위한 모형들을 제시했지만 기존의 연구에서는 결함 예측 모형을 다른 시스템에 범용적으로 적용이 가능한지에 대한 충분한 연구가 없었다. 또한 대부분의 결함 예측 모형은 모형 개발 당시와 같은 동일 시스템에서 예측력을 평가하였다. 그러므로 본 연구에서는 결함 예측 모형이 개발 당시와 다른 시스템에 범용적으로 적용될 수 있는지에 관하여 실험하였다. 실험은 3개의 실험 대상 시스템에 3개의 결함 예측 모형을 적용하여 예측력을 평가하였다. 실험 결과에서는 모형의 범용성에 대하여 찾을 수 없었다. 이는 모형의 개발 당시 시스템의 메트릭 분포가 실험 대상 시스템과 다르기 때문으로 분석된다. 따라서 결함 예측 모형을 타 시스템에도 적용할 수 있도록 결함 예측 능력의 범용성을 높이기 위한 추후 연구가 필요함을 확인하였다.

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

  • 이진호;김민정;이재웅;김미령;이인희;김은지
    • Journal of Acupuncture Research
    • /
    • 제32권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 -)

  • 이경희;김영훈;부유경
    • 한국병원경영학회지
    • /
    • 제21권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.

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

  • 아마르멘드;이은철;이정원;이병정
    • 인터넷정보학회논문지
    • /
    • 제17권2호
    • /
    • pp.39-47
    • /
    • 2016
  • 일반적으로 소프트웨어 R&D 프로젝트에서는 프로그램 코드와 문서 산출물이 생성된다. 이러한 소프트웨어 R&D 산출물들은 두가지로 분류할 수 있다. 첫 번째 분류는 연차 실적 계획서, 연구개발과제계획서, 연구성과보고서, 연구 노트와 같은 소프트웨어 연구 산출물들이 포함된다. 그리고 다른 분류는 소프트웨어 요구사항 명세서, 소프트웨어 설계 명세서, 소프트웨어 테스트 계획서, 프로그램 코드와 같은 소프트웨어 개발 산출물들이다. 프로젝트의 진행 방향을 확인할 때 프로그램 코드를 테스트하고 문서 산출물을 검증하는 것이 중요하다. 또한 연구 문서와 개발 산출물 사이에 완전성, 일관성 등의 관계를 확인해야 한다. 그러한 검증과 테스트는 프로젝트 관리자와 연구자들이 프로젝트를 진행하는 동안 올바르게 진행하고 있다는 확신을 준다. 그러므로 본 연구에서는 소프트웨어 R&D에서 생성되는 문서와 프로그램을 검증하는 프로세스를 제안한다. 본 프로세스는 문서 산출물을 검토하고 프로그램 코드를 테스트하는 활동으로 구성되어 있으며, Essence를 사용하여 정의된다. 그리고 본 연구에서 제안하는 프로세스의 효율성을 사례 연구를 통해 보인다.