Nickel and chromium cycles: Stocks and flows project part IV

Nickel and chromium are essential ingredients in alloys increasingly important for energy-efficient, environmentally friendly modern technology. Quantitative assessment of the flows of these metals through the world economy from resource extraction to final disposal informs resource policy, energy planning, environmental science, and waste management. This article summarizes the worldwide technological cycles of nickel and chromium in 2000. Stainless steel is the major use of these metals, but they serve numerous other special needs, as in superalloys for high-temperature service, as plating materials, and in coinage. Because they are used primarily in alloys, novel recycling issues arise as their use becomes more widespread. “... the great New York and St. Louis double track, nickel plated railroad...” — Norwalk, Ohio, Chronicle 10 March 1881 announces arrival of surveyors for the future Nickel Plate Railway “Later [1911] I formed an alloy of Iron and Chromium, which showed remarkable resistance to rust and tarnish ... [It was] rediscovered by an Englishman named Brearley, in 1914.” —Elwood Haynes to Stephen F. Roberts, 17 January 1925     

Influence of the silicon surface treatment by plasma etching and scratching on the nucleation of diamond grown in HFCVD - a comparative study

A comparative study for the nucleation of diamond was carried out using surface treatment like (i) surface scratching with 1 μm diamond paste and (ii) surface etching using chlorine plasma at different RF powers (50, 100 and 150 W). Atomic force microscopic study shows variation in roughness from 31 nm to 110 nm. Scratching results in random scratches, whereas plasma etches a surface uniformly. Scanning electron microscopic observations show well faceted crystallites with a predominance of angular shaped grains corresponding to 〈100〉 and 〈110〉 crystallite surfaces for the scratched as well as plasma etched substrate. Surface etching at 150 W plasma power results in a better growth in comparison with 50 and 100 W plasma powers. Chlorine-radical is found responsible for the changes in the growth morphology. Raman spectroscopy shows a sharp peak at 1,332 cm⁻¹ and a peak at ∼1,580 cm⁻¹ for both samples.     

A criterion for atomicity revisited

Concurrent and reactive programs are specified by their behaviours in the presence of a nondeterministic environment. In a natural way, this gives a specification (ARW) of an atomic variable in the style of Abadi and Lamport. Several implementations of atomic variables by lower level primitives are known. A few years ago, we formulated a criterion to prove the correctness of such implementations. The proof of correctness of the criterion itself was based on Lynch’s definition of atomicity by serialization points. Here, this criterion is reformulated as a specification HRW in the formal sense. Simulations from HRW to ARW and vice versa are constructed. These now serve as a constructive proof of correctness of the criterion. Eternity variables are used in the simulation from HRW to ARW. We propose so-called gliding simulations to deal with the problems that appear when occasionally the concrete implementation needs fewer steps than the abstract specification.     

Geotechnical properties of the soft soil in Guangzhou College City

The paper describes some geotechnical properties of the soft soils in Guangzhou College City, China, which are difficult to both sample and test. Laboratory and in situ tests were carried out to assess the physical and mechanical indices of the soils. The data were statistically analyzed and linear regression undertaken such that equations could be developed by which the geotechnical properties of the soft soils can be predicted. The statistical validity of the degree of correlation confirmed that using these equations, the mechanical indices can be estimated from physical indices determined by routine testing.      

Equilibrium and crystallographic measurements of the binary tetrahydrofuran and helium clathrate hydrates

Clathrate compounds are crystalline materials formed by a physical interaction between host and relatively light guest molecules. Various types of nano-sized cages surrounded by host frameworks exist in the highly unique crystalline structures and free guest molecules are entrapped in an open host-guest network. Recently, we reported two peculiar phenomena, swapping and tuning, naturally occurring in the hydrate cages. Helium, one of the smallest light guest molecules, must be the challengeable material in the sense of physics and moreover possesses versatile applications in the field of superconductivity technology and thermonuclear industry. In this regard, we attempted for the first time to synthesize helium hydrates at moderate temperature and pressure conditions. According to inclusion phenomena, helium itself normally cannot form clathrate hydrates due to being too small molecularly without the help of hydrate former molecules (sI, sII, and sH formers). In this study, the hydrate equilibria of the binary clathrate hydrate containing tetrahydrofuran, helium, and water were determined at 2, 3, 5.56 THF mol%. Direct volumetric measurements were also carried out to confirm the exact amount of helium captured in the hydrate cages. Finally, the crystalline structure of the formed mixed hydrates was identified by powder X-ray diffraction, resulting in structure II.     

Algorithms for multiprocessor scheduling with two job lengths and allocation restrictions

A variant of the High Multiplicity Multiprocessor Scheduling Problem with C job lengths is considered, in which jobs can be processed only by machines not greater than a given index. When C=2, polynomial algorithms are proposed, for the feasibility version of the problem and for maximizing the number of scheduled jobs.     

Refactoring and converting a TTCN-2 test suite

When deploying TTCN-3 at Nokia, we converted two TTCN-2 test systems to TTCN-3. We explain to which extend we have been able to do the conversion automatically. The conversion tool used provided a syntactically and semantically correct conversion of the TTCN-2 code. We define some improvements made on the tool to increase readability and maintainability of the resulting code. We cover aspects of converting also the non-TTCN-2 parts and describe the experiences we made as a set of lessons learnt.