• 한국컴퓨터정보학회논문지
• /
• 제9권3호
• /
• pp.63-69
• /
• 2004

본 논문의 목적은 안전한 직무 기반 접근 제어 모델을 웹 기반 응용 시스템에 통합하기 위해 필요한 시스템 모델을 설계하는 것이다. 이를 위해 우선 시스템 아키텍처 설계에 본보기로 활용할 수 있는 유저풀 방식의 시스템 아키텍처 모델을 제안하고, 이 시스템 아키텍처가 웹 기반 응용 시스템에서 실제로 어떻게 직무 기반 접근 제어를 수행하는지를 보여주는 시스템 동작 모델을 제안하고자 한다. 그리고 본 논문에서 제안한 시스템 모델을 기존의 시스템과 비교 분석함으로써 기존 방식에 대한 개선 효과를 제시한다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1995년도 제12회 음성통신 및 신호처리 워크샵 논문집 (SCAS 12권 1호)
• /
• pp.83-87
• /
• 1995

Keyword Spotting 이란 음성인식의 한 분야로서 입력된 음성에서 미리 정해진 특정단어 또는 복수 개의 단어들 중 어느 것이 포함되어 있는지의 여부를 찾아내고 이 단어를 식별해 내는 작업을 의미한다. 음소모델을 이용하여 Keyword Spotting 시스템을 구성할 경우 새로운 keyword의 추가 또는 변경이 필요할 때 단순히 그 발음사전에 따라 음소모델들을 연결시킴으로써 keyword 모델을 구성할 수 있으므로 단어모델에 의한 방법에 비해 장점이 있다. 본 논문에서는 triphone을 기본단위로 하는 HMM 에 의해 keyword 모델을 구성하고, non-keyword 모델 및 silence 모델을 함께 사용하는 keyword spotting 시스템을 구성하였다. 이러한 시스템에서 non-keyword 모델은 keyword와 keyword가 아닌 음성을 구분 지어주는 역할을 하므로 인식성능의 향상을 위해서는 적절한 non-keyword 모델의 선택이 필요하다. 본 논문에서는 10개의 state를 갖는 단일모델, 조음방법에 의해 음소들을 clustering 한 모델, 그리고 통계적 방법에 의해 음소들을 clustering 한 모델들을 각각 non-keyword 모델로 사용하여 그 성능을 비교하였다. 6개의 keyword를 대상으로 한 화자독립 keyword spotting 실험결과, 통계적 방법에 의해 음소들을 6 또는 7개의 그룹으로 clustering 한 방법이 가장 우수한 인식성능을 나타냈다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 추계학술대회 및 정기총회
• /
• pp.159-164
• /
• 2005

UAV(Unmanned Air Vehicle) 시스템은 새로운 알고리즘과 소프트웨어 디자인에 바탕을 두고 빠르게 발전하고 있다. 그러나, 일반적으로 쓰이고 있는 전자공학적인 제어 시스템은 개발의 복잡성과 그에 따른 이용증대에 대한 문제점을 가지고 있다. 이에 본 논문에서는 연속시간 시스템으로 표현되는 비행기 모델과 이의 효과적인 제어를 위해 이산사건 시스템으로 표현되는 조종사 모델간의 연동을 제안한다. 전자공학적 모델인 연속시스템은 자세한 표현력을 바탕으로 정량적이고 정확한 비행기 모델을 표현할 수 있으며 제어 모델인 이산사건 시스템은 각 사건과 시스템의 상태에 따른 정성적인 행동제어를 가능하게 한다. 본 연구는 한국항공대학교에서 개발한 이산사건 시뮬레이터인 DEJAVA(DEVS Java)와 연속시간시뮬레이터인 MATLAB 시뮬레이터 환경을 바탕으로, NASA에서 개발된 HL2O 비행시뮬레이터와 조종사 모델을 위한 지능제어시스템 개념을 사용하여 구현되었다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2000년도 추계학술대회 및 정기총회
• /
• pp.85-88
• /
• 2000

