Apparatus for measuring an aircraft's speed and height

An apparatus for measuring aircraft horizontal speed and height above ground without the need for airborne cooperative devices is presented. Two ground level TV cameras separated by a measured distance and pointed at zenith are placed in line with the projection of the expected path of the aircraft. Speed is determined by measuring the time that it takes the aircraft to travel between the fields of view of the two TV cameras using zenith crossings as the reference points. Height is determined by correlating the speed with the time required to cross the field of view of either of the two cameras

Film advance indicator

A film advancement indicator which includes an optical sensor that detects the rotational movement of a disc that rotates only when the film advance is described. When the film does not advance, an indicator light is activated. A counter is included in the electronic circuit to determine the number of film frames advanced

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page

Higgs boson production with one bottom quark jet at hadron colliders

We present total rates and kinematic distributions for the associated production of a single bottom quark and a Higgs boson at the Tevatron and the LHC. We include next-to-leading order QCD corrections and compare the results obtained in the four and five flavor number schemes for parton distribution functions.Comment: 4 pages, 8 figures, RevTeX

Heavy Quark Mass Effects in Deep Inelastic Scattering and Global QCD Analysis

A new implementation of the general PQCD formalism of Collins, including heavy quark mass effects, is described. Important features that contribute to the accuracy and efficiency of the calculation of both neutral current (NC) and charged current (CC) processess are explicitly discussed. This new implementation is applied to the global analysis of the full HERA I data sets on NC and CC cross sections, with correlated systematic errors, in conjunction with the usual fixed-target and hadron collider data sets. By using a variety of parametrizations to explore the parton parameter space, robust new parton distribution function (PDF) sets (CTEQ6.5) are obtained. The new quark distributions are consistently higher in the region x ~ 10^{-3} than previous ones, with important implications on hadron collider phenomenology, especially at the LHC. The uncertainties of the parton distributions are reassessed and are compared to the previous ones. A new set of CTEQ6.5 eigenvector PDFs that encapsulates these uncertainties is also presented.Comment: 32 pages, 12 figures; updated, Publication Versio

Surface accuracy measurement sensor test on a 50-meter antenna surface model

The Surface Accuracy Measurement Sensor (SAMS) is a telescope with a focal plane photo electric detector that senses the lateral position of light source targets in its field of view. After extensive laboratory testing the engineering breadboard sensor system was installed and tested on a 30 degree segment of a 50-meter diameter, mesh surface, antenna model. Test results correlated well with the laboratory tests and indicated accuracies of approximately 0.59 arc seconds at 21 meters range. Test results are presented and recommendations given for sensor improvements

Probing Topcolor-Assisted Technicolor from Like-sign Top Pair Production at LHC

The topcolor-assisted technicolor (TC2) theory predicts tree-level flavor-changing neutral-current (FCNC) top quark Yukawa couplings with top-pions. Such FCNC interactions will induce like-sign top quark pair productions at CERN Large Hadron Collider (LHC). While these rare productions are far below the observable level in the Standard Model and other popular new physics models such as the Minimal Supersymmetric Model, we find that in a sound part of parameter space the TC2 model can enhance the production cross sections to several tens of fb and thus may be observable at the LHC due to rather low backgrounds. Searching for these productions at the LHC will serve as an excellent probe for the TC2 model.Comment: 10 pages, 6 fig

Z-boson as "the standard candle" for high precision W-boson physics at LHC

In this paper we propose a strategy for measuring the inclusive W-boson production processes at LHC. This strategy exploits simultaneously the unique flexibility of the LHC collider in running variable beam particle species at variable beam energies, and the configuration flexibility of the LHC detectors. We propose their concrete settings for a precision measurement of the Standard Model parameters. These dedicated settings optimise the use of the Z boson and Drell-Yan pair production processes as ``the standard reference candles''. The presented strategy allows to factorise and to directly measure those of the QCD effects which affect differently the W and Z production processes. It reduces to a level of 10^{-4} the impact of uncertainties in the partonic distribution functions (PDFs) and in the transverse momentum of the quarks on the measurement precision. Last but not the least, it reduces by a factor of 10 an impact of systematic measurement errors, such as the energy scale and the measurement resolution, on the W-boson production observables.Comment: 20 pages, 4 figure

Understanding single-top-quark production and jets at hadron colliders

I present an analysis of fully differential single-top-quark production plus jets at next-to-leading order. I describe the effects of jet definitions, top-quark mass, and higher orders on the shapes and normalizations of the kinematic distributions, and quantify all theoretical uncertainties. I explain how to interpret next-to-leading-order jet calculations, and compare them to showering event generators. Using the program ZTOP, I show that HERWIG and PYTHIA significantly underestimate both s-channel and t-channel single-top-quark production, and propose a scheme to match the relevant samples to the next-to-leading-order predictions.Comment: 40 pgs., revtex4, 35 ps figs; added Fig. 4, 1 Ref., minor clarifications, to appear in Phys. Rev.