• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.773-783
• /
• 2004

This paper presents a method for real-time verification of Statecharts. Statecharts has been widely used for real-time reactive systems, and supports two time models: synchronous and asynchronous. However, existing real-time verification methods for them are incompatible with the asynchronous time model or increase state space by introducing new variables to the target models. We solved these problems by extending existing model checking algorithms. The extended algorithms can be used with both time models of Statecharts because they consider time increasing transitions only. In addition, they do not increase target state space since they count those transitions internally without additional variables. We extended an existing model checker, NuSMV, based on the proposed algorithms and conducted some experiments to show their advantage.

• Journal of Navigation and Port Research
• /
• v.41 no.3
• /
• pp.87-92
• /
• 2017

To enhance the reliability and/or resilience of the PNT service included in the e-Navigation strategy of the IMO, the evaluation of the AIS-TWR method for the asynchronous R-mode for maritime service, which is available even in the absence of the GNSS, is described. For the AIS-TWR, which is capable of ranging through message exchange even without high precision synchronization, the operation scenario and the error factors according to the AIS system specifications are proposed and analyzed. Cramer-Rao Lower Bound is presented for the performance evaluation of the AIS-TWR algorithm. A simulation by AIS-TWR method of two AIS systems in a 3 km static environment shows estimation error of about 41m compared to the real value..

• Korean Journal of Optics and Photonics
• /
• v.20 no.3
• /
• pp.143-147
• /
• 2009

We propose an asymmetrical 2.5 Gbps / 622 Mbps bidirectional optical subscriber network with Manchester coded downstream and NRZ (Non-Return-to-Zero) upstream remodulation. The proposed system has important characteristics in the optical network unit (ONU): it does not require a light source or the usual control circuits such as wavelength control and output power control, and it is possible to use a synchronization scheme between upstream and downstream data. We theoretically analyze BER(Bit Error Rate) performance of upstream data remodulated with Manchester coded downstream according to the types of NRZ downstream data and perform simulations with MATLAB. The BER performance and the receiver sensitivity have been improved by 3 dB by adjusting threshold levels compared to the conventional receiver. The results have shown the remodulation scheme with Manchester coded downstream could be a useful technology for asynchronous and asymmetric optical subscriber networks with low cost and simple structures.

• Journal of Communications and Networks
• /
• v.7 no.2
• /
• pp.144-156
• /
• 2005

Video streaming over wireless networks is challenging due to node mobility and high channel error rate. In this paper, we propose a multi-source video streaming (MUVIS) system to support high quality video streaming service over IEEE 802.1l-based wireless networks. We begin by collocating a streaming proxy with the wireless access point to help leverage both the media server and peers in the WLAN. By tracking the peer mobility patterns and performing content discovery among peers, we construct a multi-source sender group and stream video using a rate-distortion optimized scheme. We formulate such a multi-source streaming scenario as a combinatorial packet scheduling problem and introduce the concept of asynchronous clocks to decouple the problem into three steps. First, we decide the membership of the multisource sender group based on the mobility pattern tracking, available video content in each peer and the bandwidth each peer allocates to the multi-source streaming service. Then, we select one sender from the sender group in each optimization instance using asynchronous clocks. Finally, we apply the point-to-point rate-distortion optimization framework between the selected sender-receiver pair. In addition, we implement two different caching strategies, simple caching simple fetching (SCSF) and distortion minimized smart caching (DMSC), in the proxy to investigate the effect of caching on the streaming performance. To design more realistic simulation models, we use the empirical results from corporate wireless networks to generate node mobility. Simulation results show that our proposed multi-source streaming scheme has better performance than the traditional server-only streaming scheme and that proxy-based caching can potentially improve video streaming performance.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.4
• /
• pp.120-125
• /
• 1999

This paper is a study on the cyber education center, OpenEdu, developing on internet. The conventional cyber university is allowed for ID user only, but OpenEdu is opened all internet user for open education and it has a various content. free of charge and high quality. Also. in this system, we support the various 500 contents, other efficiently services and it is a self-learning(asynchronous) distance education application(HTML, PDF. Front Page) on cyber-space using the information super highway It will make the cyber education center from new paradigm of distance education. The purpose of OPenEdu provides a async. distance education service, free of charge to obtain many various contents on internet. The future study is enhanced user interface and upgraded content quality.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.1
• /
• pp.56-61
• /
• 2001

