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.     

Effects of partial recrystallization on high-cycle fatigue deformation and crack generation of a nitrogen-strengthened 32Mn-7Cr austenitic steel at liquid-nitrogen temperature

To achieve higher fatigue resistance against subsurface crack generation, both the refinement of grain structure and the introduction of mobile dislocations on various slip systems have been shown to be effective in the 32Mn-7Cr austenitic steel. A novel treatment which consisted of cold grooved rolling and partial recrystallization was introduced to modify the microstructure. High-cycle fatigue properties and fatigue-crack generation were investigated for both the solution-treated (ST) and the partially recrystallized (PR) materials at 77 K. The PR material displayed higher fatigue strength than the ST material, especially in the high-cycle regime. No subsurface crack generation was detected for the PR material; however, it appeared in the lower peak stress and/or in the longer-life range for the ST material. Intergranular facets formed a subsurface crack initiation site in the ST material. Since the dislocation structure that developed in the fatigued PR material assisted homogeneous and multidirectional plastic deformation, the localized deformation and/or the stress concentration at the grain boundaries by coplanar arrays were believed to be relieved. Therefore, intergranular cracking due to incompatibility at a grain boundary may disappear.     

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.