• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.1627-1630
• /
• 2002

본 논문은 역추적 예견 알고리즘을 사용한 비터비 복호기에서의 TB단의 Polling 구조의 단순화 방법을 제시한다. 비터비 복호기의 3대 Unit중 하나인 Trace Back에서 역추적 예견 알고리즘을 사용할 경우 복호화 시점에서의 최소 State Metric 값을 찾아야 하는 번거로움을 줄일 수 있다. 하지만 복호 신호의 신뢰도 분산에 따라 Polling Unit 이 추가되어야 함에 따라 실제 하드웨어 복잡도에서의 이득은 미미한 것으로 알려져 있다. 제시된 구조에서는 Polling Unit을 단순화 할 수 있는 방법을 적용하였다. 기존 하드웨어와의 비교 평가를 위하여 IEEE802.11a의 표준에 따른 부호화율 1/2, 구속장 7을 갖는 비터비 디코더에 대하여 역추적 예견 알고리즘과 파이프라인 구조만을 갖는 경우와 제안된 단순화한 Polling Unit을 적용한 구조와의 비교에서 Trace Back Unit에서 약 45%의 감소 효과를 보였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.48-50
• /
• 2012

기존의 저궤도 위성에서는 RTCS 이용하여 순차적인 명령 집합을 구현해왔다. 장치의 초기화, 관련 모드의 변경, 임무 수행 등 많은 부분에서 연관된 순차 명령이 실행되도록 설계되어 적용되었다. RTCS 는 연관된 순차 명령을 정해진 시간 간격을 두고 실행 할 수 있도록 해주었다. 이러한 RTCS 의 수행 중, 위성의 상태에 따른 조건 판단이나 분기가 필요한 경우, 위성비행소프트웨어에 별도의 Logic 을 구현하였다. 이 방법은 RTCS 자체의 구조가 단순하고, 그 수행이 직관적이라는 장점이 있으나, RTCS 와 관련된 Logic 이 위성비행소프트웨어에 고정적으로 구현되고, 조건 판단 및 분기가 여러 부분에서 수행될 경우 RTCS 가 단편화되며, 위성비행소프트웨어에서 구현해야 하는 Logic 의 관계가 복잡해지는 단점이 있다. 본 논문에서는 기존 RTCS 가 가지는 단순한 구조를 유지하면서, 조건 판단 및 분기의 처리가 가능한 새로운 순차 명령 집합의 설계에 대해 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.968-971
• /
• 2012

최근 스마트폰의 보급이 급격하게 확산됨에 따라 많은 어플리케이션(앱)이 개발되어 스마트폰 사용자에게 유용한 서비스들이 제공되고 있다. 통계지리정보서비스 또한 어플리케이션을 통해 서비스되고 있으며, 현재 국내에서는 통계청에서 'S-네비게이터' 앱을 통해 제공하고 있다. 하지만 통계청에서 제공하고 있는 서비스는 단순 통계지리정보서비스만을 제공하고 있으며, 사용자 인터페이스 구조가 복잡하다는 단점이 있다. 특히 현재의 통계지리정보서비스는 사용자에게 단순한 정보만을 제공하기 때문에 복합 통계지리정보서비스 개발이 요구된다. 이 논문에서는 복합 통계지리정보서비스 제공을 위한 앱을 설계하고 구현한 결과를 보인다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 한국정보통신학회 2016년도 추계학술대회
• /
• pp.260-263
• /
• 2016

최근 스마트폰을 이용한 사용자의 운동량 계산 어플리케이션이 많이 출시되고 있다. 이러한 어플리케이션은 스마트폰의 GPS, 가속도 등의 내장 센서들을 이용하여 사용자의 행위를 분석하고, 분석된 내용을 토대로 운동량을 단순 계산해 주는 것들이 많다. 이러한 단순 계산은 사용자의 행동을 지정된 행동으로 인식하여 계산하기 때문에 복잡한 운동을 할 경우 어플리케이션에서 측정하는 칼로리 소모량과 실제 칼로리 소모량 계산과 비교해보면 오차가 많이 나는 경우가 많다. 이러한 오차를 줄이고자 신발에 압전센서와 블루투스 통신을 포함한 모듈을 삽입하여 사용자의 이동거리와 발걸음 수를 정확히 측정하여 사용자의 운동을 인식하고, 측정된 데이터를 이용하여 운동이 끝난 뒤 발걸음수와 이동거리를 이용하여 사용자의 소모된 칼로리를 정확하게 측정할 수 있는 방법을 제시하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.27-28
• /
• 2020

