582 research outputs found
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.
- …