• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.3
• /
• pp.74-81
• /
• 2014

The coverage area of GNSS regional ionospheric correction model is mainly determined by the disribution of GNSS ground monitoring stations. Outside the coverage area, GNSS users may receive ionospheric correction signals but the correction does not contain valid correction information. Extrapolation of the correction information can extend the coverage area to some extent. Three interpolation methods, Kriging, biharmonic spline and cubic spline, are tested to evaluate the extrapolation accuracy of the ionospheric delay corrections outside the correction coverage area. IGS (International GNSS Service) ionosphere map data is used to simulate the corrections and to compute the extrapolation error statistics. Among the three methods, biharmonic method yields the best accuracy. The estimation error has a high value during Spring and Fall. The error has a high value in South and East sides and has a low value in North side.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.595-597
• /
• 2001

연속미디어 데이터에 적합한 프락시 캐슁 기법을 연구하기 위하여 인터넷 상어서 서비스 되고 있는 비디오 데이터에 대한 사용자 액세스 패턴을 분석하였다. 비디오 특성에 따른 인기도의 변화와 life cycle 을 분석하여 효율적인 프락시 캐슁 기법을 제안한다. 연속미디어 객체의 인기도에 비례하여 전체 또는 앞부분을 캐슁함으로써 를라이언트에 대한 초기지연시간을 감소시키고, 캐쉬 공간을 효율적으로 사용하면서 캐슁의 효과를 극대화 하고자 한다. 비디오의 aging을 고려하여 재생량에 기반한 인기도를 계산할 수 있는 지수분포 모형을 제시하고 주기 적으로 인기 가 낮은 오브젝트를 인기가 높은 오브젝트로 대체해 나가는 방법을 계시한다. 제안하는 기법의 성능을 평가하기 위하여 인터넷 방송국 VOD서버의 로그 데이터를 이용한 트레이스 기반 실험을 수령하였다. 그 결과, 제안하는 기법이 BHR, DSR, 재배치외 측면에서 기존의 캐슁 기법들에 비하여 전반적으로 우수한 성능을 보여주었다.

• Journal of Power System Engineering
• /
• v.4 no.4
• /
• pp.16-24
• /
• 2000

고체내의 열에너지의 전달을 분석하기 위하여 고전적인 Fourier 열전도 법칙과 에너지 보존식에서 유도되는 열전도 방정식을 사용해 왔다. 이러한 열전도 방정식은 열전도가 무한한 속도로 진행된다는 것을 의미하고 있다. 그러나 극저온상태에서나 매우 급속한 열전도과정 중 매우 짧은 시간의 상태에서 non-Fourier 모델에 기초를 둔 쌍곡선형 열전도 방정식이 도입되었다. 최근의 이에 관한 연구에서 열전도가 파장의 형태로 유한한 전파속도를 갖는다는 것이 실험적으로 증명되었고 이로부터 여러 가지 실험적인 해석과 이론 해석이 전개되었다. 본 논문에서는 열전파 속도의 유한한 성질을 나타내는 수정된 열전도 법칙을 이용하여 1차원 평판에 대하여 공간에 대한 finite Fourier 변환 방법과 Green 함수 방법으로 해석하여 열전도파의 파동 성질, 공진 현상 및 위상차를 고찰하고자 한다. 열전도파가 갖는 모달 주파수에 대해 임계값을 갖으며 이 임계값을 초과할 때 공진 현상과 위상차를 고찰할 수 있었다.

• Annual Conference of KIPS
• /
• 2002.04a
• /
• pp.233-236
• /
• 2002

