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

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

• 대한기계학회논문집
• /
• 제16권3호
• /
• pp.506-513
• /
• 1992

본 연구에서는 복합재 구조물에 대하여 유한요소해석법에 현상학적 모델인 전 단지연해석을 도입하여 강성저하와 모재파손을 예측하고 변형률을 매개변수로 한 Wei- bull 함수를 섬유파손해석에 도입하여 초기파손후의 거동을 묘사하고자 한다. 그리 고 면내전단하중이 작용하는 경우에 대해 전단지연해석을 수행할 수 있도록 모델링을 확장했다. 모재균열의 존재로 인한 단층의 강성변화는 실험으로 측정이 불가능하므 로 유한요소해석을 수행하여 비교하였다. 이 모델로부터 전단강성의 저하를 평가하 는 방법을 사용하였으며, 모재파손의 밀도 예측도 평균변형률 개념으로 전단효과를 고 려할 수 있도록 수정하였다. 그리고 초기파손후의 거동을 점진적으로 해석하기 위해 비선형 유한요소프그램을 작성하고, 상기의 모델을 도입하여 초기파손후의 거동을 보 다 정확히 묘사할 수 있는 방법을 제시하고 예로서 평시편에 대해 해석하고 실험치 및 타방법의 결과와 비교하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 1999년도 제12회 학술강연회논문집
• /
• pp.13-13
• /
• 1999

본 논문에서는 해석영역의 형상변화, 즉 로켓노즐 내열재의 삭마로 인해 야기된 경계 면의 이동을 고려하면서 2차원 비정상 비등방성 재료의 열전달 문제를 해석할 수 있는 수치해석에 대해 기술하였다. 수치해석 알고리즘은 유한요소법이며 열해석시 경계면 이동으로 인한 격자계의 절점 좌표점이 계산과정 동안에 이동하는 변형 가능한 유한요소격자(transformable finite-element grid)를 사용하였다. 본 수치해석기법의 타당성 입증을 위해 극심한 열하중이 부여된 조건하에서 엄밀해가 존재하는 비정상 축대칭문제 및 고체로켓 노즐내열재에 대해 열해석을 수행하였으며, 그 결과 수치해는 엄밀해 또는 실험치와 잘 일치함을 보이었다. 여러 가지 복합재로 구성된 내삽노즐 또는 외삽노즐에 대해서도 안정된 수치해를 얻을 수 있었다. 아울러 노즐목삽입재로 탄소-탄소 복합재를 적용한 고체추진기관 내삽노즐을 해석모델로 택하여 열전달 해석을 수행하고 해석결과를 분석하였다. 노즐의 표면산화반응에 대한 열반응상수, 즉 Arrhenius 형태로 표시된 식에서 pre-exponential factor 및 activation energy 변화가 탄소-탄소 복합재 및 탄소-페놀릭 복합재의 삭마량에 미치는 영향에 대해서 고찰하였다.

• 한국해안·해양공학회논문집
• /
• 제20권2호
• /
• pp.137-147
• /
• 2008

다중 파괴모드에 대한 경사제 제체의 시스템적 안정성을 신뢰성 이론으로 해석하였다. 먼저 경사제의 안정성과 관련된 네 개의 단일 파괴모드에 대한 신뢰함수가 수립되었다. 각각의 단일 파괴모드에 대한 AFDA 신뢰성 해석 모형이 개발되었으며, CIAD(1985)의 결과와 비교하여 만족스럽게 검증하였다. 단일 파괴모드에 대한 신뢰성 해석에서는 파괴확률 뿐만 아니라 파괴확률에 영향을 미치는 각 확률변수들의 영향계수를 산정하였다. 한편 경사제의 다중 파괴모드에 대한 신뢰성 해석을 수행하기 위해 세 가지, 일차해석법, 이차해석법 그리고 PNET, 해석법이 적용되었다. 해석 결과에 의하면 일차해석법은 파괴확률을 과다 추정하는 경향이 있다. 따라서 다중 파괴모드를 해석할 때는 각 파괴모드간의 상관성을 고려할 수 있는 이차해석법이나 PNET 해석법을 이용하는 것이 바람직하다. 마지막으로 파괴모드간의 상관성에 기인하는 파괴확률의 추가적인 발생 가능성을 다중 파괴모드 해석을 통하여 확인할 수 있었다.

