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     

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.     

High-strain-rate superplasticity of nanocrystalline aluminum alloy 1570

The structure and mechanical properties of nanocrystalline aluminum alloy 1570 obtained by means of severe plastic deformation have been studied. Being tested in a temperature range from 300 to 400°C, the alloy exhibits high-strain-rate superplasticity. At 400°C, the superplasticity is manifested in a very broad range of strain rates, extending from 5 × 10^?3 to 1 s^?1.     

A Recursive Frequency Estimator Using Linear Prediction and a Kalman-Filter-Based Iterative Algorithm

This paper proposes a new Kalman-filter-based recursive frequency estimator for discrete-time multicomponent sinusoidal signals whose frequencies may be time-varying. The frequency estimator is based on the linear prediction approach and it employs the Kalman filter to track the linear prediction coefficients (LPCs) recursively. Frequencies of the sinusoids can then be computed using the estimated LPCs. Due to the coloredness of the linear prediction error, an iterative algorithm is employed to estimate the covariance matrix of the prediction error and the LPCs alternately in the Kalman filter in order to improve the tracking performance. Simulation results show that the proposed Kalman-filter-based iterative frequency estimator can achieve better tracking results than the conventional recursive least-squares-based estimators.     

Effects of compressive and tensile stress on the growth mode of epitaxial oxide films

Oxide films were deposited on different substrates by laser molecular beam epitaxy. Reflection high-energy electron diffraction was performed to in situ investigate the change of growth mode and the lattice relaxation during the growth. An asymmetrical phenomenon was found in the two kinds of strain states, compressive stress and tensile stress of heterostructures with different lattice mismatch. In the case of BaTiO₃/SrTiO₃ (2.2%), 2D layer-by-layer growth mode without lattice relaxation can be maintained for a longer period for BTO films on STO with compressive stress, comparing to STO films on BTO with tensile stress. When MgO films were deposited on SrTiO₃ with a large mismatch of 7.8%, compressive stress leads to rapid lattice relaxation with a very thin wet layer, and 3D strained island were observed. As a comparison, SrTiO₃ films on MgO with tensile stress were configured. No RHEED patterns can be observed duo to a large tensile stress.     

Predeployed secure key distribution mechanisms in sensor networks: current state-of-the-art and a new approach using time information

In this article we survey a number of predeployed secure key distribution (PSKD) schemes proposed in the technical literature. We also propose a new time-based PSKD (TPSKD), which operates under the assumption of loose time synchronization, and discuss the performance of the scheme. Since the TPSKD scheme uses time information, which would typically already be available in sensor nodes, the cost of the scheme?s implementation is low.     

SU-8 3D microoptic components fabricated by inclined UV lithography in water

Out-of-plane microlenses and microoptical fiber holder are two of the most important components for building an integrated microoptic system with a precise alignment accuracy. In this paper, a simple and convenient method to fabricate these components from SU-8 by using inclined UV lithography in water is proposed. It consists of two perpendicular exposures in SU-8 at ±45°. DI water possesses a low absorption coefficient and a moderate and stable value of refractive index in near UV. Using water, the exposure angle in SU-8 can be increased to 50° from 35° in air necessary to pattern the desired 45° slope of the sidewalls. The principle of the proposed technique and the detailed fabrication process of the microoptic components will be presented. The integratability of the fabricated components was demonstrated by the fabrication of the microoptical fiber holder with a pre-aligned out-of-plane microlens.