31365806
Charge form factor and sum rules of electromagnetic response functions in 12C.
An ab initio calculation of the 12C elastic form factor and sum rules of longitudinal and transverse response functions measured in inclusive (e, e') scattering are reported, based on realistic nuclear potentials and electromagnetic currents. The longitudinal elastic form factor and sum rule are found to be in satisfactory agreement with available experimental data. A direct comparison between theory and experiment is difficult for the transverse sum rule. However, it is shown that the calculated transverse sum rule has large contributions from two-body currents, indicating that these mechanisms lead to a significant enhancement of the quasielastic transverse response. This fact may have implications for the anomaly observed in recent neutrino quasielastic charge-changing scattering experiments on 12C.
122473897
OTTER Experiments Pertinent to CADE-10
This Argonne report serves as a companion to our CADE-10 paper. To fulfill promises made in that paper, we include here detailed proofs in clause notation, input files compatible with OTTER, and explanations for our choice of approach. We also include certain of the original and unpublished proofs (of Winker) that answered four open questions, two in equivalent calculus and two in the R-calculus. The organization parallels that of our CADE-10 paper. 34 refs.
59906581
A Tutorial on the Construction of High-Performance Resolution/Paramodulation Systems
Over the past 25 years, researchers have written numerous deduction systems based on resolution and paramodulation. Of these systems, a very few have been capable of generating and maintaining a formula database'' containing more than just a few thousand clauses. These few systems were used to explore mechanisms for rapidly extracting limited subsets of relevant'' clauses. We have written this tutorial to reflect some of the best ideas that have emerged and to cast them in a form that makes them easily accessible to students wishing to write their own high-performance systems. 4 refs.
118356163
Advanced modelling of the Planck-LFI radiometers
The Low Frequency Instrument (LFI) is a radiometer array covering the 30-70 GHz spectral range on-board the ESA Planck satellite, launched on May 14th, 2009 to observe the cosmic microwave background (CMB) with unprecedented precision. In this paper we describe the development and validation of a software model of the LFI pseudo-correlation receivers which enables to reproduce and predict all the main system parameters of interest as measured at each of the 44 LFI detectors. These include system total gain, noise temperature, band-pass response, non-linear response. The LFI Advanced RF Model (LARFM) has been constructed by using commercial software tools and data of each radiometer component as measured at single unit level. The LARFM has been successfully used to reproduce the LFI behavior observed during the LFI ground-test campaign. The model is an essential element in the database of LFI data processing center and will be available for any detailed study of radiometer behaviour during the survey.
16393661
A Photometric Method for estimating CNO Abundances in Globular Clusters
Stromgren indices v and b are combined with broad-band index I, and a new index p, the short wavelength half of the v band, to estimate CN 4215A molecular absorption in a sample of stars in M22. The results have been used to estimate carbon and nitrogen abundances and suggest groups of stars within this cluster, each with a characteristic nitrogen abundance, but with a range of carbon abundances. The results suggest the possibility of stars consisting of material which has undergone CNO recycling two or three times. The method can be subsequently used for other globular clusters.
119186685
A systematic approach to the Planck LFI end-to-end test and its application to the DPC Level 1 pipeline
The Level 1 of the Planck LFI Data Processing Centre (DPC) is devoted to the handling of the scientific and housekeeping telemetry. It is a critical component of the Planck ground segment which has to strictly commit to the project schedule to be ready for the launch and flight operations. In order to guarantee the quality necessary to achieve the objectives of the Planck mission, the design and development of the Level 1 software has followed the ESA Software Engineering Standards. A fundamental step in the software life cycle is the Verification and Validation of the software. The purpose of this work is to show an example of procedures, test development and analysis successfully applied to a key software project of an ESA mission. We present the end-to-end validation tests performed on the Level 1 of the LFI-DPC, by detailing the methods used and the results obtained. Different approaches have been used to test the scientific and housekeeping data processing. Scientific data processing has been tested by injecting signals with known properties directly into the acquisition electronics, in order to generate a test dataset of real telemetry data and reproduce as much as possible nominal conditions. For the HK telemetry processing, validation software have been developed to inject known parameter values into a set of real housekeeping packets and perform a comparison with the corresponding timelines generated by the Level 1. With the proposed validation and verification procedure, where the on-board and ground processing are viewed as a single pipeline, we demonstrated that the scientific and housekeeping processing of the Planck-LFI raw data is correct and meets the project requirements.
109473696
The linearity response of the Planck-LFI flight model receivers
In this paper we discuss the linearity response of the Planck-LFI receivers, with particular reference to signal compression measured on the 30 and 44 GHz channels. In the article we discuss the various sources of compression and present a model that accurately describes data measured during tests performed with individual radiomeric chains. After discussing test results we present the best parameter set representing the receiver response and discuss the impact of non linearity on in-flight calibration, which is shown to be negligible.
119193844
Proper Motions in Globular Clusters using Deconvolution of HST Images
A sub-sampled deconvolution technique for crowded field photometry with the HST WFPC2 instrument was proposed by Butler (2000) and applied to search for optical counterparts to pulsars in globular clusters (Golden et al. 2001). Simulations showed that the method, which takes account of the point-spread function (PSF) spatial variation, can provide better star detection and recovers the resolution lost to aberrations and poor sampling. The original emphasis was on precision photometry in crowded fields. In the present work, we have extended this technique to determine proper motions of stars in globular clusters. Actual HST images of the globular clusters, along with realistic simulations of the globular clusters, were used to benchmark the technique for astrometric accuracy. The ultimate aim is to use this dynamical data to search for intermediate-mass black holes in globular cluster cores.