• 한국정보처리학회논문지
• /
• 제4권4호
• /
• pp.982-992
• /
• 1997

소프트웨어 개발비용의 대부분이 생명주기 중에서도 특히 테스트 공정에 소비된다. 일반적으로 디버깅을 위해 자주 사용되는 기법으로서 백트랙(backtrack) 기법과 프로 그램 슬라이스 기법이 있으나 디버거에 대한 풍부한 경험이 요구되거나 대규모 프로그램 에 대해서는 적용하기 곤란하다. 본 논문에서는 표준적으로 사용되고 있는 설계문서의 정보를 이용하고 벡트랙기법과 프로그램 슬라이스 기법을 조합시킨 새로운 오류 위치의 결정 방법을 제안하였다. 디버깅 기법을 제안하기 위해 몇 가지 기본개념과 대상으로 하는 오류, 표준적인 설계문서 및 제안하는 오류 위치의 결정방법에 대해서 기술하였다. 그리고 오류가 포함한 프로그램의 예를 이용하여 제안한 방법의 절차를 설명하였으며 끝으로 제안방법과 일반 슬라이스 기법을 비교.분석하였다.

• Industrial Engineering and Management Systems
• /
• 제8권4호
• /
• pp.239-246
• /
• 2009

This paper deals with the makespan minimization problem of job shops. The problem is known as one of hard problems to optimize, and therefore, many heuristic methods have been proposed by many researchers. The aim of this study is also to propose a heuristic scheduling method for the problem. However, the difference between the proposed method and many other heuristics is that the proposed method is based on depth-first branch and bound, and thus it is possible to find an optimal solution at least in principle. To accelerate the search, when a node is judged hopeless in the search tree, the proposed flexible branch and bound method can indicate a higher backtracking node. The unexplored nodes are stored and may be explored later to realize the strict optimization. Two methods are proposed to generate the backtracking point based on the critical path of the current best feasible schedule, and the minimum lower bound for the makespan in the unexplored sub-problems. Schedules are generated based on Giffler and Thompson's active schedule generation algorithm. Acceleration of the search by the flexible branch and bound is confirmed by numerical experiment.

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.49-57
• /
• 2007

P2P 분산 시스템은 네트워크로 연결된 다양한 컴퓨팅 환경 하에 존재하는 유휴 컴퓨팅 자원을 활용함으로써 다양한 연구가 활발히 진행되고 있다. 이는 복수로 존재하는 검색 대상 파일들 가운데 다운로드 시간이 가장 짧은 피어를 대상으로 P2P 통신이 이루어지는 것이 일반적인 방법이다. 여기에 P2P 검색 알고리즘이 복수로 존재하는 검색 대상 파일들 가운데 다운로드 시간이 가장 짧은 피어를 선택하는 기준에 따라 실제 다운로드 시간을 결정하는 가장 중요한 요인이다. 그러나 네트워크 연결성이 약하기 때문에 자원 제공 피어의 오프라인 상태로 전환 될 수 있고, 이때 주로 자원 재전송의 방법을 선택하게 된다. 본 연구에서는 자원 재전송 요구 발생시 성능 개선을 위한 역 추적 자원 검색 알고리즘을 제안한다.

• 한국인터넷방송통신학회논문지
• /
• 제17권4호
• /
• pp.155-161
• /
• 2017

본 논문은 지금까지 NP-완전 문제로 다항시간 알고리즘이 존재하지 않는 스도쿠 퍼즐 문제의 해를 다항시간으로 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 빈칸들에 [$1,2,{\cdots},9$] 중에서 행, 열과 블록에 존재하는 실마리 숫자를 제외한 후보 집합을 초기치로 설정하였다. 빈칸의 후보 집합에 대해 Stuart이 제시한 기본적인 규칙들과 더불어 2개의 추가 규칙을 제시하고, 마지막으로 이진 역추적 기법(BBT)을 적용하였다. 다양한 부류의 해를 갖는 실험데이터들에 대해 적용한 결과 제안된 BBT 알고리즘은 어떠한 부류의 해를 갖던지에 상관없이 주어진 스도쿠 퍼즐을 풀 수 있음을 보였다.

• 한국컴퓨터정보학회논문지
• /
• 제16권4호
• /
• pp.127-135
• /
• 2011

백트래킹을 이용한 깊이우선탐색에서 해를 빨리 찾기 위한 방법 중 하나는 결정변수의 순서를 효과적으로 배열하는 것이다. 이 때 문제의 동적 및 정적 특성을 고려한 변수 순서화 알고리즘 개발은 매우 중요한 문제이다. 그러나 문제에 적합한 최적의 변수 순서화 알고리즘을 개발하는 것은 어려운 문제이다. 본 논문에서는 변수의 속성에 기반을 두어 문제의 형태를 규정하는 문제분류규칙을 제안하고 이 규칙을 이용하여 문제에 적합한 변수 순서화 알고리즘의 형태를 예측할 수 있게 한다. 결정변수가 동적 및 정적 특성을 갖는 DS-type 문제로서 주파수 할당문제를 선택하여 최적의 변수 순서화 알고리즘을 예측한다. 또한 문제분류규칙에 의해 생성되지 않는 특별한 형태의 문제인 기지국 위치문제를 적용하여 제안하는 문제분류규칙의 효용성을 입증한다.

