• 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.

• Journal of Korean Philosophical Society
• /
• v.123
• /
• pp.27-56
• /
• 2012

Das Ziel dieser Abhandlung ist die Unterscheidung zwischen der kognitiven und ontischen Ununterscheidbarkeit. Jene zeigt sich als die Ununterscheidbarkeit, die aus dem Fehler des Identifizierens erfolgt. Diese besteht in der $Selbstidentit{\ddot{a}}t$ jedes individuellen Seienden. Um der Untersuchung der zwei Arten der Ununterscheidbarkeit willen soll die $Identit{\ddot{a}}t$ als Begrifflichkeit von dem Identifizieren als der subjektiven $T{\ddot{a}}tigkeit$ unterschieden werden. $W{\ddot{a}}hrend$ das kognitiv Ununterscheidbare nicht immer das Identische sein kann, ist das ontisch Ununterscheidbare notwendig das Identische. Durch diese Unterscheidung zwischen den beiden Konzeptionen der Ununterscheidbarkeit kann der Sinn des Leibniz'schen Satzes der $Identit{\ddot{a}}t$ des Ununterscheidbaren (principium identitatisindiscernibilium) deutlicher erhellt werden, indem diese Unterscheidung die kritische $Verst{\ddot{a}}rkung$ seines Satzes impliziert. Die Denkbarkeit der Duplikate, die intrinsisch $v{\ddot{o}}llig$ identisch qualifiziert sind, gilt als der bedeutsamste Einwand gegen seinen Satz der $Identit{\ddot{a}}t$. Aber der $Identit{\ddot{a}}tssatz$ - principium identitatis indiscernibilium - ist noch $g{\ddot{u}}ltig$, weil diese Duplikate letztendlich mittels der raumzeitlichen Relationsbeschaffenheit unterscheidbar sind. Hierdurch wird die grundlegende bzw. unentbehrliche Funktion der $Subjektivit{\ddot{a}}t$, die die raumzeitliche Relationsbeschaffenheit $erm{\ddot{o}}glicht$, $erl{\ddot{a}}utert$. $Daf{\ddot{u}}r$ wird Hegels $Erkl{\ddot{a}}rung$ vom $Identit{\ddot{a}}tsbegriff$ und Leibniz bearbeitet.

• Journal of the korean Society of Automotive Engineers
• /
• v.7 no.1
• /
• pp.43-47
• /
• 1985

윤활에서 캐비테이션 문제는 가장 오래된 것 중의 하나이며, 현재 많이 사용되고 있는 레이놀즈 경제조건(캐비테이션)은 유막내의 인장력발생가능성 때문에 그 진실성이 문제되고 있다. 본 논 문에서는 복합 저어널 베어링 실험장치를 이용하여 그 가능성이 연구되었다. 이 장치에서 측정된 최저 압력은 -7바 정도였으며 베어링 축회전수에 따라 캐비티가 발생하지 않는 안정영역, 불 안정한 음압력 및 캐비티가 존재하는 영역과 두 영역 사이의 천이영역으로 구분할 수 있었다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2007.06a
• /
• pp.300-306
• /
• 2007

2003년 $\ulcorner$국토의계획및이용에관한법률$\lrcorner$이 제정되면서 합리적인 토지이용을 유도하기 위해 시행되고 있는 토지적성평가제도는 토지의 공간 입지적 특성, 활용가능성, 주변 개발 여건 등을 고려하여 토지의 용도 구분을 위한 기초자료를 제공하는데 그 목적이 있다. 본 연구에서는 토지적성평가 데이터베이스의 주제도로부터 자료취득 시기의 불일치, 지적 불부합, 지적공부상의 등록 오류 등 토지적성평가 기초자료의 구축 오류를 도출하고, 다양한 공간영상정보자료 즉, 고해상위성영상이나 항공영상, 현장의 촬영영상 등과 구축된 벡터기반의 각종 주제도들을 비교 검증함으로써 토지적성평가체계의 DB 정확도를 향상시키고 평가결과의 신뢰성을 확보하는 데 그 목적을 두고 있다.