본 논문은 인터넷상에서 다양한 매체를 이용한 서비스를 제공할 때 생길 수 있는 긴 사용자-서버간 지연, 엄청난 서버의 부하, 네트워크 자원의 비효율적 사용과 같은 문제점들을 위한 개선된 방법으로 사용자에 가까운 복수의 노드들을 두어 서버에서 전송된 데이터를 분산 저장하는 방법에 대해 다루고 있다. 새로운 분산 Proxy 기법은 VOD 서비스를 원하는 사용자들이 통일한 아이템에 대한 요청이 많은 서비스 패턴을 분석해서, 중복된 네트워크 부하는 줄이는 과정을 수행한다. 사용자가 요청한 영화는 서버에서 전송을 받는데 이때, HEN(Head-End-Node)에 구현된 여러 Proxy에 아이템의 일부를 나누어 저장하고 이에 대한 정보 보관과 제어를 SA(Switching Agent)가 하게 된다. 사용자가 서비스를 요청할 경우 SA의 제어 하에 분산 Proxy에 교호적으로 접속을 하여 저장되어 있는 부분적인 데이터들을 서비스 받도록 한다. 이때 Proxy에 새로운 데이터 블록을 저장할 때는 부족한 저장공간으로 인해 LRU(Least Recently Used), LFU(Least Frequently Used), 또는 이들을 복합한 Hybrid 정책을 사용한다.

• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.1785-1788
• /
• 2003

자바의 동적 클래스 로딩은 실행 시간에 소프트웨어 컴포넌트를 동적으로 로딩하기 위한 강력한 메커니즘이다. 다른 시스템에서도 동적 료딩과 링킹을 제공하지만 지연 로딩, 타입 안전 링크, 사용자 정의 클래스 로딩 정책, 그리고 나중 이름공간 둥은 자바가 가진 중요한 특징이다. 자바에서 클래스 로딩의 핵심은 타입 안전에 대한 확신이다. 하지만 자바 가상머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고 또 정확성에 대한 접근이 명확하지 않아서 지금까지 많은 버그가 발생되었고 따라서 타입 안전에 문제가 되어왔다. 본 논문은 간단한 자바 소스 코드를 이용하여 동적인 클래스 로더의 동작을 분석하여 도식화하고, 연산적 의미론으로 추상화하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• Proceedings of the Korean Society Of Semiconductor Equipment Technology
• /
• 2003.12a
• /
• pp.50-53
• /
• 2003

본 연구에서는 AD 변환기, QEP(Quadrature Encoder Pulse Circuit)등 모터 제어에 필요한 주변 소자의 디지털 제어를 통해서 AC 서보 모터의 벡터 제어를[3] 구현하고 시간 지연에 의한 노이즈를 최소화하기 위해 저 전압형 DSP인 TMP320F2812를 이용하였다. TMP320F2812는 MOS 타입으로 8 depth pipeline을 가진 Harvard bus 를 채택해서 최대 150MIPS의 고속 처리 능력을 갖고 있으며 12 비트의 AD 변환기 QEP 회로와 공간 전압 벡터 PWM을 발생시킬 수 있는 기능을 가진 모터 제어용 원칩 DSP이다 모터 제어에 필요한 주변 회로들을 내장한 DSP는 하드웨어적인 구성을 간소화시키고 이로 인한 비용 절감을 얻을 수 있다. 간단한 구조로 고속 연산을 하기 위해 TMP320F2812는 고정 소수점 연산 처리 방식[6]을 사용하게 되었다. 고정 소수점 연산 처리로 인한 오차는 각 변수에 대한 스케일링을 통해 유효 자리를 확보 하는 방법을 사용하였다.

• Journal of the Korea Computer Graphics Society
• /
• v.3 no.2
• /
• pp.65-76
• /
• 1997

