• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.559-562
• /
• 2014

일반적으로 정적 분석은 자동으로 후 조건은 유추할 수 있지만 전조건은 유추하지 못한다. 만약 전조건을 분석할 수 있다면 프로그램을 부품 별로 분석 할 수 있게 되고 이는 계산 양을 줄이면서도 유의미한 결과를 가지는 분석을 가능하게 한다. 본 연구는 정수 구간 도메인에 한해 기존 정적 분석을 변형하여 양방향 분석정보를 토대로 전조건을 유추하는 방법을 처음으로 제시한다.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.39 no.4
• /
• pp.251-261
• /
• 2003

To measure the GPS position accuracy and its distribution according to the length of the baseline, 30 minutes to 24 hours observations at the fixed location were conducted with two GPS receivers (Ll, 12 channels) on May 29 to June 2, 2002. The GPS data received at the reference station, the rover station and the ordinary times GPS observation station operated by the National Geography Institute in Korea were processed in kinematic and static post-processing methods with a post -processing software. The results obtained are summarized as follows: 1. The number of the satellite that could be observed continuously more than six hours was 16 and most of these satellites were positioned at east-west direction on May 31, 2002. The number of the satellite observed and the geometric dilution of precision (GDOP) determined by the average of every 10 minute for the day were 8 and 3.89, respectively. 2. Both the average GPS positions before and after post-processing were shifted (standalone: 1.17 m, post -processing: 0.43m) to the south and west. The twice distance root mean square (2drms) measured with standalone was 6.65m. The 2drms could be reduced to 33.8% (standard deviation 0=17.2) and 5.3% (0=2.2) of standalone by the kinematic and the static post-processing methods, respectively. 3. The relationship between the length of the baseline x (km) and the 2drms y (m) obtained by the static post-processing method was y=0.00l6x+0.006 $(R^2=0.87)$. In the case of the positioning with the static post-processing method using the GPS receiver, it was found that a positioning within 20cm 2drms was possible when the length of the baseline was less than 100km and the receiving time of the GPS is more than 30 minutes.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.336-339
• /
• 2009

본 논문에서는 최단 경로 탐색 및 거리 계산의 필요성을 가지고 근사 인덱싱 방법의 후처리 부분을 제안한다. 근사 인덱싱 방법이란 오프라인에서 네트워크 공간상의 객체들을 유클리드 공간 상의 절대 좌표로 사상하여 인덱싱한 후, k-최근접 이웃 질의를 처리하는 방법이다. 그러나 기존 연구는 질의 점으로부터 각 정적 객체까지의 경로를 탐색해주지 않을 뿐만 아니라 착오 기각이 발생한다. 따라서 본 논문에서는 질의 점으로부터 k개의 정적 객체까지의 경로를 효과적으로 탐색할 수 있는 방법을 제안한다. 또한, 이 방법을 통하여 착오 기각 역시 완화시킬 수 있는 방법을 제안한다. 실험을 통하여 제안하는 방법이 기존 경로 탐색 기법들에 비해 노드 탐색 횟수 및 실행 성능이 크게 향상시킨 것으로 나타났다.

• Proceedings of the Korean Society of Fisheries Technology Conference
• /
• 2002.10a
• /
• pp.63-64
• /
• 2002

GPS 시스템을 사용하면 전세계에 걸쳐 언제든지 수$\pm$10m 이내의 오차범위에서 위치를 측정할 수 있다. 이보다 더 정밀한 위치가 필요할 경우에는 Differential GPS (DGPS)방식을 자주 사용한다. DGPS방식은 실시간 처리(Real time kinemetic: RTK)와 후처리(post-processing)방식으로 나눌 수 있다. 측위정도는 정적 후처리방식이 동적 후처방식이 보다 높은 것이 일반적이다. (중략)

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.144-147
• /
• 2011

본 논문에서는 기존의 선형정적해석 절차를 변형하여 부재의 이력모델 응용을 통해 부재 파괴여부에 따라 힌지처리 및 재해석의 반복과정을 자동으로 수행하는 새로운 연쇄붕괴 프로그램을 제안하였다. 6m 4경간의 철근콘크리트 골조에 철골 가새를 보강 설치한 예제구조물에 대하여 최하층 기둥부재를 제거한 후 기존 해석법과 제안 해석법을 통해 선형정적해석을 수행하였고, 그 결과를 비교 분석하였다. 해석 결과, 두 절차 간 부재단위의 파괴여부 및 구조물 힌지 분포 경향의 동일함을 보여 해석의 신뢰성을 확보하였으며. 기존 해석법에 비해 수행단계의 시간이 매우 짧고 자동 반복해석으로 인한 오류의 가능성도 최소화 할 수 있음을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.868-873
• /
• 2000