This paper presents the real-time implementation of an AMR (Adaptive Multi Rate) vocoder which is included in the asynchronous International Mobile Telecommunication (IMT)-2000 mobile ASIC. The implemented AMR vocoder is a multi-rate coder with 8 modes operating at bit rates from 12.2kbps down to 4.75kbps. Not only the encoder and the decoder as basic functions of the vocoder are implemented, but VAD (Voice Activity Detection), SCR (Source Controlled Rate) operation and frame structuring blocks for the system interface are also implemented in this vocoder. The DSP for AMR vocoder implementation is a 16bit fixed-point DSP which is based on the TeakLite core and consists of memory block, serial interface block, register files for the parallel interface with CPU, and interrupt control logic. Through the implementation, we reduce the maximum operating complexity to 24MIPS by efficiently managing the memory structure. The AMR vocoder is verified throughout all the test vectors provided by 3GPP, and stable operation in the real-time testing board is also proved.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.303-310
• /
• 2019

In the current mobile environment that is indispensable to our everyday lives, various forms of new business models are created including personalized services such as Google's "Google NOW" and Apple's "Siri". These services would not have been possible without technologies on the effective integration of various services and models. The requirements for effective integration of services include, 1) the efficient data sharing among multiple services, 2) the data-driven asynchronous execution of services, and 3) the simple extensible interaction method for the services. In this paper, we propose a mobile service architecture that utilizes the blackboard architecture to satisfy the aforementioned requirements to enable effective integration of various services, sharing and management of data between services, and asynchronous execution of services.

• Journal of The Korean Association of Information Education
• /
• v.26 no.3
• /
• pp.175-186
• /
• 2022

This study has explored the facilitating factors affecting the learning persistence of university students and divided Emergency Remote Teaching(ERT) into two types based on its policies. The conclusions are as follows: First, perceived usefulness was the facilitating factor affecting learning persistence in Synchronous ERT. Therefore, learning persistence would improve by establishing various strategies such as exploring appropriate teaching strategies and building a stable infrastructure. Second, it was perceived usefulness, social presence, and system quality that were the facilitating factors affecting learning persistence in Asynchronous ERT. Thus, learning persistence would increase accompanied by immediate feedback, more active interaction, and so on.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.3C
• /
• pp.228-236
• /
• 2006

A Multicarrier code division multiple access(MC-CDMA) is a scheme that combines multicarrier modulation with CDMA. It offers robustness to frequency selective fading effect and can support higher rate data transmission with higher spectral efficiency. The objective of this article is proposed and analyzed a new asynchronous MC-CDMA system with various kinds of data rates which employs a multiple access interference (MAI) canceller. The proposed multirate MC-CDMA system can be accomplished by changing the number of Parallel branch(P) according to their data rate and hybrid interference canceller(HIC) are used for MAI cancellation. We compare the performance of proposed system in terms of average bit error rate(BER) with that of a single rate MC-CDMA system. The results show the large improvement in performance that can be attained by the cancellation scheme under multipath environments.

• Journal of Institute of Control, Robotics and Systems
• /
• v.3 no.5
• /
• pp.497-502
• /
• 1997

In this study an automatic rolling-coil labeling system using robot vision system and peripheral mechanism is proposed and implemented, which instead of the manual labor to attach labels Rolling-coils in a steel mill. The binary image process for the image processing is performed with the threshold, and the contour line is converted to the binary gradient which detects the discontinuous variation of brightness of rolling-coils. The moments invariant algorithm proposed by Hu is used to make it easy to recognize even when the position of the center are different from the trained data. The position error compensation algorithm of six degrees of freedom industrial robot manipulator is also developed and the data of the position of the center rolling-coils, which is obtained by floor mount camera, are transferred by asynchronous communication method. Therefore, even if the position of center is changed, robot moves to the position of center and performs the labeling work successfully. Therefore, this system can be improved the safety and efficiency.