• 제목/요약/키워드: Verification experiment

검색결과 798건 처리시간 0.052초

지속음 및 다층신경망을 이용한 화자증명 시스템 (Speaker Verification System Using Continuants and Multilayer Perceptrons)

  • Lee, Tae-Seung;Park, Sung-Won;Hwang, Byong-Won
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2003년도 추계종합학술대회
    • /
    • pp.1015-1020
    • /
    • 2003
  • 생체정보를 활용하여 개인정보를 보호하는 기술 가운데 화자증명은 다양한 사용편의성과 구현비용 면에서 이점을 갖고 있어 폭넓은 활용이 기대된다. 화자증명은 증명성능의 신뢰성, 음성문장 사용의 유연성, 증명시스템 복잡도의 효율성 면에서 높은 수준을 달성해야 한다. 지속음은 화자 구별력이 뛰어나며 구별되는 종류가 한정적이고, MLP(multilayer perceptron)는 높은 패턴인식률과 신속한 동작성능을 갖고 있어 화자증명 시스템이 이와 같은 특성을 달성하기 위한 유력한 수단을 제공한다. 본 논문에서는 지속음과 MLP를 적용한 시스템을 구현하고 한국어 음성 데이터베이스를 이용하여 이 시스템의 성능을 측정하고 분석한다. 실험의 결과는 지속음이 세 가지 특성에 대해 우수한 효과를 가지며 MLP가 높은 신뢰성과 효율성을 달성하는 데 실질적인 도움이 됨을 확인한다.

  • PDF

얼굴 검증을 이용한 개선된 얼굴 검출 (Improved Face Detection Algorithm Using Face Verification)

  • 오정수
    • 한국정보통신학회논문지
    • /
    • 제22권10호
    • /
    • pp.1334-1339
    • /
    • 2018
  • Viola & Jones의 얼굴 검출 알고리즘은 대표적인 얼굴 검출 알고리즘으로 매우 우수한 얼굴 검출 성능을 보인다. 그러나 많은 얼굴을 포함하는 영상들을 대상으로 한 Viola & Jones 알고리즘은 얼굴의 다양성으로 미검출 얼굴들, 가짜 얼굴들과 중복 검출된 얼굴들 같은 잘못 검출된 얼굴들을 발생시킨다. 본 논문은 Viola & Jones 알고리즘에서 생성된 잘못 검출된 얼굴들을 제거하는 얼굴 검증 알고리즘을 이용한 개선된 얼굴 검출 알고리즘을 제안한다. 제안된 얼굴 검증 알고리즘은 검출된 얼굴들에 대한 크기, 지정된 영역의 피부색, 눈과 입에서 발생된 에지, 중복 검출을 평가하여 얼굴이 유효한지를 확인한다. Viola & Jones 알고리즘에 의해 검출된 658개의 얼굴 영상들을 대상으로 한 얼굴 검증 실험에서 제안된 얼굴 검증 알고리즘은 실제 사람들에 의해 생성된 모든 얼굴 영상들을 검증하는 것을 보여준다.

PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증 (Formal Verification of Functional Properties of an SCR-style Software Requirements Specifications using PVS)

  • 김태호;차성덕
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제8권1호
    • /
    • pp.46-61
    • /
    • 2002
  • 소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.

INTEGRATION OF GPS AND PSEUDOLITE FOR SEAMLESS POSITIONING : Fundamental Verification Experiment and Results

  • Suh, Yong-Cheol;Konishi, Yusuke;Shibasaki, Ryosuke
    • 한국측량학회:학술대회논문집
    • /
    • 한국측량학회 2002년도 창립 20주년기념 국제학술대회
    • /
    • pp.77-84
    • /
    • 2002
  • The Global Positioning System, GPS technology has been widely used in positioning and attitude determination. It is well known that the accuracy, availability and reliability of the positioning results are heavily dependent on the number and geometric distribution of tracked GPS satellites. Because of this limitation, in some situations, such as in urban canyons, underground space or inside of buildings, it is really hard to navigate with GPS receiver. Therefore, in order to improve the performance of satellite-based positioning, the integration of GPS with the pseudolite technology has been proposed. With this pseudolite technology, it is expected that seamless positioning service can be provided in wider area without replacing existing GPS receivers. On the other hand, to adopt pseudolites at larger scale, it is necessary to verify how the pseudolites can complement the existing GPS-based positioning. In this paper the authors present the detail of experimental investigations and the results of the fundamental verification for seamless positioning using integration of GPS and pseudolite. This paper shows that the accuracy and efficiency of integrating GPS and pseudolite through the dynamic and static positioning experiment and discuss about the influence on GPS receiver by pseudolite signal. The experimental results indicate that the accuracy of the height component can indeed be significantly improved, to approximately the same level as the horizontal component.

  • PDF

