• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.7
• /
• pp.222-230
• /
• 2018

This paper examines gender trouble in the future society from Huxley's Brave New World, in which science is highly developed. In addition, I examined how gender equality was achieved in the World State in which equality and identity were emphasized, and considered the precise meaning of gender equality. Superficially, there are many gender inequality factors in the Reservation, and gender equality is achieved in the World State. However, if we look closely at the World State, we realize that they deprive individual rights under the name of social stability. Therefore, we should reconsider what real gender equality is, and we need to examine what is needed to achieve gender equality.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.9
• /
• pp.846-852
• /
• 2013

In this paper, the authors propose a new approach to control problem of the marine vessels which are moored or controlled by actuators. The vessel control problem in the specified area is called a DPS (Dynamic Positioning System). The main objective of this paper is to obtain more useful control design method for DPS. In this problem, a complicate fact is control allocation which is a numerical method for distributing the control signal to the controlled system. For this, many results have been given and verified by other researchers using two individual processes. It means that the controller design and control allocation design process are carried out individually. In this paper, the authors give more sophisticated design solution on this issue. In which the controller design and control allocation problem are unified by a robust controller design problem. In other word, the stability of the closed-loop system, control performance and allocation problem are unified by an LMI (Linear Matrix Inequality) constraint based on $H_2/H_{\infty}$ mixed design framework. The usefulness of proposed approach is verified by simulation with a supply vessel model and found works well.

• Journal of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.731-770
• /
• 1997

We study Diriclet forms and related subjects for the Gibbs measures of classical unbounded sping systems interacting via potentials which are superstable and regular. For any Gibbs measure $\mu$, we construct a Dirichlet form and the associated diffusion process on $L^2(\Omega, d\mu), where \Omega = (R^d)^Z^\nu$. Under appropriate conditions on the potential we show that the Dirichlet operator associated to a Gibbs measure $\mu$ is essentially self-adjoint on the space of smooth bounded cylinder functions. Under the condition of uniform log-concavity, the Gibbs measure exists uniquely and there exists a mass gap in the lower end of the spectrum of the Dirichlet operator. We also show that under the condition of uniform log-concavity, the unique Gibbs measure satisfies the log-Sobolev inequality. We utilize the general scheme of the previous works on the theory in infinite dimensional spaces developed by e.g., Albeverio, Antonjuk, Hoegh-Krohn, Kondratiev, Rockner, and Kusuoka, etc, and also use the equilibrium condition and the regularity of Gibbs measures extensively.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.2
• /
• pp.159-164
• /
• 2010

This paper focuses on the stability analysis and stabilization for networked control system with neutral type of time-delay. By utilizing the delay partitioning idea, new stability criteria are proposed in terms of linear matrix inequalities(LMIs). These conditions are developed based on the Lyapunov-Krasovskii functionals. Based on the derived criteria, a sufficient condition for te solvability of this problem is obtained in terms of linear matrix inequality without decomposing the original system matrices. Also, it is shown that the proposed controller design method is general for networked control systems. Finally, illustrative examples are presented to show the applicability of the proposed method.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.1
• /
• pp.80-84
• /
• 2002

This paper proposes a decentralized control technique for 2-dimensional experimental helicopter systems. The decentralized control technique is especially suitable in large-scale control systems. We derive the stabilization condition for the interconnected Takagi-Sugeno (TS) fuzzy system using the rigorous tool-Lyapunov stability criterion and formulate the controller design condition in terms of linear matrix inequality (LMI). To demonstrate the feasibility of the proposed method, we include the experiment result as well as a computer simulation one, which strongly convinces us the applicability to the industry.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.3
• /
• pp.335-340
• /
• 2008

In this paper, a decentralized fuzzy output feedback controller for nonlinear interconnected systems with time delay is proposed. The nonlinear interconnected system is represented to fuzzy system using Takagi-Sugeno (T-S) fuzzy model. The decentralized output feedback controller is designed(or stability of subsystems of the fuzzy interconnected system. The stable condition of the closed-loop subsystem is represented to the linear matrix inequality (LMI) form and control gain is obtained by LMI. An example is given to show the verification discussed throughout the paper.

• Journal of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.567-586
• /
• 2015

In this paper, we study optimal control problems for parabolic hemivariational inequalities of dynamic elasticity and investigate the continuity of the solution mapping from the given initial value and control data to trajectories. We show the existence of an optimal control which minimizes the quadratic cost function and establish the necessary conditions of optimality of an optimal control for various observation cases.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.1043-1056
• /
• 2008

The spanning column rank of an $m{\times}n$ matrix A over a semiring is the minimal number of columns that span all columns of A. We characterize linear operators that preserve the sets of matrix ordered pairs which satisfy multiplicative properties with respect to spanning column rank of matrices over semirings.

• Korean Journal of Mathematics
• /
• v.18 no.4
• /
• pp.441-464
• /
• 2010

In this paper, we introduce an iterative method for finding common elements of the set of solutions to a general system of variational inequalities for inverse-strongly accretive mappings and of the set of fixed points of strict pseudo-contractions in a real Banach space. The results presented in this paper mainly improve and extend the corresponding results announced by many others.

• Communications of the Korean Mathematical Society
• /
• v.12 no.2
• /
• pp.393-401
• /
• 1997

Let $A_1,A_2,\cdots,A_m$ and $B_1,B_2,\cdots,B_n$ be two sequences of events on a given probability space. Let $X_m$ and $Y_n$, respectively, be the number of those $A_i$ and $B_j$, which occur we establish new upper and lower bounds on the probability $P(X=r, Y=t)$ which improve upper bounds and classical lower bounds in terms of the bivariate binomial moment $S_{r,t},S_{r+1,t},S_{r,t+1}$ and $S_{r+1,t+1}$.