This paper deals with a formal method for the study of the backward reachability analysis applied on Colored Petri Nets (CPN). The proposed method proceeds in two steps : 1) it translates CPN to terms of the Multiplicative Intuitionistic Linear Logic (MILL); 2) it proves sequents by constructing proof trees. The translation from CPN to MILL must respect some properties such as the semantic asso...

A submersible UV/VIS spectrometer was used to monitor a paper mill wastewater treatment plant. It utilises the UV/VIS range (200–750 nm) for simultaneous measurement of COD, filtered COD, TSS and nitrate with just a single instrument. The instrument measures in-situ, directly in the process. Paper mill wastewater shows typical and reproducible spectra at various process measuring points. There ...

Concentrations of heavy metals, pH, and particle size distribution parameters were measured in Dragica stream and Djetinja River water receiving wastewaters from copper rolling mill industry, Sevojno. The concentrations of copper, zinc, lead, and mercury were determined for water samples collected in summer 2009. It was found that Copper Rolling Mill Sevojno was the significant source of water ...

J-FOR Journal of Science & Technology for Forest Products and Processes: VOL.1, NO.2, 2011 38 To a great extent, the design of large forest products facilities has been based on the assumptions of stable future wood costs and species mix. Mill design and wood supply are dealt with as separate, although connected, calculations. This is essentially an agricultural model in which supply is availab...

the rice industry to 1) estimate the milling yield that may be expected of rice lots when milled in large-scale milling systems and 2) produce milled rice samples from which visual, functional, sensory and nutritional assessments of the rice lot can be made. This chapter presents factors that can affect the laboratory measurement of rice milling yield, focusing on the use of the McGill #2 rice ...

Strip tearing during cold rolling process has always been considered among the main concerns for steel companies, while several works have been done so far regarding the examination of this issue. In this paper, experimental data from cold rolling tandem mill is used for detecting strip tearing. Sensors are placed across the cold rolling tandem mill, to collect information on parameters (such a...

The epidemiologic approach to causal inference (i.e., Hill's viewpoints) consists of evaluating potential causes from the following 2, noncumulative angles: 1) established results from comparative, observational, or experimental epidemiologic studies; and 2) reviews of nonepidemiologic evidence. It does not involve statements of statistical significance. The philosophical roots of Hill's viewpo...

Electromyography (EMG) of respiratory muscles is a reliable method of assessing the ventilatory muscle function, but still its use has not been fully utilized to determine the occupational and environmental hazards on respiratory muscles. Therefore, EMG of intercostal muscles was performed to determine the dose response effect of cement dust on respiratory muscles competence. Matched cross-sect...

L aboratory milling systems are used throughout the rice industry to 1) estimate the milling yield that may be expected of rice lots when milled in large-scale milling systems and 2) produce milled rice samples from which visual, functional, sensory and nutritional assessments of the rice lot can be made. This chapter presents factors that can affect the laboratory measurement of rice milling ...