• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.487-492
• /
• 2010

그래프에서 k-서로소인 경로 커버는 정점 집합을 커버하면서 정점이 서로소인 .개의 경로들의 집합으로 정의하고, 이때 각 경로는 주어진 소스와 싱크를 잇는다. 각 소스와 싱크에 요구(demand)라고 부르는 양의 정수가 주어질 때, 요구가 d인 각 소스나 싱크가 d개의 경로에 포함되는 일반-요구 k-서로소인 경로 커버(general-demand k-disjoint path cover)를 정의할 수 있다. 이것은 일대일, 일대다, 그리고 비쌍형 다대다 서로소인 경로 커버를 일반화한 것이다. 이 논문에서는 일반-요구 k-서로소인 경로 커버 문제가 비쌍형 k-서로소인 경로 커버 문제로 변환될 수 있음을 보인다. 더구나 소스가 하나인 경우를 단일-소스 k-서로소인 경로 커버(single-source k-disjoint path cover)라고 부르는데, 이것은 일대다 k-서로소인 경로 커버 문제로 변환된다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.10
• /
• pp.539-554
• /
• 2007

In this Paper, we investigate conditions for proper interval graphs to have k-disjoint path covers of three types each: one-to-one, one-to-many, and many-to-many. It was proved that for $k{\geq}2$, a proper interval graph is one-to-one k-disjoint path coverable if and only if the graph is k-connected, and is one-to-many k-disjoint path coverable if and only if the graph is k+1-connected. For $k{\geq}3$, a Proper interval graph is (paired) many-to-many k-disjoint path coverable if and only if the graph is 2k-1-connected.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.12
• /
• pp.691-698
• /
• 2003

In this paper, we propose a problem, called one-to-one disjoint path cover problem, whether or not there exist k disjoint paths joining a pair of vertices which pass through all the vertices other than the two exactly once. A graph which for an arbitrary k, has a one-to-one disjoint path cover between an arbitrary pair of vertices has a hamiltonian property stronger than hamiltonian-connectedness. We investigate this problem on recursive circulants and prove that for an arbitrary k $k(1{\leq}k{\leq}m)$$ G(2^m,4)$,$m{\geq}3$, has a one-to-one disjoint path cover consisting of k paths between an arbitrary pair of vortices.

• The KIPS Transactions:PartA
• /
• v.16A no.1
• /
• pp.35-42
• /
• 2009

This paper proposes a new coverage algorithm for intelligent robot. Many algorithms for improving the performance of coverage have been focused on minimizing the total coverage completion time. However, if one does not have enough time to finish the whole coverage, the optimal path could be different. To tackle this problem, we propose a new coverage algorithm, which we call MaxCoverage algorithm, for covering maximal area within the deadline. The MaxCoverage algorithm decides the navigation flow by greedy algorithm for Set Covering Problem. The experimental results show that the MaxCoverage algorithm performs better than other algorithms for random deadlines.

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.1
• /
• pp.40-51
• /
• 2009

A paired many-to-many k-disjoint path cover (paired k-DPC) of a graph G is a set of k disjoint paths joining k distinct source-sink pairs in which each vertex of G is covered by a path. In this paper, we investigate disjoint path covers in recursive circulants G($cd^m$,d) with $d{\geq}3$ and tori, and show that provided the number of faulty elements (vertices and/or edges) is f or less, every nonbipartite recursive circulant and torus of degree $\delta$ has a paired k-DPC for any f and $k{\geq}1$ with $f+2k{\leq}{\delta}-1$.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1242-1243
• /
• 2015

센서 레지스트리 시스템(Sensor Registry System, SRS)은 이기종 환경에서 센서 네트워크 환경에서 센서 데이터의 즉각적 활용 및 끊김 없는 해석을 위해 사용자에게 센서 메타데이터를 제공한다. SRS에서 센서 메타데이터를 안정적으로 송신하기 위하여 경로 예측 기반 센서 레지스트리 시스템을 제안한다. 하지만 네트워크 연결이 지원되지 않거나 신호가 불안정한 경우에 센서 메타데이터를 안정적으로 제공할 수 없다. 이 문제를 해결하기 위하여 네트워크 커버리지 기반 센서 레지스트리 시스템을 제안한다. 이 논문에서는 네트워크 커버리지 기반 센서 레지스트리 시스템과 경로 예측 기반 센서 레지스트리 시스템을 비교평가 한다. 또한 통신사별로 경로예측 정확도를 측정한다. 성능 측정의 통계적 신뢰도를 높이기 위하여 실험 데이터를 10-묶음 교차검증을 수행한다.

• Composites Research
• /
• v.34 no.1
• /
• pp.57-62
• /
• 2021

As interest in the eco-friendly ships and lightweight equipment is increasing in the shipbuilding and marine industry, composite materials are applied to equipment such as pipes. In this study, a basalt fiber reinforced furan composite (BFC), an eco-friendly material, was manufactured to apply the pipe insulation cover that requires environment-friendly and heat/flame retardant performance. An optimization study of post-curing conditions of BFC was conducted, and experiments and analysis were performed on mechanical strength, heat/flame retardant properties, and affinity properties. Finally, as a result of the study BFC material is proved to be a good candidate to apply pipe insulation cover.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.217-220
• /
• 2011

LTL Synthesis와 그래프 커버리지를 이용하여 시스템의 요구사항으로 속성을 추출하여 GUI 의 테스트경로 생성에 대하여 설명한다. LTL Synthesis 는 GR formula 라는 특수한 형태를 사용하여 시스템의 상태, 환경으로부터의 입력 정보와 시스템의 행위, 상위 수준의 작업의 작업 명세를 입력으로 받아 GR formula 형태로 변환하고 기대되는 작업이 실현 가능하면 오토마타를 생성한다. 이렇게 생성된 오토마타에 그래프 커버리지를 이용하여 실험 가능한 GUI 테스트 경로를 생성하여 시스템을 검사한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.10
• /
• pp.789-796
• /
• 2006

An unpaired many-to-many k-disjoint nth cover (k-DPC) of a graph G is a set of k disjoint paths joining k distinct sources and sinks in which each vertex of G is covered by a path. Here, a source can be freely matched to a sink. In this paper, we investigate unpaired many-to-many DPC's in a subclass of hpercube-like interconnection networks, called restricted HL-graphs, and show that every n-dimensional restricted HL-graph, $(m{\geq}3)$, with f or less faulty elements (vertices and/or edges) has an unpaired many-to-many k-DPC for any $f{\geq}0\;and\;k{\geq}1\;with\;f+k{\leq}m-2$.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.8
• /
• pp.426-431
• /
• 2005

A many-to-many k-disjoint path cover (k-DPC) of a graph G is a set of k disjoint paths joining k distinct source-sink pairs in which each vertex of G is covered by a path. In this paper, we investigate many-to-many 2-DPC in a double loop network G(mn;1,m), and show that every nonbipartite G(mn;1,m), $m{\geq}3$, has 2-DPC joining any two source-sink pairs of vertices and that every bipartite G(mn;1,m) has 2-DPC joining any two source-sink pairs of black-white vertices and joining any Pairs of black-black and white-white vertices. G(mn;l,m) is bipartite if and only if n is odd and n is even.