• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.176-188
• /
• 1999

태스크의 마감 시간을 고려하지 않는 시분할 스케쥴링 방식으로 인하여 범용 운영 체제는 실시간 시스템을 개발하는데 적합하지 않다고 알려져 있다. 그러나 범용 운영 체제상에서 실시간 스케쥴링을 지원할수 있다면 개발된 시스템은 높은 이식성, 훌륭한 개발환경의 활용, 그리고 개발된 시스템을 위한 낮은 유지 보수 및 보수 비용 등 범용 운영 체제 고유의 중요한 장점들을 얻을 수있다. 본 논문에서는 범용 운영 체제인 Unix 상에 태스크의 마감 시간을 고려함으로써 실시간 고려함으로써 실시간 스케쥴링을 지원할 수 있는 새로운 기법을 제안한다. 제안된 기법은 특수한 태스크인 스케쥴링 데몬이 수행되는 실시간 태스크들 중 마감 시간이 가장 임박한 하나만을 수행 준비 상태로만들고, 그 외의 다른 시릿간 태스크들은 모두 수면 상태에 있도록 만드는 방식을 사용한다. 따라서 Unix 스케쥴러는 항상 유일한 태스크만을 스케쥴링의 대상으로하므로 시분할 방식의 Unix 스케쥴링 전략을 바이패스할 수 있으며, 이 결과 스케쥴링 데몬의 전략에 의하여 모든 실시간 태스크들을 스케쥴링 할 수 있다. 본 연구에서는 제안된 실시간 스케쥴링 데몬 기법을 Unix상에서 구현하였으며, C 언어 라이브러리 함수 형태의 API를 제공함으로써 실시간 시스템 개발자가 쉽게 시스템을 개발할수 있는 플랫폼을 구축하였다. 또한 실험을 통하여 이용한 성능 분석을 통하여 기존의 기법들과 비교한 제안된 기법의 우수성을 보였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.471-478
• /
• 2013

This paper proposes a black-box based test case generation method for Simulink/Stateflow model utilizing the RRT algorithm which is a method to efficiently solve the path planning for complicated systems. The proposed method in the paper tries to solve the reachability problem with the RRT algorithm, which has to be solved for black-box based test case generations. A major problem of the RRT based test case generation algorithms is that the cost such as running time and required memory size is too much for complicated Stateflow model. The typical RRT algorithm expands rapidly-exploring random tree (RRT) in a single state space. But the proposed method expands it in dynamic state space based on the state of Simulink model, consequently reducing the cost. In the paper, a new definition of RRT state space, a distance measure and a test case generation algorithm are proposed. The performance of proposed method is verified through the experiment against Stateflow model.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2555-2564
• /
• 2000

In this paper, a new unsupervised image segmentation algorithm is proposed. To model the contextual information presented in images, the characteristics of the Markov random fields (MRF) are utilized. Textured images are modeled as realizations of the stationary Gaussian MRF on a two-dimensional square lattice using the conditional autoregressive (CAR) equations with a second-order noncausal neighborhood. To detect boundaries, hypothesis tests over two masked areas are performed. Under the hypothesis, masked areas are assumed to belong to the same class of textures and CAR equation parameters are estimated in a minimum-mean-square-error (MMSE) sense. If the hypothesis is rejected, a measure of dissimilarity between two areas is accumulated on the rejected area. This approach produces potential edge maps. Using these maps, boundary detection can be performed, which resulting no micro edges. The performance of the proposed algorithm is evaluated by some experiments using real images as weB as synthetic ones. The experiments demonstrate that the proposed algorithm can produce satisfactorY segmentation without any a priori information.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.47 no.2
• /
• pp.25-33
• /
• 2010