제조 원가는 기업의 목표인 이익의 가장 핵심적인 부분이지만 분석적인 방법론으로 측정하기 어려운 부분이다 단순한 재무적인 구조를 통하여 얻어지는 제조 원가는 현 시장에서 커다란 의미를 갖지 못한다. 따라서 생산 시스템 차원에서 제품의 제조원가 측정은 매우 중요한 문제이다. 본 연구에서는 생산 시스템에서 제품의 제조 원가의 정확한 측정이 가능한 직접 원가 측정 모델과 제조 간접비 측정 모델로 이루어진 제조 원가 측정 모델을 제안하고 이러한 모델을 통하여 생산 시스템의 변화가 제품의 제조 원가에 미치는 영향에 대해 분석하였다. 직접 원가 측정 모델은 생산되어지는 각 단위 제품별로 직접적으로 쓰여지는 비용에 대하여 제조 원가의 측정이 가능하도록 하였으며, 이러한 각 단위제품별 제조 원가의 총합과는 별도로 제품의 생산에 간접적으로 쓰여지는 비용들은 따로 측정하여 전체 생산 시스템에서의 제조 간접비용을 측정할 수 있도록 하였다. 또한 생산 시스템의 성능(Performance)이 제조 원가 측정 모델에 포함되도록 하여 시스템의 성능에 따른 제조 비용의 변화를 알아 볼 수 있도록 하였다.

• Spatial Information Research
• /
• 제5권1호
• /
• pp.77-88
• /
• 1997

본 논문에서는 객체관계형 지리정보 시스템의 설계 및 구현에 대하여 논한다. 본 지리정보 시스템은 상용의 객체관계형 데이터베이스 시스템을 하부 구조로 사용하며, 객체지향 데이터 모델에 근거한 공간 객체모델, 공간 질의어 및 시각적 사용자 인터페이스를 제공하고 있다. 특히 본 시스템에서는 데이터베이스 상의 주색인(primary index)기법으로 적용 가능한 DOT 공간 색인 기법을 이용하여 효율적인 공간 질의 처리를 수행한다. 또한 본 시스템에서는 SDTS데이터 모델을 개념적 모델로 사용하며, SDTS의 공간 객체에 관한 개념적 모델은 지리정보 시스템 내에서 내부 데이터 모델인 객체지향 데이터 모델로 전환된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (중)
• /
• pp.963-966
• /
• 2003

IPv6-IPv4 변환시스템은 기존의 IPv4 네트워크와 신규 구축되는 IPv6 네트워크 간의 통신을 가능하게 하는 게이트웨이 기반 기술이다. 이러한 IPv6-IPv4 변환시스템에서는 네트워크 간의 모든 트래픽을 변환해야 하므로 높은 성능을 요구된다. 이에 본 연구에서는 이전 연구에서 구현된 게이트웨이 기반 IPv6-IPv4 변환시스템과 변환기의 성능분석에 적용될 수 있는 큐잉 모델을 제시하고 부과되는 트래픽에 따른 처리 성능을 산출하는 분석적인 방법을 제시하였다. IPv6-IPv4 변환시스템의 분석 모델의 경우, 도착간격은 지수분포를 따르고, 서비스시간은 M/M/l/K 모델 기반의 일반분포를 따른다. 또한 IPv6-IPv4 변환시스템의 변환기는 트래픽에 대한 변환 처리를 담당하는 핵심 모듈로서, 순차적인 단계로 이루어진다. 즉, 변환시스템의 변환기 자체의 분석 모델의 도착간격은 지수분포를 따르고, 서비스시간은 M/G/l/K 모델 기반의 일반분포를 따른다. 이렇게 제안된 모델에 대해 상세하게 설명하였으며, 이를 검증하기 위해서 모델을 적용하여 근사한 결과와 실제 측정 결과를 비교하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.248-252
• /
• 2006

최근 무인항공기는 정찰임무를 포함하여, 기상관측, 해상관측 등의 여러 임무로 사용되고 있으며, 점점 활용도가 높아지고 있다. 이러한 무인항공기 제어시스템은 과거에 비해 복잡도가 증가했으며, 보다 정밀한 실시간 제어가 요구되고 있다. 이러한 제어시스템을 위한 객체지향 설계방법론은 복잡한 모델에 대한 분석을 보다 빠르게 해주고, 재사용이 가능한 시스템 구축을 가능하게 해 줄 것이다. 이러한 목적을 위해 본 논문에서는 실시간 객체 모델인 TMO모델을 사용하여 시스템을 설계하고, TMO모델을 지원해 주는 리눅스 기반의 미들웨어를 사용하여 무인항공기 제어 시스템을 구현함으로써, 정밀한 실시간 제어시스템에 대한 TMO모델의 적합성을 판단하고, TMO모델 지원 미들웨어의 성능을 평가해 본다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1543-1546
• /
• 2012

