• 논리연구
• /
• 제4권
• /
• pp.37-62
• /
• 2000

괴테의 불완전성 정리와 그것의 역사적 배경을 이루었던 힐베르트의 프로그램이 어떤 관계에 놓이느냐 하는 쟁점은 전자가 후자를 논박하느냐 하는 문제로 요약될 수 있다. 전자는 수리논리학에서의 한 정리이고 후자는 어떤 철학적 해석이 요구되는 요소를 지니고 있다. 따라서 전자는 '그 자체만으로는' 후자를 논박할 수 없으며, 어떤 철학적 해석이 부여될 때에만 그런 일은 가능할 수 있다. 후자가 지니고 있는 철학적 요소 중에서 가장 중요한 것은 힐베르트의 "유한주의"의 개념이다. 이 개념에 대해서 어떤 철학적 해석이 부여되느냐에 따라, 전자는 후자를 논박할 수도 있고 그렇지 않을 수도 있다. 특히, 힐베르트의 "유한주의"에 대한 철학적 해석은 괴델의 "특수한 유한주의적" 해석과 겐첸의 "구성주의적 해석"으로 대변할 수 있으며, 각각 논박설과 반논박설의 근거를 제공하고 있다. 결국, 문제는 그러한 철학적 해석들이 힐베르트의 사유에 비추어 얼마나 정당한가 하는 점이다. 이 글에서 나는 겐첸의 해석이 괴델의 해석에 대해 대등하게 경합적일 뿐만 아니라, 어떤 점에서는 힐베르트의 사유에 비추어 더 정당하다는 것을 보이고자 한다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2000년도 봄 학술발표회 논문집
• /
• pp.365-372
• /
• 2000

현장상황에 대한 불충분한 자료와 파괴 메커니즘에 대한 불완전한 이해로 인해 발생하는 가변성(variability)과 불확실성(uncertainty)은 암반사면공학뿐만 아니라 지반공학에서 흔히 접하게 되는 문제점이다. 특히 암반사면공학에서는 이러한 가변성과 불확실성이 불연속면의 방향 및 기하학적 특성, 그리고 실내실험 결과의 분산으로 나타난다. 그러나 안전율(factor of safety)의 개념을 기초로 하는 전통적인 결정론적 해석방법(deterministic analysis)은 이러한 분산을 고려하지 않은 채 단일 대표 값만을 이용하여 구조물의 안정성을 판단하여 왔다. 확률론적 해석방법(probabilistic analysis)은 이러한 가변성과 불확실성을 효과적으로 정량화하여 해석에 이용할 수 있는 방법 중의 하나로 제안되었다. 이러한 해석방법은 불연속면의 기하학적 특성과 강도 특성을 확률변수(random variable)로 취급하여 신뢰성이론(reliability theory)과 확률이론(probability theory)을 근거로 분석하였으며 이를 기초로 하여 Monte Carlo Simulation과 같은 해석법을 이용, 구조물의 붕괴가능성을 확률로 표현하였다. 확률론적 해석 방법은 기존의 안전율을 대체하여 구조물의 안정성을 붕괴확률(probability of failure)로 제안하였으며 이 붕괴확률은 안전율의 확률분포함수 (probability density function)에서 안전율이 1보다 작을 가능성을 확률로 나타낸 수치이다. 본 논문에서는 확률론적 해석방법을 이용하여 불연속면 특성들의 확률특성을 고찰하였으며 이를 기초로 하여 암반사면의 안정성 해석에 응용했다.

• 대한기계학회논문집B
• /
• 제38권2호
• /
• pp.147-153
• /
• 2014

본 연구는 폐수처리용 원심 펌프 설계과정에서 수행하는 3차원 유동해석에 있어서 표면 거칠기를 고려한 해석 결과와 고려하지 않은 해석 결과가 성능 예측에 미치는 영향을 살펴보고자 수행하였다. 이를 위해 비교적 기하학적 형상이 복잡한 폐수처리용 원심펌프의 표면 거칠기 변화가 유동 해석 결과에 미치는 영향을 평가하였다. 그리고 실제 해석 대상 펌프를 사용한 실험 결과 값과 해석 결과 값을 서로 비교 해봄으로써 표면 거칠기를 고려한 펌프의 해석 값과 고려하지 않은 해석 결과 값 차이에 대한 정량적인 분석을 제시하였다. 그 결과, 해석 시 표면 거칠기를 고려한 해석결과는 실험결과와 잘 일치하는 함을 보였으며, 표면 거칠기는 펌프의 성능해석에 약 7% 범위에서 영향을 준다는 것을 확인할 수 있었다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2011년도 정기 학술대회
• /
• pp.76-77
• /
• 2011

