• Journal of the Korea Society of Computer and Information
• /
• v.18 no.2
• /
• pp.69-76
• /
• 2013

Reader-to-reader interference in RFID system is occurred due to the use of limited number of frequencies, and this is the main cause of read rate reduction in the passive RFID tags. Therefore, in order to maximize the read rate under the circumstances of limited frequency resources, it is necessary to minimize the frequency interference among RFID readers. This paper presents a hybrid FDM/TDM constraint satisfaction problem models for frequency interference minimization problems of the RFID readers, and assigns optimal channels to each readers using conventional backtracking search algorithms. A depth first search based on backtracking are accomplished to find solutions of constraint satisfaction problems. At this moment, a variable ordering algorithm is very important to find a solution quickly. Variable ordering algorithms applied in the experiment are known as efficient in the graph coloring. To justify the performance of the proposed constraint satisfaction problem model, optimal channels for each readers in the passive UHF RFID system are allocated by using computer simulation satisfying various interference constraints.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.280-287
• /
• 1994

본 논문에서는 광양제철소의 연속소둔공정의 작업단위편성 문제를 소개하고, 그 해결방안을 제시한다. 다루고자 하는 문제는 편성할 스케줄 내에서 전후 대상재간의 다양한 형태의 편차를 최소화하며 sequence의 길이를 최대화하 는 목적함수를 가지며, 동시에 공정의 특성상 발생하는 전후 대상재간의 제 약조건들을 만족시키는 문제이다. 이러한 문제를 해결하기 위하여 부분 최적 해를 구해 주는 순차적인 두가지 발견적(heuristic)기법을 제시한다. 첫째, 일 정의 길이를 최대화하며 전후 대상재간의 제약조건을 만족시키기 위한 "backtracking with look ahead" 기법이다. 특히 이 "backtracking with look ahead" 기법은 이미 개발된 "constraint satisfaction problem"을 기반으로 한 일정계획언어와 이에 연동된 코드생성기를 사용하여 구현되었다. 둘째, sequence내 전후 대상재간의 다양한 형태의 편차를 최소화하며 앞에서 만족 시킨 제약조건들을 계속 유지시키기 위한 평활화(smoothing) 기법이다. 마지 막으로 두가지 발견적 기법을 사용하여 본 연속소둔공정의 작업단위편성 문 제를 해결하는 과정을 보여준다. 이와 같은 발견적 기법을 이용하여 기존의 기법들로는 해결하기 힘든 복잡한 형태의 일정 계획 문제를 해결할 수 있었 다. 복잡한 형태의 일정 계획 문제를 해결할 수 있었 다.

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

현재 전국적으로 도시 철도의 각 호선별 열차 운행은 차량기지에서 출고된 열차가 기점과 종점의 두 지점 사이를 여러 차례 왕복한 후 정해진 차량기지로 입고방식을 취하는 것이 대부분이다. 그리고 매일 열차 운행이 개시되기 전 각 차량기지의 보유 열차 수는 전날과 동일해야 하는데 차량 기지가 복수로 존재할 경우 열차 운행계획 수립 시 어느 기지에서 출고한 어떤 차량이 어느 기지로 입고해야 하는지를 결정하는 문제가 더욱 어려워진다. 승객 수송을 위한 여러 가지 요구조건 또한 모두 만족시키면서 이 입출고 제약도 만족시키는 것은 쉬운 문제가 아니다. 하지만 열차 운행 계획 수립을 자동으로 생성하는 방법에 대한 연구는 매우 부족한 실정이다. 따라서 본 논문에서는 차량기지가 복수로 존재하는 상황에서의 현실 제약을 모두 만족하는 도시철도 운행 계획을 자동으로 생성하는 방법을 제시한다. 본 논문에서 제시하는 방법으로 실험 한 결과 기존의 방법으로 해결이 어려운 차량기지가 복수로 존재하는 상황에서의 현실제약을 모두 만족하는 계획을 빠른 시간 내에 수립 할 수 있음을 확인 하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.51-57
• /
• 2008

We present a modeling of constraint satisfaction problems and provide heuristic algorithms of backtracking search to optimize the frequency assignment. Our research objective is to find a frequency assignment that satisfies all the constraints using minimum number of frequencies while maximizing the number of community radio stations served for a given area. In order to get a effective solution, some ordering heuristics such as variable orderings and value orderings are provided to minimize the backtracking in finding all solutions within a limited time. To complement the late detection of inconsistency in the backtracking, we provide the consistency enforcing technique or constraint propagation to eliminate the values that are inconsistent with some constraints. By integrating backtracking search algorithms with consistency enforcing techniques, it is possible to obtain more powerful and effective algorithms of constraint satisfaction problems. We also provide the performance evaluation of proposed algorithms by comparing the theoretical lower bound and our computed solution.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.10
• /
• pp.3113-3118
• /
• 2000

