176 research outputs found
Generating a checking sequence with a minimum number of reset transitions
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)
Search for pentaquark in high statistics measurement of at CLAS
The exclusive reaction was studied in the
photon energy range between 1.6-3.8 GeV searching for evidence of the exotic
baryon . The decay to requires the assignment of
strangeness to any observed resonance. Data were collected with the CLAS
detector at the Thomas Jefferson National Accelerator Facility corresponding to
an integrated luminosity of 70 . No evidence for the
pentaquark was found. Upper limits were set on the production cross section as
function of center-of-mass angle and mass. The 95% CL upper limit on the
total cross section for a narrow resonance at 1540 MeV was found to be 0.8 nb.Comment: Submitted to Physical Review Letter
Measurement of Deeply Virtual Compton Scattering with a Polarized Proton Target
The longitudinal target-spin asymmetry A_UL for the exclusive
electroproduction of high energy photons was measured for the first time in
p(e,e'p\gamma). The data have been accumulated at Jefferson Lab with the CLAS
spectrometer using 5.7 GeV electrons and a longitudinally polarized NH_3
target. A significant azimuthal angular dependence was observed, resulting from
the interference of the Deeply Virtual Compton Scattering and Bethe-Heitler
processes. The amplitude of the sin(phi) moment is 0.252 +/- 0.042(stat) +/-
0.020(sys). Theoretical calculations are in good agreement with the magnitude
and the kinematic dependence of the target-spin asymmetry, which is sensitive
to the generalized parton distributions H and H-tilde.Comment: Modified text slightly, added reference
Q^2 Dependence of the S_{11}(1535) Photocoupling and Evidence for a P-wave resonance in eta electroproduction
New cross sections for the reaction are reported for total
center of mass energy =1.5--2.3 GeV and invariant squared momentum transfer
=0.13--3.3 GeV. This large kinematic range allows extraction of new
information about response functions, photocouplings, and coupling
strengths of baryon resonances. A sharp structure is seen at 1.7 GeV.
The shape of the differential cross section is indicative of the presence of a
-wave resonance that persists to high . Improved values are derived for
the photon coupling amplitude for the (1535) resonance. The new data
greatly expands the range covered and an interpretation of all data with
a consistent parameterization is provided.Comment: 31 pages, 9 figure
First measurement of coherent -meson photoproduction on deuteron at low energies
The cross section and decay angular distributions for the coherent \phi meson
photoproduction on the deuteron have been measured for the first time up to a
squared four-momentum transfer t =(p_{\gamma}-p_{\phi})^2 =-2 GeV^2/c^2, using
the CLAS detector at the Thomas Jefferson National Accelerator Facility. The
cross sections are compared with predictions from a re-scattering model. In a
framework of vector meson dominance, the data are consistent with the total
\phi-N cross section \sigma_{\phi N} at about 10 mb. If vector meson dominance
is violated, a larger \sigma_{\phi N} is possible by introducing larger t-slope
for the \phi N \to \phi N process than that for the \gamma N \to \phi N
process. The decay angular distributions of the \phi are consistent with
helicity conservation.Comment: 6 page
A Bayesian analysis of pentaquark signals from CLAS data
We examine the results of two measurements by the CLAS collaboration, one of
which claimed evidence for a pentaquark, whilst the other found no
such evidence. The unique feature of these two experiments was that they were
performed with the same experimental setup. Using a Bayesian analysis we find
that the results of the two experiments are in fact compatible with each other,
but that the first measurement did not contain sufficient information to
determine unambiguously the existence of a . Further, we suggest a
means by which the existence of a new candidate particle can be tested in a
rigorous manner.Comment: 5 pages, 3 figure
Electron Scattering From High-Momentum Neutrons in Deuterium
We report results from an experiment measuring the semi-inclusive reaction
where the proton is moving at a large angle relative to the
momentum transfer. If we assume that the proton was a spectator to the reaction
taking place on the neutron in deuterium, the initial state of that neutron can
be inferred. This method, known as spectator tagging, can be used to study
electron scattering from high-momentum (off-shell) neutrons in deuterium. The
data were taken with a 5.765 GeV electron beam on a deuterium target in
Jefferson Laboratory's Hall B, using the CLAS detector. A reduced cross section
was extracted for different values of final-state missing mass ,
backward proton momentum and momentum transfer . The data
are compared to a simple PWIA spectator model. A strong enhancement in the data
observed at transverse kinematics is not reproduced by the PWIA model. This
enhancement can likely be associated with the contribution of final state
interactions (FSI) that were not incorporated into the model. A ``bound neutron
structure function'' was extracted as a function of and
the scaling variable at extreme backward kinematics, where effects of
FSI appear to be smaller. For MeV/c, where the neutron is far
off-shell, the model overestimates the value of in the region of
between 0.25 and 0.6. A modification of the bound neutron structure
function is one of possible effects that can cause the observed deviation.Comment: 33 pages RevTeX, 9 figures, to be submitted to Phys. Rev. C. Fixed 1
Referenc
Search for the pentaquark in the reaction
A search for the \thp in the reaction was completed
using the CLAS detector at Jefferson Lab. A study of the same reaction,
published earlier, reported the observation of a narrow \thp resonance. The
present experiment, with more than 30 times the integrated luminosity of our
earlier measurement, does not show any evidence for a narrow pentaquark
resonance. The angle-integrated upper limit on \thp production in the mass
range of 1.52 to 1.56 GeV/c for the reaction is
0.3 nb (95% CL). This upper limit depends on assumptions made for the mass and
angular distribution of \thp production. Using \lamstar production as an
empirical measure of rescattering in the deuteron, the cross section upper
limit for the elementary reaction is estimated to be
a factor of 10 higher, {\it i.e.}, nb (95% CL).Comment: 5 figures, submitted to PRL, revised for referee comment
First Measurement of Beam-Recoil Observables Cx and Cz in Hyperon Photoproduction
Spin transfer from circularly polarized real photons to recoiling hyperons
has been measured for the reactions and
. The data were obtained using the CLAS
detector at Jefferson Lab for center-of-mass energies between 1.6 and 2.53
GeV, and for . For the , the
polarization transfer coefficient along the photon momentum axis, , was
found to be near unity for a wide range of energy and kaon production angles.
The associated transverse polarization coefficient, , is smaller than
by a roughly constant difference of unity. Most significantly, the {\it
total} polarization vector, including the induced polarization ,
has magnitude consistent with unity at all measured energies and production
angles when the beam is fully polarized. For the this simple
phenomenology does not hold. All existing hadrodynamic models are in poor
agreement with these results.Comment: 28 pages, 18 figures, Submitted to Physical Review
Modulation of Experimental Herpes Encephalitis-Associated Neurotoxicity through Sulforaphane Treatment
Reactive oxygen species (ROS) produced by brain-infiltrating macrophages and neutrophils, as well as resident microglia, are pivotal to pathogen clearance during viral brain infection. However, unchecked free radical generation is also responsible for damage to and cytotoxicity of critical host tissue bystander to primary infection. These unwanted effects of excessive ROS are combated by local cellular production of antioxidant enzymes, including heme oxygenase-1 (HO-1) and glutathione peroxidase 1 (Gpx1). In this study, we showed that experimental murine herpes encephalitis triggered robust ROS production, as well as an opposing upregulation of the antioxidants HO-1 and Gpx1. This antioxidant response was insufficient to prevent tissue damage, neurotoxicity, and mortality associated with viral brain infection. Previous studies corroborate our data supporting astrocytes as the major antioxidant producer in brain cell cultures exposed to HSV-1 stimulated microglia. We hypothesized that stimulating opposing antioxidative responses in astrocytes, as well as neurons, would mitigate the effects of ROS-mediated neurotoxicity both in vitro and during viral brain infection in vivo. Here, we demonstrate that the addition of sulforaphane, a potent stimulator of antioxidant responses, enhanced HO-1 and Gpx1 expression in astrocytes through the activation of nuclear factor-E2-related factor 2 (Nrf2). Additionally, sulforaphane treatment was found to be effective in reducing neurotoxicity associated with HSV-stimulated microglial ROS production. Finally, intraperitoneal injections of sulforaphane into mice during active HSV infection reduced neuroinflammation via a decrease in brain-infiltrating leukocytes, macrophage- and neutrophil-produced ROS, and MHCII-positive, activated microglia. These data support a key role for astrocyte-produced antioxidants in modulating oxidative stress and neuronal damage in response to viral infection
- …