In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We propose a finitely convergent convex hull tree algorithm which constructs a linear program that has the same optimal solution as the associated MILP. In addition, we combine the standard notion of sequential cutting planes...

We study in this paper the problem of jumper insertion on general routing (Steiner/spanning) trees with obstacles for antenna avoidance/fixing at the routing and/or postlayout stages. We formulate the jumper insertion for antenna avoidance/fixing as a tree-cutting problem and present the first optimal algorithm for the general tree-cutting problem. We show that the tree-cutting problem exhibits...

The mechanisms of melt ejection and striation formation in laser cutting of mild steel are discussed. It is argued that the melt ejection from the cutting front is not a steady state process, but rather shows a cyclic phenomenon. The striation are strongly affected by the unstable characteristic of the thin liquid film on the cutting front during the melt ejection, together with the oxidation a...

Laser cutting is a complex multi-input multi-output machining process. To satisfy different requirements regarding laser cut quality it is necessary to determine optimal laser cutting conditions. This paper demonstrates the application of the grey relational analysis for optimization of different laser cut quality characteristics such as the depth of separation line, drag line separation and bu...

  A refrigeration cycle is a chain of various pieces of equipment including compressors, condensers, evaporators, and expansion devices each of which takes on a particular thermodynamic process duty in the cycle that eventually results in the production of the required refrigeration. The results of optimized mixed refrigerant cycles (MRCs) in Part I show that the configuration of MRC is an eff...

Kacelnikl proposes a puzzle for optimal foraging theorists, arising from experiments of Races and Nutiez2, who found that leaf-cutting ant (Acromyrmex lundi) workers changed their behavior in response to foragmg-quality information that was only known to scouts. The workers cut and transferred smaller pieces of parafilm when the scouts had been exposed to a 10% sugar solution than when they wer...

We consider the classic cake cutting problem where one allocates a divisible cake to n participating agents. Among all valid divisions, fairness and efficiency (a.k.a. social welfare) are the most critical criteria to satisfy and optimize, respectively. We study computational complexity of computing an efficiency optimal division given the conditions that the allocation satisfies proportional f...

In this article, an adaptive neural controller for the ball end-milling process is described. Architecture with two different kinds of neural networks is proposed, and is used for the on-line optimal control of the milling process. A BP neural network is used to identify the milling state and to determine the optimal cutting inputs. The feedrate is selected as the optimised variable, and the mi...