Tolerance to transient faults in microprogrammed control units

The detection of and recovery from transient faults that cause errors in microprogrammed control units are addressed. Error detection is based upon a particular form of signature analysis, namely the run-time computation of a value (the signature) that depends strictly on the microprogram path (the sequence) under execution. The microprogram is statistically segmented (sequences are defined in a fixed way, at design time), and an anticipated signature is associated with each sequence. At run time, at the start of each sequence the computation of the signature is restarted, whereas at the end the computed signature is compared with the anticipated signature of the sequence. If the check is passed, the status of the control unit is saved in suitable registers, and the previously saved status is discarded. If the check fails, the last-saved status is restored (rolled back) and microprogram execution restarts from this last-saved point     

iMobile EE – An Enterprise Mobile Service Platform

iMobile is an enterprise mobile service platform that allows resource-limited mobile devices to communicate with each other and to securely access corporate contents and services. The original iMobile architecture consists of devlets that provide protocol interfaces to different mobile devices and infolets that access and transcode information based on device profiles. iMobile Enterprise Edition (iMobile EE) is a redesign of the original iMobile architecture to address the security, scalability, and availability requirements of a large enterprise such as AT&T. iMobile EE incorporates gateways that interact with corporate authentication services, replicated iMobile servers with backend connections to corporate services, a reliable message queue that connects iMobile gateways and servers, and a comprehensive service profile database that governs operations of the mobile service platform. The iMobile EE architecture was also extended to provide personalized multimedia services, allowing mobile users to remotely control, record, and request video contents. iMobile EE aims to provide a scalable, secure, and modular software platform that makes enterprise services easily accessible to a growing list of mobile devices roaming among various wireless networks.     

Polycyclic aromatic hydrocarbons (PAHs) in soot produced by combustion of polystyrene,polypropylene, and wood

The smoke and soot produced by the combustion of plastics or wood in a domestic stove or fireplace contain many poisonous compounds, including the polycyclic aromatic hydrocarbons (PAHs), many of which are carcinogenic. PAHs were selected as the subject of our study to gain a better sense of the hazards of burning plastics. Small samples of polystyrene, polypropylene, and wood underwent combustion in a tubular oven at 700°C; in addition, polystyrene and wood were combusted at room temperature. After their extraction and purification, the PAHs were analyzed by gas chromatography and mass spectrometry. Conditions in the hot oven promoted soot production, whereas combustion at room temperature led to somewhat more complete combustion. The PAH profiles of the examined materials resembled each other to some extent, though the original chemical structure of the polymeric materials varied a great deal. However, clear differences between the materials could be detected from the soot extracts, the soot of polystyrene being especially rich in compounds containing remnants of the polymer structure. Carcinogenic activity caused by the PAHs can be assumed to be of the same order of magnitude as soot from the combustion of wood.     

A full-wave Helmholtz model for continuous-wave ultrasound transmission

A full-wave Helmholtz model of continuous-wave (CW) ultrasound fields may offer several attractive features over widely used partial-wave approximations. For example, many full-wave techniques can be easily adjusted for complex geometries, and multiple reflections of sound are automatically taken into account in the model. To date, however, the full-wave modeling of CW fields in general 3D geometries has been avoided due to the large computational cost associated with the numerical approximation of the Helmholtz equation. Recent developments in computing capacity together with improvements in finite element type modeling techniques are making possible wave simulations in 3D geometries which reach over tens of wavelengths. The aim of this study is to investigate the feasibility of a full-wave solution of the 3D Helmholtz equation for modeling of continuous-wave ultrasound fields in an inhomogeneous medium. The numerical approximation of the Helmholtz equation is computed using the ultraweak variational formulation (UWVF) method. In addition, an inverse problem technique is utilized to reconstruct the velocity distribution on the transducer which is used to model the sound source in the UWVF scheme. The modeling method is verified by comparing simulated and measured fields in the case of transmission of 531 kHz CW fields through layered plastic plates. The comparison shows a reasonable agreement between simulations and measurements at low angles of incidence but, due to mode conversion, the Helmholtz model becomes insufficient for simulating ultrasound fields in plates at large angles of incidence.     

Consideration of the evolution of the Saccharomyces cerevisiae MEL gene family on the basis of the nucleotide sequences of the genes and their flanking regions

Analysis of the DNA sequences of new members of the Saccharomyces cerevisiae MEL1-MEL10 gene family showed high homology between the members. The MEL gene family, α-galactosidase-coding sequences, have diverged into two groups; one consisting of MEL1 and MEL2 and the other of MEL3-MEL10. In two S. cerevisiae strains containing five or seven MEL genes each, all the genes are nearly identical, suggesting very rapid distribution of the gene to separate chromosomes. The sequence homology and the abrupt change to sequence heterogeneity at the centromere-proximal 3′ end of the MEL genes suggest that the distribution of the genes to new chromosomal locations has occurred partly by reciprocal recombination at solo delta sequences. We identified a new open reading frame sufficient to code for a 554 amino acid long protein of unknown function. The new open reading frame (Accession number Z37509) is located in the 3′ non-coding region of MEL3-MEL10 genes in opposite orientation to the MEL genes (Accession numbers Z37508, Z37510, Z37511). Northern analysis of total RNA showed no hybridization to a homologous probe, suggesting that the gene is not expressed efficiently if at all.     

