• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.352-354
• /
• 2004

현재의 모델 체커는 모델이 속성을 만족하지 않을 경우 반례를 사용자에게 보여주어서 디버깅을 돕는다. 모델 체커에서 반례는 중요한 장점 중에 하나이지만 대부분의 모델 체커에서 반례로서 하나의 경로만을 보여주게 된다. 하지만 사용자가 원하는 것은 그 이상의 정보를 원할 수 있다. 따라서 반례에서 좀더 많은 정보를 보여줄 필요가 있다. 이런 종류의 연구로서 트리 형식의 반례 생성과 증명 형식의 반례생성이 있었다. 하지만 이 연구들은 시스템이 가질 수 있는 모든 경로를 알아낼 수는 없고 또한 증명 형식의 반례 생성의 경우 상태공간을 다른 형식으로 변경을 해야 한다. 본 논문에서는 반례로서 도달 가능한 모든 경로를 그래프 형식으로 보여줄 수 있는 그래프 형식의 반례를 정의하고 생성방법에 대해서 알아본다

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2009.04a
• /
• pp.319-320
• /
• 2009

실내 공간 용용기술의 핵심은 3차원 실내공간데이터의 모델링 기법과 이와 연동 가능한 센서기술이다. 하지만 아직은 실내위치기반서비스를 위한 측위기술 및 공간데이터에 대한 표준과 활용방안이 제한된 상태이다. 본 연구에서는 실내 위치기반서비스에서 사용 가능한 간단한 공간 DBMS 기반의 3차원 실내 공간 데이터 모델의 구축방법과 이를 활용할 수 있는 방법론을 제시하고자 한다. 본 연구에서 제시하는 모델은 2차원 기반의 multi-layer 구조를 가지며, 2차원 및 3차원으로 가시화가 가능하도록 하였다. 또한 제시한 3차원 실내 공간 모델의 실내 기반 서비스로의 적용을 테스트하기 위하여 CA(Cellular Automata)기반의 대피 시뮬레이터와 대피 경로 안내 시스템 그리고 실내센서(카메라)와의 연동 등 몇 가지 응용분야에 대한 테스트를 수행하였다.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1365-1368
• /
• 2012

기술이 발전하면서 사람들은 각종 전자기기로부터의 서비스에 익숙해 지고 있다. 단순히 서비스 디바이스에 의해 정해진 수순에 의해 서비스가 제공되는 것으로는 점점 기대치가 높아가고 있는 사용자의 요구를 만족시키기에는 어려움이 있다. 본 논문에서는 서비스 로봇 혹은 디바이스가 서비스를 제공할 수 있는 영역을 능동형 공간으로 정의하고, 이를 통해 사용자에게 효율적인 서비스를 제공하는 방법을 제공한다. 능동형 공간과 이 공간이 안정적인 상태를 정의한 안정상태 모델, 능동형 공간에서 이루어지는 서비스를 정의한 서비스모델 등을 포함한 능동현 서비스 환경에 대해서 기술한다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.9 no.1 s.17
• /
• pp.19-25
• /
• 2001

Satellite remote sensing, with its synoptic coverage, is used to evaluate the trophic state of large reservoir for agriculture in Kum River basin. The prediction model for chlorophyll-${\alpha}$ which was derived from Daecheong reservoir was applied to four LANDSAT TM imageries to generate a distribution map of trophic state. The chlorophyll-${\alpha}$ model was found to be reasonably reliable predictors for average trophic state value of reservoir. LANDSAT TM imagery data appears to have great utility in assessing trophic state of reservoir.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.8
• /
• pp.659-666
• /
• 1990

Curing recent years, several state-space models describing discrete two dimensional systems are proposed. In this paper, we consider the problem of pole assignment of two dimensional systems using state feedback, based on state-space model proposed by Roessser. The design procedure is seperated into two steps. in thie first step, the sufficient condition for off diagonal matrix of the input transformed system to be zero is derived and in the second step, it is shown that the pole assignment problem of two dimensional systems is divided into the one of two 1-dimensional systems. Finally, a numerical example for illustrating the technique is given.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.295-297
• /
• 2001

본 논문에서는 인터넷상에서의 협동작업 공간 응용을 위해 고안된 미들웨어인 SHINE(SHared INternet Environment)을 제안하고 구현한다. SHINE은 인터넷 협동작업을 위한 다양한 프로토콜과 협동작업 공간의 서비스를 구현하기 위해 실시간 인터넷 서비스 모델을 제공한다. 이 프로토콜들과 실시간 인터넷 서비스 모델을 이용하여 SHINE은 각각의 협동작업 참여자들의 공유상태를 실시간 동기화 시킨다. SHINE을 통해 응용 프로그래머들은 손쉽게 협동작업 응용을 구현할 수 있다. 또한 본 논문에서는 SHINE을 이용해 구현된 시험 응용들을 통해 SHINE의 유용성을 보인다.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.13 no.10
• /
• pp.947-959
• /
• 2001

