• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.115-117
• /
• 2002

본 논문에서는 Mobile IPv6에 사이클이 있음을 Alloy로 명세(specification)하고 Alloy 분석기로 검증(verification)한 것을 해석해 보겠다. Acyclicity를 만족하지 못함으로 해서 모바일호스트는 이동을 하지 못하고 계속 사이클을 돌게 된다. Alloy는 Rational의 UML과 같은 객체모델링 언어인데, 일차논리와 집합에 기반을 둔 Z에서부터 파생되었다. Alloy는 작은 모델들을 위한 명세 언어로, Alloy 모델은 그래픽과 텍스트를 모두 지원한다. Alloy로 명세 된 것을 쉽게 분석 할 수 있는 검증도구로 Alloy 분석기가 있는데, 이러만 도구를 이용함으로써 손쉽고 빠르게 검증을 할 수 있다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권1호
• /
• pp.85-85
• /
• 2004

다목적 실용위성(KOMPSAT) 시리즈는 전력버스가 위성의 배터리와 직접 연결되어 있어 버스전압이 배터리와 동일하며, 전력조절기(Power Regulator)의 스위칭 듀티 값이 위성 탑재 소프트웨어에 의해 제어되는 소프트웨어 제어방식의 비조절형 버스 시스템 (Unregulated Bus System)을 사용한다. 본 논문에서는 이와 같은 소프트웨어 제어방식 비조절형 버스시스템을 채택하는 위성의 전력조절기 모듈화에 적용 가능한 새로운 전원단 회로를 제안하며 제안된 전원단의 모드별 동작 특성을 해석하고 시뮬레이션 결과와 비교, 검토한다. (중략)

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1995년도 춘계공동학술대회논문집; 전남대학교; 28-29 Apr. 1995
• /
• pp.11-17
• /
• 1995

이동가입자 수신단에서의 평균 수신전력 레벨이 핸드오버 임계값과 수신기 임계값 사이에 있는 영역을 핸드오버 영역이라 하며, 가입자가 핸드오버 영역에 머무르는 시간을 핸드오버 지속시간(Handover Duration Time)으로 정의한다. 시뮬레이션 분석 결과 핸드오버 지속시간은 감마분포를 따름이 입증되었으며, 따라서 본 연구에서는 감마분포에서의 모수(shape, scale 파라메터)를 해석적 방법으로 구한다. 그리고 해석적 방법의 검증을 위해 평균과 표준편차, 모수를 시뮬레이션 결과와 비교하며, 끝으로 적합도 검정을 수행하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.112-114
• /
• 2001

본 논문에서는 온라인 게임과 같은 대규모 네트워크가상환경에서의 서버와 클라이언트간에 교환되는 정보의 대부분을 차지하는 공유객체의 이동에 대한 데드레커닝 알고리즘을 마코프 체인 (Markov Chain)을 이용하여 모델링하고 그것의 성능을 해석한다. 그리고 사용자측면에서는 거의 성능지하가 없으면서 전체적으로 네트워크부하를 줄여서 서버가 보다 많은 클라이언트를 처리해 굴 수 있도록 하기 위한 데드레커닝 문턱값의 제어기법들을 소개한다.

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

본 논문에서는 언어학적 단위인 형태소의 특성을 유지하면서 음성인식 과정에 적합한 분리 기준의 새로운 디코딩 단위인 의사형태소(Pseudo-Morpheme)를 정의 하였다. 이러한 필요성을 확인하기 위해 새로이 정의된 40개의 품사 태그를 갖는 의사 형태소를 표제어 단위로 삼아 발음사전 생성과 형태소 해석에 초점을 두고 한국어 연속음성 인식 시스템을 구성하였다.

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

