• 제목/요약/키워드: 실험적 검증

검색결과 8,117건 처리시간 0.04초

임펄스성 잡음의 유무를 결정하는 Kolmogorov-Smirnov 검증의 수치적 접근의 효율성 (Numerical Approach with Kolmogorov-Smirnov Test for Detection of Impulsive Noise)

  • 오형국;남해운
    • 한국통신학회논문지
    • /
    • 제39C권9호
    • /
    • pp.852-860
    • /
    • 2014
  • 본 논문에서 임펄스성 잡음의 유무를 검증하는 알고리즘을 제안한다. 본 알고리즘을 제안하는 이유는 기존의 Kolmogorov-Smirnov 검증의 단점으로 낮은 분류 성공률 및 높은 복잡도가 있기 때문이다. 이는 이론적으로 문제가 없으나 실제로 구현함에 있어 많은 문제를 야기한다. 먼저 기존의 검증 방법을 설명 후 제안하는 알고리즘을 설명한다. 이 알고리즘은 기존의 Kolmogorov-Smirnov 검증 방법의 이론적 배경으로부터 제안된다. 알고리즘의 효율성을 증명하기 위해 임펄스성 잡음의 샘플을 이용하여 실험 후, 검증 실패 확률을 조사한다. 검증 실패 확률에 기반한 실험 결과는 제안한 알고리즘의 효율성을 증명한다.

독서요법 효과에 대한 실험연구 - 노인들의 우울정서를 중심으로 - (An Experimental Study on the Effects of Bibliotherapy for Depressed Older Adults)

  • 유해숙
    • 한국정보관리학회:학술대회논문집
    • /
    • 한국정보관리학회 1997년도 제4회 학술대회 논문집
    • /
    • pp.131-134
    • /
    • 1997
  • 본 연구는 노인들의 정신적 갈등 및 우울정서를 개선하기 위한 독서요법의 처치효과를 검증하는 것이 목적이다. 65세이상의 노인들을 대상으로 검사척도표를 통해 실험에 적합한 연구대상자을 모집하고, 두 집단으로 구분하여 상호협력적 독서요법과 독자적 독서요법의 처치효과를 T-검증 및 MANOVA등을 통해 비교분석한다.

  • PDF

LTS 명세 검증을 위한 모델 검증기 개발 (A Study on Implementation of Model Checking Program for Verifying LTS Specification)

  • 박용범;김태균;김성운
    • 한국정보처리학회논문지
    • /
    • 제5권4호
    • /
    • pp.995-1004
    • /
    • 1998
  • 본 논문은 LTS 프로세스 명세 검증을 위해 프로토콜의 행위와 상태에 대한 deadlock, livelock, reachability, liveness 검증을 위한 모델 검증기 구현에 대해 기술하였다. Modal mu-calculus를 사용하여 구현된 모델 검증기는 modal logic으로 표현된 프로토콜 특성이 LTS 명세하에서 만족하는지를 자동적으로 검증해 주는 model checking 도구이고 LTS 명세의 Safety와 Liveness 검증에 매우 강력한 성능을 보이는 것을 구현을 통해 실험적으로 증명하였다. 제시된 도구는 Windows NT 환경하에서 IBM PC로 $C^{++}$언어를 사용하여 구현되었다.

  • PDF

인터넷 기반 가상실험실의 구현 (Implementation of Virtual Laboratory based on the Internet)

  • 김문환;이호재;주영훈;박진배
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2003년도 춘계 학술대회 학술발표 논문집
    • /
    • pp.311-314
    • /
    • 2003
  • 많은 공학 연구에서 실제 시스템을 활용한 검증은 매우 중요하다. 특히 제어공학의 경우 개발된 신 이론을 적용 및 검증할 수 있는 실험장비의 확보는 필수적이다. 그러나 현실적으로 적절한 실험장비를 확보하는 것은 비경제적이다. 인터넷을 활용하여 실험장비의 원격실험을 가능케 한 가상실험실은 제어공학 연구에 유용하다. 인터넷의 보급과 함께 가상실험실에 대한 연구가 활발히 진행되고 있으나, 대부분의 경우가 특정 시스템에 한정된 가상 실험실의 구축에 한정되어 있다. 본 논문에서는 기존 연구와 달리 다양한 실험 장비에 적용 가능하며 다양한 제어 기법을 제공하는 가상실험실의 구현을 제안한다. 제안된 가상실험실은 서버-클라이언트 구조를 가지며 다중 제어 인터페이스로 구현된다.

  • PDF

