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

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

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

대화 상태 추적(Dialogue State Tracking)은 특정 목적을 달성하기 위한 대화 시스템인 목적 지향 대화 시스템의 핵심 부분으로, 대화에서 표현된 사용자의 목적을 추출한다. 조기 위험 검출 시스템은 연속적으로 들어오는 정보를 바탕으로 분류 대상인지 아닌지를 판별하며, 정확도 저하를 피하면서 최대한 빠르게 분류하는 것을 목표로 한다. 본 연구에서는 대화 상태 추적 시스템에서 나온 은닉층을 입력으로 하여 실시간으로 공황 장애 여부를 점진적으로 조기 분류하는 시스템과 조기 분류를 위한 새로운 손실 함수를 제안한다. 조기 위험 검출 시스템에 대화 상태인 belief state의 정보를 함께 사용했을 때, 큰 성능 향상을 보였으며 대화 상태가 조기 위험 검출에 필요한 정보를 담고 있음을 확인할 수 있다.

• 한국통신학회논문지
• /
• 제31권2A호
• /
• pp.176-186
• /
• 2006

본 논문에서는 2.45GHz 대역 IEEE 802.15.4 LR-WPAN(Low-Rate Wireless Personal Area Network; ZigBee) 시스템의 수신기를 위한 개선된 방식의 symbol detector 알고리즘을 제안한다. 저가 구현을 지향하는 LR-WPAN 시스템의 특성상 규격에서 권고하는 frequency tolerance는 $\pm$80ppm(196KHz, 송수신 각각 $\pm$40ppm)으로서 이러한 큰 주파수 옵셋 환경에서도 안정된 동작이 가능한 symbol detector 알고리즘이 요구된다. 일반적으로 LR-WPAN의 수신 모뎀을 위해 주파수 옵셋에 강인한 noncoherent 기반의 symbol detector 사용되나 noncoherent 방식은 I/Q 제곱 과정에서의 제곱 손실에 의해 성능 열화 및 구현의 복잡도 증가를 유발하게 된다. 따라서 본 논문에서는 단일 preamble 심볼을 이용한 주파수 옵셋 추정기를 통해 주파수 옵셋을 보상해주는 coherent 방식의 symbol detector를 제안한다. 제안된 방식은 noncoherent 방식의 제곱 손실을 제거하여 성능을 향상시킴과 동시에 복잡도를 감소시켜 초소형, 저전력, 저가를 지향하는 LR-WPAN 수신기에 보다 적합하도록 설계되었으며, 다양한 채널 환경에서의 성능 평가를 통하여 제안된 알고리즘이 differential detection 기반의 noncoherent 방식보다 1dB의 향상된 성능을 보임을 입증하였다

• 전자공학회논문지
• /
• 제50권12호
• /
• pp.191-196
• /
• 2013

본 논문에서는 실제 환경에서 인접 배치된 무지향성 스테레오 마이크로폰을 활용하여 녹음받은 스테레오 오디오 신호를 양이간 강도차에 기반하여 원하는 방위각에 존재하는 음원을 추출하는 음원 분리 기법을 제안한다. 먼저, 최소 분산 무손실 응답빔형성기를 활용하여 스테레오 오디오 신호의 양이간 강도차를 극대화하고, 강도차 기반의 음원 분리 기법을 적용한다. 제안된 기법의 성능을 검증하기 위하여 stereo audio source separation evaluation campaign (SASSEC)에서 제공하는 객관적 성능평가 지표인 source-to-distortion ratio (SDR), source-to-interference ratio (SIR), sources-to-artifacts ratio (SAR)을 측정하였다. 측정한 결과, 음원 분리 기법에 빔형성기까지 적용한 결과가 높은 성능을 보인 것으로 평가되었다.

• 한국통신학회논문지
• /
• 제31권3A호
• /
• pp.282-290
• /
• 2006

