• Title/Summary/Keyword: 적합성 검증방법

검색결과 956건 처리시간 0.031초

한국형 무인항공기 연동 프로토콜 기반 시스템 구축을 위한 API 기반 공통 DLI 메시지 모듈 설계 (Design of Common DLI Message Module based on API for the System based on Construction of the Korean Unmanned Aerial Vehicle Interface Protocol)

  • 김태원;이신주;이동호;김영곤
    • Journal of Platform Technology
    • /
    • 제10권4호
    • /
    • pp.25-38
    • /
    • 2022
  • 최근 국내에서는 무인항공기 간 상호 운용성을 확보하기 위해 STANAG-4586 기반의 한국형 무인항공기(UAV) 연동 프로토콜(K-4586)을 개발하고 있다. K-4586 기반 무인 항공기 체계(UAS)의 핵심 요소는 Core UAV Control System(CUCS), Vehicle Specific Module(VSM) 및 Data Link Interface(DLI), C4I 시스템으로 이루어져 있다. K-4586 기반 UAS에서 VSM과 CUCS는 UAV 연동을 위한 DLI 메시지 송수신 기능을 개별적으로 포함한다. Generator/Analyzer(G/A) 도구는 핵심 요소인 VSM 및 CUCS에 대한 프로토콜 적합성 검증을 위해 개발되는 도구이며, DLI 메시지 송수신 기능이 포함된 G/A 도구가 별도로 개발되어야 한다. K-4586 기반 핵심 응용프로그램(VSM, CUCS, DLI) 및 G/A 도구는 개발 주체 별로 독립적으로 개발될 수 있다. 만약 개발 주체 별로 DLI 메시지 모듈이 상이한 경우, 프로토콜 적합성 검증 범위 및 결과가 달라지며, 시스템 통합 시 문제가 발생할 수 있다. 본 연구에서는 K-4586 기반 핵심 응용프로그램과 프로토콜 적합성 검증 도구 개발에 필수적인 DLI 메시지 송수신 기능을 API 기반 공통 DLI 메시지 모듈로 구현하였다. 제안한 공통 DLI 메시지 모듈 적용 시, UAS 시스템 개발 기간 단축 및 비용 절감을 기대할 수 있으며, 프로토콜 적합성을 보장할 수 있다. 본 논문에서는 API 기반 공통 DLI 메시지 모듈에 대한 설계 및 구현 방법을 제시하고, 시험을 통한 기능 검증 결과를 기술한다.

통계학적 접근법의 적용을 통한 유사 문제의 분석 (Statistical Analysis on Size of Flocs)

  • 손민우;박병은;변지선
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2019년도 학술발표회
    • /
    • pp.245-245
    • /
    • 2019
  • 점착성 유사는 유사가 가지는 점착력에 의해 응집현상을 겪으며 그 크기와 밀도가 변화한다. 유사의 크기와 밀도는 침강속도에 직접적인 영향을 주며 침강속도는 변화는 유사의 거동에 매우 중요한 작용을 한다. 따라서 점착성 유사의 크기 특성을 파악하는 것은 필수적이다. 본 연구는 유사가 가지는 입도분포를 파악하기 위해 통계학적 접근법을 적용하여 분석하였다. 점착성 유사의 입자가 가지는 입도 분포를 구체화한 결과를 유사의 입도 분포를 위한 수치 모의 연구에 적용하여 모의 결과를 향상시키고 유사 문제의 분석에 용이하도록 하려 한다. 통계학적인 방법 중 적합도 검정을 이용하여 실제 점착성 유사의 입도가 어떠한 분포를 모사하는지 분석하였다. 수집된 입도 분포 자료에 적합도 검정 방법 중 Kolmogorov-Sminorv(K-S) 검정을 이용하였으며 유의수준 5%를 통과할 경우 이론 분포가 점착성 유사의 입도 분포를 잘 모사하는 것으로 판단하였다. 점착성 유사의 입도 분포를 수집하고 그 자료를 바탕으로 적합도 검정을 실시한 결과 많은 연구에서 점착성 유사의 입도 분포로 가정하고 있는 Log-normal 분포가 유의수준 5%를 기준으로 적합도 검정을 통과한 경우는 많지 않았다. 본 연구에서 검정한 결과로는 기존에 이용되는 Log-normal 분포는 위치 매개변수를 추가하여 3 매개변수 분포를 사용할 경우에만 점착성 유사의 입도 분포를 모사한다고 판단된다. 향후에는 점착성 유사의 입도 분포를 모사하고 사용함에 있어 Log-normal 분포를 무조건적으로 이용하는 것은 지양하고 점착성 유사가 가지는 특성을 파악하여 어떠한 입도 분포 형태를 나타낼지 미리 예측하여 이론 분포를 가정한다면 수치모형을 통해 점착성 유사의 입도 분포를 모사할 때 그 정확도가 크게 증가할 것으로 판단된다. 또한 점착성 유사의 입도 분포로서 제시한 GEV 분포와 Gamma 분포, Log-normal 분포를 FM 모형에 결합하여 입도 분포를 모의한 후 그 결과를 실제 현장에서 측정된 입도 분포와 비교하는 과정을 통해 실제 어떠한 분포가 가장 적합하게 모의하는지도 검증할 필요성이 있다고 판단된다. 또한 점착성 유사의 입도를 모사하는 분포를 새로 개발하여 사용한다면 점착성 유사의 이동과 특성을 연구할 때 가장 중요한 크기 특성에 대한 많은 정보를 제공할 수 있으며 유사와 관련된 문제를 용이하게 분석할 것으로 판단된다.

  • PDF

