• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1964-1967
• /
• 2002

Recently design verification have been played an important role in the design of large scale and complex systems. In this article, we especially focus on model checking methods. Behaviors of modeled systems are generally specified by temporal formulas of computation tree logic. However. Users must know well temporal specification because the specification might be complex. We proposed method that temporal formulas are gained inductively and amounts of memory and time are reduced. Finally, we will show verification results using our proposed method.

• Journal of information and communication convergence engineering
• /
• v.2 no.1
• /
• pp.26-31
• /
• 2004

In the last few years, The Semantic Web has increased the interest in ontologies. Ontology is an essential component of the semantic web. Ontologies continue to change and evolve. We consider the management of versions in ontology. We study a set of changes based on domain changes, changes in conceptualization, metadata changes, and temporal dimension. In many cases, we want to be able to search in historical versions, query changes in versions, retrieve versions on the temporal dimension. In order to support an ontology query language that supports temporal operations, we consider temporal dimension includes transaction time and valid time. Ontology versioning brings about massive amount of versions to be stored and maintained. We present the storage policies that are storing all the versions, all the sequence of changed element, all the change sets, the aggregation of change sets periodically, and the aggregation of change sets using a criterion. We conduct a set of experiments to compare the performance of each storage policies. We present the experimental results for evaluating the performance of different storage policies from scheme 1 to scheme 5.

• Journal of Broadcast Engineering
• /
• v.19 no.6
• /
• pp.896-906
• /
• 2014

In this paper, a real-time dual-mode temporal synchronization and compensation method based on a new reliability measure in stereoscopic video is proposed. The goal of temporal alignment is to detect the temporal asynchrony and recover synchronization of the two video streams. The accuracy of the temporal synchronization algorithm depends on the 3DTV contents. In order to compensate the temporal synchronization error, it is necessary to judge whether the result of the temporal synchronization is reliable or not. Based on our recently developed temporal synchronization method[1], we define a new reliability measure for the result of the temporal synchronization method. Furthermore, we developed a dual-mode temporal synchronization method, which uses a usual texture matching method and the temporal spatiogram method[1]. The new reliability measure is based on two distinctive features, a dynamic feature for scene change and a matching distinction feature. Various experimental results show the effectiveness of the proposed method. The proposed algorithms are evaluated and verified through an experimental system implemented for 3DTV.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.5
• /
• pp.231-242
• /
• 2016

In order to meet rapid changes of Web information, it is necessary to extend the current Web technologies to represent both the valid time and location of each fact and knowledge, and reason their relationships. Until recently, many researches on qualitative temporal reasoning have been conducted in laboratory-scale, dealing with small knowledge bases. However, in this paper, we propose the design and implementation of a parallel qualitative temporal reasoner, MRQUTER, which can make reasoning over Web-scale large knowledge bases. This parallel temporal reasoner was built on a Hadoop cluster system using the MapReduce parallel programming framework. It decomposes the entire qualitative temporal reasoning process into several MapReduce jobs such as the encoding and decoding job, the inverse and equal reasoning job, the transitive reasoning job, the refining job, and applies some optimization techniques into each component reasoning job implemented with a pair of Map and Reduce functions. Through experiments using large benchmarking temporal knowledge bases, MRQUTER shows high reasoning performance and scalability.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.31 no.1B
• /
• pp.13-20
• /
• 2011

The spatio-temporal pattern in precipitation is a significant element in defining characteristics of precipitation. In this study, a new scheme on regionalization utilizing temporal information was introduced on the basis of existing approaches that is mainly based on simple moments of data and geographical information. Given the identified spatio-temporal pattern, this study was extended to characterize regional pattern of annual maximum rainfall over Korea. We have used circular statistics to characterize the temporal distribution on the precipitation, and the circular statistics allow us to effectively assess changes in timing of the extreme rainfall in detail. In this study, a modified K-means method was incorporated with derived temporal characteristics of extreme rainfall in order to better characterize hydrologic pattern for regional frequency analysis. The extreme rainfall was reasonably separated into five categories that considered most attributes in both quantitative and temporal changes in extremes. The results showed that the proposed approach is a promising approach for regionalization in term of physical understanding of extreme rainfall.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.46 no.5
• /
• pp.40-47
• /
• 2009

A motion adaptive video noise reduction scheme is proposed by cascading a temporal filter and a spatial filter. After a noise-robust motion detection is performed with a pre-spatial filter, the strength of the motion adaptive temporal filter is controlled by the amount of temporal movement. In order to fully utilize the temporal correlation of video signal, noisy input image is processed first by the temporal filter, therefore, image details of temporally stationary region are quite well preserved while undesired noises are suppressed. In contrast to the pre-spatial filter used for the robust motion detection, the cascaded post-spatial filter removes the remained noises by considering the strength of the temporal filter and the spatial self-similarity search results obtained from the pre-spatial filter.

