• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.533-543
• /
• 2018

In this paper, we propose an MILP-based method for Optimal Probability of Bit-based Differential Characteristic in SP(Substitution-permutation) ciphers based on Automatic Differential Characteristic Searching Method of Sasaki, et al. In [13], they used input/output variables and probability variables seperatably, but we simplify searching procedure by putting them(variables) together into linear inequalities. Also, In order to decrease the more linear inequalities, we choose Espresso algorithm among that used by Sasaki, et al(Quine-McCluskey algorithm & Espresso algorithm). Moreover, we apply our method to GIFT-64, GIFT-128, SKINNY-64, and we obtained results in the GIFT(Active S-boxs : 6, Probabilities : $2^{-11.415}$) compared with the existing one.(Active S-boxs : 5, Probabilities : unknown). In case of SKINNY-64, we can't find better result, but can find same result compared with the existing one.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.5
• /
• pp.875-888
• /
• 2021

In this paper, we search integral distinguishers of lightweight block cipher PIPO and propose a key recovery attack on 8-round PIPO-64/128 with the obtained 6-round distinguishers. The lightweight block cipher PIPO proposed in ICISC 2020 is designed to provide the efficient implementation of high-order masking for side-channel attack resistance. In the proposal, various attacks such as differential and linear cryptanalyses were applied to show the sufficient security strength. However, the designers leave integral attack to be conducted and only show that it is unlikely for PIPO to have integral distinguishers longer than 5-round PIPO without further analysis on Division Property. In this paper, we search integral distinguishers of PIPO using a MILP-aided Division Property search method. Our search can show that there exist 6-round integral distinguishers, which is different from what the designers insist. We also consider linear operation on input and output of distinguisher, respectively, and manage to obtain totally 136 6-round integral distinguishers. Finally, we present an 8-round PIPO-64/128 key recovery attack with time complexity 2^124.5849 and memory complexity of 2⁹³ with four 6-round integral distinguishers among the entire obtained distinguishers.

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

Fine chemical production must assure high-standard product quality as well as characterized as multi-product production in small volumes. Installing high-precision batch distillation is one of the common elements in the successful manufacturing of fine chemicals, and the importance of the process operation strategy with quality assurance cannot be overemphasized. In this study, we investigate the optimal operation strategy and production planning of a sequential multi-purpose plants consisting of batch processes and batch distillation with unlimited intermediate storage. We formulated this problem as an MILP model. A mixed-integer linear programming model is developed based on the time slot, which is used to determine the production sequence and the production path of each batch. Illustrative examples show the effectiveness of the approach.

• Journal of Communications and Networks
• /
• v.13 no.6
• /
• pp.612-620
• /
• 2011

Recently, one of the problems with the Internet is the issue of scalability. To this end, locator/identifier separation protocol (LISP), which separates end-system identifiers and routing locators, has been proposed as a solution. In the LISP deployed network, the ingress and egress nodes of inter-AS traffic is determined by edge router selection (ERS) and endpoint identifier-routing locator mapping assignment (ERMA). In this paper, joint optimizations of ERS and ERMA for stub networks with and without predetermined link weights are studied and the mixed integer linear programming (MILP) formulations for the problems are given. To make the problem with optimizable link weights tractable, a revised local search algorithm is also proposed. Simulation results show that joint optimization of ERS and ERMA enables better network performance.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.5
• /
• pp.365-372
• /
• 2021

This paper deals with an optimal Weapon-Target Assignment (WTA) algorithm for Closed-In Weapon Systems (CIWS), considering variable burst time. In this study, the WTA problem for CIWS is formulated based on Mixed Integer Linear Programming (MILP). Unlike the previous study assuming that the burst time is fixed regardless of the engagement range, the proposed method utilizes the variable burst time based on the kill probability according to the engagement range. Thus, the proposed method can reflect a more realistic engagement situation and reduce the reaction time of CIWS against targets, compared to the existing method. In this paper, we first reformulate the existing MILP-based WTA problem to accommodate the variable burst Time. The proposed method is then validated through numerical simulations with the help of a commercial optimization tool.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.12
• /
• pp.255-264
• /
• 2021