Introducing the quantized channel state information (CSI), space division multiple access (SDMA) can extract the multiplexing gain with the limited feedback burden. However, huge signaling burden of feedback can still suffer SDMA system because the total feedback data of SDMA is linearly dependent on the number of users. Hence, we propose a new feedback scheme to control the feedback load decided by the number of users. In this scheme, the cut-off level, which restricts the feedbacks of poor conditioned users, is suggested for the reduction of the feedback burden without the performance loss. From simulation results, then, we show that the proposed feedback scheme can achieve not only the sum-rate gain but also the reasonable feedback reduction.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.3
• /
• pp.169-179
• /
• 2014

For vehicle safety-related services using wireless communications, reliable collection of various driving informations transmitted periodically by neighbor vehicles is the most important. Every host vehicle analyses them to estimate a potential dangerous situation in a very short time and warns drivers to prevent an accident. However tremendous amount of periodic messages can cause the wireless communication in chaos and the services not in safe. In this paper, we propose a time-division broadcasting protocol to mitigate the communication congestion. It utilizes the received information of vehicle velocity and location, i.e. vehicle traffic density on a road to adjust the number of time slots in a given broadcasting period, and transmission power. The simulation results show that message reception ratio is changed to approximately 40% and channel access time also decreased from 10ms to 0.23ms.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.49-49
• /
• 2018

라오스의 Houay Pano 유역은 상업적 조림으로 인해 2011년부터 2013년까지 급속한 토지이용 변화를 겪어왔다. 본 연구는 이러한 토지이용변화가 박테리아 거동에 어떠한 영향을 주는지 이해하기 위해 Soil and Water Assessment Tool (SWAT) 모형을 활용한 박테리아 거동 모델링을 수행하였다. SWAT 모형은 수치 표고 모델, 토양 특성, 토지 이용 등의 정보를 종합하여, 유역 내수량 및 수질의 변화를 모의할 수 있는 모형으로, 본 연구는 대표적인 분원성 지표 세균 (Fecal Indicator Bacteria)인 대장균 (Escheichia coli, E. coli)을 대상으로 모델링을 수행하였다. SWAT 모형은 지표면 위 박테리아를 1)식물 위, 2)토양 용액상, 3)토양 입자상으로 구분하여 모의한다. 각 상태로 분할된 박테리아는 소멸 (die-off), 씻김 (wash-off), 침투, 표면 유출을 통한 수계로의 이동 등의 단계를 통하여 유역 내에서 거동한다. 본 연구는 서로 다른 기후의 영향을 배제하기 위해 각 토지이용 시나리오를 (2011, 2012, 2013) 실제 기후 조건과 동일 기후(2011-2013 평균) 조건으로 분류하여 분석하였다. 실제 기후 조건에서 SWAT 모형은 표면 유출, 토사 유출, E. coli 거동에 대해 2011년부터 2012년까지 감소, 2012년부터 2013년까지 증가로 모두 동일한 양상을 모의하였다. 이는 강수량의 양상과 동일한 것으로, 강수량이 표면 유출의 양을 결정하고, 달라진 표면 유출에 따라 토사 유출과 E. coli 거동이 결정되기 때문이다. 하지만 동일 기후 조건에서는, E. coli 거동 동인인 표면 유출과 토사 유출이 비교적 일정해짐에 따라, 각 상태로 분할된 박테리아의 초기 부하량값이 E. coli 거동을 결정하는 주된 요인임을 확인 할 수 있었다. 따라서 초기 부하량 분할에 활용되는 엽면적 지수 (Leaf Area Index)와 분배계수 (BACTKDDB)의 정확도가 요구된다. 추가적으로 본 연구는 박테리아의 유입원인 비료 모델링과, LAI를 활용한 박테리아 초기 부하량 산정, 토양 특성 변수와 토지 이용 변수의 분리, 지하수를 통한 박테리아 거동 등을 중심으로 SWAT 모형의 한계점과 개선점을 제시하였으며, 본 연구 결과는 토지이용변화가 박테리아 거동에 주는 영향을 모형적으로 이해하고, 또한 추후 박테리아 모델링 개발에 도움을 줄 것으로 예상된다.

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.128-134
• /
• 1999

