• 대한음성학회지:말소리
• /
• 제56호
• /
• pp.147-158
• /
• 2005

In this paper, we are focused to develop the simplified speaker verification algorithm without background speaker models, which will be adopted in the portable speaker verification system equipped in portable terminals such as mobile phone and PMP. According to the tolerance interval analysis, the population of someone's speaker model can be represented by a suitable number of selected independent samples of speaker model. So we can make the representative speaker model and threshold under the specified confidence level and coverage. Using proposed algorithm with the number of samples is 40, the experiments show that the false rejection rate is $3.0\%$ and the false acceptance rate $4.3\%$, worth comparing to conventional method's results, $5.4\%\;and\;5.5\%$, respectively. Next step of research will be on the suitable adaptation methods to overcome speech variation problems due to aging effect and operating environments.

• The Journal of the Acoustical Society of Korea
• /
• 제22권4E호
• /
• pp.176-182
• /
• 2003

As the needs for wireless Internet service is increasing, the needs for secure m-commerce is also increasing. Conventional security techniques are reinforced by biometric security technique. This paper utilized the voice as biometric security techniques. We developed speaker verification system for m-commerce (mobile commerce) via wireless internet and wireless application protocol (WAP). We named this system the mVprotek. We implemented the system as client-server architecture. The clients are mobile phone simulator and personal digital assistant (PDA). The verification results are obtained by integrating the mVprotek system with SK Telecom's code dimension multiple access (CDMA) system. Utilizing f-ratio weighting and virtual cohort model normalization showed much better performance than conventional background model normalization technique.

• 한국산학기술학회논문지
• /
• 제17권7호
• /
• pp.425-433
• /
• 2016

경량전철시스템의 건설은 노선당 수천억 원에서 조 단위의 건설비가 소요되는 대형 복합인프라 사업으로, 건설된 시스템은 장기간 운영되기 때문에 생명주기관점에서 사업을 추진하는 것이 매우 중요하다. 시스템엔지니어링은 고객의 요구를 성공적으로 구현하는 수단 및 방법론으로 경량전철사업과 같은 대형 사업에 매우 유용하다. 이러한 시스템엔지니어링 접근법을 경량전철사업에 적용하기 위해 개발된 전산모델 SELRT(Systems Engineering application model for Light Rail Transit project)가 현장에서 활용되기 위해서는 모델에 대한 검증이 필요하다. 시스템엔지니어링에서의 검증은 시스템요구사항을 만족하였음을 확인하는 것이다. 따라서 본 논문에서는 시스템엔지니어링 방법론에 따라 검증 절차와 검증 아키텍처를 제시하고, 이에 따라 시스템요구사항을 식별하였다. 또한 시스템요구사항을 검증하기 위해 국제 표준규격 등 참조규격을 참고하여 검증요구사항 및 검증항목과 검증기준을 도출하였으며, 검증절차에 따라 SELRT를 시연하고 결과를 검증요구사항과 비교하였다. 그 결과 시스템요구사항과 검증요구사항의 추적성, 검증요구사항별 검증방법, 전산도구의 시연결과가 상호 연결되고, 최초요구사항이 SELRT에 명확히 구현되었음을 확인할 수 있어, 제안된 방법이 SELRT 검증에 유효하며, SELRT도 경량전철사업현장에서 활용될 수 있음이 확인되었다.

• 한국산학기술학회논문지
• /
• 제19권10호
• /
• pp.410-417
• /
• 2018

현대의 시스템은 지속적으로 대형화, 복잡화되어 왔기 때문에 시스템의 오류 발생 가능성이 커졌다. 시스템의 고장은 안전 사고를 발생시키고, 인명과 재산상의 막대한 피해를 줄 수 있다. 이러한 이유로 미 국방성과 IEC 등의 국제표준기구에서는 시스템의 안전성을 확보하기 위한 안전 관련 국제표준을 제정하였고, 시스템 설계와 안전 활동이 통합적으로 수행되어야 함을 권고하였다. 이에 따라 최근의 연구들은 모델기반 시스템 설계를 진행함과 동시에 모델을 활용하여 시스템의 안전성 검증을 수행하였다. 하지만 시스템 설계를 위한 모델과 안전성 분석 및 검증을 위한 고장모델을 서로 다른 모델링 언어를 기반으로 생성하였기 때문에 시스템 설계와 안전 활동이 통합적으로 수행되지 못하였다. 또한, UML 또는 SysML 기반으로 고장모델을 활용하여 안전 요구사항을 도출한 연구들은 안전 분석 및 검증에 고장모델이 제한적으로 활용되었다. 이와 같은 문제점을 해결하기 위해서 기존의 고장모델 활용법을 확장 시킬 필요가 있다. 우선 시스템 설계와 안전성 검증 활동을 통합적으로 수행할 수 있는 개선된 SysML 기반의 고장모델을 생성해야 한다. 다음으로 이 고장모델을 활용하여 도출된 안전요구사항이 시스템 설계에 제대로 반영되었는지 검증할 수 있어야 한다. 따라서 본 논문에서는 개선된 SysML 기반 고장모델의 개념과 생성 절차를 제시하였고, 자동차 시스템에 대한 고장모델을 생성하였다. 또한, 자동차 시스템의 안전성을 검증하기 위해서 고장모델의 시뮬레이션을 수행하였다. 이를 통해서 개선된 SysML 기반 고장모델을 활용하여 시스템 설계와 안전성 검증 활동을 수행할 수 있음을 보였다.

