• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.171-177
• /
• 1995

Let P be a finite poset and let $\mid$P$\mid$ be the number of vertices in pp. A subposet of P is a subset of P with the induced order. A chain C in P is a subposet of P which is a linear order. The length of the chain C is $\mid$C$\mid$ - 1. A linear extension of a poset P is a linear order $L = x_1, x_2, \ldots, x_n$ of the elements of P such that $x_i < x_j$ is P implies i < j. Let L(P) be the set of all linear extensions of pp. E. Szpilrajn [5] showed that L(P) is not empty.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.347-355
• /
• 2001

Let ($X, \omega$) be a closed symplectic 4-manifold. Let a finite cyclic group G act semifreely, holomorphically on X as isometries with fixed point set $\Sigma$(may be empty) which is a 2-dimension submanifold. Then there is a smooth structure on the quotient X'=X/G such that the projection $\pi$:X$\rightarrow$X' is a Lipschitz map. Let L$\rightarrow$X be the Spin$^c$ -structure on X pulled back from a Spin$^c$-structure L'$\rightarrow$X' and b_2^$+(X')>1. If the Seiberg-Witten invariant SW(L')$\neq$0 of L' is non-zero and $L=E\bigotimesK^-1\bigotimesE$ then there is a G-invariant pseudo-holomorphic curve u:$C\rightarrowX$,/TEX> such that the image u(C) represents the fundamental class of the Poincare dual $c_1$(E). This is an equivariant version of the Taubes' Theorem.

• Language and Information
• /
• v.13 no.1
• /
• pp.57-75
• /
• 2009

English floating quantifiers (FQ) are both limited and complex in the sense that they are introduced by a limited set of words, all, both, and each, and display free distributional possibilities. This paper provides a non-movement approach to the syntax of English floating quantifier constructions. The non-movement analysis we develop here is different from stranding movement analyses in that all the FQs are base-generated while the linkage with their antecedent refers to grammatical features such as SUBJ and PRD. The analysis avoids the postulation of abstract levels as well as empty elements in capturing the flexibility of English FQ constructions, making the grammar of English simpler.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.103-108
• /
• 2003

Among welded structure bogies in use for high speed freight car, a part of bogies manufactured in 1999 and 2000 have found problems that failure occurs in its end beam. In case of a freight car a difference of weight between empty and loading conditions are worse than in case of a passenger car. Moreover its brake system is tread brake without second suspension system. A failure of end beam is supposed to be due to loading by brake rather than vertical loading by freight. This failure can make brake system useless and may be a cause of derailment in the worst case. In this study, in order to be proved the cause of failure and to solve the problem it is described that we have measured load history acted on end beam and set up the procedures.

• Journal of Korean Institute of Industrial Engineers
• /
• v.18 no.2
• /
• pp.65-82
• /
• 1992

We present an approximate analytical model to estimate throughput capacity and expected waiting times for move requests of an Automated Guided Vehicle System(AGVS) used in manufacturing. This analytical model considers an empty vehicle dispatching rule, namely, the First-Come-First-Served(FCFS) rule. The performance of the analytical model is tested extensively through simulation. Using this model one can rapidly evaluate a wide range of handling and layout alternatives for given flow data. Hence, the model would be most effective when used early in the design phase to narrow down the set of alternative handling systems and configurations prior to simulation.

• East Asian mathematical journal
• /
• v.35 no.3
• /
• pp.357-363
• /
• 2019

Let the circle act on a compact almost complex manifold M with a non-empty discrete fixed point set. To each fixed point, there are associated non-zero integers called weights. A positive weight w is called primitive if it cannot be written as the sum of positive weights, other than w itself. In this paper, we show that if every weight is primitive, then the Todd genus Todd(M) of M is positive and there are $Todd(M){\cdot}2^n$ fixed points, where dim M = 2n. This generalizes the result for symplectic semi-free actions by Tolman and Weitsman [8], the result for semi-free actions on almost complex manifolds by the author [6], and the result for certain symplectic actions by Godinho [1].

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.35 no.2
• /
• pp.115-125
• /
• 2019

The purpose of this study is to analyze the occurrence characteristics of vacant spaces in the old hillside residential area, focused on 7 areas surrounding old downtown in Busan. This study suggests 3 stages of analysis as following. First, after the overall site survey on the vacant spaces in 7 old hillside residential areas in Busan, this study identifies the difference of types of vacant spaces according to each area. Second, based upon precedent researches, this study set up 3 perspectives and 9 analysis indices to investigate the areal characteristics of vacant space occurrence. Third, through the GIS analysis on the vacant spaces, this study tries to analyze the physical, commercial and social/institutional conditions of the areas in order to disclose the areal characteristics of vacant spaces occurrence.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1101-1110
• /
• 2023

At the present paper, we investigate bounded approximately local derivations of ℓ¹-Munn algebra 𝕄_I(𝒜), where I is an arbitrary non-empty set and 𝒜 is an approximately locally unital Banach algebra. Indeed, we show that if _𝒜B(𝒜, 𝒜^*) and B_𝒜(𝒜, 𝒜^*) are reflexive, then every bounded approximately local derivation from 𝕄_I(𝒜) into any Banach 𝕄_I(𝒜)-bimodule X is a derivation. Finally, we apply this result to study bounded approximately local derivations of the semigroup algebra ℓ¹(S), where S is a uniformly locally finite inverse semigroup.

• The Korean Journal of Nuclear Medicine Technology
• /
• v.20 no.1
• /
• pp.24-27
• /
• 2016

Purpose In this study, we evaluated image quality of lesion in the vicinity according filling and empty bladder developing bladder phantom. Materials and Methods Bladder phantom was developed by modifying NEMA IEC body phantom. Air-balloon was described as bladder and 6 insert were set as lesion in the vicinity bladder according to distance. The images were evaluated in terms of % BV, comparison of SUV and peak count rate (Single, Random and True count). Results % BV was decreased far away from bladder. There were different for SUV about $7.8{\pm}3.8%$ between filling and empty bladder. True count rate was decreased about 38 %. Single and random count were increased about 44, 61%. Conclusion When the lesion is close to bladder, noise is increased. That's why prior to PET-CT scan, It is important to urinate. and It helps patient to get the accurate result.

• Journal of Biosystems Engineering
• /
• v.24 no.3
• /
• pp.209-216
• /
• 1999

A self-travelling sprayer was developed to avoid the exposure of an operator to agricultural chemicals and exhaust gas, to improve safety and to increase working efficiency during the application and transport work in the greenhouses. This system consists of self-travelling system and the control system for application and safety device. The auto-spray car is equipped with a liquid chemical tank of 80l capacity. The travelling system adopted mechanical steering system which link mechanism of front wheel is guided by guide rollers. The sprayer travels along the guiding pipe which is set on the furrow in the greenhouses. The sprayer stops automatically applying and traveling when the liquid chemical tank becomes empty or when the sprayer reach the turning point. The spray booms swings in a vertical plane. The control system of safety devices controls the automatic stop of the sprayer when there is an obstacle on the traveling path, or when the battery becomes discharged. The auto-spray car traveled smoothly and steadily along the guide pipe during traveling straightly and turning on the ground.