• 한국컴퓨터정보학회논문지
• /
• 제24권9호
• /
• pp.9-20
• /
• 2019

In this paper, we study the university timetabling problem, which consists of two subproblems, the university course timetabling problem and the examination timetabling problem. Given a set of classrooms, students, teachers, and lectures, the problem is to assign a number of courses (and examinations) to suitable timeslots and classrooms while satisfying the given set of constraints. We discuss the modeling and solution approaches to construct course and examination timetables for one of the largest Korean university. By using binary integer programming formulations, we describe these two complex real-world problems. Then, we propose a solution method, called NOGOOD, to solve the examination timetabling model. The computation results show that NOGOOD finds the optimal examination schedule for the given instance. Although we consider a specific instance of the university timetabling problem, the methods we use can be applicable to modeling and solving other timetabling problems.

• 산업경영시스템학회지
• /
• 제19권38호
• /
• pp.139-146
• /
• 1996

In this thesis, we suggest the application of dock scheduling which is based on zero-one integer programming. A knowledge based system for dock scheduling was developed to implement this mathematical method.

• 한국경영과학회지
• /
• 제10권2호
• /
• pp.24-27
• /
• 1985

This paper presents sufficient conditions for zero duality gap of Lagrangean relaxation in mixed integer programming problems and discusses about an algorithm which updates multipiers using the dual varibles of the linear programming constructed by fixing integer variables.

• 한국경영과학회지
• /
• 제21권3호
• /
• pp.227-236
• /
• 1996

In this paper an algorithm based on cutting plane approach is developed which constructs all the efficient p-tuples of multiobjective integer linear fractional programming problem. The integer solution is constrained to satisfy and h out of n additional constraint sets. A numerical illustration in support of the proposed algorithm is developed.

• 한국경영과학회지
• /
• 제3권1호
• /
• pp.75-79
• /
• 1978

The use of three mathematical programming techniques (quadratic programming, integer quadratic programming and linear programming) is discussed to solve some problems in linear regression analysis. When the criterion is the minimization of the sum of squared deviations and the parameters are linearly constrained, the problem may be formulated as quadratic programming problem. For the selection of variables to find "best" regression equation in statistics, the technique of integer quadratic programming is proposed and found to be a very useful tool. When the criterion of fitting a linear regression is the minimization of the sum of absolute deviations from the regression function, the problem may be reduced to a linear programming problem and can be solved reasonably well.ably well.

• 한국컴퓨터정보학회논문지
• /
• 제17권6호
• /
• pp.13-27
• /
• 2012

정수계획법 기반 지역 탐색은 단순 언덕오르기 탐색을 기반으로 하는 지역 탐색의 일종으로서 기존의 지역 탐색과는 달리 이웃해 생성 시 정수계획법을 활용한다. 기존 연구 [1]에 의하면 정수계획법 기반 지역 탐색은 경영과학 및 인공지능 분야에서 많은 관심을 받아 온 다차원 배낭 문제를 해결하는 데 매우 효과적인 것으로 알려져 있다. 그러나 해당 연구에서는 OR-Library에 있는 다차원 배낭 문제들 중 규모가 가장 큰 문제들만을 대상으로 하여 정수계획법 기반 지역 탐색의 우수성을 검증하였다는 단점이 있다. 본 논문에서는 그 외의 문제들을 대상으로 정수계획법 기반 지역 탐색을 적용함으로써 보다 객관적으로 정수계획법 기반 지역 탐색의 우수성을 검증한다. 아울러 본 논문에서는 기존의 정수계획법 기반 지역 탐색이 단순 언덕오르기 탐색과 정수계획법을 결합한 것과는 달리 언덕오르기 탐색, 타부 탐색, 시뮬레이티드 어닐링과 같은 다른 지역 탐색 기법과 정수계획법을 결합하는 방안을 제시한다. 실험 결과, 정수계획법 기반 지역 탐색은 중소 규모의 다차원 배낭 문제들에 있어서도 기존의 가장 좋은 휴리스틱 탐색 기법에 비해 유사하거나 더 우수한 성능을 발휘함을 확인하였다.

• 전자공학회논문지
• /
• 제53권11호
• /
• pp.166-174
• /
• 2016

본 논문에서는 스포츠 이벤트에서 선수단 수송 계획을 위한 혼합 정수 선형 계획법 모델을 제안하였다. 선수단 수송 계획은 선수단을 다수의 숙소에서 경기장까지 최소의 비용과 빠른 시간 계획을 찾는 것이다. 운행 회수를 의사결정 변수로 하고, 전체 수송비용은 최소가 되어야 하는 목적함수가 된다. 제안한 방법은 혼합 정수 선형 계획법을 이용하여 전역 최적점을 찾을 수 있는 장점이 있다. 제안한 방식의 유용성을 확인하기 위해서 시뮬레이션을 수행하고 스포츠 이벤트 관리 서비스 플랫폼(SEMSP)에서 수송 계획을 구축하였다.

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

본 논문에서는 이종가산기구조에 근거한 이진가산기의 전력-지연시간곱의 최적화 방법론을 제안한다. 정수선형 계획법(Integer Linear Programming)에 의해 이종가산기의 전력-지연시간곱을 공식화하였다. 정수선형계획법의 사용을 위하여 최초의 전력-지연시간곱의 비선형수식을 선형수식으로 변환하는 기법을 채택하였다. 또한, 제안된 방법이 전력지연시간곱(Power-Delay Product)의 척도에서 기존가산기와 비교해 우월함을 실험결과를 통해 확인하였다.

• 한국통신학회논문지
• /
• 제38A권6호
• /
• pp.459-464
• /
• 2013

본 연구에서는 이차원 인접 심볼간 간섭(2D ISI) 및 인접 페이지간 간섭 (IPI)을 줄이는 홀로그래픽 저장장치를 위한 이차원 변조부호를 선택하는 문제를 고려한다. 변조부호 선택문제는 목적함수로 코드내부와 코드 상호간 인접심볼값의 차이를 최소화하고, 제약식으로는 사용된 심볼의 분포가 균등하며, 최소 해밍거리 조건이 주어진 이차정수계획법 모형으로 수식화되었다. 선택된 코드워드에서 고립된 픽셀의 발생여부를 검색하는 모형은 정수계획법 모형으로 수식화되었다. 제안된 모형들은 4-레벨 6/8 코드 및 2-레벨 6/8 코드에 적용되어 성능을 계산하였다.

• 한국통신학회논문지
• /
• 제38A권8호
• /
• pp.650-655
• /
• 2013

광저장장치의 DC-억압을 위한 멀티모드 코딩 기법 중 Guided Scrambling (GS) 코딩기법이 널리 사용된다. 홀로그래픽 저장장치를 위한 DC-억압 GS코딩에서는 후보코드 선택기준으로 심볼의 균등한 분포 및 심볼간 천이의 최대화 기준이 고려되었다. 본 연구에서는 후보코드행렬의 digital sum value (DSV)의 $l_{\infty}$-norm을 최소화하는 minimum DSV (MDSV) 기준 GS코딩을 정수계획법 모형으로 수식화하고, 제안된 모형을 사용하여 MDSV 기준과 최대천이강도 기준이 적용된 GS코딩의 성능을 제어비트수, 행렬크기 및 스크램블링 다항식들의 조합에 대하여 평가한다.