Nicral ternary alloy having improved cyclic oxidation resistance

NiCrAl alloys are improved by the addition of zirconium. These alloys are in the Beta or gamma/gamma' + Beta region of the ternary system. Zirconium is added in a very low amount between 0.06 and 0.20 weight percent. There is a narrow optimum zirconium level at the low value of 0.13 weight percent. Maximum resistance to cyclic oxidation is achieved when the zirconium addition is at the optimum value

Improving Performance of Iterative Methods by Lossy Checkponting

Iterative methods are commonly used approaches to solve large, sparse linear systems, which are fundamental operations for many modern scientific simulations. When the large-scale iterative methods are running with a large number of ranks in parallel, they have to checkpoint the dynamic variables periodically in case of unavoidable fail-stop errors, requiring fast I/O systems and large storage space. To this end, significantly reducing the checkpointing overhead is critical to improving the overall performance of iterative methods. Our contribution is fourfold. (1) We propose a novel lossy checkpointing scheme that can significantly improve the checkpointing performance of iterative methods by leveraging lossy compressors. (2) We formulate a lossy checkpointing performance model and derive theoretically an upper bound for the extra number of iterations caused by the distortion of data in lossy checkpoints, in order to guarantee the performance improvement under the lossy checkpointing scheme. (3) We analyze the impact of lossy checkpointing (i.e., extra number of iterations caused by lossy checkpointing files) for multiple types of iterative methods. (4)We evaluate the lossy checkpointing scheme with optimal checkpointing intervals on a high-performance computing environment with 2,048 cores, using a well-known scientific computation package PETSc and a state-of-the-art checkpoint/restart toolkit. Experiments show that our optimized lossy checkpointing scheme can significantly reduce the fault tolerance overhead for iterative methods by 23%~70% compared with traditional checkpointing and 20%~58% compared with lossless-compressed checkpointing, in the presence of system failures.Comment: 14 pages, 10 figures, HPDC'1

Analysis of Pt/SnO(sub x) during catalysis of CO oxidation

Temperature-programmed reduction using 6kPaH2 suggests that a sample consisting of 3 percent Pt supported directly on SnO2 is, under conditions of catalysis of CO oxidation used here, best represented as 3 percent Pt/SnO sub x, since the support is likely to partially reduced, probably in the vicinity of the metal/oxide interface. Catalytic measurements at 421 to 424 K show that this 3 percent Pt/SnO sub x is significantly more active per unit area of Pt than 6 percent Pt/SiO2 in catalyzing the oxidation of CO. In situ micro-FTIR reveals that while the latter has predominantly linearly bound CO on the surface under reaction conditions, the Pt/SnO sub x also has a species absorbing at 2168 cm(exp -1) which may be CO upon Pt in a positive oxidation state or weakly chemisorbed CO on zero-valent Pt. This may be directly involved in the low temperature oxidation of CO on the Pt/SnO sub x, since being weakly held the activation energy for its surface diffusion to the metal/oxide interface will be low; such mobile species could allow the high rates of surface transport and an increase in the fraction of the surface over which the CO oxidation occurs. FTIR also reveals carbonate-type species on the P/SnO sub c surface

Resolving environmental drivers of microbial community structure in Antarctic soils

Antarctic soils are extremely cold, dry, and oligotrophic, yet harbour surprisingly high bacterial diversity. The severity of environmental conditions has constrained the development of multi-trophic communities, and species richness and distribution is thought to be driven primarily by abiotic factors. Sites in northern and southern Victoria Land were sampled for bacterial community structure and soil physicochemical properties in conjunction with the US and New Zealand Latitudinal Gradient Project. Bacterial community structure was determined using a high-resolution molecular fingerprinting method for 80 soil samples from Taylor Valley and Cape Hallett sites which are separated by five degrees of latitude and have distinct soil chemistry. Taylor Valley is part of the McMurdo Dry Valleys, while Cape Hallett is the site of a penguin rookery and contains ornithogenic soils. The influence of soil moisture, pH, conductivity, ammonia, nitrate, total nitrogen and organic carbon on community structure was revealed using Spearman rank correlation, Mantel test, and principal components analysis. High spatial variability was detected in bacterial communities and community structure was correlated with soil moisture and pH. Both unique and shared bacterial community members were detected at Taylor Valley and Cape Hallett despite the considerable distance between the sites

