• 한국항공우주학회지
• /
• 제34권8호
• /
• pp.41-46
• /
• 2006

충격응답함수와 조정법(regularization methods)을 이용하여 항공기 날개의 충격하중 복원 가능성을 검토하였다. 충격하중에 대한 구조의 응답을 내타낼 수 있는 충격응답함수를 날개 유한요소모델의 강성과 질량 자료로 유도하였다. 일반적으로 부적합(ill-posed) 특성을 지닌 충격응답함수의 역행렬은 반복 Tikhonov 조종법(Iterative Tikhonov Regularization Method)과 일반화 특이치 분해법(Generalized Singular Value Decomposition Method)을 사용하여 구하였다. 수치적 입증을 위하여 전투기급 주익을 사용하였다. 해당 주익의 유한요소해석을 통하여 임의의 충격하중에 대한 변위와 변형률을 계산하였으며, 이를 충격응답함수로 계산한 결과와 비교하였다. 또한, 유한요소해석에서 계산된 변형률을 사용하여 충격하중을 복원하였다. 수치적 입증 결과 항공기 구조의 충격하중 모니터링이 본 방법으로 가능할 수 있음을 보여주었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권4호
• /
• pp.309-313
• /
• 2009

SQL:2003 표준은 SQL 질의의 결과를 XML 값으로 생성하는 SQL/XML 출판 함수들을 지원하지만 재귀적 질의의 결과를 재귀적 구조의 XML 값으로 생성하는 SQL/XML 출판 함수를 제공하지 않는다. 그러므로, 주어진 조건에 의해 직간접으로 연결된 관계 투플들에 대하여, 적절한 SQL/XML 출판 함수들을 이용하여 그들의 내용과 그들 간의 연결 관계를 XML 값으로 생성하려면, 중첩 SQL 질의를 작성하여야 한다. 그러나 그 질의의 작성은 그 투플들의 연결 깊이를 알 수 있지만 그 깊이가 깊은 경우에는 쉽지 않으며, 그 연결 깊이를 알 수 없는 경우에는 불가능하다. 본 논문은 그 문제를 해결하기 위하여, 재귀적 질의의 결과를 재귀적 구조의 XML 값으로 생성하는 새로운 SQL 함수 XMLNEST를 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

• 대한토목학회논문집
• /
• 제33권4호
• /
• pp.1295-1302
• /
• 2013

구조물의 변형 형상은 구조해석을 위한 중요한 정보이다. 구조물 모니터링 시스템에서도 충분한 변위 계측점이 확보되어 명확하고 합리적인 구조물의 변형 형상이 도출된다면 이를 이용한 구조해석이 가능 할 것이다. 하지만 실제 구조물에서는 한정된 비용으로 인해 충분한 변위 계측점이 확보되지 못하기 때문에 합리적인 구조물 변형 형상의 도출이 어렵다. 본 연구에서는 경제적이고 합리적인 구조물 변형 형상 추정을 위해 최소의 변위 계측 데이터를 이용한 효과적인 구조물의 거동 형상 추정기법인 SFSM-LS알고리즘을 개발하였다. 본 기법은 구조물의 변형 형상을 추정하기 위해 계측 대상 구조물의 사전 유한요소해석을 통해 여러 구조 거동 형상을 기본 구조형상함수로 정의하고, 이들 함수를 추정 변위의 오차를 최소화 시키는 각 함수의 가중치로써 중첩한다. 2경간 연속교 모델의 수치해석을 통해 개발된 알고리즘을 검증하고 매개변수 연구를 수행하였다. 개발된 알고리즘의 매개 변수인 구조형상함수, 변위 계측 위치, 변위 계측 개소에 대한 형상 추정 결과의 특성을 분석하고 Polynomial, Lagrange, Spline 보간법과 형상 추정 정밀도를 비교하여 개발된 기법의 적용성을 검증하였다. 이를 통해 적은 개소의 변위 데이터로 정밀한 형상을 추정하는 결과를 도출하여 제안된 기법의 우월성을 입증하였다.

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

유한요소모델개선기법은 계측된 동특성을 모사하는 구조해석모델을 구하는 방법으로서 손상탐지 및 구조건전도감시를 위해 효과적으로 이용될 수 있다. 유한요소모델개선기법에는 다양한 종류의 동특성데이터가 사용될 수 있는데, 본 연구에서는 고유진동수와 모드형상을 사용한 경우와 고유진동수와 주파수응답함수를 사용한 경우를 각각 사용해 실험실 규모의 구조물의 손상 위치 및 손상정도를 추정하였다. 4층 철골조의 골조구조물로서 진동대를 이용하여 원구조물에 백색잡음 가진실험을 실시한 후 손상의 모사를 위해 1층 부분의 보 부재를 작은 단면의 부재로 교체하고 동일한 실험을 반복하였다. 보 부재 교체 전 후에 계측된 데이터와 두 종류의 모델개선기법을 각각 적용하여 손상탐지를 실시한 후 그 정확도를 분석하였다.

• 콘크리트학회지
• /
• 제9권5호
• /
• pp.137-148
• /
• 1997

