• Title/Summary/Keyword: 임의성 검증

검색결과 358건 처리시간 0.027초

차량 전장용 제어 소프트웨어 응용프로그램의 검증을 위한 모델 기반 Task Simulation 도구 (Task Simulation Model-based Tool For The Verification Of Software Application On Automotive Control Software)

  • 이수경;김동우;최윤자
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2015년도 추계학술발표대회
    • /
    • pp.962-965
    • /
    • 2015
  • 차량 전장용 소프트웨어는 자동차 전자 장비들을 제어하는 만큼 그 정확성과 안전성이 검증되어야 한다. 본 연구에서는 차량 전장용 제어 소프트웨어의 제어논리가 프로그래머가 의도한 데로 구성되어 있는지를 코딩단계에서 실험하고 가시화하는 도구를 개발하였다. 이를 위해 제어 소프트웨어와 함께 컴파일될 전장용 운영체제의 정형 모델을 구축하고 운영체제 구현과는 독립적으로 제어 프로그램에서 정의된 Task들의 수행 순서를 모의 실험하여 차량 전장용 운영체제의 Task 상태 변화를 확인할 수 있도록 하였다. 임의 생성된 제어프로그램 코드와 실제 차량 전장용 제어프로그램 코드에 개발된 도구를 적용하여 그 효용성을 확인하였다.

매개변수가진에 종속되는 현의 횡방향진동을 이용한 종방향진동의 추정 (Presume of Longitudinal Vibration using Transverse Vibration of the String subject to Parametric Oscillation)

  • 김도균;김광준
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 1993년도 추계학술대회논문집; 반도아카데미, 26 Nov. 1993
    • /
    • pp.21-27
    • /
    • 1993
  • 매개변수가진에 종속되는 현의 횡방향진동을 시간영역에서 필터작업, 힐버트 변환과 순간주파수 개념을 도입하여 해석함으로서 종방향의 순간진동변위를 추정하는 방법이 제시되었다. 그리고, 실험을 통하여 이론의 타당성을 검증 하였다. 또한, 모의 실험의 결과 일반적인 현구동계에 있어서는 넓은 적용변 수의 선\ulcorner영역에서 종변위가 횡변위와 분리(decoupling) 되어서 공간적으로 길이에 따르는 선형적인 증가성과 시간적으로 조화적인 주기성을 가진다는 것을 확인함으로서 임의의 위치에서의 종변위를 파악함이 가능하였다.

  • PDF

패킷 손실 환경에서 EREC 기법들의 강건성 분석 (Analysis Robustness of EREC Schemes in Packet Loss Environment)

  • 정장근;이근영
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2007년도 추계학술발표논문집
    • /
    • pp.198-200
    • /
    • 2007
  • 본 논문에서는 블록 기반으로 압축된 이미지의 전송방법에서 EREC 기법들의 패킷 손실 내성을 평가하고 패킷 손실 환경에서 현존하는 EREC의 성능을 비교한다. 이 논문에서는 기존의 EREC 기법들이 임의의 비트에 대한 에러 내성을 제공하는 것과는 대조적으로 패킷 손실 환경에서 EREC방법의 검증을 그 목적으로 한다.

  • PDF

세그먼트 변화를 추적하는 다차원척도법

  • 김주영
    • Asia Marketing Journal
    • /
    • 제1권4호
    • /
    • pp.1-23
    • /
    • 1999
  • 포지셔닝맵은 마케팅전략의 핵심인 STP전략을 세우는데 유용한 도구이나 포지셔닝맵을 그리기 위해서는 여러 가지 분석도구를 혼합하여 사용하여야 하였다. 본 논문에서는 완벽하지 않은 소비자 pick any/N자료와 상표의 특성자료를 이용하여, 세분시장을 모델 내에서 구분하고, 이들의 이상점을 찾아주고, 나아가서 시간의 흐름에 따라 이상점의 변화를 찾아주면서 포지셔닝맵을 그려주는 새로운 external 다차원척도모형을 제시하고 있다. 모델의 성과를 확인하기 위해서 차원의 변화, 세분시장변화, 상표구성의 변화 및 소비자표본의 변화를 임의로 만들어서 가상의 자료를 통해서 검증하였다. 실제로 사용해 보려면 저자의 홈페이지에서 프로그램을 다운 받을 수도 있다.

  • PDF

복합적층판의 변위 변동계수 산정을 위한 가중적분법 (Weighted Integral Method for an Estimation of Displacement COV of Laminated Composite Plates)

  • 노혁천
    • 복합신소재구조학회 논문집
    • /
    • 제1권2호
    • /
    • pp.29-35
    • /
    • 2010
  • 탄성계수와 함께 포아송비는 구조의 거동을 결정하는 중요 구조인수중의 하나이다. 따라서 구조응답의 불확실성에 미치는 포아송비의 독립적 영향에 대한 평가가 필요하다. 본 연구에서는 포아송비의 불확실성이 복합적층판의 거동에 미치는 영향을 산정하기 위한 정식화를 제안한다. 포아송비의 영향은 동일 차수인 임의인수의 영향을 포함하는 부행렬을 통하여 얻을 수 있으며, 이는 대상 인수의 평균을 중심으로 한 Taylor전개를 통하여 구할 수 있다. 제안방법의 검증을 위하여 예제 평판을 해석하였고, 그 결과를 몬테카를로 해석에 의한 결과와 비교하였다. 두 방법을 통하여 얻은 결과는 상화 잘 일치하는 결과를 나타내어, 제안한 방법이 적절함을 제시하였다.

  • PDF

