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

검색결과 289건 처리시간 0.03초

지체장애인의 운동참여제약 측정척도 개발 -요인구조 탐색과 준거관련타당도 검증- (Developing a Scale for Measuring the Constraints in Physical Activity of People with Physical Disabilities - Verification of Factor Structure and Related Criterion Validity -)

  • 서은철;백재근
    • 재활복지
    • /
    • 제21권1호
    • /
    • pp.253-277
    • /
    • 2017
  • 이 연구는 지체장애인의 운동참여제약을 측정할 수 있는 운동참여제약 측정도구(Constraints in Physical Activity Scale for people with physical Disabilities: CPASD)를 개발하는 데에 목적이 있다. 이를 위해 이 연구에서는 Messick(1995)의 통합적 타당도, Benson(1998)의 강력한 구인타당도 프로그램 틀을 기반으로 한 다섯 가지 단계로 연구를 설계하였고, 지체장애인 264명을 대상으로 공통요인모형과 측정모형을 적용하여 CPASD의 타당도 증거를 체계적으로 제시하였다. 이 연구의 결과와 논의를 토대로 결론을 제시하면 다음과 같다. 첫째, CPASD는 구인타당도의 증거를 제시하였다. 요인구조의 해석가능성과 요인계수의 적합성을 통해 지도자 제약, 경제적 제약, 편견, 운동환경 제약으로 구성된 4요인, 17개 문항으로 개발되었다. 둘째, 개발된 CPASD의 요인구조(지도자제약, 경제적제약, 편견, 운동환경제약)는 통계적으로 구분됨과 동시에, 기존 운동참여제약 관련 이론을 안정적으로 반영하였다. 셋째, 개발된 CPASD는 준거관련타당도 증거를 제시하였다. 지도자제약, 편견은 긍정적 운동정서와 부적인 상관관계를, 지도자제약, 편견, 운동환경제약은 부정적 운동정서와 정적인 상관관계를 나타내었다. 따라서 후속 연구에서는 CPASD의 요인로 도출된 지도자제약, 경제적제약, 편견, 운동환경제약과 관련된 현재의 제도, 실태 등을 재평가할 필요성이 대두되고, 이를 위해 CPASD를 활용한 인과관계검증, IRT 이론을 적용한 현실 수준정도를 판단할 필요가 있다.

절대절점좌표를 이용한 고속철도 집전성능 동역학 해석 모델 개발 및 검증 (Development and Verification of a Dynamic Analysis Model for the Current-Collection Performance of High-Speed Trains Using the Absolute Nodal Coordinate Formulation)

  • 이진희;박태원
    • 대한기계학회논문집A
    • /
    • 제36권3호
    • /
    • pp.339-346
    • /
    • 2012
  • 철도차량의 집전성능 및 이선율에 대한 사전 평가는 철도차량의 고속화와 더불어 중요시되는 문제이다. 본 논문에서는 유연체 다물체 동역학 해석 기법을 이용하여 가선과 판토그래프 사이의 동적상호작용에 대한 시뮬레이션 모델을 개발하였다. 해석 모델에서 판토그래프는 강체로 모델링 하였으며, 가선계는 탄성 대변형체의 거동을 효과적으로 표현할 수 있는 절대절점좌표를 이용하여 구현하였다. 또한, 가선계와 판토그래프 간의 동적 상호작용의 표현을 위하여 서로간의 상대운동은 슬라이딩 조인트를 이용하여 구속하였다. 개발된 해석 프로그램을 이용하여 철도차량의 주행 속도에 따라 발생하는 접촉력 및 이선율을 평가하였다. 개발 프로그램의 해석 모델 및 시뮬레이션에 대한 신뢰성은 가선계와 판토그래프의 동적 상호작용 시뮬레이션 방법에 대한 국제 규정인 EN 50318에 의하여 검증하였다. 해석 모델의 개발을 통하여 개발 중인 고속철도의 집전성능을 평가할 수 있는 기반을 마련하였다.

