• Journal of Internet Computing and Services
• /
• v.1 no.1
• /
• pp.47-62
• /
• 2000

Geographic Information System(GIS) deal with data which can potentially be useful for a wida range of applications. However, the information needs of each application usually vary, specially in resolution, detail level, and representation style, as defined in the modeling phase of the geographic database design. To be able to deal with such diverse needs, the GIS must after features that allow multiple representations for each geographic entity of phenomenon. This paper addresses the problem of formal definition of the objects and their relationships on geographical information systems. The geographical data is divided in two main classes: geo-objects and geo-fields, which describe discrete and continuous representations of spatial reality. I will study the classes and the roles of relationships over geo-fields, geo-objects and nongeo-objects. Therefore, this paper will contribute the efficient design of geographical class hierarchy schema by means of formalizing attribute-domains of classes.

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

웨어러블 컴퓨팅의 지속적인 발전과 함께, 이들이 지원하는 기능은 점점 다양화되고 전문화되었다. 하지만 기기의 종류와 기능이 늘어나면서 각 기기의 상태를 확인하는 작업 자체가 복잡하고 불필요한 시간을 소요하기도 한다. 또한 이를 시각 디스플레이에만 의존하면, 디스플레이 크기의 한계와 더불어 시각적인 과부하가 발생할 수 있다. 본 연구에서는 이러한 문제를 극복하기 위해 웨어러블 각 기기의 상태정보 피드백으로서 소리를 이용하였다. 실험의 순서는 먼저 시각정보에 더하여 청각정보를 추가적으로 제시하는 방식의 유용성을 검증한 다음, 기기 특정적인 청각 아이콘(Auditory Icon)의 효과를 확인하였다. 청각정보의 유용성을 확인하는 단계에서는 참가자에게 특정 기기의 위치와 그 상태에 관한 정보를 시각 디스플레이를 통해 제시하면서, 조건에 따라 다양한 형태의 청각 디스플레이를 제시하고 기기 및 상태정보 확인에 소요되는 시간을 측정하였다. 시각디스플레이의 방식은 다양하지만, 본 연구에서는 사람의 몸을 나타내는 그림 위에 기기가 장착된 위치를 붉은 점으로 표시하고, 그 상태를 텍스트로 표시하는 방식(실험 1)과 텍스트를 통해 기기의 종류와 상태를 알려주는 방식(실험 2)을 적용하였다. 기기 확인에 소요되는 반응시간을 기록한 실험결과는 시각디스플레이를 통해서만 제시하는 조건보다 시각디스플레이와 청각디스플레이를 동시에 제시하는 조건에서 나은 수행을 보여주며, 정보의 내용이 일정 범위 내에서 구체적으로 제시될 수록 수행이 증가하는 경향을 보여주고 있다. 이어지는 기기 특정적인 청각 아이콘의 효과를 확인하는 단계에서는, 소리의 높낮이를 통해 기기의 위치를 표현하는 대신, 소리만 듣고 기기가 무엇인가를 알려줄 수 있도록, 참가자 평정을 통해 기기 특정적인 청각 아이콘을 선정하고, 이를 상태정보 디스플레이에 추가하였다. 기기의 수와 제시조건은 앞선 실험과 동일하였으며, 역시 기기 및 상태정보 확인에 소요되는 반응시간을 체크하였다. 실험결과는 이전의 실험과 비슷하게 시각과 청각 디스플레이의 중복제시 조건에서 높은 수행을 보였으며, 청각 아이콘의 사용으로 인한 수행의 증가도 확인할 수 있었다. 실험 2에서는 추가적으로 청각 디스플레이의 내용에 대한 주관적인 평정을 실시 하였는데, 기기 특정적인 청각 아이콘은 참가자에게 편의성, 효용성, 적합성, 확신도에서도 높은 점수를 얻었다. 이러한 결과는 청각 피드백을 이용한 정보의 디스플레이는 착용자의 시선을 자유롭게 함으로써 일상생활의 수행을 높이고, 웨어러블 컴퓨터 디스플레이 크기의 제약을 해결하는 방법이 될 수 있는 동시에 주관적인 사용성 측면에서 발전가능성이 있음을 보여준다.

