• 정보처리학회논문지D
• /
• 제11D권5호
• /
• pp.1073-1086
• /
• 2004

최근 전 세계적으로 IT 분야의 새로운 키워드로 부각되고 있는 것 중에 하나가 바로 무선 인터넷이다. 무선 인터넷이란 무선단말기를 사용하여 무선 환경에서 인터넷에 접속하여 데이터 통신이나 인터넷 서비스를 제공받을 수 있는 아키텍처와 기술 및 서비스를 말한다. 이러한 무선인터넷 기술은 기존의 유선 인터넷 기술과 더불어 정보의 활용 범위를 확장시키고 있다. 그러나 무선 인터넷 기술을 효과적으로 사용하기 위해서는 컨텐츠의 질적, 양적 공급이 확대되어야 한다. 이를 위해서는 기존의 유선환경에서 서비스되던 양질의 컨텐츠를 재사용하는 방안이 효과 적일 수 있다. 이에 본 논문에서는 무선 컨텐츠의 새로운 구축의 개념에서 벗어나 컨텐츠 자동 재작성 기술을 바탕으로 부분조합방식의 컨텐츠 생성기법을 설계 구현하고자 한다.

• 항공우주기술
• /
• 제11권2호
• /
• pp.109-116
• /
• 2012

우주발사체의 액체추진공급시스템에서 사용되는 연료 벤트/릴리프밸브는 안전밸브의 조합체로 지상에서 연료를 주입할 때와 비행 중에 추진제 탱크의 과압을 해소하는 역할을 한다. 벤트/릴리프밸브는 구동가스 공급에 의해 벤트밸브를 작동시키는 벤트모드와 설정된 압력을 유지하기 위해 자동으로 밸브를 개폐하는 릴리프모드로 작동한다. 본 논문에서는 해외발사체에 사용된(Saturn) 벤트/릴리프밸브 샘플을 이용하여 한국형발사체의 규격에 적용한 밸브 설계를 검토하였다. 또한 설계 검증 및 기본적인 작동 특성을 분석하기 위해 AMESim 상용코드를 이용하여 해석 모델을 구성하였다. 밸브 모델을 이용해서 동특성 해석을 수행하여 설계 변수에 대해 밸브 개폐 작동시간, 작동성능, 개폐압력을 예상하였다. 이를 통해 연료 벤트/릴리프밸브 설계변수에 따른 작동성을 파악하여 시제품 제작 전 의 상세설계 및 설계 경계조건을 제시하였다.

• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• 정보처리학회논문지C
• /
• 제11C권7호
• /
• pp.937-950
• /
• 2004

본 논문에서는 프로토콜 조합 및 서비스 참조 기법을 지원하는 Customizable Architecture for Flexible Execution Environment(CAFEs) 실행환경을 실제 및 구현한다. CAFEs 실행환경은 프로토콜 및 서비스 소프트웨어의 재사용성을 높이기 위하여 기존 프로토콜의 기능 또는 알고리즘을 구현한 마이크로 프로토콜과 기존 응용과 호환하고 액티브 네트워크 서비스를 배포하기 위한 수단으로 동작하는 액티브 서비스라는 새로운 개념을 제시한다. 제안된 액티브 네트워크 실행환경은 기능에 따라 세 부분으로 설계되어 있다. 첫째, 가상 네트워크 시스템은 기존의 다양한 프로토콜 계층을 기반으로 가상 네트워크 채널을 형성하고 이를 바탕으로 액티브 노드를 연결한다. 둘째, 프로토콜 및 서비스 관리자는 마이크로 프로토콜 및 액티브 서비스를 합성함으로써 새로운 프로토콜과 서비스를 제공하는 역할을 담당한다. 마지막으로 이벤트 엔진은 이벤트 위임 모델을 사용하여 서비스에 존재하는 컴보넌트의 상태전이를 자동으로 감지한다. 그리고 개발된 CAFEs 실행환경을 검증하기 위하여 무선 인터넷 환경에서 사용자 단말에 적합한 웹 컨텐츠를 전달하기 위한 실험을 수행하여 가용성을 확보하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.103-104
• /
• 2017

