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.     

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.     

Control design for discrete‐time bilinear systems using the scalarized Schur complement

In this paper, controller design for discrete‐time bilinear systems is investigated by using sum of squares programming methods and quadratic Lyapunov functions. The class of rational polynomial controllers is considered, and necessary conditions on the degree of controller polynomials for quadratic stability are derived. Next, a scalarized version of the Schur complement is proposed. For controller design, the Lyapunov difference inequality is converted to a sum of squares problem, and an optimization problem is proposed to design a controller, which maximizes the region of quadratic stability of the bilinear system. Input constraints can also be accounted for. Copyright © 2017 John Wiley & Sons, Ltd.     

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     

Synthesis and testing of cellulose acetate nicotinate as adsorbent for rhodamine B dye

The esterification of cellulose hydroxyl groups with natural carboxylic acids in mild conditions represents an adequate pathway in obtaining cellulose derivatives with different useful properties. In this article, authors report the synthesis of new mixed ester of cellulose and cellulose acetate nicotinate (CAN) , in a homogenous medium using DMF as solvent, cellulose acetate (CA) as starting cellulosic material, and nicotinic acid as an esterification agent in the presence of p-toluenesulfonyl chloride and pyridine. FTIR and NMR techniques were used to prove the binding of nicotinoyl group at free hydroxyl groups of CA. The obtained CAN was electrospun by electrospinning technique to obtain adsorbent ultrafine fibers, evidenced by SEM images, with high specific surface area. Monolayer Langmuir and empirical Leundrich isotherms were used to assess the adsorption capacity for rhodamine B dye of electrospun CAN in comparison with that of electrospun CA used as starting material. Langmuir isotherm led to a better assessment of experimental data suggesting that the adsorption is mainly determined by hydrogen bonds formed between carboxylic OH hydrogen bonding donor and pyridine N hydrogen bonding acceptor. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47772.     

Cyclic invariance for discrete time-delay systems

This technical communique introduces a new concept of set invariance with respect to linear discrete time dynamics affected by delay. We are interested in the definition and characterization of sequences of cyclically invariant subsets in the state space. The algebraic conditions established in the late ’80s for linear dynamics are generalized to invariance analysis in the presence of delays for given sequences of polyhedral sets.