이형 데이터 간의 정보 전송과 교환을 가능하게 하는 유연한 트리 구조의 특성은 인터넷 및 IoT 환경에서의 대량 데이터 저장·전송·교환 등에 있어서 XML이나 JSON에서 주요하게 사용된다. 사용성에 있어서는 수월한 반면에, 감추어져 있는 가치있는 정보들을 트리 구조의 대량 데이터들로부터 찾아내는 것은 일반 단순 구조의 데이터에 비해서 훨씬 어려우며 복잡하고 난해한 문제들을 발생시킨다. 이는 트리가 갖는 계층 구조 때문이다. 본 논문에서는 계층 구조를 갖는 대량 트리 데이터들을 보다 단순한 리스트 구조로 변형한 후 해당 구조로부터 가장 자주 발생하는 유용한 정보들을 추출하는 방법을 제시한다.

• Journal of KIISE:Software and Applications
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.

• Journal of Korea Multimedia Society
• /
• 제14권2호
• /
• pp.282-287
• /
• 2011

The attribute grammar is a grammar for static semantic rules to overcome the difficulties of type checking. But this attribute grammar is difficult to write and understand by its additional rules. A grammar would be preferable if it has simple and small size of an attribute grammar. This paper shows how to decrease the size of an attribute grammar for an expression using LH method. This approach considers the types of an expression. That is, the construction of a semantic relation between the types of the expression can make it possible that an attribute grammar be written with its simpler and smaller size.

• Journal of Advanced Navigation Technology
• /
• 제13권1호
• /
• pp.142-150
• /
• 2009

It is very important to generate a simplified model from a complex 3D character in computer game. We propose a new method of extracting feature lines from a 3D game character. Given an unstructured 3D character model containing texture information, we use model feature map (MFM), which is a 2D map that abstracts the variation of texture and curvature in the 3D character model. The MFM is created from both a texture map and a curvature map, which are produced separately by edge-detection to locate line features. The MFM can be edited interactively using standard image-processing tools. We demonstrate the technique on several data sets, including, but not limited to facial character.

• The Journal of Engineering Geology
• /
• 제4권2호
• /
• pp.139-151
• /
• 1994

Rocks are composed of the discrete elements of microstructures such as different grains and microcracks. The studies of these microstructures are of increasing interest in engineering geology and civil engineering related to construction of a deep under-ground space. Accordingly, instead of a simplified continuum approach, discrete structural elements and mechanical properties of various grains must be accounted. But it is difficult to analyse crack and discontinuity surfaces in Euclidean geometry. So, Mandelbrot( 1983) developed fractal theory to manage irregular body in nature. In this study, geometrical properties of microstructures to estimate a relation between crack propagation and stress were calculated. Then it is shown that fractal theory can be applied to research real mechanical behavior of rocks.

• Electronics and Telecommunications Trends
• /
• 제32권4호
• /
• pp.57-66
• /
• 2017

지능 정보 사회의 도래와 함께 클라우드 컴퓨팅은 정보통신기술 전반을 융합하는 주축으로 자리 잡았다. 다양한 클라우드 컴퓨팅 인프라가 새롭게 구축되고 있으며, 새로운 클라우드 서비스들도 끊임없이 쏟아져 나오고 있다. 그러나, 클라우드 환경과 서비스가 다양해질수록, 운용에 대한 복잡성 또한 증가한다. 클라우드 서비스 브로커리지(CSB: Cloud service brokerage) 플랫폼은 사용자에게 다양한 클라우드 서비스에 대한 검색, 배치, 사용 및 관리 환경을 제공하여 통합된 멀티 클라우드의 접점을 제공하는 시스템으로, 복잡한 이종 환경의 서비스에 대하여 단순하고 일관된 사용 환경을 제공함으로써 서비스 생태계를 활성화하는 기술이다. 본고에서는 CSB 플랫폼의 개념과 기술 구조를 설명하고, 기술 동향과 더불어 국내외 표준화 동향에 대해 살펴본다.