• Journal of Korean Institute of Industrial Engineers
• /
• v.21 no.3
• /
• pp.345-356
• /
• 1995

The aim of this paper is to analyze the batch service queueing model M/M(a, b ; ${\mu}_k/1$) under general bulk service rule with mean service rate ${\mu}_k$ for a batch of k units, where $a{\leq}k{\leq}b$. This queueing model consists of the two-dimensional state space so that it is characterized by two-dimensional state Markov process. The steady-state solution and performane measure of this process are derived by using Matrix Geometric method. Meanwhile, a new approach is suggested to calculate the two-dimensional traffic density R which is used to obtain the steady-state solution. In addition, to determine the optimal service initiation threshold a, a decision model of this queueing system is developed evaluating cost of service per batch and cost of waiting per customer. In a job order production system, the decision-making procedure presented in this paper can be applicable to determining when production should be started.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.2
• /
• pp.130-135
• /
• 2009

In recent years, researches on rotary inverted pendulum control systems have been significantly focused due their highly nonlinear dynamics and complicated geometric structures. This paper presents a novel control approach for such systems by means of similarity transformation theory. At first, we represent nonlinear system dynamics to the controllability-formed state space model including a time-varying parameter vector. We establish the state-feedback control configuration based on the transformed model and derive an adaptive control law for adjusting desired characteristic equation. Numerical analysis is achieved to evaluate our control method and demonstrate its superiority by comparing it to the traditional control strategy. Furthermore, real-time control experiment is carried out to test its practical reliability.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.13 no.3
• /
• pp.231-238
• /
• 1988

A new approach to the reachability analysis of communication protocols is presented using a modified maximal progress state exploation for two communicating finite state machines. The task of generating all reachable states is divided into two independent subtasks. In each subtask, only the states which are reachable by forcing modified maximal progress sequence for one machine are generated. Modified maximal progress state exploration saves space and time over maximal progress state exploration.

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

A new approach to design of a discrete-time robust $H_{\infty}$ filter in finite horizon case is proposed. It is shown that robust $H_{\infty}$ filtering problem can be cast into the minimization problem of an indefinite quadratic form, which can be solved by implementing the Kalman filter defined in Krein space. The proposed filter is readily derived by simply augmenting the state space model and has the robustness property against the parameter uncertainties of a given system.

• Advances in aircraft and spacecraft science
• /
• v.5 no.2
• /
• pp.251-258
• /
• 2018

This work illustrates the progress of a TAS activity at exploring the challenges and the benefits of the Virtual Shaker Testing (VST) approach. The definition and the validation of new computational methodologies with respect to the state of the art were encouraged throughout this activity. The shaker Finite Element (FE) model in lateral configuration was built for the purpose and it was merged with the SpaceCraft (S/C) FE model, together with the S/C-Shaker adapter. FE matrices were reduced through the Craig-Bampton method. The VST transient analysis was performed in MATLAB(R) numerical computing environment. The closed-loop vibration control is accounted for and the solution is obtained through the fourth-order Runge Kutta method. The use of pre-existing built-in functions was limited by authors with the aim of tracing the impact of all the problems' parameters in the solution. Assumptions and limitations of the proposed methodology are detailed throughout this paper. Some preliminary results pertaining to the current progress of the activity are thus illustrated before the conclusions.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.95-98
• /
• 2005

This paper presents intelligent digital redesign method of global approach for hybrid state space fuzzy-model-based controllers. For effectiveness and stabilization of continuous-time uncertain nonlinear systems under discrete-time controller, Takagi-Sugeno(TS) fuzzy model is used to represent the complex system. And global approach design problems viewed as a convex optimization problem that we minimize the error of the norm bounds between nonlinearly interpolated linear operators to be matched. Also by using the power series, we analyzed nonlinear system's uncertain parts more precisely. When a sampling period is sufficiently small, the conversion of a continuous-time structured uncertain nonlinear system to an equivalent discrete -time system have proper reason. Sufficiently conditions for the global state -matching of the digitally controlled system are formulated in terms of linear matrix inequalities (LMls). Finally, we prove the effectiveness and stabilization of the proposed intelligent digital redesign method by applying the chaotic Lorentz system.

