• Proceedings of the Korea Contents Association Conference
• /
• 2014.11a
• /
• pp.35-36
• /
• 2014

이 논문에서는 다수 노드로 구성되는 클러스터 환경을 위한 인-메모리 이동객체 분산 색인기법을 제안한다. 제안하는 방법은 Spark Stream의 D-strem모델을 사용하여 처리율 저하등의 문제를 유할 할 수 있는 잠금 기반의 동시성 제어방법을 배제한다.

• Journal of Internet Computing and Services
• /
• v.17 no.5
• /
• pp.17-23
• /
• 2016

Wireless sensor-actuator networks (WSANs) enhance the existing wireless sensor networks (WSNs) by equipping sensor nodes with an actuator. The actuators work with the sensor nodes and perform application-specific operations. The WSAN systems have several applications such as disaster relief, intelligent building, military surveillance, health monitoring, and infrastructure security. These applications require capability of reliable data transfer to act responsively and accurately. Biologically inspired modeling techniques have received considerable attention for achieving robustness, scalability, and adaptability, while retaining individual simplicity. In this paper, an epidemic-inspired algorithm for data dissemination with delay constraints while minimizing energy consumption in WSAN is proposed. The steady states and system stability are analyzed using control theory. Also, simulation results indicate that the proposed scheme provides desirable dissemination delay and energy saving.

• Journal of KIISE:Databases
• /
• v.37 no.3
• /
• pp.171-175
• /
• 2010

This paper analyzes the tag data inconsistency problem caused by incomplete execution of the tag access operation to the RFID tag's memory and proposes a protocol to control consistent tag data accesses with finalizing the incomplete operation. Passive RFID tag cannot guarantee complete execution of the tag access operations because of uncertainty and unexpected disconnection of RF communications. This leads to the tag data inconsistency problem. To handle this, we propose a concurrency control protocol which defines incomplete tag operations as continuous queries and monitors the tags're-observation continuously. The protocol finalizes the incomplete operation when the tag is re-observed while it blocks inconsistent data accesses from other operations. We justify the proposed protocol by analyzing the completeness and consistency. The experiments show that the protocol shows better performance than the traditional lock-based concurrency control protocol.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.24.3-24.3
• /
• 2011

우주발사체를 이용하여 인공위성을 궤도에 올리는 문제에서 가장 중요시해야 할 부분은 임무의 성공, 즉 정밀한 궤도 진입이다. 이것이 만족되어졌을 때, 비용의 최소화 또한 설계 시 중요한 고려사항이 된다. 이 두 가지 문제를 동시에 해결하기 위해선 최적 제어 전략이 필요한데, 통상적으로 이 과정은 발사 전에 최적화 기법 등을 이용하여 계산되고 검증된다. 그러나 기존의 최적화 기법은 대부분 선형 시스템에 적합한 기법들 이고, 우주발사체와 같이 매우 복잡하고 강한 비선형을 가진 운동방정식을 최적화 하려면 많은 계산이 소요된다. 계산 소모 시간을 줄이기 위해서는 선형화 등의 기법이 사용되는데, 그러한 경우 최적 해에 대한 신뢰도가 낮아질 수밖에 없다. 이 논문에서는 그러한 문제를 해결하기 위해 최근 활발히 연구되고 있는 비선형 최적화 기법인 상태 의존 Riccati 방정식 기법 (SDRE)을 이용하여 인공위성을 주어진 궤도에 진입시키는 우주발사체의 최적궤도를 계산하였다. 또한 Hamiltonian 을 이용하여 산출된 궤도의 최적성을 보이고, 목표한 궤도와의 비교를 통해 제어기의 정밀성을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.154-156
• /
• 2001

실시간처리 시스템에서 발생하는 트랜잭션은 장시간이 요구되는(CAD/CAM) 긴 트랜잭션이 아닌 일반적인 트랜잭션을 처리하는 환경이 대부분이다. 주메모리 실시간 DBMS는 디스크에 비하여 상대적으로 빠른 접근시간과 균일한 성능 특성 때문에 실시간 처리 환경에 적합하다. 그러나, 기존의 주기억 데이터베이스에서 병행수행 제어는 2단계 로킹 기법을사용하고 있다. 이 기법은 특징은 첫째, 록 획득과 해제가 실제 트랜잭션 처리 보다 많은 오버헤드가 발생되고, 또한, 처리속도가 빠르기 문에 데이터 충돌 발생률이 적다. 이러한 문제를 해결하기 위한 새로운 동시성제어 모델을 제안한다. 제안된 기법은 동시에 여러 트랜잭션을 처리 할 수 있고, 신속히 충돌여부를 결정할 수 있도록 디렉토리별로 정보를 기록하여 실시간에 적합하도록 모델을 제안한다.을 제안한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.10a
• /
• pp.115-117
• /
• 2013

