• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.2
• /
• pp.103-116
• /
• 2017

In this paper, we present the design and implementation of a large-scale qualitative spatial reasoner, which can derive new qualitative spatial knowledge representing both topological and directional relationships between two arbitrary spatial objects in efficient way using Aparch Spark SQL. Apache Spark SQL is well known as a distributed parallel programming environment which provides both efficient join operations and query processing functions over a variety of data in Hadoop cluster computer systems. In our spatial reasoner, the overall reasoning process is divided into 6 jobs such as knowledge encoding, inverse reasoning, equal reasoning, transitive reasoning, relation refining, knowledge decoding, and then the execution order over the reasoning jobs is determined in consideration of both logical causal relationships and computational efficiency. The knowledge encoding job reduces the size of knowledge base to reason over by transforming the input knowledge of XML/RDF form into one of more precise form. Repeat of the transitive reasoning job and the relation refining job usually consumes most of computational time and storage for the overall reasoning process. In order to improve the jobs, our reasoner finds out the minimal disjunctive relations for qualitative spatial reasoning, and then, based upon them, it not only reduces the composition table to be used for the transitive reasoning job, but also optimizes the relation refining job. Through experiments using a large-scale benchmarking spatial knowledge base, the proposed reasoner showed high performance and scalability.

• Journal of Wetlands Research
• /
• v.15 no.3
• /
• pp.407-412
• /
• 2013

The aim of this study was to develop a tree box filter system, an example of Low Impact Development technology, for treating stormwater runoff from road. Monitoring of storm events was performed between June 2011 and November 2012 to evaluate the system performance during wet day. Based on the results, all runoff volume generated by rainfall less than 2 mm was stored in the system. The minimum volume reduction of 20% was observed in the system for rainfall greater than 20 mm. The greatest removal efficiency was exhibited by the system for total heavy metals ranging from 70 to 73% while satisfactory removal efficiency was exhibited by the system for particulate matters, organic matters and nutrients ranging from 60 to 68%. The system showed greater pollutant removal efficiency of 67 to 83% for rainfall less than 10 mm compared to rainfall greater than 10 mm which has 39 to 75% pollutant removal efficiency. The system exhibited less pollutant reduction for rainfall greater than 10 mm due to the decreased retention capacity of the system for increased rainfall. Overall, the system has proved to be an option for stormwater management that can be recommended for on-site application. Similar system may be designed based on several factors such as rainfall depth, facility size and pollutant removal efficiency.

• Journal of Korean Society of Transportation
• /
• v.26 no.3
• /
• pp.145-153
• /
• 2008

This study proposes a facility location model in consideration of spatial coverage and travel cost as an effort to make objective and effective decisions of natural gas filling stations. The proposed model is developed for fixed stations and consists of two stages. The first stage employs a heuristic algorithm to find a set of locations which satisfy the spatial coverage constraints determined by the maximum travel distance between the filling stations and bus depots. In the second stage, the optimal location of filling stations is determined based on the minimum travel cost estimated by using a modified transportation problem as well as the construction and maintenance costs of the filling stations. The applicability of the model is analyzed through finding the optimal location of filling stations for the city of Anyang, a typical medium-sized city in metropolitan Seoul, based on the demand of natural gas buses. This study is expected to help promote the spread of natural gas buses by providing a starting point of a objective and reasonable methodological perspective to address the filling station location problem.

• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.662-668
• /
• 2001

Since the problem of disproving a tautology is as hard as the problem of proving it, no polynomial time algorithm for falsification(or testing invalidity) is feasible. Previous algorithms are mostly based on either divide-and-conquer or graph representation. Most of them demonstrated satisfactory results on a variety of input under certain constraints. However, they have experienced difficulties dealing with big input. We propose a new falsification algorithm using a Merge Rule to produce a counterexample by constructing a minterm which is not satisfied by an input expression in DNF(Disjunctive Normal Form). We also show that the algorithm is consistent and sound. The algorithm is based on a greedy method which would seek to maximize the number or terms falsified by the assignment made at each step of the falsification process. Empirical results show practical performance on big input to falsify randomized nontautological problem instances, consuming O(nm$^2$) time, where n is the number of variables and m is number of terms.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.33 no.5
• /
• pp.427-436
• /
• 2015