• 대기
• /
• 제21권2호
• /
• pp.197-208
• /
• 2011

The objective of this study is to describe the short-range forecast system of the Korea Air Force (KAF) and to verificate its performace in 2009 summer. The KAF weather prediction model system, based on the Weather Research and Forecasting (WRF) model (i.e., the KAF-WRF), is configured with a parent domain overs East Asia and two nested domains with the finest horizontal grid size of 2 km. Each domain covers the Korean peninsula and South Korea, respectively. The model is integrated for 84 hour 4 times a day with the initial and boundary conditions from National Centers for Environmental Prediction (NCEP) Global Forecast System (GFS) data. A quantitative verification system is constructed for the East Asia and Korean peninsula domains. Verification variables for the East Asia domain are 500 hPa temperature, wind and geopotential height fields, and the skill score is calculated using the difference between the analysis data from the NCEP GFS model and the forecast data of the KAF-WRF model results. Accuracy of precipitation for the Korean penisula domain is examined using the contingency table that is made of the KAF-WRF model results and the KMA (Korea Meteorological Administraion) AWS (Automatic Weather Station) data. Using the verification system, the operational model and parallel model with updated version of the WRF model and improved physics process are quantitatively evaluated for the 2009 summer. Over the East Aisa region, the parallel experimental model shows the better performance than the operation model. Errors of the experimental model in 500 hPa geopotential height near the Tibetan plateau are smaller than errors in the operational model. Over the Korean peninsula, verification of precipitation prediction skills shows that the performance of the operational model is better than that of the experimental one in simulating light precipitation. However, performance of experimental one is generally better than that of operational one, in prediction.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 시스템엔지니어링워크숍
• /
• 통권6호
• /
• pp.126-129
• /
• 2005

Systems engineering requirement verification model developmetn for High Speed Railway systems in progress is a national large system development program that is not only large-size and complex but also multi-disciplinary in nature. For the High Speed Railway TEP development, verification requirements that could verify system function, performance, and constraint, should be derived from SSS(system Segment specification). Hereafter, this could be referred to as verification requirements. System engineering process establishes traceability between verification requirements and system requirements. These tasks could be accomplished by the schema. using computer-aided Systems Engineering tool(CORE), High Speed Railway program can become a database and other system related to High Speed Railway program will be developed effectively and efficiently.

• 플랜트 저널
• /
• 제13권4호
• /
• pp.41-47
• /
• 2017

본 논문은 해양플랜트 입찰단계에서 시스템엔지니어링(Systems Engineering)기법을 이용하여 해양플랜트를 구성하고 있는 장비 배치를 검증(Verification)할 수 있는 검증수행모델에 대한 연구이다. 해양플랜트 상부구조물(Topside) 유지보수 장비들을 엔지니어링하기 위하여는 Topside 장비 Layout검증이 선행되어야 한다. 하지만 입찰단계에서 완성도가 높지않는 FEED(Front End Engineering Design)결과물로 인한 많은 오류가 존재함에도 불구하고 검토시간의 부족 등의 이유로 검증을 수행하지 못하는 경우가 존재한다. 따라서 본 논문에서는 다학제간 접근방식인 시스템엔지니어링 프로세스를 간략화하여 적용함으로써 제한된 시간내 효과적으로 장비배치를 검증할 수 있는 검증수행모델을 제안하였다. 모델의 구성은 기능전개모델(Functional Deployment Model)을 통하여 구축하였으며 사례연구를 통하여 본 Topside 장비 배치에 대한 검증 수행모델을 검증하였다.

• 대한음성학회지:말소리
• /
• 제67호
• /
• pp.79-102
• /
• 2008

In this paper, we investigate the relation between Bayes factor and likelihood ratio test (LRT) approaches and apply the neighborhood information of Bayes factor to building an alternate hypothesis model of the LRT system. To consider the neighborhood approaches, we contemplate a distance measure between models and algorithms to be applied. We also evaluate several methods to improve performance of utterance verification using neighborhood information. Among these methods, the system which adopts anti-models built by collecting mixtures of neighborhood models obtains maximum error rate reduction of 17% compared to the baseline, linear and weighted combination of neighborhood models.

• 한국해안해양공학회지
• /
• 제10권3호
• /
• pp.109-119
• /
• 1998

수평 2차원 POM (Princeton Ocean Model)을 바닥마찰과 개방경계조건에 대하여 수정하고, 간석지를 모의하기 위하여 wetting-and-drying 기법을 첨가하여 천수만과 인근연안에 적용하였다. 연구해역의 주된 기작인 조석에 의한 해수유통만을 고려하였다. 본 논문은 천수만 해역에서의 모델 보정과 검증 절차 및 결과를 제시한다. 조석표의 평균 조석 특성을 이용하여 모델영역 전반에 걸쳐 진폭과 위상을 포함하는 조석파의 전파에 대하여 모델을 보장하였고, 보정 결과가 조석파를 잘 재현하였다. 보정된 모델을 1995년 여름 관측된 해수면 변위와 유속에 대한 시계열 자료를 이용하여 검증하였고, 검증 결과가 조석 및 조류를 잘 재현하였다. 보정 및 검증 결과가 본 모델이 천수만 해역에서 조석 현상을 잘 재현할 수 있음을 보여주었다