• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.475-484
• /
• 2005

The main aim of this paper is to consider the fuzzy norm, define the fuzzy Banach spaces, its quotients and prove some theoremes and in particular Open mapping and Closed graph theoremes on these spaces.

• 한국컴퓨터정보학회논문지
• /
• 제27권9호
• /
• pp.77-89
• /
• 2022

본 논문에서는 RML 매핑 방식으로 구축한 RDF 지식 그래프의 구조를 묘사하고 검증할 용도의 SHACL 스키마를 자동으로 생성하는 시스템을 제안한다. 제안하는 시스템은 기존 연구와는 달리 RML 매핑 규칙 뿐만 아니라 RML 매핑의 입력인 CSV, JSON, XML, 데이터베이스와 같은 다양한 포맷의 데이터에서 추출한 메타데이터도 함께 사용하여 스키마를 생성한다. 따라서 기존 연구 기반의 스키마에서는 부재했던 데이터 타입, 문자열 길이, 값의 범위, 차수 관련 제약 조건이 스키마에 포함된다. 그리고 기존 연구에서 간과한 소위 반복된 속성 문제를 제안하는 시스템은 해결한다. 297개의 케이스로 구성된 적합성 테스트를 통해 제안된 시스템이 그래프에 대한 올바른 제약 조건을 생성함을 보여준다. 제안된 시스템은 오류가 발생하기 쉬운 기존 수동 검증 프로세스를 자동화하는 데 기여할 수 있다.

• 한국산업융합학회 논문집
• /
• 제24권1호
• /
• pp.69-77
• /
• 2021

The widely used low-cost design methodology for IoT devices is very popular. In such a networked device, memory is composed of flash memory, SRAM, DRAM, etc., and because it processes a large amount of data, memory design is an important factor for system performance. Therefore, each device selects optimized design factors such as function, performance and cost according to market demand. The design of a memory architecture available for low-cost IoT devices is very limited with the configuration of SRAM, flash memory, and DRAM. In order to process as much data as possible in the same space, an architecture that supports parallel processing units is usually provided. Such parallel architecture is a design method that provides high performance at low cost. However, it needs precise software techniques for instruction and data mapping on the parallel architecture. This paper proposes an instruction/data mapping method to support optimized parallel processing performance. The proposed method optimizes system performance by actively using hardware and software parallelism.

• 한국정보통신학회논문지
• /
• 제18권1호
• /
• pp.72-77
• /
• 2014

비행 시뮬레이션 소프트웨어 개발 시 구름효과 구현을 위한 대표적인 연구로는 파티클 시스템을 이용한 구름 모델링과 텍스쳐 맵핑을 이용한 구름판 모델링이 있다. 하지만 전자의 경우 낮은 프레임율을 야기하는 반면, 후자의 경우는 비행 시 현실감이 떨어지는 문제가 있다. 이를 해결하기 위해 본 논문에서는 구름판 모델링 방법에 현실적 효과를 더 할 수 있도록 카메라에 안개효과를 적용하는 방안을 제안한다. 제안한 방안을 OpenSceneGraph를 사용한 대용량의 맵 데이터베이스 환경에서 실험 한 결과 기존의 구름판 모델링 방법에 비해 1~2Hz 정도로써 프레임은 거의 차이가 없었고, 현실적 효과 측면에서는 파티클을 이용한 구름 모델링 방법과 비슷하게 자연스럽고 현실적인 효과를 보였다.

• 한국공간정보시스템학회 논문지
• /
• 제7권1호
• /
• pp.39-52
• /
• 2005

XML을 기반으로 지리 정보의 저장 및 전송을 위한 인코딩 표준으로 제안된 GML은 점차 그 활용도가 증가하고 있다. 이에 웹 환경에서 지리 정보의 상호 운용성을 제공하기 위해 다양한 모델링, 저장 및 질의에 관한 연구가 수행되어 왔으며, 특히 구조적인 특성을 갖는 GML 문서를 효율적으로 저장하는 연구는 필수적이다. 따라서, 본 논문에서는 GML 스키마를 기반으로 작성된 GML 문서를 공간 데이터베이스로 저장하기 위한 GML 문서 변환 기법을 제안한다. 제안 기법에서는 GML 스키마를 방향성을 갖는 그래프 구조로 변환하고 이를 기반으로 공간 스키마로의 매핑에 대해 기술한다. 그리고 GML 문서를 공간 데이터베이스로 변환할 때 발생하는 의미적 손실을 보상하기 위해 GML 스키마에 존재하는 제약 조건을 변환된 공간 스키마에서 유지하기 위한 규칙을 제안한다. 또한 제안 기법은 공간 데이터베이스를 GML 문서의 저장소로 활용할 수 있도록 함으로써 이질적인 지리 정보의 상호 운용성 제공뿐 아니라 대량의 GML 문서에 대해 효과적인 저장과 관리가 가능하게 한다.

• 한국컴퓨터정보학회논문지
• /
• 제25권10호
• /
• pp.23-34
• /
• 2020

