• 비파괴검사학회지
• /
• 제20권2호
• /
• pp.116-129
• /
• 2000

초음파검사에서 발생하는 물리적 현상의 복잡성을 고려할 때, 이를 이론적으로 모델링하기 위해 수치적인 기법을 이용하는 것이 효과적인 경우가 많다. 본 논문에서는 초음파검사를 수치적으로 모델링하는 기법들에 대하여 개괄적으로 살펴보고, 특히 유한차분법과 유한요소법에 대하여 상세히 알아본다. 즉, 유한차분법과 유한요소법을 이용한 해석의 개요를 설명하고, 이들의 적용시 고려사항 및 문제점에 대해 알아 본 후, 기존의 연구결과 중 중요한 것들을 참고문헌으로 열거하고 몇 가지 예를 소개한다. 계속되는 컴퓨터의 기술적 발전으로 인하여 초음파검사에 대한 수치적 모델링 기법의 신뢰성과 편의성이 지속적으로 증대될 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.310-312
• /
• 2005

유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1992년도 정기총회및학술발표회
• /
• pp.127-130
• /
• 1992

GF(2m) 이론은 switching 이론과 컴퓨터 연산, 오류 정정 부호(error correcting codes), 암호학(cryptography) 등에 대한 폭넓은 응용 때문에 주목을 받아 왔다. 특히 유한체에서의 이산 대수(discrete logarithm)는 one-way 함수의 대표적인 예로서 Massey-Omura Scheme을 비롯한 여러 암호에서 사용하고 있다. 이러한 암호 system에서는 암호화 시간을 동일하게 두면 고속 연산은 유한체의 크기를 크게 할 수 있어 비도(crypto-degree)를 향상시킨다. 따라서 고속 연산의 필요성이 요구된다. 1981년 Massey와 Omura가 정규기저(normal basis)를 이용한 고속 연산 방법을 제시한 이래 Wang, Troung 둥 여러 사람이 이 방법의 구현(implementation) 및 곱셈기(Multiplier)의 설계에 힘써왔다. 1988년 Itoh와 Tsujii는 국제 정보 학회에서 유한체의 역원을 구하는 획기적인 방법을 제시했다. 1987년에 H, W. Lenstra와 Schoof는 유한체의 임의의 확대체는 원시정규기저(primitive normal basis)를 갖는다는 것을 증명하였다. 1991년 Stepanov와 Shparlinskiy는 유한체에서의 원시원소(primitive element), 정규기저를 찾는 고속 연산 알고리즘을 개발하였다. 이 논문에서는 원시 정규기저를 찾는 Algorithm을 구현(Implementation)하고 이것이 응용되는 문제들에 관해서 연구했다.

• 한국전산구조공학회논문집
• /
• 제12권4호
• /
• pp.537-549
• /
• 1999

선형탄성 파괴해석은 균열을 갖는 변형률 경화재료의 파괴거동을 예측하는데 불충분하기 때문에 최근에는 균열 선단 부에서 대규모 소성 역을 갖는 균열 체에 적용할 수 있는 많은 파괴역학개념이 제안되고 있다. 따라서, 본 연구에서는 대규모항복 조건하의 연성파괴를 보이는 평판을 정확하게 해석할 수 있는 새로운 유한요소모델을 제시하고자 한다. 균열 선단 부의 응력 장을 정의하는데 가장 지배적인 파괴매개변수인 J-적분 값과 소성 역의 크기 및 형상을 J-적분법과 등가영역적분법을 통해 파괴거동을 설명할 수 있도록 증분소성이론에 기초를 둔 p-version 유한요소해석이 채택되었다. 제안된 유한요소모델에 의한 수치해석결과는 이론 해와 h-version 유한요소해석과 비교되었다.

• 한국전산구조공학회논문집
• /
• 제12권3호
• /
• pp.447-455
• /
• 1999

본 연구에서는 대변형 쉘 구조물에 효과적인 적응적 유한요소 자동생성 기법을 제안한다. 사후 오차평가에 기초하여 기하학적 비선형 해석시 각 하중 단계에서의 요소 재생성에 초점을 맞추고 있다. 응력오차로부터 얻어진 요소크기 함수로 등고선을 구성하고, 요소 재생성 기법으로 advancing front method의 일종인 패이빙법(paving method)을 이용하여 적응적 요소 자동생성을 수행한 결과, 그 유용성을 확인하였다.

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