고정익 항공기 공중급유 유형 및 Boom-Receptacle 시스템 비행시험 평가 방안 연구 (A Research on Aerial Refueling Type and Flight Testing of Boom-Receptacle Systems for a Fixed-wing Aircraft)

  • 김대욱;김찬조
    • 항공우주시스템공학회지
    • /
    • 제16권1호
    • /
    • pp.70-80
    • /
    • 2022
  • 공중급유 능력은 항공기의 임무시간 증대와 운용영역 확장을 제공함에 따라 많은 군용기에 적용 및 운영되어왔다. 피급유기가 지정된 급유기로부터 공중급유를 받기 위해서는 기술 및 운용호환성평가를 통해 공중급유허용을 확보해야 한다. 적합성 평가에는 공중급유 조종성, 기능성, 연료, 조명시스템 평가를 포함하고 있으며 비행시험을 통해 최종 검증된다. 그러나 한국에서는 신규개발항공기에 대한 공중급유 적합성 평가를 수행한 사례가 없기 때문에 시험 요구도, 범위 및 프로그램 규모를 결정하기 위한 경험이 없는 상황이다. 본 논문에서는 공중급유 유형 소개와 한국 공군에 도입된 Boom & Receptacle 시스템에 대한 고정익 항공기 공중급유 FCS (Flight Control System) OFP (operational flight program) 검증, 시스템 검증 및 영역 허용 관련 공중급유 비행시험 방법을 연구하였다.

객체지향 프로그램의 클래스 테스팅 (Class testing of Object-oriented program)

  • Dong-Ju, Im;Ho-Jin, Choi
    • 한국컴퓨터정보학회논문지
    • /
    • 제5권2호
    • /
    • pp.7-13
    • /
    • 2000
  • 객체지향 프로그램의 테스트 적합성 기준에 근거한 구현기반 클래스 테스팅 방법을 제안한다. 데이터 멤버간 종속성과 테스트 데이터 적합성에 대한 공리들을 고려하여 흐름 그래프 기반 테스팅 기준을 만족시키는 테스트 케이스인 메소드의 시퀀스를 생성시킨다. 파생 클래스 테스팅을 위해서 유산관계와 실험을 통해 테스트 비용 절감을 검증한 부모 클래스에 대한 테스팅 정보의 재사용성을 고려한다.

  • PDF

