• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.1
• /
• pp.108-115
• /
• 1996

This paper proposes an algorithm and a model topology for the connected speech recognition using Discrete Hidden Markov Models. A proposed model uses diphone and triphone model which consider the recognition rate and recognisable vocabulary. Considering more exact inter- phoneme segmentation and execution speed of algorithm, 4 states have to exist in diphone model where the first state and the last state are keeping a steady state, the other states hold a transient state. 7 states have to exist in triphone model where 7 states are specified and improved to 3 steady states and 4 transition states. Also, the proposed speech recognition algorithm is designed to detect the inter-phoneme segmentation during the recognition processing.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.224.2-224.2
• /
• 2012

지상시험에서 위성 카메라의 규격에 정의된 모든 원격명령과 상태정보 인터페이스를 확인하고 카메라의 기능 시험을 수행해야 한다. 위성 카메라는 많은 원격명령 및 상태정보 인터페이스를 정의하여 사용하므로 수작업으로 이 모든 인터페이스 및 기능을 시험하는 것은 무리가 있다. 따라서 빠르고, 정확하고, 꼼꼼하게 이를 점검하기 위한 시험 소프트웨어가 필요하다. 시험 소프트웨어는 모든 원격 명령을 카메라에 전송하고, 원격상태정보를 수신하여 명령의 동작여부와 카메라의 상태를 확인한다. 소프트웨어는 명령마다 임의로 파라미터를 세팅할 수 있어 정상적인 명령에 대한 카메라의 동작뿐만 아니라, 비정상 명령에 대한 처리 능력까지 살필 수 있다. 또한 시스템의 메모리에 데이터를 업로드 혹은 다운로드할 때는 데이터의 양이 많기 때문에 소프트웨어는 여러 서브 명령으로 나누어 전송하거나 수신하는 것이 필요하다. 메모리 업로드 다운로드를 위해 소프트웨어는 인터페이스 규격에 맞추어 헤더 정보를 생성하고, 데이터 분석을 위해 별도의 기능을 갖는다. 소프트웨어는 비주얼 C++과 네트워크 기반의 데이터소켓버스를 이용하여 설계하였다. 메인 GUI는 데이터소켓버스를 이용하여 로컬컴퓨터의 서버를 구동하여 카메라를 제어하고 영상데이터를 수신한다. 소프트웨어는 유저가 운용하기 쉽고, 모든 명령과 상태정보 인터페이스를 빠짐없이 점검하기 위해 기능별로 분류하였으며 명령과 연관된 상태정보를 함께 체크할 수 있도록 하였다. 또한 시험시 카메라의 상태를 확인하기 위하여 전원상태, 온도, 기본 상태정보를 항상 모니터링하는 기능을 추가적으로 갖는다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.5_6
• /
• pp.257-267
• /
• 2004

Most algorithms for handling distributed deadlock problem in the generalized request model use the diffusing computation technique where propagation of probes and backward propagation of replies carrying dependency information between processes are both required to detect deadlock Since fast deadlock detection is critical, we propose an algorithm that lets probes rather than replies carry the information required for deadlock detection. This helps to remove the backward propagation of replies and reduce the time cost for deadlock detection to almost half of that of the existing algorithms. Moreover, the proposed algorithm is extended to deal with concurrent executions, which achieves further improvement of deadlock detection time, whereas the current algorithms deal only with a single execution. We compare the performance of the proposed algorithm with that of the other algorithms through simulation experiments.

• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.421-426
• /
• 2020

다중 도메인 목적 지향 대화에서 기존 딥 러닝을 이용한 대화 상태 추적(Dialog state tracking)은 여러 턴 동안 누적된 사용자와 시스템 간 대화를 입력 받아 슬롯 밸류(Slot value)를 추출하는 모델들이 연구되었다. 하지만 이 모델들은 대화가 길어질수록 연산량이 증가한다. 이에 본 논문에서는 다중 도메인 대화에서 누적된 대화의 history 없이 슬롯 밸류를 추출하는 방법을 제안한다. 하지만, 단순하게 history를 제거하고 현재 턴의 발화만 입력 받는 방법은 문맥 정보의 손실로 이어진다. 따라서 본 논문에서는 도메인 상태(Domain state)를 도입하여 매 턴 마다 대화 상태와 함께 추적하는 모델을 제안한다. 도메인 상태를 같이 추적함으로써 현재 어떠한 도메인에 대하여 대화가 진행되고 있는지를 파악한다. 또한, 함축된 문맥 정보를 담고 있는 이전 턴의 대화 상태와 도메인 상태를 현재 턴의 발화와 같이 입력 받아 정보의 손실을 줄였다. 대표적인 데이터 셋인 MultiWOZ 2.0과 MultiWOZ 2.1에서 실험한 결과, 대화의 history를 사용하지 않고도 대화 상태 추적에 있어 좋은 성능을 보이는 것을 확인하였다. 또한, 시스템 응답과 과거 발화에 대한 의존성을 제거하여 end-to-end 대화 시스템으로의 확장이 좀 더 용이할 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.478-480
• /
• 2011

