the environmental rules of reverse logistic networks have caused important economic growth in the past decades. to integrate forward logistic networks with reverse logistics networks a helpful method is to design both networks simultaneously. considering more retrieval choices in modeling reverse logistic systems can be very critical. this article contains a mixed integer linear programming mod...

Since the countryside is one of main drivers global economy, it vital to support its technological development. When a potential investor contemplates agribusiness investments, several alternatives are presented him, including forestry, livestock raising, and silvopastoralism, which consists integrating both activities into single agroforestry system. In this paper, we address problem designing...

Many authors have examined lot sizing, scheduling and sequence of multi-product flow shops, but most of them have assumed that set up times are independent of sequence. Whereas dependence of set up times to sequence is more common in practice. Hence, in this paper, we examine the discussed problem with hypothesis of dependence of set up times to sequence and cyclic schedule policy in basic peri...

This research effort used an upholstery factory as a case study to apply the idea of integer programming for ideal model. In order allocate limited and readily available material resources competing products (Bed (6x6ft), Bed (6x4ft), Wardrobe Side Drawer, Shoe Rack) in furniture with view maximizing profit, Revised Simplex method solving linear branch bound models were this study. The analysis...

in this paper we investigate multi-objective integer linear programming (moilp) problems with unbounded feasible region and introduce recession direction for moilp problems. then we present necessary and sufficient conditions to have unbounded feasible region and infinite optimal values for objective functions of moilp problems. finally we present some examples with unbounded feasible region and fi...

Modular arithmetic is the underlying integer computation model in conventional programming languages. In this paper, we discuss the satisfiability problem of modular arithmetic formulae over the finite ring Z2ω . Although an upper bound of 2 2 4) can be obtained by solving alternation-free Presburger arithmetic, it is easy to see that the problem is in fact NP-complete. Further, we give an effi...

This paper proposes a model transformation approach for model-based energy management in buildings. Indeed, energy management is a large area that covers a wide range of applications such as simulation, mixed integer linear programming optimization, simulated annealing optimization, model parameter estimation, diagnostic analysis,. . . Each application requires a model but in a specific formali...