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

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

• 대한산업공학회지
• /
• 제21권2호
• /
• pp.207-216
• /
• 1995

Constructing a distributed management system has its own advantages in addressing the issue of implementing a quick responsive management system in dynamically changing environment of enterprise. We suggest a basic scheduling methodology applicable to a distributed production management system. A new concept of "flexible schedule" is introduced as a tool to accommodate dynamically changing situations of job shops. Then a search technique (referred to as CSP-CBA search) is presented to obtain such a schedule for the job shop scheduling problem, which is converted into a constraint satisfaction problem(CSP), by using the constraint based analysis(CBA). This approach is tested on more than 100 test problems. The results show that the suggested approach required shorter CPU time and solved more problems in given time than another fixed schedule method.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1361-1364
• /
• 2012

현대 산업 발전에 따라 대량 생산 체제에서 소비자 개별 주문 요건을 반영하여 생산하는 대량맞춤 생산(Mass Customization) 체제로 변화해가고 있다. 이런 대량맞춤 생산 체제의 제품구성(Product Configuration) 시에 나타나는 CSP(Constraint Satisfaction Problem) 해결 방법론을 제시하고 있다. 기존 방법에서는 복잡 다양한 제약조건을 수학적으로 표현하여 제약 조건 검사에서 소요시간과 검색 공간을 최소화 할 수 있는 알고리즘이 제시했다. 그런데 소비자의 주문 요건들이 빠르게 변화되고 복잡 다양 해지고 있다. 그래서 대상 모델 및 제약조건이 변경이 되었을 경우 기존 방법에서 제시하고 있는 CSP 해결에서는 수정 관리 하기가 쉽지 않고 확장성이 낮다. 본 연구에서는 룰 기반 모델링으로 CSP 문제 해결 프로세스 정립을 하여 관리의 편리성을 제공하고 확장성을 향상시킨다.

• Journal of Ship and Ocean Technology
• /
• 제10권2호
• /
• pp.37-44
• /
• 2006

The erection in shipbuilding is the process to assemble all the blocks one by one in certain order and requires more leveled and efficient schedule than other processes do. However, erection schedule includes too many constraints to be systemized with simple programs and constraints are changed frequently. These difficulties make it rare to find automatic erection schedule generation system with load leveling ability. In this paper, a CSP (Constraint Satisfaction Problem)-based load leveling algorithm using a maximum load diminution technique is proposed and applied to the block erection scheduling of a dock in a shipyard. The result shows that it performs better than currently used scheduling method based on empirical logics. The maximum load of welding length and crane usage are reduced by 31.63% and 30.00% respectively. The deviation of resource usage amount also decreases by 8.93% and 7.51%.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.318-320
• /
• 2012

증강현실 콘텐츠를 2D 이미지기반으로 저작할 때, 작성된 증강현실 콘텐츠를 카메라 시점과 일치시켜 합성하기 위해 호모그래피를 이용한다. 이때 증강현실 콘텐츠를 이질감 없이 합성하기위해 정확한 호모그래피 행렬을 추정해야 한다. 그러나 호모그래피 행렬 추정 시 사용되는 특징점들이 선형을 이루거나, 특정 영역에 군집을 이루는 경우 정확한 호모그래피 행렬을 추정하지 못하는 문제가 발생한다. 본 논문에서는 이러한 문제를 해결하기 위해 선형제약, 거리제약을 적용한 CSP 기반의 RANSAC 알고리즘을 제안한다. 실험결과 호모그래피 행렬 추정 시 CSP를 적용한 RANSAC 알고리즘이 기존의 랜덤샘플링 또는 삼각형의 넓이를 이용한 샘플링을 적용한 RANSAC 알고리즘보다 정확도가 향상됨을 보였다.

• 공학논문집
• /
• 제6권2호
• /
• pp.11-22
• /
• 2004

