• 한국정보과학회논문지:시스템및이론
• /
• 제35권6호
• /
• pp.263-272
• /
• 2008

본 논문은 피터슨 그래프를 기본으로 만든 새로운 상호연결망 피터슨-토러스(PT) 네트워크를 제안한다. PT 네트워크는 동일한 노드수를 갖는 honeycomb 토러스보다 짧은 지름을 갖고 망 비용이 개선된 연결망이다. 본 논문에서는 PT 네트워크의 최적 라우팅 알고리즘과 해밀톤 사이클 알고리즘을 제안하고, 지름, 망 비용 그리고 bisection width를 분석하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권10호
• /
• pp.868-879
• /
• 2000

이 논문은 에지나 정점, 혹은 모두에 고장이 있는 이중 루프 네트워크의 해밀톤 성질을 고려한다. 이중 루프 네트워크 G(mn;1,m)은 m$\times$m 그리드 그래프에 에지를 추가한 4-정규 그래프이다. m 과 n 이 모두 짝수인 이중 루프 네트워크 G(mn;1,m)은 고장난 요소(에지와 정점)의 수가 1이하인 경우에 해밀톤 연결되어 있고, 고장난 요소의 수가 2 이하인 경우에 항상 해밀톤 사이클을 가짐을 보인다.

• 전자공학회논문지C
• /
• 제36C권5호
• /
• pp.1-12
• /
• 1999

본 논문에서는 스위치-레벨 회로의 검증(verification)을 위해서 이진 결정 다이어그램(BDD : Binary Decision Diagram)을 구현하는 새로운 알고리즘을 제안한다. 스위치-레벨에서 기능(function)들은 스위치들의 직$\cdot$병렬 연결에 의해서 결정되며, 결과 논리 값은 논리 '0'과 '1'뿐만 아니라, 초기 상태, 고 임피던스와 불안정 상태를 가진다. 따라서, 본 논문에서는 "스위치-레벨 이진 결정 다이어그램(SLBDD : Switch- Level Bianary Decision Diagram)"으로 정의한 비 사이클 그래프(acyclic graph)들을 사용해서 스위치-레벨 회로의 가능들을 표현하도록 BDD를 확장하였다. 그러나, 그래프의 기능적 표현을 최악의 경우 입력 변수들의 수에 지수 함수적이 되므로, 결정 다이어그램의 변수 순서(ordering)는 그래프 크기에 주된 역할을 하게된다. 따라서, 패스-트랜지스터와 도미노-논리가 존재하는 사전에 충전하는 회로(Precharging circuitry)에서 그래프 크기에서의 효율성을 위한 입력 순서 알고리즘을 제안한다. 그리고, 실험 결과는 여러 가지 벤치-마크 회로에서 여러 번의 실험을 통해서 제안된 알고리즘이 스위치-레벨에서의 기능적 시뮬레이션, 전력 측정과 결점 시뮬레이션에 적용될 수 있을 만큼 충분히 효율적임을 보여준다.율적임을 보여준다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권5호
• /
• pp.359-368
• /
• 2013

매쉬업은 공개된 Open API를 이용하여 두 가지 이상의 서로 다른 자원을 섞어서 완전히 새로운 서비스를 만드는 웹 애플리케이션이다. 지난 몇 년간 매쉬업에 대한 관심도가 매우 높아 졌지만 수많은 API들을 매쉬업 속으로 결합할 때 여러 가지 이슈들이 존재한다. 특히, 조합 가능한 API들이 매쉬업 개발자에 의해 수동으로 통합될 때 이는 더욱 심각해진다. 본 논문에서는 Open API 자동 조합을 위한 하나의 새로운 알고리즘을 제안한다. 제안된 알고리즘은 오퍼레이션 연결 그래프 구축 및 조합 후보군 탐색으로 구성되어 있다. 우리는 Open API 입출력 사이의 시맨틱 유사도를 기반으로 오퍼레이션 연결 그래프를 구축하고, 원하는 목표를 만족하는 출력을 산출할 수 있는 사이클 없는 방향성 그래프(DAG)를 생성한다. 또한, DAG들을 효율적으로 생성하기 위해 조합에 도움이 되지 않은 API들은 사전에 신속히 필터링되는 전략을 수립한다. 본 논문에서 제안된 알고리즘은 ProgrammableWeb.com 사이트로부터 REST와 SOAP API 집합을 다운로드 받아 실험 분석을 수행하였다.

