• 지구물리와물리탐사
• /
• 제23권4호
• /
• pp.243-252
• /
• 2020

이 논문에서는 시추공을 이용한 탐사나 자료 해석 시에 중요한 시추공 궤적 정보 획득 방법에 대한 이해를 공유하고자, 깊이에 따른 시추공의 좌표를 구하는 시추공 공곡 측정 문제를 좌표계 변환 공식에 기초하여 수학적으로 정리하였다. 먼저, 철재 케이싱이 설치되어 있지 않은 시추공에 적용 가능한 방법으로서 3성분 가속도계와 3성분 자력계를 함께 이용하여 시추공의 방위각, 편차각 그리고 센서회전각을 구하는 원리를 정리하였다. 다음으로, 철재 케이싱이 설치되어 있을 경우에 자이로스코프에서 3성분 각속도가 측정되었을 때, 좌표계 변환 행렬의 시간 미분 관계식에 기초해 각속도의 시간에 따른 적분을 통해 요-피치-롤 각을 구하는 수학적 이론을 정리하고 지구 자전의 영향을 제거함으로써 측정자료의 시간 적분에 의해 시추공의 궤적을 구하는 방법을 설명하였다. 오차가 포함된 측정 자료로부터 시추공 공곡 결정의 정확도를 높이는 중요한 방법으로 센서 또는 측정 자료를 융합하는 원리도 예를 들어 설명하였다. 시추공 공곡 측정원리는 GPS 수신이 불가능한 터널내에서의 궤적 추적 또는 무인비행체를 이용한 공중 탐사나 항공 탐사 시 센서의 자세 측정에도 활용될 수 있다. 또한, 센서의 융합에서 필수적으로 접목되어야 할 최적화 필터에 대해서도 중요 문헌 및 사례를 소개함으로써, 앞으로의 연구에 도움을 주고자 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.431-442
• /
• 2009

소프트웨어 제품 생산 라인(Software Product Line) 공학은 새로운 소프트웨어 개발 패러다임으로 각광받고 있다. SPL에 FORM(Feature-Oriented Reuse Method) 방법론을 적용하면, 휴대전화나 디지털TV 같이 공통점이 많은 제품군의 다양한 소프트웨어를 휘처 모델링을 통해 만들어진 재사용 가능하고 유연한 컴포넌트를 조합하여 생산해 낼 수 있다. 한편, MDA(Model Driven Architecture) 방법론은 PIM(Platform Independent Model) 을 통해 다양한 개별 플랫폼을 위한 소프트웨어를 생산할 수 있게 하는 새로운 기술을 제공한다. 위 두 가지 방법론의 장점을 조합하면 공통점을 공유하면서 다양한 플랫폼에서 동작하는 제품군의 소프트웨어를 생산하는데 도움이 된다. 이 논문에서는 FORM 방법론과 MDA 방법론을 조합하기 위해 먼저, 프로파일링 기법을 통해 UML2.0을 확장하여 FORM 아키텍처와 Parameterized Statechart 모델링이 가능하게 한다. 다음으로, 휘처가 휘처 모델과 Parameterized Statechart사이에서 일관성 있게 element의 형태로 위치하고 있는지 검증하는 일관성 규칙을 제공한다. 몇 가지 규칙은 FORM 아키텍처와 Parameterized Statechart 사이의 일관성을 검사하기 위해 고안되었다. 마지막으로, 엘리베이터 시스템의 사례연구를 통해 이 논문에서 제안하는 모델링 기법과 일관성 검사 법칙의 유효성을 제시한다.

• 응용통계연구
• /
• 제20권2호
• /
• pp.267-280
• /
• 2007

혼합물 성분들의 비율의 상한과 하한에 대한제한조건이 부과된 제한된 혼합물 실험 공간 R에서의 혼합물 실험을 위한 최적 설계를 찾는 데에 D-, G-, V- 최적기준 등과 같은 다양한 최적 설계 기준이 사용된다. 각각의 실험 설계는 선택된 최적 기준에 대해서는 최적이지만, 제한된 혼합물 실험 공간에서의 예측력에 대해서는 만족스럽지 못하다는 것은 잘 알려진 사실이다. (Vining 등, 1993; Khuri 등, 1999). 우리의 관심사는 2차 혼합물 반응표면모형을 가정한 경우에 제한된 혼합물 공간에서의 효율적인 실험 설계를 찾는 것이다. 이 논문에서는 꼭지점, 선중심점, 면중심점, 중앙점과 내부점으로 구성된 확장된 후보 실험점 그룹을 구성한 다음에, D-최적기준, G-최적기준, V-최적기준과 실험점들 간의 거리에 근거한 U-최적기준에 강건한 실험 설계를 제안한다. Khuri 등(1999)에서 분석된 비료 혼합물 실험과Vining과 Cornell(1993)이 분석한 조명탄 혼합물 실험의 사례에서 강건한 실험설계들과 두 논문에서 추천된 실험 설계들에 대한 예측치의 표준화된 분산의 분위수의 그림(SVPQP)을 비교한 결과 강건한 설계가 상대적으로 우월함이 판명되었다.

