• 제목/요약/키워드: Transitive phenomenon

검색결과 3건 처리시간 0.018초

전기철도 정역방향 고장점표정 방법을 통한 정확도 향상을 위한 연구 (Analysis on the Method of Forward-Reverse Fault localization of Electric Railways for the Improvement of Accuracy)

  • 김명수;김성철
    • 전기학회논문지
    • /
    • 제67권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.

ZFC와 열거불가능성 (ZFC and Non-Denumerability)

  • 안요한
    • 논리연구
    • /
    • 제22권1호
    • /
    • pp.43-86
    • /
    • 2019
  • 1차 이론인 ZFC는 뢰벤하임-스콜렘 정리(이하 'LST')에 의해 그것이 일관적이라면(모형($M_1$)이 존재한다면) 그것은 이행적인 열거가능한 모형($M_2$)을 갖는다. 이러한 사실에 의해 '스콜렘 역설'이라 불리는 역설적 상황이 발생한다. 스콜렘의 전형적인 해소 방식에 따라, 이것은 어렵지 않게 해소될 수 있지만 그 과정에서 우리는 집합 개념에 대한 모형 상대성을 받아들여야 한다. 이것은 예를 들어 는 집합론적 개념의 의미가 모형에 따라 다르게 주어지는 상황을 발생시킨다. 문제는 다음이다. 이 경우에 PN이 열거불가능하다는 사실을 나타내는 ZFC의 문장 '¬denu(PN)'이 그 두 모형에서, 진리 값의 측면에서, 똑같이 참이 되기 때문에 ZFC에서는 <¬denu> 개념에 대한 차이를 구분할 수 없는 구분불가능성 문제가 발생한다. 혹은 어떤 것이 의도하는 의미인지 결정할 수 없는 미결정성 문제가 발생한다. 나는 먼저, 이러한 문제가 어떤 성격의 문제인지에 대한 구체적인 분석을 제시할 것이다. 그리고 이러한 문제에 대해서 ZFC를 지지하는 입장에서 할 수 있는 세 가지 방식의 대답을 제시할 것이다. 첫 째로, ZFC에서 모형론을 형식화할 수 있음을 이용하여 모형 상대적으로 다르게 주어질 수 있는 <¬denu> 개념이 ZFC에서도 '거의' 구분될 수 있다는 논변을 제시할 것이다. 두 번째로, <¬denu> 개념의 상대성(구분불가능성)에서 핵심적인 역할을 하는 양화사에 대한 의미론적 고려를 통해 <¬denu>이 본질적으로 혹은 자연스럽게 맥락 의존적으로 의미가 변할 수 있는 것임을 보일 것이다. 그래서 <¬denu> 개념의 모형 상대적인 의미 변화는 ZFC가 책임을 져야할 문제가 아니라 언어 외적인 자연스러운 현상이라는 논증을 제시할 것이다. 세 번째로, 문제의 출발점이었던 비표준 모형이 사실은 <¬denu> 개념의 구조적 내용을 예화 할 수 있어서 그것이 단지 문제적 요소가 아니라 의미론적으로 중요한 역할을 할 수 있음을 논증할 것이다. 이러한 논변들을 통해서 나는 비표준 모형과 관련하여 ZFC에 대해서 발생하는 것처럼 보이는 위의 구분불가능성(혹은 미결정성) 문제가 심각한 것이 아님을 논증할 것이다.

소구치 발거를 통한 교정치료가 한국어 자음의 발음에 미치는 영향 (THE EFFECT OF ORTHODONTIC TREATMENT BY PREMOLAR EXTRACTION ON THE PRONUNCIATION OF THE KOREAN CONSONATS)

  • 이정희;윤영주;김광연
    • 대한치과교정학회지
    • /
    • 제27권1호
    • /
    • pp.91-103
    • /
    • 1997
  • 교정치료가 발음에 어떠한 영향을 미치는가에 대해 연구하기 위해 구강용적의 감소를 초래하는 4개의 소구치를 발거하고 교정치료를 끝낸 환자와 대조군을 대상으로 한국어 자음에 대하여 자음의 지속시간과 파형의 형태를 비교 분석한 결과 다음과 같은 결론을 얻었다. 1. 자음의 지속시간에 있어서 CV형의 "ㅅ"과 "ㅌ"을 제외한 모든 어음에서 치료군의 자음 지속시간이 길었고, 특히 CV형에서의 "ㅈ"과"ㅆ"르리고 VCV형에서 "ㄷ"에서는 현저한 자음지속시간의 차이를 보였다. 2. VCV형에 있어서 두드러진 차이를 보이는 것은 "ㅉ"과 "ㅆ", "ㅊ"이였는데 "ㅉ"에 있어서는 파형의 형태가 치료군에서 더 강하고 특히 후속모음으로 이행구간에는 더 두드러졌으며, "ㅆ"에서는 선행모음에서 자음으로 이행시 치료군에서는 자음의 성분이 뚜렷하게 연속해서 나타나나, 대조군에서는 자음의 시작점이 불분명하고, 자음의 지속시간 또한 치료군에서 더 길었으며, 파형 자체의 영교차점도 치료군에서 더 빈번하였다. "ㅊ"에 있어서는 파형의 형태에 있어 유기음의 성분은 치료군에서 더 두드러졌으며, 파형의 형태 또한 강하게 나타났다. 3. 파형의 형태 비교에서는 CV형에서 "ㄷ", "ㅈ"의 발음시 치료군에서는 "ㅌ", "ㅈ" 같은 유기음에서 볼수 있는 기류의 흐름이 나타났다. 4. 유기음의 "ㅌ"와 "ㅊ"에서는 대조군보다 치료군에서 기류의 흐름이 많았으며 파형의 형태 또한 강하게 나타났다.

  • PDF