• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.

• Aerospace Engineering and Technology
• /
• v.7 no.1
• /
• pp.161-169
• /
• 2008

This paper introduces test configuration and operation method for the GPS receiver system under electromagnetic test of KSLV-I upper-stage as a system qualification level and describes performance analysis of the test results. The GPS receiver system has clearly passed the electromagnetic test specifications of component level which is based on MIL-STD-461E through several design changes. Under electromagnetic test as a system qualification level, the GPS receiver system normally operates in spite of electromagnetic interferences with other systems. Performance of the GPS receiver system is also, not degraded on the condition of electromagnetic field incidence and electrostatic discharge. The KSLV-I GPS receiver system, as a result, is verified on the electromagnetic condition of the KSLV-I upper-stage.

• Honam Mathematical Journal
• /
• v.32 no.1
• /
• pp.167-176
• /
• 2010

Let (B, $\check{g}$) and (N, $\hat{g}$) be Einstein manifolds. Then, we get a complete (necessary and sufficient) condition for the warped product manifold $B\;{\times}_f\;N\;:=\;(B\;{\times}\;N,\;\check{g}\;+\;f{\hat{g}}$) to be Einstein, and obtain a complete condition for the Einstein warped product manifold $B\;{\times}_f\;N$ to be weakly stable. Moreover, we get a complete condition for the map i : ($B,\;\check{g})\;{\times}\;(N,\;\hat{g})\;{\rightarrow}\;B\;{\times}_f\;N$, which is the identity map as a map, to be harmonic. Under the assumption that i is harmonic, we obtain a complete condition for $B\;{\times}_f\;N$ to be Einstein.

• Korean Journal of English Language and Linguistics
• /
• v.3 no.2
• /
• pp.255-280
• /
• 2003

The present paper will argue what can be considered to be principled elements of the initial state S/sub 0/ of the Faculty of Language, which are called the Interface Condition (IC), and how far we can take the strongest minimalist thesis (SMT), which aims to offer principled explanation of language in terms of IC and the principle of efficient computation, to linguistic analysis. We will discuss implications of label-free phrase structures, required by the strong version of the Inclusiveness Condition, and possibilities of crash-free syntax, required by the condition of efficient computation. I will point out problems of Chomsky's assumption that an externally Merged expletive there is a head, which, as a probe, undergoes agreement with the goal T. I will present several advantages we obtain if we maintain A and A' distinction, and assume that wh-movement to the outer [SPEC, υ] is an A'-movement like wh-movement to [SPEC, C].

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.5
• /
• pp.100-109
• /
• 1998

In order to increase productivity through unmanned machining in CNC milling process, in-process tool fracture detection is required. In this paper, a new algorithm for tool fracture detection using cutting load variations was developed. For this purpose, developed were tool condition vector which is dimensionless indicator of cutting load and tool fracture index (TFI) which represents magnitude of tool fracture. Through cutting force simulation, tool fracture index was shown to be independent of tool run-outs and cutting condition variations. Using tool fracture index, the ratio of the tool fracture to feed per tooth could be indentified.

• The Journal of the Society of Korean Medicine Diagnostics
• /
• v.13 no.1
• /
• pp.36-44
• /
• 2009

Object : Pulse feeling(脈診) belongs to pulse feeling or palpation(切診) of methods of diagnosis in oriental medical terminology. Pulse appears at bio-energy condition of body, so it is a important part of disease diagnosis but we have been trouble in diagnosis by difficulty of pulse feeling(脈診). Methods : We investigate the books about pulse feeling, which are involved "Hwangjenaegyong", "Nangyong", "Maggyeng" etc. Conclusion : According to these, this paper helps you understand pulse feeling(脈診) through comparision and studying pulse condition at clasics with electro pulse machine.

• The Journal of the Korea Contents Association
• /
• v.14 no.2
• /
• pp.535-543
• /
• 2014

