• 대한수학회보
• /
• 제32권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.

• 대한수학회보
• /
• 제38권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.

• 한국언어정보학회지:언어와정보
• /
• 제13권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(III)
• /
• 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.

• 대한산업공학회지
• /
• 제18권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
• /
• 제35권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].

• 대한건축학회논문집:계획계
• /
• 제35권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.

• 대한수학회논문집
• /
• 제38권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.

• 핵의학기술
• /
• 제20권1호
• /
• pp.24-27
• /
• 2016

방광 주변에 병변이 있는 환자의 경우 소변의 충만으로 방광 주변에 병변 평가의 영향이 있기 때문에 방광 팬텀을 직접 제작하여 방광 충만 여부에 따라 주변 병변이 미치는 영향을 평가하고자 한다. Biograph mCT40 (siemens, germany)을 사용하여 6개의 insert에 각각 14.8 MBq ($400{\mu}Ci$), Background 110 MBq (3 mCi), 방광에 74 MBq (2 mCi)를 주입하였다. NEMA IEC body 팬텀을 이용하여 고무풍선을 방광으로 대체하고 6개의 insert를 방광 주변 병변으로 설정하고, %BV, SUV, peak count rate의 영상평가 인자를 이용하여 비교하였다. % BV는 방광으로부터 거리가 멀수록 감소하는 것을 확인하였다. 방광으로부터 거리에 따른 hot sphere는 방광의 충만여부에 따라 $7.8{\pm}3.8%$의 SUV 차이가 났다. 방광으로부터의 거리가 0.4 cm 이하까지 방광을 비웠을 경우 평균 카운트가 약 14% 높게 측정되었으며, true count는 38% 감소한 반면, single count는 44%, random count는 61% 감소하였다. 그리고 그 이상의 거리에서는 큰 변화를 보이지 않았다. 그러므로 방광에 찬 소변이 주변 병변에 영향을 미치는 것을 확인하였고, 방광으로부터 거리가 가까울수록 영향이 크다는 것을 확인하였다. 방광이나 방광 주변에 병변이 있는 환자뿐만 아니라 PET-CT 검사를 하는 모든 환자에 있어 방광을 비우고 검사를 하는 것이 정확한 검사를 하는데 도움을 제공해 줄 것으로 사료된다.

• Journal of Biosystems Engineering
• /
• 제24권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.