Fault-aware Communication Mapping for NoCs with Guaranteed Latency

As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival probability and response time. We address the problem of transient link failures by means of temporally and spatially redundant transmission of messages, such that designer-imposed message arrival probabilities are guaranteed. Response time minimisation is achieved by a heuristic that statically assigns multiple copies of each message to network links, intelligently combining temporal and spatial redundancy. Concerns regarding energy consumption are addressed in two ways. First, we reduce the total amount of transmitted messages, and, second, we minimise the application response time such that the resulted time slack can be exploited for energy savings through voltage reduction. The advantages of the proposed approach are guaranteed message arrival probability and guaranteed worst case application response time.     

State multiplicity in CSTR-separator-recycle polymerisation systems

This article continues earlier work (Comput. Chem. Eng. 24 (2000) 209) concerning the design and control of isothermal reactor-separator-recycle systems. The multiplicity behaviour of six reaction systems of increasing complexity, from one-reactant, first-order reaction to chain-growth polymerisation, is investigated. Below a critical value of the plant Damkohler number, Da<Da^cr, the only steady state involves infinite flow rates. Feasible steady states become possible if the critical value is exceeded, Da>Da^cr. For one-reaction systems, one stable steady state is born at a transcritical bifurcation. For consecutive-reaction systems, including polymerisation, a fold bifurcation can lead to two feasible steady states. Moreover, the transcritical bifurcation is destroyed when two reactants are involved. If the gel-effect is included, a maximum of four steady states are possible. When multiple steady states exist, the achievable conversion is constrained by the instability of the low-conversion branch. This has practical importance for polymerisation systems when the radicals’ quasi-steady state assumption is not valid or the gel effect is significant.     

Polarization independent isolator using spatial walkoff polarizers

A novel type of polarization-independent optical isolator is described which utilizes the polarization walkoff provided by birefringent crystals. Isolation of 44 dB is measured at a wavelength of 1.3 mu m with single-mode fiber insertion loss of 1.5 dB. A temperature-independent scheme is also described that provides at least 39 dB of isolation over the temperature range of 25-75 degrees C.<>     

PMR1, a Ca2+-ATPase in yeast Golgi, has properties distinct from sarco/endoplasmic reticulum and plasma membrane calcium pumps

PMR1, a P-type ATPase cloned from the yeast Saccharomyces cerevisiae, was previously localized to the Golgi, and shown to be required for normal secretory processes (Antebi, A., and Fink, G.R. (1992) Mol. Biol. Cell 3, 633-654). We provide biochemical evidence that PMR1 is a Ca2+-transporting ATPase in the Golgi, a hitherto unusual location for a Ca2+ pump. As a starting point for structure-function analysis using a mutagenic approach, we used the strong and inducible heat shock promoter to direct high level expression of PMR1 from a multicopy plasmid. Yeast lysates were separated on sucrose density gradients, and fractions assayed for organellar markers. PMR1 is found in fractions containing the Golgi marker guanosine diphosphatase, and is associated with an ATP-dependent, protonophore-insensitive 45Ca2+ uptake activity. This activity is virtually abolished in the absence of the expression plasmid. Furthermore, replacement of the active site aspartate within the phosphorylation domain had the expected effect of abolishing Ca2+ transport activity entirely. Interestingly, the mutant enzymes (Asp-371 --> Glu and Asp-371 --> Asn) demonstrated proper targeting to the Golgi, unlike analogous mutations in the related yeast H+-ATPase. Detailed characterization of calcium transport by PMR1 showed that sensitivity to inhibitors (vanadate, thapsigargin, and cyclopiazonic acid) and affinity for substrates (MgATP and Ca2+) were different from the previously characterized sarco/endoplasmic reticulum and plasma membrane Ca2+-ATPases. PMR1 therefore represents a new and distinct P-type Ca2+-ATPase. Because close homologs of PMR1 have been cloned from rat and other organisms, we suggest that Ca2+-ATPases in the Golgi will form a discrete subgroup that are important for functioning of the secretory pathway.     

Obtaining high-alumina cement at the semiluksk refractories factory

Conclusions We demonstrate that it is, in principle, possible to obtain refractory high-alumina cement on industrial equipment at the Semiluksk refractories factory. Technological parameters were developed for preparing raw mixtures, pressing the green articles and firing in a tunnel kiln. It was established that the mass percentage of SiO₂ in the raw mixture should not exceed 1.5%. For industrial production of high-alumina cement in department No. 1 it is necessary to implement measures on the mechanization of the production process.Translated from Ogneupory, No. 5, pp. 26–28, May, 1986.     

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures

Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the high availability required for these tasks, it is necessary to incorporate mechanisms for error detection and recovery. Correct operation of the memory system is defined by the memory consistency model. Errors can therefore be detected by checking if the observed memory system behavior deviates from the specified consistency model. Based on recent work, we design a framework for dynamic verification of memory consistency (DVMC). The framework consists of mechanisms to verify three invariants that are proven to guarantee that a specified memory consistency model is obeyed. We describe an implementation of the framework for the SPARCv9 architecture, and we experimentally evaluate its performance using full-system simulation of commercial workloads.     

