• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.12
• /
• pp.1735-1742
• /
• 2018

The number of electric railway failures will increase due to the external and internal effects of electric railroads. The grounding test with 25,000V is to artificially test the transmission voltage to ground, and it is possible to cause risks of electric shock and other equipment insulation damage in neighboring enclosure. In 2016, method of fault localization changed to low - voltage at 380V from artificially high- voltage in the grounding tests since opening of Seoul Metropolitan Express Railway; The method is more accurate and safer rather than the previous one because it gets more data from unlimited grounding tests. However, an electric current falls on the track section where the track branches and vehicle bases with many lines. To precisely detect a transitive phenomenon, it is necessary to continuously study and additionally install.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.43-86
• /
• 2019

If 1st order ZFC is consistent(has a model($M_1$)) it has a transitive denumerable model($M_2$). This leads to a paradoxical situation called 'Skolem paradox'. This can be easily resolved by Skolem's typical resolution. but In the process, we must accept the model theoretic relativity for the concept of set. This relativity can generate a situation where the meaning of the set concept, for example, is given differently depending on the two models. The problem is next. because the sentence '¬denu(PN)' which indicate that PN is not denumerable is equally true in two models, A indistinguishability problem that the concept <¬denu> is not formally indistinguishable in ZFC arise. First, I will give a detail analysis of what the nature of this problem is. And I will provide three ways of responding to this problem from the standpoint of supporting ZFC. First, I will argue that <¬denu> concept, which can be relative to the different models, can be 'almost' distinguished in ZFC by using the formalization of model theory in ZFC. Second, I will show that <¬denu> can change its meaning intrinsically or naturally, by its contextual dependency from the semantic considerations about quantifier that plays a key role in the relativity of <¬denu>. Thus, I will show the model-relative meaning change of <¬denu> concept is a natural phenomenon external to the language, not a matter of responsible for ZFC.

• The korean journal of orthodontics
• /
• v.27 no.1
• /
• pp.91-103
• /
• 1997

This paper aimed to study what the influences of orthodontic treatment of pronunciation are. We compared the duration and the acoustic wave patterns of Korean consonants pronounced by a control group with those of a patient who had his four premolars extracted and had been given orthodontic treatment The results were as follows : 1. Compared to the control group, the treatment group had a longer duration time of consonant pronunciation for all consonants but "ㅅ(s)" and "ㅌ($(t^h)$" in CV(consonant-vowel) pairs. Especially in the case of "ㅈ(dz)", "ㅆ$({\varphi}^h)$" for CV-pairs, and "ㄷ(d)" in VCV(vowel-consonant-vowel) clusters, the duration of consonant sound showed a sharp contrast between the control group and the treatment group. 2. There were clear differences in the acoustic wave patterns of "ㅉ(ts)", "ㅆ$({\varphi}^h)$" and "ㅊ$(c^h)$", all of which were in VCV-clusters. The acoustic wave pattern of "ㅉ(ts)", when pronounced by the treatment group, was stronger than the control group's. This phenomenon was most remarkable in the transitive section where the "ㅉ(ts)" sound flowed into the following vowel. When a preceding vowel shifted to the consonant "ㅆ$({\varphi}^h)$", the attack property of the appeared clearly in the acoustic waves of the treament group, while in the control group the starting point of consonart was indistinctive. Consonant duration for the treatment group was longer, and the appearance of a zero crossing point in the acoustic wave was more frequent. In the case of "ㅊ$(c^h)$", the treatment group produced a strong acoustic wave, and the property of aspiration was obvious in it. 3. When the treatment group pronounced "ㄷ(d)" and "ㅈ(dz)" in CV-pairs, the acoustic-wave was similar to that of aspirated "ㅌ$(t^h)$" and "ㅊ$(c^h)$". 4. The aspirated "ㅌ$(t^h)$" and "ㅊ$(c^h)$" pronounced by the treatment group showed the stronger airstream and acoustic wave form.