• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.373-375
• /
• 1999

지적 객체는 지적소유변경, 토지 분할/합병, 토지 영역경계 변경 등의 사건이 발생함으로써 비공간 또는 공간 속성이 변경된다. 이러한 변경에 대한 정보는 지적 객체의 이력으로써 지적 관리 시스템에 저장된다. 사용자는 단일 지적 객체가 가지는 전체 이력 또는 특정 시점이나 기간 동안의 지적 객체 상태에 대한 질의를 수행할 수 있고, 과거 지적 객체가 가졌던 속성 및 형태를 확인하거나 현재의 속성 및 상태와 비교하여 지적 객체의 소유변경 내용, 행정구역상 지번/지목의 변경 과정, 영역 경게 변경 과정 등과 같은 정보를 얻을 수 있다. 이 논문은 시간 지원 지적 관리 시스템에 사건 지향 시공간 데이터 모델인 이력 그래프 데이터모델을 적용하고 객체 단위 이력 질의를 위한 시공간 연산자를 제안함으로써 시간 지원 지적 관리 시스템을 위한 객체 이력 관리 기법에 대해 설명한다.

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

실생활과 밀접한 환경에서 컴퓨터 시스템의 사용이 늘어남에 따라 이러한 시스템들의 신뢰성, 안전성 등을 철저히 확인할 수 있는 검증 기술의 필요성이 한층 증가되고 있다. 유한상태머신은 이러한 시스템 모델링 및 분석에 활용되는 다양한 정형적 기법의 기본 모델로 널리 이용되고 있으며 효율적인 분석을 위해 내부 이벤트에 대한 추상화 기법이 제공된다. 하지만 기존의 추상화 방법은 유한상태머신 모델을 생성한 후에 적용될 수 있으므로 상태폭발에 효과적으로 대처하지 못하는 문제점이 있다. 이 연구에서는 유한상태머신 정보를 효과적으로 표현할 수 있는 새로운 표기법으로, 병행적 특성을 나타낼 수 있는 slice 모델 개념을 제시하고 이를 근간으로 내부 트랜지션을 축약하는 추상화 알고리즘을 제시한다. 기존의 유한상태머신 기반의 추상화 방법은 모든 상태를 나열하여야만 분석할 수 있는데 반해, 제안된 추상화 방법은 필요한 분석 공간만을 부분적으로 생성함으로 시간 및 공간적인 관점에서 효율적이다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 2000년도 하계학술발표대회 논문집 제19권 1호
• /
• pp.451-454
• /
• 2000

실의 음향성능을 규명하기 위하여 많은 음향인자가 개발되어지고 제시되어 왔다. 음향인자 중 확산은 실의 전반적인 음향성능에 매우 유용한 것으로 여겨져 왔다. 본 연구는 장방형의 형태를 가지고 체적과 마감재료가 같은 2종류의 축척모델을 제작하여 각각의 모델에서 RT, EDT, SPL, C, IACC 등을 측정하여 확산체의 유$\cdot$무에 따른 실의 실내음향 성능을 알아보고자 한다 실험결과 실내 표면의 확산성의 차이에 따라 표면의 확산성이 좋은 공간에서 초기음장에서 음에너지가 집중되고 분산되는 것을 입증하였다. 즉 확산성이 좋은 모델에서 잔향시간(RT)은 더 짧으나 초기감쇠시간(EDT)이 더 길게 나타남으로 인하여 음에너지의 분포가 실의 확산상태에 의하여 음의 발생이후 짧은 시간내에 집중하여 전달되고 있음을 증명하였다. 또한 실의 확산상태가 좋은 공간의 명료도가 확산이 되지 않은 실에 비하여 훨씬 더 좋은 결과를 보이고 있음을 나타냈다. 이상의 결과를 종합하여 볼 때 실내 표면의 확산성이 전반적인 실내 음장의 향상에 크게 기여하고 있음을 밝혀 냈다.

• 대한공간정보학회지
• /
• 제17권1호
• /
• pp.157-166
• /
• 2009