• Journal of Korea Water Resources Association
• /
• v.33 no.3
• /
• pp.375-382
• /
• 2000

The surface hydrology of large watershed is susceptible to several preferred stable states with transitions between stable states induced by stochastic fluctuations. This comes about due to the close coupling of land surface and atmospheric interaction. An interesting and important issue is the duration of residence in each mode. In this study, mean transition tunes between the stable modes are analyzed for the Han River Basin. On the basis of historical data, the nonlinear water balance model is calibrated for the Han River Basin. The transition times between the stable modes in the model are studied based on the stochastic representation of the physical processes and on the calibrated model parameters. This study has implications for prediction of the transition time between stable modes or residence times, that is, the time the system spends in a given stable modes, since this would be equivalent to predicting the duration of drought or wet conditions.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.2
• /
• pp.245-252
• /
• 2020

Unexpected equipment defects can cause a huge economic losses in the society at large. Although condition monitoring can provide solutions, the signal processing algorithms must be developed to predict mechanical failures using data acquired from various sensors attached to the equipment. The signal processing algorithms used in a condition monitoring requires high computing efficiency and resolution. To improve condition monitoring on a wireless sensor network(WSN), data visualization can maximize the expressions of the data characteristics. Thus, this paper proposes the extraction of visual feature from temperature data over time using condition monitoring based on a WSN to identify environmental conditions of equipment in a large-scale infrastructure. Our results show that time-frequency analysis can visually track temperature changes over time and extract the characteristics of temperature data changes.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.11 no.1
• /
• pp.65-71
• /
• 2006

In this paper, a novel motor control method is proposed to improve the performance of sensorless drive of BLDC motors. In the terminal voltage sensing method, which is a great portion of sensorless control, a precise rotor position cannot be obtained when excessive input is applied to the drive during synchronous operation mode. Especially in the transient state, the response characteristic decreases. To cope with this problem, the unknown input (back-EMF) is modelled as the additional state of system in this paper. Taking into account the disturbance adopted by the back-EMF, the observer can be obtained by the augmented system equation. An algorithm to detect the back-EMF of the BLDC motor using the state observer is constructed. As a result, the novel sensorless drive of BLDC motors that can strictly estimate rotor position and speed is proposed.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2430-2441
• /
• 2000

A visual concurrent programming environment, called ESTGVP is designed and implemented, which is easy to understand, highly portable, and can represent parallel behaviors. For our purpose, a conventional state transition graph is extended so as to enable both of synchronous and asynchronous parallel operations. We call it extended state transition graph (ESTG). ESTGVP uses the ESTG and texts for programming, and makes it easy programming sequential and parallel behaviors. Also, it is easy to understand the control structure of a program because ESTGVP is a visual programming environment based on the graph. ESTGVP is written in Tel language and thus it is highly portable on various operating systems. It consists of three major components; edition, transformation and execution. If necessary, ESTG can be transformed into C or Tel language, and its execution is based on Tel.

• Journal of Korean Society of Steel Construction
• /
• v.28 no.4
• /
• pp.253-261
• /
• 2016

In order to evaluate compressive strength of centrally-loaded steel column at elevated temperature, new FE analysis techniques and assumptions of model were applied in this study. It also includes comparison with the existing studies, and a new design equation for centrally-loaded steel column at elevated temperature was proposed. The proposed equation was the most accurate of the three design equations(EC3, AISC, proposed equation) when comparing with the coefficient of determination on the simulated results and test results.

• Journal of Korea Game Society
• /
• v.10 no.3
• /
• pp.93-102
• /
• 2010

This paper is to design and implement the system to simulate spontaneously the group behaviors for the various states of doves. To do this, the group behaviors of doves were divided into the four action models such as 'Flying', 'Landing', 'Eating' and 'Taking off'. The steering forces composing of each action model were found and each action model was designed by using the finite state machine. The designed system was implemented by integrating the Ogre engine. From the simulations of the implemented system, the values of the parameters for the steering forces were found so that it can represent the spontaneous group behaviors of doves.