[논문 리뷰] A comparison of formulations for the simple assembly line balancing problem

Marcus Ritt, Alysson M. Costa|arXiv (Cornell University)|2011. 11. 03.

Assembly Line Balancing Optimization참고 문헌 11인용 수 11

한 줄 요약

이 논문은 간단한 조립 라인 균형 문제(SALBP)에 대한 새로운, 더 강력한 정식화를 제안하며, 두 가지 새로운 부등식 가족과 개선된 스테이션 제한 제약 조건을 도입한다. 이는 선형 타협 해석의 강도와 계산 성능을 향상시켜 순서에 따른 제약 조건 하에서 사이클 시간 또는 스테이션 수를 최소화할 때 기존의 모든 정식화를 능가함을 이론적으로 및 실험적으로 입증한다.

ABSTRACT

Assembly line balancing is a well-known problem in operations research. It con-sists in finding an assignment of tasks to some arrangement of stations where thetasks are executed. Typical objective functions require to minimize the cycle timefor a given number of stations or the number of stations for a given cycle time.Common to all variants of assembly line balancing are the precedence constraintsamong the tasks. Different inequalities for modeling these constraints have beenproposed in the literature and lead to different formulations for problems such asthe simple assembly line balancing problem (SALBP). We theoretically comparethese formulations in terms of the strength of their linear relaxations. Moreover, wepropose two new families of inequalities and a stronger formulation of the stationlimits for the SALBP and show that one of the resulting formulations dominates allexisting ones.We evaluate the efficiency of these formulations experiment ally and show that theproposed formulation produces equal or better results than existing formulations.1

연구 동기 및 목표

• 기존의 간단한 조립 라인 균형 문제(SALBP) 정식화의 타협 강도와 계산 효율성 측면에서의 한계를 해결하기 위해.
• 순서에 따른 제약 조건과 스테이션 제한에 기반한 이전 정식화의 이론적 및 실용적 한계를 규명하고 분석하기 위해.
• SALBP 정식화의 선형 타협 해석을 강화하는 새로운 부등식 가족을 개발하기 위해.
• 전체 정식화 강도를 향상시키기 위해 스테이션 제한을 더 견고하게 정식화하기 위해.
• 해결 품질과 계산 속도 측면에서 기존 정식화와의 비교를 통해 신규 정식화의 성능을 실증적으로 평가하기 위해.

제안 방법

• 논문은 순서에 따른 제약 조건을 더 효과적으로 모델링하기 위해 두 가지 새로운 부등식 가족을 도입하여 선형 타협 해석의 강도를 향상시킨다.
• 각 스테이션에 할당할 수 있는 작업 수의 최대치를 정의하는 제약 조건을 정교화하여 스테이션 제한에 대해 더 강력한 정식화를 제안한다.
• 다각형 이론을 활용하여 기존 및 제안된 정식화 간의 선형 타협 해석 강도를 비교하기 위해 이론적 분석을 수행한다.
• 개선된 순서 제약 부등식과 더 견고한 스테이션 제한 제약 조건을 조합하여 새로운 정식화를 유도한다.
• 표준 SALBP 인스턴스를 대상으로 계산 실험을 수행하여 다양한 정식화 간의 해결 시간, 갭 닫힘 및 정수성 갭을 비교한다.
• 선형 타협 해석 경계가 모든 기존 정식화보다 적어도 동일하거나 더 타당한 것으로 입증함으로써 새로운 정식화의 지배성을 확립한다.

실험 결과

연구 질문

• RQ1 SALBP에 대한 다양한 정식화는 선형 타협 해석의 강도 측면에서 어떻게 상호 비교되는가?
• RQ2 SALBP에 대해 더 타당한 경계를 제공하는 새로운 부등식 가족을 개발할 수 있는가?
• RQ3 스테이션 제한 제약 조건을 재정식화하여 전체 정식화 강도를 향상시킬 수 있는가?
• RQ4 제안된 정식화는 타협 품질 측면에서 모든 기존 정식화를 지배하는가?
• RQ5 실제로 기존 정식화와 비교하여 새로운 정식화는 계산 효율성과 해결 품질 측면에서 어떻게 성능을 발휘하는가?

주요 결과

• 이론적으로 입증된 바와 같이, 제안된 정식화는 선형 타협 해석의 강도 측면에서 모든 기존 정식화를 지배한다.
• 새로운 부등식 가족은 타협 경계를 크게 강화하여 초기 해결 단계에서 최적성 갭을 감소시킨다.
• 개선된 스테이션 제한 제약 조건은 전체 정식화 강도에 상당한 기여를 하며 경계 품질을 향상시킨다.
• 계산 실험 결과, 새로운 정식화는 해결 시간과 갭 닫힘 측면에서 기존 정식화와 동일하거나 더 우수한 결과를 도출함을 확인하였다.
• 제약 조건 수나 변수 수를 늘리지 않으면서도 더 강력한 경계를 달성하여 계산 효율성이 높다.
• 기본 인스턴스의 범위에서 새로운 정식화의 지배성이 입증되었으며, 이는 이론적·실용적 측면에서의 열등성을 확인한다.