Trophodynamics of mercury and other trace elements in a pelagic food chain from the Baltic Sea

Mercury (Hg) and 13 other trace elements (Al, Ti, V, Cr, Fe, Mn, Co, Ni, Cu, Zn, As, Cd, and Pb) were measured in phytoplankton, zooplankton, mysis and herring in order to examine the trophodynamics in a well-studied pelagic food chain in the Baltic Sea. The fractionation of nitrogen isotopes (δ¹⁵N) was used to evaluate food web structure and to estimate the extent of trophic biomagnification of the various trace elements. Trophic magnification factors (TMFs) for each trace element were determined from the slope of the regression between trace element concentrations and δ¹⁵N. Calculated TMFs showed fundamental differences in the trophodynamics of the trace elements in the pelagic food chain studied. Concentrations of Al, Fe, Ni, Zn, Pb and Cd showed statistically significant decreases (TMF < 1) with increasing trophic levels and thus these trace elements tropically dilute or biodilute in this Baltic food chain. Cu, As, Cr, Mn, V, Ti and Co showed no significant relationships with trophic levels. Hg was unique among the trace elements studied in demonstrating a statistically significant increase (TMF > 1) in concentration with trophic level i.e. Hg biomagnifies in this Baltic food chain. The estimated TMF for Hg in this food chain was comparable to TMFs observed elsewhere for diverse food chains and locations.     

Wavelet-based reconstruction for limited-angle X-ray tomography

The aim of X-ray tomography is to reconstruct an unknown physical body from a collection of projection images. When the projection images are only available from a limited angle of view, the reconstruction problem is a severely ill-posed inverse problem. Statistical inversion allows stable solution of the limited-angle tomography problem by complementing the measurement data by a priori information. In this work, the unknown attenuation distribution inside the body is represented as a wavelet expansion, and a Besov space prior distribution together with positivity constraint is used. The wavelet expansion is thresholded before reconstruction to reduce the dimension of the computational problem. Feasibility of the method is demonstrated by numerical examples using in vitro data from mammography and dental radiology.     

Electrical impedance tomography problem with inaccurately known boundary and contact impedances

In electrical impedance tomography (EIT) electric currents are injected into a body with unknown electromagnetic properties through a set of contact electrodes at the boundary of the body. The resulting voltages are measured on the same electrodes and the objective is to reconstruct the unknown conductivity function inside the body based on these data. All the traditional approaches to the reconstruction problem assume that the boundary of the body and the electrode-skin contact impedances are known a priori. However, in clinical experiments one usually lacks the exact knowledge of the boundary and contact impedances, and therefore, approximate model domain and contact impedances have to be used in the image reconstruction. However, it has been noticed that even small errors in the shape of the computation domain or contact impedances can cause large systematic artefacts in the reconstructed images, leading to loss of diagnostically relevant information. In a recent paper (Kolehmainen , 2006), we showed how in the 2-D case the errors induced by the inaccurately known boundary can be eliminated as part of the image reconstruction and introduced a novel method for finding a deformed image of the original isotropic conductivity using the theory of TeichmÜller mappings. In this paper, the theory and reconstruction method are extended to include the estimation of unknown contact impedances. The method is implemented numerically and tested with experimental EIT data. The results show that the systematic errors caused by inaccurately known boundary and contact impedances can efficiently be eliminated by the reconstruction method.      

On the Barzilai-Borwein basic scheme in FFT-based computational homogenization

Building upon the equivalence of the basic scheme in the work of Moulinec and Suquet with gradient descent methods, we investigate the effect of using the celebrated Barzilai-Borwein step size selection technique in this context. We provide an overview of recent convergence theory and present efficient implementations in the context of computational micromechanics, with and without globalization. In contrast to polarization schemes and fast gradient methods, no lower bound on the eigenvalues of the material tangent is necessary for the Barzilai-Borwein scheme. We demonstrate the power of the proposed method for linear elastic and inelastic large scale problems with finite and infinite material contrast.     

Lippmann-Schwinger solvers for the computational homogenization of materials with pores

We show that under suitable hypotheses on the nonporous material law and a geometric regularity condition on the pore space, Moulinec-Suquet's basic solution scheme converges linearly. We also discuss for which derived solvers a (super)linear convergence behavior may be obtained, and for which such results do not hold, in general. The key technical argument relies on a specific subspace on which the homogenization problem is nondegenerate, and which is preserved by iterations of the basic scheme. Our line of argument is based in the nondiscretized setting, and we draw conclusions on the convergence behavior for discretized solution schemes in FFT-based computational homogenization. Also, we see how the geometry of the pores' interface enters the convergence estimates. We provide computational experiments underlining our claims.