• 한국인터넷방송통신학회논문지
• /
• 제12권3호
• /
• pp.51-61
• /
• 2012

본 논문에서는 무방향 그래프의 최소신장트리 (Minimum Spanning Tree, MST) 알고리즘인 Prim MST 알고리즘으로 방향 그래프의 최소신장트리 (DMST)를 구하는 알고리즘을 제안하였다. 먼저, 무방향 그래프와 방향 그래프의 차이점을 반영하여 각 노드에서 유출되는 호들 중 최소 가중치를 가진 호 (Minimum Weight Arc, MWA)를 선택하는 Prim DMST 알고리즘을 제안하였다. 다음으로 Prim DMST 알고리즘과 DMST의 대표적인 Chu-Liu/Edmonds DMST 알고리즘을 실제 3개 그래프에 적용하여 DMST를 찾지 못하는 단점을 보였다. 마지막으로 항상 DMST를 찾을 수 있는 알고리즘으로 Prim DMST를 변형시킨 진보된 Prim DMST 알고리즘을 제안하였다. Prim DMST 알고리즘은 각 노드의 유출 호들 중 MWA를 선택하는 방법이다. 반면에 진보된 Prim DMST 알고리즘은 각 노드의 유출 호들과 유입 호들 중 일치하는 호들을 선택하는 방법을 택하였으며, 만약에 일치하는 호가 없을 경우 각 노드의 유출 호들 중 MWA를 선택하는 방법이다. 제안된 알고리즘을 17개의 다양한 그래프에 적용한 결과, 항상 Chu-Liu/Edmonds DMST 알고리즘과 동일한 DMST를 찾는데 성공하였다. 또한, Chu-Liu/Edmonds DMST 알고리즘과 같이 사이클을 제거하기 위한 복잡한 계산을 하지 않아도 되며, Prim DMST 알고리즘 보다 수행속도를 크게 단축시킬 수 있었다.

• 한국멀티미디어학회논문지
• /
• 제6권3호
• /
• pp.549-555
• /
• 2003

LFSR보다 CA가 랜덤성이 우수한 패턴들을 효율적으로 생성함이 알려지면서 그 응용분야가 점차적으로 확대되고 있다. 특히 Nongroup CA는 해쉬함수의 생성, 암호알고리즘, 이미지 압축 등에 응용되고 있다. 본 논문에서는 TPNCA의 성질들을 분석하고, 선형 TPNCA의 0-트리의 기본경로와 순환상태의 사이클 구조를 이용하여 선형 TPNCA의 상태 전이그래프의 정확한 구조를 파악하는데 사용되던 기존의 행렬의 곱셈 연산 방법을 덧셈 연산으로 대체할 수 있음을 보였다. 또한 선형 TPNCA C의 0-트리의 비순환 상태를 여원벡터로 갖는 여원 TPNCA C'은 C와 그 구조가 동형임을 밝힘으로써 선형 TPNCA로부터 여원 TPNCA의 상태들의 위치를 정확하게 파악하여, CA를 이용하는 알고리즘을 개발하는데 있어 선행되어야 하는 CA의 상태를 분석하는 시간을 효과적으로 줄였다.

• 한국컴퓨터정보학회논문지
• /
• 제20권5호
• /
• pp.31-39
• /
• 2015

방향 가중 그래프의 차수제약 최소신장트리 (degree-constrained minimum spanning tree, d-MST) 문제는 정확한 해를 구하는 다항시간 알고리즘이 존재하지 않아 NP-완전 문제로 알려져 왔다. 따라서 휴리스틱한 근사 알고리즘을 적용하여 최적 해를 구하고 있다. 본 논문은 차수와 사이클을 검증하는 Kruskal 알고리즘으로 d-MST의 초기 해를 구하고, d-MST의 초기 해에 대해 k-opt를 수행하여 최적 해를 구하는 다항시간 알고리즘을 제안하였다. 제안된 알고리즘을 4개의 그래프에 적용한 결과 2-MST까지 최적 해를 구할 수 있었다.

• 한국인터넷방송통신학회논문지
• /
• 제11권5호
• /
• pp.159-171
• /
• 2011

