• Journal of the Korea Institute of Military Science and Technology
• /
• v.4 no.1
• /
• pp.73-82
• /
• 2001

In this Paper, slack is computed from a comparision of the cable pay out rate and the ship ground speed in accordance with laying conditions, and the speed controller of the cable engine based on an $H^{\infty}$ servo control is designed for adjusting the cable engine in order to lay a desired amount of slack. The controller is designed to have the robust tracking property of the cable engine under disturbances. The performance of the designed controller is evaluated by computer simulation, and, consequently, a feasibility study for laying the submarine cable stably is done through analyzing simulation results.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.437-450
• /
• 1994

The problem of testing for a change in the parameter of a stochastic process is particularly important in simulation studies. In studies of the steady state characteristics of a simulation model, it is important to identify initialization bias and to evaluate efforts to control this problem. A simulation output have the characteristics of chaotic behavior because of sensitive dependence on initial conditions. For that reason, we will apply Lyapunov exponent for diagnosis of chaotic motion to simulation output analysis. This paper proposes two methods for diagnosis of steady state in simulation output. In order to evaluate the performance and effectiveness of these methods using chaos theory, M/M/I(.inf.) queueing model is used for testing point estimator, average bias.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.153-163
• /
• 1992

Carlitz module is used to study abelian extensions of K=$F_{q}$(T). In number theory every abelian etension of Q is contained in a cyclotomic field. Similarly every abelian extension of $F_{q}$(T) with some condition on .inf. is contained in a cyclotomic function field. Hence the study of cyclotomic function fields in analogy with cyclotomic fields is an important subject in number theory. Much are known in this direction such as ring of integers, class groups and units ([G], [G-R]). In this article we are concerned with the ring of integers in a cyclotomic function field. In [G], it is shown that the ring of integers is generated by a primitive root of the Carlitz module using the ramification theory and localization. Here we will give another proof, which is rather elementary and explicit, of this fact following the methods in [W].[W].

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.51 no.4
• /
• pp.129-136
• /
• 2002

This paper presents a $H_{\infty}$ robust controller with parameter estimation in polynomial approach. For good performance of a uncertain system, the parameters are estimated by RLS algorithm. The controller minimizes the sum of $H_{\infty}$ norm between sensitivity function and complementary sensitivity function by employing the Youla parameterization and polynomial approach at the same time. A numerical example and its simulation results are given to show the validity of the proposed controller.

• Journal of Chest Surgery
• /
• v.29 no.3
• /
• pp.342-345
• /
• 1996

Mycotic anuerysms are uncommon but it is a fulminant infectious process frequently resulting in rupture and death if not properly treated. Commonly known it as infected aneurysm caused by noncardiogenic bacteremia. We experienced a case of infected aneurysm of the abdominal aorta that ruptured into the retroperitoneum. A 57 year old man was admitted with lower back pain, fever and palpable mass. It was identified as an inf cted abdominal aneurysm with staphylococcal septicemia. He underwent resection of aneurysm and replacement with a prosthetic graft and prolonged postoperative organism-specific antibiotics therapy. He recovered well and discharged without complications postoperatively.

• Journal of applied mathematics & informatics
• /
• v.32 no.1_2
• /
• pp.113-128
• /
• 2014

Consider a class of p(x)-Kirchhoff type equations of the form $$\left\{-M\left({\int}_{\Omega}\;\frac{1}{p(x)}{\mid}{\nabla}u{\mid}^{p(x)}\;dx\right)\;div\;({\mid}{\nabla}u{\mid}^{p(x)-2}{\nabla}u)={\lambda}V(x){\mid}u{\mid}^{q(x)-2}u\;in\;{\Omega},\\u=0\;on\;{\partial}{\Omega},$$ where p(x), $q(x){\in}C({\bar{\Omega}})$ with 1 < $p^-\;:=inf_{\Omega}\;p(x){\leq}p^+\;:=sup_{\Omega}p(x)$ < N, $M:{\mathbb{R}}^+{\rightarrow}{\mathbb{R}}^+$ is a continuous function that may be degenerate at zero, ${\lambda}$ is a positive parameter. Using variational method, we obtain some existence and multiplicity results for such problem in two cases when the weight function V (x) may change sign or not.

• Journal of Society of Preventive Korean Medicine
• /
• v.10 no.2
• /
• pp.121-129
• /
• 2006

BACKGROUND : Socheongryong-Tang(小靑龍湯, SCRT), a herbal medicine, has been widely used for the control of respiratory disease in Eastern countries. Recent years SCRT was known as anti-allergic agent. However, its therapeutic mechanisms, especially an inhibitory effect on inflammatory cell infiltration and airway remodeling in allergic asthma are unclear. METHODS : We investigated the effects of SCRT on levels of IL-4, and IFN-g using flow cytometric analysis and infiltration of inflammatory cells in bronchoalveolar lavage fluid(BALF) using cytospin methods in allergen-induced asthma. RESULTS : SCRT decreased levels of IL-4, a Th2-driven cytokine. But INF-g, a Th1-driven cytokine, was not changed. With SCRT treatment, infiltration of inflammatory cells showed reduced tendency. CONCLUSION : In conclusion, we demonstrated that regulation of Th1/Th2 imbalance may be one of mechanism contributed to reduction of inflammatory cell infiltration.

• Journal of Korean Institute of Industrial Engineers
• /
• v.24 no.1
• /
• pp.1-9
• /
• 1998

In a competitive environment, systems design should be agile to accomplish business goal. However, there are often significant problems with systems design that is manifested in the fact that there are no current techniques to apply rigorous mathematics to semantic conveyance in the design framework. As a promising solution, this paper introduces situation theory (ST) and provides an application of ST for information flow in manufacturing systems design (IDEF0). The described work in this paper addresses the procedure of creation of IAST Model (Inf-Act On in Situation Theory) which is the first application of ST in engineering fields. Finally, we show that IAST Model is very helpful for effective information capturing in systems by comparison existing methodology with developed methodology as a practical application of ST.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.3 no.1
• /
• pp.55-64
• /
• 1999

Large size shipyards have peformed the generating of piece and the nesting using shipbuilding-oriented CAD program, which requires higher skilled operators and lots of costs. So, medium and small size shipyards have pursued different types of piece generation and nesting (arrangement method). This research is to develop a program for the generating of pieces with parametric macro method and a STRIP program for the nesting of pieces by PC, which can be applied in such shipyards.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.475-484
• /
• 2005

Let W(t) be a Wiener path, let $\xi\;:\;[0,\;{\infty})\;\to\;\mathbb{R}$ be a continuous and increasing function satisfying $\xi$(0) > 0, let $$T_{/xi}=inf\{t{\geq}0\;:\;W(t){\geq}\xi(t)\}$$ be the first-passage time of W over $\xi$, and let F denote the distribution function of $T_{\xi}$. Then the first passage problem has a unique continuous solution as following $$F(t)=u(t)+{\sum_{n=1}^\infty}\int_0^t\;H_n(t,s)u(s)ds$$, where $$u(t)=2\Psi(\xi(t)/\sqrt{t})\;and\;H_1(t,s)=d\Phi\;(\{\xi(t)-\xi(s)\}/\sqrt{t-s})/ds\;for\;0\;{\leq}\;s.