• Management Science and Financial Engineering
• /
• 제14권2호
• /
• pp.25-44
• /
• 2008

This paper concentrates on reduction of a Quadratic Fractional Integer Programming Problem (QFIP) to a 0-1 Mixed Linear Programming Problem (0-1 MLP). The solution technique is based on converting the integer variables to binary variables and then the resulting Quadratic Fractional 0-1 Programming Problem is linearized to a 0-1 Mixed Linear Programming problem. It is illustrated with the help of a numerical example and is solved using the LINDO software.

• Journal of applied mathematics & informatics
• /
• 제20권1_2호
• /
• pp.293-303
• /
• 2006

This paper describes a numerical scheme for optimal control of a time-dependent linear system to a moving final state. Discretization of the corresponding differential equations gives rise to a linear algebraic system. Defining some binary variables, we approximate the original problem by a mixed integer linear programming (MILP) problem. Numerical examples show that the resulting method is highly efficient.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제5권5호
• /
• pp.1069-1084
• /
• 2011

This paper considers an optimal base station clustering problem for designing a mobile (wireless) communication network. For a given network with a set of nodes (base stations), the problem is to optimally partition the set of nodes into subsets (each called a cluster) such that the associated inter-cluster traffic is minimized under certain topological constraints and cluster capacity constraints. In the problem analysis, the problem is formulated as an integer programming problem. The integer programming problem is then transformed into a binary integer programming problem, for which the associated linear programming relaxation is solved in a column generation approach assisted by a branch-and-bound procedure. For the column generation, both a heuristic algorithm and a valid inequality approach are exploited. Various numerical examples are solved to evaluate the effectiveness of the LP (Linear Programming) based branch-and-bound algorithm.

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

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

• 대한산업공학회지
• /
• 제40권4호
• /
• pp.396-403
• /
• 2014

The multi-divisional knapsack problem is defined as a binary knapsack problem where each mutually exclusive division has its own capacity. In this paper, we present an extension of the multi-divisional knapsack problem that has generalized multiple-choice constraints. We explore the linear programming relaxation (P) of this extended problem and identify some properties of problem (P). Then, we develop a transformation which converts the problem (P) into an LP knapsack problem and derive the optimal solutions of problem (P) from those of the converted LP knapsack problem. The solution procedures have a worst case computational complexity of order $O(n^2{\log}\;n)$, where n is the total number of variables. We illustrate a numerical example and discuss some variations of problem (P).

• ETRI Journal
• /
• 제38권1호
• /
• pp.41-51
• /
• 2016

Smart metering systems have become widespread around the world. RF mesh communication systems have contributed to the creation of smarter and more reliable power systems. This paper presents an algorithm for positioning GPRS concentrators to attain delay constraints for a ZigBee-based mesh network. The proposed algorithm determines the number and placement of concentrators using integer linear programming and a queueing model for the given mesh network. The solutions given by the proposed algorithm are validated by verifying the communication network performance through simulations.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권11호
• /
• pp.5616-5630
• /
• 2019

Fully homomorphic encryption allows a third-party to perform arbitrary computation over encrypted data and is especially suitable for secure outsourced computation. This paper investigates secure outsourced computation of multiple matrix multiplication based on fully homomorphic encryption. Our work significantly improves the latest Mishra et al.'s work. We improve Mishra et al.'s matrix encoding method by introducing a column-order matrix encoding method which requires smaller parameter. This enables us to develop a binary multiplication method for multiple matrix multiplication, which multiplies pairwise two adjacent matrices in the tree structure instead of Mishra et al.'s sequential matrix multiplication from left to right. The binary multiplication method results in a logarithmic-depth circuit, thus is much more efficient than the sequential matrix multiplication method with linear-depth circuit. Experimental results show that for the product of ten 32×32 (64×64) square matrices our method takes only several thousand seconds while Mishra et al.'s method will take about tens of thousands of years which is astonishingly impractical. In addition, we further generalize our result from square matrix to non-square matrix. Experimental results show that the binary multiplication method and the classical dynamic programming method have a similar performance for ten non-square matrices multiplication.

• 산업경영시스템학회지
• /
• 제13권21호
• /
• pp.91-100
• /
• 1990

This paper is concerned with the development of optimal algorithms for multi-stage flowshop scheduling problems with sequence dependent setup times. In the previous researches the setup time of a job is considered to be able to begin at the earliest opportunity given a particular sequence at the start of operations. In this paper the setup time of a job is considered to be able to begin only at the completion of that job on the previous machine to reflect the effects of the setup time to the performance measure of sequence dependent setup time flowshop scheduling. The results of the study consist of two areas; first, a general integer programming(IP) model is formulated and a nixed integer linear programming(MILP) model is also formulated by introducing a new binary variable. Second a depth-first branch and bound algorithm is developed. To reduce the computational burdens we use the best heuristic schedule developed by Choi(1989) as the first trial. The experiments for developed algorithm are designed for a 4$\times$3$\times$3 factorial design with 360 observations. The experimental factors are PS(ratio of processing time to setup time), M(number of machines), N(number of jobs).

• 한국산림과학회지
• /
• 제82권3호
• /
• pp.292-304
• /
• 1993

이 연구에서는 대단지 산림자원의 수확벌채계획(收穫伐採計劃) 수립을 위한 선행계획 전산모델의 기초체계를 제시하였다. 모델에서 사용한 선형계획수식화모형은 비감소수확(非減少收穫)에 허용증감율을 적용하여 목표림의 유도, 최소 목재공급의 한계 및 최대 벌채면적의 한계와 같은 산림생산 제약조건들을 포함하고 있다. 이 모델에서는 Model I 및 Model II 기법에 의한 선형계획 수식화가 가능하고, Matrix 출력은 MPS 양식에 의한다. 전산모델 개발에 있어서 선형계획기법에 의한 산림자원 경영분석방법론(經營分析方法論)의 타당성(妥當性)은 문헌고찰에 의해 이미 국내에 소개된 바 있는 감반율법(減反率法) 및 이분검색법(二分檢索法)의 해법특성(解法特性)과의 비교고찰(比較考察)을 통해 검토하였다. 또한 제시된 모델체계의 적용성은 대규모 산림자원 경영계획을 수렵하기 위한 사례분석을 통해 검토하였다. 사례분석을 위한 연구대상지로 서울대학교 남부연습림 백운산지역(약 11,000ha)을 선택하여 위에서 제시된 산림생산(山林生産) 제약인자(制約因子)들을 동시에 만족시킬 수 있는 최적벌채계획(最適伐採計劃)을 수립하고, 목재생산 제약인자들의 강도에 대한 영향력을 분석하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.170-174
• /
• 2003

In this research, we consider an integrated manufacturing/distribution planning problem in supply chain (SC) which has non-integer time lags. We focus on a capacitated manufacturing planning and capacity allocation problem for the system. We develop a mixed binary integer linear programming (MBLP) model and propose an efficient heuristic procedure using an adaptive genetic algorithm, which is composed of a regeneration procedure for evaluating infeasible chromosomes and the reduced costs from the LP-relaxation of the original model. The proposed an adaptive genetic algorithm was tested in terms of the solution accuracy and algorithm speed during numerical experiments. We found that our algorithm can generate the optimal solution within a reasonable computational time.