The lost-wax casting of icons, utensils, bells, and other items in South India

Indian artisans and craftsmen have long been masters at extracting and shaping metals and alloys, as proven by archaeological finds from the 2nd—3rd millennia B.C. For example, two well-known artifacts, castings of the dancing girl of Mohenjo Daro and the Mother Goddess of Adichanallur, Tamilnadu, depict a high degree of metallurgical knowledge. Those castings were formed by the lost wax process, which later was modified and became known as investment casting. In various parts of India, this age-old casting process is still being practiced, without any major modifications. This paper discusses details of the process used by the Indian artisans of Swamimalai, Tamilnadu, and Mannar, Kerala, South India in shaping copper-base alloys into icons and utensils, bells, and lamps.     

The effect of mischmetal addition on the structure and mechanical properties of a cast Al-7Si-0.3Mg alloy containing excess iron (up to 0.6 Pct)

The effect of Fe content (0.2 to 0.6 pct) on the microstructure and mechanical properties of a cast Al-7Si-0.3Mg (LM 25/356) alloy has been investigated. Further, 1 pct mischmetal (MM) additions (a mixture of rare-earth (RE) elements) were made to these alloys, and their mechanical properties at room and at elevated temperatures (up to 200 °C) were evaluated. A structure-property correlation on this alloy was attempted using optical microstructure analysis, fractographs, X-ray diffraction, energy-dispersive analysis of X-rays (EDX), and quantitative metallography by image analysis. An increase in Fe content increased the volume percentage of Fe-bearing intermetallic compounds (β and π phases), contributing to the loweryield strength (YS), ultimate tensile strength (UTS), percentage elongation, and higher hardness. An addition of 1 pct MM to the alloys containing 0.2 and 0.6 pct Fe was found to refine the microstructure; modify the eutectic silicon and La, Ce, and Nd present in the MM; form different intermetallic compounds with Al, Si, Fe, and Mg; and improve the mechanical properties of the alloys both at room and elevated temperatures.     

Prediction of axial velocity profiles and solids hold-up in a rotary kiln

Axial bed depth profiles were experimentally measured in a rotary kiln containing ilmenite particles under steady state and transient conditions. The variables include feed rate of solids, inclination and rotational speed of the kiln. and dam height. The variation of the axial velocity with kiln axis was estimated. The semi-experimental model proposed by Perron and Bui (1990) was modified to include the effect of the variables of the present study. The mean residence time of solids was estimated from the fractional hold-up and expressed in terms of the process variables. The transients induced by a step change in any of the operating conditions were measured as variation of discharge rate of solids with time.     

Effect of nonprotein polymers on water‐uptake properties of fish protein‐based hydrogel

The effects of nonprotein polymers on the water‐swelling properties of fish protein‐based hydrogel were studied. Inclusion of carboxymethyl cellulose (CMC), poly(ethylene glycol) (PEG), poly(vinyl alcohol) (PVA), or guar gum at a 2.5% (w/w) level in an 80% ethylenediaminetetraacetic dianhydide (EDTAD)‐modified fish protein hydrogel (10% monomer concentration) significantly decreased the extent of water uptake of the hydrogel. Among these polymers, PVA exhibited the greatest inhibitory effect. The inhibitory effect of these polymers on the water uptake of fish protein hydrogel was apparently due to the thermodynamic incompatibility of these polymers with the fish protein gel network and the consequent effect on the extent of relaxation of the crosslinked polypeptide network. In contrast, inclusion of 60% EDTAD‐modified soy protein up to a level of 40% of the total protein in the gel did not affect the extent of the equilibrium water uptake of the gel. At higher levels, however, soy protein also decreased the amount of water uptake by the gel. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 85: 45–51, 2002     

SAT-Solving the Coverability Problem for Petri Nets

Net unfoldings have attracted great attention as a powerful technique for combating state space explosion in model checking, and have been applied to verification of finite state systems including 1-safe (finite) Petri nets and synchronous products of finite transition systems. Given that net unfoldings represent the state space in a distributed, implicit manner the verification algorithm is necessarily a two step process: generation of the unfolding and reasoning about it. In his seminal work McMillan (K.L. McMillan, Symbolic Model Checking. Kluwer Academic Publishers, 1993) showed that deadlock detection on unfoldings of 1-safe Petri nets is NP-complete. Since the deadlock problem on Petri nets is PSPACE-hard it is generally accepted that the two step process will yield savings (in time and space) provided the unfoldings are small.In this paper we show how unfoldings can be extended to the context of infinite-state systems. More precisely, we show how unfoldings can be constructed to represent sets of backward reachable states of unbounded Petri nets in a symbolic fashion. Furthermore, based on unfoldings, we show how to solve the coverability problem for unbounded Petri nets using a SAT-solver. Our experiments show that the use of unfoldings, in spite of the two-step process for solving coverability, has better time and space characteristics compared to a traditional reachability based implementation that considers all interleavings for solving the coverability problem.     

Minimizing makespan on parallel batch processing machines

A simulated annealing approach to minimize makespan for identical parallel batch-processing machines is presented. Each job has a corresponding processing time and size. The machine can process the jobs in batches as long as the total size of all the jobs in a batch does not exceed the machine capacity. The processing time of a batch is equal to the longest processing time among all the jobs in the batch. Random instances were generated to test the approach with respect to solution quality and run time. The results of the simulated annealing approach were compared with CPLEX. The approach outperforms CPLEX on most of the instances.     

Characterization of Fly Ash Sources in the Synthesis of Geopolymer

Silicon - Fly ash (FA) based geopolymers are affected by the reactive nature of FA, concentration and quantity of alkali activators and the curing conditions. However, for the geopolymer...     

Simulating perfect channels with probabilistic lossy channels

We consider the problem of deciding whether an infinite-state system (expressed as a Markov chain) satisfies a correctness property with probability 1. This problem is, of course, undecidable for general infinite-state systems. We focus our attention on the model of probabilistic lossy channel systems consisting of finite-state processes that communicate over unbounded lossy FIFO channels. Abdulla and Jonsson have shown that safety properties are decidable while progress properties are undecidable for non-probabilistic lossy channel systems. Under assumptions of “sufficiently high” probability of loss, Baier and Engelen have shown how to check whether a property holds of probabilistic lossy channel system with probability 1. In this paper, we consider a model of probabilistic lossy channel systems, where messages can be lost only during send transitions. In contrast to the model of Baier and Engelen, once a message is successfully sent to channel, it can only be removed through a transition which receives the message. We show that checking whether safety properties hold with probability 1 is undecidable for this model. Our proof depends upon simulating a perfect channel, with a high degree of confidence, using lossy channels.