수평자세제어에 대한 활용은 다양한 진동이 발생하는 환경에서 정확한 수평제어를 필요로 하는 모든 분야에 활용할 수 있다. 이러한 수평제어에 대한 문제는 다수의 액추에이터(Actuator)를 어떠한 방법으로 제어하는가에 따라 그 성능이 달라지며, 발생한 외란에 대하여 어떠한 방법으로 외란을 계측하고 특성을 분석하는 것이 무엇보다 중요하다. 이러한 비선형성이 강한 수평자세제어에 대하여 인공지능기법인 신경회로망의 학습기능을 활용하여 그 수평자세 제어에 대한 성능을 연구하고 있는 추세에 있다. 본 논문에서는 고속이며 신뢰성을 보장하고 있는 CAN 통신방식을 활용하여 3개의 리니어 액추에이터(Linear Actuator)를 동시에 제어하도록 하고, 플랜트의 기울어진 상태는 자이로센서를 활용하여 플랜트의 상태를 지능적으로 판단하게 하였다. 또한 플랜트에 발행하는 왜란은 수평자세제어를 위한 플랜트 위에 볼(ball)을 놓아 비선형적인 왜란이 발생하도록 하였다. 이러한 왜란에 대하여 영상처리 기법을 활용하여 지능적으로 제어하도록 하여 CAN 통신의 활용성과 영상처리시스템(Image Processing System)의 활용성 및 지능제어의 활용성을 제시하고자 한다.

• The KIPS Transactions:PartD
• /
• v.10D no.1
• /
• pp.1-12
• /
• 2003

Recently, there have been many indexing schemes for multimedia data such as image, video data. But recent database applications, for example data mining and multimedia database, are required to support multi-user environment. In order for indexing schemes to be useful in multi-user environment, a concurrency control algorithm is required to handle it. So we propose a concurrency control algorithm that can be applied to CBF (cell-based filtering method), which uses the signature of the cell for alleviating the dimensional curse problem. In addition, we extend the SHORE storage system of Wisconsin university in order to handle high-dimensional data. This extended SHORE storage system provides conventional storage manager functions, guarantees the integrity of high-dimensional data and is flexible to the large scale of feature vectors for preventing the usage of large main memory. Finally, we implement the web-based image retrieval system by using the extended SHORE storage system. The key feature of this system is platform-independent access to the high-dimensional data as well as functionality of efficient content-based queries. Lastly. We evaluate an average response time of point query, range query and k-nearest query in terms of the number of threads.

• Journal of KIISE:Databases
• /
• v.30 no.4
• /
• pp.397-407
• /
• 2003

Transactions of updating spatial dta with mobile clients are log transactions because a user disconnected from a server surveys real features and updates them. In this environment, it is appropriate to exploit the optimistic approach based on the validation test in order to control the concurrency of transactions. On the contrary, the pessimistic concurrency control scheme makes transactions wait for a long time due to the lock. In this paper, we propose the surrogate transaction model and implement its manager for the S-S-M(Server-Surrogate PC-Mobile Client) structure which is appropriate for updating spatial data in mobile environments. In the S-S-M structure, the mobile client communicates with the server by the surrogate PC. We extend the validation condition in consideration of spatial relationships between spatial objects in this model. We also present the commit protocol where the user of a surrogate PC adjusts objects of the conflicted surrogate transaction to minimize costs for the abortion of the transaction.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.4
• /
• pp.311-316
• /
• 2002

Difficulties of the level control in the steam generator are increased due to their nonlinear characteristics. Futhermore, parameter uncertainties of the steam generator is related with control performance and stability. The efficiency of digital conversion in control systems is proved in many recent researches. In order to solve this problem, this paper suggests robust digital fuzzy controller design methodologies of the steam generator which have unstable parameters. Takagi-Sugeno (TS) fuzzy model is used to construct a fuzzy model which has uncertainties in the steam generator. In designing procedure, intelligent digital redesign method is used to control the nonlinear system. This digital controller keeps the performance of the analog controller. Simulation examples are included for ensuring the proposed control method.

• Journal of Internet Computing and Services
• /
• v.3 no.6
• /
• pp.79-89
• /
• 2002

The performance of OCC is very sensitive to the transaction abort rate, Even if the abort probability can be reduced by re-ordering, most of re-ordering schemes have space overhead in maintaining a graph or histories, In this paper, we proposed an efficient re-ordering scheme based on a broadcast invalidation mechanism. Our scheme, called CBI, can reduce the abort probability without space overhead in maintaining a graph or histories, By simulation studies, we showed that CBI reduced the abort rate and unnecessary operations, Additionally, we showed that CBI outperforms not only BTS but also TSH with low space overhead.