• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.83-89
• /
• 1993

Applications of the classical Knaster-Kuratowski-Mazurkiewicz theorem [KKM] and the fixed point theory of multifunctions defined on convex subsets of topological vector spaces have been greatly improved by adopting the concept of convex spaces due to Lassonde[L]. Recently, this concept has been extended to pseudo-convex spaces, contractible spaces, or spaces having certain families of contractible subsets by Horvath[H1-4]. In the present paper we give a far-reaching generalization of the best approximation theorem of Ky Fan[F1, 2] to pseudo-metric spaces and improved versions of the well-known fixed point theorems due to Brouwer [B] and Schauder [S] for spaces having certain families of contractible subsets. Our basic tool is a generalized Fan-Browder type fixed point theorem in our previous works [P3, 4].

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.943-946
• /
• 1993

This paper presents design criteria of an overlapping decentralized controller by investigating the controllability and closed loop stability of the expanded system. To determine the criteria we classify the overlapping decentralized controller into an overlapping expanded controller and a contractible controller. It is shown that conditions of system expansion to design these controllers are differently used. The overlapping expanded controller needs the aggregation conditions due to the importance of a structure of the expanded system. The contractible controller which intends to use in the original space needs the restriction because of stability of the original system.

• Progress in Superconductivity and Cryogenics
• /
• v.5 no.1
• /
• pp.76-80
• /
• 2003

A contractible heat pipe is designed and tested to improve cooling performance of conduction cooled superconducting magnet. When the heat pipe temperature drops below the triple point temperature, heat pipe working fluid freezes to create low pressure. From this moment the heat pipe does net work any more (OFF state) and it just works as a heat leak path when the temperature of the first stage is higher than that of the second stage. Considering small cooling capacity of the second stage around 4.2 K, the conduction loss is not negligible. Therefore, the contractible heat pipe, made of a metal bellows and copper tubes, was considered to eliminate the conduction loss. Nitrogen and argon are as working fluid of heat pipe. The copper block is cooled down with these heat pipe and the cooling performance for each heat pipe is compared. At off state, the bellows is contracted due to the low pressure of heat pipe and the evaporator section of the heat pipe is detached about 3 mm from the second stage cold head of the cryocooler. In this way, we tan eliminate the conduction loss through the heat pipe wall.

• Kyungpook Mathematical Journal
• /
• v.24 no.2
• /
• pp.143-154
• /
• 1984

• Kyungpook Mathematical Journal
• /
• v.32 no.3_spc
• /
• pp.607-628
• /
• 1992

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.215-221
• /
• 2003

There seems to be a love-hate relationship between Brouwer's fixed point theorem and the fundamental theorem of algebra; in this note we offer one more tweak at it, and give a version of Rouches theorem.

• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.839-845
• /
• 1998

For an oriented compact, connected Seifert fibred 3-manifold M with nonempty boundary, we construct a simplicial complex using the equivalence classes of marked annulus systems and show that it is contractible.

• Journal of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.309-319
• /
• 1997

We introduce $R^i$-sets and give various relations between $R^i$-sets and prove that the hyperspace of a metric continuum containing any one of the $R^i$-set also contains $R^i$ and hence is not contractible.

• Journal of the Korean Mathematical Society
• /
• v.44 no.6
• /
• pp.1479-1503
• /
• 2007

In this paper, we study a strong k-deformation retract derived from a relative k-homotopy and investigate its properties in relation to both a k-homotopic thinning and the k-fundamental group. Moreover, we show that the k-fundamental group of a wedge product of closed k-curves not k-contractible is a free group by the use of some properties of both a strong k-deformation retract and a digital covering. Finally, we write an algorithm for calculating the k-fundamental group of a dosed k-curve by the use of a k-homotopic thinning.

• International Journal of Control, Automation, and Systems
• /
• v.4 no.1
• /
• pp.87-95
• /
• 2006

The outlet feeder pipe thinning in a PHWR (Pressurized Heavy Water Reactor) is caused by a high pressure steam flow inside the pipe, which is a well known degradation mechanism called a FAC (Flow Assisted Corrosion). In order to monitor the degradation, the thickness of the outlet bends close to the exit of the pressure tube should be measured and analyzed at every official overhaul. This paper describes a mobile feeder pipe inspection robot that can minimize the irradiation dose to human workers by automating the measurement process. The robot can move by itself on the feeder pipe by using an inch worm mechanism, which is constructed by two gripper bodies that can fix the robot body on to the pipe, one extendable and contractible actuator, and a rotation actuator connected to the two gripper bodies to move forward and backward, and to rotate in a circumferential direction.