• 인터넷정보학회논문지
• /
• 제9권5호
• /
• pp.59-72
• /
• 2008

최근의 컴퓨팅 시스템은 모바일을 사용한 비즈니스와 다양한 컨버전스 분산 업무 처리로 확대되면서 모바일 임베디드 소프트웨어 개발 방법론에 대해 모바일 비즈니스에서 많은 관심을 가지고 있다. 아울러 최근 재사용성과 독립성 그리고 이식성을 가진 컴포넌트를 기반으로 한 모바일 임베디드 소프트웨어 개발에 또한 많은 초점이 집중되고 있다. 컴포넌트 기반 임베디드 응용 시스템 개발은 제품의 생산성과 유지보수성 그리고 신뢰성을 보장한다. 컴포넌트 각 요소들 간의 계층적, 수평적 서비스 지원 및 협력을 위한 명확한 인터페이스 정의를 통한 컴포넌트의 원활한 조립이 컴포넌트 기반의 임베디드 소프트웨어 개발 성공을 위한 필수적 요소이다. 즉, 관련 아키텍처 정의와 이를 기반으로 한 생성 프로세스 및 컴포넌트의 명세화, 그리고 컴포넌트 프레임워크의 효과적 적용 단계를 통해 모바일 임베디드 소프트웨어 개발의 성공을 달성할 수 있다. 따라서 본 논문에서는 사용자의 요구사항에 최대한 접근하고 모바일 임베디드 도메인을 기반으로 둔 소규모 단위 모바일 컴포넌트(MIC: Mobile Embedded Component)를 대상으로 조립을 위한 인터페이스 명세 제공을 서술한다. 모바일에 확장적 컴포넌트 계층화와 모바일 비즈니스 로직 확보를 위해 재구성 가능한 설계 패턴 및 컴포넌트 군(비즈니스 도메인 카테고리)을 형성하고 제공한다. 제안하는 모바일 임베디드 컴포넌트 프로세스는 기존 프로세스가 가지는 비 일치성을 보완하여 컴포넌트의 개발과 사용에 실제적으로 활용할 수 있도록 정의한다. 모바일 비즈니스 프로세스를 위한 의미 지향적이며 모델링 기반 원칙에 따라 명확하고 풍부한 프로세스 정보를 포함한다. 또한 기능의 모듈성과 독립성이 보장되고 조립 가능한 컴포넌트를 기반으로 동적이고 복잡한 모바일 비즈니스 영역에 적용 가능한 개발 모델을 제시하고 작성된 모델을 기반으로 하는 모바일 임베디드 개발 사례를 제시한다. 본 연구에서 제시하는 컴포넌트 기반 모바일 임베디드 소프트웨어 개발 프레임워크는 효율성, 생산성 및 신뢰성과 유지보수성을 증대할 수 있는 이점을 가진다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권6호
• /
• pp.716-727
• /
• 2004

컴포넌트 기반 소프트웨어 개발 (CBD) 기술은 재사용 가능한 컴포넌트를 조합하여 효율적으로 소프트웨어를 개발함으로써 개발 노력과 상품화 시간을 줄여주는 새로운 기술로 정착되고 있다. 이러한 CBD 컴포넌트는 한 도메인의 표준이나 공통적인 기능을 제공하여야 재사용성이 높아진다. 특히, 공통성 안의 미세한 가변적인 부분도 모델링하고, 이 가변성을 각 어플리케이션의 특성에 적합하게 특화 할 수 있도록 설계되어야 한다. 기존의 CBD 방법론에서도 이 중요성이 강조되고 있지만, 체계적이며 구체적인 개발 프로세스, 적용 지침 및 산출물 양식의 제공이 미흡하여, 도메인 컴포넌트의 개발은 비체계적인 프로세스와 개발자의 경험에 의존해 왔다. 본 논문은 컴포넌트 설계를 위한 체계적인 프로세스와 기법을 제안한다. 이 프로세스는 여러 단계와 활동으로 구성되며, 각 활동에 대한 세부 지침과 표준 양식도 포함하여 보다 효과적인 컴포넌트 개발을 도모한다. 제안된 기법의 실효성 검증을 위하여 금융 도메인에 적용한 사례연구를 제시하며, 다른 기법들과의 비교 평가도 다룬다. CBD의 공통 컴포넌트 개발에 제안된 프로세스와 지침의 사용함으로써 보다 재사용성과 적용성이 높은 컴포넌트가 비용 및 시간에 있어서 효율적으로 개발될 것으로 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권4호
• /
• pp.303-316
• /
• 2007

