• 산업경영시스템학회지
• /
• 제24권65호
• /
• pp.89-102
• /
• 2001

In this paper, the aircraft route scheduling consists of two steps; the pairing generation and the aircraft assignment. The pairing generation is heuristic approach how flights construct pairings from and to the main base. The aircraft resource assignment which is to establish a aircraft route schedule is constructed by constraint satisfaction problem technique. ILOG solver and schedule is used to solve this problem. In addition, a aircraft route reschedule process against departure-arrival delay or aircraft maintenance schedule change is added by partial constraints satisfaction problem technique. Also, Gantt chart made by ILOG views is used to show aircraft route schedule results more easily.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1998년도 추계학술대회 논문집
• /
• pp.407-410
• /
• 1998

Configuration is a set of building block processes, a series of selection and combining parts or components which composes a whole thing. A whole thing could be such a configurable object as manufacturing product, network system, financial portfolio, system development plan, project team, etc. Configuration problem could happen during any phase of product life cycle: design, production, sales, installation, and maintenance. Configuration has long been one of cost and time consuming work, because only high salaried technical experts on product and components can do configuration. Rework for error adjustments of configurations at later process causes far much cost and time, so accurate configuration is required. Under the on-line electronic commerce environment, configuration problem solving becomes more important, because component-based sales should be done automatically on the merchant web site. Automated product search, order placement, order fulfillment and payment make that manual configuration is no longer feasible. Automated configuration means that all the constraints among components should be checked and confirmed by configuration engine automatically. In addition, technical constraints and customer preferences like price range and a specific function required should be considered. This paper gives an brief overview of configuration problems: characteristics, representation paradigms, and solving algorithms and introduce CRSP(Constraint and Rule Satisfaction Problem) method. CRSP method adopts both constraint and rule for configuration domain knowledge representation. A survey and analysis on web sites adopting configuration functions are provided. Future directions of configuration for EC is discussed in the three aspects: methodology itself, companies adopting configuration function, and electronic commerce industry.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권2호
• /
• pp.216-224
• /
• 2000

공간 계획 시스템(Spatial Layout Planning System)은 사용자의 요구에 따라 사각의 자원을 일정 공간 안에 할당하고 사용자의 만족도를 최대화함으로써 공간 효율성을 최적화하는 시스템이다. 공간 계획 문제는 방대한 범위의 공간을 탐색해야 하므로 시간과 공간적 측면에서 높은 복잡도(Complexity)를 갖는 문제이다. 또한 특정 영역의 수정 요구나 재설계 요구와 같은 사용자의 동적인 요구 사항들을 수용할 수도 있어야 한다. 본 논문에서는 CSP(Constraint Satisfaction Problems) 해결 기법 기반의 자원 할당법을 이용함으로써 효과적으로 공간 계획 문제를 해결할 수 있도록 하였으며 사용자의 요구에 따라 변화되는 제약조건은 지능형 사용자 인터페이스 모델을 통해 좀 더 향상된 결과가 도출될 수 있도록 설계 및 구현하였다. 또한, 2차원 도면에서의 수정 요구에 대한 편이성과 시각적 검증을 위해 웹 환경 하에서의 VRML(Virtual Reality Modeling Language)을 이용한 3차원 도면을 보여준다.

• 공학논문집
• /
• 제7권1호
• /
• pp.17-28
• /
• 2005

분산제약조건만족문제는 다수의 자율적으로 동작하는 에이전트들의 상호작용과 그들 간의 협조에 의해 모든 에이전트들이 갖고 있는 변수들의 값과 그들 간에 존재하는 제약 조건들이 일치(Consistency)하는 값을 효율적으로 찾기 위한 양질의 알고리즘 개발에 관한 연구 분야로서 최근에 와서는 멀티에이전트 시스템을 이용하여 분산 제약조건만족문제를 해결하기 위한 효율적인 알고리즘 개발에 관한 연구가 활발하게 진행되고 있다. 이 논문에서는 비동기/병행적인 탐색 과정에서 모든 에이전트들이 그들의 시험적인 값들을 조건에 일치하는 값으로 변경하기 위해 각 에이전트의 우선순위를 동적으로 변경할 수 있게 함으로써 불 일치된 변수의 값을 탐색이 진행되는 동안에도 수정이 가능하도록 하여, 기존 비 동기 되돌림 알고리즘의 개선 대상인 되돌림(backtracking)의 효율성을 크게 향상시킬 수 있는 멀티에이전트의 동적 우선순위탐색 알고리즘을 제안하였다.

