• 산업기술연구
• /
• 제19권
• /
• pp.91-99
• /
• 1999

The dock is the most important resource in shipbuilding yard. Among the shipbuilding schedules, the ship erection schedule in a dock is preferentially built. As results of it, the other schedules(machining in plants, block assembly, pre-painting, pre-rigging, painting and etc) are made. In this study, ship erection scheduling is formulated using ILOG Scheduler. This study is to develop a new problem solving method for ship erection to make an effective schedule based on Constraint Satisfaction Technique(CST).

• 산업경영시스템학회지
• /
• 제25권2호
• /
• pp.92-101
• /
• 2002

The Job Shop Scheduling Problem(JSSP) is concerned with schedule of m different machines and n jobs where each job consists of a chain of operations, each of which needs to be processed during an uninterrupted time period of a given length on a given machine. The purpose of this paper is to develop the efficient heuristic method for solving the minimum makespan problem of the large scale job shop scheduling. The proposed heuristic method is based on a Tabu Search(TS) and on a Constraint Satisfaction Technique(CST). In this paper, ILOG libraries is used to embody the job shop model, and a CST is developed for this model to generate the increased solution. Then, TS is employed to overcome the increased search time of CST on the increased problem size md to refine the next-current solution. Also, this paper presents the new way of finding neighbourhood solution using TS. On applying TS, a new way of finding neighbourhood solution is presented. Computational experiments on well known sets of MT and LA problem instances show that, in several cases, our approach yields better results than the other heuristic procedures discussed In literature.

• 대한인간공학회:학술대회논문집
• /
• 대한인간공학회 1995년도 추계학술대회논문집
• /
• pp.172-181
• /
• 1995

A control panel layout system was developed to generate an ergrnomically sound panel design. A constraint satisfaction concept was introduced as a framework of incorporating diverse ergonomic design guidelines into the panel layout. An efficient search algorithm which can find a constraint satisfaction solution within a reasonable time was developed based on preprocess and look ahead procedures with the backjumping technique. The proto- type panel layaout system was developed on a SPARC workstation. The constraint satisfaction algorithm was programmed in C language with Motif as a GUI tool under the X-windows environment. The effectiveness of the prototype paned layout system was examined by a case study.

• 대한안전경영과학회지
• /
• 제6권2호
• /
• pp.141-154
• /
• 2004

The objective of this paper is to develop the efficient heuristic method for solving the minimum makespan problem of the job shop scheduling. The proposed heuristic method is based on a constraint satisfaction problem technique and a improved randomizing search algorithm. In this paper, ILOG programming libraries are used to embody the job shop model, and a constraint satisfaction problem technique is developed for this model to generate the initial solution. Then, a improved randomizing search algorithm is employed to overcome the increased search time of constrained satisfaction problem technique on the increased problem size and to find a improved solution. Computational experiments on well known MT and LA problem instances show that this approach yields better results than the other procedures.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집B
• /
• pp.706-711
• /
• 2001

This paper represents a relaxation matching algorithm based on global structure constraint satisfaction. Relaxation matching algorithm is a conventional approach to the matching problem. However, we confronted some problems such as null-matching and multi-matching problems by just using the relaxation matching technique. In order to solve the problems, in this paper, the matching problem is regarded as constraint satisfaction problem, and a relaxation matching algorithm is proposed based on global structure constraint satisfaction. The proposed algorithm is applied a landslide picture to show the effectiveness. When the algorithm is processed at landslide inspecting and monitoring system, motion parameters such as displacement area and its direction are computed. Once movement is recognized, displacements are estimated graphically with statistical amount in the image plane. Simulation has been done to prove the proposed algorithm by using time-sequence image of landslide inspection and monitoring system.

• 대한조선학회논문집
• /
• 제41권5호
• /
• pp.55-62
• /
• 2004

The logistics of entire shipbuilding process are integrated during the block erection process and the schedules for the erection process are made prior to. the schedules of any other processes. Therefore, efficient scheduling of the block erection process are one of most important issues in shipbuilding. There are only a few studies published regarding block erection scheduling methods because of its complexity and variability. This paper proposes an algorithm for diminution of maximum load based on constraint satisfaction technique. it is developed primarily for the efficiency in load leveling and applicability to the actual block erection process. The proposed algorithm is applied to actual block erection process and the results shows improvements in load leveling. It can also be used for the scheduling of fabrication, sub-assembly, and assembly to improve load leveling.

