• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.11
• /
• pp.2577-2596
• /
• 2013

In this paper, we present an Energy-Aware Self-Stabilizing Distributed Clustering protocol based on message-passing model for Ad Hoc networks. The latter does not require any initialization. Starting from an arbitrary configuration, the network converges to a stable state in a finite time. Our contribution is twofold. We firstly give the formal proof that the stabilization is reached after at most n+2 transitions and requires at most $n{\times}log(2n+{\kappa}+3)$ memory space, where n is the number of network nodes and ${\kappa}$ represents the maximum hops number in the clusters. Furthermore, using the OMNeT++ simulator, we perform an evaluation of our approach. Secondly, we propose an adaptation of our solution in the context of Wireless Sensor Networks (WSNs) with energy constraint. We notably show that our protocol can be easily used for constructing clusters according to multiple criteria in the election of cluster-heads, such as nodes' identity, residual energy or degree. We give a comparison under the different election metrics by evaluating their communication cost and energy consumption. Simulation results show that in terms of number of exchanged messages and energy consumption, it is better to use the Highest-ID metric for electing CHs.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.581-586
• /
• 2003

This paper presents control designs using neural networks (NN) for a XY positioning table. The proposed neurocontroller is composed of an outer PD tracking loop for stabilization of the fast flexible-mode dynamics and an NN inner loop used to compensate for the system nonlinearities. A tuning algorithm is given for the NN weights, so that the NN compensation scheme becomes adaptive, guaranteeing small tracking errors and bounded weight estimates. Formal nonlinear stability proofs are given to show that the tracking error is small. The proposed neuro-controller is implemented and tested on an IBM PC-based XY positioning table, and is applicable to many precision XY tables. The algorithm, simulation, and experimental results are described. The experimental results are shown to be superior to those of conventional control.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.6
• /
• pp.1107-1114
• /
• 1994

This paper presents a method of constructing the protocol converter where the semantic relation between messages is added to the protocol conversion method satisfying with conformity property. This method comes from a formal method with top-down approach and then derives efficient maximal converter to overcome protocol mismatch between computer networks implemented with different protocols. When a converter is made with this method, the most useless portions of the maximal converter are removed easily.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.4
• /
• pp.509-518
• /
• 1993

Protocol conversion is to resolve the imcompatibility between networks so that users on different protocols can communicate with each other. This paper designs a formal model, EPN , to increase its modeling power and analyze conversion protocol and proposes a conversion algorithm using it. The conversion algorithm has two capabilities : synchronization and automatic error recovery function. Therefore burden of protocol converter design will be reduced, automatic protocol converter design can be possible and implementation for half-gateway will be easy.

• Journal of Contemporary Eastern Asia
• /
• v.15 no.1
• /
• pp.98-110
• /
• 2016

Building resilient community is often a complicated process to be gained by interorganizational collaboration. Since patterns of interorganizational relations among governments and sectors are constantly changing due to internal and external factors in the field of emergency management, understanding the dynamic nature of interorganizational collaboration is a critical step for improving a community’s ability to bounce back from a catastrophic event. From two theoretical perspectives, this research aims to examine the essential role of working across levels of governments and sectors in building resilient community by focusing on sources of community resiliency and a strong commitment. The empirical evidence highlights the importance of studying resilience as a way to understand the motivation and incentive for organizations to work jointly during emergency response. The study of organizational resilience also draws attention for the importance of various forms of interorganizational collaboration such as formal and informal relations. It also highlights how local organizations can utilize their relations to seek resources without necessarily jeopardizing their ability to perform their core organizational functions.

• Journal of Korea Society of Industrial Information Systems
• /
• v.19 no.2
• /
• pp.51-58
• /
• 2014

As WSNs(Wireless Sensor Networks) are being deployed widely in diverse application areas, their management and maintenance become more important. Recent sensor node software takes modular software architectures in pursuit of flexible software management and energy efficient reprogramming. To realize an flexible and efficient modular architecture particularly on resource constrained mote-class sensor nodes that are implemented with MCUs(Micro-Controller Units) of a single address space. an appropriate module linking model is essential to resolve and bind the inter-module global symbols. This paper identifies a design space of module linking model and respectively their implementation frameworks. We then establish a taxonomy for module linking models by exploring the design space of module linking models. Finally, we suggest an implementation framework respectively for each module linking model in the taxonomy. We expect that this work lays the foundations for systematic innovation toward more flexible and efficient modular software architectures for WSNs.