Enhanced mass balance Tafel slope model for computer based FEM computation of corrosion rate of steel reinforced concrete coupled with CO2 transport

  • Hussain, Raja Rizwan
    • Computers and Concrete
    • /
    • 제8권2호
    • /
    • pp.177-192
    • /
    • 2011
  • This research paper aims at computer based modeling of carbonation induced corrosion under extreme conditions and its experimental verification by incorporating enhanced electrochemical and mass balance equations based on thermo-hygro physics with strong coupling of mass transport and equilibrium in micro-pore structure of carbonated concrete for which the previous research data is limited. In this paper the carbonation induced electrochemical corrosion model is developed and coupled with carbon dioxide transport computational model by the use of a concrete durability computer based model DuCOM developed by our research group at concrete laboratory in the University of Tokyo and its reliability is checked in the light of experiment results of carbonation induced corrosion mass loss obtained in this research. The comparison of model analysis and experiment results shows a fair agreement. The carbonation induced corrosion model computation reasonably predicts the quantitative behavior of corrosion rate for normal air dry relative humidity conditions. The computational model developed also shows fair qualitative corrosion rate simulation and analysis for various pH levels and coupled environmental actions of chloride and carbonation. Detailed verification of the model for the quantitative carbonation induced corrosion rate computation under varying relative conditions, different pH levels and combined effects of carbonation and chloride attack remain as scope for future research.

Correlation Analysis of Airline Customer Satisfaction using Random Forest with Deep Neural Network and Support Vector Machine Model

  • Hong, Sang Hoon;Kim, Bumsu;Jung, Yong Gyu
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제12권4호
    • /
    • pp.26-32
    • /
    • 2020
  • There are many airline customer evaluation data, but they are insufficient in terms of predicting customer satisfaction in practice. In particular, they are generally insufficient in case of verification of data value and development of a customer satisfaction prediction model based on customer evaluation data. In this paper, airline customer satisfaction analysis is conducted through an experiment of correlation analysis between customer evaluation data provided by Google's Kaggle. The difference in accuracy varied according to the three types, which are the overall variables, the top 4 and top 8 variables with the highest correlation. To build an airline customer satisfaction prediction model, they are applied to three classification algorithms of Random Forest, SVM, DNN and conduct a classification experiment. They are divided into training data and verification data by 7:3. As a result, the DNN model showed the lowest accuracy at 86.4%, while the SVM model at 89% and the Random Forest model at 95.7% showed the highest accuracy and performance.

선형 상태 관측기의 실용화 검증을 위한 도립진자 시스템의 출력 피드백 제어 실험 (The Output Feedback Control of Inverted Pendulum Systems for The Verification of Practical Use of Linear State Observers)

  • 이종연;조규정;현창호
    • 한국지능시스템학회논문지
    • /
    • 제21권2호
    • /
    • pp.192-197
    • /
    • 2011
  • 본 논문은 선형 상태 관측기의 성능 및 실용화 검증을 위하여 도립진자 시스템의 출력 피드백 제어 실험을 수행하였다. 도립진자 시스템으로는 (주)셈웨어의 CEM-IP-01를 실험에 사용하였다. 동역학 해석을 위하여 라그랑지안 방정식 및 자코비안 선형화 방법을 이용하였고, 모의실험을 통하여 일반 상태 피드백 제어기의 출력 응답과 제안된 제어기의 출력 응답을 먼저 비교 분석하였다. 마지막으로 실제 도립진자 시스템에 적용함으로써 제어기 구현에서 발생하는 문제점을 파악하고 해결함으로써 실용화 가능성을 직접 확인하였다.