A framework proposed in this paper includes representations of multi-objectives rule-basd constraint satisfaction problem(RCSP) and especially, flexible structure of RCSP which provides adequate solution sithin an expectation time and adaptively considers some change of constratraints on the RCSP. In this study, the power system implemented by above framework is entirely programmed by using a modeling system for the quantitative model and a rule-based constraint programming tool for the qualitative model. The results of an exemplary cse show how the structure that involves the problem representation gives the scheduler an effective decision and what are the advantages of the easy and diverse representation for considering the techmical characteristics of the units on the RCSP over the traditional problem.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.174-174
• /
• 1993

자원제약하의 롯트 사이즈 결정문제(capacitated lot sizing problem: CLSP)는 주어진 생산자원의 제약요건을 만족하면서 모든 계획기간의 수요를 충족시킬수 있는 가동준비와 재고유지비의 총합에 대한 최소화 문제다. CLSP는 NP-hard이기 때문에 그 해를 효율적으로 구하기 위한 휴리스틱 해법이 그동안 꾸준히 개발되어져 왔으며 그 대부분의 알고리즘은 Wagner-Whitin의 해도출원리를 이용한 것이다. 본 연구는 지금까지 개발된 CLSP의 알고리즘을 분석하여 그 특성을 파악한 후 본 연구에서 개발한 알고리즘과 이들 기존 알고리즘을 비교 실험함으로써 개발된 알고리즘이 어느 정도의 효율성을 가지는가를 검토하고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.275-277
• /
• 1998

최근 Ravi와 Goemanns는 즉 전체 길이의 합이 일정한 값을 넘지 않는 최소비용신장나무(minimum spanning tree problem)를 구하는 문제의 (1+$\varepsilon$,1)-근사해를 구할 수 있는 알고리듬을 제시하였다. 즉 비용은 최적을 보장하지만 전체길이 제약조건은 근사적으로 만족하는 해를 생성한다. 그러나 이러한 알고리듬은 문제의 비가능해를 생성 할 수 있으며 1/$\varepsilon$에 대하여 지수함수의 수행시간을 갖는다. 본 논문에서는 Ravi와 Geomanns의 알고리듬을 실용적으로 변형하여 전체 길이 제약조건을 정확히 만족하며, 그 비용은 최적비용과의 차이가 호의 비용 중 최대값을 넘지 않도록 보장하는 강성다항식 알고리듬을 제사한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.42-44
• /
• 1998

Sequential Ordering Problem(SOP)은 여러 개의 도시를 방문함에 있어 '어떤 도시를 다른 도시보다 먼저 방문해야 한다'는 선행제약이 있는 비대칭 순회 세일즈맨 문제(Traveling Salesman Problem)로서, 주어진 선행 제약을 만족하면서 모든 도시를 한번씩만 경유하는 가장 짧은 경로를 찾는 NP-Complete에 속하는 문제이다. 유전자 알고리즘은 SOP와 같은 조합 최적화문제에 대해 유용한 메타휴리스틱의 한가지이다. 본 논문에서는 SOP에 유전자 알고리즘을 적용할 때, 선행제약을 만족하는 해를 생성하는데 사용할 수 있는 선행관계유지 유전 연산자를 소개하고 이를 비교한다. 비교하는 유전 연산자는 선행관계유지 교차연산자, 선행관계유지 순서기반 교차연산자, 최대부분순서/임의삽입 연산자, 선행관계유지 간선재결합 연산자이다.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.4 s.32
• /
• pp.117-125
• /
• 2004

The berth and crane scheduling problem in a container terminal encompasses the whole process of assigning berth to each ship. determining the duration of berthing, assigning container cranes to each ship, and determining the specific start and end time of each crane service, for all the ships scheduled to be arriving at the terminal during a certain scheduling horizon. This problem is basically a constraint satisfaction problem in which all the constraints should be satisfied. However, it is also an optimization problem because the requested arrival and departure time should be met for as many of the scheduled ships as possible. while the operation cost of the terminal should be minimized. In this paper. I present an effective approach to solving this problem, which combines both constraint satisfaction search and iterative improvement search. I test this method on a real world container terminal problem and the results show that the method can produce better results than any other existing method.

• The KIPS Transactions:PartA
• /
• v.18A no.3
• /
• pp.115-122
• /
• 2011

It is very hard to obtain a general algorithm for solution of all the constraint satisfaction optimization problems. However, if the whole problem is separated into subproblems by characteristics of decision variables, we can assume that an algorithm to obtain solutions of these subproblems is easier. Under the assumption, we propose a problem classifying rule which subdivide the whole problem, and develop backtracking algorithms fit for these subproblems. One of the methods of finding a quick solution is efficiently arrange for any order of the search tree nodes. We choose the cluster head positioning problem in wireless sensor networks in which static characteristics is dominant and interference minimization problem of RFID readers that has hybrid mixture of static and dynamic characteristics. For these problems, we develop optimal variable ordering algorithms, and compare with the conventional methods. As a result of classifying the problem into subproblems, we can realize a backtracking framework for systematic search. We also have shown that developed backtracking algorithms have good performance in their quality.