본 논문에서는 불균질 재료의 균열진전을 해석하기 위한 방법으로 변절점 유한요소를 이용한 멀티스케일 기법을 제시하였다. 효율적인 해석을 위하여 서로 다른 스케일의 요소망을 적용하여 전체 모델의 자유도를 감소시킨다. 균열선단과 비교적 멀리 떨어져 있는 영역은 균질화 기법을 도입하여 불균질 재료에 대한 등가물성을 갖는 성긴 요소망으로 대체하고, 균열선단 주변의 요소망은 재료의 기하학적 특성과 불균질성을 반영하도록 조밀하게 구성한다. 한편 균열선단에 존재하는 응력 특이성을 표현하기 위하여 균열선단을 포함한 요소를 더욱 조밀한 요소망으로 분할하여 구성한다. 여기에서 서로 다른 스케일의 요소망 경계에는 변절점 유한요소를 적용함으로써 경계에서의 절점 연결조건과 적합성을 만족시킬 수 있다. 제시한 멀티스케일 기법을 수치예제에 적용함으로써 정확성과 효율성을 검증하였으며, 특히 불균질 성분이 균열진전에 미치는 영향을 경계조건과 T-응력의 관점에서 분석하였다.

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

구조 시스템 식별은 역문제로서 이상화된 유한요소 모델을 실험치와 일치시키기 위해 유한요소모델을 보정하는 형태로 주로 이루어진다. 이를 위해 비선형 섭동법이 사용되고 있으며 이 방법을 실제 문제에 사용하기 위해서 시스템 축소법에 대한 연구가 진행 되고 있다. 하지만 기존의 방법에서는 유한요소모델의 모든 요소가 실험치와 다르다고 가정하여서 전체 요소 수만큼의 설계 변수를 두어서 역해석을 수행한다. 이런 기존의 방법에서는 시스템이 커짐에 따라 연산 시간이 기하급수적으로 증가하게 되어 어려움이 있다. 설계 변수의 증가는 해공간(solution space)의 확장을 의미하며 이는 해의 정확성에 큰 영향을 끼친다. 본 연구에서는 모델을 적은 수의 설계영역으로 나누어서 반복연산 단계마다 해의 경향성을 이용해서 설계 영역을 전략적으로 변경하는 적응성 설계영역기법을 제안한다. 수치예제를 통해 본 연구에서 제안하는 기법의 정확도와 효용성을 고찰한다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 춘계학술발표회논문집(2)
• /
• pp.981-986
• /
• 1995

이 논문의 목적은 축대칭 프리스트레스트 콘크리트 탱크의 시간의존성 유한요소해석법을 제안하는 것이다. 오늘날 PC구조물은 교량, 포장판, 해상구조물, 원자로 격납구조물, 대규모 액체저장용 탱크 등 여러 형태의 구조물에서 그 사용 예를 쉽게 찾아볼 수 있다. 특히 본 논문에서 고려하고자 하는 압력창기나 액체 저장용 탱크의 경우 유체압력 등의 내부압력에 의해 발생하는 균열은 프리 스트레스를 도입함으로써 매우 효과적으로 제어할 수 있기 때문에 상당히 유리한 구조형식이 된다. 그러니 이러한 구조물의 해석과 설계에 있어서 균열의 예측과 더불어 콘크리트의 크리이프, 건조수축 및 PC강재의 리락세이션 등과 같은 시간 의존성 변형으로 인한 프리스트래스의 손실, 여러 단계의 긴장력을 도입함으로써 발생하는 순간변형인 탄성단축 및 이로 인한 긴장력 감소 등을 정확히 계산하는 일은 매우 복잡하고 어려운 일이다. 본 논문에서는 크리이프, 건조수축 및 리락세이션 등과 같은 시간의존성 변형과 순차적으로 다단계의 프리스트레스 도입으로 인한 순간변형 및 탄성단축의 영향을 고려한 축대칭 PC 탱크 구조물의 시간에 따른 거동 및 긴장력의 변화를 유한요소법을 적용하여 해석할 수 있는 해법체계를 정리하고 이를 전산 프로그램화하여, 축대칭 PC탱크 구조물의 시간 의존성 거동에 대한 보다 정밀한 해석을 수행하였다.

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

일반적인 포화된 다공질 매체의 수치해석에서는 거시적 관점의 고체변형과 유체이동을 동시에 고려한 혼합유한요소방법(Mixed Finite Element Method)이 쓰인다. 그러나 고체변형이 거의 없는 상태에서 유체가 이동할 경우, 또는 고체변형과 유체유동이 거의 없고 외력에 의한 간극압만 존재할 경우 이를 혼합유한 요소방법으로 해석하기에는 요소 잠김(Element Locking)현상 때문에 매우 불안정하다. 본 논문에서 Park과 Tak(2010)이 제안한 비압축성, 비투과성 포화 다공질 매체의 해석기법인 Staggered Method를 소개하고 수치적 효율성을 높이기 위해 요소분할기술 중 하나인 FETI(Finite Element Tearing and Interconnecting) 기법의 접목을 제안하고자 한다.

• 대한치과보철학회:학술대회논문집
• /
• 대한치과보철학회 1998년도 추계학술대회
• /
• pp.44-44
• /
• 1998