We propose a control scheme to control the indoor zone temperature via variable air volume (VAV) unit. To control the room temperature, state space model of the conditioned zone which is partitioned into nine artificial sectional regions is derived. The nonlinearity of the damper motion and actuator are considered for the practical use in the state space system description. The temperature control of the room temperature is performed by manipulating the degree of openness of the damper in relation to the local room temperature and the supplied air flow rate. In general, since a local temperature in the conditioned zone is measured, it is required to estimate the temperature values in each regions for the precise temperature control. We thus design a state observer to estimate the regional temperature, and use these values in the controller. The overall control system consists of the state observer based state feedback with the integral control. We compared the control results of the proposed scheme with those of cascade proportional and integral (PI) control, and showed that the scheme achieved precise control of the conditioned system.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1995.04a
• /
• pp.240-245
• /
• 1995

제어이론의 역사적 발전사를 고찰해보면 1930년대부터 1960년대까지를 고전 제어(classical control) 시대로 분류되고 이때 주로 사용되었던 용어들은 주파수역(frequency domain)에서 사용된 개념인 극점(pole), 영점(zero), Nyquist, 근궤적(root-Locus) 선도(plot)등으로 대표된다. 그 다음단계인 현대 제어(modern control) 시대 (1960년대-1980년대)때는 새로운 개념들이 도입 되었는데 시간역(time domain)에서 사용되는 상태공간(state-space) 모델, 가제어성(controllability), 가관측성(observability), Kalman 필터, LQG 제어 등이다. 1980년대부터 현재까지를 강인제어(robust control) 시대로 분류하는데 이것의 특징들은 극점이나 영점 대신 상태공간 모델을 사용하여 주파수역에서 정의되는 개념들인 H$_{\infty}$ 합성법, .$\mu$ 해석법, LQG/LTR 및 QFT, Lyapunov 등으로 대표된다. 현대제어시대때는 제어기 K는 공칭 플랜트 모델 G$_{0}$를 기준으로 설계되었으나 실제로 공칭 플랜트 모델은 실제 플랜트와 항상 같을 수가 없었다. 따라서 실제 플랜트 G는 G=G$_{0}$ + .DELTA.G로 표현되며 여기서 .DELTA.G는 플랜트 불 확실성(plant uncertainty), 즉 실제 플랜트와 공칭 플랜트의 차이를 나타낸 다. 이 플랜트 불확실성은 제어기가 실제 응용되어 사용되었을 때 제대로 작동하지 않는 주요 이유중에 하나이다. 이와 같은 상황에서 안정도 강인성 (stability robustness) 및 성능 강인성(performance rosubtness)의 보장은 상 당히 중요한 문제로 대두되었으며 주어진 플랜트 불확실성하에서 이러한 강이성들이 보장되는 제어이론들 중 H$_{\infty}$ 제어이론이 많이 연구/응용 되고 있다. 특히 공칭 플랜트 모델과 함께 사용되는 플랜트 모델과 함께 사용되는 플랜트 불확실성 모델은 직접적으로 성능 및 안정도에 영향을 미치므로 주의 깊게 선정해야 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.202-204
• /
• 2001

무선이동 단말기가 발전함에 따라 GPS등의 측량 장치를 이용하여 현장에서 무선이동 단말기의 공간 데이터를 수정한 후에 수정된 공간 데이터를 무선 네트워크를 통하여 즉시 GIS 서버에 반영할 수 있게 되었다. 기존의 비관적 기법 기반의 트랜잭션 모델을 이용하는 경우에 잠금 충돌이 발생하면 충돌하는 모바일 트랜잭션들이 오랜 기간 동안 온라인 상태로 대기하는 문제가 있다. 또한 낙관적 기법 기반의 트랜잭션 모델을 이용할 경우에 변경 충돌(conflict)이 발생하면 현장에서 수행했던 모든 수정 작업을 취소하고 새로 공간 데이터 수정 작업을 재수행해야 하는 문제가 있다. 이 논문에서는 낙관적 기법에 기반한 모바일 트랜잭션 모델을 제시한다. 이 모델은 영역 잠금을 이용하여 트랜잭션 시작시 변경 의도를 표시한다. 그리고 완료 작업 수행시에 잠금을 이용하여 변경 충돌 검사를 한다. 변경 충돌이 발생하면 변경 충돌 해소를 위하여 해당 트랜잭션을 대기시키고 충돌이 발생한 부분에 대하여 사용자가 재수정 할 수 있도록 한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.5
• /
• pp.168-175
• /
• 2002

The hydraulic acoustic attenuator fur an automotive active suspension system is so highly nonlinear and of high order that the analysis in time-domain has been performed quite little. In this paper, a state-space representation of the dynamics for a hydraulic attenuator was presented utilizing the electrical analogy. And the results of experiment were compared with those of simulation to validate the state-space model proposed. The comparison revealed that the state-space model proposed is practically applicable to estimate the dynamic responses of the hydraulic attenuator in time-domain.