A formulation of semantic theories for processes which is based on reduction relation and equational reasoning is studied. The new construction can induce meaningful theories for processes, both in strong and weak settings. The resulting theories in many cases coincide with, and sometimes generalise, observation-based formulation of behavioural equivalence. The basic construction of reduction-b...

The p r o c e s s i n g o f sweet c o r n r e s u l t s i n t h e g e n e r a t i o n o f l a r g e q u a n t i t i e s o f l i q u i d and s o l i d waste. L iqu id wastes c o n t a i n s o l u b l e s u g a r s and s t a r c h e s and are r e s p o n s i b l e f o r ave rage wastewater l o a d i n g s o f 27 l b s of BOD (1) p e r t o n o f c o r n i n husk. Nea r ly 2.6 m i l l i o n l b s o...

This paper proposed a new process control strategy for reducing banding artifacts in electrophotographic (EP) processes. EP banding artifact is shown to correlate to the fluctuation of the organic photoconductive (OPC) drum angular velocity. Improved regulation of the OPC drum rotational velocity under various process uncertainty and variations will significantly improve EP process stability an...

An important policy question receiving considerable attention concerns the risk perception-risk mitigation process that guides how individuals choose to address natural hazard risks. This question is considered in the context of wildfire. We analyze the factors that influence risk reduction behaviors by homeowners living in the wildland-urban interface. The factors considered are direct experie...

Single-phase squirrel cage and three-phase induction electromotors are the most popular electromotors used in industry from long ago. When an induction motor starts with direct connection method, it takes a lot of current from the power supply (several times the nominal current); so, several methods have been devised to start such electromotors. These methods either reduce the voltage of the st...

The hydrostatic extrusion is a new method of extrusion process. The most important advantage of this method is reduction of friction and close tolerance for the coating thickness. In this study, the hydrostatic extrusion simulation of bimetallic wires has performed using of finite element method. In the following the advantages of hydrostatic extrusion compared to the direct extrusion are prese...

The hydrostatic extrusion is a new method of extrusion process. The most important advantage of this method is reduction of friction and close tolerance for the coating thickness. In this study, the hydrostatic extrusion simulation of bimetallic wires has performed using of finite element method. In the following the advantages of hydrostatic extrusion compared to the direct extrusion are prese...

This study attempted to systematically inspect the impact of direct and indirect corrective feedbacks on the writing ability of EFL learners when using product/process based instructions. To do so, 110 female EFL learners, between the ages of 15 and 18, were randomly assigned into four experimental groups to receive four different kinds of treatments, namely product-based instruction with direc...