• 지구물리와물리탐사
• /
• 제16권4호
• /
• pp.257-267
• /
• 2013

철광산 지역에서 획득한 시추자료와 물리탐사자료를 복합 분석하여 3차원 광체모델링을 수행하였다. 지질조사 및 시추조사 자료를 통해 획득한 5가지 대표 암종에 지수를 부여하였고, 이를 이용하여 광체의 범위를 효율적으로 결정하기 위해 지구통계학적 순차 지표 시뮬레이션(Sequential Indicator Simulation)을 실시하였다. 그리고 전기비저항 탐사 자료와 자기지전류 탐사 자료를 이용한 부가적인 자료를 생성하기 위해 정규크리깅(Ordinary Kriging)과 순차가우스시뮬레이션(Sequential Gaussian Simulation)을 사용하였다. 시추자료에서 획득한 입력변수와 전기비저항자료 간의 상관관계를 분석하여 지구통계학적 복합 분석에 적용하였다. 상관관계 분석 결과, 밀도가 높아질수록 전기비저항이 낮아지는 관계를 확인할 수 있었으며, 이를 통해서 다변량 크리깅 중 하나인 가변적 지역평균 크리깅(Simple Kriging with Local varying means)을 적용하여 지수를 이용한 광체의 모델과 품위 자료를 이용한 품위 분포 모델을 생성하였다. 광체 모델링 결과, 실제 채굴도와 유사한 결과를 확보할 수 있었고, 품위자료에 대한 모델링 결과는 품위별 위치에 따른 변화 정보를 제공하였다.

• 전자공학회논문지
• /
• 제51권9호
• /
• pp.173-181
• /
• 2014

본 논문은 입력/출력 비동기 순차 머신으로 모델링되는 시스템에 대한 모델 정합 제어 문제를 다룬다. 피드백 제어 기법을 이용하여 폐루프 시스템이 원하는 기준 모델의 상태 천이 특성을 가지도록 교정 제어기를 설계한다. 이전 연구에서는 제어기를 설계할 때 시스템의 상태를 관측하는 상태 관측기와 출력 피드백에 대한 burst 신호가 필요했으나 본 연구에서는 관측기와 출력 burst를 사용하지 않는 새로운 교정 제어기를 제안한다. 본 논문에서는 제어 대상 시스템의 '출력 등가 머신'을 정의하여 새로운 제어기의 존재 조건과 설계 과정을 기술한다. 또 사례 연구를 통해 모델 정합을 위한 교정 제어기의 동작 과정을 설명한다.

• 한국항공우주학회지
• /
• 제31권8호
• /
• pp.27-35
• /
• 2003

쉘의 기하 모델링과 해석은 각각 다른 배경과 목적을 가지고 발전되어 왔다. 따라서 기하 모델링과 해석을 통합한 설계 도구를 만들기에 기존의 방법은 적절하지 않다. 본 연구에서는 기하 모델링과 해석, 최적 설계를 통합한 개념을 제시한다. 이것은 B-스플라인 곡면의 표현방법에 기초를 두고 있다. 기하학적으로 정확한 쉘 유한요소를 도입하였으며, 최적 설계 부분에서는 곡면의 조정점을 설계변수로 택하였다. 또한 설계 민감도를 계산하기 위해서 준해석적 방법을 사용했고, 이를 바탕으로 순차적 선형계획법을 이용해 곡면의 형상 최적화를 수행하였다. 이렇게 개발된 통합설계 개념은 곡면의 모델링과 해석에 적합한 도구로 이용될 수 있다.

• 한국지리정보학회지
• /
• 제10권1호
• /
• pp.73-83
• /
• 2007