우리는 패턴매칭에서 많이 사용되는 정규언어의 연산 ${\sum}^*L$에 대한 일반적인 경우의 상태복잡도와 단항 알파벳인 경우의 상태복잡도를 살펴본다. 정규언어의 상태복잡도는 해당 정규언어를 승인하는 최소결정적 유한 인식기의 상태 개수를 말한다. 패턴매칭, 검색엔진에 많이 사용되는 어떤 정규언어 L 에 대한 연산 ${\sum}^*L$의 상태복잡도를 살펴봄으로써, 좀 더 효율적인 리소스 관리를 통해 좀 더 빠른 검색을 할 수 있다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.103-103
• /
• 2004

실제 작용하는 하중상태는 요소의 형상과 작용하중의 복잡성 때문에 혼합모드 하중상태를 나타낸다. 또한 혼합모드 피로균열은 전파과정 동안 부재의 구속형상이나 외부 작용하중의 급격한 변화에 의해서도 영향 받게 된다. 이로 인하여 피로균열은 균열선단에서 지속적이면서 급격한 응력 재분배의 상태를 경험한다. 그러므로 다양한 응력 재분배 상태에서의 혼합모드 피로균열에 대한 고찰이 필요하다. 본 연구에서는 응력 재분배상태 하에서 나타나는 혼합모드 피로균열의 전파거동에 대한 특징이 실험적으로 고찰되었다.(중략)

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.209-218
• /
• 2002

보안의 형식검증은 시스템의 초기 상태를 정의하고 트랜잭션을 통해 그 상태를 추적하며 보안을 위해 각 상태를 체크하는 과정이다. 보안 증명이 잘못될 수 있는 경우는 시스템의 초기상태를 정의할 때와 상태가 안전하기 위한 조건을 정의할 때인데, 본 논문에서는 상태 트랜잭션을 위해 BAN 논리를 이용하여 대표적인 지불프로토콜인 NetBill 프로토콜에 대한 형식기법을 제안하였으며, 보안 프로토콜의 증명을 위해 BAN 논리의 확장을 제시했다. 이러한 확장된 연구결과는 원자성, 익명성 및 프라이버시와 같은 다른 중요한 보안의 특성을 증명하기 위해 이용될 수 있다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2016.02a
• /
• pp.161.2-161.2
• /
• 2016

고전적인 하이젠베그 형태의 교환상호작용에 따르면 인접한 스핀의 상태는 평행 또는 반평행 상태를 상태를 안정적으로 가진다. 최근 좀 더 일반적인 형태의 교환상호작용에 대한 연구가 이루어지고 있는데 대표적인 예로 좔로신스키-모리야 (Dzyaloshinskii-Moriya, DM) 교환상호작용이 있다. 이 현상은 인접한 스핀끼리 수직인 상태를 선호한다. 따라서 이 현상에 의해 공간상에 꼬여있는 스핀상태가 만들어지게 되는데 대표적인 예로 위상학적으로 안정된 스커미온이라는 스핀상태가 있다. DM은 크게 두가지 타입을 가지는데 하나는 bulk에서 유발되고 다른 하나는 계면에서 유발되는 것으로 알려져 있다. 이번 발표에서는 계면DM에 의해 형성되는 스커미온 자화상태를 이용한 본연구단의 최근 연구결과들을 소개하려고 한다. 우선 교류자기장을 이용하여 물질 내의 스핀상태를 한쪽 방향으로 이동 시키는 방법과 이를 응용한 메모리 소자의 구현을 설명하고 향후 발전 방향에 대한 최근 연구결과를 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.208-210
• /
• 2004

인증서 상태 검증이란 해당 거래에서 사용되는 인증서에 대한 유효성을 결정하는 과정으로 인증서를 이용하는 거래에 90%이상이 실시간적이고 신속 정확한 처리를 필요로 하는 인터넷뱅킹과 증권 트레이닝에 사용된다. 하지만 기존의 CRL을 이용한 인증서 상태 검증 기법은 인증서 상태의 대한 실시간성을 반영할 수 없다는 문제점이 있다. 이와 같은 CRL 기반의 인증서 상태 검증 기법의 문제점을 해결하고자 OCSP를 이용한 인증서 상태 검증 기법이 제기되었다. 이 기법은 인중서 상태에 대한 실시간성 문제는 해결 한 수 있었지만 OCSP 서버에 대한 중앙 집중화 처리구조로 인해 네트워크 과부하라는 또 다른 문제가 발생한다. 따라서 본 논문에서는 서명자가 인증서 발급을 요청하고 이에 따른 결과로 인증서가 인증기관으로부터 발급되었을 때 서명자정보와 인증서 일련번호가 인증기관 데이터베이스에 매칭 되어 저장된다는 점에 기인하여 위에 문제점들을 해결할 수 있는 서명자의 정보를 이용한 인증서 상태 검증 기법을 제안한다.

• Journal of Labour Economics
• /
• v.30 no.2
• /
• pp.61-86
• /
• 2007

This study investigated the health outcomes of the aged male workers who retired before 2003, using the Korean Labor and Income Panel Study data. Empirical study shows that the subjective and objective health conditions of the retiree are worse than the non-retired. And the random-effect panel probit analyses got the results that the effects of retirement on health are different by the retirement reason and the subjective health conditions.