• Communications of the Korean Mathematical Society
• /
• v.13 no.1
• /
• pp.95-107
• /
• 1998

In this paper we prove the Hopf-Rinow theorem for CAT(0) spaces and show that the ideal boundaries of complete CAT(0) manifolds of dimension 2 or 3 with some additional conditions are homeomorphic to the circle or 2-sphere by the characterization of the local shadows around the branch points.

• Nuclear Engineering and Technology
• /
• v.52 no.9
• /
• pp.2017-2024
• /
• 2020

In this study, a fractional order proportional integral derivative (FOPID) controller is designed to create the reference power trajectory and to conquer the uncertainties and external disturbances. A fractional nonlinear model was utilized to describe the nuclear reactor dynamic behaviour considering thermal-hydraulic effects. The controller parameters were tuned using optimization method in Matlab/Simulink. The FOPID controller was simulated using Matlab/Simulink and the controller performance was evaluated for Hard variation of the reference power and compared with that of integer order a proportional integral derivative (IOPID) controller by two models of fractional neutron point kinetic (FNPK) and classical neutron point kinetic (CNPK). Also, the FOPID controller robustness was appraised against the external disturbance and uncertainties. Simulation results showed that the FOPID controller has the faster response of the control attempt signal and the smaller tracking error with respect to the IOPID in tracking the reference power trajectory. In addition, the results demonstrated the ability of FOPID controller in disturbance rejection and exhibited the good robustness of controller against uncertainty.

• The Pure and Applied Mathematics
• /
• v.24 no.3
• /
• pp.179-190
• /
• 2017