• 산업경영시스템학회지
• /
• 제23권61호
• /
• pp.105-114
• /
• 2000

Job Shop Problem which consists of the m different machines and n jobs is a NP-hard problem of the combinatorial optimization. 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. Each machine can process at most one operation at a time. The purpose of this paper is to develop the heuristic method to solve large scale scheduling problem using Constraint Satisfaction Problem method and Simulated Annealing. The proposed heuristic method consists of the search algorithm and optimization algorithm. The search algorithm is to find the solution in the solution space using CSP concept such as backtracking and domain reduction. The optimization algorithm is to search the optimal solution using SA. This method is applied to MT06, MT10 and MT20 Job Shop Problem, and compared with other heuristic method.

• 지능정보연구
• /
• 제8권1호
• /
• pp.119-139
• /
• 2002

전자 카탈로그 상에서의 상품 검색은 카탈로그에 명시되어 있는 상품을 찾는 표준상품검색과 소비자가 원하는 상품을 맞춤 하는 맞춤상품검색으로 분류할 수 있다. 현재의 대부분의 상품 검색은 표준상품 검색에 의존하고 있다. 특히 기업간 구성요소기반(Component-based)상품의 경우 표준상품검색만으로는 구매자의 다양한 요구에 응하기가 어렵다. 따라서 웹 상의 전자 카탈로그에서의 동적인 맞춤검색에 대한 요구가 증가하고 있다. 본 연구에서는 구성기반 상품에 대해서 표준상품검색만으로는 구매자가 원하는 상품의 검색가능성(Feasibility)과 검색된 대안들이 조정(Adjust) 프로세스 과정을 거쳐 최적해 도달 가능성(Admissibility)이 보장되지 않음을 보이고, 이에 대한 효과적인 방법론으로 검색가능성과 최적해 도달 가능성을 지원하는 Template-based Reasoning 방법론을 제안한다. Template-based Reasoning은 구매자의 요구사항에 따른 대안탐색 부분과 선택된 대안에 대한 조정과정의 두 단계로 이루어진다. 구매자의 주요 선호도(MUST Preference)에 근거하여 대안들을 탐색하고, 탐색된 대안들 간의 우선순위를 결정한다. 조정 단계에서는 옵션(Options)의 확장을 통해 구매자의 맞춤사양에 따른 상품을 제안하고, 제약 및 규칙기반 추론 (Constraint and Rule Satisfaction Approach)을 이용하여 옵션(Options)들 간의 제약조건에 따른 호환성(Compatibility)을 조사하고, 적정가격의 상품을 제안한다. 본 방법론은 Template을 사용하여 기본적으로 구매자가 원하는 상품을 검색하기 위한 검색노력을 줄이고, 검색된 대안들로부터 구매자와 시스템이 웹상에서 서로 상호작용(interactivity) 하여 해를 찾고, 제약조건과 규칙들에 의해 적합한 해를 찾아가는 방법을 제시한다. 본 논문은 구성기반 예로서 컴퓨터 부품 조립을 사용해서 Template-based reasoning 예를 보인다. 본 방법론은 검색노력을 줄이고, 검색에 있어 Feasibility와 Admissibility를 보장한다.

• 산업공학
• /
• 제16권3호
• /
• pp.352-361
• /
• 2003

Vehicle manufacturing plant is a typical mixed-model production system. Generally it consists of three main shops including body shop, painting shop and assembly shop in addition to engine shop. Each shop contains diverse manufacturing processes, all of which are integrated in a form of flow line. Due to the high pressure from the market requesting small-volume large variety production, production planning becomes very critical for the competitiveness of automotive industry. In order to save costs and production time, production planning system is requested to meet some designated requirements for each shop: to balance the work load in body and assembly shops, and to minimize the number of color changes in painting shop. In this context, we developed a sequencing module for a vehicle production planning system using the ILOG Solver Library. It is designed to take into account all the manufacturing constraints at a time with meeting hard constraints in body shop, minimizing the number of soft constraints violated in assembly shop, and minimizing the number of color changes in painting shop.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2002년도 춘계학술대회 논문집
• /
• pp.181-190
• /
• 2002