유출에 대한 APEX 모형 매개변수 불확실성 평가 (Evaluation of APEX model parameter uncertainty for runoff)

  • 추인교;성연정;박정웅;정영훈
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2021년도 학술발표회
    • /
    • pp.188-188
    • /
    • 2021
  • APEX(Agricultural Policy Enviromental eXtender) 모형은 일 단위로 구동되며 필지단위 및 소유역 단위에서의 흐름을 장기 모의를 할 수 있는 모형이다. APEX는 유출을 포함한 토양 침식, 탄소 이동 등 다양한 자연현상을 모의할 수 있는 모형이다. 강우에 의한 직접유출량을 APEX를 이용하여 산정할 수 있지만, 모델링 과정에서 발생하는 불확실성으로 인하여 부정적인 요인이 발생한다. 따라서 본 연구에서는 APEX 모형의 유출 매개변수를 이용한 불확실성을 평가하고자 한다. 이를 위해서 금강권역에서 표준유역으로 분류되어있는 한천 유역에 대해 2008~2019년도 유출량을 모의하였으며, 검증을 위해 동일기간에 대해 기저유출분리를 수행하였다. 불확실성 평가를 위해서 Python 기반으로 사전분포로부터 매개변수를 임의로 선택하도록 설정하여 총 10,000번의 구동을 수행하였다. 불확실성 평가지표로는 NSE, PBIAS, RSR을 이용하여 평가하여 평가지표별 불확실성 구간을 비교분석 하였다. 본 연구에서의 APEX 모형의 불확실성 평가를 통하여 APEX의 활용성을 더욱 확대하고 신뢰성을 높일 것으로 기대한다.

  • PDF

수치해석을 통한 지하공간의 제연설비 성능기준 검토 (A Study on the Performance Criteria of Smoke Control System for Underground Spaces Through Numerical Analysis)

  • 안찬솔;채한식;김흥열
    • 한국화재소방학회:학술대회논문집
    • /
    • 한국화재소방학회 2008년도 추계학술논문발표회 논문집
    • /
    • pp.356-362
    • /
    • 2008
  • 본 연구에서는 국내 화재 안전 기준 중 제연설비의 성능기준에 의해 지하 공간 건축물이 준공된 후 임의의 지점에서 화재가 발생했을 경우를 모델링하여 연기 확산 현상을 분석하고 제연 설비의 작동에 의한 재실자의 피난시간 연장과의 적정성을 검토하는 것이 목적이다. 본 연구의 선행연구에서는 가연물의 종류와 발열량을 추정하였으며 추정 값의 검토를 위하여 임의의 단일지하상가를 모델링하여 검증하였다. 그리고 지하상가의 제연설비가 작동될 경우와 작동되지 않을 경우에 대한 수치해석 결과를 비교하였으며 재실자의 피난시간을 확보하는 관점에서 화재 안전 기준에 대한 적정성을 검토하였다.

  • PDF

유비쿼터스 컴퓨팅 보안을 위한 경량 블록 암호 구현 (Implementation of Lightweight Block Cipher for Ubiquitous Computing Security)

  • 김성환;김동성;송영덕;박종서
    • 융합보안논문지
    • /
    • 제5권3호
    • /
    • pp.23-32
    • /
    • 2005
  • 본 논문에서는 유비쿼터스 컴퓨팅 보안을 위한 128비트 Reversible Cellular Automata(RCA)기반 경량 블록 암호를 설계하고 구현한다. 유비쿼터스 컴퓨팅이 요구하는 하드웨어 제약조건을 충족하기 위하여 높은 임의성을 제공하는 Cellular Automata를 기반으로 블록구조를 설계하였다. 구현된 블록 암호기법은 암호화 과정동안 704 클럭 사이클로 동작하고 2,874 게이트수를 보였다. 구현 결과 기존의 AES나 NTRU보다 처리속도가 31% 향상되었고, gate수는 20%만큼 절감되었다. 차분 분석(Differential Cryptanalysis)과 Strict Avalanche Criterion(SAC)을 수행함으로써 구현된 블록 암호 알고리즘의 안정성을 검증하였다.

  • PDF

