정수계획 모형에서 라그란지안 구조정의 및 완화를 지원하는 지능형 시스템의개발

Development of an intelligent system for Lagrangian structural identification and relaxation for integer programmings

  • 김철수 (경빈전문대학 사부자동화과) ;
  • 이재규 (한국과학기술원 경영정보공학과) ;
  • 김민용 (경희대학교 경영학과)
  • 발행 : 1995.09.01

초록

This research investigates the automatic identification of typical embedded structures in the Integer Programming(IP) models and automatic transformation of the problem to an adequate Lagrangian problem which can provide tight bounds within the acceptable run time. For this purpose, the structural distinctiveness of variables, constants, blocks of terms, and constraint chunks is identified to describe the structure of the IP model. To assist the identification of the structural distinctiveness, the representation by the knowledge based IP model formulator UNIK-IP is adopted. For the reasoning for the structural identification, the bottom-up, top-down, and case-based approaches are proposed. A prototype system UNIK-RELAX is developed to implement the approaches proposed in this research.

키워드