• Computers and Concrete
• /
• v.19 no.5
• /
• pp.527-535
• /
• 2017

In this study, an aging deformation statistical model for a unique high and steep rock slope was proposed, and the aging characteristic of the slope deformation was better reflected. The slope displacement was affected by multiple-environmental factors in multiple scales and displayed the same tendency with a rising water level. The statistical model of the high and steep rock including non-aging factors was set up based on previous analyses and the study of the deformation and residual tendency. The rule and importance of the water level factor as a non-aging unit was analyzed. A partitioned statistical model and mutation model were established for the comprehensive cumulative displacement velocity with the monitoring study under multiple factors and multiple parameters. A spatial model was also developed to reflect and predict the whole and sectional deformation character by combining aging, deformation and space coordinates. A neural network model was built to fit and predict the deformation with a high degree of precision by mastering its feature of complexity and randomness. A three-dimensional finite element model of the slope was applied to approach the structure character using numerical simulations. Further, a three-dimensional finite element model of the slope and dam was developed, and the whole deformation state was analyzed. This study is expected to provide a powerful and systematic method to analyze very high, important and dangerous slopes.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2005.04a
• /
• pp.359-366
• /
• 2005

Most engineering optimization are based on numerical linear and nonlinear programming methods that require substantial gradient information and usually seek to improve the solution in the neighborhood of a starting point. These algorithm, however, reveal a limited approach to complicated real-world optimization problems. If there is more than one local optimum in the problem, the result may depend on the selection of an initial point, and the obtained optimal solution may not necessarily be the global optimum. This paper describes a new harmony search(HS) meta-heuristic algorithm-based approach for structural size optimization problems with continuous design variables. This recently developed HS algorithm is conceptualized using the musical process of searching for a perfect state of harmony. It uses a stochastic random search instead of a gradient search so that derivative information is unnecessary. Two classical space truss optimization problems are presented to demonstrate the effectiveness and robustness of the HS algorithm. The results indicate that the proposed approach is a powerful search and optimization technique that may yield better solutions to structural engineering problems than those obtained using current algorithms.

• International Journal of Aeronautical and Space Sciences
• /
• v.17 no.1
• /
• pp.109-119
• /
• 2016

When manufactured parts undergo large deformations during the manufacturing process, the global specifications of a part based on the concept of tolerance zone defined in the ISO 1101 standard [1] enable one to control the part's global defects. However, the extent of this tolerance zone is too large when the objective is to minimize local defects, such as hollows and bumps. Therefore, it is necessary to address local defects and global defects separately. This paper refers to the ISO 10579 standard [2] for flexible parts, which enables us to define a stressed state in order to measure the part by straightening it to simulate its position in the mechanism. The originality of this approach is that the straightening operation is performed numerically by calculating the displacement of a cloud of points. The results lead to a quantification of the global defects through various simple models and enable us to extract local defects. The outcome is an acceptable tolerance solution. The procedure is first developed for the simple example of a steel bar with a rectangular cross section, then applied to an industrial case involving a complex 3D surface of a turbine blade. The specification is described through ISO standards both in the free state and in the straightened state.

• International Journal of Aeronautical and Space Sciences
• /
• v.17 no.2
• /
• pp.184-194
• /
• 2016

In existing identification methods for on-orbit spacecraft, such as eigensystem realization algorithm (ERA) and subspace method identification (SMI), singular value decomposition (SVD) is used frequently to estimate the modal parameters. However, these identification methods are often used to process the linear time-invariant system, and there is a lower computation efficiency using the SVD when the system order of spacecraft is high. In this study, to improve the computational efficiency in identifying time-varying modal parameters of large spacecraft, a faster recursive algorithm called fast approximated power iteration (FAPI) is employed. This approach avoids the SVD and can be provided as an alternative spacecraft identification method, and the latest modal parameters obtained can be applied for updating the controller parameters timely (e.g. the self-adaptive control problem). In numerical simulations, two large flexible spacecraft models, the Engineering Test Satellite-VIII (ETS-VIII) and Soil Moisture Active/Passive (SMAP) satellite, are established. The identification results show that this recursive algorithm can obtain the time-varying modal parameters, and the computation time is reduced significantly.