Tendency to optimization in last decades has resulted in creating multi-product manufacturing systems. Production planning in such systems is difficult, because optimal production volume that is calculated must be consistent with limitation of production system. Hence, integration has been proposed to decide about these problems concurrently. Main problem in integration is how we can relate pro...

In order to Investigate the knowledge and usage of personal protective equipments with 290 workers interviewed who were employed in 200 welding shops in Kerman. The data were recorded in a questionnaire. The results showed that in respect to personal protective equipments  31.4℅ had low knowledge, 50.3℅ medium knowledge and 18.3℅ good knowledge. Hand shieldwelding , safety goggles, clothes and ...

We present an approach for modeling use cases and scenarios in the Abstract State Machine Language and discuss how to use such models for validation and verification purposes.

We are presenting a method verifying programs based on extended control-state Abstract State Machines (ASM). Programs are special initial states in ASM’s. The aim is to prove that every run holds an algebraic specification of functions. The proof of different functions could be made by independent steps.

Electronic banking has been around for some time in the form of automatic teller machines and telephone transactions but with the advent of internet, more publicity has been witnessed. This issue of internet has equally given a new look to their transactions and mode of product delivery in banking services for the benefits of both the customers and the banks. The objective of this paper is to f...

On the basis of analyzing the relationship between the equipment system and spare parts inventory, this paper proposes two-level equipment and spare parts system management based on the Theory of Constraints. From the system point of view and according to the Theory of Constraints, the manufacturing organization identifies bottleneck equipments in equipment system and makes the bottleneck equip...