Faunistic and statistical analyses of species diversity of the mimercofauna and araneofauna associated with variously managed agricultural fields and adjacent forest fragments and their interactions with Carabidae and Staphylinidae (Coleoptera) are needed to identify the key species affecting the dynamics within the arthropod population affecting the agroecosystem. This knowledge is needed to d...

Partitioning formulas is motivated by the expectation to identify easy to solve subformulas, even though at the cost of having more formulas to solve. In this paper we suggest to apply partitioning to Maximum Satisfiability (MaxSAT), the optimization version of the well-known Satisfiability (SAT) problem. The use of partitions can be naturally combined with unsatisfiability-based algorithms for...

Rapid Prototyping has transitioned from only being able to produce delicate prototypes to being capable of producing robust production parts. As part of this transition, it has been renamed Additive Manufacturing (AM). As a true manufacturing technology, it has become important to deliberately design parts for Additive Manufacturing, and research has begun in how best to achieve this. This thes...

This thesis reports research into the specification and implementation of an Information Technology (IT) Route Map. The purpose of the Route Map is to enable rapid design and deployment of IT solutions capable of semi-automating business processes in a manufacturing enterprise. The Map helps structure transition processes involved in “identification of key business strategies and design of busi...

Today’s manufacturing plants are equipped with heterogeneous software systems for different types of tasks, both manufacturing operations and factory planning. On the operating level software systems are neither yet integrated and thus support separate tasks such as production monitoring, sequence planning, work piece identification, maintenance order management, worker information and others. ...

Many defects in manufacturing system are caused by human resources that show the significance of the human resources in manufacturing systems. Most manufacturers attempt to investigate the human resources in order to improve the work conditions and reduce the human error by providing a proper work-rest schedule. On the other hand, manufacturer deal with machine scheduling based on demand and wo...

In recent years, Many manufacturing industries for promoting their efficiency have tended to use the automatic manufacturing systems. Expanding automatic systems and to increase their complexity are representing the necessity of studying a proper functional quality and using reliable equipment in such systems more than ever. In this direction, the technique of fault tree analysis (FTA), along w...

In this paper, we study a generalized production planning problem, that simultaneously investigates the two decisions that play critical roles in most firms, namely, production planning and order splitting and assignment. The problem takes into consideration the production time windows and capacities. We formulate the integrated problem as a linear mixed-integer program with a minimized total c...