• 산업공학
• /
• 제16권2호
• /
• pp.201-210
• /
• 2003

The purpose of this research is to develop a scheduling system for CAL (Continuous Annealing Line) in Cold Rolling Mill. Based on CSP (Constraint Satisfaction Problem) technique in artificial intelligence, appropriate algorithms to provide schedules satisfying all the constraints imposed on CAL are designed and developed. Performance tests show that the proposed scheduling system outperforms human operators in case of aggregating the same attributes and minimizing the thickness differences between two adjacent coils.

• 한국컴퓨터산업학회논문지
• /
• 제5권2호
• /
• pp.227-233
• /
• 2004

복합 스케줄링 문제는 컴퓨터의 기획(planning), 스케줄링(scheduling), 제약만족문제(Constraint Satisfaction Problem, CSP), 객체지향개념(object-oriented concept), 에이전트 시스템(agent system) 등의 여러 분야와 관련이 있다. 사용자의 선호도를 고려한 기법은 제약만족문제와 객체지향개념을 스케줄링에 적용하여 복합 스케줄링 문제를 해결하고자 하였다. 본 논문은 사용자의 선호도를 고려한 기법을 예약 문제에 적용하여 예약 시에 일어날 수 있는 문제점들을 해결하고자 하였다 특히 고객들의 만족도를 놀이기 위해서 고객들의 선호도를 고려하여 스케줄링을 한다. 객체에 근거한 예약 스케줄링 기법은 객체 지향 개념을 기반으로 하여 라 객체들이 사건들을 가지고 있으며, 이 사건들을 주어진 제약들에 만족하도록 목표인 보드에 배정하는 기법이다 각 객체들은 전체적인 만족 도를 고려하면서 그 객체들의 우선순위에 따라서 자원을 배정하고, 자원에 대한 객체의 선호도 차이를 가질 수 있게 하였다. 예약 스케줄링을 할 때 제약은 전역 제약과 지 역 제약으로 구성된다. 보드에 대한 정의와 모든 사건들에 대한 정보를 전역 제약으로 사용하고, 각 객체가 가지는 보드의 슬롯들에 대한 선호도를 지역 제약으로 사용한다. 사건의 배정을 실패하지 않고 백크래킹을 최소화하도록 알을 보는(look-ahead) 백크래킹 기법을 사용하여 전체 객체들의 만족 도를 높였다.

• 대한산업공학회지
• /
• 제24권4호
• /
• pp.539-550
• /
• 1998

A computerized layout system based on a constraint satisfaction problem (CSP) technique was developed to treat both facility layout and instrument panel layout problems. This layout system attempts to allocate various facilities under multiple layout criteria including qualitative design objectives. Since most of the design objectives can be understood as constraints which the layout solution must satisfy to improve the goodness of the solution, a CSP technique was employed to solve the multi-constraints layout problem. The effectiveness of the system was evaluated by the comparison with the well-known facility layout program, CORELAP. Furthermore, the proposed system can also be applied to the instrument panel layout problem successfully. Several user-centered guidelines were well reflected on the solution obtained. CONSLAY, the prototype layout system being developed in the research, greatly enhanced the interactions with the designer so as to deal with the problem-dependent nature of the layout problem and to properly reflect the domain-specific knowledge of the designer.

• 한국컴퓨터정보학회논문지
• /
• 제15권9호
• /
• pp.47-55
• /
• 2010

선형 제약 만족 최적화 문제는 선형식으로 표현 가능한 목적함수 및 복잡한 제약조건을 포함하는 조합 최적화 문제를 의미한다. 정수계획법은 이와 같은 문제를 해결하는 데 매우 효과적인 기법으로 알려져 있지만 문제의 규모가 커질 경우 준최적해를 도출하기까지 매우 많은 시간과 메모리를 요구한다. 본 논문에서는 지역 탐색과 정수계획법을 결합하여 탐색 성능을 향상할 수 있는 방안을 제시한다. 기본적으로 대상 문제의 해결을 위해 지역 탐색의 가장 단순한 형태인 단순 언덕오르기 탐색을 사용하되 이웃해 생성 시 정수계획법을 적용한다. 또한 부가적으로 초기해 생성을 위해 제약 프로그래밍을 활용한다. N-Queens 최대화 문제를 대상으로 한 실험 결과, 본 논문에서 제시한 기법을 통해 다른 탐색 기법들보다 훨씬 더 좋은 해를 도출할 수 있음을 확인할 수 있었다.