• 국제학술발표논문집
• /
• The 9th International Conference on Construction Engineering and Project Management
• /
• pp.752-759
• /
• 2022

The instantiation of spaces as a discrete entity allows users to utilize BIM models in a wide range of analyses. However, in practice, their utility has been limited as spaces are erroneously entered due to human error and often omitted entirely. Recent studies attempted to automate space allocation using artificial intelligence approaches. However, there has been limited success as most studies focused solely on the use of geometric features to distinguish spaces. In this study, in addition to geometric features, semantic relations between spaces and elements were modeled and used to improve space classification in BIM models. Graph Convolutional Networks (GCN), a deep learning algorithm specifically tailored for learning in graphs, was deployed to classify spaces via a similarity graph that represents the relationships between spaces and their surrounding elements. Results confirmed that accuracy (ACC) was +0.08 higher than the baseline model in which only geometric information was used. Most notably, GCN was able to correctly distinguish spaces with no apparent difference in geometry by discriminating the specific elements that were provided by the similarity graph.

• Journal of applied mathematics & informatics
• /
• 제1권1호
• /
• pp.79-84
• /
• 1994

The purpose of this paper is to introduce and discuss the concept of ${alpha}$-compactness for fuzzy topological spaces. And we obtain a product theorem for an arbitrary product of ${alpha}$-compact fuzzy spaces.

• Journal of applied mathematics & informatics
• /
• 제3권2호
• /
• pp.117-128
• /
• 1996

Complementation theory in krein spaces can be extended for any self-adjoint transformation. There is a close relation between Julia operators and linear systems. The theory of Julia operators can be used to construct distinct Krein spaces which are the state spaces of extended canonical linear systems with given transfer function.

• Kyungpook Mathematical Journal
• /
• 제52권1호
• /
• pp.1-11
• /
• 2012

Our attention is turned to four-dimensional pseudo-Riemannian naturally reductive homogeneous spaces. In particular, our study leads to a complete classification of them.

• Ecology and Resilient Infrastructure
• /
• 제9권4호
• /
• pp.218-227
• /
• 2022

본 연구는 효율적인 하천 관리를 위해 중요한 데이터 중 하나인 하천 공간의 토지피복 분류를 위해 딥 러닝 기반의 이미지 트레이닝 방법의 활용가능성을 검토하였다. 이를 위해 대상 구간의 RGB 이미지를 활용하여 라벨링 작업 후 학습시킨 결과를 활용하여 기존 대분류 지표를 기준으로 토지피복 분류를 시도하였다. 또한 개방형으로 제공되는 Sentinel-2 위성 영상으로부터 무감독 분류 및 감독 분류에 의한 하천 공간의 토지피복 분류를 수행하였으며, 딥 러닝 기반 이미지 분류 결과와 비교하였다. 분석 결과의 경우 무감독 분류 결과와 비교하여 매우 향상된 예측 결과를 보여주었으며, 고해상도 이미지의 경우 더욱 정확한 분류 결과를 제시하였다. 단순한 이미지 라벨링을 통해 분류된 피복 분류 결과는 하천 공간 내 수역과 습지의 분류 가능성을 보여주었으며, 향후 추가적인 연구 수행이 이루어진다면 하천 관리를 위해 딥 러닝 기반 이미지 트레이닝 기법을 이용한 하천 공간내 피복 분류 결과의 활용이 가능할 것으로 판단된다.

• Korean Journal of Mathematics
• /
• 제24권4호
• /
• pp.627-636
• /
• 2016

In this paper, we study Ricci solitons, gradient Ricci solitons in the warped product spaces and gradient Yamabe solitons in the Riemannian product spaces. We obtain the necessary and sufficient conditions for the Riemannian product spaces to be Ricci solitons. Moreover we classify the warped product space which admit gradient Ricci solitons under some conditions of the potential function.

• Genomics & Informatics
• /
• 제17권4호
• /
• pp.39.1-39.20
• /
• 2019

Analyzing patterns in data points embedded in linear and non-linear feature spaces is considered as one of the common research problems among different research areas, for example: data mining, machine learning, pattern recognition, and multivariate analysis. In this paper, data points are heterogeneous sets of biosequences (composite data points). A composite data point is a set of ordinary data points (e.g., set of feature vectors). We theoretically extend the derivation of the largest generalized eigenvalue-based distance metric D_ij(γ₁) in any linear and non-linear feature spaces. We prove that D_ij(γ₁) is a metric under any linear and non-linear feature transformation function. We show the sufficiency and efficiency of using the decision rule $\bar{{\delta}}_{{\Xi}i}$(i.e., mean of D_ij(γ₁)) in classification of heterogeneous sets of biosequences compared with the decision rules min_𝚵iand median_𝚵i. We analyze the impact of linear and non-linear transformation functions on classifying/clustering collections of heterogeneous sets of biosequences. The impact of the length of a sequence in a heterogeneous sequence-set generated by simulation on the classification and clustering results in linear and non-linear feature spaces is empirically shown in this paper. We propose a new concept: the limiting dispersion map of the existing clusters in heterogeneous sets of biosequences embedded in linear and nonlinear feature spaces, which is based on the limiting distribution of nucleotide compositions estimated from real data sets. Finally, the empirical conclusions and the scientific evidences are deduced from the experiments to support the theoretical side stated in this paper.

• Current Research on Agriculture and Life Sciences
• /
• 제27권
• /
• pp.59-67
• /
• 2009

The purpose of this study is to propose the methodology for introducing green infrastructure that can improve the health of citizens by promoting walkability. The methodology is composed of the following three phases: classification of the types of green spaces, selection of core green spaces with two separate analyses, and introduction of the framework of green infrastructure to promote walkability. In the first phase, the classification of the types of green spaces was carried out in order to understand existing distribution pattern of green spaces in study site. In the second phase, walkable blocks were selected by such methods as walkability value. Through these two analyses, all the blocks were divided into three groups according to the ranking figured up the second analyses' results. The blocks in the first group, the group involved in the top 30% and having the greatest ranking, were defined as walkable blocks. In the last phase, a basic frame of the green infrastructure in study site was introduced by connecting the walkable blocks with using other blocks and the green spaces over 1ha. In case study, 28 important green spaces and 35 walkable blocks were selected through the two analysis process. Then, the basic framework of green infrastructure based on the selected 28 important green spaces and 35 walkable blocks was introduced. The methodology applied to this study can be used to get the best selections of the proper green infrastructure in accordance with the purpose of the ecological and recreational local development. In particular, this study will suggest a specific analysis model to use for the ecological and walkable urban planning with green spaces existing in the city.

• 호남수학학술지
• /
• 제33권4호
• /
• pp.617-628
• /
• 2011

In relation to the classification of finite topological spaces the paper [17] studied various properties of finite topological spaces. Indeed, the study of future internet system can be very related to that of locally finite topological spaces with some order structures such as preorder, partial order, pretopology, Alexandroff topological structure and so forth. The paper generalizes the results from [17] so that the paper can enlarge topological and homotopic properties suggested in the category of finite topological spaces into those in the category of locally finite topological spaces including ALF spaces.

• Journal of applied mathematics & informatics
• /
• 제9권1호
• /
• pp.359-370
• /
• 2002

The purpose of this paper is to introduce and discuss the concept of $\beta$-compactness for L-fuzzy topological spaces.