This study aims to select an optimal site for the development of small-scaled artificial ground water recharge system with the purpose of 50ton/day pumping in dry season. First of all, the topography shape satisfying the numerous factors of a hydraulic model experiment is defined and an appropriate pumping efficiency is calculated through the model experiment of injection and pumping scenario. In next step, GIS(Geographic Information System) database are constructed by processing several geospatial data to explore the optimal site. In detail, watershed images are generated from DEM(Digital Elevation Model) with 5m cell size, which is set for the minimum area of the optimal site selection. Slope maps are made from DEM to determine the optimal hydraulic gradient to procure the proper aquifer undercurrent period. Finally, the suitable site for artificial recharge system is selected using an integration of overall data, such as an alluvial map, DEM, orthoimages, slope map, and watershed images.

• Journal of IKEEE
• /
• v.23 no.4
• /
• pp.1288-1294
• /
• 2019

The channel-achieving property made the polar code show to advantage as an error-correcting code. However, sufficient error-correction performance shows the asymptotic property that is achieved when the length of the code is long. Therefore, efficient architecture is needed to realize the implementation of very-large-scale integration for the case of long input data. Although the most basic fully parallel encoder is intuitive and easy to implement, it is not suitable for long polar codes because of the high hardware complexity. Complementing this, a partially parallel encoder was proposed which has an excellent result in terms of hardware area. Nevertheless, this method has not been completely generalized and has the disadvantage that different architectures appear depending on the hardware designer. In this paper, we propose a hardware design scheme that applies the proposed systematic approach which is optimized for bit-dimension permutations. By applying this solution, it is possible to design a generalized partially parallel encoder for long polar codes with the same intuitive architecture as a fully parallel encoder.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.24 no.4
• /
• pp.313-318
• /
• 2006

Recently, the single plane coordinate system which has one origin is required to create and manage continuous geographic framework data of entire Korean peninsula. For this, UTM-K (Univercial Transverse Mercator-K) was established in 2005. In this paper, the level of distortion was analyzed with respect to the central meridian and scale factor of UTM-K. The latitude and longitude values of the center point of 1/25000 scale digital maps were used for calculating the scale factor which was created by projection and the scale factor was used for index that presents the degree of distortion. As a result, accumulated distortion of scale factor by UTM-K map projection showed about $23.744{\times}10^{-2}$. On the other hand, the minimum distortion which was about $5.1435{\times}10^{-2}$ occurred when central meridian is $127^{\circ}\;42'$ and scale factor of central meridian was 0.99994 respectively.

• Korea Real Estate Review
• /
• v.24 no.1
• /
• pp.7-14
• /
• 2014

This study, as the temporal and spatial data for the real price apartment in Seoul from January 2006 to June 2013, empirically compared and analyzed the estimation result of apartment price using OLS by hedonic price model for the problem of space-time correlation, temporal autoregressive model (TAR) considering temporal effect, spatial autoregressive model (SAR) spatial effect and spatiotemporal autoregressive model (STAR) spatiotemporal effect. As a result, the adjusted R-square of STAR model was increased by 10% compared that of OLS model while the root mean squares error (RMSE) was decreased by 18%. Considering temporal and spatial effect, it is observed that the estimation of apartment price is more correct than the existing model. As the result of analyzing STAR model, the apartment price is affected as follows; area for apartment(-), years of apartment(-), dummy of low-rise(-), individual heating (-), city gas(-), dummy of reconstruction(+), stairs(+), size of complex(+). The results of other analysis method were the same. When estimating the price of real estate using STAR model, the government officials can improve policy efficiency and make reasonable investment based on the objective information by grasping trend of real estate market accurately.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.205-205
• /
• 2018