• Journal of Communications and Networks
• /
• v.18 no.1
• /
• pp.1-7
• /
• 2016

Most of the previous proxy re-encryption schemes rely on the average-case hardness problems such as the integer factorization problems and the discrete logarithm problems. Therefore, they cannot guarantee its security under quantum analysis, since there exist quantum algorithms efficiently solving the factorization and logarithm problems. In the paper, we propose the first proxy re-encryption scheme based on the hard worst-case lattice problems. Our scheme has many useful properties as follows: Unidirectional, collusion-resistant, noninteractive, proxy invisible, key optimal, and nontransitive.We also provided the formal security proof of the proposed scheme in the random oracle model.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.6B
• /
• pp.249-257
• /
• 2008

Nowadays, client-to-client applications such as online chat (e.g. MSN) and SMS (Short Message Services) are becoming increasingly prevalent. These client-to-client applications are revolutionizing the way we communicate. Three-party PAKE (password authenticated key exchange) protocols provide a means for the two communicating parties holding passwords to establishment a secure channel between them with the help of a common server. In this paper, we propose an efficient three-party PAKE protocol for the client-to-client applications, which has much better performance than the existing generic constructions. We also show that the proposed protocol is secure in a formal security model.

• The Journal of the Korea Contents Association
• /
• v.17 no.5
• /
• pp.479-490
• /
• 2017

The objective of this study is to examine the association of social networks and medical care utilization of elderly living alone depending on self-rated health status, and also to measure the moderating effects of welfare services for elderly. To this purpose, the data which was collected from the 2014 National Survey on Elderly in Korea was analyzed by Chi-square test and Poisson regression. According to the results, social networks and elderly welfare services affected to medical care utilization of elderly living alone, only who aware of their self-rated health status as bad. With this group, the frequency of contact with family and participation in lifelong education had a significant effect on increasing medical care utilization. In contrast, the frequency of contact with neighbors and the participation in elderly employment program were significant to reduce the utilization of medical care. Furthermore, the moderating effects of elderly welfare services were also measured that formal social gathering has an effect of increasing the medical care utilization of elderly living alone by expansion of their social networks. Based on these results, this study consequently has an implication for suggesting expansion of elderly welfare services, which might be an alternative to social networks of elderly living alone, and also for seeking the direction of political intervention that helps health promotion and disease prevention through the research of medical care utilization.

• Journal of Positioning, Navigation, and Timing
• /
• v.9 no.3
• /
• pp.229-236
• /
• 2020

The trend of water vapor contents in atmosphere is one of key elements for studying climate change. The tropospheric products, i.e., ZTD values achieved through GPS data processing can retrieve the amount of water vapor with higher temporal and spatial resolution than any other instruments. In this study, the tropospheric products of KASINET for a time period from 2001 to 2014 are reprocessed using PPP strategy and the products from the CODE's 2nd reprocessing campaign. For consistency with reprocessing activities of other networks like EPN, the VMF1 mapping function and non-tidal loading effect due to atmospheric pressure are applied in the process. The reprocessing results are investigated through comparing with the CODE's 2nd reprocessing products by including some IGS stations in the process and also calculating weekly coordinate repeatability to see the quality of the processing. After removing outliers based on the variation of averaged formal error, all processed stations have similar variations of formal error about 2 mm which is lower than that of the IGS final product. Comparison results with the CODE's 2nd reprocessing products show that the overall mean difference is found to be -0.28±5.54 mm which is similar level of the previous studies. Finally, the ZTD trends of all KASINET stations are calculated and the averaged trend is achieved as 0.19 mm/yr. However, the trend of each month shows different amounts and directions from -1.26 mm/yr in May to 1.18 mm/yr in August. In conclusion, the reprocessed tropospheric product and applied strategy of this study has enough quality as one of reliable solution for a reference product for Korean Peninsula which is needed to use GPSbased tropospheric product for climate change research.