본 논문에서는 2.45GHz 대역 IEEE 802.15.4 LR-WPAN(Low-Rate Wireless Personal Area Network; ZigBee) 시스템의 수신기를 위한 개선된 방식의 Timing estimator의 알고리즘을 제안한다. 저가 구현을 지향하는 LR-WPAN 시스템의 특성상 고가의 오실레이터를 사용할 수 없으므로 반송파 중심 주파수의 80ppm에 해당하는 주파수 옵셋 환경에서 안정된 동작이 가능한 Timing estimator 알고리즘이 요구된다. 본 논문에서는 이러한 수신 환경을 고려하여 Multiple delay differential filter를 적용함으로써 주파수 옵셋에 대한 강인성 및 수신 성능의 안정성을 증대시켰으며, Multiple delay differential filter의 출력 신호에 대한 reference 신호의 상관 결과가 I-channel 에만 국한되는 특성을 이용하여 일반적인 noncoherent 방식 대신 coherent 방식의 correlator를 적용함으로써 non-coherent 방식의 제곱 손실을 제거하여 검출 성능을 향상시킴과 동시에 복잡도를 감소시켜 초소형, 저전력, 저가를 지향하는 LR-WPAM 수신기에 보다 적합하도록 설계하였다. 다양한 채널 환경에서의 성능정가를 통하여 제안된 알고리즘이 differential detection 기반의 noncoherent 방식보다 평균적으로 2dB의 향상된 성능을 보임을 입증하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권5호
• /
• pp.501-509
• /
• 2002

플랫폼에 관계없이 한번 작성된 문서의 정보를 이기종 시스템간 공유하고 다양한 문서 형식을 지원하기 위해 SGML(1508879)이 사용되고 있다. SGML 문서는 내용뿐만 아니라 구조정보를 가지고 있다. SGML 문서가 널리 보급됨에 따라서 구조적 정보를 이용한 데이타베이스의 구축 및 검색 시스템에 대한 필요성이 고조되고 있다. 그러나, 기존의 색인어를 이용한 전문 검색 엔진으로는 문서의 구조정보를 활용할 수 없다. 본 논문에서는 DSSSL 및 HyTime의 문서 모델인 Grove를 변형한 데이타 모델을 이용하여 문서 형식에 독립적이면서, 문서 형식과 내용을 분리하여 저장하는 SGML 문서 저장 시스템을 개발하였다. 구조정보를 손실없이 저장할 수 있도록 객체 지향형 데이타베이스 시스템인 오브젝트 스토어(Object Store)를 이용하였다. 또한 엘리먼트에 대해 관계형 DBMS와 유사한 인덱스 구조를 생성하여 검색 성능을 향상시켰고, 내용기반 검색과 구조기반 검색을 효율적으로 결합한 사용자 인터페이스를 구축하였다.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2596-2604
• /
• 1997

ACK는 가상 스택 기계에 기반을 둔 EM 중간 코드로부터 레지스터 구조에 기반을 둔 SPARC 기계에 대한 목적 코드를 생성하기 위해서는 코드 확장기(code expander)를 이용하고 있다. 따라서 EM 코드로부터 SPARC 목적 코드를 생성하기 위해 스택 지향 구조로부터 레지스터 지향 구조로 변환하여야 한다. 코드 확장기를 이용한 SPARC 코드 생성 기법은 각 EM 명령어에 대해 SPARC 코드로 확장하는 루틴들로 구성되며 코드 생성기에 비해 코드의 질을 개선하기 위해 푸쉬-팝 최적화 동작을 수행한다. 하지만 코드 확장시에 별도의 자원과 관리를 요구하는 혼합 스택(hybrid stack)을 이용하고 있으며 전단부의 정보 손실로 레지스터 윈도우를 이용한 효율적인 매개변수 전달을 고려하지 않는다. 본 논문에서는 ACK의 전체적인 구조의 변경 없이 목적 기계의 스택과 매개변수 전달을 고려하나 효율적인 SPARC 코드를 생성하기 위해 EM 트리를 이용한 SPARC 코드 확장기를 설계하고 구현하였다. 이를 위해, 순차적인 EM 코드를 입력으로 받아 스택 속성을 반영한 트리로 구성하며 혼합 스택을 제거하기 위해 지역 변수 정보를 별도로 관리하였다. EM 트리의 순회 및 확장 과정에서 목적 코드를 생성할 수 있는 루틴을 통하여 목적 코드를 출력하며 추출된 정보와 노드의 성격에 출력 시기와 목적 코드를 결정한다.