2-매개변수 지반분류 방법 및 지반 증폭계수의 검증 (II) - 국내 실지진 기록을 통한 검증 (Verification of 2-Parameters Site Classification System and Site Coefficients (II) - Earthquake Records in Korea)

  • 이세현;박동희;하정곤;김동수
    • 한국지반공학회논문집
    • /
    • 제28권3호
    • /
    • pp.35-43
    • /
    • 2012
  • 동반논문(I. 국외 내진설계기준 및 부지응답특성과의 비교)에 이어서 2-매개변수 지반분류 방법의 지반 증폭계수가 국내 지반조건 및 지반증폭특성에 적합함을 검증하기 위하여, 2003년 이후 국내에서 발생 또는 영향을 미친 주요 지진에 대한 계측 기록을 분석하였다. 거리가 30km 이내인 암반 계측 관측소와 토사지반 계측 관측소의 계측 자료들을 추출하여 시간영역 가속도 신호로부터 암반 및 토사지반에서의 응답스펙트럼을 각각 결정하였고, 이로부터 단주기 및 장주기 증폭계수를 결정하였다. 일부 오류가 발생한 데이터들도 존재하였지만, 대부분 국내 지반 특성에 적합하도록 단주기 영역에서의 증폭이 장주기 영역보다 크게 나타났다. 또한 2-매개변수 지반분류 방법에서 제안하는 지반 증폭계수는 실지진 계측 기록으로부터 획득한 결과와 매우 유사한 경향을 보임으로써 타당성을 확인하였다. 또한, 한국전력연구원에서 운영중인 4개의 765kV 변전소 지진 계측 기록을 추가적으로 분석하였다. 암반 계측과 토사지반 계측 사이의 거리가 수백 m로 가깝게 설치되었으므로 오류 없이 일관된 결과를 도출하였고, 2-매개변수 지반분류 방법의 지반 증폭계수는 경향성 및 절대값에서 실지진 계측 자료 분석 결과와 유사성을 보이면서 국내 지반 조건에 대한 적합성을 검증하였다.

DEVS 다이어그램 기반 이산사건 시뮬레이션 소프트웨어 구현 및 정적 검증기법: 실용적 접근방법 (Implementation and Static Verification Methodology of Discrete Event Simulation Software based on the DEVS Diagram: A Practical Approach)

  • 송해상
    • 한국시뮬레이션학회논문지
    • /
    • 제27권3호
    • /
    • pp.23-36
    • /
    • 2018
  • 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

통계모델링 방법의 비교 연구 (A Comparison Study on Statistical Modeling Methods)

  • 노유정
    • 한국산학기술학회논문지
    • /
    • 제17권5호
    • /
    • pp.645-652
    • /
    • 2016
  • 입력 랜덤 변수(input random variable)의 통계 모델링은 기계시스템의 신뢰성 해석(reliability analysis), 신뢰성 기반 설계(reliability-based design optimization), 해석모델의 통계적 검정(validation) 및 보정(calibration)을 위해 반드시 필요하다. 대표적인 통계모델링 기법에는 Akaike Information Criterion (AIC), AIC correction (AICc), Bayesian Information Criterion, Maximum Likelihood Estimation (MLE), Bayesian 방법 등이 있다. 이러한 방법들은 기본적으로 주어진 데이터로부터 후보 모델의 우도함수값을 이용하여 후보 모델 중 가장 적합한 모델을 선택하는 방법이며, 방법에 따라 데이터 수 혹은 파라미터의 수를 고려하여 모델을 선정한다. 하지만 실제 현장에서 데이터의 통계모델링을 하는 엔지니어는 각 방법의 장단점에 대한 이해가 부족하여 어떤 방법이 정확한 방법인지 몰라 통계모델링 수행 시 어려움이 있다. 본 논문에서는 다양한 통계모델링 방법들을 비교하고 각 방법의 장단점 분석을 통해 가장 적합한 모델링 기법을 제안하고자 한다. 각 방법의 검증을 위해 다양한 모분포를 가정하고 다양한 사이즈의 샘플을 임의로 생성하여 시뮬레이션을 수행하였으며, 실제 공학 데이터를 사용하여 통계모델링 방법의 유효성을 검증하였다.

