• Journal of the Korean Data and Information Science Society
• /
• v.27 no.5
• /
• pp.1225-1239
• /
• 2016

We investigate pediatric tumor incidence data collected by the Florida Association for Pediatric Tumor program using various models commonly used in disease mapping analysis. Particularly, we consider Poisson normal models with various conditional autoregressive structure for spatial dependence, a zero-in ated component to capture excess zero counts and a spatio-temporal model to capture spatial and temporal dependence, together. We found that intrinsic conditional autoregressive model provides the smallest Deviance Information Criterion (DIC) among the models when only spatial dependence is considered. On the other hand, adding an autoregressive structure over time decreases DIC over the model without time dependence component. We adopt weighted ranks squared error loss to identify high risk regions which provides similar results with other researchers who have worked on the same data set (e.g. Zhang et al., 2014; Wang and Rodriguez, 2014). Our results, thus, provide additional statistical support on those identied high risk regions discovered by the other researchers.

• Journal of information and communication convergence engineering
• /
• v.19 no.1
• /
• pp.42-47
• /
• 2021

Multimedia Authoring Tool is a tool for creating multimedia presentations. With this tool, a user can produce playable multimedia documents. A Multimedia Authoring Tool requires input in the form of a spatial layout and a temporal layout. Users can make many mistakes in creating multimedia presentations and verification is required in the Multimedia Authoring process in order to produce multimedia documents. In this study, two verification phases are proposed: Time Computation and Spatiotemporal Conflict Verification. In the experiment conducted for this study, two kinds of verification were carried out: The use of single-phase verification and the use of double-phase verifications. By using these two types of verification, it became easier to successfully detect errors in the spatial and temporal layouts, and the types of verification have also been successful in increasing the success of error detection.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2010.05a
• /
• pp.471-472
• /
• 2010

In this study, a new modeling framework for predicting temperature and structural behaviors of structures under fire condition is proposed. The proposed modeling framework including fire simulation, heat transfer and structural analysis is applied to simulate fire tests performed on the steel-concrete composite structures in Cardington, UK, for model validations. Good predictions are shown for spatial-temporal temperatures and deflections of fire-damaged steel-concrete structures.

• Journal of Information Processing Systems
• /
• v.16 no.3
• /
• pp.612-628
• /
• 2020

This paper presents a new approach for detecting abnormal behaviors in complex surveillance scenes where anomalies are subtle and difficult to distinguish due to the intricate correlations among multiple objects' behaviors. Specifically, a cascaded probabilistic topic model was put forward for learning the spatial context of local behavior and the temporal context of global behavior in two different stages. In the first stage of topic modeling, unlike the existing approaches using either optical flows or complete trajectories, spatio-temporal correlations between the trajectory fragments in video clips were modeled by the latent Dirichlet allocation (LDA) topic model based on Markov random fields to obtain the spatial context of local behavior in each video clip. The local behavior topic categories were then obtained by exploiting the spectral clustering algorithm. Based on the construction of a dictionary through the process of local behavior topic clustering, the second phase of the LDA topic model learns the correlations of global behaviors and temporal context. In particular, an abnormal behavior recognition method was developed based on the learned spatio-temporal context of behaviors. The specific identification method adopts a top-down strategy and consists of two stages: anomaly recognition of video clip and anomalous behavior recognition within each video clip. Evaluation was performed using the validity of spatio-temporal context learning for local behavior topics and abnormal behavior recognition. Furthermore, the performance of the proposed approach in abnormal behavior recognition improved effectively and significantly in complex surveillance scenes.

• 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.

• Journal of Korean Society on Water Environment
• /
• v.36 no.6
• /
• pp.592-610
• /
• 2020

In South Korea, the concept of water environment was expanded to include aquatic ecosystems with the Integrated Water Management implementation. Watershed-scale modeling is typically performed for hydrologic component analysis, however, there is a need to expand to include ecosystem variability such that the modeling corresponds to the social and political issues around the water environment. For this to be viable, the modeling must account for several distinct features in South Korean watersheds. The modeling must provide reasonable estimations for peak flow rate and apply to paddy areas as they represent 11% of land use area and greatly influence groundwater levels during irrigation. These facts indicate that the modeling time intervals should be sub-daily and the hydrologic model must have sufficient power to process surface flow, subsurface flow, and baseflow. Thus, the features required for watershed-scale modeling are suggested in this study by way of review of frequently used hydrologic models including: Agricultural Policy/Environmental eXtender(APEX), Catchment hydrologic cycle analysis tool(CAT), Hydrological Simulation Program-FORTRAN(HSPF), Spatio-Temporal River-basin Ecohydrology Analysis Model(STREAM), and Soil and Water Assessment Tool(SWAT).

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.439-442
• /
• 2004

Traditional database systems have been used models supported for the operations and relationships based on simple interval. video data models are required in order to provide supporting temporal paradigm, various object operations and temporal operations, efficient retrieval and browsing in video model. As video model is based on object-oriented paradigm, 1 present entire model structure for video data through the design of metadata which is used of logical schema of video, attribute and operation of object, and inheritance and annotation. by using temporal paradigm through the definition of time point and time interval in object-oriented based model, we tan use video information more efficiently by me variation.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.195-198
• /
• 2006

One of the major sources of error in precise GPS positioning since the turn-off the Selective Availability(SA) is the ionospheric propagation delay. For the last decades, a lot of the ionospheric researches based on a GPS network have been implemented throughout the world. Especially researches of the ionospheric modeling for Wide Area Argumentation System(WAAS) have been undertaken and published. In mid-latitude regions, typical spatial and temporal variations in ionospheric models delay tend to minimal. The developed ionospheric model calls for a 1.25 degree grid at latitudes and a 2.5 degree grid at longitudes. The precise grid TEC estimated by the inversion technique is also compared with global ionosphere maps(GIMs) which have been provided by several analysis centers(ACs). The results of initial investigations into the suitability of the proposed ionospheric modeling scheme in north-east Asia are presented.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.199-202
• /
• 2006

One of the major sources of error in precise GPS positioning since the turn-off the Selective Availability(SA) is the ionospheric propagation delay. For the last decades, a lot of the ionospheric researches based on a GPS network have been implemented throughout the world. Especially researches of the ionospheric modeling for Wide Area Argumentation System(WAAS) have been undertaken and published. In mid-latitude regions, typical spatial and temporal variations in ionospheric models delay tend to minimal. The developed ionospheric model calls for a 1.25 degree grid at latitudes and a 2.5 degree grid at longitudes. The precise grid TEC estimated by the inversion technique is also compared with global ionosphere maps(GIMs) which have been provided by several analysis centers(ACs). The results of initial investigations into the suitability of the proposed ionospheric modeling scheme in north-east Asia are presented.