• Korean Journal of Logic
• /
• v.2
• /
• pp.35-61
• /
• 1998

개최들의 개별화를 위한 대표적인 법칙으로 간주되고 있는 라이프니츠의 법칙은 철학에서만 아니라 수학이나 논리학과 같은 순수과학에서도 중요한 법칙으로 사용되고 있다. 그러나 최근에 들어서 라이프니츠의 법칙은 그 논리적 위상과 관련하여 심각한 논란의 대상이 되고 있다. 이러한 논란의 근본적 원인은 칸트나 블랙과 같은 철학자들에 의해 라이프니츠의 법칙이 적용되지 않을 기능성을 보이는 반례가 제시되었고, 많은 철학자들이 이에 동조한 데에서 찾을 수 있다. 라이프니츠의 법칙의 논리적 위상과 관계된 철학자들의 입장은 크게 두 가지로 구분된다. 첫 번째 입장은 블랙 등에 의해 제시된 예들을 라이프니츠의 법칙에 대한 정당한 반례로 간주하는 입장이고, 두 번째 입장은 이러한 예들은 리이프니츠의 법칙에 대한 반례로 간주될 수 없다는 입장이다. 두 번째 입장을 쥐이는 대표적 철학자는 헷킹이다. 헷킹은 시공간에 대한 인습주의에 입각하여 블랙 등에 의해 제시된 예는 완전한 가능성을 나타내는 것이 아니고 라이프니츠의 법칙은 가능세계에 대한 메타 원칙으로 간주되어야 한다고 주장하고 있다. 본고에서 필자는 리이프니츠의 법칙을 옹호하려는 헷킹의 시도는 성공적이지 못하고, 또한 블랙 등에 의해 제시된 예들은 라이프니츠의 법칙에 대안 정당한 반례로 간주되어야 한다는 입장을 개진하고 있다. 필자가 이러한 입장을 취하게 된 것은 헷킹의 입장은 논리적 기능성과 물리적 기능성 사이의 구별을 어렵게 한다는 문제점 이외에도 가능세계 의미론과 관련된 중요한 문제점들을 야기하고 있기 때문이다. 가능세계 의미론과 관련된 문제점은 이러한 시도는 가능세계 의미론에 입각한 양상명제들의 해석의 범위를 제한하게 만들고 De-Re 양상명제에 대한 해석을 위해 필수적인 헤세이티즘의 수용을 불가능하게 한다는 것이다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.97-105
• /
• 2007

