The efficiency of transportation system management plays an important role in the planning and operation efficiency of flexible manufacturing systems. Automated Guided Vehicles (AGV) are part of diversified and advanced techniques in the field of material transportation which have many applications today and act as an intermediary between operating and storage equipment and are routed and contr...

The aim of this study was to develop an optimal sustainable forest plantation based on goal programming and Analytic Hierarchy Process (AHP) methods. This study was carried out in Guilan province, north of Iran. First of all, the ecological capability of the study area for plantation establishment/maintenance was evaluated based on multi-factor method and specific ecological Makhdoum Model by ...

  A fuzzy goal programming-based approach is used to solve a proposed multi-objective linear programming model and simultaneously handle two important problems in cellular manufacturing systems, viz. cell formation and layout design. Considerations of intra-cell layout, the intra-cell material handling can be calculated exactly. The advantages of the proposed model are considering machining cos...

  Most supplier selection models consider the buyer’s viewpoint and maximize only the buyer’s profit. This does not necessarily lead to an optimal situation for all the members of a supply chain. Coordination models have been developed to optimize the entire supply chain and align the decisions between its entities. Little research has been done on the application of these models in the supplie...

this paper presents a new mathematical model for a bi-objective job shop scheduling problem with sequence-dependent setup times that minimizes the weighted mean completion time and the weighted mean tardiness time. for solving this multi-objective model, we develop a fuzzy multi-objective linear programming (fmolp) model. in this problem, a proposed fmolp method is applied with respect to the o...

In this paper, the investment portfolio is formed based on the data mining algorithm of CHAID on the basis of the risk status criteria. In the next step, the second investment portfolio is created based on the decision rules extracted by the DEA-BCC model. The final portfolio is created through a two-objective mathematical programming model based on the Imperialist Competitive algorithm.

in this study economic and welfare impacts of establishing irrigation water market in qazvin province as well as potentiality of irrigation water transfer under stress irrigation conditions in the cities of qazvin province were analyzed. to achieve the above objectives, positive mathematical programming model and state wide agricultural production functions were used. to achieve applicable resu...

Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain bounds. Abstract interpretation is used in the static analysis of code to establish the inclusion-wise smallest set of values (numerical invariant) that the program variables can attain during program execution. Such sets can be used to de...

This paper describes a narrative-oriented approach to the design and the analysis of a computational system and a set of activities for mathematical learning. Our central contention is that programming can offer a key to resolving the tension between the different representational structures of narrative and mathematical formalism. In the course of describing our approach, we make a distinction...