전자 카탈로그 상에서의 상품 검색은 카탈로그에 명시되어 있는 상품을 찾는 표준상품검색과 소비자가 원하는 상품을 맞춤 하는 맞춤상품검색으로 분류할 수 있다. 현재의 대부분의 상품 검색은 표준상품검색에 의존하고 있다. 특히 기업간 구성요소기반(Component-based) 상품의 경우 표준상품검색만으로는 구매자의 다양한 요구에 응하기가 어렵다. 따라서 웹 상의 전자 카탈로그에서의 동적인 맞춤검색에 대한 요구가 증가하고 있다. 본 연구에서는 구성기반 상품에 대해서 표준상품검색만으로는 구매자가 원하는 상품의 검색가능성(Feasibility)과 검색된 대안들이 조정(Adjust) 프로세스 과정을 거쳐 최적해 도달 가능성(Admissibility)이 보장되지 않음을 보이고, 이에 대한 효과적인 방법론으로 검색가능성과 최적해 도달 가능성을 지원하는Template-based Reasoning 방법론을 제안 한다. Template-based Reasoning은 구매자의 요구사항에 따른 대안탐색 부분과 선택된 대안에 대한 조정과정의 두 단계로 이루어진다. 구매자의 주요 선호도(MUST Preference)에 근거하여 대안들을 탐색하고, 탐색 된 대안들 간의 우선순위를 결정한다. 조정 단계에서는 옵션(Options)의 확장을 통해 구매자의 맞춤사양에 따른 상품을 제안하고, 제약 및 규칙기반 추론(Constraint and Rule Satisfaction Approach)을 이용하여 옵션(Options)들 간의 제약조건에 따른 호환성(Compatibility)을 조사하고, 적정가격의 상품을 제안한다. 본 방법론은 Template을 사용하여 기본적으로 구매자가 원하는 상품을 검색하기 위한 검색노력을 줄이고, 검색된 대안들로부터 구매자와 시스템이 웹상에서 서로 상호작용(interactivity) 하여 해를 찾고, 제약조건과 규칙들에 의해 적합한 해를 찾아가는 방법을 제시한다. 본 논문은 구성기반 예로서 컴퓨터 부품조립을 사용해서 Template-based reasoning 예를 보인다 본 방법론은 검색노력을 줄이고, 검색에 있어 Feasibility와 Admissibility를 보장한다.

• 산업공학
• /
• 제7권1호
• /
• pp.59-66
• /
• 1994

In scheduling open-field type FMS, process planning of decision making between alternate machines is taken into consideration. This idea is validated via implementing two experimental systems; One is a knowledge-based system and the other is to solve a Constraint Satisfaction Problem. The former generates some promising schedules in view of improving machine utilization, makespan and meanflow time, and the latter does in view of meeting due date.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 한국지능정보시스템학회
• /
• pp.239-245
• /
• 2007

차세대 유비쿼터스 환경에서 중요한 기술적, 산업적 위치를 차지하는 RFID 네트워크에는 다수의 RFID 리더(Reader)와 수많은 RFID 태그(Tag)들이 통신을 하면서 존재하게 된다. 이러한 RFID 네트워크에서 리더와 태그간의 원활한 통신을 위해서는 주파수 충돌이 발생하지 않아야 한다. 주파수 충돌 현상은 리더와 다수의 태그들 간의 태그 충돌(Tag Collision)과 리더간 주파수 간섭으로 인한 리더간 충돌(Reader Collision)로 나뉘어 질 수 있다. 따라서 리더간 충돌 현상을 피하기 위해서는 근접한 리더들 간에 서로 다른 타임슬롯(Timeslot)을 사용하여 태그와 통신을 시도하여야 한다. 본 연구에서는 RFID 네트워크에서 다수의 리더간 충돌을 최소화하며 안전한 태그 인식을 할 수 있도록 타임 슬롯 할당 문제를 CSP(Constraint Satisfaction Problem)로 접근한다. 그리고 CSP를 풀기 위해 리더간 충돌 문제가 가지고 있는 제약조건을 찾아내고 해를 찾기 위한 목적함수를 모델링 한다.