• 기술사
• /
• 제20권3호
• /
• pp.5-14
• /
• 1987

연속체의 해석에 있어서, 특별한 경우를 제외하고는, 구조물의 개략적인 거동을 파악해야 될 경우가 종종 있다. 이러한 요구에 부응하기 위해서 강체요소법(Rigid Element Method)이라 불리우는 새로운 해석법이 개발되었다. 강체요소법은 원래 평정연구실에서 벽식프리캐스트 철근콘크리트 구조물의 탄소성해석을 하기 위해서 개발된 해석법에 착안하여, 내수벽과 같은 연속체에 적용함으로서 시작된 수치해석법이다. 그 후 저자들은 도통쉘, 구형쉘 혹은 이들이 조합된 쉘구조물에 적용할 수 있도록 개발 확장하였다. 강체요소법의 기본개념은 연속체의 분해된 각 요소를 강체(rigid body)라고 가정하고, 각 요소들은 요소의 강성으로 치환된 가상스프링으로 서로 연결되어 있다고 가정하여, 이 가상스프링의 거동을 평가함으로서 전체구조물의 거동을 파악하는 해석법이다. 이때 요소의 주변에 취해진 스프링은 해석을 단순화하기 위해서 축력, 면내전단력 및 면외전단력만을 전달한다고 가정하고, 요소의 강체변위(자유도)는 요소내의 임의의 한 점에서 취하며, 이 점에서의 강체변위(rigid displacements)는 요소의 주변에 취해진 스프링을 통하여 다른 요소로 전달된다. 상기와 같은 강체요소법의 개념을 연속체의 탄성 및 탄소성해석에 적용하면, 해석적 개념이 단순할 뿐만 아니라 구조물 전체의 자유도수를 대폭 줄여 컴퓨터 계산시간을 절약할 수 있는 잇점이 있고, 거시적인 모델(macroscopic modeling)과 미시적인 모델 (microscopic modeling)의 중간적인 성격을 가지기 때문에 구조물의 파괴상황에 대해서도 그 개략을 파악할 수 있다. 본 논문에서는 강체요소법을 보다 일반화된 해석법으로 개발, 확장하기 위해서 종전에 단층스프링시스템(single-layer spring system)으로 해석이 어려웠던 문제점들을 보완한 복층프링시스템(double-layer spring system)을 사용함으로서 휨, 비틀림의 효과를 파악할 수 있는 이론적 개념을 적용한 새로운 구요소, 원통요소 및 평면요소를 개발하고, 이러한 강체요소들의 적합매트릭스의 유도 및 해석저긴 방법을 정식화하였다. 또 휨, 비틀림 및 전단력의 효과를 고려한 사각형원통요소 및 능형원 통요소를 이용하여 원통쉘의 탄성 및 탄소성해석할 수 있는 프로그램을 개발하고, 이 프로그램으로 캔틸레버로된 연속형철근콘크리트 원통쉘의 탄성 및 탄소성해석에 적용하여 구조물의 거동에 관한 수치해석의 결과, 즉 내력의 분포, 균열의 진전, 파괴의 상황 및 변형의 상태 등을 파악해 보았다.

• 한국철도학회논문집
• /
• 제12권4호
• /
• pp.472-480
• /
• 2009

장대레일의 축력해석은 기하적 비선형 및 재료적 비선형해석을 수행하여야 하므로 그 해석 자체가 비선형 해석으로서 난해하고 하중이력의 적용순서 등에 따라 해석결과가 다르게 나타난다. 이러한 해석의 이론적 복잡성과 어려움에 비하여 철도교량위에 부설된 장대레일의 축력해석결과는 레일의 좌굴이 미미하여 기하적 비선형성이 미소하므로 그 예측이 가능하며 아주 단순하게 나타나게 된다. 본 연구는 교량상 장대레일의 축력해석에서 기하적 비선형성이 미소하여 해석 결과에 거의 영향을 미치지 못하므로 재료적 비선형성만을 고려하여 비선형해석을 수행하는 방법을 개발하였다. 이는 레일 체결 시스템의 비선형 저항력을 힘-변위 관계로부터 선형관계로 재구성시켜 선형해석법으로 수회 반복시키게 되면 간단하게 수렴됨으로 해석결과를 쉽게 얻을 수 있는 장점이 있다. 이러한 해석결과를 기존의 해석예들과 결과를 비교함으로서 효율적인 교량상 장대레일의 안정성 해석이 가능함을 알 수 있었다.