Lidar-based mapping of leaf area index and its use for validating GLOBCARBON satellite LAI product in a temperate forest of the southern USA

Lidar provides enhanced abilities to remotely map leaf area index (LAI) with improved accuracies. We aim to further explore the capability of discrete-return lidar for estimating LAI over a pine-dominated forest in East Texas, with a secondary goal to compare the lidar-derived LAI map and the GLOBCARBON moderate-resolution satellite LAI product. Specific problems we addressed include (1) evaluating the effects of analysts and algorithms on in-situ LAI estimates from hemispherical photographs (hemiphoto), (2) examining the effectiveness of various lidar metrics, including laser penetration, canopy height and foliage density metrics, to predict LAI, (3) assessing the utility of integrating Quickbird multispectral imagery with lidar for improving the LAI estimate accuracy, and (4) developing a scheme to co-register the lidar and satellite LAI maps and evaluating the consistency between them. Results show that the use of different analysts or algorithms in analyzing hemiphotos caused an average uncertainty of 0.35 in in-situ LAI, and that several laser penetration metrics in logarithm models were more effective than other lidar metrics, with the best one explaining 84% of the variation in the in-situ LAI (RMSE = 0.29 LAI). The selection of plot size and height threshold in calculating laser penetration metrics greatly affected the effectiveness of these metrics. The combined use of NDVI and lidar metrics did not significantly improve estimation over the use of lidar alone. We also found that mis-registration could induce a large artificial discrepancy into the pixelwise comparison between the coarse-resolution satellite and fine-resolution lidar-derived LAI maps. By compensating for a systematic sub-pixel shift error, the correlation between two maps increased from 0.08 to 0.85 for pines (n = 24 pixels). However, the absolute differences between the two LAI maps still remained large due to the inaccuracy in accounting for clumping effects. Overall, our findings imply that lidar offers a superior tool for mapping LAI at local to regional scales as compared to optical remote sensing, accuracies of lidar-estimate LAI are affected not only by the choice of models but also by the absolute accuracy of in-situ reference LAI used for model calibration, and lidar-derived LAI maps can serve as reliable references for validating moderate-resolution satellite LAI products over large areas.     

A bootstrap approach for lower injury levels of the risk curves

Survival analysis is widely applied to develop injury risk curves from biomechanical data. To obtain more accurate estimation of confidence intervals of parameters, bootstrap method was evaluated by a designed simulation process. Four censoring schemes and various sample sizes were considered to investigate failure time parameters corresponding to low-level injury probabilities. In the numerical simulations, the confidence interval ranges developed by bootstrapping were about two-third of the corresponding ranges calculated by asymptotical normal approximation and showed highest reduction for censored datasets with smaller sample size (≤ 40). In analysis of two experimental datasets with reduced sample sizes and mixed censored data, it was shown that the bootstrapping reduce significantly the confidence intervals as well. The results presented in this study recommend using bootstrapping in development of more accurate confidence intervals for risk curves in injury biomechanics, which consequently will lead to better regulations and safer vehicle designs.     

Slip in Vibrating Wire Experiments on 3He-4He Mixtures

No Heading We present vibrating wire viscometer experiments in concentrated and dilute ³He-⁴He mixtures showing that the slip length may become orders of magnitude larger than the mean free path due to increased specular scattering of the ³He quasiparticles with the superfluid ⁴He film on the wire. The experimental results are in good agreement with a recent theory for slip which accounts for the cylindrical geometry of the wire and for velocity slip in directions normal as well as tangential to the surface of the wire.PACS numbers: 67.60.Fp, 51.20.+d     

Human, rhesus macaque, and feline sequences highly similar to mouse mammary tumor virus sequences

Sequences highly similar (>95%) to the mouse mammary tumor virus (MMTV) env gene have been amplified from human DNA samples, including DNA samples from patients with breast cancer (BC) and persons who did not have BC. The sequences from human DNA were distinct from the MMTV sequences used as controls in these PCR reactions, indicating that these results are not simply due to contamination. In addition to both, mouse and human-related sequences were also amplified from some monkey and cat genomic DNA samples. These products were shown to be distinct from, but highly related to, the MMTV env gene, whereas, testing of other sources (lambda phage, snake, cockroach, sea urchin, chicken, or dog) demonstrated no specific amplification. A sequence 90% similar to the MMTV group antigen gene (gag) was amplified from cat DNA. These results indicate that DNA from vertebrate species other than rodents, including some but not all humans, monkeys, and cats, can contain sequences closely related to MMTV.