수문학적 토양유형은 복잡하게 세분되어 있는 토양의 종류를 수문학적인 목적에 따라 단순화하기 위해 만든 것으로 미농무성 토양보전국에서 고안한 개념이다. 우리나라 토양을 이 방법으로 구분하고자 하는 몇번의 시도가 있으며 그 중 대표적인 것이 정 등(1995)이 분류한 수문학적 토양군이다. 이는 토양의 침투 투수특성에 대한 실측자료가 부족한 우리나라의 실정을 감안하여 토성속(textural family), 배수등급(drainage class), 불투수층(impermeable layer), 투수성(permeability)의 네가지 토양특성을 분류특성으로 하여 각각에 1-4점 범위로 점수를 매긴 후 합산한 점수를 기준으로 수문학적 토양유형을 분류하는 것이다. 최근에는 토양의 한계침투속도에 따라 수문학적 토양유형을 분류하고자 하는 시도가 있으며 본 논문에서는 새로운 방법으로 분류할 때 기존의 방법과 어떠한 차이가 있는지 비교하고자 하였다. 정 등(1995)의 분류방법은 개념상 몇가지 문제점을 안고 있다. 먼저 토양의 수리특성은 같은 토성속이라 하여도 토양생성 과정과 토지이용 방법에 따라 그 차이가 매우 큼에도 불구하고 이에 대해 고려하지 못하였으며 다음으로 지표유거가 많아 배수가 양호한 토양의 강우 유출을 과소평가한다. 또한 얕은 토심에 존재하는 불투수층이 존재하는 경우 토양의 수리특성에 관계없이 적은 양의 강우에도 유출이 발생하므로 별도의 제한인자로 간주하여야 한다. 토양의 한계 침투속도를 이용한 분류방법은 이러한 문제점을 상당 부분 개선할 수 있다. 토양의 한계침투속도를 산정하기 위해 현장에서 지표 한계침투속도와 투수속도를 측정하였으며 이 자료를 확장하여 해석하기 위해 입자특성을 이용한 Pedo Transfer Function을 개발하였다. 토심 50 cm 포화시 토양 투수성을 한계 침투속도로 가정하였으며 50 cm 이내에 암반층과 지하수위가 존재할 경우 투수성에 관계없이 D유형으로 분류하였다. 새로운 방법으로 분류한 결과 기존의 분류와 몇가지 차이점이 발견되었다. 가장 큰 차이는 대부분의 논토양이 느린 한계침투속도의 영향으로 D유형에 속한 것이다. 산림토양과 밭토양은 기존 방법과 마찬가지로 A, B유형이 많았으며 암반층을 고려하기 전에는 기존 분류에 비해 강우 유출 가능성이 적은 쪽으로 평가되었다. 그러나 암반층이 존재하는 토양을 고려한 결과 A 또는 B 유형에 속하던 상당수의 산림토양이 새로운 분류에서 D유형으로 분류되었다. 지표 유거가 많아 배수등급이 매우양호로 분류되던 토양은 정 등(1995)의 분류와 비교하여 대부분 강우 유출 가능성이 큰 쪽으로 조정되었다. 새로운 수문학적 토양유형을 이용할 경우 낮은 토심에서 암반층이 발견되는 산림토양이 분포한 유역이나 산림, 밭 등에 식질 토양이 많이 분포하는 유역에서는 기존의 방법을 이용하는 것보다 강우 유출량이 높게 평가될 것으로 판단된다. 앞으로 강우 유출량 실측자료와의 비교를 통해 지속적인 보정을 하여야 할 것이며 특히 불투수층의 존재시 일괄적으로 D유형으로 분류된 토양의 경우 깊이에 따라 C 또는 D 유형으로 세분하여 조정할 필요가 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.499-499
• /
• 2022