전구기후모델은 전 지구 규모에서 일관성 있는 전망 결과를 제공한다. 이를 수자원분야의 활용과 같은 지역 단위의 응용분야에 실질적으로 활용하기 위해서는 상세화 절차가 반드시 필요하며, 상세화 전후의 결과에 대한 평가가 필요하다. 본 연구에서는 전구기후모델을 이용한 상세화 전후의 체계적인 평가를 위한 방법을 제안하고자 한다. 평가방법으로는 과거 재현성 평가와 미래 불확실성 평가를 통해 실시하였다. 과거 재현성 평가는 상세화 이전 전구기후모델의 과거 공간재현성평가와 상세화 된 자료와 ETCCDI를 이용한 Technique for Order of Preference b Similarity to Ideal Solution (TOPSIS)기법으로 평가하였다. 미래 기간의 불확실성 평가는 Katsavounidis approach (KKZ)방법을 통한 미래 불확실성의 설명력을 고려하여 실시하였다. 전구기후모델은 CMIP5에서 제공되는 모형들 중 26를 이용하였고, Representative Concentration Pathways (RCP) 시나리오는 4.5와 8.5를 이용하였고, 기상변수는 강수량, 최대기온, 최저기온을 구축하였다. 상세화는 통계적 상세화방법 중 하나인 Spatial Disaggregation Quantile Delta Mapping (SDQDM)방법을 이용하였다. 과거 재현성평가를 위한 과거기간은 1976년부터 2005년까지의 30년 기간을 사용하였다. 미래 불확실성 평가를 위한 기간은 3개 구간 (2011-2040, 2041-2070, 2071-2099)을 사용하였다. 과거 재현성 평가를 통해 26개 전구기후모델 중 모사력이 부족하다고 판단되는 모델을 제외한 19개 전구기후모델을 선정하였고, 이를 이용하여 미래 불확실성 평가를 실시하였다. 그 결과 각각의 미래기간과 RCP시나리오에서의 미래변동성을 설명하기 위한 전구기후모델의 최소 필요수를 알 수 있었다. 본 연구의 결과를 효율적인 수자원분야의 전구기후모델의 활용이 가능할 것으로 기대된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.62-62
• /
• 2020

기후변화에 따른 기온과 강수량 등 기상조건의 변화로 인하여 기상·자연재해뿐만 아니라 작물의 수확량 감소, 병해충 및 잡초 발생의 증가, 흙과 물의 부족, 재배 적지의 변화와 같은 농업인프라 또한 기후변화의 피해가 발생하고 있다. 농업수자원 측면에서, 농어촌용수는 자연적으로 내리는 강우를 직접 작물성장에 사용하기 때문에 기후변화에 특히 민감하다. 또한 기온의 변화는 농업용 저수지의 증발량 및 유입량의 변화를 일으키며 이러한 변화는 곧 저수위 및 저수량의 변화를 유발하여 농업·농촌 수자원 관리의 어려움으로 이어질 것으로 판단된다. 이에 따라, 기후변화에 따라 예상되는 대규모 자연재해를 대비하고 기후변화에 효율적으로 대처하기 위해서는 체계적이고 과학적인 기상·기후 정보의 활용이 중요하며 기후변화로 인한 농업 기상재해 최소화를 위해서는 다양한 기후변화 시나리오를 활용하여 미래 기상·기후의 변화에 대한 경향성 분석 및 예측을 통한 영향 평가가 필요하다. 본 연구는 전국 농어촌용수구역 517개 용수구역 중 접경·도시·도서지역을 제외한 511개 용수구역을 대상으로 증발산량 산정이 가능한 RCP 8.5 기후변화 시나리오 9개를 지역별로 상대적인 기후사상의 크기와 빈도 및 강도 정량적으로 평가할 수 있는 STARDEX 극한지수를 적용하여 시나리오의 미래 기상전망을 실시하였다. 기상전망 결과를 이용하여 Kendall-Tau 검정을 통해 시나리오의 순위를 적용하여 각 시나리오의 미래기후변화의 상대적인 정도를 평가하였고, 9개의 기후변화 시나리오를 DIROM(Daily Irrigation Reservoir Operation Model) 모형에 적용하여 기후변화 시나리오의 높은 불확실성을 고려한 미래 농어촌용수구역의 농어촌용수 필요수량 변화를 지역적으로 분석하고 미래 농어촌용수량의 최대·최소 변화 범위를 제시하였다.