• Title/Summary/Keyword: integer programming

Search Result 810, Processing Time 0.026 seconds

Integer Programming Model and Heuristic on the Guided Scrambling Encoding for Holographic Data Storage (홀로그래픽 저장장치에 대한 GS 인코딩의 정수계획법 모형 및 휴리스틱)

  • Park, Taehyung;Lee, Jaejin
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.38A no.8
    • /
    • pp.656-661
    • /
    • 2013
  • In Guided Scrambling (GS) encoding for the holographic storage, after scrambling augmented source word into codeword, the best codeword satisfying modulation constraint is determined. Modulation constraints considered in this paper are strength which is the minimum number of transition between '0' and '1' in each row and column of codeword array and the symbol balancedness of codeword array. In this paper, we show that GS encoding procedure can be formulated as an integer programming model and develop a fast neighborhood search heuristic for fast computation of control bits. In the simulation, we compared the performance of heuristic algorithm with the integer programming model for various array and control bit size combinations.

Application of Nonlinear Integer Programming for Vibration Optimization of Ship Structure (선박 구조물의 진동 최적화를 위한 비선형 정수 계획법의 적용)

  • Kong, Young-Mo;Choi, Su-Hyun;Song, Jin-Dae;Yang, Bo-Suk
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.42 no.6 s.144
    • /
    • pp.654-665
    • /
    • 2005
  • In this paper, we present a non-linear integer programming by genetic algorithm (GA) for available sizes of stiffener or thickness of plate in a job site. GA can rapidly search for the approximate global optimum under complicated design environment such as ship. Meanwhile it can handle the optimization problem involving discrete design variable. However, there are many parameters have to be set for GA, which greatly affect the accuracy and calculation time of optimum solution. The setting process is hard for users, and there are no rules to decide these parameters. In order to overcome these demerits, the optimization for these parameters has been also conducted using GA itself. Also it is proved that the parameters are optimal values by the trial function. Finally, we applied this method to compass deck of ship where the vibration problem is frequently occurred to verify the validity and usefulness of nonlinear integer programming.

Daily Unit Commitment Scheduling of Power System with Energy Storage System (전력저장장치를 고려한 일간 최적 기동정지계획 수립연구)

  • Song, Ha-Na;Jang, Se-Hwan;Kim, Hyeong-Jung;Roh, Jae-Hyung;Park, Jong-Bae
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.60 no.4
    • /
    • pp.717-725
    • /
    • 2011
  • In the power system with an electric storage system that can increase utilization rate of the source of such new renewable energy, this paper introduces the approach on the daily unit commitment scheduling that determines simultaneously optimum operational condition and output of thermal generators and electric storage device. The unit commitment is one of the most important issues in economic operation and security of short-term operational plan of the power system. It is to determine on/off status of generator to minimize operational cost during the given period. The committed generator should satisfy various operational limitation such as estimated demand by system, spinning reserve condition within minimum operational cost. In order to determine on/off or charge/discharge/idle condition and output level of units and electric storage system, the MILP(Mixed Integer Linear Programming) is suggested. The proposed approach is the mixed method between LP(Linear Programming) and IP(integer programming) which seeks the value of real number and integer that maximize or minimize function objective within given condition. The daily unit commitment problem with the electric storage system is applied to MILP algorithm through linearization and formulation process. The proposed approach is applied to the test system.