• 한국항공우주학회지
• /
• 제47권3호
• /
• pp.169-176
• /
• 2019

본 연구에서는 희박기체 환경의 유동 정보를 효과적으로 계산하기 위해 CFD 해석기법과 DSMC 해석기법 간 연계 해석을 수행하는 CFD/DSMC 혼합해석기법을 개발하였으며, 개발된 해석기법을 이용하여 천이영역에서의 고속 비행체 주위 유동에 대한 해석을 수행하였다. 해석 형상으로는 콘과 실린더 형태로 이루어진 FRESH-FX 형상으로 고려하였고, 혼합해석기법의 결과는 순수 CFD 및 DSMC 해석 결과와 비교하였다. 천이영역의 대기가 상대적으로 희박하여 초음속 유동에서 발생하는 충격파의 구배 및 세기가 약화된 것을 확인하였다. 순수 CFD 해석 결과와는 차이를 보였고, 순수 DSMC 해석 결과와 거의 일치하는 결과를 도출하는 것을 확인하였다. 또한, 순수 DSMC 계산시간보다 해석 시간이 감소하였다. 이를 통해 혼합해석기법의 결과에 대한 신뢰성 및 해석 시간에서의 효율을 확인하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 1996년도 제7회 학술강연회논문집
• /
• pp.55-68
• /
• 1996

현재 로켓. 추진연소관을 제작하는데 이용되고 있는 유동성형공정을 유한요소기법을 이용 해석을 수행하였으며 또한 기존 해석접근법과의 비교도 기술 되어 있다. 대부분의 기존 해석방법은 압출공정의 유사성에 근거하여 해석이 수행되어 왔던 반면 본 연구에서는 유동성형 공정을 연속적인 쐐기 압인과의 유사성으로 보아 해석을 수행하였다. 그 해석결과로는 유동성형시 발생되는 성형된 부분에서의 두께증가량이 예측되었다. 또한 공정후 비롯되는 격자 형태는 유사하나, 응력 등 다른 변수들의 분포가 압출공정에 근거한 해석결과와 상이하게 나타났다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1997년도 영남지회 학술발표회 논문집 Acoustic Society of Korean Youngnam Chapter Symposium Proceedings
• /
• pp.53-56
• /
• 1997

Tonpilz 압전변환기에 관하여 유한요소법을 사용하여 공기중의 동특성 해석과 수중의 방사임피던스를 해석하였다. 공기중에서 트랜스듀서의 구조를 변화시키면서 입력 어드미턴스 특성과 진동모드를 해석하여 압전변환기를 모델링하였다. 음향 윈도우를 압전변환기 전면에 부착한 후 유한요소법(FEM)에 의하여 매질의 영향을 고려한 입력어드미턴스 특성을 해석하였으며, 또한 방사임피던스 계산 루틴을 추가하여 무한 배플의 경계조건하에서 방사 임피던스를 해석하였다. 공기중과 수중에서의 해석을 통하여 Tonpilz 압전변환기 단일 소자의 구조 변경 및 기계 부재의 추가등에 따라 변동하는 변환기의 특성 및 방사 임피던스를 해석하므로서 평면 배열형 음향 트랜스듀서의 설계에 필요한 파라메터를 구할 수있다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1995년도 춘계학술대회논문집; 전남대학교, 19 May 1995
• /
• pp.129-136
• /
• 1995

본 연구에서는 핵연료봉의 여러가지 모양형태에 대한 충격실험과 해석을 통해 비선형해석 code의 해석모델에 대한 검증을 수행하였다. 이 두 결과의 비교를 통해 개발된 모델은 다중 span을 갖는 보나 봉의 비선형충격해석에 충분히 사용될 수 있음을 확인하였다. 이러한 모델을 통한 비선형충격해석시 주의해야 할 점은 자유진동해석시의 고유진동수를 찾기 위한 경계조건을 정확히 하는 것이 중요하며, 또한 충격해석시의 정확한 충격등가스프링비를 결정하는 것이 중요하다.