• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.8 no.5
• /
• pp.159-166
• /
• 2008

Recently, according to the rapid development of location positioning technology and wireless communications technology and increasement of usage of moving object data, many researches and developments on the real-time locating systems which provides real time service of moving object data stream are under proceeding. However, MO (Moving Object) DBMS used based system in the in these systems is the inefficient management of moving object data streams, and the existing DSMS (Data Stream Management System) has problems that spatio-temporal data are not handled efficiently. Therefore, in this thesis, we designed and implemented spatio-temporal DSMS for efficient real-time management of moving object data stream. This thesis implemented spatio-temporal DSMS based STREAM (STanford stREam dAta Manager) of Stanford University is supporting real-time management of moving object data stream and spatio-temproal query processing and filtering for reduce the input loading. Specifically, spatio-temporal operators of the spatio-temporal DSMS support standard interface of SQL form which extended "Simple Feature Specification for SQL" standard specifications presented by OGC for compatibility. Finally, implemented spatio-temporal DSMS in this thesis, proved the effectiveness of the system that as applied real-time monitoring areas that require real-time locating of object data stream DSMS.

• Journal of KIISE:Information Networking
• /
• v.37 no.1
• /
• pp.8-15
• /
• 2010

In this study, we present an extended complex event model by considering both of the complex event and the aspect-oriented programming. We propose an advanced scheme for the event specification suited for the event correlation based network management systems by merging these two models. Specifically, we extend the model to support hierarchical event structures and let the model recognize point-cuts of aspect-oriented programming as events. We provide the event operators designed to specify the events on instances and handle temporal relations of the instances. Lastly, we compare the proposed model with other event models and present the benefits of it.

• Journal of Korea Planning Association
• /
• v.54 no.6
• /
• pp.68-79
• /
• 2019

The purpose of this study is to propose a transit accessibility analysis method based on temporal variability of travel time. In this study, transit accessibility was defined in three levels (in transit route, spot and region unit) to present findings from different spatial scopes. Recently, Jeju special self-governing province reorganized bus system of the island. To compare transit accessibility before and after transit policy implementation, the reorganized bus system of Jeju special self-governing province was selected as a case study. This study used General Transit Feed Specification (GTFS) data format as storage public transit information, and calculated travel time using ArcGIS GTFS networks analysis tools. In the analysis of individual transit route level, we found the 3 types of accessibility changes which is increments, no significant changes and reductions and these results come from transit route change (number of transfer, distance change) rather than changes of vehicle interval. We found increases of inflow and outflow speed in most target spots and overall transit accessibility has been substantially improved in Jeju island. This study implies that accounting for temporal variability of travel time in accessibility analysis can result in more useful and sophisticated accessibility information in decision-making processes.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2679-2689
• /
• 1997

In this paper, a multimedia authoring system using temporal/spatial synchronization manager is designed and implemented to support easy and efficient generation of multimedia title. For this goal, a flowchart-oriented logic generator which represents a title author's design intent into a practical title composition logic without extra translation process, and a logic interpreter which translate and implement the generated title logic, are designed. Furthermore, a temporal/spatial synchronization manager which manages temporal/spatial synchronization information between media data for multimedia representation, is designed. Especially, a temporal specification model and MRL, a formal language for the model, are designed to synchronize the temporal relation between media objects. The MRL represents a complex temporal relation by simple and clear form, and synchronizes efficiently multimedia representation according to the author's intent. A presentation frame editor which makes coincidence between visible size of representation media and attachment point, is implemented for spatial synchronization.

• Molecules and Cells
• /
• v.43 no.3
• /
• pp.215-221
• /
• 2020

The olfactory bulb (OB) has an extremely higher proportion of interneurons innervating excitatory neurons than other brain regions, which is evolutionally conserved across species. Despite the abundance of OB interneurons, little is known about the diversification and physiological functions of OB interneurons compared to cortical interneurons. In this review, an overview of the general developmental process of interneurons from the angles of the spatial and temporal specifications was presented. Then, the distinct features shown exclusively in OB interneurons development and molecular machinery recently identified were discussed. Finally, we proposed an evolutionary meaning for the diversity of OB interneurons.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.1
• /
• pp.1-6
• /
• 1999

This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.

• Language and Information
• /
• v.15 no.1
• /
• pp.31-62
• /
• 2011

TimeML is a markup language for events and temporal expressions in natural language, proposed in Pustejovsky et al. (2003) and latter standardized as ISO-TimeML (ISO 24617-1:2009). In this paper, we propose the further specification of ISO-TimeML for the Korean language with the concrete and thorough examination of real world texts. Since Korean differs significantly from English, which is the first and almost only extensively tested language with TimeML, one continuously run into theoretical and practical difficulties in the application of TimeML to Korean. We focus on the discussion for the consistent and efficient application of TimeML: how to consistently apply TimeML in accordance with Korean specificity and what to be annotated and what not to be, i.e. which information is meaningful in the temporal interpretation of Korean text, for efficient application of TimeML.

• The KIPS Transactions:PartB
• /
• v.10B no.1
• /
• pp.111-118
• /
• 2003

The SMIL specification that is recently approved by the W3C and is meant to help deliver multimedia content to the Web, is widely used in these days and they have continuously emerged tools or softwares related with that. In this paper, I propose an algorithm to convert temporal scripts of RASP that is an experimental toolkit for computer animation that promotes interaction-based programming over time into a SMIL document. For making better use of SMIL documents, we can improve reusability of animation components. And, main contribution of this paper is that it verifies the sequence diagram generated for synchronization of documents by reconverting SMIL from UML sequence diagram.

• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.1085-1087
• /
• 2015

본 논문에서는 심장의 전기활성도를 반영하는 ECG 신호 중 일부를 명세한다. 꾸준히 축적되었고 통용되는 ECG 신호의 비정형 명세를 정형 명세로 바꾸는 과정에서 선형 시제 논리보다 시간을 다루는 명세 및 양적 평가에 유리한 신호 시제 논리(Signal Temporal Logic)를 사용한다. ECG 신호를 감지했다는 가정하에 특징점을 추상화하여 신호를 맹세했고, 양적으로 평가해주는 모델 기발 실시간 ECG 모니터링 시스템의 신속한 개발 필요성을 제시한다.

• Journal of Broadcast Engineering
• /
• v.23 no.1
• /
• pp.36-44
• /
• 2018

VR(Virtual Reality) and AR(Augmented Reality) devices are becoming more common, and the need for proper contents presentation techniques in such environments has been growing ever since the popularization of the devices. One of the contents is the spatio-temporal data, which has become more prominent since it could be both generated and consumed by a large number of ordinary users. In this work, the researcher analyzed the characteristics of spatio-temporal data as a source for visualization in VR and AR environment, and categorized prior visualization methods for such data, which were devised for traditional monitors. The researcher also reviewed the hardware specification of state-of-the-art devices, and examined the possibility of adopting the previous visualization approaches. This work is expected to contribute in designing spatio-temporal visualization for VR and AR environment by utilizing their unique characteristics.