WDM 광통신 시스템을 위한 단일모드 광섬유 무편광기 (Single-mode fiber depolarizer for WDM optical communications)

  • 이동렬;전상민;김용평
    • 한국광학회지
    • /
    • 제14권3호
    • /
    • pp.224-229
    • /
    • 2003
  • 2$\times$2 방향성 결합기와 단일모드 광섬유를 이용하여 무편광기를 구현하였다. 행렬식을 이용한 모의실험을 통해 편광도를 줄이는 방법을 이론적으로 설명하였고 이를 실험적으로 검증하였다. 0.05 nm 이하의 좁은 선폭을 가진 편광된 입력광원의 편광상태 변화에 대해 -20 dB의 출력 편광도를 얻을 수 있었다 광섬유 지연선의 길이를 광원의 가간섭 길이보다 충분히 길게 함으로써 입력광의 편광 변화에 의한 강도 잡음을 효과적으로 없앨 수 있음을 실험적으로 검증하였다.

고주파 전송선 회로의 실험적 고찰을 통한 정확한 시그널 인테그러티 검증 (Accurate Signal Integrity Verification of Transmission Lines Based on High-Frequency Measurement)

  • 신승훈;어영선
    • 대한전자공학회논문지SD
    • /
    • 제48권7호
    • /
    • pp.82-90
    • /
    • 2011
  • 본 논문은 실험적 고찰을 통해 고주파 전송선 회로의 시그널 인테그러티를 정확하게 검증하는 방법을 제시하였다. 패키지 공정을 이용하여 제조한 배선의 공정편차, 표면 거칠기 효과, 표피 효과, 시뮬레이션을 위한 경계조건 등은 시뮬레이션의 정확도에 상당한 영향을 끼친다. 이러한 영향을 장해석기(HFSS)에 적용할 수 있는 변수로 변환하여 보다 정확하게 시그널 인테그러티를 검증 할 수 있도록 한다. 단일 신호선과 두 개의 전자기적으로 결합된 신호선에서의 신호 천이 특성을 측정 데이터와 제안하는 방법의 시뮬레이션 결과와 비교를 통해 제안한 방법의 정확성을 검증하였다.

개방적 가설검증 학습모형을 적용한 과학 탐구학습의 효과:화학 I ‘금속과 그 이용’ 단원을 중심으로 (The Effects of Science Inquiry Learning Applying Open- Ended Hypothesis-Testing Learning Model: On the ‘Metals and Their Applications’ Unit in Chemistry)

  • 정대홍;방정아;최취임;최원호
    • 대한화학회지
    • /
    • 제50권5호
    • /
    • pp.385-393
    • /
    • 2006
  • 연구에서는 고등학교 화학 수업에서 개방적 가설검증 학습모형을 적용한 과학 탐구학습을 실시하고, 학생들의 인지 수준에 따른 과학 탐구능력, 과학 수업에 대한 태도에 미치는 효과와 수업에 대한 인식을 알아보았다. 서울에 소재한 남자 고등학교 2학년 4개 학급의 학생들(92명)을 대상으로 개방적 가설검증 학습모형을 적용한 과학 탐구학습을 실시한 처치집단과 실험과정이 모두 제시된 실험 수업을 실시한 통제집단으로 배치한 후, 화학의 ‘금속과 그 이용' 단원에 대해서 수업을 실시하였다. 연구 결과에 의하면, 개방적 가설검증 학습모형을 적용한 과학 탐구학습은 과학 탐구능력 향상에 관해서 실험설계, 자료 변환 및 해석, 가설검증의 영역에서 유의미한 효과가 있었으며 문제 파악 및 정의, 가설설정의 영역에서는 효과가 없었다. 한편, 개방적 과학 탐구학습에서 학생들의 역할 및 수행할 과제의 증가로 인해 과학 수업에 대한 태도는 처치집단에 부정적인 효과가 나타났다.