반응형 시스템은 외부 환경과 지속적으로 상호작용하는 시스템이다. 반응형 시스템이 요구 사항을 만족하는지를 검사하기 위해서 상호 작용을 수행할 환경 모델을 구축 해야 한다. 환경 모델은 반응형 시스템에게 항상 올바른 입력들을 제공 해야만 검사 결과의 신뢰성을 보장할 수 있기 때문에 올바른 입력들을 포함하는 것은 매우 중요하다. GR(1) Synthesis 는 수학적 정형 기법으로써 논리식으로 표현된 요구 사항을 보장할 수 있는 모델을 자동으로 생성할 수 있다. 이 기법을 이용하여 올바른 환경 모델을 생성하고 반응형 시스템에게 올바른 환경의 입력들을 자동으로 제공 함으로써 반응형 시스템의 행위가 올바른지를 환경 모델 상에서 검사하였다. 또한 사례 연구를 통해 환경 모델을 이용한 검사가 기존 방법에 비해 우수함을 알 수 있었다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2006년도 제18회 한글 및 한국어 정보처리 학술대회
• /
• pp.171-176
• /
• 2006

본 논문에서는 n-best 리랭킹을 이용한 한-영 통계적 음성 번역 시스템에 대해 논하고 있다. 보통의 음성 번역 시스템은 음성 인식 시스템, 자동 번역 시스템, 음성 합성 시스템이 순차적으로 결합되어 있다. 하지만 본 시스템은 음성 인식 오류에 보다 강인한 시스템을 만들기 위해 음성 인식 시스템으로부터 n-best 인식 문장을 추출하여 번역 결과와 함께 리랭킹의 과정을 거친다. 자동 번역 시스템으로 구절기반 통계적 자동 번역 모델을 사용하여, 음성 인식기의 발음 모델에서 기본 단어 단위와 맞추어 번역 모델과 언어 모델을 훈련시킴으로써 음성 번역 시스템에서 형태소 분석기를 제거할 수 있다. 또한 음성 인식 시스템에서 상황 별로 언어 모델을 분리하여 처리함으로써 자동 번역 시스템에 비해 부족한 음성 인식 시스템의 처리 범위를 보완할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권12호
• /
• pp.1031-1051
• /
• 2006

최근 유비쿼터스 시스템을 설계하고 개발하기 위한 방법들 중 하나로서, 다중 에이전트 모델을 이용하는 방식이 연구되고 있다. 이러한 방식은 다중 에이전트 모델의 장점을 유비쿼터스시스템에서 수용할 수 있도록 하였다. 그러나, 특정 유비쿼터스 시스템에 대해서는 기존의 다중 에이전트 모델들만으로는 완벽하게 기술하기에 어려운 부분이 있다. 본 논문에서는 사용자의 요구가 동적으로 생성되면 개체들이 협업하여 이를 해결하는 협업 위주의 유비쿼터스 시스템에 초점을 맞추었다. 이러한 시스템에서는 서비스를 제공하기 위하여 형성되는 컴퓨팅 요소들간의 협업 조직이 매우 중요하지만, 일반적인 다중 에이전트 모델로는 이러한 협업 조직을 효과적으로 표현하기가 쉽지 않다. 즉, 기존의 모델만으로는 이러한 협업 조직의 동적인 생성과 소멸, 동적인 조직의 구성방식, 그리고 서비스를 제공하기 위한 조직 내에서 또한 조직들간의 협업 방식을 기술자기가 쉽지 않다는 것이다. 따라서 본 논문에서는 그러한 협업 조직을 커뮤니티라 하고, 협업 중심의 유비쿼터스 시스템을 커뮤니티에 기반하여 기술하는 추상화 모델로서 커뮤니티 컴퓨팅 모델을 제안하였다. 또한 본 논문에서는 유비쿼터스 시스템을 위한 체계적인 개발 체계가 수립되어 있지 않다는 점에 주목하고, 제안된 커뮤니티 컴퓨팅 모델을 기반으로 응용 시스템을 개발하기 위한 시스템 개발 과정을 제안하고 이를 빠르고 편리하게 도와주는 개발 도구를 구현하여 보았다. 마지막으로, 소규모의 유비쿼터스 시스템을 제안한 추상화 모델로 기술하고 개발 도구를 사용하여 다중 에이전트 플랫폼에서 개발하여, 제안한 방법의 실현성을 검증하여 보았다.