this paper presents a genetic algorithm (ga) for solving a generalized model of single-item resource-constrained aggregate production planning (app) with linear cost functions. app belongs to a class of pro-duction planning problems in which there is a single production variable representing the total production of all products. we linearize a linear mixed-integer model of app subject to hiring...

applying robust optimization to solve product mix problem in automotive industries in this article, applying robust optimization in product mix problem in automotive industries is presented. the problem includes determining both the quantity and the identification of each product to produce to maximize profit. at first, the deterministic model will be presented. then, robust model of product mi...

The theory of constraints is an approach to production planning and control that emphasizes on the constraints to increase throughput by effectively managing constraint resources. One application in theory of constraints is product mix decision. Product mix influences the performance measures in multi-product manufacturing system. This paper presents an alternative approach by using of goal pro...

Data Envelopment Analysis (DEA) cannot provide adequate discrimination among efficient decision making units (DMUs). To discriminate these efficient DMUs is an interesting research subject. The purpose of this paper is to develop the mix integer linear model which was proposed by Foroughi (Foroughi A.A. A new mixed integer linear model for selecting the best decision making units in data envelo...

We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy;...

We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on a two-letter alphabet. This is the online version of the paper of the same title appearing in th...

We investigate the linear logic of Chu spaces as deened by its dinaturality semantics. For those formulas of multiplicative linear logic limited to at most two occurrences of each variable we prove full completeness of Girard's MIX-free axiomatization, namely that the cut-free proof-nets of such formulas are in a natural bijection with the dinatural elements of the corresponding functors.

product mix problem (pmp) is one of the most important and complicated problems in production systems. different approaches have been applied to solve this problem, among them, theory of constraints (toc) has been widely considered since 1990s. this paper develops a distinguished algorithm to solve product mix prob-lems that is efficient both in single and multi-bottleneck problems. at first, t...