• Information Systems Review
• /
• v.5 no.2
• /
• pp.203-217
• /
• 2003

Constraint Programming and Optimization have developed in different fields to solve common problems in real world. In particular, constraint propagation and linear Programming are their own fundamental and complementary techniques with the potential for integration to benefit each other. This intersection has evoked the efforts to combine both for a solution method to combinatorial optimization problems. Attempts to combine them have mainly focused on incorporating either technique into the framework of the other with traditional models left intact. This paper argues that integrating both techniques into an old modeling fame loses advantages from another and the integration should be molded in a new framework to be able to exploit advantages from both. The paper propose a declarative modeling framework in which the structure of the constraints indicates how constraint programming and optimization solvers can interact to solve problems.

• Journal of Powder Materials
• /
• v.30 no.3
• /
• pp.255-261
• /
• 2023

Aluminum alloys are widely utilized in diverse industries, such as automobiles, aerospace, and architecture, owing to their high specific strength and resistance to oxidation. However, to meet the increasing demands of the industry, it is necessary to design new aluminum alloys with excellent properties. Thus, a new method is required to efficiently test additively manufactured aluminum alloys with various compositions within a short period during the alloy design process. In this study, a combinatory approach using a direct energy deposition system for metal 3D printing process with a dual feeder was employed. Two types of aluminum alloy powders, namely Al6061 and Al-12Cu, were utilized for the combinatory test conducted through 3D printing. Twelve types of Al-Si-Cu-Mg alloys were manufactured during this combinatory test, and the relationship between their microstructures and properties was investigated.

• Korea Real Estate Review
• /
• v.28 no.1
• /
• pp.23-37
• /
• 2018

The genetic algorithm (GA) and branch and bound (B&B) methods are the useful methods of searching the optimal project combination (combinatorial optimization) to maximize the project effect considering the budget constraint and the balance of regional development with regard to the Urban Regeneration New Deal policy, the core real estate policy of the Moon Jae-in government. The Ministry of Land, Infrastructure, and Transport (MOLIT) will choose 13 central-city-area-type projects, 2 economic-base-type projects, and 10 public-company-proposal-type projects among the numerous projects from 16 local governments while each government can apply only 4 projects, respectively, for the 2017 Urban Regeneration New Deal project. If MOLIT selects only those projects with a project effect maximization purpose, there will be unselected regions, which will harm the balance of regional development. For this reason, an optimization model is proposed herein, and a combinatorial optimization method using the GA and B&B methods should be sought to satisfy the various constraints with the object function. Going forward, it is expected that both these methods will present rational decision-making criteria if the central government allocates a special-purpose-limited budget to many local governments.

• Journal of KIISE:Software and Applications
• /
• v.32 no.4
• /
• pp.247-257
• /
• 2005

Generally, the network topology design problem is characterized as a kind of NP-hard combinatorial optimization problem, which is difficult to solve with the classical method because it has exponentially increasing complexity with the augmented network size. In this paper, we propose the efficient approach with two phase that is comprised of evolutionary computation approach based on Prufer number(PN), which can efficiently represent the spanning tree, and a heuristic method considering 2-connectivity, to solve the highly reliable network topology design problem minimizing the construction cost subject to network reliability: firstly, to find the spanning tree, genetic algorithm that is the most widely known type of evolutionary computation approach, is used; secondly, a heuristic method is employed, in order to search the optimal network topology based on the spanning tree obtained in the first Phase, considering 2-connectivity. Lastly, the performance of our approach is provided from the results of numerical examples.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.46 no.2
• /
• pp.1-9
• /
• 2009

In recent years, a film restoration has gained increasing attention by many researchers, to support multimedia service of high quality. In general, an old film is degraded by dust, scratch, flick, and so on. Among these, the common factors are scratch and blotch, so that many researchers have been investigated to restore these degradations. However, the methods in literature have one major limitation: A method is working well in dealing with scratches, however it is poorly working in processing the blotches. The goal of this work is to develop a robust technique to restore images degraded by both scratches and blotches. For this, we use MRF-MAP (Markov random field - maximum a posteriori) framework, so that the restoration problem is considered as the minimization problem of the posteriori energy function. As the minimization is one of complex combinatorial problem, we use distributed genetic algorithms (DGAs) that effectively deal with combinatorial problems. To asses the validity of the proposed method, it was tested on natural old films and artificially degraded films, and the results were compared with other methods. Then, the results show that the proposed method is superior to other methods.

• The Mathematical Education
• /
• v.48 no.1
• /
• pp.33-45
• /
• 2009

The purpose of this article is to study characteristics of Soma Cube in combinatorial-geometric point of view, and to present basic substances and direction for efficient Soma cube activities in school mathematics upon systematical analysis of methods of finding solutions using Inclusion-Exclusion Method. We can apply Inclusion-Exclusion Method to find all possible solutions in Soma Cube activities not as trial-and-error method but as analytical method. Because Inclusion-Exclusion Method can reduce the number of problem-solving variables by making high conjunction in the choice of pieces. Soma cube pieces can be sorted as 'flat' ones and 'non-flat' ones, which would be another effective method in the manipulation of Soma Cube pieces.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.44
• /
• pp.93-101
• /
• 1997

This paper describes the application of Genetic Algorithms(GAs) to nonlinear constrained mixed optimization problems. Genetic Algorithms are combinatorial in nature, and therefore are computationally suitable for treating discrete and integer design variables. But, several problems that conventional GAs are ill defined are application of penalty function that can be adapted to transform a constrained optimization problem into an unconstrained one and premature convergence of solution. Thus, we developed an improved GAs to solve this problems, and two examples are given to demonstrate the effectiveness of the methodology developed in this paper.

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

We consider an algorithm for the Crew Scheduling Problem (CSP) based on the Transportation Problem approach. The main flows of the algorithm are arranged in three steps. First we propose a heuristic algorithm of the greedy principle to obtain an initial feasible solution. Secondary we present a method of formulating CSP into a Modified Transportation Problem format. Lastly the procedures of network search to get the optimal solution are presented. This algorithm can be applied to the general GSP and also to most combinatorial problems like the Vehicle Routing Problems. The computational results show that the large size CSP's could be tackled.

• Journal of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.713-724
• /
• 1995

In 1954 Frame, Robinson and Thrall [5] gave the hook formula for the number of standard Young tableaux of a given shape. Since then many proofs for the hook formula have been given using various methods. See [9] forprobabilistic method and see [6] or [12] for combinatorial ones. Regev [10] has given asymptotic values for these numbers and Gouyou-Beauchamps [8] gave exact formulas for the number of standard Young tableaux having n cells and at most k rows in the cases k = 4 and k = 5.

• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.479-491
• /
• 2008

In [4], the authors studied the Pascal matrix and the Stirling matrices of the first kind and the second kind via the Fibonacci matrix. In this paper, we consider generalizations of Pascal matrix, Fibonacci matrix and Pell matrix. And, by using Riordan method, we have factorizations of them. We, also, consider some combinatorial identities.