Nondispersive infrared analyzer for specific gases in complex mixtures

Analyzer identifies and measures particular diatomic or polyatomic gases in complex gas mixtures. Mixing of absorption effects on light energy passing through gases to photodetector produces a signal component that is related to the absorption caused by reference-gas component in unknown gas mixture

Einstein Manifolds As Yang-Mills Instantons

It is well-known that Einstein gravity can be formulated as a gauge theory of Lorentz group where spin connections play a role of gauge fields and Riemann curvature tensors correspond to their field strengths. One can then pose an interesting question: What is the Einstein equations from the gauge theory point of view? Or equivalently, what is the gauge theory object corresponding to Einstein manifolds? We show that the Einstein equations in four dimensions are precisely self-duality equations in Yang-Mills gauge theory and so Einstein manifolds correspond to Yang-Mills instantons in SO(4) = SU(2)_L x SU(2)_R gauge theory. Specifically, we prove that any Einstein manifold with or without a cosmological constant always arises as the sum of SU(2)_L instantons and SU(2)_R anti-instantons. This result explains why an Einstein manifold must be stable because two kinds of instantons belong to different gauge groups, instantons in SU(2)_L and anti-instantons in SU(2)_R, and so they cannot decay into a vacuum. We further illuminate the stability of Einstein manifolds by showing that they carry nontrivial topological invariants.Comment: v4; 17 pages, published version in Mod. Phys. Lett.

A microprocessor-based cardiotachometer

The development of a highly accurate and reliable cardiotachometer for measuring the heart rate of test subjects is discussed. It measures heart rate over the range of 30 to 250 beats/minute and gives instantaneous (beat to beat) updates on the system output so that occasional noise artifacts or ectopic beats could be more easily identified except that occasional missed beats caused by switching ECG leads should not cause a change in the output. The cardiotachometer uses an improved analog filter and R-wave detector and an Intel 8080A microprocessor to handle all of the logic and arithmetic necessary. By using the microprocessor, future hardware modifications could easily be made if functional changes were needed

Exposing errors related to weak memory in GPU applications

© 2016 ACM.We present the systematic design of a testing environment that uses stressing and fuzzing to reveal errors in GPU applications that arise due to weak memory effects. We evaluate our approach on seven GPUS spanning three NVIDIA architectures, across ten CUDA applications that use fine-grained concurrency. Our results show that applications that rarely or never exhibit errors related to weak memory when executed natively can readily exhibit these errors when executed in our testing environment. Our testing environment also provides a means to help identify the root causes of such errors, and automatically suggests how to insert fences that harden an application against weak memory bugs. To understand the cost of GPU fences, we benchmark applications with fences provided by the hardening strategy as well as a more conservative, sound fencing strategy

Development of a new laser Doppler velocimeter for the Ames High Reynolds Channel No. 2

A new two-channel laser Doppler velocimeter developed for the Ames High Reynolds Channel No. 2 is described. Design features required for the satisfactory operation of the optical system in the channel environment are discussed. Fiber optics are used to transmit the megahertz Doppler signal to the photodetectors located outside the channel pressure vessel, and provision is made to isolate the optical system from pressure and thermal strain effects. Computer-controlled scanning mirrors are used to position the laser beams in the channel flow. Techniques used to seed the flow with 0.5-micron-diam polystyrene spheres avoiding deposition on the test-section windows and porous boundary-layer removal panels are described. Preliminary results are presented with a discussion of several of the factors affecting accuracy

Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

Solution structure of the carboxy-terminal Tudor domain from human Coilin

AbstractThe Cajal body is a dynamic eukaryotic nuclear organelle that is known primarily as an organizational center for the assembly of snRNAs involved in transcript splicing. One of the most critical components of the Cajal body is the scaffolding protein, Coilin. Here, we demonstrate by NMR methods that the carboxy-terminal region contains a Tudor domain. The Tudor domain is atypical due to the presence of several unstructured loops, one greater than thirty amino acids in length. Tudor domains have been noted previously to bind DNA, RNA and modified amino acids. The absence of these sequence and structural signatures in the Coilin Tudor domain supporting these established functions suggests an alternative role

Hamiltonian 2-forms in Kahler geometry, III Extremal metrics and stability

This paper concerns the explicit construction of extremal Kaehler metrics on total spaces of projective bundles, which have been studied in many places. We present a unified approach, motivated by the theory of hamiltonian 2-forms (as introduced and studied in previous papers in the series) but this paper is largely independent of that theory. We obtain a characterization, on a large family of projective bundles, of those `admissible' Kaehler classes (i.e., the ones compatible with the bundle structure in a way we make precise) which contain an extremal Kaehler metric. In many cases, such as on geometrically ruled surfaces, every Kaehler class is admissible. In particular, our results complete the classification of extremal Kaehler metrics on geometrically ruled surfaces, answering several long-standing questions. We also find that our characterization agrees with a notion of K-stability for admissible Kaehler classes. Our examples and nonexistence results therefore provide a fertile testing ground for the rapidly developing theory of stability for projective varieties, and we discuss some of the ramifications. In particular we obtain examples of projective varieties which are destabilized by a non-algebraic degeneration.Comment: 40 pages, sequel to math.DG/0401320 and math.DG/0202280, but largely self-contained; partially replaces and extends math.DG/050151

Localized Exotic Smoothness

Gompf's end-sum techniques are used to establish the existence of an infinity of non-diffeomorphic manifolds, all having the same trivial ${\bf R^4}$ topology, but for which the exotic differentiable structure is confined to a region which is spatially limited. Thus, the smoothness is standard outside of a region which is topologically (but not smoothly) ${\bf B^3}\times {\bf R^1}$, where ${\bf B^3}$ is the compact three ball. The exterior of this region is diffeomorphic to standard ${\bf R^1}\times {\bf S^2}\times{\bf R^1}$. In a space-time diagram, the confined exoticness sweeps out a world tube which, it is conjectured, might act as a source for certain non-standard solutions to the Einstein equations. It is shown that smooth Lorentz signature metrics can be globally continued from ones given on appropriately defined regions, including the exterior (standard) region. Similar constructs are provided for the topology, ${\bf S^2}\times {\bf R^2}$ of the Kruskal form of the Schwarzschild solution. This leads to conjectures on the existence of Einstein metrics which are externally identical to standard black hole ones, but none of which can be globally diffeomorphic to such standard objects. Certain aspects of the Cauchy problem are also discussed in terms of ${\bf R^4_\Theta}$\models which are ``half-standard'', say for all $t<0,$ but for which $t$ cannot be globally smooth.Comment: 8 pages plus 6 figures, available on request, IASSNS-HEP-94/2