본 논문은 인체의 최종효과기 (예: 손)가 주어진 공간상의 목표위치를 성취하도록 새로운 동작을 다수의 기존 동작을 혼합하여 생성하는 동작혼합기법을 제시한다. 전형적인 동작혼합기법에서는 동작들을 구성하는 관절커브들에 사용자가 적절한 가중치를 주고 이들의 가중치 합을 구하여 새로운 동작의 관절커브로 삼는다. 그러나 생성될 동작이 특정 제약조건 (예: 손의 최종위치)를 만족해야 될 경우에는 사용자가 성분동작에 적절한 가중치를 부여하는 것이 쉽지 않다. 따라서 본 논문은 원하는 동작의 타입 (예: 걷기, 손 뻗기) 과 동작의 최초 및 최종상태가 주어지연, 주어진 최초 및 최종상태를 만족하는 새로운 동작을 기존동작들을 혼합하여 자동적으로 생성하는 기법을 제안한다. 이 기법은 성분동작들의 집합을 연속적이고 완만한 곡면으로 표현하고 사용자가 생성하기 원하는 동작의 최초 및 최종상태를 정하면 이 곡면상에 있으면서 주어진 최초 및 최종상태를 만족하는 특정 동작을 구하여 원하는 동작으로 삼는다.

• Journal of Environmental Science International
• /
• v.4 no.1
• /
• pp.71-80
• /
• 1995

A discrete state space model for a multiple-reach river system is formulated using the dynamics of biochemical oxygen demand(BOD) and dissolved oxygen(DO). A hierarchical optimization technique, which is applicable to large-scale systems with time-delays in states, is also described to control stream quality in a river as an optimal manner based on the interaction prediction method. The steady state tracking error of the proposed method is determined analytically and a necessary and sufficient condition on which a constant target tracking problem has zero steady-state error is derived. Computer simulations for the river pollution model illustrate the algorithm.

• Review of KIISC
• /
• v.7 no.2
• /
• pp.55-72
• /
• 1997

현재 정보통신기술과 인터넷의 확산으로 가상공간상에서의 상거래인 전자상거래가 활발히 전개되고 있다 이미 선진국에서는 전자상거래를 국가경쟁력 강화의 일환으로 국가전략차원에서 추진 중에 있으며 우리나라에서도 정보통신부가 전자상거래 활성화를 위해 한국정보보호센터를 중심으로 전자상거래 정보보호기술 개발 및 관련 법·제도 개선을 추진 중에 있다. 이러한 법·제도의 핵심은 바로 전자인증제도의 확립이다. 전자인증제도는 전자상거래 정보보호기술의 핵심기술인 전자서명기술의 안전한 운영을 의미한다. 이러한 전자서명기술의 안전한 운영을 위해 필요한 기반기술이 공개키 기반구조이다. 즉, 공개키 기반구조는 전자인증제도의 실체화된 정보보호망이다. 전자상거래를 통해 국가경쟁력을 확보하기 위해서는 무엇보다도 전자인증제도가 확립되어야 하며 이것의 실체화인 공개키 기반구조가 구축되어야 할 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.737-739
• /
• 2003

최근에 이동 객체의 위치를 추적하는 기술은 여러 응용 분야에서 중요성이 증대되고 있다. 그러나 지속적으로 움직이는 이동 객체의 위치를 추적하기 위해서는 매우 많은 수의 인덱스 변경 연산을 수행하여야 하므로 R-트리와 같은 전통적인 공간 인덱스 구조로는 처리하기 어렵다. 이러한 문제를 해결하기 위하여 객체의 움직임을 간단한 선형 함수로 가정하여 색인하는 연구들이 있어왔지만, 실제 응용에서는 객체의 움직임이 매우 복잡하므로 이러한 방법을 이용하기 적합하지 않다. 본 논문에서는 복잡한 움직임을 가지는 객체를 효율적으로 색인하기 위한 R-트리의 지연 갱신 기법을 제안한다. 이 기법은 객체가 이동할 때마다 트리의 구조를 변경하지 않고, 객체가 이전에 속해 있던 R-트리의 MBR(Minimum Bounding Rectangle)을 벗어날 때만 트리의 구조를 변경하므로 R-트리의 갱신 연산 비용을 크게 줄일 수 있다. 뿐만 아니라, 기본적인 R-트리의 구조와 연산을 그대로 이용하므로 다양한 R-트리 변종 트리에서도 쉽게 적용이 가능하고, R-트리를 이용하여 이미 구축되어 있는 다양한 응용 환경에 쉽게 이용할 수 있다.