분산제약조건만족문제(Distributed CSP)는 변수와 제약 조건들이 다수의 에이전트에 분산되어 있는 제약조건만족문제를 말한다. 이 개념은 인공지능 분야의 다양한 문제들에게 폭 넓게 적용 할 수 있으며 또한 이와 유사하게, 에이전트 행동들의 일치된 조합을 찾기 위한 멀티에이전트 시스템의 다양한 응용 문제들(분산 자원할당문제, 분산 스케줄링문제, 분산 번역업무 등)이 모두 분산 제약조건만족문제에 속한다고 할 수 있다. 분산제약조건만족문제는다수의 자율적으로 동작하는 에이전트들의 상호작용과 그들 간의 협조에 의해 모든 에이전트들이 갖고 있는 변수들의 값과 그들 간에 존재하는 제약 조건들이 일치(consistency)하는 값을 효율적으로 찾기 위한 양질의 알고리즘 개발에 관한 연구 분야로서 최근에 와서는 멀티에이전트 시스템을 이용하여 분산 제약조건만족문제를 해결하기 위한 효율적인 알고리즘 개발에 관한 연구가 활발하게 진행되고 있다. 이 논문에서는 비동기/병행적인 탐색 과정에서 모든 에이전트들이 그들의 시험적인 값들을 조건에 일치하는 값으로 변경하기 위해 각 에이전트의 우선순위를 동적으로 변경할 수 있게 함으로써 불 일치된 변수의 값을 탐색이 진행되는 동안에도 수정이 가능하도록 하여, 기존 비 동기 되돌림알고리즘의 개선 대상인 되돌림(backtracking)의 효율성을 크게 향상시킬 수 있는 멀티에이전트의 동적 우선순위탐색 알고리즘을 제안하였다.

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

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

• 한국컴퓨터산업학회논문지
• /
• 제8권2호
• /
• pp.89-96
• /
• 2007

객체기반 예약스케줄링 기법은 제약만족문제(CSP; Constraint Satisfaction Problem)와 객체지향개념(Object-Oriented Concepts)을 기반으로 승무원 객체들이 갖고 있는 사건들을 주어진 제약들에 만족하도록 목표인 운항스케줄 보드에 배정하는 기법이다. 본 논문에서는 객체기반 예약스케줄링기법을 항공운항 스케줄에 적용하여 승무원(운항승무원, 객실승무원)들의 운항 스케줄 만족도를 향상시키고, 승무원들에 대한 인력관리상의 문제점들을 해결하고자 하였다 특히, 승무원들의 운항스케줄에 대한 만족도를 향상시키기 위해서 전체승무원 선호도보드를 이용하였다. 승무원들의 스케줄 우선순위에 따라서 자원(타임 슬롯)을 배정하고, 자원에 대한 승무원들의 선호도 차이를 가질 수 있게 하였다. 보드에 대한 정의와 모든 사건들에 대한 정보를 전역제약으로 사용하고, 승무원들이 가지는 보드의 타임 슬롯들에 대한 선호도를 지역 제약으로 사용하였다. 또한 실제로 항공운항 스케줄링을 모의실험해서 승무원들의 운항 스케줄 만족도를 살펴보았다.

• Journal of applied mathematics & informatics
• /
• 제8권1호
• /
• pp.181-197
• /
• 2001

A heuristic method TABU-CSP using Tabu Search (TS) is described for solving Constraint Satisfaction Problems (CSPs). The method is started with a complete but inconsistent solution of a binary CSP and obtained in prespecified number of iterations either a consistent solution or a near optimal solution with an acceptable number of conflicts. The repair in the solution at each iterative step is done by using two heuristics alternatively. The first heuristic is a min-conflicts heuristic that chooses a variable with the maximum number of conflicts and reassigns it the value which leads to the minimum number of conflicts. If the acceptable solution is not reached after the search continued for a certain number of iterations, the min-conflict heuristic is changed and the variable selected least number of times is chosen for repair. If an acceptable solution is not reached, the method switches back to the min-conflict heuristic and proceeds further. This allowed the method to explore a different region of search space space for the solution as well as to prevent cycling. The demonstration of the method is shown on a toy problem [9]which has no solution. The method is then tested on various randomly generated CSPs with different starting solutions. The performance of the proposed method in terms of the average number of consistency is checked and the average number of conflicts is conflicts is compared with that of the Branch and Bound(BB) method used to obtain the same solution. In almost all cases, the proposed method moves faster to the acceptable solution than BB.

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

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