비디오는 상당히 많은 정보를 함축적으로 포괄하는 있는 자원이다. 하지만 비디오의 내용물을 처리하고 이해하기에는 많은 어려움이 있다. 모자이크라고 하는 것은 연속적인 영상들로부터 정합 하여 하나의 새로운 영상을 생성함을 일컫는다. 그러므로 모자이크 영상을 통해서 비디오의 많은 정보들을 효과적으로 표현해 줄 수 있다. 본 논문에서는 모자이크 구축을 위해 이동하는 카메라를 통해 입력을 받아 모자이크 영상을 생성하는 방안을 제시한다. 정적 모자이크 구축을 위해 두 영상간의 방향 벡터만큼 이동 후 차 영상을 계산하여 구축하는 방안을 제시한다. 동적 모자이크 구축을 위해 움직이는 카메라와 동적 객체의 파라미터를 모호성을 방지하기 위한 알고리즘을 제시하고, 동적 객체 판별을 위한 영역 분할 기법에 대하여 제시한다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2164-2178
• /
• 1998

본 논문에서는 한 사이클에 여러 개의 명령들이 다중 이슈되어 명령어 수준에서 병렬처리되는 ILP 프로세서의 성능을 측정하고 평가하는 시스템을 개발한다. 개발되는 시스템은 C 컴파일러와 시뮬레이터로 구성된다. C 컴파일러는 C 소스 프로그램을 입력으로 받아 3-주소 코드형태의 중간언어를 생성한다. 생성된 중간언어는 ILP 프로세서의 환경 파라미터와 함께 시뮬레이터에 입력되어 시뮬레이션된 후 메모리 내용, 수행된 클럭 수 및 명령 트레이스, 수행된 명령들의 동적 빈도수, 분기명령의 예측률, profiling 정보 등을 생성한다. 개발된 성능측정 시스템의 동작 검증을 위하여 순차이슈 되어 정적으로 스케쥴링 되는 조건실행 방식의 성능과 분기처리 방식의 성능을 측정하여 분석한다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.7
• /
• pp.283-292
• /
• 2013

In order to ensure high performance, all the servers in an existing server cluster are always On regardless of number of real-time requests. They ensure QoS, but waste server power if some of them are idle. To save energy consumed by servers, the server power mode control was developed by shutdowning a server when a server is not needed. There are two types of server power mode control depending on when a server is actually turned off if the server is selected to be off: static or dynamic. In a static mode, the server power is actually turned off after a fixed time delay from the time of the server selection. In a dynamic mode, server power is actually turned off if all the services served in the server are done. This corresponds to a turn off after a variable time delay. The static mdoe has disadvantages. It takes much time to find an optimal shutdown time manually through repeated experiments. In this paper, we propose a dynamic shutdown method to overcome the disadvantages of static shutdown. The proposed method allows to guarantee user QoS with good power-saving because it automatically approaches an optimal shutdown time. We performed experiments using 30 PCs cluster. Experimental results show that the proposed dynamic shutdown method is almost same as the best static shutdown in terms of power saving, but better than the best static shutdown in terms of QoS.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.5 no.5
• /
• pp.13-23
• /
• 2001

In the companion paper, F. E. formulation for the geometric and plastic non-linear analysis of steel jacket structures subjected to wave and earthquake loadings was presented and the main processor was developed. In this paper, the pre/post processor are developed in order to analyze the output results effectively as well as to prepare the input data efficiently. Furthermore, the numerical examples are presented and discussed for linear and non-linear analysis of steel jackets under environmental loadings.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.5
• /
• pp.9-17
• /
• 2013

This paper presents the design of the educational router system. This system is designed and implemented to support network configuration and embedded programming technology of the user on Internet. Not only Static routing protocol but also a kind of dynamic routing protocols such as OSPF and RIP and firewall have been programmed for education based on ethernet interface. ADS 1.2 as debugging environment, uC/OS-ii as RTOS and C language as development language are used. The educational procedures is compile, loading of static routing protocol, a kind of dynamic routing protocols such as OSPF and RIP and firewall program already supplied. Thereafter the verification is checked by using "ping" test to allow for demo operation such as hands-on training procedure. Finally programming procedure similar with demo operation of static routing protocol, a kind of dynamic routing protocols such as OSPF and RIP and packet filtering function is educated step by step.