The equipments of an electrical system is subject to several types failures, especially those present in the transmission that are built unsheltered way, thus being exposed bad weather, which invariably results wear and, therefore, equipment failure. Of these, lines (LT) most susceptible failure, due their large extensions. From this feature particular, construction LT dense tropical forest reg...

This thesis considers optimization problems arising in printed circuit board assembly. Especially, the case in which the electronic components of a single circuit board are placed using a single placement machine is studied. Although there is a large number of different placement machines, the use of collect-and-place -type gantry machines is discussed because of their flexibility and increasin...

Introduction Application of quality control (QC) programs at diagnostic radiology departments is of great significance for optimization of image quality and reduction of patient dose. The main objective of this study was to perform QC tests on stationary radiographic X-ray machines, installed in 14 hospitals of Kerman province, Iran. Materials and Methods In this cross-sectional study, QC tests...

In this paper, we discuss the use of a model checker in combination with the speci cation method of Abstract State Machines (ASMs). A schema is introduced for transforming ASM models into the language of a model checker. We prove that the transformation preserves the semantics of ASMs and provide a theoretical framework for a transformation tool. Experience with model-checking the ASM model of ...

The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the period from 1984, when the idea for the concept of ASMs (under the name dynamic or evolving algebras or structures) appears for the first time in a foundational context, to the year 2001 where a mathematically well-founde...

Thousands of workers are employed in textile industries under different job categories including dyeing, printing, finishing, cutting, weaving and spinning. The textile industry workers are exposed to a number of chemicals including dyes, solvents, optical brighteners, finishing agents and numerous types of natural and synthetic fibre dusts which affect their health. In this paper an attempt ha...

oil is a strategic product in our country, iran. the amount of importing this product is considerable, and therefore, any attempt to produce crude oil in our country in a way that competes with the foreign counterparts, with regard to both quality and production cost is considered important. this study addresses the effect of oil seeds preparation step on quality of crude oil, which is extracte...