상관관계가 존재하는 등급별 동질성 검정방법 (Class homogeneous tests with correlation)

  • 홍종선;이나영
    • Journal of the Korean Data and Information Science Society
    • /
    • 제24권1호
    • /
    • pp.73-83
    • /
    • 2013
  • 신용평가방법에서 등급의 계량화 중 신용등급 변화 검정방법은 등급별로 추정된 예측부도율과 실제부도율과의 동질성을 검정하는 방법으로 한 시점에 대한 이항검정과 카이제곱검정 등이 있고, 여러시점의 정확성을 검증하는 방법으로 정규성검정, 확장된 신호등검정 등이 있다. 본 연구에서는 현실적인 상황을 고려하여 이런 검정방법들이 상관관계가 존재하는 경우에 등급별 동질성 검정방법을 소개하고 이 방법들을 신용평가 이외에 다양한 분야의 자료에 활용할 수 있음을 알아본다.

클라이언트-서버환경에 적합한 효율적인 인증서상태 및 경로검증 시스템 (An Efficient Certificate Status and Path Validation System for Client-Server Environment)

  • 최영철;박상준;원동호
    • 정보보호학회논문지
    • /
    • 제13권1호
    • /
    • pp.99-113
    • /
    • 2003
  • 최근 공개키기반구조(Public Key Infrastructure)에 관한 연구가 활발해지면서 클라이언트나 서버의 부하를 줄이고 효율적인 연산이 가능하도록 인증서상태 및 경로검증에 관한 연구가 활발히 진행되고 있다. 그러나, 많은 관련 연구에도 불구하고, 인터넷뱅킹과 같이 실시간 처리가 필요한 대규모 클라이언트-서버 환경에서 서버가 수 많은 클라이언트들의 인증서를 동시에 검증할 수 있는 효과적인 메커니즘은 현재까지 거의 전무한 상태이다. 본 논문에서는 기존의 표준 또는 제안된 방법론들이 이러한 대규모 클라이언트-서버 환경에 적합하지 않음을 보이고, 이러한 환경에 적합한 새로운 형태의 인증서상태 및 경로검증 시스템을 제안하고자 한다.

SCM 활용 패턴과 전략 유형 적합의 영향에 관한 연구 (A Study on the effect of the fit between SCM usage pattern and Strategic Typology)

  • 조남재;손지호
    • 한국정보기술응용학회:학술대회논문집
    • /
    • 한국정보기술응용학회 2006년도 춘계학술대회
    • /
    • pp.463-484
    • /
    • 2006
  • 본 연구는 많은 기업들이 SCM의 중요성을 인식하고 도입하여 활용을 하고 있는 정보시스템의 발전 단계에서 공급사슬에 참여하고 있는 기업이 어떻게 SCM을 활용하고 있는지에 초점을 둔 연구라 할 수 있다. 기존 연구에서 도출한 SCM 활용 목적에 대한 설문 항목을 중심으로 기업이 활용하고 있는 SCM 활용 패턴을 도출하였다. 군집 분석 방법을 활용하여 집단에 특성을 배정하여 동일 집단에 속한 대상의 유사성을 갖게 함으로써 집단 간의 차이를 명확하게 하였다. 군집 분석 결과 효율성을 추구 형, 군집, Business process 정확성 추구형 집단과 환경 변화 대응 추구형 군집으로 패턴을 나눌 수 있었다. 응답 기업을 Miles와 Snow의 전략유형으로 분류하여 응답 기업의 전략 유형을 판별한 결과 분석자형 40.6%, 방어자형 15.1%, 공격자형 37.2%, 반응자형 6.9%로 조사되었다. 위에서 유형화한 SCM의 활용 패턴과 전략유형을 Matrix화하여 가설인 SCM 활용 패턴과 전략유형의 적합도와 SCM 성과 만족도와의 관계를 검증하였다. 연구를 수행한 결과 기업이 SCM을 활용할 때, SCM 활용 패턴 및 전략 유형에 따라 SCM 성과 만족도가 다르게 나타난다는 것을 알 수 가 있다.

  • PDF