Specifying and Automatically Generating a Specialization Tool for Fortran 90

Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientific application programs during their maintenance. We have implemented a tool that analyzes Fortran 90 application programs and performs an interprocedural pointer analysis. This paper presents a dynamic semantics of Fortran 90 and manually derives a partial evaluator from this semantics. The tool implementing the specifications is also detailed. The partial evaluator has been implemented in a generic programming environment and a graphical interface has been developed to visualize the information computed during the partial evaluation (values of variables, already analyzed procedures, scope of variables, removed statements, etc.).     

Calcium sulfoaluminate cement blended with OPC: A potential binder to encapsulate low-level radioactive slurries of complex chemistry

Investigations were carried out in order to solidify in cement a low-level radioactive waste of complex chemistry obtained by mixing two process streams, a slurry produced by ultra-filtration and an evaporator concentrate with a salinity of 600 gxL^− 1. Direct cementation with Portland cement (OPC) was not possible due to a very long setting time of cement resulting from borates and phosphates contained in the waste. According to a classical approach, this difficulty could be solved by pre-treating the waste to reduce adverse cement–waste interactions. A two-stage process was defined, including precipitation of phosphates and sulfates at 60 °C by adding calcium and barium hydroxide to the waste stream, and encapsulation with a blend of OPC and calcium aluminate cement (CAC) to convert borates into calcium quadriboroaluminate. The material obtained with a 30% waste loading complied with specifications. However, the pre-treatment step made the process complex and costly. A new alternative was then developed: the direct encapsulation of the waste with a blend of OPC and calcium sulfoaluminate cement (CS̄̄A) at room temperature. Setting inhibition was suppressed, which probably resulted from the fact that, when hydrating, CS̄̄A cement formed significant amounts of ettringite and calcium monosulfoaluminate hydrate which incorporated borates into their structure. As a consequence, the waste loading could be increased to 56% while keeping acceptable properties at the laboratory scale.     

Occurrence and numerical prediction of surface defects during flanging of metallic sheets

Surface defects can develop on automotive exterior panels after drawing and flanging steps, during springback and may alter significantly the vehicle quality. These defects are characterized by a small depth below 0.5 mm and are then difficult to detect numerically. This study focuses on the surface defects for two parts: an industrial upper corner of a front door and a L-shaped part designed on purpose to reproduce at a small scale surface defects that occur after flanging. Dimensions of these defects are measured from profiles obtained either with a non-contacting method or a tridimensional measuring machine. Numerical simulations of the processes are performed with the commercial codes PamStamp2G or Abaqus and deformed meshes are analyzed in the same way as the experimental data. There is a good correlation between experiments and simulations concerning the spatial position of the defect and their dimensions. Moreover, a buckling analysis during springback is performed for the L-shaped part, showing that the position of the defect corresponds to one of the buckling mode.     

Experimental Analysis of Pressure Drop and Laminar to Turbulent Transition for Gas Flows in Smooth Microtubes

The results of numerical and experimental works dealing with the behavior of gas flow through microchannels are by no means univocal, sometimes agreeing with the classical correlations and other times contradicting them. It is now agreed upon that the effects due to both rarefaction and compressibility must be accounted for. In addition, the experimental works have demonstrated that sometimes compressibility and rarefaction effects can be coupled in microchannels: because these two actions contrast each other, the scatter of the friction factor data for gaseous flows is remarkably large. This paper is aimed at determining the friction factor for commercial short and long Peek microtubes with nominal internal diameters between 300 and 100 μ m and values of the length-to-diameter ratio, L/D, ranging between 167 and 5000. Nitrogen flows inside the microtubes, with a maximum value of the supply pressure equal to 10 bar. Very low Knudsen numbers (Kn < 0.001) are considered in order to uncouple the rarefaction effects from the compressibility effects. The role of the minor losses related to the inlet and outlet of the test section and of the gas compressibility on the friction factor are analyzed and discussed in order to draw their limit of significance in microchannels. In addition, the effects of the gas compressibility and of the L/D ratio on the critical Reynolds number for which the laminar to turbulent transition takes place will be analyzed and discussed by comparing the experimental results with the other data published in the literature.     

The two-layer structure of Zndtp tribofilms: Part I: AES, XPS and XANES analyses

The nature and properties of polyphosphate glasses formed in the antiwear action of zinc dithiophosphate (Zndtp) is investigated. Special attention is paid to the advantage of coupling three surface analytical techniques on the same Zndtp tribofilm: Auger (AES), XPS and XANES spectroscopies. The data show the two-layer structure of the Zndtp film and permit a clear identification of the chemical composition of each layer: a polymer-like zinc long chain polyphosphate overlying a mixed transition metal short chain phosphate. A Chemical Hardness model is found to predict the formation of such a layered tribofilm. Moreover, a tribochemical reaction between the zinc polyphosphate and the iron oxides species is proposed on the basis of the Hard and Soft Acids and Bases (HSAB) principle. This reaction explains the anti-abrasive mechanism of Zndtp and also predicts a depolymerisation of the long chain zinc polyphosphate glass, in very good agreement with AES/XPS/XANES analytical data. The role of residual sulphur in the lubricant is also explained and the model is in agreement with the formation of metal sulphides embedded in the short chain phosphate matrix. This first paper serves as a basis for a detailed study of the mechanical properties of each film.     

High yield of pure multiwalled carbon nanotubes from the catalytic decomposition of acetylene on in-situ formed cobalt nanoparticles

For the first time, multiwalled carbon nanotubes (MWNTs) could be formed selectively in a high yield, free of any disordered carbon by-product, from the catalytic decomposition of acetylene at 600 degrees C on a CoxMg(1-x)O solid solution. Starting from 1 g of catalytic substrate, 4 g of pure MWNTs were obtained after its dissolution in boiling concentrated HCl, without any additional purification in strongly oxidizing medium, as is required for other methods of nanotube production. In situ reduction of CoO by dihydrogen liberated from acetylene decomposition allows highly divided metal particles to be continuously produced as synthesis proceeds. This is undoubtedly the reason for the good performance of the catalyst and for the ability to produce nanotubes in a narrow diameter range, namely from 10 to 15 nm. With the use of acetylene instead of methane, the synthesis proceeds at low temperature, which prevents the growth of carbon shells, in which the metal particles are generally embedded, decreasing their activity. Because of the very low specific surface area of the catalyst support, the amount of disordered carbon by-product formed is negligible.     

Mechanized Semantics for the Clight Subset of the C Language

This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, struct and union types, C loops and structured switch statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.     

Comparative study between computational and experimental results for binary rarefied gas flows through long microchannels

A comparative study between computational and experimental results for pressure-driven binary gas flows through long microchannels is performed. The theoretical formulation is based on the McCormack kinetic model and the computational results are valid in the whole range of the Knudsen number. Diffusion effects are taken into consideration. The experimental work is based on the Constant Volume Method, and the results are in the slip and transition regime. Using both approaches, the molar flow rates of the He–Ar gas mixture flowing through a rectangular microchannel are estimated for a wide range of pressure drops between the upstream and downstream reservoirs and several mixture concentrations varying from pure He to pure Ar. In all cases, a very good agreement is found, within the margins of the introduced modeling and measurement uncertainties. In addition, computational results for the pressure and concentration distributions along the channel are provided. As far as the authors are aware of, this is the first detailed and complete comparative study between theory and experiment for gaseous flows through long microchannels in the case of binary mixtures.