객체지향 메트릭을 이용한 결함 예측 모형의 임계치 설정에 관한 실험 (An Experiment for Determining Threshold of Defect Prediction Models using Object Oriented Metrics)

  • 김윤규;채흥석
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권12호
    • /
    • pp.943-947
    • /
    • 2009
  • 소프트웨어의 결함을 예측하고 검증과 확인 활동을 통하여 효율적인 자원을 관리하기 위하여 많은 연구에서 결함 예측 모형을 제안하고 있다. 하지만 기존의 연구는 예측율이 최대 효과를 보이는 임계치에 결함 예측 모형의 예측율을 평가하고 있다. 이는 측정 시스템의 결함 정보를 알고 있는 가정하에서 평가가 이루어지는 것이기 때문에 실제 결함 정보를 알 수 없는 시스템에서는 최적의 임계치를 결정할 수 없다. 그러므로 임계치 선정의 중요성을 확인하기 위하여 본 연구에서는 결함 예측 모형으로 타 시스템의 결함을 예측하는 비교 실험을 하였다. 실험은 기존에 제안된 3개의 결함 예측 모형과 4개의 시스템을 대상으로 하였고 결함 예측 모형의 임계치별 예측의 정확성을 비교하였다. 실험결과에서 임계치는 모형의 예측율과 높은 관련이 있었지만 실제 결함 정보가 확인 안 되는 시스템에 대하여 결함을 예측하는 경우에는 임계치를 선정할 수 없음을 확인하였다. 따라서 결함 예측 모형을 타 시스템에 적용하기 위하석 임계치 선정에 관한 추후 연구가 필요함을 확인하였다.

초고속열차용 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 이상의 고속 회전 조건에서의 최적 모델을 도출하였다.

시뮬레이션 출력 자료 분석에 관한 연구 (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}$의 이웃에서 미분 가능한 함수이다.

회전익 시스템의 시간지연 종속 병렬분산보상제어기 적용과 검증 (Application and Validation of Delay Dependent Parallel Distributed Compensation Controller for Rotary Wing System)

  • 유영진;최윤성;정진석;송우진;강범수
    • 한국항공우주학회지
    • /
    • 제44권12호
    • /
    • pp.1043-1053
    • /
    • 2016
  • 본 논문에서는 비선형성을 가지는 고정피치 프로펠러를 사용하는 회전익 시스템의 병렬분산보상제어기 적용에 대한 연구 내용을 다루고 있다. 틸트 형 무인기 등 발전된 시스템의 제어기 설계 시 요구되는 비선형 모델링을 위해 T-S 퍼지모델을 사용하였다. 병렬분산보상 제어기는 선형행렬부등식을 이용해 설계하였다. 병렬분산보상제어기 적용가능성 판단을 위한 실험은 시뮬레이션과 1축 자세제어장비를 이용해 수행하였다. Mathworks의 Simulink를 사용해 시뮬레이션을 진행하고 설계한 제어기의 전반적인 성능과 특성을 파악하였다. 이후 1축 자세제어장비와 기 개발된 제어기를 이용해 병렬분산보상기법을 적용한 제어기와 결과를 비교하고 성능을 검증하였다. 시뮬레이션 및 실험 결과를 토대로 고정피치 프로펠러를 사용하는 회전익 시스템에서 설계한 병렬분산보상제어기 적용가능성과 개선사항을 분석하였다.

항만 BIM 데이터의 상호운용성 확보를 위한 IFC 표준 개발 (Development of IFC Standard for Securing Interoperability of BIM Data for Port Facilities)

  • 문현석;원지선;신재영
    • 한국BIM학회 논문집
    • /
    • 제10권1호
    • /
    • pp.9-22
    • /
    • 2020
  • Recently, BIM has been extended to infrastructures such as roads and bridges, and the demand for BIM standard development for ports is increasing internationally. Due to the low level of utilization of classification system and drawing standards compared to other infrastructures, and the closed nature of national security facilities, ports have insufficient level of connection and sharing environment among external systems or users. In addition, since the standardization of data for port facilities is not made, it is still necessary to establish an independent DB for each system and to ensure interoperability of data between these systems since it does not have a shared environment among similar data. Therefore, the purpose of this study is to develop and verify IFC, the international standard for BIM, in order to cope with the BIM environment and to be commonly used in the design, construction, and maintenance of port facilities. To this end, we build a standard schema with port-specific Express Notation according to buildingSMART International's standard development methodology. First, domestic and international reference model standards were analyzed to derive components such as space and facilities of port facilities. Based on this, the components of the port facility were derived through the codification, categorization, and normalization process developed by the research team. This was extended based on the port BIM object classification system developed by the research team. Normalization results were verified by designers and associations. Then, IFC schema construction was based on Express-G data modeling based on IFC 4 * 2 Candidate, which is a bridge candidate standard based on IFC4 (ISO16739), and IFC 4 * 3 Draft, which is developed by buildingSMART International. The final schema was validated using the commercialized validation tool. In addition, in order to verify the structural verification of the port IFC schema, the transformation process was verified by converting the caisson model into a Part21 file. In the future, this result will not only be used as a delivery standard for port BIM products, but will also be applied as a linkage standard between systems and a common data format for port BIM platforms when BIM is used in the maintenance phase. In particular, it is expected to be used as a core standard for data exchange in the port maintenance stage.