본 논문에서는 방향 그래프의 최소신장트리(Directed Graph Minimum Spanning Tree, DMST)를 구하는 알고리즘을 제안하였다. 기존의 Chu-Liu/Edmonds DMST 알고리즘은 DMST를 찾지 못하거나 ST의 가중치 합이 최소가 되지 못하는 경우가 발생한다. 제안된 알고리즘은 Chu-Liu/Edmonds DMST 알고리즘의 단점을 보완하여 항상 DMST를 찾을 수 있도록 하였다. 먼저, 근 노드를 포함한 모든 노드의 최소 가중치를 갖는 유입 호 (Minimum-Weight Arc, MWA)를 선택하여 오름차순으로 정렬시킨 후 사이클이 발생하는 호를 제거하는 과정을 거쳤다. 이 과정에서 최소신장 포레스트 (Minimum Spanning Forest, MSF)가 얻어진다. 만약 MSF가 1개이면 DMST가 얻어지며, MSF가 2개 이상인 경우, MSF 유입 호들 중 최소 가중치를 갖는 호를 결정하기 위해 직접 가중치 합을 계산하는 방법을 택하여 Chu-Liu/Edmonds DMST 알고리즘의 사이클 해결을 위한 유입 호 가중치 수정 과정을 단순화 시켰다. 제안된 Sulee DMST 알고리즘은 근 노드가 지정되어 있거나 미 지정된 경우 모두 항상 호들의 가중치를 최소화 시키는 DMST를 얻을 수 있으며, 그래프의 가중치가 최소화된 ST의 근 노드를 찾는 장점도 갖고 있다.

• 인터넷정보학회논문지
• /
• 제17권4호
• /
• pp.51-60
• /
• 2016

내장 소프트웨어는 실시간성 및 실행 환경으로부터의 독립성을 요구사항으로 갖는다. 실시간성 요구사항은 탑재된 태스크의 최악 실행 시간으로부터 영향을 받는다. 따라서 실시간성을 보장하기 위해서는 정적 분석 기반의 최악 실행 시간 분석 방법을 사용하여 프로그램의 최악 실행 시간을 파악하여야 한다. 그러나 기존의 최악 실행 시간 분석은 실행 환경으로부터 독립성을 고려하지 않는다. 이에 우리는 실행 환경으로부터 독립성을 제공하기 위해 소스코드로부터 실행 시간을 측정하는 방법을 제시한다. 이를 위해 실행 코드가 아닌 소스코드로부터 생성된 제어 흐름 그래프를 통해 실행 시간을 측정한다. 또한 소스코드로부터 생성된 제어 흐름 그래프에는 실행 시간 정보가 존재하지 않기 때문에, 이를 제공하기 위해 소스코드의 문장과 실행코드의 명령어와의 관계를 분석한다. 결과적으로 실행 시간 측정이 가능한 제어 흐름 그래프를 생성할 수 있다. 이를 통해 프로세서로부터 종속적인 부분을 매개변수화할 수 있기 때문에, 최악 실행 시간 분석 도구의 유연성을 향상시킬 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.619-621
• /
• 2005

모바일 디바이스의 보급 증가로 인해 사용자의 인터넷 접속이 증가하고 있다. 하지만 모바일 디바이스의 제한된 작은 인터페이스로 인하여 많은 양에 정 보를 화면에 표현 하는데 어려움을 가지고 있다. 이를 해결하기 위해 스크롤과 같은 방법을 이용하지만, 이런 방법은 전체 정보의 연관관계를 파악 하기 어렵는 문제점을 안고 있으며,사이클 존재하는 그래프 구조를 표현하기에는 부적합하다. 본 논문에서는 이러한 문제점을 개선하기 위해 모바일 디바이스의 디스플레이 공간을 효과적으로 이용하기 위한 정보 layout 방법 과 사용자가 효율적으로 정보를 검색할 수 있는 시각화 기법을 제안한다. 제안하는 기법은 원을 이용하여 정보를 배치한 Radial layout을 개선한 Rectangle layout을 사용하여 스크린 모서리 공간 손실을 줄인다. 그 다음 Rectangle상에 layout된 정보에 대해 정보간의 연관관계를 한눈에 쉽게 파악하여 원하는 정보에 더욱 빠르게 접근할 수 있는 시각화 알고리즘을 적용한다.