미계측 소하천 적용을 위한 분포형 유출모형의 매개변수 지역화 (Parameters Regionalization of Distributed Rainfall-Runoff Model for Application of Ungauged Small Streams)

  • 최승용;정태성
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2012년도 학술발표회
    • /
    • pp.974-974
    • /
    • 2012
  • 하천의 유량 측정은 대부분 홍수 예보지역, 댐 상류지역, 대하천 및 유역 내 주요 지점을 위주로 수행되고 있다. 유량 측정이 이루어지는 지점에 대해서 유출모의를 수행할 경우에는 과거의 측정 자료를 이용해서 모형의 검보정이 가능하며, 이러한 과정을 통해 해당 지점에 대한 유출모의의 정확도를 향상시킬 수 있다 그러나 도시유역을 제외한 대부분의 중소유역에서는 유량의 측정이 이루어지지 않고 있으며, 측정 자료가 없는 미계측 유역에 대한 유출모의 및 모의결과의 검증은 사실상 불가능 하다. 분포형 수문모형의 가장 큰 장점 중 하나는 소유역 분할과정을 거치지 않고도 유역내 임의의 여러 지점에 대한 유출을 모의할 수 있다는 것이다. 이와 같은 분포형 모형의 특징은 관측된 지점에 대해서 보정된 매개변수를 이용해서 이 지점의 유량 발생에 기여한 상류 미계측 지점의 유량을 모의할 수 있다는 것이다. 따라서 본 연구에서는 분포형 모형을 이용하여 유역의 임의 지점에 대해서 모형을 보정한 후 유출모의를 수행하고, 보정된 매개변수를 이용해서 상류의 소하천 지점에 대한 유량을 모의함으로써 매개변수의 지역화를 평가하였다. 이를 통해 유량 측정이 이루어지지 않는 중소 하천의 소유역에 대한 유량 추정의 가능성을 평가하였다. 모의 결과 산지유역 또는 소하천유역과 같은 미계측 유역에서 활용성이 높을 것으로 기대된다.

  • PDF

뇌파 조절 수행이 학습 향상에 미치는 영향의 실증적 연구

  • 윤상원;서용성;홍순욱
    • 대한인간공학회:학술대회논문집
    • /
    • 대한인간공학회 1996년도 추계학술대회논문집
    • /
    • pp.56-56
    • /
    • 1996
  • 인간의 사고 기능과 학습기능이 '뇌'를 바탕으로 이루어진다고 할 때, 뇌의 긴장을 풀어 원래의 건강하고 창조적인 이완 상태에서의 학습 상태가 유효하게 된다. 즉, 뇌파가 " $\alpha$" 상태 가 되었을 때 긴장된 신체의 각 부분이 충분히 이완되고 두뇌는 맑고 건강한 상태를 유지하여 활발하고 창조적인 상태가 된다. 뇌파의 측정 및 분석된 기존 연구에 의하면, 인간의 심리상태와 신체 상태, 행동 패턴에도 직, 간접적인 영향을 주어 뇌파의 조절이 인간 잠재능력 개발의 첩경이라는 결과가 보고되어진다. 이러한 관점에서 본 연구에서는 뇌의 특성을 고려하여 뇌를 이완시킴으로써 학생들의 학습능력을 향상시키 기 위한 새로운 접근 방법을 시도한다. 뇌파 조절이 가해지는 환경하에 학습 효율의 변화 정도를 정성적( 심리적, 학습적, 신체적) 및 정량적(영어 단어 암기력 TEST, 뇌파 특정 등)으로 평가 및 분석을 통해 뇌파 조절 효과가 학생들의 학습 효율을 더욱 향상 시킬 수 있는 지의 타당성을 검증하고 그 결과를 바탕으로 새로운 학습 방법을 모색하고자 한다. 한편, 본 연구에서는 실험 대상을 본 대학 임의의 2학년 학생 13 명 을 대상으로 하고 실험기간은 약 4개월에 걸쳐 실험 하였다. 뇌파 측정은 13명중 임의의 학생 7명을 선정 하여 각 40분씩 측정 분석하였다. 또한 영어 단어 암기력 TEST를 실시하여 그 결과를 뇌파 조절 전,후로 나누어 비교 분석하였다. 정성적 분석으로서 종합 설문지를 이용한 15 개 항목의 5점 척도를 사용하여 분석하였으며 가가 통계 이론을 이용하여 검증하였다. 뇌파 측정은 수행 전후 비교 결과 " .alpha. " 노출 비율이 수행 전보다 수행 후가 다소 높은 비유로 나타났으며, 특히 영어 단어 암기력은 평균적으로 크게 상승되는 것으로 나타났다. 정성적 분석 결과에서는 많은 심리적 변화 상태가 나타나고 있지만 전체적으로 마음의 안정감, 몸의 긴장 이완에 따른 건강 상태 유지, 수업 집중도 향상 등이 나타났다. 위와 같은 종합 적 분석 결과에 따라, 본 연구는 제조 현장의 생산성 향상 및 품질 향상과 연계하여 작업자의 작업 집중도 향상, 작업자의 육체적, 심리적 변화에 따른 생산성 및 품질 향상 변화 정도 등의 산업공학(인간공학) 제 분야의 여러 측면에서 연구 및 적용이 가능하리라 사료된다.

  • PDF