SW-FMEA 기반의 결함 예방 모델 (A Defect Prevention Model based on SW-FMEA)

  • 김효영;한혁수
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제33권7호
    • /
    • pp.605-614
    • /
    • 2006
  • 성공적인 소프트웨어 개발은 QCD에 의해 결정되며, 그 중 Quality는 Cost와 Delivery를 결정하는 핵심요소이기도 하다. 그리고 소프트웨어의 규모와 복잡도가 증가함에 따라 quality의 조기 확보의 중요성이 점차 커지고 있다. 이러한 관점에서 개발 후 결함을 찾아내고 수정하는 것보다 결함예방을 위해 더 많은 노력을 기울여야 할 것이다. 결함 예방을 위해서는 peer review, testing과 같은 결함 식별활동과 함께 기존에 발생된 defect 에 대한 분석을 통해 발생 가능한 결함의 주업을 차단하는 활동이 필요하며, 이를 위해 기존의 품질 데이타의 조직화 및 활용이 필요하다. 소프트웨어의 품질 예방을 위한 방법으로 system safety 확보를 위해 사용되고 있는 FMEA를 활용할 수 있다. SW-FMEA(Software Fault Mode Effect Analysis)는 예측을 통해 결함을 예방하는 방법으로, 기존에는 요구사항 분석 및 설계 시 많이 활용되어 왔다 이러한 SW-FMEA는 개발 활동을 통해 측정되는 정보를 활용하여, 분석, 설계, 나아가 peer review나 testing 둥 개발 및 관리 활동에 적용하여 결함예방 (defect prevention) 의 수단으로 활용 할 수 있다. 본 논문에서는 기존에 시스템 분석, 설계에 focusing된 SW-FMEA를 변형하여 product 결합뿐 아니라, 개발과정 중 발생할 수 있는 fault를 줄일 수 있는 결함 예방 model을 제안한다.

서포트 벡터 머신을 이용한 NCAM-LAMP 고해상도 중기예측시스템 지점 시계열 자료의 통계적 보정 (A Statistical Correction of Point Time Series Data of the NCAM-LAMP Medium-range Prediction System Using Support Vector Machine)

  • 권수영;이승재;김만일
    • 한국농림기상학회지
    • /
    • 제23권4호
    • /
    • pp.415-423
    • /
    • 2021
  • NCAM-LAMP 중기예측 자료의 통계적 후처리와 개선을 위하여 R 기반의 지점 시계열 자료 검증 체계를 구축하였다. 이 시계열 검증체계를 이용하여 기상청 AWS 관측 자료와 NCAM-LAMP, KMA GDAPS 중기예측 모델 자료를 비교하였다. 이를 위해 관측 지점에 가장 근접한 모델 위도 및 경도 자료를 추출하여 총 9개 지점을 선정하였다. 각 지점에 대해 NCAM-LAMP, GDAPS 모델의 기온, 강수량, 풍속 일평균 예측 자료를 관측과 비교한 결과, 모델들은 풍속의 과대예측 경향을 뚜렷이 보였으며, 기온과 강수의 경우에는 두 모델의 예측력이 월별 및 변수별로 다르게 나타났다. 이를 바탕으로 본 연구에서는 통계적 기법을 개발하여 NCAM-LAMP가 가지고 있는 오차를 줄이고자 하였다. 모델 오차를 줄이기 위해 일반적으로 쓰이는 MOS(Model Output Statistics)기법 중에 인공지능 SVM(Support vector machine) 방식을 8~10월 기간에 적용한 결과, 8월에 비해서 10월이, 기온 변수에 비해서 바람과 강수 변수가 개선된 효과를 보여주었다. 이러한 결과는 풍속의 과대예측을 줄이고, 농림 가뭄지수와 산사태 예측 등을 개선시키며, 지역 수치예보 모델이 시간 적분됨에 따라 영역 내 예측가능성이 점점 저하되는 현상을 완화시키는데 SVM 방법이 일정 부분 기여할 수 있음을 가리키며, 현업 표출 중인 NCAM Agro-Meteogram 개선에도 도움을 줄 것으로 기대된다.

철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석 (Analysis of S/W Test Coverage Automated Tool & Standard in Railway System)

  • 조현정;황종규;신승권;오석문
    • 한국산학기술학회논문지
    • /
    • 제11권11호
    • /
    • pp.4460-4467
    • /
    • 2010
  • 최근 컴퓨터시스템으로 전환되고 있는 철도시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 철도시스템 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 철도 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 철도시스템 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다. 개발한 도구는 기존 해외 도구에 비해서 여러 테스트 커버리지를 효과적으로 측정할 수 있는 강점이 있으며, 실제 철도 현장에서 활용성이 높아 철도 소프트웨어의 개발 및 테스트 기술 발전을 기대할 수 있다.