급격한 도시화와 이로인한 불투수면의 증가는 유역의 물순환을 왜곡시키고 있다. 직접유출의 증가와 침투량 감소로 이어지며 이는 지하수 함유량의 감소와 하천건천화를 유발한다. 환경부는 더 이상의 물순환 왜곡을 막기위해 물환경보전법상의 물순환율을 정의하고 물순환 관리목표를 설정하였으며, 제3차 강우유출 비점오염원관리 종합대책에서 물순환 사업 추진을 위한 소권역 별 우선순위산정을 과제로써 제시하고 있다. 대표적인 물순환 사업은 저영향개발기법 설치이다. 저영향 개발기법은 토지 및 공간을 이용해야하기 때문에 설치비용이 높고 위치선정에 제약이 많으며 유지관리도 어렵다. 이에 물순환 사업에는 단순 불투수면 뿐만아니라 사회, 경제적 요소까지 고려하여야한다. 본 연구에서는 물순환 우선순위를 산정하기위해 불투수면뿐만 아니라 사회, 경제적 요소까지 고려한 종합적인 우선순위를 산정하였다. 유역 물순환 평가를 위해 PSR framework을 이용하였다. PSR framework는 OECD가 개발한 지속가능성 평가 개념이며, Pressure, State, Response 세 가지 요소로 구분해 평가하게된다. PSR framework의 기본 개념은 인간의 활동들이 환경에 압력 (P)를 주고, 이로 인해 자연의 질과 영향 (S)을 미치며, 이에대한 회복을 위해 인식과 행동을 통해 정책과 제도 등을 통해 반응 (R)한다는 것이다. 본 연구에서는 PSR framework의 평가요소 Pressure는 불투수면 및 강우, State는 물순환, 하수관거, 수질, 수생태계, Response는 협력, 인식, 재정, 토지로 구분하여 평가하였다. 최종적으로 불투수면적 감축 대상 소권역('30년 무대책 불투수면적률 25% 이상)소권역에 대하여 최종우선순위를 산정하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.1145-1148
• /
• 2007

한국을 비롯하여 논농사 중심지역에서는 하천 주변이 과거에는 농경지로, 그리고 오늘날은 도시지역으로 개발되어 하천의 원형이 거의 유지되지 못하고 있다. 하천은 수역과 수변으로부터 거리에 따라 여러 개의 이질적 생태적 공간이 이어지는 복합생태계로서 하나의 경관으로 볼 수 있다. 하천이 하나의 온전한 생태적 계로서 기능을 발휘하기 위해서는 이들을 모두 포함하는 하천의 원형이 복원되어야 한다. 현존하는 하천복원사업이 수변 구역의 복원에 초점을 맞추고 있지만, 진정한 복원이 이루어지기 위해서는 온전한 강변 식생의 복원이 선결과제이다. 본 연구에서는 유적군락의 형태로 잔존하는 강변 식생을 조사하여 식생복원 모델로 삼고자 한다. 수위와 침수체제에 의해 하천의 횡단구조를 수변, 홍수터 및 제방으로 구분한 후 각 지소의 적합한 식생단위를 구분하여 생태적 복원을 실현하기 위한 정보를 구축하였다. 수변식생으로는 달뿌리풀군락과 갈대군락이 자주 출현하고, 홍수터에는 갯버들군락과 키버들군락이 우세하였다. 그 중 전자의 식물군락은 하상재료가 거친 입자의 지소에 성립하고, 후자의 것은 미세한 입자의 지소에 성립하는 경향이었다. 제방역에는 버드나무군락, 다릅나무군락, 귀룽나무군락, 물푸레나무군락, 산사나무군락, 신나무군락(한탄강 지류), 참느릅나무군락, 물푸레나무-갈참나무군락(한탄강 본류), 오리나무군락(민통선 북방지역), 소나무군락, 황철나무군락, 느릅나무군락(소양강 상류), 왕버들군락(금강 중류) 등이 성립하였다. 이러한 식생정보를 하천의 지리적인 위치에 따라 구분하였고, 생태적 복원 시 도입식물을 결정하기 위한 자료로 삼기 위해 각 식생단위를 이루는 종 조성을 정보 체계화하였다.을 효율적으로 하기 위하여 Solar Unit으로부터 나오는 전기를 중전기에서 밧데리로 축전을 시키고 완전 충전 후에는 나머지 전기는 방전이 되도록 회로를 구성하였다. 사통수문 자원조사 결과에 의하면 현재 저수지에 물공급을 하는 수문은 취수탑 형식이 70% 이상을 차지하고 있으며 나머지 30%의 사통수문 중 원형수문비가 98% 이상을 차지하고 있다. 현재 대체에너지를 사용하는 저수지 사통수문은 없는 것으로 조사되었으며 전력을 사용하는 사통도 조사결과에 의하면 20% 이내로 나타났다. 이러한 결과는 향후 수리시설 개보수시 적은 예산으로 사업을 시행하는 경우 사통수문의 설치방향의 지표가 될 것으로 판단되며 수리시설의 운영관리에 대한 새로운 대안으로 제시할 수 있다.분류되었다. 지표 유거가 많아 배수등급이 매우양호로 분류되던 토양은 정 등(1995)의 분류와 비교하여 대부분 강우 유출 가능성이 큰 쪽으로 조정되었다. 새로운 수문학적 토양유형을 이용할 경우 낮은 토심에서 암반층이 발견되는 산림토양이 분포한 유역이나 산림, 밭 등에 식질 토양이 많이 분포하는 유역에서는 기존의 방법을 이용하는 것보다 강우 유출량이 높게 평가될 것으로 판단된다. 앞으로 강우 유출량 실측자료와의 비교를 통해 지속적인 보정을 하여야 할 것이며 특히 불투수층의 존재시 일괄적으로 D유형으로 분류된 토양의 경우 깊이에 따라 C 또는 D 유형으로 세분하여 조정할 필요가 있다.가 있었다. 에틸아세테이트분회물의 경우 디글로로메탄 분회물에 비해 다소 낮은 저해효과를 나타내었지만 250 ${\mu}$g/ml 농도에서 약 60%의 세포독성 효과를 나타내었다. 디클로로메탄 분획물과 에틸아세테이트 분

• Journal of the Korean Society for Nondestructive Testing
• /
• v.24 no.2
• /
• pp.151-157
• /
• 2004

Ultrasonic testing is a kind of nondestructive test to detect a crack or discontinuity in materials or on material surfaces by sending ultrasound to it. This conventional ultrasonic technique has some limitations in reliably detecting crack or accurately assessing materials in the case of complex-shaped power plant components such as a turbine blade root. An alternative method for such a difficult inspection is highly needed. In this study, application of a phased array ultrasonic testing (UT) system to a turbine blade, one of the critical power plant components, has been considered, and the particular incident angle has been determined so that the greatest track detectability and the most accurate crack length evaluation nay be achieved. The response of ultrasonic phased array was also analyzed to establish a special method to determine the track )ength without moving the transducer. The result showed that the developed method for crack length assessment is a more accurate and effective method, compared with the conventional method.

