Kobe Steel has developed coal-based direct reduction (DR) technologies, the FASTMET, FASTMELT and ITmk3 processes, which reduce carbon composite agglomerates (pellets or briquettes) on the hearth of a rotary hearth furnace (RHF). This paper outlines the features of each process, status of technical development and commercialization. Also described is the contribution of these technologies to en...

Reduction of energy consumption has played a significant role in industry. This paper describes a study on reducing energy consumption by machining process improvements. Methods of reducing energy consumption in a manufacturing line consisting of multiple machines are verified. First, to consolidate the processes, a series of horizontal machining centers are replaced with a 5axis machining cent...

We propose an algorithm based on singular value decomposition (SVD) to reduce the number of process variation variables. With few process variation variables, fault simulation and timing analysis under process variation can be performed efficiently. Our algorithm reduces the number of process variation variables while preserving the delay function with respect to process variation. Compared wit...

In the analysis of combustion processes, simulation is a costefficient tool that complements experimental testing. The simulation models must be precise if subtle differences are to be detected. On the other hand, computational evaluation of precise models typically requires substantial effort. To escape the computational bottleneck, reduced chemical schemes, for example, ILDM-based methods or ...

The foundation of a process model lies in its structural specifications. Using a generic process modeling language for workflows, we show how a structural specification may contain deadlock and lack of synchronization conflicts that could compromise the correct execution of workflows. In general, identification of such conflicts is a computationally complex problem and requires development of e...

Stochastic (Markovian) process algebra extend classical process algebra with probabilistic exponentially distributed time durations denoted by rates (the parameter of the exponential distribution). Defining a semantics for such an algebra, so to derive Continuous Time Markov Chains from system specifications, requires dealing with transitions labeled by rates. With respect to standard process a...

A laboratory study of the Cannibal process was undertaken to determine if the Cannibal system would generate less sludge compared with a conventional activated sludge system. Side-by-side sequencing batch reactors were operated--one using the Cannibal configuration and the other as conventional activated sludge. It was found that the Cannibal process generated 60% less solids than the conventio...

Automated veri cation of dynamic multi-threaded computing systems is severely a ected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such systems. To make the new technique applicable to a wide range of di erent system models, we express it in terms of general labelled transition s...

In this study, the isothermal reduction of iron oxide pellets, made of Iranian Chadormalo, Gole-gohar, and Sangan iron ores, was investigated in the temperature range of 900-1100°C. Tabas, Pabdana, Babnizoo, Karmozd, and Shahrood domestic coals were used as reductants. Parametric studies were performed and the effects of such factors as temperature, average particle size of iron ore and coal fi...

Variation has long been an enemy to manufacturing quality and productivity. As technology increases our ability to record and process data we explore what kinds of improvements can be made with the new tools now available. The Tenneco Packaging facilities in Tomahawk, Wisconsin offer a particularly rich source of data with which to test these tools. Three good data sets have been assembled and ...