• Journal of Korean Institute of Industrial Engineers
• /
• v.16 no.2
• /
• pp.1-9
• /
• 1990

The control of deterioration processes for which only incomplete state information is available is examined in this study. When the deterioration is governed by a Markov process, such processes are known as Partially Observable Markov Decision Processes (POMDP) which eliminate the assumption that the state or level of deterioration of the system is known exactly. This research investigates a two state partially observable Markov chain in which only deterioration can occur and for which the only actions possible are to replace or to leave alone. The goal of this research is to develop a new jump algorithm which has the potential for solving system problems dealing with continuous state space Markov chains.

• Journal of applied mathematics & informatics
• /
• v.40 no.3_4
• /
• pp.393-407
• /
• 2022

In this paper, a diffusive predator-prey system with Beddington DeAngelis functional response and the modified Leslie-Gower type predator dynamics when a prey population is infected is considered. The predator is assumed to predate both the susceptible prey and infected prey following the Beddington-DeAngelis functional response and Holling type II functional response, respectively. The predator follows the modified Leslie-Gower predator dynamics. Both the prey, susceptible and infected, and predator are assumed to be distributed in-homogeneous in space. A reaction-diffusion equation with Neumann boundary conditions is considered to capture the dynamics of the prey and predator population. The global attractor and persistence properties of the system are studied. The priori estimates of the non-constant positive steady state of the system are obtained. The existence of non-constant positive steady state of the system is investigated by the use of Leray-Schauder Theorem. The existence of non-constant positive steady state of the system, with large diffusivity, guarantees for the occurrence of interesting Turing patterns.

• Publications of The Korean Astronomical Society
• /
• v.20 no.1 s.24
• /
• pp.7-10
• /
• 2005

We have calculated 2448 interstellar cloud models to investigate the formation and destruction of high rotational level $H_2$ according to the combinations of five physical conditions: the input UV intensity, the $H_2$ column density, cloud temperature, total density, and the $H_2$ formation rate efficiency. The models include the populations of all the accessible states of $H_2$ with the rotational quantum number J < 16 as a function of depth through the model clouds, and assume that the abundance of $H_2$ is in a steady state governed primarily by the rate of formation on the grain surfaces and the rates of destruction by spontaneous fluorescent dissociation following absorption in the Lyman and Werner band systems. The high rotational levels J = 4 and J = 5 are both populated by direct formation into these levels of newly created molecules, and by pumping from J = 0 and J = 1, respectively The model results show that the high rotational level ratio N(4)/N(0) is proportional to the incident UV intensity, and is inversely proportional to the $H_2$ molecular fraction, as predicted in theory.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.05a
• /
• pp.89-96
• /
• 2002

A two-degree of freedom model is suggested to understand the basic dynamical behaviors of the interaction between two masses of the friction induced vibration system. The two masses may be considered as the pad and the disk of the brake, The phase space analysis is performed to understand complicated dynamics of the non-linear model. Attractors in the phase space are examined for various conditions of the parameters of the model especially by emphasizing on the damping parameters. In certain conditions, the attractor becomes a limit cycle showing the stick-slip phenomena. In this paper, not only the existence of the limit cycle but also the size of the limit cycle is examined to demonstrate the non-linear dynamics that leads the unstable state. For the two different cases of the system frequency ((1)two masses with same natural frequencies, (2) with different natural frequencies), the propensity of limit cycle is discussed in detail. The results show an important fact that it may make the system worse when too much damping is present in the only one part of the masses.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.12 no.7
• /
• pp.502-509
• /
• 2002

A two-degree of freedom model Is suggested to understand the basic dynamical behaviors of the interaction between two masses of the friction induced vibration system. The two masses may be considered as the pad and the dusk of the brake. The phase space analysis is performed to understand complicated dynamics of the non-linear model. Attractors in the phase space are examined for various conditions of the parameters of the model especially by emphasizing on the damping parameters. In certain conditions, the attractor becomes a limit cycle showing the stick-slip phenomena. In this Paper, not only titre existence of the limit cycle but also the sloe of the limit cycle is examined to demonstrate the non-linear dynamics that leads the unstable state. For the two different cases of the system frequency[(1) Two masses with same natural frequencies, (2) with different natural frequencies] . the propensity of limit cycle Is discussed In detail. The results show an important fact that it may make the system worse when too much damping Is present in the only one part of the masses.

• Journal of Korea Game Society
• /
• v.4 no.2
• /
• pp.13-20
• /
• 2004

We have been interested in solving escapee-chaser game. In this game, with avoiding chaser, the escapee must escape from given male. The winning strategies of the escapee are driving the chaser to an intended place and closely evading from chaser by using some walls. According to our experience, some stages of the game are too difficult to solve manually. So we take the model checking method to get a solution of the game. Because the model checking with breadth fist search manner exhaustively searches the all state space of the game, the solution using model checking is best solution, shortest path. Fortunately, during the process of finding solution path, the state space explosion problem didn't occur, and the results of the game solving was applied to embedded system, Lego Mindstorm. Two agents, escapee and chaser, were implemented into robots and several experiments conformed the correctness of our solution.

• 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.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.4 no.4
• /
• pp.575-594
• /
• 2010

In this study, we propose a space search algorithm (SSA) and then introduce a hybrid optimization of fuzzy inference systems based on SSA and information granulation (IG). In comparison with "conventional" evolutionary algorithms (such as PSO), SSA leads no.t only to better search performance to find global optimization but is also more computationally effective when dealing with the optimization of the fuzzy models. In the hybrid optimization of fuzzy inference system, SSA is exploited to carry out the parametric optimization of the fuzzy model as well as to realize its structural optimization. IG realized with the aid of C-Means clustering helps determine the initial values of the apex parameters of the membership function of fuzzy model. The overall hybrid identification of fuzzy inference systems comes in the form of two optimization mechanisms: structure identification (such as the number of input variables to be used, a specific subset of input variables, the number of membership functions, and polyno.mial type) and parameter identification (viz. the apexes of membership function). The structure identification is developed by SSA and C-Means while the parameter estimation is realized via SSA and a standard least square method. The evaluation of the performance of the proposed model was carried out by using four representative numerical examples such as No.n-linear function, gas furnace, NO.x emission process data, and Mackey-Glass time series. A comparative study of SSA and PSO demonstrates that SSA leads to improved performance both in terms of the quality of the model and the computing time required. The proposed model is also contrasted with the quality of some "conventional" fuzzy models already encountered in the literature.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.12 no.5
• /
• pp.57-63
• /
• 2008

This paper presents a seismic response prediction method using vibration tests of cabinet-type electrical equipment installed in a nuclear power plant. The proposed method consists of three steps: 1) identification of earthquake-equivalent forces based on lumped-mass system idealization, 2) identification of a state-space-equation model relating input-output measurements obtained from the vibration tests, 3) seismic prediction using the identified earthquake-equivalent forces and the identified state-space-equation. The proposed method is advantageous compared to other methods based on FEM (finite element method) model update, since the proposed method is not influenced by FEM modeling errors. Through a series of numerical verifications on a frame model and 3-dimensional shell model, it was found that the proposed method could be used to accurately predict the seismic responses, even under considerable measurement noise conditions. Experimental validation is needed for further study.

• 제어로봇시스템학회:학술대회논문집
• /
• 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.