본 연구에서는 다중회귀분석모형(MLRM)과 MODIS (MODerate resolution Imaging Spectroradiometer) LST (Land Surface Temperature) 자료를 이용하여 전국 공간토양수분을 산정하였다. 공간토양수분을 산정하기 위한 과정은 크게 두가지로 구분된다. 첫 번째로 기존의 MODIS LST 자료를 조건부 합성 보정기법을 적용하여 실측 LST 자료와 비교하여 위성 LST 자료가 갖고 있는 오차를 보정하였다. 그 결과, 조건부 합성 보정기법을 적용하기전 전국 71개 지상 관측지점에서 관측한 실측 LST와 MODIS LST의 R2는 전체 평균 0.70으로 어는정도 유의성 있는 상관관계를 나타냈으나 조건부 합성 보정기법을 적용한 후 실측 LST와 MODIS LST의 R2는 전체 평균 0.92로 상당히 크게 향상됨을 알 수 있었다. 두 번째로 보정된 MODIS LST를 이용하여 다중회귀분석 모형을 개발하고 토양수분을 예측하는 단계로 입력자료로 위성영상 자료와 관측자료를 융합하여 사용하였다. 위성영상 자료로는 보정된 MODIS LST와 MODIS NDV를 구축하였고 일단위 강수량 및 일조시간의 기상자료는 기상청으로부터 전국 68개 지점에 대해 구축하여 IDW 공간보간기법을 이용한 공간자료로 구축하였다. 토양수분 결과를 비교하기 위한 관측 토양수분은 자동농업기상관측(Automated Agriculture Observing System, AAOS)지점에서 2013년 1월부터 2015년 12월까지의 실측 일단위 토양수분 자료를 구축하여 사용하였다. 다중회귀분석 모형은 각각의 입력자료를 독립인자로서 조합하여 12개의 시나리오를 만들었다. 시공간적 경향을 고려하기 위하여 계절별, 토양 토성(soil texture)를 구분하여 회귀분석을 실시하였다. 관측 토양수분과 모의 토양수분을 비교한 결과 $R^2$가 0.80 (철원), 0.90 (춘천), 0.80 (수원), 0.63 (서산), 0.77 (청주), 0.82 (전주), 0.52 (순천), 0.63 (진주), 0.99 (보성)로 높은 상관성을 보였다. 본 연구에서는 토양수분을 예측하기 위한 인자 중 가장 민간함 LST를 보정하지 않는 토양수분 예측 방법은 상당한 오차를 포함하게 되어 실측 토양수분 결과와 크게 차이가 나타남을 보여주었다.

• 대한조선학회논문집
• /
• 제31권1호
• /
• pp.14-21
• /
• 1994

국제해사기구(IMO)에서는 해상에서 빈번히 발생되는 선박의 사고방지를 위한 노력의 일환으로 그동안 특별한 규정이 없었던 건화물선(Dry Cargo ship)의 안정성에 관한 설계 기준을 수립하고 1992년 2월 1일부터 건화물선의 손상복원력 계산은 확률이론을 적용하여 수행하도록 하는 새로운 규정을 삽입하였다. 새로운 규정에 의하여 길이 l00m 이상의 Ro-Ro 선을 포함한 모든 건화물선에 대한 손상복원력 평가는 반드시 수행되어야 한다. 확률이론을 이용한 새로운 방법은 기존의 결정론적 방법과는 달리 계산의 복잡성, 반복성 등으로 인하여 전산 프로그램의 이용없이는 불가능하므로 프로그램 개발을 반드시 필요로 한다. 본 연구에서는 외국에서 도입되는 시스템에 대응하는 국내 자체의 전산코드 확보를 염두에 두어 새로운 규정을 해석하고 그에 따른 프로그램을 개발하였다. 특히 격자모델을 이용한 손상조합의 자동생성기법을 개발하므로써 간편한 입력체계를 실현하여 효율성과 정확성의 향상을 이루었다. 개발된 프로그램의 검증을 위하여 시험선박에 대한 예제를 수행하고 외국의 결과와 비교 분석하였다.