최근 유비쿼터스 관련 연구가 활발히 이루어지고 있으며 이를 활용한 응용분야들이 확대되고 있다. 대표적인 응용분야로는 GPS를 이용한 실외측위기술을 기반으로 발전한 위치기반서비스(LBS)가 있으며, 현재 많은 서비스들이 상용화 되어 있다. 최근 들어서는 대규모 실내공간과 실내에서의 사고의 증가와 함께 실내 공간을 대상으로 하는 서비스에 대한 관심이 증가하고 있으며 관련된 연구들이 진행되고 있다. 실내 공간 응용기술의 핵심은 3차원 실내 공간데이터의 모델링 기법과 이와 연동 가능한 센서기술이다. 하지만 아직은 실내위치기반서비스를 위한 측위기술 및 공간데이터에 대한 표준과 활용방안이 미비한 상태이다. 본 연구에서는 실내 위치기반서비스에서 사용 가능한 간단한 3차원 실내 공간 데이터 모델의 구축방법과 이를 활용할 수 있는 방법론을 제시하고자 한다. 본 연구에서 제시하는 모델은 2차원 기반의 multi-layered 구조를 가지며, 2차원 및 3차원으로 가시화가 가능하도록 하였다. 또한 제시한 3차원 실내 공간 모델의 실내 기반 서비스로의 적용을 테스트하기 위하여 CA(cellular automata)기반의 대피 시뮬레이터와 대피 경로 안내 시스템 그리고 실내센서(카메라)와의 연동 등 몇 가지 응용분야에 대한 테스트를 수행하였다.

• 전자공학회논문지S
• /
• 제35S권11호
• /
• pp.68-74
• /
• 1998

본 연구에서는 상태변수에 시간지연을 갖는 시간지연 시스템의 모델 차수 축소를 취급한다. 시간 지연 시스템에 대한 가제어성 그래미안과 가관측성 그래미안을 정의하고 균형화된 상태공간 구현을 소개한다. 선형 행렬 부등식의 해를 이용하여 모델 차수 축소 방법과 차수 축소 오차의 상한치를 제시한다. 본 연구에서 제시한 방법의 효용성을 예시하기 위하여 수치예를 수행한다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 1부
• /
• pp.340-347
• /
• 2007

"유비쿼터스 컴퓨팅"과 "상황인지 컴퓨팅"이 점차 확산되어짐에 따라 유비쿼터스 환경이 급격하게 발전하면서 변화하고 있다. 이러한 변화로 인해 사용자 정보와 사용자 주변의 환경 정보를 파악하여, 적절한 시간에 적절한 서비스를 제공할 수 있는 기술과 인간과 컴퓨터 관계가 증가하면 할 수 록 인간과 인간의 관계처럼 좀 더 자연스러운 관계를 유지 할 수 있는 상황인지 컴퓨팅이라는 개념이 나타나기 시작하였다. 이러한 상황인지 컴퓨팅을 통하여 상황을 인지하고 사용자에게 필요한 정보를 제공하기 위해서는 상황을 정의 할 수 있는 상황인지 모델이 필요하다. 그러나 현재, 상황을 인지하기 위한 상황인지 모델에 관한 연구는 미비한 상태이다. 본 논문에서는 5W1H를 이용하여 상황을 정의하고, RFMatrix를 이용하여 주변 환경과 사람들과의 관계를 반영한 RFMatrix 기반의 상황인지 모델을 제안한다. 또한 제안된 RFMatrix모델의 유용성을 검증하기 위해 학습공간의 실험을 통하여 정확성을 검증하고자 한다.

• 한국측량학회지
• /
• 제31권3호
• /
• pp.209-219
• /
• 2013

