Processing and Transmission of Information

Contains reports on three research projects

Measurements at low energies of the polarization-transfer coefficient Kyy' for the reaction 3H(p,n)3He at 0 degrees

Measurements of the transverse polarization coefficient Kyy' for the reaction 3H(p,n)3He are reported for outgoing neutron energies of 1.94, 5.21, and 5.81 MeV. This reaction is important both as a source of polarized neutrons for nuclear physics experiments, and as a test of theoretical descriptions of the nuclear four-body system. Comparison is made to previous measurements, confirming the 3H(p,n)3He reaction can be used as a polarized neutron source with the polarization known to an accuracy of approximately 5%. Comparison to R-matrix theory suggests that the sign of the 3F3 phase-shift parameter is incorrect. Changing the sign of this parameter dramatically improves the agreement between theory and experiment.Comment: 12 pages, RevTeX, 5 eps figures, submitted to Phys. Rev.

An implementation of Deflate in Coq

The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq. We produced a verified implementation in Coq which achieves competitive performance on inputs of several megabytes. In this paper we present the several parts of our implementation: a fully verified implementation of canonical prefix-free codings, which can be used in other compression formats as well, and an elegant formalism for specifying sophisticated formats, which we used to implement both a compression and decompression algorithm in Coq which we formally prove inverse to each other -- the first time this has been achieved to our knowledge. The compatibility to other Deflate implementations can be shown empirically. We furthermore discuss some of the difficulties, specifically regarding memory and runtime requirements, and our approaches to overcome them

Processing and Transmission of Information

Contains reports on three research projects

High efficiency thermionic converter studies

Research in thermionic energy conversion technology is reported. The objectives were to produce converters suitable for use in out of core space reactors, radioisotope generators, and solar satellites. The development of emitter electrodes that operate at low cesium pressure, stable low work function collector electrodes, and more efficient means of space charge neutralization were investigated to improve thermionic converter performance. Potential improvements in collector properties were noted with evaporated thin film barium oxide coatings. Experiments with cesium carbonate suggest this substance may provide optimum combinations of cesium and oxygen for thermionic conversion

Fundamental constraints on particle tracking with optical tweezers

A general quantum limit to the sensitivity of particle position measurements is derived following the simple principle of the Heisenberg microscope. The value of this limit is calculated for particles in the Rayleigh and Mie scattering regimes, and with parameters which are relevant to optical tweezers experiments. The minimum power required to observe the zero-point motion of a levitating bead is also calculated, with the optimal particle diameter always smaller than the wavelength. We show that recent optical tweezers experiments are within two orders of magnitude of quantum limited sensitivity, suggesting that quantum optical resources may soon play an important role in high sensitivity tracking applications

Processing and Transmission of Information

Contains research objectives and reports on one research project.Lincoln Laboratory (Purchase Order DDL-B187)Department of the ArmyDepartment of the NavyDepartment of the Air Force under Contract AF19(122)-45

Adapting SAM for CDF

The CDF and D0 experiments probe the high-energy frontier and as they do so have accumulated hundreds of Terabytes of data on the way to petabytes of data over the next two years. The experiments have made a commitment to use the developing Grid based on the SAM system to handle these data. The D0 SAM has been extended for use in CDF as common patterns of design emerged to meet the similar requirements of these experiments. The process by which the merger was achieved is explained with particular emphasis on lessons learned concerning the database design patterns plus realization of the use cases.Comment: Talk from the 2003 Computing in High Energy and Nuclear Physics (CHEP03), La Jolla, Ca, USA, March 2003, 4 pages, pdf format, TUAT00