Band Mapping in One-Step Photoemission Theory: Multi-Bloch-Wave Structure of Final States and Interference Effects

A novel Bloch-waves based one-step theory of photoemission is developed within the augmented plane wave formalism. Implications of multi-Bloch-wave structure of photoelectron final states for band mapping are established. Interference between Bloch components of initial and final states leads to prominent spectral features with characteristic frequency dispersion experimentally observed in VSe_2 and TiTe_2. Interference effects together with a non-free-electron nature of final states strongly limit the applicability of the common direct transitions band mapping approach, making the tool of one-step analysis indispensable.Comment: 4 jpg figure

A genome-wide investigation of the worldwide invader Sargassum muticum shows high success albeit (almost) no genetic diversity

Twenty years of genetic studies of marine invaders have shown that successful invaders are often characterized by native and introduced populations displaying similar levels of genetic diversity. This pattern is presumably due to high propagule pressure and repeated introductions. The opposite pattern is reported in this study of the brown seaweed, Sargassum muticum, an emblematic species for circumglobal invasions. Albeit demonstrating polymorphism in the native range, microsatellites failed to detect any genetic variation over 1,269 individuals sampled from 46 locations over the Pacific-Atlantic introduction range. Single-nucleotide polymorphisms (SNPs) obtained from ddRAD sequencing revealed some genetic variation, but confirmed severe founder events in both the Pacific and Atlantic introduction ranges. Our study thus exemplifies the need for extreme caution in interpreting neutral genetic diversity as a proxy for invasive potential. Our results confirm a previously hypothesized transoceanic secondary introduction from NE Pacific to Europe. However, the SNP panel unexpectedly revealed two additional distinct genetic origins of introductions. Also, conversely to scenarios based on historical records, southern rather than northern NE Pacific populations could have seeded most of the European populations. Finally, the most recently introduced populations showed the lowest selfing rates, suggesting higher levels of recombination might be beneficial at the early stage of the introduction process (i.e., facilitating evolutionary novelties), whereas uniparental reproduction might be favored later in sustainably established populations (i.e., sustaining local adaptation).Agence Nationale de la Recherche - ANR-10-BTBR-04; European Regional Development Fund; Fundacao para a Ciencia e a Tecnologia - SFRH/BPD/107878/2015, UID/Multi/04326/2016, UID/Multi/04326/2019; Brittany Region;info:eu-repo/semantics/publishedVersio

An algebraic interpretation of the Wheeler-DeWitt equation

We make a direct connection between the construction of three dimensional topological state sums from tensor categories and three dimensional quantum gravity by noting that the discrete version of the Wheeler-DeWitt equation is exactly the pentagon for the associator of the tensor category, the Biedenharn-Elliott identity. A crucial role is played by an asymptotic formula relating 6j-symbols to rotation matrices given by Edmonds.Comment: 10 pages, amstex, uses epsf.tex. New version has improved presentatio

Ultraslow Electron Spin Dynamics in GaAs Quantum Wells Probed by Optically Pumped NMR

Optically pumped nuclear magnetic resonance (OPNMR) measurements were performed in two different electron-doped multiple quantum well samples near the fractional quantum Hall effect ground state nu=1/3. Below 0.5K, the spectra provide evidence that spin-reversed charged excitations of the nu=1/3 ground state are localized over the NMR time scale of ~40 microseconds. Furthermore, by varying NMR pulse parameters, the electron spin temperature (as measured by the Knight shift) could be driven above the lattice temperature, which shows that the value of the electron spin-lattice relaxation time lies between 100 microseconds and 500 milliseconds at nu=1/3.Comment: 6 pages (REVTEX), 6 eps figures embedded in text; published version; minor changes to match published versio

The Vampire and the FOOL

This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency