The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

Catalytic epoxidation of olefins in the presence of a vanadyl porphyrin complex

It was found that vanadyl porphyrin complexes synthesized from petroleum metal porphyrin concentrates stimulated epoxidation during the olefin oxygenation process. The yields of obtained oxiranes turned out to be 38–75%, depending on the olefin structure. An epoxidation mechanism that suggests the formation of a protonated dioxygen adduct as an intermediate during oxygenation of olefins in the presence of vanadyl porphyrin complexes was proposed. An analogy is drawn between the epoxide formation reaction upon the catalytic oxygenation of olefins and the Prilezhaev reaction.     

Colloidal Synthesis of Hollow Cobalt Sulfide Nanocrystals

Formation of cobalt sulfide hollow nanocrystals through a mechanism similar to the Kirkendall Effect has been investigated in detail. It is found that performing the reaction at > 120 °C leads to fast formation of a single void inside each shell, whereas at room temperature multiple voids are formed within each shell, which can be attributed to strongly temperature‐dependent diffusivities for vacancies. The void formation process is dominated by outward diffusion of cobalt cations; still, the occurrence of significant inward transport of sulfur anions can be inferred as the final voids are smaller in diameter than the original cobalt nanocrystals. Comparison of volume distributions for initial and final nanostructures indicates excess apparent volume in shells, implying significant porosity and/or a defective structure. Indirect evidence for fracture of shells during growth at lower temperatures was observed in shell‐size statistics and transmission electron microscopy images of as‐grown shells. An idealized model of the diffusional process imposes two minimal requirements on material parameters for shell growth to be obtainable within a specific synthetic system.     

Robust nonlinear feedback–feedforward control of a coupled kinetic Monte Carlo–finite difference simulation

Robust nonlinear feedforward–feedback controllers are designed for a multiscale system that dynamically couples kinetic Monte Carlo (KMC) and finite difference (FD) simulation codes. The coupled codes simulate the copper electrodeposition process for manufacturing on-chip copper interconnects in electronic devices. The control objective is to regulate the current density subject to the condition that the steady-state fluctuation of the overpotential remains bounded within ±0.01 V. The controller designs incorporate a low-order stochastic model that captures the input–output behavior of the coupled KMC–FD code. The controllers achieve the objectives and the closed-loop responses implemented on the low-order model and the coupled KMC–FD code match well within stochastic variations. The nonlinear feedforward control reduces the rise time of the controller response while the feedback control ensures robustness in the presence of model uncertainty.     

Development of a simple microsystems membrane probe card

Presented here are details of the development of a novel membrane integrated circuit (IC) probe card structure based on microsystems technology. The device design allows probing of both solder bumps and pads. A self-limiting sensor was integrated to prolong device lifetime. Comparison with and discussion of the use of modelling is made. Possible enhancements to the probing structure are discussed to improve alignment and measurements. Also shown is data using our microsystems probe card to access a simple IC device. Our device has a contact resistance of less than 0.5 Ω for a force of 0.004 N. A method to implement our probing structure for commercial application and the potential developments which can be made to improve its ease of use are then discussed.     

Vacuum degassing of chromium-nickel-molybdenum steel at the Magnitogorsk Metallurgical Combine

The Magnitogorsk Metallurgical Combine has conducted a study of the effect of technological factors on the hydrogen content of chromium-nickel-molybdenum steel after vacuum degassing. It was established that the most important factor is the hydrogen content of the steel before the degassing operation. The study also determined the effects of the circulation coefficient, the duration of the degassing operation, and the vacuum used in the treatment. __________ Translated from Metallurg, No. 7, pp. 68–69, July, 2006.     

The Farmer, the Fairies, and the Computers

Using a temporary substitution of format, the author offers a fairy tale to demonstrate that we can’t expect understanding when computers take the place of humans in our interactions with service providers.     

The Applied Mathematics and Computer Science Schism

Isolating applied mathematics from computer science harms the profession and those who depend on it.