• 한국정보통신학회논문지
• /
• 제11권1호
• /
• pp.7-13
• /
• 2007

본 논문은 Top-loading한 슬리브 모노폴에 4개의 Post 형태 기생소자를 추가함으로써, 기존의 상용 이동통신 시스템의 주파수를 하나로 통합 할 수 있는 소형이면서, 광대역 특성을 갖는 모노폴 안테나를 설계 및 제작하였다. 각 소자의 Parameter 변화에 따른 반사손실 특성을 관찰하였고, 제안된 안테나의 광대역 특성을 확인하기 위하여 PCS, W-CDMA, WiBro, W-LAN, S-DMB 대역에서의 복사 특성을 살펴보았다. 제안된 안테나는 수평면내 무지향성, 수직면내 8자형의 지향성을 가지며 $1.67{\sim}3.55\;GHz$ 주파수 대역($B/W{\fallingdotsep}72%$) 에서 Return loss$Return\;loss{\leq}-10\;dB$의 양호한 반사손실과 $1.14{\sim}3.66\;dBi$의 이득을 얻을 수 있었다.

• 대한전자공학회논문지TC
• /
• 제49권6호
• /
• pp.105-110
• /
• 2012

본 논문에서는 슬롯과 슬릿을 사용하여 무선랜 대역 중 802.11a(5.15~5.825GHz) 대역이 소거된 평면형 UWB(Ultra Wide-Band) 안테나를 설계하였다. 소거 대역폭은 패치와 접지면에 있는 슬롯과 슬릿의 길이로 조절할 수 있고, 안테나의 방사특성은 실험값을 통해 살펴보았다. 안테나의 반사손실 -10dB 이하를 기준으로 대역폭은 소거하고자 하는 WLAN대역(5.147 ~ 5.83GHz)을 제외한 UWB 전 대역(3.1 ~ 10.6 GHz)에서 만족한다. 또한, 측정된 방사패턴은 H면에서 무지향성으로 나타난다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1991년도 가을 학술발표회 논문집
• /
• pp.96-101
• /
• 1991

프리스트레스트 콘크리트 교량은 콘크리트와 PS 강재의 역학적 장점들을 십분 활용하여 경제적인 단면 구성이 가능한 반면, 서로 다른 두 재료의 복합적인 특성들 즉, 콘크리트의 크리이프 (creep), 건조수축 (shrinkage)과 PS 강재의 이완 (relaxation) 등과 같이 시간에 따라 변화하는 인자들로 인하여 복잡한 구조적 거동을 보여 해석상 어려움이 따른다. 이와같은 복합거동은 시공순서와 시공방법에 의해 시공중의 구조계와 지지조건 등이 변화하는 경우에는 더욱 복잡한 양상을 띄게 된다. 뿐만 아니라 박스 거더와 같은 박벽요소에서는 일반적인 보요소(beam element)로는 나타낼 수 없는 ？(warping)을 무시할 수 없으므로 ？ 자유도를 구현할 수 있는 특수한 기능의 구조해석용 프로그램의 개발이 절실히 요망된다. 그리고 시공단계별로 출력되는 많은 양의 수치결과들을 설계와 시공실무자에 지향된 형태로 조합, 변형시켜 그래픽 화면상에 나타내는 후처리 프로그램(Post-processor) 기능도 구조해석용 프로그램의 개발 못지않게 중요하다. 본 연구의 목적은 삼성종합건설과 서울대 토목공학과가 공동으로 ？(warping) 자유도를 포함한 7개의 자유도를 갖는 3차원 보요소를 사용하여 PS 콘크리트의 재료적 특성인 크리이프와 건조수축, 그리고 강재의 이완(relaxation)을 포함한 프리스트레싱력의 손실을 고려할 수 있고 시공 단계별 구조계의 변화 및 지지조건들의 다양한 변화를 효율적으로 모사할 수 있는 프로그램의 개발에 있다.