• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.2
• /
• pp.478-493
• /
• 2024

In this paper, the Mixed Integer Linear Programming (MILP) model is improved for searching differential characteristics of block cipher Midori-64, and 4 search strategies of differential path are given. By using strategy IV, set 1 S-box on the top of the distinguisher to be active, and set 3 S-boxes at the bottom to be active and the difference to be the same, then we obtain a 5-round differential characteristics. Based on the distinguisher, we attack 12-round Midori-64 with data and time complexities of 2⁶³ and 2^103.83, respectively. To our best knowledge, these results are superior to current ones.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.4
• /
• pp.85-92
• /
• 2018

Reductions of the electricity charge are achieved by demand management of the load. The demand management method of the load using ESS involves peak shifting, which shifts from a high demand time to low demand time. By shifting the load, the peak load can be lowered and the energy charge can be saved. Electricity charges consist of the energy charge and the basic charge per contracted capacity. The energy charge and peak load are minimized by Linear Programming (LP) and Quadratic Programming (QP), respectively. On the other hand, each optimization method has its advantages and disadvantages. First, the LP cannot separate the efficiency of the ESS. To solve these problems, the charge and discharge efficiency of the ESS was separated by Mixed Integer Linear Programming (MILP). Nevertheless, both methods have the disadvantages that they must assume the reduction ratio of peak load. Therefore, QP was used to solve this problem. The next step was to optimize the formula combination of QP and LP to minimize the electricity charge. On the other hand, these two methods have disadvantages in that the charge and discharge efficiency of the ESS cannot be separated. This paper proposes an optimization method according to the situation by analyzing quantitatively the advantages and disadvantages of each optimization method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.11a
• /
• pp.32-33
• /
• 2010

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1362-1366
• /
• 2003

Workload programming is allocating suitable workloads of production process according to the needs of products, which would minimize the total cost of both work and stock under some constraint conditions. In this paper, a production process flow chart of discrete manufacturing is presented by a Petri net, and the optimization model of workload-stock is established. An approach of the optimal workloads is provided by means of the integer matrix theory. An example is given to verify this method.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.42 no.3
• /
• pp.1-12
• /
• 2017

In this paper, we generalize lifted inequalities to a 0-1 mixed-integer bilinear covering set with linear terms. This work is motivated by the observation that Generalized Bilinear Inequality (GBI) occurs in the Branch and Bound process. We find some conditions and prove the subadditivity of lifting functions for lifting to be sequence-independent. Using the theoretical results, we develop facet-defining inequalities for a GBI-defined set through three steps of lifting.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.2
• /
• pp.1-19
• /
• 1994

A generalized network problem is a special class of linear programming problem whose coefficient matrix contains at most two nonzero elements per column. A generalized network problem with 0-1 flow restrictions is called an integer generalized network(IGN) problem. In this paper, we presented a branch and bound algorithm for the IGN that uses network relaxation. To improve the procedure, we develop various strategies, each of which employs different node selection criterion and/or branching variable selection criterion. We test these solution strategies and compare their efficiencies with LINDO on 70 randomly generated problems.

• Journal of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.297-309
• /
• 2006

In this paper, we consider cooperative games arising from integer domination problem on graphs. We introduce two games, ${\kappa}-domination$ game and its monotonic relaxed game, and focus on their cores. We first give characterizations of the cores and the relationship between them. Furthermore, a common necessary and sufficient condition for the balancedness of both games is obtained by making use of the technique of linear programming and its duality.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.15 no.1
• /
• pp.23-35
• /
• 1990

A mathematical model for a dynamic capacitate facility location problem is formulated by a mixed integer problem. The objective of the model is to minimize total discounted costs that include fixed charges and distributed costs. The Cross Decomposition method of Van Roy is extended and applied to solve the dynamic capacitated facility location problem. The method unifies Benders Decomposition and Lagrangean relaxation into a single framework. It successively solves a transportation problem and a dynamic uncapacitated facility location problem as two subproblems. Computational results are compared with those of general mixed integer programming.

• Journal of the Korean Society for Railway
• /
• v.8 no.4
• /
• pp.314-320
• /
• 2005

This paper is designed to help train dispatcher resolve railway conflicts in rent-time. We developed a mixed integer programming model to optimize the train schedule that determines the best overtaking or crossing positions, The objective of the model is to minimize the maximum lateness of the trains and reduce the total sum of the lateness, while satisfying the field constraints associated with the difference between passenger trains and freight trains, and the limited number of sidings. We applied the model on a portion of a single line track, Joong-Ang Line to ascertain the efficiency of the model, and showed how the model can be used to resolve the railway conflicts. The results indicates that our model can provide useful results in terms of optimal schedule for the test problem. This type of modeling approach would be useful for a train dispatcher to make a real-time railway conflict resolution.

• Journal of Korea Water Resources Association
• /
• v.32 no.5
• /
• pp.557-564
• /
• 1999

Monitoring of groundwater Quality is essential for the preservation of groundwater resources. In practice. however, groundwater monitoring network is designed based on the experience and intuition of experts or on the convenience. This study proposes a simulation-optimization approach for the optimal design of monitoring networks. In it, the predicted three-dimensional concentration data are used as the input of an optimization problem. Various design objectives and constraints are considered and the problem is formulatcu as the 0-1 integer programming. The methodology was applied to a sanitary landfill site. The results show that the monitoring network configuration changes as the monitoring goal, operation time and constraints vary. The proposed method turns out to be an efficient tool for the wide range of groundwater Quality monitoring network design problems.oblems.