• 한국데이터정보과학회:학술대회논문집
• /
• 2005.04a
• /
• pp.25-29
• /
• 2005

We analyze an M/G/1 queueing system under $P_{\lambda,\tau}^M$ service policy. By using the level crossing theory and solving the corresponding integral equations, we obtain the stationary distribution of the workload in the system explicitly.

• Journal of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.97-107
• /
• 1999

Given a C-dynamical system (A, G, $\alpha$) with a locally compact group G, two kinds of C-algebras are made from it, called the full C-crossed product and the reduced C-crossed product. In this paper, we extend the theory of the classical C-crossed product to the C-dynamical system (A, G, $\alpha$) with a left-cancellative semigroup M with unit. We construct a new C-algebra A $\alpha$rM, the reduced crossed product of A by the semigroup M under the action $\alpha$ and investigate some properties of A $\alpha$rM.

• Korean Journal of Mathematics
• /
• v.16 no.2
• /
• pp.243-257
• /
• 2008

We seek the sign changing periodic solutions of the nonlinear wave equation $u_{tt}-u_{xx}=a(x,t)g(u)$ under Dirichlet boundary and periodic conditions. We show that the problem has at least one solution or two solutions whether $\frac{1}{2}g(u)u-G(u)$ is bounded or not.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.2
• /
• pp.207-215
• /
• 2015

The main goal in the present paper is to obtain a particular solution $g_{{\lambda}{\mu}}$, ${\Gamma}^{\nu}_{{\lambda}{\mu}}$ and an algebraic solution $\bar{g}_{{\lambda}{\mu}}$, $\bar{\Gamma}^{\nu}_{{\lambda}{\mu}}$ by means of $g_{{\lambda}{\mu}}$, ${\Gamma}^{\nu}_{{\lambda}{\mu}}$ in UFT $X_4$.

• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.141-154
• /
• 2007

The connectivity problem is a fundamental problem in graph theory. The best known algorithm to solve the connectivity problem on general graphs with n vertices and m edges takes $O(K(G)mn^{1.5})$ time, where K(G) is the vertex connectivity of G. In this paper, an efficient algorithm is designed to solve vertex connectivity problem, which takes $O(n^2)$ time and O(n) space for a trapezoid graph.

• Bulletin of the Korean Chemical Society
• /
• v.10 no.4
• /
• pp.377-381
• /
• 1989

The spectroscopic properties of $FO^+$ and FO were investigated by ab initio calculation. Several different levels of theory, $MP3/6-31G^*,\;MP4/6-311G^*\;and\;CISD/6-31G^*$, were tried and compared with experimental results of FO. In the overall performance the CISD showed the best agreement. Based on these results the spectroscopic constants of $FO^+$ are predicted.

• Korean Journal of Oriental Medicine
• /
• v.1 no.1
• /
• pp.419-431
• /
• 1995

The common KIMI-Theory of Oriental medicine has evaluated clinical effects of herbal-drug based on KI, nature of berbs, and tastes. The KI in the theory consists of hotness, warm, cool and coldnes and also the Mi does five tastes such as sour, bitterness, sweet, spicy hotness and saltiness. However the KI does not mean thermal effect only. Thus we tried to determine skin and rectal temperatures at the same time for evaluating the relationship between KI and berbs. Male, adult Sprage-Dawly rat was chosen and berbal extract, 10g/Kg, was given orally once at 9:00 A.M. changes in rectal and skin temperatures were measured at 10, 30, 60, and 90 mins after the drug administratin. The changes in body temperatures are in greate deal of agreement of KI written in Herbology literatures.

• Structural Engineering and Mechanics
• /
• v.7 no.5
• /
• pp.473-484
• /
• 1999

In the present study, the thermal buckling analysis of thick anisotropic laminated composite plates is carried out using the finite strip method based on the higher-order shear deformation theory. This theory accounts for the parabolic distribution of the transverse shear strains through the thickness of the plate and for zero transverse shear stresses on the plate surfaces. Therefore, this theory yields improved results over the Mindlin plate theory and eliminates the need for shear correction factors in calculating the transverse shear stiffness. The critical temperatures of simply supported rectangular cross-ply and angle-ply composite laminates are calculated. The effects of several parameters, such as the aspect ratio, the length-to-thickness ratio, the number of plies, fibre orientation and stacking sequence, are investigated.

• 시스템엔지니어링워크숍
• /
• s.4
• /
• pp.151-154
• /
• 2004

This paper presents the general system theory and its applications to the safety analysis method that is a recent trend over the traditional event-driven model. This new model is known as STAMP(Systems Theory Accident Modeling and Process)proposed by Nancy G. Leveson in MIT. The new model has benefits of systemic approaches concerning the system safety as a whole including the context it is in, its stimulants and outcomes, and its parts as well as the relationships among them in a holistic manner. The method consists of a hierarchical control structure, a process model, and the safety constraints governing the control. This paper demonstrates an example the contrasts the differences between the approaches of STAMP and the traditional safety models.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2007.11a
• /
• pp.1218-1223
• /
• 2007

In this study, we experimentally investigate the equivalent ring theory for a slightly asymmetric ring. The slightly asymmetric ring has mode pair and frequency pair due to the small asymmetry and this mode pair generates beat in vibration and sound. In this paper, a slightly asymmetric ring is modeled as the equivalent ring, i.e., the assemblage of a symmetric ring and imperfect point masses. The equivalent ring has the same mode pair condition as that of the original asymmetric ring. Effect of the additional mass attachment is investigated by the equivalent ring theory and the result is compared with those of the measurement and the finite element analysis. It is confirmed that the original ring and the equivalent ring show the same change in frequency and mode under the various additional imperfection mass conditions. The equivalent ring theory explains how the asymmetric elements influence the mode characteristics and provides useful information to tune the beat property.