본 논문에서는 Direct Mapping(DM) 방식으로 생성된 RDF 지식 그래프에 대한 SHACL 스키마를 RDB 스키마로부터 자동 생성하는 방법을 제안한다. DM과 SHACL은 모두 W3C 표준 사양이다. DM은 RDB 데이터를 RDF 그래프로 변환하기 위한 규칙들로 구성되어 있다. SHACL은 RDF 그래프의 구조 묘사와 구조 검증을 위한 언어이다. 제안하는 방법은 RDB 스키마의 구조 정보뿐 아니라 무결성 제약조건을 SHACL로 자동 번역한다. 즉, 자동 생성된 SHACL 스키마는 RDBMS를 대신하여 무결성 제약조건 위배 여부를 검증할 수 있다. 이것은 RDB가 RDF 표현의 가상 지식 그래프로서 서비스되는 상황에서도 데이터베이스의 일관성을 보장하기 위한 고려이다. 자동 생성된 SHACL 스키마를 W3C가 발표한 24가지 DM 테스트 케이스에 적용하여 RDF 그래프의 구조 설명과 검증에 있어서 유효함을 보였다.

• 로봇학회논문지
• /
• 제16권3호
• /
• pp.179-188
• /
• 2021

Construction monitoring is one of the key modules in smart construction. Unlike structured urban environment, construction site mapping is challenging due to the characteristics of an unstructured environment. For example, irregular feature points and matching prohibit creating a map for management. To tackle this issue, we propose a system for data acquisition in unstructured environment and a framework for Intensity and Ambient Enhanced Lidar Inertial Odometry via Smoothing and Mapping, IA-LIO-SAM, that achieves highly accurate robot trajectories and mapping. IA-LIO-SAM utilizes a factor graph same as Tightly-coupled Lidar Inertial Odometry via Smoothing and Mapping (LIO-SAM). Enhancing the existing LIO-SAM, IA-LIO-SAM leverages point's intensity and ambient value to remove unnecessary feature points. These additional values also perform as a new factor of the K-Nearest Neighbor algorithm (KNN), allowing accurate comparisons between stored points and scanned points. The performance was verified in three different environments and compared with LIO-SAM.

• Journal of Applied and Pure Mathematics
• /
• 제5권1_2호
• /
• pp.41-53
• /
• 2023

Let G = (V, E) be a (p, q) graph. Define $${\rho}=\{{\frac{2}{p}},\;{\text{{\qquad} if p is even}}\\{\frac{2}{p-1}},\;{{\text{if p is odd}}$$ and L = {±1, ±2, ±3, … , ±ρ} called the set of labels. Consider a mapping f : V ⟶ L by assigning different labels in L to the different elements of V when p is even and different labels in L to p-1 elements of V and repeating a label for the remaining one vertex when p is odd.The labeling as defined above is said to be a pair difference cordial labeling if for each edge uv of G there exists a labeling |f(u) - f(v)| such that ${\mid}{\Delta}_{f_1}-{\Delta}_{f^c_1}{\mid}{\leq}1$, where ${\Delta}_{f_1}$ and ${\Delta}_{f^c_1}$ respectively denote the number of edges labeled with 1 and number of edges not labeled with 1. A graph G for which there exists a pair difference cordial labeling is called a pair difference cordial graph. In this paper we investigate pair difference cordial labeling behaviour of Petersen graphs P(n, k) like P(n, 2), P(n, 3), P(n, 4).

• Journal of applied mathematics & informatics
• /
• 제42권1호
• /
• pp.1-14
• /
• 2024

Let G = (V, E) be a (p, q) graph. Define $$\begin{cases}\frac{p}{2},\:if\:p\:is\:even\\\frac{p-1}{2},\:if\:p\:is\:odd\end{cases}$$ and L = {±1, ±2, ±3, ···, ±ρ} called the set of labels. Consider a mapping f : V → L by assigning different labels in L to the different elements of V when p is even and different labels in L to p - 1 elements of V and repeating a label for the remaining one vertex when p is odd.The labeling as defined above is said to be a pair difference cordial labeling if for each edge uv of G there exists a labeling |f(u) - f(v)| such that |Δ_f1 - Δ_f^c1| ≤ 1, where Δ_f1 and Δ_f^c1 respectively denote the number of edges labeled with 1 and number of edges not labeled with 1. A graph G for which there exists a pair difference cordial labeling is called a pair difference cordial graph. In this paper we investigate the pair difference cordial labeling behavior of subdivision of some graphs.

• 로봇학회논문지
• /
• 제8권4호
• /
• pp.256-265
• /
• 2013

A local map-based exploration algorithm for mobile robots is presented. Segmented frontiers and their relative transformations constitute a tree structure. By the proposed efficient frontier segmentation and a local map management method, a robot can reduce the unknown area and update the local grid map which is assigned to each frontier node. Although this local map-based exploration method uses only local maps and their adjacent node information, mapping completion and efficiency can be greatly improved by merging and updating the frontier nodes. Also, we suggest appropriate graph search exploration methods for corridor and hall environments. The simulation demonstrates that the entire environment can be represented by well-distributed frontier nodes.