• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• 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-서로소인 경로 커버 문제로 변환된다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권10호
• /
• pp.539-554
• /
• 2007

이 논문에서는 진구간 그래프(proper interval graph)가 각각 일대일, 일대다. 다대다 k-서로소인 경로 커버를 가질 조건을 고찰한다. 진구간 그래프는 $k{\geq}2$인 경우, k-연결되어 있는 경우에만 일대일 k-서로소인 경로 커버를 가지며, k+1-연결되어 있는 경우에만 일대다 k-서로소인 경로 커버를 가짐을 증명하였다. 그리고 $k{\geq}3$일 때 진구간 그래프는 2k-1-연결되어 있는 경우에만 (쌍형) 다대다 k-서로소인 경로 커버를 가진다.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권12호
• /
• pp.691-698
• /
• 2003

이 논문에서는 주어진 두 정점 사이에 다른 모든 정점을 정확히 한번 지나는 k개의 서로소인 경로가 존재하는가 하는 일대일 서로소인 경로 커버 문제를 제안한다. 임의의 k, 임의의 두 정점 사이에 일대일 서로소인 경로 커버를 가지는 그래프는 해밀톤 연결되어 있다는 것보다 강한 해밀톤 성질을 가진다. 재귀원형군에서 이 문제를 고찰하여, 임의의$k(1{\leq}k{\leq}m)$에 대해서 $ G(2^m,4)$, $m{\geq}3$은 임의의 두 정점 사이에 k개의 경로로 이루어진 일대일 서로소인 경로 커버가 존재함을 보인다.

• 정보처리학회논문지A
• /
• 제16A권1호
• /
• pp.35-42
• /
• 2009

이 논문은 지능형 로봇을 위한 새로운 커버리지 알고리즘을 제안한다. 커버리지 알고리즘의 성능을 향상하기 위한 많은 연구들은 전체 커버리지 완료 시간을 최소화하는데 초점을 맞추어왔다. 그러나, 만일 전체 커버리지를 완료하기에 충분한 시간이 없다면, 최적의 경로는 달라질 수 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 MaxCoverage라고 하는 데드라인이 있을 경우에 가능한 많은 면적을 커버하기 위한 새로운 커버리지 알고리즘을 제안한다. MaxCoverage 알고리즘은 이동 경로를 셋 커버 문제를 위한 그리디 알고리즘을 이용하여 결정한다. 실험 결과에 의하면 MaxCoverage 알고리즘은 임의의 데드라인에 대하여 다른 알고리즘들에 비해 향상된 성능을 보여준다.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권1호
• /
• pp.40-51
• /
• 2009

그래프 G의 쌍형 다대다 k-서로소인 경로 커버(쌍형 k-DPC)는 k개의 서로 다른 소스-싱크 쌍을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합이다. 이 논문에서는 재귀원형군 G($cd^m$,d), $d{\geq}3$과 토러스에서 서로소인 경로 커버를 고려하여, 이분 그래프가 아니고 분지수가 $\delta$인 재귀원형군과 토러스는 고장 요소(정점이나 에지)가 f개 이하일 때 $f+2k{\leq}{\delta}-1$을 만족하는 임의의 f, $k{\geq}1$에 대하여 쌍형 k-DPC를 가짐을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1242-1243
• /
• 2015

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

• Composites Research
• /
• 제34권1호
• /
• pp.57-62
• /
• 2021

조선해양산업에서 친환경 선박 및 경량화 기자재에 관한 관심이 높아짐에 따라 파이프 등의 기자재에 복합재료를 적용하고 있다. 본 연구에서는 친환경 및 내열/난연 성능을 요구하는 파이프 단열재 커버에 적용하기 위해 친환경 소재인 바잘트 섬유강화 퓨란복합재료(BFC, basalt fiber reinforced furan composite)를 제조하였다. BFC 소재의 낮은 물성을 강화시키기 위해 후경화 조건의 최적화 연구를 수행하였고, BFC 소재의 기계적강도, 내열/난연 특성 강화, 친화경 특성에 대한 실험과 평가를 진행하였다. 최종적으로 연구 결과 조선해양기자재인 파이프 단열재 커버에 BFC 소재의 적용이 가능함을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.217-220
• /
• 2011

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

• 한국정보과학회논문지:시스템및이론
• /
• 제33권10호
• /
• pp.789-796
• /
• 2006

그래프 G의 비쌍형 다대다 k-서로소인 경로 커버(k-DPC)는 k개의 서로 다른 소스 정점과 싱크 정점을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합을 말한다 여기서 한 소스는 임의의 한 싱크와 짝지어질 수 있다. 이 논문에서는 하이퍼큐브형 상호연결망의 한 부류인 제한된 HL-그래프에서 비쌍형 다대다 DPC를 고려하여, 고장인 요소(정점이나 에지)의 수가 f 이하인 모든 m차원 제한된 HL-그래프$(m{\geq}3)$는 $f+k{\leq}m-2$을 만족하는 임의의 $f{\geq}0,\;k{\geq}1$에 대하여 비쌍형 다대다 k-DPC를 가짐을 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권8호
• /
• pp.426-431
• /
• 2005

그래프 G의 다대다 k-서로소인 경로 커버(k-DPC)는 k개의 서로 다른 소스 정점과 싱크 정점 쌍을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합을 말한다. 이 논문에서는 이중 루프 네트워크 G(mn;1,m)에서 다대다 2-DPC를 고찰하여, 이분 그래프가 아닌 모든 G(mn;l,m), $m{\geq}3$은 임의의 두 소스-싱크 쌍을 연결하는 다대다 2-DPC가 존재하고 이분 그래프인 G(mn;1,m)은 두 흰색-검정 소스-싱크 쌍이거나 혹은 검정-검정, 흰색-흰색 쌍을 연결하는 2-DPC가 존재함을 보인다. G(mn;1,m)은 m이 홀수이고 n이 짝수일 경우에만 이분 그래프이다.