농촌지역의 복잡한 물관리 체계를 정립하고 효율적인 용수관리를 위해서는 하천과 농업용 수리시설물의 연계를 통한 관개시스템의 네트워크 모델링이 필요하다. 본 연구에서는 수자원분야의 지리정보데이터를 다루도록 개발된 ArcHydro Model을 한국농촌공사에서 개발한 농촌용수수요공급량산정시스템 (AWDS: Agricultural Water Demand & Supply Estimation System)과 연계하여 안성천유역내에 위치하는 "안고"농촌용수구역을 대상으로 네트워크 모델링을 구현하였다. ArcHydro Model을 이용하여 유역내의 24개의 저수지, 18개의 양수장, 28개의 취입보 등 총 70개의 수리시설물의 공간객체와 하천망간의 연관성을 부여하여 상호간의 위상관계를 가지도록 네트워크 모델링을 하였다. 또한 농촌용수수요공급량산정시스템에 대한 텍스트 결과를 ArcHydro Model을 통하여 수리시설물의 공간위치를 가시적으로 표현함으로서 특정 시설물의 위치파악이 쉽고, 순차적인 물수지의 체계를 이해하기 쉽도록 ArcGIS의 시스템에 메뉴를 추가하여 개발하였다.

• 대한기계학회논문집A
• /
• 제34권5호
• /
• pp.541-547
• /
• 2010

메타모델의 정확도를 엄밀하게 검증하는 것은 메타모델링에서 중요한 연구주제이다. k 점 선택교차검증기법이 많은 계산시간을 요구하면서도 메타모델의 정확도를 정략적으로 측정하지 못한다. 최근들어, 평균 $_0$ 기준이 메타모델의 정확도를 정량적으로 제공하기 위하여 제안되었다. 그러나 평균 $_0$ 검증 기준은 크리깅 메타모델이 부정확함에도 불구하고 일찍 수렴하는 경향이 있다. 따라서 본 연구에서는 최대엔트로피를 이용한 순차적 실험계획에서 크리깅모델의 평균과 분산을 이용한 정확도 평가기법을 제안한다. 이 제안한 기법은 평균 및 분산을 계산할 때 수치해석으로 구하는 것이 아니라 크리깅메타모델을 직접 적분하여 구하기 때문에 k 점 선택교차검증기법보다 효율적이며 정확하다. 제안한 기준은 실제 응답의 평균제곱오차의 경향과 매우 유사하여 순차적 실험계획의 수렴기준으로 사용할 수 있다.

• 한국전자거래학회지
• /
• 제9권1호
• /
• pp.1-19
• /
• 2004

시간적 금전적 압박으로 최근의 웹 응용에서는 체계적인 시험작업이 종종 간과되곤 한다. 게다가 효과적인 웹 응용 시험 방법이 많지 않아 웹 응용에 기존의 시험 방법들을 적용하면서 개발자들은 많은 어려움을 겪고 있다. 빠르고 효과적 인 시험을 위하여 웹 페이지간의 메시지를 모델링한 UML 순차도(Sequence Diagram)로부터 웹 응용을 위한 시험사례를 추출하는 방법을 제안한다. 웹 응용을 위한 시험사례들은 UML의 순차도에서 자기 호출 메시지 (Self-Call Messages)를 포함한 메시지들로부터 추출된다. 시험사례는 시험할 대상인 메시지와 스크립트 함수, 서버 페이지와 추가적인 시험값들로 구성된다. 또한, 웹 응용 시험을 지원하기 위한 간단한 도구를 제시한다. 이 시험 도구는 웹 응용을 시험하기 위한 URL을 생성하고 이를 실행하여 그 결과를 보인다. 생성된 URL은 시험할 서버 페이지의 주소와 추가적인 시험값들로 구성된다. 이 도구는 마이크로소프트 비주얼 베이직으로 작성하였다. 회원 관리 기능을 수행하는 웹 응용개발 과제에 제안하는 시험사례 추출방법과 시험 지원 도구를 적용하였으며 그 유용성을 확인하였다.

• 대한기계학회논문집A
• /
• 제36권8호
• /
• pp.873-879
• /
• 2012

