The purpose of this contribution is to present a summary of available information and procedures regarding the protection of radiological workers against x rays and gamma rays emitted by sources external to the body. In this way it is hoped to assist those responsible for the planning and designing of industrial radiological departments to provide adequate and, at the same time, economical prot...

We present two case studies employing formal verification in an industrial context. Our first example deals with product configuration for the automotive industry, the second one examines a rule-based expert system controlling IBM’s highavailability System Automation software. We identify common requirements to both the logical encoding and the decision procedures for the purpose of verificatio...

The residual dyes from different sources (e.g., textile industries, paper and pulp industries, dye and dye intermediates industries, pharmaceutical industries, tannery, and Kraft bleaching industries, etc.) are considered a wide variety of organic pollutants introduced into the natural water resources or wastewater treatment systems. One of the main sources with severe pollution problems worldw...

Analysis of more than 20 projects for clustering small and medium enterprises and supporting organizations in different Latin American countries has uncovered a number of barriers, activities, structures, strategies, policies and procedures that impact competitiveness. These factors mean that there are different appropriate industrial cluster and industrial business models appropriate for the s...

Components of industrial processes are often affected by un-permitted or un-expected deviations from normal operation behaviour. The fault detection task consists of determination of the fault present in a system and the time of detection. In addition to fault detection follows the fault identification by determination of kind, location and time of detection of a fault. These procedures are bas...

: Atopic diseases, the new "epidemic of the twenty-first century" and a central health problem of industrial nations, call for the development of innovative primary prevention strategies. The present review provides an overview of current experimental and immunomodulatory procedures and their underlying mechanisms.

In Québec, workers intervening in hazardous zones of machines, equipment and processes during maintenance, repairs and unjamming activities have to apply lockout procedures. Lockout procedures involve shutting down the equipment, isolating it, applying individual locks, releasing residual energies and verifying the absence of energies. Lockout has mostly been linked to industrial sectors. Howev...

Distribution Statement A. Approved for public release. Distribution is unlimited. DESTRUCTION NOTICE For classified documents, follow the procedures in DOD 5220.22M, National Industrial Security Program Operating Manual (NISPOM), Chapter 5, Section 7, or DOD 5200.1-R, Information Security Program Regulation, Chapter IX. For unclassified, limited documents, destroy by any method that will preven...

The independent verification and validation (IV&V) of simulation models is largely restricted to applications in the military and public policy domains. There is little evidence of IV&V for industrial simulation models. This is largely because industrial simulations are normally of a much smaller scale and do not warrant a full IV&V. A procedure for IV&V of industrial simulation models is descr...