In this paper, we propose operations and maintenance (O&M) planning approach for floating offshore wind farm using the mathematical optimization. To be specific, we present a MILP (Mixed Integer Linear Programming that suggests the composition of vessels, technicians, and maintenance works on a weekly basis. We reflect accessibility to wind turbines based on weather data and loss of power generation using the Jensen wake model to identify downtime cost that vary from time to time. This paper also includes a description of two-stage approach for maintenance planning & detailed scheduling and numeric analysis of the number of vessels and technicians on the O&M cost. Finally, the MILP model could be utilized in order to establish the suitable and effective maintenance planning reflecting domestic situation.

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

This paper has develops a new framework to understand the human’s driving maneuver based on the expression as HDS focusing on the driver’s stopping maneuver. The driving data has been collected by using the three-dimensional driving simulator based on CAVE, which provides three-dimensional visual information. In our modeling, the relationship between the measured information such as distance to the stop line, its first and second derivatives and the braking amount has been expressed by the PWPS model, which is a class of HDS. The key idea to solve the identification problem was to formulate the problem as the MILP with replacing the switching conditions by binary variables. From the obtained results, it is found that the driver appropriately switches the ‘control law’ according to the following scenario: At the beginning of the stopping behavior (just after finding the stopping point), the driver decelerate the vehicle based on the acceleration information, and then switch to the control law based on the distance to the stop line.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.89-93
• /
• 2009

홍수기에 집중되는 하천유출량을 갈수기에 적절히 활용하기 위한 대표적인 시설이 댐이다. 제한된 용수공급량을 적절히 분배해 용수수요량을 만족시키면서 미래 갈수기시 용수공급을 위한 댐 저류량을 조절하는 것이 댐 운영의 중요한 목적 중 하나이다. 본 연구에서는 댐 저류량에 따라 댐 계획방류량을 일정비율 줄여주는 Hedging Rule을 5단계로 적용하여 댐의 상시만수위 저류량에 대한 실제 저류량의 편차 절대치 합, 수요에 대한 용수공급 부족량의 합, 그리고 하천유지유량에 대한 하천유량 부족량의 합을 목적함수로 하여 혼합정수 선형계획법(MILP, Mixed Integer Linear Programming)으로 식을 구성하였다. 한강수계의 다목적댐인 충주, 횡성, 소양강 댐과 용수전용댐인 광동 댐, 그리고 발전용 댐이지만 비교적 큰 저류용량을 가진 화천 댐을 댐 연계 운영 대상으로 하여 수자원장기종합계획의 2003년 유출량 및 수요량 자료와 댐운영실무편람의 댐 계획방류량 자료를 10일 단위로 입력하여 GAMS/CPLEX를 이용해 최적화하였다. 그 결과 생공용수 수요량 99.99%, 농업용수 수요량 99.91%, 그리고 하천유지용수 수요량 99.24%를 충족시키면서, 댐 저류율이 66.54%에서 86.39%로 증가하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.392-392
• /
• 2000

This study performs optimization of paper mill scheduling using MINLP(Mixed-Integer Non-Linear Programming) method and 2-step decomposing strategy. Paper mill process is normally composed of five units: paper machine, coater, rewinder, sheet cutter and roll wrapper/ream wrapper. Various kinds of papers are produced through these units. The bottleneck of this process is how to cut product papers efficiently from raw paper reel and this is called trim loss problem or cutting stock problem. As the trim must be burned or recycled through energy consumption, minimizing quantity of the trim is important. To minimize it, the trim loss problem is mathematically formulated in MINLP form of minimizing cutting patterns and trim as well as satisfying customer's elder. The MINLP form of the problem includes bilinearity causing non-linearity and non-convexity. Bilinearity is eliminated by parameterization of one variable and the MINLP form is decomposed to MILP(Mixed-Integer Linear programming) form. And the MILP problem is optimized by means of the optimization package. Thus trim loss problem is efficiently minimized by this 2-step optimization method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.6C
• /
• pp.577-584
• /
• 2005

Optimal methods for designing multiplierless minimal complexity FIR filters with cascaded prefilter-equalizer structures are proposed for narrowband communication systems. Assuming that an FIR filter consists of a cyclotomic polynomial(CP) prefilter and an interpolated second order polynomial(ISOP) equalizer, in the proposed method the prefilter and equalizer are simultaneously designed using mixed integer linear programming(MILP). The resulting filter is a cascaded filter with minimal complexity. Design examples demonstrate that the proposed methods produce a more computationally efficient cascaded prefilter-equalizer than other existing filters.