• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.49
• /
• pp.59-65
• /
• 1999

This paper considers the cell formation in a manufacturing environment where the setup times and costs are significantly dependent on the sequence. The trade-off between saving on the setup costs and additional investment on new machines is considered for determining the economic number of cells. Accordingly, This paper develops a mixed integer program and mentions a variety of manufacturing situations where this model can be useful. This paper also includes an illustrative example.

• Journal of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.945-962
• /
• 2022

For a positive integer ℓ, $\bar{A}_{\ell}(n)$ denotes the number of over-partitions of n into parts not divisible by ℓ. In this article, we find certain Ramanujan-type congruences for $\bar{A}_{r{\ell}}(n)$, when r ∈ {8, 9} and we deduce infinite families of congruences for them. Furthermore, we also obtain Ramanujan-type congruences for $\bar{A}_{13}(n)$ by using an algorithm developed by Radu and Sellers [15].

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.237-255
• /
• 2023

In this article, we find bases for the spaces of modular forms $M_2({\Gamma}_0(88),\;({\frac{d}{\cdot}}))$ for d = 1, 8, 44 and 88. We then derive formulas for the number of representations of a positive integer by the diagonal quaternary quadratic forms with coefficients 1, 2, 11 and 22.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.28 no.2
• /
• pp.94-100
• /
• 2005

This paper presents the application of integrated mathematical programming approach for the design of cellular manufacturing. The proposed approach is carried out in two phases The first phase concerning exceptional elements(EEs) in cell formation and the second phase facilities layout design. This paper considers the total costs of three important costs for (1) intercellular transfer (2) machine duplication and (3) subcontracting. One of Important issue is the calculation of the number of machines considering the maximum utilization of machines and the available capacity of a machines that can be transferred between cells. Facilities layout design is considered to reflect the real field data taking in to account the operational sequence of the parts to be manufactured. The model is formulated as mixed integer programming that is employed to find the optimal solution.

• 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 Korean Institute of Industrial Engineers
• /
• v.32 no.4
• /
• pp.382-392
• /
• 2006

Vendor-managed inventory policy(VMIP) is a supply-chain initiative where the supplier is authorized to manage inventories of items at retail locations. In VMIP, the supplier monitors sales and stock information at retail locations and makes decisions of inventory replenishment and transportation simultaneously. VMIP has been known as an effective supply chain strategy that can realize many of benefits obtainable only in a fully integrated supply chain. However, VMIP does not always lead to lower the supply chain cost. It sometimes generates the total supply chain cost higher than the traditional retailer-managed inventory policy (RMIP). In this paper, we perform a comparison study on RMIP and VMIP in the retail supply chain which consists of a single supplier and a number of retailers. We formulate mixed integer programming models for both RMIP and VMIP with vehicle routing problems and perform computational experiments on various test problems. Furthermore, we derive the conditions which guarantee the dominant position for VMIP with respect to total supply chain cost in the simple retail supply chain.

• Journal of Korea Multimedia Society
• /
• v.17 no.7
• /
• pp.778-786
• /
• 2014

Buyer-seller watermarking protocol is one of the copyright protection techniques which combine a cryptographic protocol used in electronic commerce with a digital wetermarking scheme aiming at proving the ownership of multimedia contents and preventing the illegal reproduction and redistribution of digital contents. In this paper, it is proposed a new watermarking scheme in an encrypted domain in an image that is based on the block-DCT framework. In order to implement watermarking scheme in a public-key cryptosystem, it is divided that frequency coefficients exist as real number into integer and decimal layer. And the decimal layer is modified integer type through integral-processing. Also, for robustness and invisibility required in watermarking scheme, it is designed a direction-adaptive watermarking scheme based on locally edge-properties of each block in an image through analyzing distribution property of the frequency coefficients in a block using JND threshold.

• Journal of the Korean Society for Railway
• /
• v.12 no.6
• /
• pp.1018-1023
• /
• 2009

This paper describes a reduction in the peaks of traction energy for metro railways in timetabling. We develope a mixed integer programming (MIP) model, which minimizes the number of trains running simultaneously. We suggest two approaches. In the first approach, we use the commercial MIP solver, CPLEX. In the second approach, we propose a heuristic algorithm. We apply both methods to the current daily timetable of the Korea Metropolitan Subway. We determine an optimal solution, which results in an improvement of approximately 25% over the current timetable.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.4B
• /
• pp.455-463
• /
• 2004

In this paper, we deal with a ring-mesh network design problem arising from the deployment of WDM for the optical internet. The ring-mesh network consists of ring topology and full mesh topology for satisfying traffic demand while minimizing the cost of OAOMs and OXCs. The problem seeks to find an optimal clustering of traffic demands in the network such that the total number of node assignments is minimized, while satisfying ring capacity and node cardinality constraints. We formulate the problem as a mixed-integer programming model and prescribe a tabu search heuristic procedure Promising computational results within 3% optimality gap are obtained using the proposed method.

• Steel and Composite Structures
• /
• v.22 no.5
• /
• pp.1163-1192
• /
• 2016

This paper presents the cost optimization of a composite I beam floor system, designed to be made from a reinforced concrete slab and steel I sections. The optimization was performed by the mixed-integer non-linear programming (MINLP) approach. For this purpose, a number of different optimization models were developed that enable different design possibilities such as welded or standard steel I sections, plastic or elastic cross-section resistances, and different positions of the neutral axes. An accurate economic objective function of the self-manufacturing costs was developed and subjected to design, resistance and deflection (in)equality constraints. Dimensioning constraints were defined in accordance with Eurocode 4. The Modified Outer-Approximation/Equality-Relaxation (OA/ER) algorithm was applied together with a two-phase MINLP strategy. A numerical example of the optimization of a composite I beam floor system, as presented at the end of this paper, demonstrates the applicability of the proposed approach. The optimal result includes the minimal produced costs of the structure, the optimal concrete and steel strengths, and dimensions.