In this paper, we introduce and solve the following quadratic (${\rho}_1$, ${\rho}_2$)-functional inequality (0.1) $$N\left(2f({\frac{x+y}{2}})+2f({\frac{x-y}{2}})-f(x)-f(y),t\right){\leq}min\left(N({\rho}_1(f(x+y)+f(x-y)-2f(x)-2f(y)),t),\;N({\rho}_2(4f(\frac{x+y}{2})+f(x-y)-2f(x)-2f(y)),t)\right)$$ in fuzzy normed spaces, where ${\rho}_1$ and ${\rho}_2$ are fixed nonzero real numbers with ${{\frac{1}{{4\left|{\rho}_1\right|}}+{{\frac{1}{{4\left|{\rho}_2\right|}}$ < 1, and f(0) = 0. Using the fixed point method, we prove the Hyers-Ulam stability of the quadratic (${\rho}_1$, ${\rho}_2$)-functional inequality (0.1) in fuzzy Banach spaces.

• Journal of Communications and Networks
• /
• v.6 no.1
• /
• pp.38-45
• /
• 2004

The ABR point-to-multipoint connection is now playing a more important role than before. Many consolidation algorithms have been proposed to solve the consolidation noise problem and the slow transient response problem. But few timeout algorithms are proposed to handle the non-responsive branches for the multicast connections. Chen’s algorithm needs exchanging control messages between switches [9]. Besides, it may mistake a responsive branch as a non-responsive branch because of fast changes in source rates, which causes wrong information in BRM cells and may lead to network congestion and data losses in the responsive branch. We propose a simple timeout algorithm which can handle the non-responsive branches without exchanging message between switches. The timeout value for each switch is computed locally. Simulation results show that the proposed timeout algorithm can efficiently handle the non-responsive branches and utilize the available bandwidth within a small period of time. In addition, our algorithm could handle the situation when the source rates change quickly.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.69-86
• /
• 2017

The point $P{\in}{\mathbb{P}}^2$ is referred to as a Galois point for a nonsingular plane algebraic curve C if the projection ${\pi}_P:C{\rightarrow}{\mathbb{P}}^1$ from P is a Galois covering. In contrast, the point $P^{\prime}{\in}C^{\prime}$ is referred to as a weak Galois Weierstrass point of a nonsingular algebraic curve C' if P' is a Weierstrass point of C' and a total ramification point of some Galois covering $f:C^{\prime}{\rightarrow}{\mathbb{P}}^1$. In this paper, we discuss the following phenomena. For a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$, if there exists a common ramification point of ${\pi}_P$ and ${\varphi}$, then there exists a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with its Weierstrass semigroup such that H(P') = or , which is a semigroup generated by two positive integers r and 2r + 1 or 2r - 1, such that P' is a branch point of ${\varphi}$. Conversely, for a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with H(P') = or , there exists a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$ such that P' is a branch point of ${\varphi}$.

• Journal of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.125-139
• /
• 2015

In this paper we introduce the notion of the generalized Darbo fixed point theorem and prove some fixed and coupled fixed point theorems in Banach space via the measure of non-compactness, which generalize the result of Aghajani et al. [6]. Our results generalize, extend, and unify several well-known comparable results in the literature. One of the applications of our main result is to prove the existence of solutions for the system of integral equations.

• The Korean Journal of Pain
• /
• v.20 no.2
• /
• pp.111-115
• /
• 2007

Background: Selective diagnostic blocks of the medial branches of the dorsal primary ramus are usually performed under the guidance of fluoroscopic or computed tomography. Recently, however, ultrasound guidance has been suggested as an altemative method. In this study, the distances between the vertebral structures were measured and compared with the values measured using magnetic resonance imaging (MRI) to assess the clinical feasibility of using ultrasound-guided block in Korean patients. Methods: Five male and 15 female patients were enrolled in this study. The target point of the medial branch block in our study was the groove at the base of the superior articular process, We measured the depth from the skin to the target point at the transverse process (d-TP) and to the most superficial point of the superior articular process (d-AP). Results: The d-TP and d-AP values measured under ultrasound guidance were concordant with the values measured using MRI. Conclusions: The images of the bony landmarks obtained under ultrasound examination could be useful for ultrasound-guided lumbar medial branch block.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.6
• /
• pp.611-620
• /
• 1989

In this paper, Fingerprint matching method which is able to confirm one's identity using microcomputer is discussed. In matching method, fingerprint image is thinned and we extracted feature point data which is composed of position and direction of end-point and branch-point. Identification is conducted by decision of disagreement between reference finger print and input fingerprint us ing this extracted data. After averaging and binariztion process, thining method is conducted. Restoration process is carried out to seek precise feature pointdatd. We compensate position difference of reference fingerprint and input fingerprint, which is divied end-point and branch-point, and translated and rotated its position. Using this compensdate difference of position, we decide whether fingerp-print identity is true or not.

• Journal of Industrial Technology
• /
• v.29 no.B
• /
• pp.199-205
• /
• 2009

This study selected Naerin Stream, Inbuk Stream and Buk Stream, branch rivers of Soyang Dam, also area of highland agriculture as test sites and measured flow and water quality, particularly eutrophication factors (BOD, COD, T-N, and T-P) in precipitation season and non precipitation season for a year, 2008. Based on the result, the study examined the change in water quality in relation to flow, and created flow discharged - pollution loads regression line by estimating pollution loads flowed from each branch river. And the study calculated annual pollution discharge loads for unit area and proposed regression equation on it by using regression analysis.

• Korean Journal of Acupuncture
• /
• v.35 no.3
• /
• pp.117-122
• /
• 2018

Objectives : Most meridians have each well point located at the distal end of fingers or toes, congruous with their meridian courses. Exceptively, ST45(Yeotae), stomach meridian(ST)'s final point, is located at the lateral side of the tip of the second toe, while the tip of the second toe was not mentioned in the course of ST. So, we studied the course of lower limb region of ST. Methods : Courses of ST in Categorized Collection of Literatures on Chinese Meridians and Collaterals(CCM) was examined. The literatures included in CCM was selected as study subjects to be studied if the meridian route was different from "Youngchu" or more detailed notes were attached. There are 3 branches in lower limb region of ST, we analyzed theories of scholars of all time about the 3 branches of ST. Results and Conclusions : Branch 1 descends along the lateral margin of the fibula to the dorsum of foot, entering into the medial side of the middle toe. Branch 2 leaves ST36 separately, terminating at the lateral side of the middle toe. Branch 3 leaves ST42 and descends to the end of the great toe. The medial side of the middle toe equate to the lateral side of the second toe, and it is connected to ST45. So branch 1 is the main stream of ST. Branch 3 drives to the great toe passing between first and second toe, it goes medial side of LR2.