• Journal of Korean Society of Transportation
• /
• v.20 no.3
• /
• pp.179-192
• /
• 2002

주차금지, 일방통행. 본 논문에서의 횡단보도와 같은 교통표지는 개별적 행위로서 행정행위가 아니라 불특정 다수의 행위를 추상적으로 규율하는 특성을 지닌다. 현행 도로교통법상 횡단보도의 설치여부는 지방경찰청장의 재량 사항으로 규정되어 있어 경찰이 횡단보도를 새로 설치하거나 기존의 횡단보도를 폐지하는 경우 관할 경찰청은 물론 관계 행정청에 이를 설치 혹은 폐지해달라는 민원이 매우 많아 일선 경찰공무원 등이 많은 애로를 느끼고 있으며 급기야는 본고에서 검토할 사례의 경우와 같이 행정소송을 통해 뜻을 관철하고자 하는 경우까지 생겼다. 횡단보도의 설치와 관련한 대법원 판결(대법원 2000.10.27.선고, 98두8964판결)이 이제 처음 나왔지만 시민의 권리의식의 향상에 따른 소송의 증가경향으로 미루어 앞으로 이와 유사한 문제제기는 더욱 늘어날 것으로 전망된다. 이에 본고에서는 횡단보도의 설치와 관련한 행정소송에 대한 최근 대법원판결에 대한 심층분석을 통하여 그 의미와 문제점을 지적함으로써 앞으로 이와 유사한 사례에 대한 판단에 있어 방향성을 제시하였다. 즉 횡단보도 설치행위의 적법성과 관련한 소송에서 가능한 본안심리를 통해 국민의 권익구제의 기회 내지 가능성을 열어주는 것이 바람직하다는 점과 현재 원고적격의 범위가 확대되어 가고 있는 추세에 비추어 앞으로 횡단보도의 설치와 관련한 원고적격의 범위 역시 확대되는 것이 바람직하다는 방향에서 법규정에 대한 새로운 해석을 시도하였고 이를 통해 횡단보도의 설치 및 폐지에 따른 경찰 등 관계 행정청의 관심과 신중을 촉구하였다. 또한 횡단보도 설치행위의 처분성과 관련하여 횡단보도의 설치행위와 같은 일반적인 명령을 항고소송의 대상으로 할 필요성이 존재한다면 이른바 독일에서의 일반처분이라는 개념을 무리하게 받아들여 이를 행정행위의 한 유형으로 한다거나 우리 판례와 같이 "직접적이고 구체적인 법적 효과"를 미치는 명령이라는 명확치 않은 기준에 의하여 처분성을 인정하기보다는 일반적인 명령과 개별적인 행정행위를 구분하고 명령에 대하여도 취소소송의 대상으로 삼도록 하는 보다 명확하고 일관성 있는 논의전개를 제안하였다.