기계번역이나 정보검색 등에 적용되는 자연언어처리기술에 있어서 구문분석은 매우 중요한 위치를 차지한다. 하지만, 문장의 길이가 증가함에 따라 구문분석의 복잡도는 크게 증가하게 된다. 이를 해결하기 위한 많은 노력 중에서 전처리기의 지원을 통해 구문분석기의 부담을 줄이려는 방법이 있다. 본 논문에서는 구문분석의 애매성과 복잡성을 감소시키기 위해 유한상태 변환기 (Finite-State-Transducer FSI)를 이용한 전처리기를 제안한다. 유한상태 변환기는 사전표현, 단어분할, 품사태깅 등에 널리 사용되어 왔는데, 본 논문에서는 유한상태 변환기를 이용하여 형태소 분석된 문장에서 시간표현 등의 제한된 표현들을 구문요소화하는 전처리기를 설계 및 구현하였다. 본 논문에서는 기계번역기에서의 구문분석기 뿐만 아니라 변환지식의 모듈화를 지원하기 위해 유한상태 변환기를 이용하여 시간표현 등의 부분적인 표현들을 번역하는 방법을 제안한다. 또한 유한상태 변환기의 편리한 작성을 위하여 유한상태 변환기 작성 지원도구를 구현하였다. 본 논문에서는 전처리기의 적용을 통해 구문분석기의 부담을 덜어 주며 기계번역기의 변환부분의 일부를 성공적으로 담당할 수 있음을 보여 준다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.20 no.8
• /
• pp.30-35
• /
• 2006

Voltage is generally and exactly measured in the electric and electronic field. So, we studied method for detecting electric equipment faulty state using only electric voltage. It is called the Partition-FFT. Tracking is simulated by method and tester proceed on IEC 60112. We analyze voltage waveforms by tracking tester with Partition-FFT. As the result tracking process is clearly distinguished by 6 steps. Tracking is one of the major reason of electric accidents. The Partition-FFT is using a digital oscilloscope and a computer software. If Partition-FFT analysis is applied to the electricity facilities, We can prevent from happenning electric accidents cause of tacking breakdown with low prices and easy measurment. Most of all, Partition-FFT is system that make a visual tacking process. So, everyone is able to detect to possibility of electric accidents.

• Journal of the Institute of Convergence Signal Processing
• /
• v.10 no.1
• /
• pp.32-39
• /
• 2009

In this paper, the method of region segmentation using genetic algorithm is proposed for an improvement of efficiency in moving picture coding. A genetic algorithm is the method that searches a large probing space using only a function value for a optimal combination consecutively. By progressing both motion presumption and region segmentation at once, we can assign the motion vector in a image to a small block or a pixel respectively, and transform the capacity of coding and a signal to noise rate into a problem of optimization. That is to say, there is close correlation between region segmentation and motion presumption in motion-compensated prediction coding. This is to optimize the capacity of coding and a S/N ratio. This is to arrange the motion vector in each block of picture according to the state of optimization. Therefore, we examined both the data type of genetic algorithm and the method of data processing to obtain the results of optimal region segmentation in this paper. And we confirmed the validity of a proposed method using the test pictures by means of computer simulation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.4A
• /
• pp.259-270
• /
• 2005

This paper proposes a mathematical model to analyze call-and packet-level performance of the TD-CDMA/TDD system which could serve a flexible radio resource management against multi-type heterogeneous and asymmetrical traffic conditions. On call-level analysis, the mathematical model based on queueing theory performs multi-dimensional operations using random vectors or matrices to consider multiple types of traffic and also deal with asymmetrical up- and down-direction transmissions separately. Employing the mathematical model, we obtain rail blocking probability for each type of traffic and also the optimum switching-point with the smallest call flocking probability. And on packet-level analysis, employing a non-prioritized queueing scheme between circuit and packet calls, we solve 2-dimensional random vector problem composed of the queue length for packets and the number of circuit calls being served. Finally, packet-level performance is analyzed in terms of the packet loss probability and the buffer size required under mixed-traffic conditions of multiple types of circuit and packet calls.