• 한국정보통신학회논문지
• /
• 제24권2호
• /
• pp.244-251
• /
• 2020

본 논문에서는 UML 다이어그램의 정보를 구문적으로 분석하여 클래스들의 정보를 구조적으로 구축하는 정보 저장소인 '메타 클래스 레포지토리 (MCR)'의 구현 방법을 제시한다. 구문적으로 분석된 클래스의 정보를 구조적으로 구축하기 위하여 수퍼 클래스인 '메타 클래스 (meta-class)'를 정의하고, 이들 메타 클래스들의 컬렉션으로 구성된 레포지토리를 구축하여 정보를 관리한다. 또한, MCR이 보유하고 있는 메타 클래스 정보에 기반하여 클래스에 상응하는 코드를 생성하기 위하여 '코드 생성 엔진 (CGE)'을 설계하여 제시한다. 코드 생성 엔진의 로직을 구성함에 있어서는 클래스에 대한 정보와 프로그래밍 언어의 구문 규칙이 합법적으로 조합되어 코드가 생성되어야 한다. 따라서, 이러한 클래스 다이어그램으로부터 코드를 생성하는 데에 MCR과 CGE가 통합적으로 협력하여 수행될 수 있도록 구현하는 방법을 제시한다. CGR의 동작 메커니즘에 대한 알고리즘을 유한 상태 머신 형태로 제시함으로써 CGE의 로직을 형식화하여 표현함과 동시에 구현 상의 용이함을 취할 수 있게 하였다.

• 지능정보연구
• /
• 제24권2호
• /
• pp.125-148
• /
• 2018

다양한 스마트 기기 및 관련 서비스의 증가에 따라 텍스트 데이터가 폭발적으로 증가하고 있으며, 이로 인해 방대한 문서로부터 필요한 정보만을 추려내는 작업은 더욱 어려워졌다. 따라서 텍스트 데이터로부터 핵심 내용을 자동으로 요약하여 제공할 수 있는 텍스트 자동 요약 기술이 최근 더욱 주목을 받고 있다. 텍스트 요약 기술은 뉴스 요약 서비스, 개인정보 약관 요약 서비스 등을 통해 현업에서도 이미 활발하게 적용되고 있으며, 학계에서도 문서의 주요 요소를 선별하여 제공하는 추출(Extraction) 접근법과 문서의 요소를 발췌한 뒤 이를 조합하여 새로운 문장을 구성하는 생성(Abstraction) 접근법에 따라 많은 연구가 이루어지고 있다. 하지만 문서의 자동 요약 기술에 비해, 자동으로 요약된 문서의 품질을 평가하는 기술은 상대적으로 많은 진전을 이루지 못하였다. 요약문의 품질 평가를 다룬 기존의 대부분의 연구들은 사람이 수작업으로 요약문을 작성하여 이를 기준 문서(Reference Document)로 삼고, 자동 요약문과 기준 문서와의 유사도를 측정하는 방식으로 수행되었다. 하지만 이러한 방식은 기준 문서의 작성 과정에 막대한 시간과 비용이 소요될 뿐 아니라 요약자의 주관에 의해 평가 결과가 다르게 나타날 수 있다는 한계를 갖는다. 한편 이러한 한계를 극복하기 위한 연구도 일부 수행되었는데, 대표적으로 전문에 대해 차원 축소를 수행하고 이렇게 축소된 전문과 자동 요약문의 유사도를 측정하는 기법이 최근 고안된 바 있다. 이 방식은 원문에서 출현 빈도가 높은 어휘가 요약문에 많이 나타날수록 해당 요약문의 품질이 우수한 것으로 평가하게 된다. 하지만 요약이란 본질적으로 많은 내용을 줄여서 표현하면서도 내용의 누락을 최소화하는 것을 의미하므로, 단순히 빈도수에 기반한 "좋은 요약"이 항상 본질적 의미에서의 "좋은 요약"을 의미한다고 보는 것은 무리가 있다. 요약문 품질 평가의 이러한 기존 연구의 한계를 극복하기 위해, 본 연구에서는 요약의 본질에 기반한 자동 품질 평가 방안을 제안한다. 구체적으로 요약문의 문장 중 서로 중복되는 내용이 얼마나 적은지를 나타내는 요소로 간결성(Succinctness) 개념을 정의하고, 원문의 내용 중 요약문에 포함되지 않은 내용이 얼마나 적은지를 나타내는 요소로 완전성(Completeness)을 정의한다. 본 연구에서는 간결성과 완전성의 개념을 적용한 요약문 품질 자동 평가 방법론을 제안하고, 이를 TripAdvisor 사이트 호텔 리뷰의 요약 및 평가에 적용한 실험 결과를 소개한다.