본 논문에서는 새로운 케이블 교량 형식인 사장-현수 복합케이블 교량 형식에 대한 초기평형상태 해석방법을 제시한다. 구체적으로 복합케이블 교량의 해석방법으로 다음과 같은 두 가지 방법을 제안한다. 우선 사장교의 초기평형상태 해석에서 사용된 전체 구조물을 하나의 구조물로 생각하여 해석하는 일괄방식 해석방법을 제안한다. 이 방법을 적용하는 과정에서 행어부문의 거동이 기존의 가정에 위배되는 문제점이 발견되었는데, 이러한 문제점은 변위복원방식의 successive iteration 을 적용하여 해결하였다. 다음으로 현수교의 초기평형상태 해석에서 사용된 전체 구조물을 현수교 부문과 사장교 부문 그리고 행어 부문의 3가지 부문으로 분리하여 해석하는 분리방식 해석방법을 제안한다. 이 방법을 적용하는 과정에서는 위의 일괄방식 해석방법에서 나타난 행어의 거동이 기존의 가정에 위배되는 현상과 더불어, 분리된 각 부문의 평형 조건과 적합조건이 일치하지 않는다는 문제점이 발생하였다. 이러한 추가의 문제점은 타워 최상단부의 수평변위를 적절히 구속시키고 각 부문 해석의 초기값을 조절하여 해결하였다. 마지막으로 제안된 두 가지 방법을 Deck에 캠버가 있는 적절한 예제를 통해서 검증하였다.

• 한국철도학회논문집
• /
• 제14권1호
• /
• pp.24-30
• /
• 2011

최저 안전율 또는 최대 파괴확률을 기반으로 하는 기존의 사면안정해석에 대하여, 지반물성과 해석모델이 갖는 고유 불확실성을 최소화하고, 사면안정해석에서 다양한 안정해석모델과 그에 따른 파괴형상을 반영할 수 있도록 다중 파괴모드에 대한 동시 파괴확률을 고려한 사면의 신뢰성해석기법을 제안하였다. 붕괴현장조사를 통하여 현장에서 가장 빈번하게 발생하는 파괴형식을 다파괴모드로 정의하였다. 동시 파괴확률의 산정에는 체계 신뢰성해석분야에서 최근 도입된 선형계획법에 의한 최적화를 이용하였으며, 이를 통하여 여러 가지 해석모델을 신뢰성 기반으로 동시에 고려하여 해석할 수 있다. 이 방법의 적용성 평가를 위하여 기존 문헌에서 나타난 제방에 대한 신뢰성해석 결과와 비교하였다. 다중 파괴모드에 대한 동시 파괴확률을 고려한 사면의 신뢰성 해석을 적용한 결과, 전체 시스템에 대한 대한 안정성을 정량적으로 산출할 수 있음을 확인하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2018년도 학술발표회
• /
• pp.239-239
• /
• 2018