역학 모델은 질병 확산에 대한 시뮬레이션 및 관련 방역대책을 수립하는데 유용하며, 개체들의 접촉을 통해 전파되는 질병의 공간 확산에 대한 자세한 이해를 가능하게 한다. 이 연구에서는 공간에서 개체 간의 상호작용에 의한 결과로 구제역 전염병의 확산을 시뮬레이션하기 위해 GIS와 통합된 행위자 기반 공간 모델을 제안하고자 한다. 설계된 모델은 모집단, 시간, 공간이라는 세 요소를 고려하여 축산장 간의 간접접촉을 묘사하였다. 모집단의 역학관계는 2010년 경상북도 안동시에서 발생한 구제역 사례를 기준으로 하였으며, 도로를 주행하는 차량에 의한 간접접촉으로 전염병이 전파하는 것으로 설계하였다. 확산 모델은 구제역 전파 확률, 질병에 대한 여러 상태, 질병의 확산 시간, 감염률, 잠복기 및 기타 매개변수 간의 관계를 수식으로 표현하였다. 모델을 이용하여 구제역 발생 상황을 예측하면서 다양한 시나리오를 적용해서 모의실험하였다. 구제역 발생 상황에서 방역 전략을 선정하기 위해 제시된 방법을 이용하여 방역조치를 다양하게 실험하는 것은 구제역 확산을 통제하는 데 중요한 역할을 할 것으로 기대된다.

• 한국환경과학회지
• /
• 제4권1호
• /
• pp.71-80
• /
• 1995

생화학적 산소요구량(BOD) 및 용존 산소(DO)을 이용하여 여러구간이 있는 강에 대한 이산 상태공간모델은 설정하였다. 상호작용 예측방법을 이용하여, 상태변수에 시간지연이 존재하는 대규모 시스템에 적용가능한 계층적 최적화 방법을 기술하였다. 정상상태 오차를 해석적으로 구하고, 상수 목표티 추적문제에 있어서 정상상태 오차가 발생하지 않을 필요충분조겆을 규명하였다. 수질오염 모델에 대한 컴퓨터 모사를 통하여 기술한 알고리듬의 타당성을 확인하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 추계학술대회
• /
• pp.744-747
• /
• 2010

본 논문은 태양광 발전시스템에 적용되는 컨버터의 과도응답상태를 개선시키는 적응 강인 제어시스템을 제안한다. 우선, 컨버터 시스템을 평균 상태공간 모델을 구한 후 리세트 제어시스템 모델과 함께 augment 형태의 새로운 상태공간 모델링을 실시한다. 적응 강인 제어 알고리즘은 잘 알려진 Lyapunov 이론을 이용하여 도출한다. 본 논문에서 제안한 컨버터 시스템의 제어성능을 검증하기 위하여 컴퓨터 모의실험을 실시하였으며 기존의 제어방식과 비교 검토하여 성능의 우수성 및 타당성을 입증하였다.

• 대한환경공학회지
• /
• 제35권3호
• /
• pp.151-164
• /
• 2013

본 연구에서는 한강수계에 대하여 다차원 시변화 유기물 및 영양상태 모델을 적용하여 2007년에 관측된 수질 자료를 이용해 그 재현성을 검토하였다. 모델 적용 결과 TN, TP, Chl-a, BOD 농도의 시변화를 모델이 적절히 재현하고 있는 것으로 나타났다. 따라서 본 모델 시스템은 한강수계 내 하천-호수 연속 시스템에 대하여 수리 및 수온 해석뿐만 아니라 유기물 및 영양상태 해석에도 적용이 가능한 것으로 판단된다. 모델 보정 결과를 바탕으로 TN, TP, Chl-a, BOD에 대한 한강수계 내의 시 공간적 농도 변화를 분석하였다. 모델은 호수 구간 표층과 하천 구간에 대하여 각 구간별로 수질의 시변화를 적절히 모의하였고 이를 통하여 한강수계 내의 공간적 농도 분포를 비교하는 것이 가능했다. 본 연구에서 구축한 다차원 시변화 모델 시스템은 하나의 모델로 팔당호와 그 상류 수계의 수질을 통합적으로 분석하는 것이 가능하므로, 한강 수계에 대한 통합적인 수질 관리에 효과적으로 사용될 수 있을 것으로 기대된다.