소프트웨어 재사용을 위해 여러 가지의 접근법이 제시되어 왔으나，소프트웨어 개발자들은 이미 개발된 소프트웨어 컴포넌트를 재사용하는데 있어서 여전히 회의적이다. 여러 가지 원인이 있겠으나，기존의 재사용 접근법들이 개발자들이 재사용에 기울이는 노력을 감소시키는데 실질적인 도움을 주지는 못한 것이 가장 큰 원인 중 하나라고 볼 수 있다. 이러한 문제점 해결을 위해 본 논문에서는 RAS기반의 명세를 중심으로 컴포넌트의 다양한 측면을 활용하는 재사용 모델을 제시한다. 제시된 재사용 모델의 실용성 검증을 위해 실제적인 사례연구를 진행하였으며, 기존의 소스코드 기반의 소프트웨어 재사용 프로세스와 비교한 실험을 통해 재사용의 효율성 증가를 검증하였다. 이러한 검증을 통해，제안된 재사용 모델이 이미 개발된 기존 컴포넌트를 개발자들이 검색하고 이해하는데 소요되었던 시간을 감소시킴으로써 전반적인 재사용 소요비용 감소시키고 있음을 확인할 수 있었으며，제품라인공학과 같은 접근방법과 비교하여 일상적인 개발 공정의 지연을 초래할 수 있는 초기 투자비용을 최소화함에 따라，자발적인 개발자들의 참여를 끌어낼 수 있다는 점에서 차별성을 찾을 수 있다. 뿐만 아니라, 제안된 재사용 모델은 컴포넌트 기반 개발 방법론이나 제품라인공학과 같은 기존의 재사용 방법들과 배타적인 개념이 아니므로，필요에 따라 함께 적용하여 재사용 효과를 배가시킬 수 있을 것으로 기대한다.

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

서비스 지향 아키텍처에서 서비스 제공자는 재사용 가능한 서비스를 개발하고 저장소에 배포하며, 서비스 사용자는 인터페이스를 통하여 블랙박스 컴포넌트 형태의 서비스를 사용한다. 저장소에 배포된 서비스는 시간이 지남에 따라 변경/진화될 가능성이 높고, 다양한 언어 또는 플랫폼을 사용하여 구현되는 이질성(Heterogeneity)을 가진다. 이런 이유로, 서비스 사용자는 서비스 내부 구조를 알기 힘들기 때문에, 서비스가 기능을 수행하는 도중 문제점이 발생하면 문제점을 식별하여 해결하는 등의 서비스 결함을 효과적으로 관리하는 것이 어렵다. 자율 컴퓨팅(Autonomic Computing, AC)은 사람의 개입을 최소화하고 시스템이 스스로의 결함을 관리하도록 설계하는 방식이다. AC는 시스템을 자율적으로 결함을 관리할 수 있는 주요 원칙들을 제안하고 있으므로, 서비스 결함 관리에 관한 기술적 이슈들은 AC의 기법들을 사용하여 해결될 수 있다. 본 논문에서는 SOA 환경에서 자율적으로 서비스의 결함을 관리하기 위한 이론적 모델인 Symptom-Cause-Actuator(SCA) 모델을 제시한다. SCA 모델은 의사가 환자를 치료하는 과정으로부터 유도된다. 먼저, 다섯 단계로 구성된 SCA 컴퓨팅 모델을 정의하고 SCA의 메타모델을 제안한다. 또한, SCA 모델의 저장소 역할을 하는 SCA 프로파일을 정의하고, SCA 프로파일에 저장되는 symptom, cause, actuator의 인스턴스와 이들 간의 의존 관계를 기계가 인식할 수 있는 형식으로 표현한다. 그리고, 서비스의 결함을 자율적으로 관리하는 컴퓨팅 모델의 다섯 단계를 수행하는데 필요한 알고리즘을 상세하게 기술한다. 마지막으로, SCA 모델의 실행 가능성을 보여주기 위하여, SCA 프로파일과 알고리즘을 구현한 프로토타입을 '비행기 예약 시스템'에 적용하는 사례 연구를 수행한다.

• 논리연구
• /
• 제18권1호
• /
• pp.83-133
• /
• 2015