위성 및 드론을 이용한 원격탐사 기술이 발전하고 다양한 산출물이 나타남에 따라 수자원 및 하천관리 분야에서 원격탐사기술 활용의 폭이 넓어지고 있다. 원격탐사 영상에서 획득할 수 있는 기본적인 가시영상 이외에도 적외영상, 초분광영상, 수위정보, 레이더 반사도 등을 활용하여 하천정보를 추정하려는 시도가 이루어져왔다. 본 연구에서는 원격탐사 영상에서 획득한 하폭을 기반으로 수리학적 하천유량산정을 기법을 적용하기 위해 등류 및 부등류 해석이 가능한 알고리즘과 프로그램을 개발하였다. 등류해석을 위해 GUI 기반 프로그램을 개발하였으며, 특정 하폭에서의 하천유량을 신속하게 계산할 수 있도록 단면 특성분석 모듈과 운동파 방정식 기반의 Manning 유속공식이 적용되도록 구성하였다. 또한, 부등류해석을 위해 스크립트기반의 프로그램을 개발하였다. 부등류 해석 프로그램에는 하천유량을 경계조건으로 수위를 계산하는 일반적인 부등류 수면곡선식의 해석절차를 하폭기반 원격하천 유량 산정 목적에 맞게 재구성하여 원격탐사기술로 획득한 하폭을 경계조건으로 하천 유량을 시산하는 알고리즘을 구현하였다. 본 프로그램을 활용하여 한국건설기술연구원 하천실험센터에서 드론을 이용한 등류/부등류 실험결과를 해석하였으며, 등류 흐름조건에서는 두 가지 해석방법 각각 14.3%, 14.7%의 유사한 평균상대오차를 나타내었고 부등류 흐름조건에서는 등류해석은 62.6%, 부등류해석은 15.8%의 평균상대오차를 나타내었다. 실규모하천에서의 원격하천유량 산정을 위해서는 등류기반 해석방법에 비해 비균일 하천단면에서의 부등류 현상을 모의할 수 있는 하폭기반 부등류 수면곡선의 시산 알고리즘이 유리한 것으로 판단된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.150-150
• /
• 2017

기후변화로 인하여 극한 홍수와 극한 가뭄 발생이 증가할 것으로 전망하고 있어 이에 대한 위험이 대두되고 있는 실정이다. 홍수 및 가뭄 수문시계열의 빈도해석시에 일반적으로 활용되는 정상성 빈도해석기법은 수문자료의 정상성을 기반으로 한 빈도해석이 대부분이기 때문에 기후변화 및 수문자료의 비정상성을 반영한 새로운 빈도해석 기법이 요구되고 있는 상황이다. 본 연구에서는 5개의 대표 관측지점(서울, 포항, 추풍령, 여수, 광주)를 선별하고 1976년부터 2015년까지 일강우자료를 활용하여 기상학적 가뭄지수인 SPI(Standardized Precipitation Index)를 산정하였다. 산정한 SPI의 경향성을 Mann-Kendall 분석을 하였으며, 정상성 및 비정상성 빈도해석을 위하여 최적확률분포로 선정된 GEV 분포 적용하였다. 본 연구에서는 가뭄빈도해석을 위하여 SPI를 입력자료로 활용하였으며, 산정된 SPI의 비정상성을 반영한 비정상성 빈도해석의 경우 Bayesian 모형을 기반으로 한 MCMC(Markov Chain Monte Carlo) 모의를 이용하여 극치분포의 사후분포 매개변수를 추정하였다. 추정 값을 바탕으로 하여 가뭄의 관측소별 빈도해석을 실시하였고 재현기간별-지속기간별 가뭄심도를 추정하여 관측소별 가뭄심도-지속기간-빈도(SDF,Severity-Duration-Frequency) 곡선을 유도하였다. 본 연구를 통하여 정상성과 비정상성 빈도해석 결과의 비교연구를 수행하였으며 기후변화에 따른 비정상 시계열로 구성된 가뭄빈도해석에 매우 유용하게 적용될 수 있을 것으로 나타났다.

• 논리연구
• /
• 제17권3호
• /
• pp.461-484
• /
• 2014

본 논문은 확률의 객관적 해석과 주관적 해석이 가지는 문제점을 진단함으로써 이들을 극복할 수 있는 구성주의 확률해석을 제안한다. 이 확률해석에 의하면 확률의 수학적 구조는 경험적 자료들 사이에 연관성을 부여하는 구성적 이론적 가설을 제공하는 것으로 이해할 수 있다. 구성주의 확률해석을 위한 사례로 우주의 시간적 비대칭성에서의 확률구조를 분석했다. 본 사례의 확률을 구성적으로 해석할 경우 객관적 그리고 주관적으로 확률을 해석하는 문제들을 제거할 수 있다. 또한 구성적 확률해석은 고전적 확률해석이 그 문제점에도 불구하고 왜 표면적으로 신빙성 있는지에 대한 설명도 제공한다.

• 화약ㆍ발파
• /
• 제37권3호
• /
• pp.1-12
• /
• 2019