• 수산해양기술연구
• /
• 제39권4호
• /
• pp.318-325
• /
• 2003

SPB방식과 시스템을 수조실험에서 검증하였다. 이상의 연구 성과를 정리하면 다음과 같다. 1) 핑거와 비슷한 펄스를 하이드로폰으로부터 발생시켜 수파기의 협빔과 광빔의 양빔 모드의 위상빔어레이 중심간 거리를 보정하여 전후, 좌우의 위상빔에 대한 위치측정 정도를 비교, 분석하였다. 측정위치오차는 협빔 모드의 전후위상빔에서 6.4cm, 좌우위상빔에서 6.3cm로 위치측정 정도는 고정도 이었으며, 광범 모드에서는 각각 24cm, 23cm로 협빔 모드보다 위치측정 정도는 4 배 정도 낮았다. 2) 핑거를 이미 계산된 위치로 이동시켜 핑거동기방식에 의한 거리정보와 SSBL 방식에 의한 방위정보를 자동, 연속으로 측정하였으며, 핑거동기 방식에 의한 핑거의 측정거리, SSBL. 핑거동기 바이오텔레메터리 방식에 의한 핑거의 측정위치, 핑거의 측정이동속도를 구해 기존의 값과 비교하여 새롭게 개발한 방식과 시스템의 유효성을 검증하였다. 핑거동기 방식에 의해 구한 핑거의 측정거리 오차는 1.8cm, SSBL. 핑거동기 바이오텔레메터리 방식에 의해 구한 핑거의 측정위치 오차는 7.7cm로 고정도로 측정이 기능하였으며, 핑거의 측정이동속도는 기존의 값에 대체적으로 일치하였다.

• 대한전자공학회논문지SP
• /
• 제42권3호
• /
• pp.73-80
• /
• 2005

본 최근 영상 및 멀티미디어의 시각적인 내용을 기반으로 하는 검색 방법에 관한 많은 연구들이 진행되고 있다. 내용 기반 영상 검색(content-based image retrieval)에 관한 대부분의 기존의 질의 방법은 입력 영상에 의한 질의 또는 컬러(color), 형태(shape), 특징(texture) 등과 같은 low-level 특징을 사용한다. 그러나 이러한 방법들은 비교적 사용하기 불편하고 방법이 편중되어 있어서 일반 사용자들의 다양한 질의 요구에 적합하지 못하다. 본 논문에서 제안하는 것은 내용 기반 영상 검색 시스템 하의 컬러 객체의 자동 추출과 다중 질의를 위한 레이블링 알고리즘이다. 이것은 먼저 single colorizing 알고리즘을 사용하여 영상의 영역을 단순화 시키고 제안하는 Color and Spatial based Binary tree map (CSB tree map)을 이용하여 컬러 객체를 추출한다. 그리고 제안하는 레이블링 알고리즘을 이용하여 데이터베이스의 객체들을 색인한다. 이것은 컬러와 공간 정보를 고속으로 레이블링 하고 객체의 컬러 속성과 크기 및 위치 정보를 이용하여 객체의 컬러 기반과 공간적 기반의 조합을 바탕으로 하는 사용자의 다양한 질의에 부합할 수 있는 적응성 있는 시스템을 구현한다. 본 논문에서는 "Washington" 데이터베이스를 이용한 비교 실험을 통해서 제안하는 시스템의 검색 결과의 우수함을 알 수 있었다.