결혼이주여성을 위한 아동학대예방프로그램의 개발과 효과성 검증 (Development and Effectiveness of Child Abuse Prevention Program for Marriage Immigrant Women in Korea)

  • 박명숙;이재경
    • 한국콘텐츠학회논문지
    • /
    • 제16권8호
    • /
    • pp.117-131
    • /
    • 2016
  • 본 연구는 결혼이주여성의 한국사회 적응과 자녀양육을 돕고 아동학대 예방을 위한 통합교육프로그램을 개발하고 효과성 검증을 목적으로 한다. 이를 위해 총 5회기의 단기개입 예방프로그램을 개발하였고, 프로그램은 주1회씩 5주간 진행하였다. 다문화가족지원센터 이용자를 중심으로 유사실험설계의 비동일 통제집단 연구설계를 하였고, 실험집단 18명, 통제집단 17명에 대해 사전사후검증을 통해 프로그램의 효과성을 평가하였다. 평가결과, 실험집단과 통제집단의 사전사후 평균차이 검증에서 양육스트레스, 문화적응, 사회적지지, 제도인식의 평균차이는 없었지만, 집단별 사전조사와 사후조사의 평균차이 검증에서 실험집단의 문화적응스트레스, 사회적지지, 제도인식의 수준의 증가하였고, 평균차이는 통계적으로 유의미하였다. 이러한 결과는 본 프로그램이 아동학대 위험성 및 범죄에 대한 권리보호차원에서 예방적 성격을 가질 수 있음을 보여준다. 또한 본 연구는 다문화가족지원센터 등 관련 기관을 중심으로 아동학대예방사업을 시행할 때, 다문화가정의 결혼이주여성과 아동의 권리보장이 이루어질 수 있음은 확인하였다는 점에서 정책적 시사점이 있다.

XML Schema에 대한 유효성을 보장하는 효율적인 XML Data 갱신 기법 (An Efficient Updating Method conforming to XML Schema for XML data)

  • 이지현;정진완
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
    • /
    • pp.43-45
    • /
    • 2004
  • XML은 인터넷 상에서의 표준 데이터 형식으로 XML 데이터에 대한 구조적 제약 조건들은 DTD나 XML Schema에 정의한다. XML Schema에 유효한 XML 문서는 XML Schema에 정의된 모든 구조적 제약 조건들을 만족해야 하며, 갱신이 발생한 후에도 대응되는 XML Schema에 대해 유효함이 보장되어야 한다. 본 연구는 DBMS에 저장되어 있는 XML Schema에 대해 유효한 XML 데이터를 갱신 할 때 필요한 효율적인 유효 검증 기법을 제안한다. 이 유효 검증 기법에서는 유효 검증 범위를 갱신과 관련된 영역에 한정시키고 갱신 이전에 유효 검증을 수행하여 유효 여부를 판단한다. 또한 본 연구에서는 유효 검증을 위한 유효 검증 제약 조건들과 XML Schema문서의 특성을 분석하여 유효 검증 시 필요한 스키마 정보만을 효율적으로 추출할 수 있는 XML Schema 저장 방법 및 그에 따른 스키마 정보 추출 방법을 제안하고 실험을 통해 그 성능을 보인다.

  • PDF

강력한 임의진동 하에서 PBGA 패키지의 실험적 신뢰성 검증 (Experimental Assessment of PBGA Packaging Reliability under Strong Random Vibrations)

  • 김영국;황도순
    • 마이크로전자및패키징학회지
    • /
    • 제20권3호
    • /
    • pp.59-62
    • /
    • 2013
  • Plastic ball grid array (PBGA)에 대한 강력한 임의 진동에서의 신뢰성을 실험적으로 검증하였다. 실험시편을 만들기 위해 데이지 체인이 형성된 PCB에 칩을 실장시킨 후 그중 절반은 underfill 공정을 거쳤다. 임의 진동 프로파일은 인공위성 전자장비의 신뢰성 검증에서 사용되는 두 종류의 진동 수준, 즉 판정시험 (acceptance level) 및 합격시험(qualification level)을 사용하였으며 각각의 power spectrum density는 22.7 Grms와 32.1 Grms였다. 실험후 underfill과 관계없이 모든 샘플에서 솔더의 균열이 발생되지 않았으며, 차후 항공 및 우주용 전자장비를 대치할 수 있는 패키징 구조의 가능성을 보여 줬다.