폭발 해석 모델의 해석 방법은 직접적 해석과 간접적 해석으로 구별되며, 간접적 해석으로는 반경험적 해석 방법과 수치 해석적 방법으로 나뉜다. 본 연구에서는 반경험적 모델 해석의 프로그램인 ELS 폭발 해석 프로그램의 적용성을 평가하기 위해, 단순 해석 모델을 선정하고 다양한 반경험적 해석 프로그램인 AT-Blast, RC-Blast와 Kinney와 Graham의 경험식을 이용하여 자유 공중 폭발과 지표면 폭발에서의 폭발 하중 특성을 검토하였다. 단순 해석 모델에 대해 환산거리와 입사각에 대한 폭발 압력을 해석한 결과, 자유 공중 폭발 해석에서 환산거리의 범위는 $0.3{\sim}0.461m/kg^{1/3}$이고, 지표면 폭발 해석에서 환산거리의 범위는 $0.378{\sim}0.581m/kg^{1/3}$ 일 때 적합한 해석을 수행할 수 있으며, 입사각의 경우에는 $45^{\circ}$ 이내에서 해석한 결과가 적합한 것으로 판단된다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1994년도 추계학술대회논문집; 한국종합전시장, 18 Nov. 1994
• /
• pp.231-237
• /
• 1994

컴퓨터의 눈부신 발달에 힙입어 실험 또는 해석적 방법으로 일반 구조물이나 기계구조물의 진동특성을 손쉽고 정확하게 파악하는 것이 가능하게 되었다. 그런데 최근의 산업현장은 지금까지의 정확한 구조해석에만 그치지 않고 이를 바탕으로 강도 개선, 재료 절감을 통한 원가절감, 중량 최소화 문제등의 차원에서 동적인 특성의 변경을 요구하고 있다. 이러한 문제는 그 중요성에도 불구하고 여전히 설계자의 경험이나 시행착오에 의존하고 있는 실정이다. 본 연구에서는 구조물 결합부분에 주목하여 동특성의 변경 문제를 해석하고자 하였다. 즉 거의 모든 구조물이 결합부를 가지고 있는데 결합부 특성을 정확히 파악할 수 없기 때문에 리벳이나 보울트나 어떤 특수한 형태 결합부가 구조물의 특성에 주는 영향을 예측하기 어렵다. 이러한 결합부이 특성을 알아내고 구조물 동특성 변경 및 개선안을 제시하는 최적설계를 위해 감도해석기법은 아주 유효하게 쓰일 수 있다. 한편 구조물의 대형화, 복잡화는 구조물 동특성 해석에 더욱 많은 계산시간과 용량이 큰 전자계산기를 필요로 하게 되었으며, 분계의 결합부위가 변경되거나 결합형태가 변했을 때 전계의 동특성을 다시 해석할 필요없이 분계만의 정보로부터 전계의 동특성을 알아낼 필요가 생겼다. 이러한 의미에서 구조물의 분계로부터 전계의 동특성을 해석을 위한 부분구조합성법이 대두되게 되었다. 본 연구에서는 이러한 감도해석과 부분구조합성법의 공통된 문제를 일치화하고자 하였다. 즉 감도해석기법을 이용하여 필요한 구조물의 동특성에 부합하는 결합부의 최적한 설계변수를 규명하였고 이렇게 구해진 결합부의 설계변수와 분계의 정보를 알고리즘이 비교적 간단하고 오차가 적은 축소임피던스 합성법에 적용하여 전계의 동특성을 해석함으로써 감도해석기법과 축소임피던스 합성법의 통합적용이 최적설계와 이에 따른 동특성 해석에 효과적인 방법임을 보이고자 하였다. 대상구조물은 구조물 결합의 기본적인 형태인 T형을 선택하였다. T형 구조물은 분계 A(16개의 사각요소)와 분계 B(8개의 사각요소)로 이루어져 있으며 두개의 스프링으로 결합되어 있다. 설계변수는 강성에 국한하였으며 결합부의 결합형태는 탄성결합과 강결합으로 하였다. 감도해석과 축소임피던스 합성법에 의해 구해진 고유진동수와 FRF를 상용 유한 요소 해석 패키지인 MSC/NASTRAN을 통하여 검증하여 이 연구의 타당성을 검토하였다.