Optimizing the charge in secondary steel production is challenging because the chemical composition of the scrap is highly uncertain. The uncertainty can cause a considerable risk of the scrap mix failing to satisfy the composition requirements for the final product. In this paper, we represent the uncertainty based on fuzzy set theory and constrain the failure risk based on a possibility measu...

Anaerobic digestion has been widely applied for waste activated sludge (WAS) treatment. However, methane production from anaerobic digestion of WAS is usually limited by the slow hydrolysis rate and/or poor biochemical methane potential of WAS. This work systematically studied the effects of three different types of zero valent iron (i.e., iron powder, clean scrap and rusty scrap) on methane pr...

System F is ubiquitous in logic, theorem proving, language meta-theory, compiler intermediate languages, and elsewhere. Along with its type abstractions come type applications, but these often appear redundant. This redundancy is both distracting and costly for typedirected compilers. We introduce System IF, for implicit System F, in which many type applications can be made implicit. It support...

Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some implementations of Haskell. One particularly intractable kind of boilerplate is nameplate, or code having to do with names, name-binding, and fresh name generation. One reason for the difficulty is that operations on da...

Refactoring tools are extremely useful in software development: they provide automatic source code transformation tools for a variety of laborious tasks like renaming, formatting, standardisation, modernisation, and modularisation. A refactoring tool transforms part of a code base and leaves everything else untouched, including secondary notation like whitespace and comments. We describe a nove...

The reduction of Cr(VI) by use of a cheap and locally available industrial waste, scrap iron, was investigated in continuous system. The experimental results showed that, at the beginning of the column experiment, Cr(VI) was not detected in column effluent, which means that it was completely reduced. The greater the pH of column influent, the lower the time period before the breakthrough of hex...

This paper incorporates owners' decisions to keep, repair or scrap their old vehicles into a simulation model of fleet emissions. This decision depends critically on the owner's perceived value of the vehicle, so we examine the factors affecting owners' valuations of their old vehicles using a unique longitudinal dataset. Willingness to accept for the vehicle is well predicted by mileage and co...

This research is derived an integrated model of economic production quantity, inspection and preventive maintenance to incorporate rework, minimal repair and inspection time for an imperfect production system. Some proportions of non-conforming items are assumed scrap before the rework process start and others are reworked. The rework process is imperfect that is a proportion of the reworked it...

Support for generic programming consists of three essential ingredients: support for overloaded functions, a run-time type representation, and a generic view on data. Different approaches to datatype-generic programming occupy different points in this design space. In this article, we revisit the “Scrap your boilerplate” approach and identify its location within the three-dimensional design spa...

A new approach is described for the recovery of precious metals (PMs: Au, Pd and Ag) with >99% efficiency from aqueous solution utilising biogas produced during the aerobic growth of Klebsiella pneumoniae. Gold was recovered from electronic scrap leachate ( approximately 95%) by this method, with some selectivity against Cu. The recovered PM solids all contained metal and sulphur as determined ...