An Optimal Solution of Machine Cell Formation Problem (기계 그룹 형성 문제의 최적해)

  • Choi Seong-Hoon
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.27 no.3
    • /
    • pp.7-13
    • /
    • 2004
  • In this paper, machine cell formation problem is discussed. To reflect precisely actual manufacturing situations such as routing sequences, production quantities, and machining (or operation) characteristics, a new network presentation (or the problem is proposed. It is formulated as a simple 0-1 quadratic programming model with linear constraints. Then, the model is converted into a 0-1 integer programming model using a variable transformation technique. Lastly, some computational results are presented.

An Integer Programming Model for the Rolling Stock Assignment Plan (철도차량 할당계획을 위한 정수계획법모형)

  • 김성호;홍순흠
    • Proceedings of the KSR Conference
    • /
    • 2002.10a
    • /
    • pp.349-356
    • /
    • 2002
  • This paper describes a mathematical programming model for constructing the rolling stock assignment plan. This plan is a schedule which assigns daily routings, maintenance activities, and other tasks to trainsets. A generalized set partitioning model which is a kind of integer programming model is suggested as a model for constructing the assignment plan. And a column generation method are suggested as a solution method.

  • PDF

(An Implementation of Preprocessing for 0-1 Integer Programming) (0-1 정수계획법을 위한 사전처리의 구현)

  • 엄순근
    • Journal of the military operations research society of Korea
    • /
    • v.25 no.1
    • /
    • pp.133-140
    • /
    • 1999
  • Preprocessing for the -01 integer programming can reduce the size of problem instance as well as tighten its linear programming relaxations. In this research, the preprocessing techniques are classified into two categories. First, for the reduction of problem size, there are variable fixing and constraint elimination techniques. Second, for the reduction of feasible region, there are coefficient reduction and Euchidean reduction techniques. These methods are implemented and the effects are shown by experimental results.

  • PDF

An Integer Programming-based Local Search for the Set Covering Problem (집합 커버링 문제를 위한 정수계획법 기반 지역 탐색)

  • Hwang, Jun-Ha
    • Journal of the Korea Society of Computer and Information
    • /
    • v.19 no.10
    • /
    • pp.13-21
    • /
    • 2014
  • The set covering problem (SCP) is one of representative combinatorial optimization problems, which is defined as the problem of covering the m-rows by a subset of the n-columns at minimal cost. This paper proposes a method utilizing Integer Programming-based Local Search (IPbLS) to solve the set covering problem. IPbLS is a kind of local search technique in which the current solution is improved by searching neighborhood solutions. Integer programming is used to generate neighborhood solution in IPbLS. The effectiveness of the proposed algorithm has been tested on OR-Library test instances. The experimental results showed that IPbLS could search for the best known solutions in all the test instances. Especially, I confirmed that IPbLS could search for better solutions than the best known solutions in four test instances.

On-Chip Crossbar Network Topology Synthesis using Mixed Integer Linear Programming (Mixed Integer Linear Programming을 이용한 온칩 크로스바 네트워크 토폴로지 합성)

  • Jun, Minje;Chung, Eui-Young
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.50 no.1
    • /
    • pp.166-173
    • /
    • 2013
  • As the number of IPs and the communication volume among them have constantly increased, on-chip crossbar network is now the most widely-used on-chip communication backbone of contemporary SoCs. The on-chip crossbar network consists of multiple crossbars and the connections among the IPs and the crossbars. As the complexity of SoCs increases, it has also become more and more complex to determine the topology of the crossbar network. To tackle this problem, this paper proposes an on-chip crossbar network topology method for application-specific systems. The proposed method uses mixed integer linear programming to solve the topology synthesis problem, thus the global optimality is guaranteed. Unlike the previous MILP-based methods which represent the topology with adjacency matrixes of IPs and crossbar switches, the proposed method uses the communication edges among IPs as the basic element of the representation. The experimental results show that the proposed MILP formulation outperforms the previous one by improving the synthesis speed by 77.1 times on average, for 4 realistic benchmarks.

A study on the staffing of an Airline Call Center using Integer Programming (항공사 Call Center 근무형태 결정을 위한 정수계획법 활용)

  • Han, Jae-Seon;Kim, Joon-Suk
    • Journal of Global Scholars of Marketing Science
    • /
    • v.11
    • /
    • pp.183-207
    • /
    • 2003
  • The human resource management is a very important thing to an airline call center. It may lead the call center to success or fail. The call center managers have to make appropriate decisions how many persons are inputted into the operation for each unit time and all day. In this study, a method is suggested to get an optimal staffing for each unit time using Integer Programming. The Integer Programming model can be used to solve the efficiency problem of the call center's staffing and scheduling. And call certer manager can adopt this model into the operations of the call center without any difficulties or modifications.

  • PDF

A Study on ESS Optimal Operation Strategy Using Two Stage Hybrid Optimization (Two Stage Hybrid Optimization을 사용한 ESS 최적 운전 전략에 대한 연구)

  • Gong, Eun-Kyoung;Sohn, Jin-Man
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.67 no.7
    • /
    • pp.833-839
    • /
    • 2018
  • This paper presents an analysis and the methodology of optimal operation strategy of the ESS(Energy Storage System) for reduce electricity charges. Electricity charges consist of a basic charge based on the contract capacity and energy charge according to the power usage. In order to use electrical energy at minimal charge, these two factors are required to be reduced at the same time. QP(Quadratic Programming) is appropriate for minimization of the basic charge and LP(Linear Programmin) is adequate to minimize the energy charge. However, the integer variable have to be introduced for modelling of different charge and discharge efficiency of ESS PCS(Power Conversion System), where MILP(Mixed Integer Linear Programming) can be used. In this case, the extent to which the peak load savings is accomplished should be assumed before the energy charge is minimized. So, to minimize the electricity charge exactly, optimization is sequentially performed in this paper, so-called the Two Stage Hybird optimization, where the extent to which the peak load savings is firstly accomplished through optimization of basic charge and then the optimization of energy charge is performed with different charge and discharge efficiency of ESS PCS. Finally, the proposed method is analyzed quantitatively with other optimization methods.