여러 가지 의미를 갖고 있는 단어의 올바른 해석은 통사론적, 의미론적, 화용론적 지식을 요구하고 있다. 특히 본 논문에서 다루고자 하는 과제는 의미상 연결되어 있는 두 문장의 효과적인 해석을 통해 다의 단어의 애매성을 처리하는 방법에 관한 것이다. 이를 위해서 마커 전파를 근간으로 하는 메모리 기반 파싱에 이완법(relaxation)을 적용하여 양자의 유기적인 결합을 통한 확장된 메모리 기반 파싱 방법을 제안하고자 한다. 이 방법은 마커 전파가 제공하는 효율성을 유지하며, 이완법이 제공하는 효과성을 추구하고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.9-11
• /
• 2000

최근에 캐쉬의 성능이 전체 시스템에 미치는 영향이 커짐에 따라 캐쉬의 성능을 모델링하고 향상시키기 위한 많은 연구가 진행되고 있다. 본 논문에서는 네 가지 종류의 캐쉬모델을 가정하고 분기명령어 비율, 캐쉬미스율, 분기예측 실패율 등의 파라메터를 이용하여 수퍼스칼라 프로세서에서의 명령어 패치율을 해석적으로 모델링하였다. 시뮬레이션 결과 분기예측실패가 명령어 패치율에 미치는 영향보다는 캐쉬미스율이나 캐쉬미스 패널티의 증가로 인한 패치율의 감소가 더욱 큰 폭으로 나타났다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.550-552
• /
• 2003

패턴인식에서 사용되는 모든 영상을 해석할 수 있는 시스템은 현재 어려운 문제이므로 먼저문제 영역을 해석하는 방법이 일반적이다. 이는 영상의 이해 및 특정 정보값을 사용하여 특징으로 사용하기 위하여 특징을 추출한다. 특징 추출시 정보의 손실 없이 데이터를 줄이는 작업이 연구되어오고 있지만 이는 사람의 주관적인 경험으로 알고리즘의 내부 파라미터를 결정하고 바꾸어야 하는 문제점을 가지고 있다. 본 논문에서는 웨이블릿 변환으로 얻어진 sub-band들을 특징으로 추출하고 결과를 통계적인 방법인 주성분분석을 이용하여 특징 차원을 감소시켜 인식의 정확도를 향상시키는 방법을 제안한다.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 1999년도 추계학술대회 논문집
• /
• pp.256-261
• /
• 1999

본 연구는 감성의 정보적 측면 즉 감성정보를 인지과학적 관점에서 유도하였다. 감성정보는 인간행동의 내부와 외부의 변환과정을 주도하는 감성의 정보적 측면이라 할 수 있다. 이 감성정보와 인지과학의 인터페이스를 근간으로 하여 감성정보의 고유기능특성을 고찰하여 해석하고자 한다. 나아가 인간의 감성정보를 황금비(Golden section ratio)와 유비(Analogy)시켜 수리적 적응을 도모하고자 한다. 이러한 적응은 인간 감성이 미치는 제 대상에 새로운 방안을 제공하므로서 응용폭의 확대를 기대할 수 있다고 사료된다.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 1999년도 추계학술대회 논문집
• /
• pp.383-387
• /
• 1999

인간의 감성을 고려하는 제품의 생산에서 촉감은 인간이 제품을 만질 때 직접적으로 느낄 수 있는 중요한 감각이다. 이러한 촉감의 연구를 위해 직물을 대상으로 직물 표면의 거칠기를 측정하고 해석하였다. 측정된 표면 거칠기를 Fast Fourier Transform 변환하여 직물구조를 분석하는 기준으로 하였다. 각 peak 값들을 분석하여 나온 값이 직물 구조를 수식화하여 사용할 수 있는 좋은 방법이 됨을 알았다. 또한, 실의 잔털량을 측정하여, 잔털량과 인간의 주관적인 감각을 대표하는 값과의 상관관계를 조사하였다. 잔털량이 인간의 주관적인 감각을 객관적으로 표현할 수 있는 한 요소로 사용될 수 있다는 것을 확인하였다.