• 한국컴퓨터정보학회논문지
• /
• 제19권2호
• /
• pp.151-159
• /
• 2014

본 연구에서는 Haskell의 모나드 기법을 이용한 명령형 언어의 컴파일러 구현에 대해 논의한다. 이 컴파일러는 한 생성 룰이 입력 스트링의 파싱을 실패할 때 다른 생성 룰로써 파싱하는 backtracking 기능의 비 결정적 Recursive Descent Parser를 포함한다. Haskell은 파싱에 필요한 우수한 기능들을 가지고 있다. Haskell의 대수적 타입은 추상구문트리를 자연스럽게 표현할 수 있으며, 모나드 파싱을 적용한 프로그램 코드는 매우 간결하여 가독성이 좋고, 타 언어에 의해 구현된 것에 비해 코드의 양이 획기적으로 감소된다. 이 컴파일러의 목적 코드는 스택 머신을 기반으로 한 Stack-Assembly 언어로서 이것을 위한 코드 생성과 어셈블러 실행 환경에 대해서도 논의한다.

• 융합신호처리학회논문지
• /
• 제24권3호
• /
• pp.172-177
• /
• 2023

본 논문에서는 초음파 신호의 2차원 역추적 방법을 제안한다. 초음파 센서는 송수신 장치를 서로 쌍으로 이용하여 거리 측정 및 실내 위치 추적에 많은 연구가 되어 산업 분야에 쓰이고 있는 보편적인 기술이다. 본 논문에서는 초음파 신호를 수신기만 활용하여 임의의 초음파 송신 장치들의 신호원을 2차원 평면상으로 추적하는 방법을 제안한다. 초음파 신호를 추적하기 위해 수신기는 최소 3개를 이루어 신호를 수신한다. 3개의 수신기는 각각의 초음파 수신음의 도달 시간차를(Time Difference of Arrival, TDOA) 이용하여 방향 및 거리를 연산할 수 있다. 기존 초음파를 이용한 신호원 추적 방법은 송수신기가 쌍으로 이루어지거나 센서마다 독립적으로 설치가 되어야 하기 때문에 장치들의 시간 동기화가 문제가 있다. 이 문제를 해결하기 위해 초음파 수신기의 거리를 최소화하여 설치고 하나의 장치로 구성한다. 하나의 장치로 설치된 센서는 하나의 연산기로 처리하기에 시간 동기화 문제를 해결할 수 있다. 시간차 정확도를 올리기 위해 시간 분해능이 높은 고속 32비트 타이머를 사용하여 거리 및 방향을 빠르게 연산 및 추적할 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1993년도 춘계공동학술대회 발표논문 및 초록집; 계명대학교, 대구; 30 Apr.-1 May 1993
• /
• pp.136-145
• /
• 1993

This paper considers a reliability problem as a special type of flow problem and presents an algorithm to evaluate the exact 2-terminal reliability of networks by using a backtracking technique. It employs a polygon-to-chain reduction in addition to series and parallel reduction techniques to reduce execution time. In comparisons, it presents a much better performance than other algorithms known to us. We also propose a methodology to apply the algorithm for approximation of the system reliability.

• 전자통신동향분석
• /
• 제8권4호
• /
• pp.177-185
• /
• 1993

본 고에서는 기존의 maximal cliques 탐색 알고리즘들을 조사하여 분석하고 문제점들을 제시하여 상호 비교 분석함으로써 maximal cliques를 탐색하는 분야에 대한 알고리즘의 체계를 파악하고 기여할 수 있도록 노력하였다. 특히 기존의 clique 탐색 알고리즘들을 그들이 사용하는 기법에 따라서 point sequence method, line addition and removal technique, backtracking technique, 그리고 stack operation technique로 분류하고 각 기법에 해당하는 사례 알고리즘들을 분석하여 장단점들을 파악하며 상호 비교 분석하는데 그 초점을 맞추었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.667-669
• /
• 1999

최근 VLSI 디자인의 비용과 복잡성은 디자인 과정에서 필수조건이다. 소자 모델링과 수치적 방법은 spice와 같은 회로 시뮬레이터를 사용하여 얻을 수 있으며 simulated annealing과 같은 기법의 기술적인 장점은 많은 부분에서 응용된다. 이러한 기법들은 다량의 메모리 제조와 소규모 연구의 프로젝트까지 거의 모든 칩 디자인에 사용된다. 따라서 본 논문에서는 VLSI 회로의 패턴 매칭에 관한 역트랙킹(backtracking) 깊이-우선 탐색을 할 수 있는 그래프 탐색 매칭 알고리즘을 제안하였다.