• Journal of Information Processing Systems
• /
• v.16 no.4
• /
• pp.859-869
• /
• 2020

This paper introduces page-level rewrite interval prediction (PRWIP). By recording and analyzing the memory access history at page-level, we are able to predict the future memory accesses to any pages. Leveraging this information, this paper proposes a faster incremental checkpoint design by overlapping checkpoint phase with computing phase and thus achieves higher performance. Experimental results show that our new incremental checkpoint design can achieve averagely 22% speedup over traditional incremental checkpoint and 14% over the previous state-of-the-art work.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.7
• /
• pp.253-257
• /
• 2013

This paper proposes the robust observer design for nonlinear systems with delayed output and external disturbance. It is shown that by considering a nonlinear term of error dynamics as an additional state variable, the nonlinear error dynamics with time delay can be transformed into the linear one with time delay. Sufficient conditions for existence of a robust observer are characterized by linear matrix inequalities. Finally, an illustrative example is given in order to show the effectiveness of our design method.

• The Journal of Information Systems
• /
• v.15 no.2
• /
• pp.31-47
• /
• 2006

The Internet has been developed interactive media for electronic commerce. This progress is affected by the growth and adoption of virtual community technology, real time dialogue, and video conference etc. Recently, 'blogs' are rapidly diffusing to personal media on the internet. In this paper, we first review the previous research relevant to 'blogs', and then analyze the business models for blog systems presented by previous researchers. We develop a yard-sale shopping mall on the basis of analysis, design, and implementation of blog application for e-commerce, using Mcrosoft ASP.Net. This article describes the yard-sale shopping mall on a blog, presents an example of its abilities, and describes planned future research.

• Journal of the Institute of Convergence Signal Processing
• /
• v.2 no.1
• /
• pp.80-87
• /
• 2001

This article shows how general software-ergonomic principles are successfully applied in the design of user friendly graphical interfaces. A theoretical model(WOB-Model) is derived from empirical studies and validated in the development of several systems. It provides basic principles within a well-balanced framework and leads to concrete design guidelines. The user tests with the software shows that many of the common usability problems can be eliminated.

• Journal of international Conference on Electrical Machines and Systems
• /
• v.2 no.1
• /
• pp.1-8
• /
• 2013

Surface permanent magnet-type vernier motors with three magnet array-type rotors (parallel magnetized type, repulsion type, and Halbach type) are compared based on the pull-out torque. It was clarified that increasing the rotor radius increases the pull-out torque at a fixed three-phase alternating voltage. The mechanism for the pull-out torque increase on each magnet array type was different, when the effects of the increase were analyzed based on an induced electromotive force and a synchronous reactance. As a result, the design of the Halbach-type rotor was found to be especially effective for achieving high pull-out torque, because this array type achieves a large induced electromotive force $E_0$ and a small synchronous reactance $x_s$.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.4
• /
• pp.515-525
• /
• 2008

In this paper, the problem of delay-dependent stabilization for singular systems with multiple internal and external incommensurate constant point delays is investigated. The condition when a singular system subject to point delays is regular independent of time delays is given and it can be easily test with numerical or algebraic methods. Based on Lyapunov-Krasovskii functional approach and the descriptor integral-inequality lemma, a sufficient condition for delay-dependent stability is obtained. The main idea is to design multiple memoryless state feedback control laws such that the resulting closed-loop system is regular independent of time delays, impulse free, and asymptotically stable via solving a strict linear matrix inequality (LMI) problem. An explicit expression for the desired memoryless state feedback control laws is also given. Finally, a numerical example illustrates the effectiveness and the availability for the proposed method.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.32 no.2
• /
• pp.171-178
• /
• 2009

Logistic support activities for weapon systems play an important role at maintenance activities in modern warfares. These activities are essential for keeping weapon systems ready at all time. However, maintenance supplies can be delayed without a proper information system. Further, increases of mean time to repair (MTTR) and unavailability of weapon systems can be occurred. In this study, a web based information system is developed for logistic chains of class 9 supplies. Utilizing web database technologies, the developed system can provide an environment for data exchange and sharing among various participants in the supply chain.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.548-552
• /
• 2005

In most physical processes, the transfer function includes a time-delay, and in the general distributed control system using a computer network, an inherent time-delay exists due to the spatial separation between controllers and actuators. Under the circumstance where an input time-delay exits, the system response overshoots and tends to diverge. For this reasons described above, a controller design method is proposed for a discrete nonlinear system including input time-delay, which adopts the time-discretization using Taylor series. Controllers are synthesized using an input/output linearization method. Finally, several cases of the computer simulations were conducted, and the results validate the proposed methods.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.12
• /
• pp.6079-6097
• /
• 2018

Safety-related systems (SRSs) has widely used in shipbuilding and power generation to prevent fatal accidents and to protect life and property. Thus, SRS performance is a high priority. The safety integrity level (SIL) is the relative performance level of an SRS with regard to its ability to operate reliably in a safe manner. In this article, we proposed an optimal design procedure to achieve the targeted SIL of SRSs. In addition, a more efficient failure mode and effects diagnostic analysis (FMEDA) process and optimization model were developed to improve cost efficiency. Based on previous IEC 61508 diagnostic analyses that revealed unnecessary costs associated with excessive reliability, the new approach consists of two phases: (i) SIL evaluation by FMEDA, and (ii) solution optimization for achieving the target SIL with minimal cost using integer-programming models. The proposed procedure meets the required safety level and minimizes system costs. A case study involving a gas-detection SRS was conducted to demonstrate the effectiveness of the new procedure.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.12
• /
• pp.2092-2100
• /
• 2003

Sensitivity information has been used for linearization of nonlinear functions in optimization. Basically, sensitivity is a derivative of a function with respect to a design variable. Design sensitivity is repeatedly calculated in optimization. Since sensitivity calculation is extremely expensive, there are studies to directly use the sensitivity in the design process. When a small design change is required, an engineer makes design changes by considering the sensitivity information. Generally, the current process is performed one-by-one for design variables. Methods to exploit the sensitivity information are developed. When a designer wants to change multiple variables with some relationship, the directional derivative can be utilized. In this case, the first derivative can be calculated. Only small design changes can be made from the first derivatives. Orthogonal arrays can be used for moderate changes of multiple variables. Analysis of Variance is carried out to find out the regional influence of variables. A flow is developed for efficient use of the methods. A software system with the flow has been developed. The system can be easily interfaced with existing commercial systems through a file wrapping technique. The sensitivity information is calculated by finite difference method. Various examples are solved to evaluate the proposed algorithm and the software system.