• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.37 no.9
• /
• pp.47-54
• /
• 2000

We designed asynchronous event logic library with 0.25um CMOS technology and interface chip for heterogeneous system with high-speed asynchronous FIFO operating at 1.6GHz. Optimized asynchronous standard cell layouts and Verilog models are designed for top-down design methodology. A Method for mitigating a design bottleneck when it comes to tolerate clock skew is described. This communication scheme using clock control circuits, which is used for the free of synchronization failures, is analyzed and implemented. With clock control circuit and FIFO, high-speed communication between synchronous modules operating at different clock frequencies or with asynchronous modules is performed. The core size of implemented high-speed 32bit-interface chip for heterogeneous system is about $1.1mm{\times}1.1mm$.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.4
• /
• pp.7-14
• /
• 2010

Stable-state behaviors of asynchronous sequential machines represented as finite state machines can be corrected by feedback control schemes. In this paper, we propose a state feedback control scheme for input/state asynchronous machines with uncertain transitions. The considered asynchronous machine is deterministic, but its state transition function is partially known due to model uncertainty or inner logic errors. The control objective is to compensate the behavior of the closed-loop system so that it matches a sub-behavior of a prescribed model despite uncertain transitions. Furthermore, during the execution of corrective action, the controller reflects the exact knowledge of transitions into the next step, i.e., the range of the behavior of the closed-loop system can be enlarged through learning. The design procedure for the proposed controller is described in a case study.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.5
• /
• pp.950-956
• /
• 2015

In this paper, a WiMedia Distributed-MAC (D-MAC) protocol is adopted for development of a seamless N-screen wireless service in Indoor and Ship Area Networks. Furthermore, to provide the OSMU (One Source Multi Use) N-screen service through P2P streaming in the seamless D-MAC protocol, a ATMT (Asynchronous Traffic Multi-hop Transmission) technology is proposed and analyzed. In this system, a WiMedia ATMT D-MAC bridge transmits control and managing information to various sensors and instruments, from a central integrated ship area network station. For this technology, a time slot allocation scheme for WiMedia asynchronous traffic and a multi-hop resource reservation scheme are combined to evaluate the performance of each scheme. From simulation results, the proposed ATMT scheme enhances performances in viewpoints of N-screen asynchronous data latency and throughput, compared to the conventional WiMedia D-MAC system.

• Journal of Digital Convergence
• /
• v.15 no.4
• /
• pp.27-34
• /
• 2017

As information technology has been developed in a rapid way, a lot of users get to be familiar with social media. Accordingly, the possibility of social media for educational use has increased. From the view point of learning, social media help learners make communities of practice that can lead to collective intelligence. In this study, two different types of social media, synchronous and asynchronous, were compared in terms of usage patterns in the e-learning settings of college level. Content analysis has figured out four factors: learning content, tasks and assignments, emotional communications, and chatting. There found to be a statistical differences in the postings in all of the factors except tasks and assignments. In the qualitative interviews, the participants told various usage patterns of synchronous and asynchronous social media. In sum, the learners generally preferred synchronous social media. Rather, asynchronous social media were mainly used for deep thinking and summarizing. Last, suggestions were made to improve educational environments for the learners in the digital and social media age.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.3
• /
• pp.399-408
• /
• 2022

This paper proposes a corrective control system to achieve fault-tolerant control for input/output asynchronous sequential circuits vulnerable to transient faults violating fundamental mode operations. To overcome non-fundamental mode faults occurring in transient transitions of asynchronous sequential circuits, it is necessary to determine the end of unauthorized state transitions caused by the faults and to stably take the circuit from the faulty state to a desired state that is output equivalent with the normal next stable state. We address the existence condition for a proper output-feedback corrective controller that achieves fault diagnosis and fault-tolerant control for these non-fundamental mode faults. The corrective controller and asynchronous sequential circuit are implemented on field-programming gate array to demonstrate the synthesis procedure and applicability of the proposed control scheme.

• Journal of Korea Society of Industrial Information Systems
• /
• v.28 no.4
• /
• pp.21-34
• /
• 2023

Federated Learning is divided into synchronous federated learning and asynchronous federated learning. Asynchronous federated learning has a time advantage over synchronous federated learning, but asynchronous federated learning still has some challenges to obtain better performance. In particular, preventing performance degradation in non-IID training datasets, selecting appropriate clients, and managing stale gradient information are important for improving model performance. In this paper, we deal with K-asynchronous federated learning by using non-IID datasets. In addition, unlike traditional method using static K, we proposed an algorithm that adaptively adjusts K and we can reduce the learning time. Additionally, the we show that model performance is improved by using stale gradient handling method. Finally, we use a method of judging model performance to obtain strong model stability. Experiment results show that overall algorithm can obtain advantages of reducing training time, improving model accuracy, and improving model stability.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.11
• /
• pp.2980-2988
• /
• 1998

This paper describes the design of asynchronous adders based on carry selection and carry bypass techniques. The designs are faster than existing asynchronous adders which are based on ripple carry technique. It is caused by reducing the carry transfer time by using carry selection and carry bypass techniques. Also, the design uses tree structure to reduce the completion sensing time. The proposed adders are designed with CMOS domino logic and experimented with HSPICE simulator. Experimental results show that the proposed adders can be faster about 50% in average cases than previous ripple carry adders.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.7
• /
• pp.1961-1966
• /
• 2013

Theoretical investigations have been performed for the ground state ($S_0$) and the first excited state ($S_1$) of the hydrogen bonded green fluorescent protein (GFP) model. The potential energy surface (PESs) of $S_0$ was obtained by B3LYP method and that of $S_1$ was obtained by CIS method. Based on the relative stabilities of species and the energy barriers for the proton transfer, it was found that proton transfer could take place both under the ground state and the first excited state. As determined by the proton motions along the reaction coordinate, both the ground state proton transfer (GSPT) and the excited state proton transfer (ESPT) are considered as a concerted and asynchronous process.

• Proceedings of the IEEK Conference
• /
• 2000.06b
• /
• pp.137-140
• /
• 2000

In this paper, we have proposed an efficient test generation method for asynchronous circuits. The test generation is based on specification level, especially on Signal Transition Graph(STG)〔1〕 which is a kind of specification method for asynchronous circuits. To conduct a high-level test generation, we have defined a high-level fault model, called single State Transition Fault(STF) model on STG and proposed a test generation algorithm for STF model. The effectiveness of the proposed fault model and its test generation algorithm is shown by experimental results on a set of benchmarks given in the form of STG. Experimental results show that the generated test for the proposed fault model achieves high fault coverage over single input stuck-at fault model with low cost. We have also proposed extended STF model with additional gate-level information to achieve higher fault coverage in cost of longer execution time.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.2
• /
• pp.39-49
• /
• 2009

In this paper, we classify web-based social network into two types: open and community, and model user behavior in social activities. After that, we also propose the combination of instant messaging and web system as the method of support asynchronous/synchronous social activities. Furthermore, we introduce ImCoWeb prototype system that supports both asynchronous social activities (ex. social bookmark, comment, rate, and data share) and synchronous ones (ex. real-time communication, file transfer, co-browsing, and co-work). Because it is built on the existing instant messaging, it reduces costs by reusing the facilities such as session management, user management, and security of instant messaging.