• Journal for History of Mathematics
• /
• v.18 no.3
• /
• pp.107-117
• /
• 2005

In this paper, we introduce linear approximate Henstock integral equations that is slightly different from linear Henstock integral equations, and we also offer an example which shows that some integral equation has a solution in the sense of the approximate Henstock integral but does not have any solutions in the sense of the Henstock integral. Furthermore, we investigate the existence and uniqueness of solution of the approximate Henstock integral equation.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.52 no.3
• /
• pp.129-133
• /
• 2003

In this paper, we consider the robust guaranteed cost control problem for a class of uncertain neutral systems with given quadratic cost functions. The uncertainty is assumed to be norm-bounded and time-varying. The goal in this study is to design the memoryless state feedback controller such that the closed-loop system is asymptotically stable and the closed-loop cost function value is not more than a specified upper bound lot all admissible uncertainty. Some criteria for the existence of such controllers are derived based on the matrix inequality approach combined with the Lyapunov second method. A parameterized characterization of the robust guaranteed cost controllers is given in terms of the feasible solutions to the certain matrix inequalities. A numerical example is given to illustrate the proposed method.

• The Pure and Applied Mathematics
• /
• v.14 no.1 s.35
• /
• pp.37-48
• /
• 2007

In this paper, we introduce and study a class of generalized multivalued quasivariational inclusions for fuzzy mappings, and establish its equivalence with a class of fuzzy fixed-point problems by using the resolvent operator technique. We suggest a new iterative algorithm for the generalized multivalued quasivariational inclusions. Further, we establish a few existence results of solutions for the generalized multivalued quasivariational inclusions involving $F_r$-relaxed Lipschitz and $F_r$-strongly monotone mappings, and discuss the convergence criteria for the algorithm.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.7
• /
• pp.618-624
• /
• 2004

This paper presents a delay dependent fuzzy H_\infty$ filter design method for delayed fuzzy dynamic systems. Using delay-dependent Lyapunov function, the global exponential stability and H_\infty$ performance problem are discussed. A sufficient condition for the existence of fuzzy filter is presented in terms of linear matrix inequalities(LMIs). The filter design utilize the concept of parallel distributed compensation. And the filter gains can also be directly obtained from the LMI solutions. A simulation example is given to illustrate the design procedures and performance of the proposed methods.

• Journal of The Korean Astronomical Society
• /
• v.36 no.spc1
• /
• pp.1-5
• /
• 2003

In an early paper Skumanich suggested the existence of a scaling law relating the mean sunspot magnetic field with the square-root of the photospheric pressure. This was derived from an analysis of a variety of theoretical spot models including those by Yun (1968). These were based on the Schliiter-Temesvary (S- T) similarity assumption. To answer criticisms that such modeling may have unphysical (non-axial maxima) solutions, the S-T model was revisited, Moon et al. (1998), with an improved vector potential function. We consider here the consequences of this work for the scaling relation. We show that by dimensionalizing the lateral force balance equation for the S- T model one finds that a single parameter enters as a characteristic value of the solution. This parameter yields Skumanich's scaling directly. Using an observed universal flux-radius relation for dark solar magnetic features (spots and pores) for comparison, we find good to fair agreement with Yun's characteristic value, however the Moon et al. values deviate significantly.

• Korean Journal of Mathematics
• /
• v.15 no.2
• /
• pp.149-165
• /
• 2007

We investigate the existence of multiple nontrivial solutions $u(x,t)$ for a perturbation $b[({\xi}-{\eta}+2)^+-2]$ of the hyperbolic system with Dirichlet boundary condition $$(0.1)\;L{\xi}={\mu}[({\xi}-{\eta}+2)^+-2]\;in\;({-{\frac{{\pi}}{2}}},{\frac{{\pi}}{2}}){\times}\mathbb{R},\\L{\eta}={\nu}[({\xi}-{\eta}+2)^+-2]\;in\;({-{\frac{{\pi}}{2}}},{\frac{{\pi}}{2}}){\times}\mathbb{R},$$, where $u^+$=max{u,o}, ${\mu}$, ${\nu}$ are nonzero constants. Here L is the wave operator in $\mathbb{R}^2$ and the nonlinearity $({\mu}-{\nu})[({\xi}-{\eta}+2)^+-2]$ crosses the eigenvalues of the wave operator.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.36 no.2
• /
• pp.43-50
• /
• 2011

We consider the separation problem of the rank-1 Chvatal-Gomory (C-G) inequalities for the 0-1 knapsack problem with the knapsack capacity defined by an additional binary variable, which we call the fixed-charge 0-1 knapsack problem. We analyze the structural properties of the optimal solutions to the separation problem and show that the separation problem can be solved in pseudo-polynomial time. By using the result, we also show that the existence of a pseudo-polynomial time algorithm for the separation problem of the rank-1 C-G inequalities of the ordinary 0-1 knapsack problem.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.345-362
• /
• 1998

We introduce and anlyze a naturally parallelizable frequency-domain method for parabolic problems with a Neumann boundary condition. After taking the Fourier transformation of given equations in the space-time domain into the space-frequency domain, we solve an indefinite, complex elliptic problem for each frequency. Fourier inversion will then recover the solution of the original problem in the space-time domain. Existence and uniqueness of a solution of the transformed problem corresponding to each frequency is established. Fourier invertibility of the solution in the frequency-domain is also examined. Error estimates for a finite element approximation to solutions fo transformed problems and full error estimates for solving the given problem using a discrete Fourier inverse transform are given.

• Korean Journal of Mathematics
• /
• v.16 no.1
• /
• pp.91-101
• /
• 2008

Let H be a Hilbert space. Assume that $0{\leq}{\alpha}$, ${\beta}{\leq}1$ and r(t) > 0 in I = [0, T]. By means of the fixed point theorem of Leray-Schauder type the existence principles of solutions for two point boundary value problems of the form $\array{(r(t)x^{\prime}(t))^{\prime}+f(t,x(t),r(t)x^{\prime}(t))=0,\;t{\in}I\\x(0)=x(T)=0}$ are established where f satisfies for positive constants a, b and c ${\mid}{f(t,x,y){\mid}{\leq}a{\mid}x{\mid}^{\alpha}+b{\mid}y{\mid}^{\beta}+c\;\;for\;all(t,x,y){\in}I{\times}H{\times}H$.

• Journal of the Korean Society for Railway
• /
• v.9 no.4 s.35
• /
• pp.425-431
• /
• 2006

There are two kinds of police authorities in Korean railway industry, that is, the Special Judicial Police and the Local Subway Police. The existence of two separate entities for common objective of railway security has given rise to problems including inefficiency in performance and lack of customers-focused police service and synergic effects. The purpose of this study is to search for solutions to rail crimes that allows for rapid spatial movements since they take place on fast moving trains.