• ETRI Journal
• /
• v.35 no.4
• /
• pp.666-676
• /
• 2013

With the recent growth in smartphone services, the "mobile" environment has become a key factor to consider in the design of the future Internet. In this paper, we propose Mobile-Oriented Future Internet (MOFI), which is a new architecture for the future Internet for mobile-oriented environments. The MOFI architecture is designed with three functional features: global identifier and local locator in the identifier-locator separation, query-first data delivery for route optimization, and distributed control of identifier-locator mapping. The proposed architecture and functional operations are implemented and tested using the Linux platform. From the experiment results, we see that the MOFI architecture performs better than the existing identifier-locator separation schemes, such as Proxy Mobile IP and Host Identity Protocol, in terms of data throughout, mapping control overhead, and handover delay.

• Journal of Life Science
• /
• v.17 no.6 s.86
• /
• pp.867-872
• /
• 2007

The aging is related to numerous changes in our body system which declines functional ability. The functional ability in advanced age can be evaluated by the 4 components of fitness (cardiorespiratory endurance, muscular strength and endurance, flexibility and body composition). The understanding and knowledge of changing 4 components of fitness and the role of exercise on the process of aging is of paramount importance. Despite exercise and physical activity have been shown to delay the process of aging, the exercise guidelines and recommendations for old adults are not well published. This review is to presents the age-related changes in each component of fitness and to present current guidelines and recommendations for exercise in older adults.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.12
• /
• pp.2284-2291
• /
• 2010

In this paper, improved stability criteria for linear systems with time-varying delays are proposed. By constructing a new Lyapunov functional, novel stability criteria are established in terms of linear matrix inequalities (LMIs). Two numerical examples are carried out to support the effectiveness of the proposed method.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.255-261
• /
• 2007

In this paper we introduce the method, procedure and result of RAM prediction for interlocking system which is applied for AREX signaling system. For RAM prediction, we breakdown the interlocking system to the LRU level and select the LRUs of which failure can cause the service delay. The prediction of reliability is based on the Reliability Block Diagram which is the functional diagram composed of selected LRUs and finally, the availability of interlocking system is estimated from the combination of reliability and maintainability.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.1
• /
• pp.181-186
• /
• 2009

In this paper, the stability analysis for uncertain dynamic systems with time-varying delays is considered. By constructing a new Lyapunov functional, a novel stability criterion is established in terms of linear matrix inequalities (LMIs). Two numerical examples are carried out to support the effectiveness of the proposed method.

• Journal of the military operations research society of Korea
• /
• v.27 no.1
• /
• pp.39-57
• /
• 2001

Many researcher working in logistics tried to define concept of the logistics and its arena to study. However, there has not been much improvement. Thus, it caused the delay in the progress of the logistics study. Most of the earlier definition of the logistics mainly considered from the point of Physical Distribution Management and Business Logistics. I proposed a new definition of the logistics and the area to research which reflecting the total of whole system and the functional areas of the logistics.

• Advances in Computational Design
• /
• v.9 no.2
• /
• pp.97-113
• /
• 2024

In this paper, we proposed a new class of stochastic neutral neural networks with uncertain and deterministic coefficients. Made the Sigmund activation and Lipschitz activation functions less conditional. The Lyapnov-Krasovskii functional is constructed. The linear matrix inequality (LMI) is constructed using Schur's lemma, and new criteria for the global asymptotic stability and global asymptotic robust stability of neural networks are obtained. Furthermore, we have verified that the method is effective and feasible through numerical examples.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.4
• /
• pp.603-610
• /
• 1995

In this paper, we present a highly efficient simulation package which supports simulation from functional level to gate level. The package consists of a set of front-end tools, a logic simulator, named HSIM(Highly efficient logic SIMulator), and an waveform analyzer. The front-end tools include a netlist compiler, functional primitive compiler and behavioral compiler. Key feature of developed simulator is that the compiled behavioral models written in C language are directly executed in the simulation engine using incremental loader. By doing so, we achieved significant speed up as compared with the interpretive functional simulator. Experimental results show that HSIM runs about 55% faster than traditional unit-delay event-driven interpretive simulator.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2435-2446
• /
• 1998

In this paper. We describe a dataflow model for efficient execution of a functional logic language and a method of translation a functional logic language into a dataflow graph. To explore parallelism and intelligent backtracking, we us model in which clause and function are represented as independent dataflow graph. The node denotes basic actions to be performed when the clause and function are executed. The dataflow mechanism allows an operation to be executed as soon as all its operands are available. Since the operations can never be executed earlier, a dataflow model is an excellent base for increasing execution speed. We did decrease a delay time with concurrent execution of dependency analysis and subgoal.

• The Journal of Korean Physical Therapy
• /
• v.27 no.2
• /
• pp.112-117
• /
• 2015

Purpose: The purpose of this study was to examine the effects of a task-specific obstacle crossing rehabilitation program on functional gait ability in patients with cerebellar ataxia. Overall, we sought to provide ataxia-specific locomotor rehabilitation guidelines for use in clinical practice based on quantitative evidence using relevant analysis of gait kinematics including valid clinical tests. Methods: Patients with cerebellar disease (n=13) participated in obstacle crossing training focusing on maintenance of dynamic balance and posture, stable transferring of body weight, and production of coordinated limb movements for 8 weeks, 2 times per week, 90 minutes per session. Throughout the training of body weight transfer, the instructions emphasized conscious perception and control of the center of body stability, trunk and limb alignment, and stepping kinematics during the practice of each walking phase. Results: According to the results, compared with pre-training data, foot clearance, pre-&post-obstacle distance, delay time, and total obstacle crossing time were increased after intervention. In addition, body COM measures indicated that body sway and movement variability, therefore posture stability during obstacle crossing, showed improvement after training. Based on these results, body sway was reduced and stepping pattern became more consistent during obstacle crossing gait after participation in patients with cerebellar ataxia. Conclusion: Findings of this study suggest that task-relevant obstacle crossing training may have a beneficial effect on recovery of functional gait ability in patients with cerebellar disease.