In this paper, I proposed a way of improving computer education in elementary, middle and high schools. I firstly analyzed the importance of computer education by researching an index of a national economic condition, People's IT use frequency and the demand for computer education by students and parents. Secondly, I researched the condition of computer education in elementary, middle and high schools. Finally, I analyzed problems of current computer education and proposed three way of improving computer education in elementary, middle and high schools.

• International Journal of Aeronautical and Space Sciences
• /
• v.18 no.1
• /
• pp.165-173
• /
• 2017

The aeromechanics predictions of HART I rotor obtained using a computational structural dynamics (CSD) code are evaluated against the wind tunnel test data. The flight regimes include low speed descending flight at an advance ratio of ${\mu}=0.151$ and cruise condition at ${\mu}=0.229$. A lifting-line based unsteady airfoil theory with C81 table look-up is used to calculate the aerodynamic loads acting on the blade. Either rolled-up free wake or multiple-trailer wake with consolidation (MTC) model is employed for the free vortex wake representation. The measured blade properties accomplished recently are used to analyze the rotor for the up-to-date computations. The comparison results on airloads and structural loads of the rotor show good agreements for descent flight and fair for cruise flight condition. It is observed that MTC model generally improves the correlation against the measured data. The structural loads predictions for all measurement locations of HART I rotor are investigated. The dominant harmonic response of the structural loads is clearly captured with MTC model.

• Electrical & Electronic Materials
• /
• v.8 no.2
• /
• pp.176-183
• /
• 1995

The present work is concerned with the switching conduction characteristics of PI LB films in metal insulator metal sandwiches. By applying various DC voltage bias to MIM junctions, conduction characteristics of junctions can be changed between the high-voltage low-current(off) condition, the low-voltage high-current (on) condition and the medium(mid) condition. Switching conduction characteristics can be also observed in MIM junctions employing some aromatic compounds as insulators. Switching conduction characteristics is assumed to be owing to the existence of aromatic rings, space charge in films, impurities on metal-insulator interface, and difference in work functions of base and top electrodes metal. To study the conduction process of on, off, and mid conductions, we measured I-V, d$^{2}$V/d I$^{2}$-V characteristics of junctions with several different top electrodes under various temperatures. Small conductance changes of junctions can be measured by observing the second derivative, d$^{2}$V/dI$^{2}$, of I-V curve. A dynamical technique is used to get the second derivatives. That is, a finite modulation of the current is applied to the junctions and the second harmonic of the voltage is detected.

• The Korean Journal of Physiology and Pharmacology
• /
• v.6 no.2
• /
• pp.93-99
• /
• 2002

Effects of oxidized low-density lipoprotein (ox-LDL), $1-{\alpha}-stearoyl-lysophosphatidylcholine$ (LPC), on intracellular $Ca^{2+}$ concentration were examined in mouse endothelial cells by measuring intracellular $Ca^{2+}$ concentration $([Ca^{2+}]_i)$ with fura 2-AM and reverse transcription-polymerase chain reaction (RT-PCR). LPC increased $[Ca^{2+}]_i$ under the condition of 1.5 mM $[Ca^{2+}]_o$ but did not show any effect under the nominally $Ca^{2+}-free$ condition. Even after the store depletion with $30{\mu}M$ 2,5-di-tert- butylhydroquinone (BHQ) or $30{\mu}M$ ATP, LPC could still increase the $[Ca^{2+}]_i$ under the condition of 1.5 mM $[Ca^{2+}]_o.$ The time required to increase [$Ca{2+}$]i (about 1 minute) was longer than that for ATP-induced $[Ca^{2+}]_i$ increase $(10{\sim}30\;seconds).$ LPC-induced $[Ca^{2+}]_i$ increase was completely blocked by $1{\mu}M\;La^{3+}.$ Transient receptor potential channel(trpc) 4 mRNA was detected with RT-PCR. From these results, we suggest that LPC increased $[Ca^{2+}]_i$ via the increase of $Ca^{2+}$ influx through the $Ca^{2+}$ routes which exist in the plasma membrane.