A general framework for debugging

The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. An execution monitor, Eden, that serves as a debugging tool within this general framework is described     

A comparison of the3He melting curve,T c(P) curve,and the susceptibility of lanthanum-diluted cerium magnesium nitrate below 50 mK

The ac susceptibility of lanthanum-diluted cerium magnesium nitrate has been compared to the temperature scales as derived from the (P, T) relation determined by Halperin and that was measured recently by Greywall. It is found that the susceptibility does not obey a simple Curie-Weiss law over the temperature range between 1 and 50 mK. The results of these calibrations are also used to determine the temperatures for the second-order phase transitions into the superfluid phases of³He at several pressures. TheseT _c(P) values are compared to results of earlier experiments that used thermometry based on the susceptibility of platinum as well as other thermometry techniques.     

Low-thermal expansion polycrystalline tantalum tungstate ceramics

The synthesis of thermal-shock-resistant materials from the system Ta₂O₅WO₃ was investigated. Ta₂WO₈ had a very low unit-cell thermal expansion coefficient (+0.5 X 10^–6° C^–1). Ta₃₀W₂O₈₁ also had a relatively low coefficient (+4.0 X 10^–6 ° C^–1) and a thermal durability over 1600° C. The thermal expansion curves of these polycrystalline ceramics were lowered because of microcracks caused by the large thermal expansion anisotropy of the crystal axes and were accompanied by hysteresis loops. The densification of Ta₂WO₈ ceramic was promoted by the addition of some metal oxides, and the strong ceramic of Ta₃₀W₂O₈₁ was obtained by controlling grain growth.     

Effects of alloy additions on the microstructures and tensile properties of cast Co-Cr-Mo alloy used for surgical implants

The composition of the Co-Cr-Mo alloy has been modified by additions of nickel and some trace elements aluminium, titanium and boron. In this paper, the first part of the present study, the effects of alloy additions on the microstructures and tensile properties of the as-cast Co-Cr-Mo alloy are discussed. The effects of alloy additions on the fatigue behaviour of the alloy will be discussed in the second part of the present study. It is found that alloy additions do not seem to result in changes in the nature of the casting structure. A directional, coarse dendritic cast structure is produced in the modified alloys as in the base alloY. However, the alloy additions affect the carbide precipitations and the formation of some fine details of the microstructure such as dislocations, stacking faults and twins produced during the solidification. A considerable improvement in the transient mechanical properties, especially in the tensile ductility, is achieved by modifying the base alloy with alloy additions.     

Synthesis,characterization and ion exchange properties of zirconium(IV) tungstoiodophosphate,a new cation exchanger

Zirconium(IV) tungstoiodophosphate has been synthesized under a variety of conditions. The most chemically and thermally stable sample is prepared by adding a mixture of aqueous solutions of 0·5 mol L⁻¹ sodium tungstate, potassium iodate and 1 mol L⁻¹ orthophosphoric acid to aqueous solution of 0·1 mol L⁻¹ zirconium(IV) oxychloride. Its ion exchange capacity for Na⁺ and K⁺ was found to be 2·20 and 2·35 meq g⁻¹ dry exchanger, respectively. The material has been characterized on the basis of chemical composition, pH titration, Fourier transform infrared spectroscopy (FTIR) and thermogravimetric analysis. The effect on the exchange capacity of drying the exchanger at different temperatures has been studied. The analytical importance of the material has been established by quantitative separation of Pb²⁺ from other metal ions.     

Theoretical analysis of RAIM in the occurrence of simultaneous two-satellite faults

Most algorithms on receiver autonomous integrity monitoring (RAIM) are under the assumption of a single-satellite fault, because there is an extremely small probability that significant simultaneous multiple-satellite faults may occur. However, after the implementation of the Galileo system in a few years, there will be more satellites in view for the user to utilise together with GPS satellites, and a combination of them will bring better performance for RAIM. On the other hand, with the help of wide area augmentation system and the use of dual-frequency operation, pseudo-range errors will be reduced greatly. Thus, tighter alert limits are required for RAIM, and formerly `small' errors should not be neglected. All of those factors make it necessary to consider simultaneous multiple-satellite faults. A detailed theoretical analysis of RAIM under the condition of two-satellite faults for both vertical and horizontal directions is presented. The characteristic/max slopes for every pair of satellites are then deduced in order to calculate the tighter vertical/horizontal protection level for RAIM     

A One-Dimensional Nonlocal Damage-Plasticity Model for Ductile Materials

This paper presents a new 1-D non-local damage-plasticity deformation model for ductile materials. It uses the thermodynamic framework described in Houlsby and Puzrin (2000) and holds, nevertheless, some similarities with Lemaitre’s (1971) approach. A 1D finite element (FE) model of a bar fixed at one end and loaded in tension at the other end is introduced. This simple model demonstrates how the approach can be implemented within the finite element framework, and that it is capable of capturing both the pre-peak hardening and post-peak softening (generally responsible for models instability) due to damage-induced stiffness and strength reduction characteristic of ductile materials. It is also shown that the approach has further advantages of achieving some degree of mesh independence, and of being able to capture deformation size effects. Finally, it is illustrated how the model permits the calculation of essential work of rupture (EWR), i.e. the specific energy per unit cross-sectional area that is needed to cause tensile failure of a specimen.     

Effects of contact shape on biological wet adhesion

Wet adhesion is widely adopted in biological adhesion systems in nature. Wet adhesion is studied in this paper with the focus on the effect of different contact shapes (flat, concave, convex, and ring-like) on the adhesion force. The evolution of the liquid bridge between a fiber tip and substrate during the detaching process shows two transition points. The first transition from the radius-controlled to the contact-angle controlled process is critical to influence the strength and robustness of adhesion. We show that a concave shape is more effective than a flat one, while a convex shape has no advantage. A ring-like contact shape has advantages in a hydrophobic environment and on a rough surface.     

Dielectric behavior of Cu–GeO<Subscript>2</Subscript> cermet thin films

Capacitance and dielectric loss measurements were carried out using an Al/Cu–GeO₂/Al sandwich structure for 0 to 10 vol% Cu films, 120–400 nm thick, deposited at 0.4–1.5 nm/s in the frequency and temperature range 1–10⁶ Hz and 90–573 K, respectively. The variation of capacitance and dielectric loss with frequency and temperature follows the Goswami and Goswami model. Capacitance decreases slowly with increasing thickness and also varies with the change in deposition rate of the cermet film.     

Identification of microstructural zones and thermal cycles in a weldment of modified 9Cr-1Mo steel

This paper presents the results of a study on the microstructural and microchemical variations in a multipass Gas Tungsten Arc weld (GTAW) of modified 9Cr-1Mo steel. The changes brought about in the steel due to the heating and cooling cycles during welding and the subsequent effects due to reheating effects during multipass welding are described. Detailed analytical transmission electron microscopy has been carried to study the type and composition of the primary and secondary phases in this steel. The systematic changes in microstructural parameters such as Prior Austenite Grain Size, martensite lath size, number density, size and microchemistry of carbides, have been understood based on the different transformations that the steel undergoes during the heating and cooling process. Based on the observed microstructure, an attempt has been made to identify distinct microstructural zones and possible thermal cycles experienced by different regions of the weldment.