• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.373-375
• /
• 1999

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

• Journal of KIISE:Software and Applications
• /
• v.35 no.1
• /
• pp.12-21
• /
• 2008

As the usage of computer systems is increasing in our lives, the reliability and safely of these systems need to be thoroughly checked through the verification techniques. As a basic formalism for several modeling methods, the finite state machine (FSM) is widely used in specification and verification of system models. And there is a technique for ing internal events of FSM in order to effectively analyze the system. However, this technique does not handle the state explosion problem since it can be applied after completely generating all the state space of the system. In this research, we provide a new approach for efficiently representing concurrent properties of FSM, the slice model and provide an efficient transition reduction method based on the slice model. Our approach is effective in time and space perspective since it is peformed by partially generating the needed system states while the existing abstraction technique can be applied to all the system states.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.451-454
• /
• 2000

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

• Journal of Korean Society for Geospatial Information Science
• /
• v.17 no.1
• /
• pp.157-166
• /
• 2009

There is a growing interest in ubiquitous-related research and applications. Among them, GPS-based LBS have been developed and used actively. Recently, with the increase of large size buildings and disastrous events, indoor spaces are getting attention and related research activities are being carried out. Core technologies regarding indoor applications may include 3D indoor data modeling and localization sensor techniques that can integrate with indoor data. However, these technologies have not been standardized and established enough to be applied to indoor implementation. Thus, in this paper, we propose a method to build a relatively simple 3D indoor data modeling technique that can be applied to indoor location based applications. The proposed model takes the form of 2D-based multi-layered structure and has capability for 2D and 3D visualization. We tested three prototype applications using the proposed model; CA(cellular automata)-based 3D evacuation simulation, network-based routing, and indoor moving objects tracking using a stereo camera.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.35S no.11
• /
• pp.68-74
• /
• 1998

This paper deals with a model reduction problem for the linear systems with state delay. After defining the controllability/observability Gramians, the concept of a balanced model for the linear systems with state delay is introduced. Based on solutions of linear matrix inequalities, the model reduction method with guaranteed error bounds is developed. In order to demonstrate the efficacy of teh suggested method, a numerical example is also performed.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.340-347
• /
• 2007

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

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.3
• /
• pp.209-219
• /
• 2013

Epidemiological models on disease spread attempt to simulate disease transmission and associated control processes and such models contribute to greater understanding of disease spatial diffusion through of individual's contacts. The objective of this study is to develop an agent-based modeling(ABM) approach that integrates geographic information systems(GIS) to simulate the spread of FMD in spatial environment. This model considered three elements: population, time and space, and assumed that the disease would be transmitted between farms via vehicle along the roads. The model is implemented using FMD outbreak data in Andong city of South Korea in 2010 as a case study. In the model, FMD is described with the mathematical model of transmission probability, the distance of the two individuals, latent period, and other parameters. The results show that the GIS-agent based model designed for this study can be easily customized to study the spread dynamics of FMD by adjusting the disease parameters. In addition, the proposed model is used to measure the effectiveness of different control strategies to intervene the FMD spread.

• Journal of Environmental Science International
• /
• v.4 no.1
• /
• pp.71-80
• /
• 1995

A discrete state space model for a multiple-reach river system is formulated using the dynamics of biochemical oxygen demand(BOD) and dissolved oxygen(DO). A hierarchical optimization technique, which is applicable to large-scale systems with time-delays in states, is also described to control stream quality in a river as an optimal manner based on the interaction prediction method. The steady state tracking error of the proposed method is determined analytically and a necessary and sufficient condition on which a constant target tracking problem has zero steady-state error is derived. Computer simulations for the river pollution model illustrate the algorithm.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.10a
• /
• pp.744-747
• /
• 2010

This paper presents a novel adaptive control method for DC-DC converters applied in PV generator systems. We derive an state-space average model of the converter system and then propose a adaptive control methodology to enhance transient response performance for time-varying PV systems. A well-knwon Lyapunov theory is utilized for constructing our control algorithm. Numerical simulation demonstrates reliability of our control methodology and its superiority by comparison to a traditional control strategy.

• Journal of Korean Society of Environmental Engineers
• /
• v.35 no.3
• /
• pp.151-164
• /
• 2013

Multidimensional dynamic water quality model of organic matter and trophic state was applied to the Han River system. The model was calibrated using field measurement data obtained during the year of 2007. The model results showed reasonable performance in predicting temporal variations of TN, TP, Chl-a and BOD concentrations. The applied integrated modeling system can be effectively used to simulate water quality as well as hydrodynamic and water temperature for river-lake continuous system in the Han River. Utilizing the calibrated model, we analyzed the spatial and temporal distributions of TN, TP, Chl-a and BOD concentrations in the Han River system. The temporal variations of water quality at each river reach and lake were effectively simulated with the developed model and spatial distribution of water qualities in the Han River system could be compared. The multidimensional dynamic modeling system can simulate the water qualities of entire waterbody where Lake Paldang and the incoming flows are included using single modeling system. So it can be effectively used for integrated water quality management of the Han River system.