• Journal of Korean Society of Rural Planning
• /
• v.30 no.2
• /
• pp.1-11
• /
• 2024

Farmland transaction prices are affected by various factors such as politics, society, and the economy. The purpose of this study is to identify multiple factors that affect the farmland transaction price due to changes in the actual transaction price of farmland by farmland unit from 2016 to 2020. There are several previous studies analyzed the determinants of farmland transaction prices by considering spatial dependency. However, in the case of land transactions where the time and space of the transaction affect simultaneously, if only spatial dependence is considered, there is a limitation in that it cannot reflect spatial dependence that occurs over time. In order to solve these limitations, To address these limitations, this study builds a spatio-temporal autoregressive model that simultaneously considers spatial and temporal dependencies using farmland transactions in Jinju City as an example. As a result of the analysis, it was confirmed that there was significant spatio-temporal dependence in farmland transactions within the previous 30 days. This means that if the previous farmland transaction was carried out at a high price, it has a spatio-temporal spillover effect that indirectly affects the increase in the price of other nearby farmland transactions. The study also found that various location attributes and socioeconomic attributes have a significant impact on farmland transaction prices. The spatio-temporal autoregressive model of farmland prices constructed in this study can be used to improve the prediction accuracy of farmland prices in the farmland transaction market in the future, and it is expected to be useful in drawing policy implications for stabilizing farmland prices

• Journal of The Korean Society of Agricultural Engineers
• /
• v.49 no.6
• /
• pp.77-84
• /
• 2007

This study aims to analyze temporal variation of rural tourist potential in village level. In order to analyze the temporal variation, this study applied a green-tourism potential evaluation model(GPEM) to a study area, Namilmyun with 18 villages, which located on county of Kumsan, province of Chungnam. GPEM consists of two factors about human resources, which is quantified by resident population of the village who will be participated in village management for green-tourism, and amenity resources, which is calculated by an evaluation table with 31 criteria and their weighting values. Data surveying for the study area was performed at August 2003 and 2006, respectively, in order to quantity the 31 evaluation criteria of GPEM. From the analysis results, the amenity resources with three sub-classes of industrial, natural, and social resources showed that the evaluation values of 2006 were increased in more than those of 2003, displaying the increase rate of ranging from 108% to 112% in the three sub-classes, except of one village in social resources and three village in natural resources with reduction. In human resources, the evaluation values of 2006 were highly increased more than those of 2003, showing the rate of 556% in the gradient of linear regression line. In green tourism potential in each village, the evaluation results for two time series showed that the potential is increased by time, which the increase rate of the potential is 114%. Ultimately, the results of this study enable us to realize that the green-tourism potential in each village over time is increased, for example, due to developing new facilities in the village by investment of government and participating in rural tourism by resident people over time. From the analysis and results, the methodology of this study can be applied to analyze the temporal variation of the potential for villages having investment from government.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.963-973
• /
• 2016

Providing a semantic knowledge system using media ontologies requires not only conventional axiom reasoning but also knowledge extension based on various types of reasoning. In particular, spatio-temporal information can be used in a variety of artificial intelligence applications and the importance of spatio-temporal reasoning and expression is continuously increasing. In this paper, we append the LOD data related to the public address system to large-scale media ontologies in order to utilize spatial inference in reasoning. We propose an RDFS/Spatial inference system by utilizing distributed memory-based framework for reasoning about large-scale ontologies annotated with spatial information. In addition, we describe a distributed spatio-temporal SPARQL parallel query processing method designed for large scale ontology data annotated with spatio-temporal information. In order to evaluate the performance of our system, we conducted experiments using LUBM and BSBM data sets for ontology reasoning and query processing benchmark.

• Journal of IKEEE
• /
• v.20 no.1
• /
• pp.31-44
• /
• 2016

This paper presents a hole-filling algorithm based on extrapolating spatial-temporal background information used in view synthesis for free-viewpoint television. A new background codebook is constructed and updated in order to extract reliable temporal background information. In addition, an estimation of spatial local background values is conducted to discriminate an adaptive boundary between the background region and the foreground region as well as to update the information about the hole region. The holes then are filled by combining the spatial background information and the temporal background information. In addition, an exemplar-based inpainting technique is used to fill the rest of holes, in which a priority function using background-depth information is defined to determine the order in which the holes are filled. The experimental results demonstrated that the proposed algorithm outperformed the other comparative methods about average 0.3-0.6 dB, and that it synthesized satisfactory views regardless of video characteristics and type of hole region.