메타모델은 설계 프레임워크 안에서 높은 효율성과 우수한 예측 능력, 타 프로그램과 쉬운 연동성 때문에 공학분야에서 지난 10 년간 최적설계 기법들과 함께 발전해왔다. 메타모델을 구성하기 위해서는 실험계획법, 메타모델링 기법, 검증법과 같은 절차가 요구된다. 검증법은 메타모델의 정확성을 판단하기 때문에 순차적 크리깅 메타모델에서 정확한 크리깅 메타모델을 구성하기 위한 표본점의 개수를 결정한다. 크리깅 메타모델과 같은 보간모델은 표본점에서의 응답을 항상 지나기 때문에 기존 방법으로 메타모델의 정확성을 판단하기 위해서는 추가적인 해석이나 메타모델의 재구성이 요구된다. 본 연구에서는 이러한 추가적인 해석과 메타모델의 재구성을 요구하지 않는 메타모델의 해석적 민감도를 이용하는 민감도 검증법을 제안한다. 14 개의 2 차원 수학예제와 공학예제를 이용하여 이 방법의 타당성을 검증한다.

• 정보처리학회논문지A
• /
• 제12A권3호
• /
• pp.243-252
• /
• 2005

본 논문에서는 최소제곱 추정기법과 로버스트 추정기법을 사용하여 다중 프로세서 시스템에서의 데이터 통신의 빈도를 모델링하는 방법을 제안한다. 몇 가지의 서로 다른 크기의 작은 입력 데이터들을 작업부하 프로그램에 부과하여 그때마다의 통신 빈도를 측정하고, 이 측정된 값들에 두 가지 통계적 추정기법을 순차적으로 적용함으로써 통신 빈도를 정확히 예측할 수 있는 모델을 구축하는 방법이다. 이 모델링 기법은 작업부하나 목표시스템의 구조적인 사양에 무관하게 입력 데이터의 크기에만 의존하므로 다양한 작업부하와 목표시스템에 대하여 그대로 적용할 수 있는 장점이 있다. 또한 목표시스템에서 작업부하의 알고리즘적 동적특성이 수학적인 공식으로 반영되므로 데이터 통신이외의 성능 데이터를 모델링하는 데에도 적용할 수 있다. 본 논문에서는 대표적인 다중 프로세서인 공유메모리 시스템에서 데이터 통신을 유발하는 핵심 요소인 캐시접근실패의 빈도에 대한 모델을 구하였으며, 12번의 실험 중 5번의 경우에는 $1\%$ 미만, 나머지 경우에는 $3\%$ 내외의 대단히 정확한 예측 오차율을 보였다.

• 한국측량학회지
• /
• 제30권4호
• /
• pp.353-362
• /
• 2012

건물모델의 정규화 없이 3차원 건물 모델링을 하면 건물모델에 왜곡이 발생하거나 위상적 불일치가 발생할 수 있다. 반면에, 정규성을 고려할 경우 제약조건으로 인하여 재구성이 가능한 건물 유형이 제한적일 수 있다. 이에 본 연구에서는 보다 다양한 건물을 고려한 건물모델 정규화 방법을 적용하여 항공라이다 데이터로부터 3차원 건물을 모델링하였다. 우선 특징공간에서의 군집화와 객체공간에서의 분할을 통해 건물점들을 지붕면으로 분할한다. 건물모델 구성요소 간의 평행성, 대칭성, 일치성 등을 충족시키기 위하여 면-선-점의 순차적 조정에 의한 정규화를 통해 3차원 건물을 재구성한다. 도시 지역에 대한 실험을 통해 기존의 방법들보다 다양한 형태의 건물에 대하여 정규성을 충족하는 3차원 모델을 생성할 수 있음을 확인하였다. 또한, 정규화가 건물모델의 정확도에 미치는 영향을 정량적으로 분석하였다.

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

본 논문은 MyGuide라는 컨텍스트 인지 전시물 안내 시스템에 Simtext 개발 방법론을 적용한 개발 사례를 소개한다. 특히, 개발과정에서 컨텍스트와 관련되어서 고려할 사항, 문제를 해결한 방법 등을 소개한다. MyGuide 개발의 요구사항 도출단계에서는 비즈니스 로직과 컨텍스트 서비스를 위한 요구사항을 분리해서 도출함으로써 시스템의 복잡도를 줄일 수 있었다. 설계 단계에서는 컨텍스트 모델링, 아키덱처 설계, 클래스 및 데이타베이스 설계를 순차적으로 수행하였다. 특히 컨텍스트 모델링은 시스템의 요구 사항에 부합하도록 하였으며, 컨텍스트 모델에 따라 클래스와 데이타베이스를 설계하였다.