지진이 발생하는 환경에서 철근콘크리트구조의 신뢰성을 수명주기비용에 근거하여 체계적으로 평가하는 방법을 제시하였다. 구조물의 기능성과 경제적인 효용성을 나타내기 위하여 각각 손상확률과 평균수명 주기비용의 개념을 사용하였다. 생애주기 동안 발생할 수 있는 지진에 의하여 구조물이 입게 될 손상을 보상하기 위하여 소요되는 평균손상비용을 평균수명주기비용의 주요 항목으로 고려하여 분석하였다. 구조물의 다양한 손상상태에서 손상비용을 나타내기 위해 요구되는 비용함수는 Park-Ang 손상지수의 중앙값을 독립변수로 하는 함수로 가정하였다. 지진에 의한 구조물의 손상해석은 UCI에서 개발된 SMART-DRAIN의 시뮬레이션기법을 사용하여 그 불확실성을 고려하였다. 제시된 방법을 현행 규준에 의하여 설계된 7층 사무실 건물에 적용하여 그 가능성을 살펴보았다.

• 한국전산구조공학회논문집
• /
• 제12권2호
• /
• pp.129-140
• /
• 1999

추계론적 해석은 구조계 내의 해석인수에 존재하는 공간적 또는 시간적 임의성이 구조계 반응에 미치는 영향에 대한 고찰을 목적으로 한다. 확률장은 구족계 내에서 특정한 확률분포를 가지는 것으로 가정된다. 구조계 반응에 대한 이들 확률장의 영향 평가를 위하여 통계학적 추계론적 해석과 비통계학적 추계론적 해석이 사용되고 있다. 본 연구에서는 비통계학적 추계론적 해석방법 중의 하나인 가중적분법을 제안하였다. 특히 구조계의 공간적 임의성이 큰 특성을 가지고 있는 반무한영역에 대한 적용 예를 제시하고자 한다. 반무한영역의 모델링에는 무한요소를 사용하였다. 제안된 방법에 의한 해석 결과는 통계학적 방법인 몬테카를로 방법에 의한 결과와 비교되었다. 제안된 가중적분법은 자기상관함수를 사용하여 확률장을 고려하므로 무한영역의 고려에 따른 해석의 모호성을 제거할 수 있다. 제안방법과 몬테카를로 방법에 의한 결과는 상호 잘 일치하였으며 공분산 및 표준편차는 무한요소의 적용에 의하여 매우 개선된 결과를 나타내었다.

• 대한전자공학회논문지SP
• /
• 제41권5호
• /
• pp.235-249
• /
• 2004

본 논문은 등방성 초점열화함수의 추정 기법 및 사전 추정 점확산함수 집합을 이용한 완전 디지털 자동초점 시스템의 구조를 제안한다. 제안하는 등방성 점확산함수 추정 기법은 초점 열화과정에서 점확산함수를 새로운 이산 등방성 점확산함수 모델을 이용하여 모델링하고 이를 열화된 영상의 에지로부터 추정해 내는 방법이다. 점확산함수 추정기법을 이용하여 여러 단계의 점확산함수를 사전에 추정한 후, 제안하는 완전 디지털 자동초점 시스템은 두 단계에 걸쳐 초점이 맞지 않은 입력 영상을 복원해 낸다. 첫째, 저장된 점확산함수 집합으로부터 최적의 점확산함수를 선택한다. 둘째, 선택된 점확산함수와 디지털 영상복원 기법을 이용하여 초점이 잘 맞은 영상으로 복원해 낸다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권5호
• /
• pp.326-335
• /
• 2002

최근에 지연 계산 함수형 언어를 자바 프로그램으로 변환함으로써 지연 계산 함수형 언어 프로그램에 대해 코드 이동성을 제공하려는 연구가 있었다. 이러한 연구들은 자바와 지연 계산형 함수형 언어의 추상 기계가 가지는 구조적 유사성에 바탕을 두고 있다. 지연 계산 함수형 언어에 대한 추상 기계인 STGM(Spineless Tagless G-machine)과 자바 언어에 대한 추상 기계인 JVM(Java Virtual Machine)은 기억장소 재활용 체계와 스택 기계 구조를 가진다는 점에서 공통된 특징을 가지고 있다. 그러나 현재가지의 지연 계산 함수형 언어로부터 자바로의 변환 구조는 이와 같은 추상 기계 구조상의 공통점을 충분히 이용하지 못하였다. 본 논문에서는 STGM의 계산 모델을 eval-apply 모델로 새로이 정의함으로써 STGM과 JVM의 공통점을 충분히 이용하는 새로운 변환 구도를 제안한다. 새로이 제안된 변환 구도에서는 자바 스택(Java Virtual Machine Stack)을 사용하여 함수 계산을 수행하도록 함으로써 스택 시뮬레이션으로 인해 나타나는 자바에서의 배열 접근 부담을 제거하였다. 본 논문의 변환 구도에 의해 자바로 변환된 벤치마크 프로그램들은 기존의 변환 구도에 의해 변환된 경우보다 JDK 1.3에서 빠르게 동작한다.

• 건축구조
• /
• 제13권3호
• /
• pp.86-87
• /
• 2006

대공간구조물의 계획을 위하여 장스팬 구조물의 계획을 실시하였다. 보나 슬래브 부재는 상부에 압축력과 하부에 인장력을 받는다. 일반구조체로 120M 의 장스팬을 감당할 수 없으므로 케이블의 인장력을 이용한 대공간구조물을 계획하였다.