이 글에서는 상반된 이중 원인 효과를 해명하는 데 히치콕(Hitchcock 2001a)이 제시한 두 가지 원인 효과를 비판적으로 평가하고 그 비판을 상쇄할 대안을 제시한다. 이를 위해 다섯 가지를 논의한다. 첫째, 상반된 이중 원인 효과에 관한 사례를 소개하고 이에 대한 오테(Otte 1985)와 엘스(Eells 1987)의 논쟁을 검토한다. 이 검토는 이중 원인 효과에 대한 이해와 그와 관련해 논의할 히치콕, 카트라이트(Cartwright 1979, 1989, 1995), 엘스(Eells 1991, 1995)의 이론들을 비교, 평가하는 준비가 된다. 둘째, 구조 방정식 모형에서 두 원인 효과에 착안하여, 히치콕이 제시한 원인 효과의 두 개념, 망 효과와 요소 효과를 소개한다. 셋째, 이중 원인 효과를 해명하는 데 카트라이트와 엘스의 논쟁을 논의하면서, 동질적 부분 집단의 역할, 인과 상호 작용의 중요성에 주목한다. 넷째, 이중 원인 효과를 해명하는 데 히치콕이 적용한 두 원인 효과 개념을 비판적으로 검토하고, 엘스의 이론에 대한 히치콕의 비판을 다시 비판한다. 다섯째, 구조 방정식 모형의 조절 효과 개념을 인과에 대한 확률 이론에 응용하여, 이중 원인 효과에서 초래된 인과 상호 작용을 선언(disjunctive) 관계와 반 사실적 요인으로 형식화하여 보여준다. 조절 효과에 대한 논의는 최근에 많은 주목을 받은 구조 방정식 모형에 토대한 인과 모형 이론들이 인과의 문제들을 해결하는 데 기여할 수 있다. 다른 한편으로, 선언 관계, 반 사실적 조건을 이용한 인과 상호 작용에 대한 논의는 통계적 방법론으로서 구조 방정식 모형을 제고하는 데 도움을 줄 수 있다.

• 한국지구과학회지
• /
• 제32권6호
• /
• pp.525-536
• /
• 2011

다양한 형태의 공간 자료를 이용하는 응용 분야에서 이용가능한 자료간 해상도 차이를 반영하고, 원하는 타겟 해상도로의 변환은 매우 중요하다. 이 논문에서는 저해상도 비율 자료로부터 고해상도 범주형 주제도를 제작하기 위해 베리오그램 디컨볼루션과 블록 시뮬레이션을 이용하는 지구통계학적 다운스케일링 방법론을 제시하였다. 우선 블록 기반 베리오그램으로부터 점 기반 베리오그램 모델의 추정을 위해 반복 연산 기반 베리오그램 디컨볼루션 방법을 적용하였다. 그리고 영역-점 변환 크리깅과 추정된 점 기반 베리오그램 모델을 이용하는 직접 순차적 시뮬레이션을 적용하여 고해상도 비율 정보를 제작하였다. 최종적으로 최대 사후 확률 결정 규칙을 적용하여 대안적 고해상도 범주형 주제도를 제작하였다. 점 기반 자료 없이 저해상도 블록 비율자료만을 이용한 토지피복도 제작 사례 연구를 통해 제안 분석 과정을 예시하였다. 제안한 다운스케일링 기법의 적용을 통해 원 저해상도 블록 비율 자료값을 재생산하는 고해상도 비율 자료를 생성하였으며, 이로부터 기준 토지피복도의 전반적인 패턴을 반영하는 대안적 고해상도 토지피복도 제작이 가능함을 확인할 수 있었다. 이렇게 생성된 고해상도 자료들은 해상도 변환의 영향 분석에 유용한 입력 자료로 이용될 수 있을 것으로 생각된다.

• 한국HCI학회논문지
• /
• 제1권2호
• /
• pp.43-50
• /
• 2006

거울은 인간이 자신의 모습을 들여다보기 위해 오랜 세월 동안 이용했던 친숙한 도구이다. 디지털 기술의 발달로 우리는 빛과 정보를 함께 반사해 주는 거울에 대한 여러 가지 접근들을 보아 왔다. 전통적인 거울은 빛의 즉각적인 반사에 의해 일어나는 자동적인 시각적 피드백 덕분에 특별한 조작이 필요하지 않으나, 빛과 정보가 함께 반사되는 디지털 거울에서는 다른 형태의, 좀 더 적극적인 사용자 인터랙션을 기대할 수 있다. 본 논문에서는 사용자와 거울간의 거리에 따른 행태 조사결과를 바탕으로 인터랙션 유형을 분류 정리하였다. 이를 바탕으로 사용자와 거울간의 거리에 따라 다른 서비스를 제공하는 디지털 거울에 적합한 사용자 인터페이스를 제안하였고, 초기 모델로 적외선 격자를 이용한 조작, 비전 기반의 정면 이미지 획득 및 얼굴 확인, 그리고 적외선 위치 확인을 통해 사용자와 인터랙션 하는 거울을 설계하였다. 아울러 결과물의 초기모델에 대한 분석을 통해 더 개선된 형태의 '거울을 응용한 시스템'의 설계 가능성 및 사용자 중심적 프로세스를 적용한 개발 사례를 제시한다.