Performance analysis using timed Petri Nets

Petri Nets have been successfully used to model and evaluate the performance of distributed systems. Several researchers have extended the basic Petri Net model to include time, and have demonstrated that restricted classes of Petri Nets can be analyzed efficiently. Unfortunately, the restrictions prohibit the techniques from being applied to many interesting systems, e.g. communication protocols. This paper proposes a version of timed Petri Nets which accurately models communication protocols, and which can be analyzed using Timed Reachability Graphs. Procedures for constructing and analyzing these graphs are presented. The analysis is shown to be applicable to a larger class of Timed Petri Nets than previously thought. The model and the analysis technique are demonstrated using a simple communication protocol

The Impact of HAART on the Respiratory Complications of HIV Infection: Longitudinal Trends in the MACS and WIHS Cohorts

Objective: To review the incidence of respiratory conditions and their effect on mortality in HIV-infected and uninfected individuals prior to and during the era of highly active antiretroviral therapy (HAART). Design: Two large observational cohorts of HIV-infected and HIV-uninfected men (Multicenter AIDS Cohort Study [MACS]) and women (Women's Interagency HIV Study [WIHS]), followed since 1984 and 1994, respectively. Methods: Adjusted odds or hazards ratios for incident respiratory infections or non-infectious respiratory diagnoses, respectively, in HIV-infected compared to HIV-uninfected individuals in both the pre-HAART (MACS only) and HAART eras; and adjusted Cox proportional hazard ratios for mortality in HIV-infected persons with lung disease during the HAART era. Results: Compared to HIV-uninfected participants, HIV-infected individuals had more incident respiratory infections both pre-HAART (MACS, odds ratio [adjusted-OR], 2.4; 95% confidence interval [CI], 2.2-2.7; p<0.001) and after HAART availability (MACS, adjusted-OR, 1.5; 95%CI 1.3-1.7; p<0.001; WIHS adjusted-OR, 2.2; 95%CI 1.8-2.7; p<0.001). Chronic obstructive pulmonary disease was more common in MACS HIV-infected vs. HIV-uninfected participants pre-HAART (hazard ratio [adjusted-HR] 2.9; 95%CI, 1.02-8.4; p = 0.046). After HAART availability, non-infectious lung diseases were not significantly more common in HIV-infected participants in either MACS or WIHS participants. HIV-infected participants in the HAART era with respiratory infections had an increased risk of death compared to those without infections (MACS adjusted-HR, 1.5; 95%CI, 1.3-1.7; p<0.001; WIHS adjusted-HR, 1.9; 95%CI, 1.5-2.4; p<0.001). Conclusion: HIV infection remained a significant risk for infectious respiratory diseases after the introduction of HAART, and infectious respiratory diseases were associated with an increased risk of mortality. © 2013 Gingo et al

Beam-target helicity asymmetry for γ→n→→π−p in the N*resonance region

We report the first beam-target double-polarization asymmetries in the γ þ nðpÞ → π− þ pðpÞ reaction spanning the nucleon resonance region from invariant mass W ¼ 1500 to 2300 MeV. Circularly polarized photons and longitudinally polarized deuterons in solid hydrogen deuteride (HD) have been used with the CEBAF Large Acceptance Spectrometer (CLAS) at Jefferson Lab. The exclusive final state has been extracted using three very different analyses that show excellent agreement, and these have been used to deduce the E polarization observable for an effective neutron target. These results have been incorporated into new partial wave analyses and have led to significant revisions for several γnN* resonance photocouplings

Induced polarization of {\Lambda}(1116) in kaon electroproduction

We have measured the induced polarization of the ${\Lambda}(1116)$ in the reaction $ep\rightarrow e'K^+{\Lambda}$, detecting the scattered $e'$ and $K^+$ in the final state along with the proton from the decay $\Lambda\rightarrow p\pi^-$.The present study used the CEBAF Large Acceptance Spectrometer (CLAS), which allowed for a large kinematic acceptance in invariant energy $W$ ($1.6\leq W \leq 2.7$ GeV) and covered the full range of the kaon production angle at an average momentum transfer $Q^2=1.90$ GeV$^2$.In this experiment a 5.50 GeV electron beam was incident upon an unpolarized liquid-hydrogen target. We have mapped out the $W$ and kaon production angle dependencies of the induced polarization and found striking differences from photoproduction data over most of the kinematic range studied. However, we also found that the induced polarization is essentially $Q^2$ independent in our kinematic domain, suggesting that somewhere below the $Q^2$ covered here there must be a strong $Q^2$ dependence. Along with previously published photo- and electroproduction cross sections and polarization observables, these data are needed for the development of models, such as effective field theories, and as input to coupled-channel analyses that can provide evidence of previously unobserved $s$-channel resonances.Comment: 13 figure

Target and beam-target spin asymmetries in exclusive pion electroproduction for Q2>1GeV2 . I. ep→eπ+n

Beam-target double-spin asymmetries and target single-spin asymmetries were measured for the exclusive π + electroproduction reaction γ ∗ p → n π + . The results were obtained from scattering of 6-GeV longitudinally polarized electrons off longitudinally polarized protons using the CEBAF Large Acceptance Spectrometer at Jefferson Laboratory. The kinematic range covered is 1.1 &lt; W &lt; 3 GeV and 1 &lt; Q 2 &lt; 6 GeV 2 . Results were obtained for about 6000 bins in W ,   Q 2 ,   cos ( θ ∗ ) , and ϕ ∗ . Except at forward angles, very large target-spin asymmetries are observed over the entire W region. Reasonable agreement is found with phenomenological fits to previous data for W &lt; 1.6 GeV, but very large differences are seen at higher values of W . A generalized parton distributions (GPD)-based model is in poor agreement with the data. When combined with cross-sectional measurements, the present results provide powerful constraints on nucleon resonance amplitudes at moderate and large values of Q 2 , for resonances with masses as high as 2.4 GeV

Transverse Polarization of Σ+(1189)\Sigma^{+}(1189) in Photoproduction on a Hydrogen Target in CLAS

Experimental results on the $\Sigma^+(1189)$ hyperon transverse polarization in photoproduction on a hydrogen target using the CLAS detector at Jefferson laboratory are presented. The $\Sigma^+(1189)$ was reconstructed in the exclusive reaction $\gamma+p\rightarrow K^{0}_{S} + \Sigma^+(1189)$ via the $\Sigma^{+} \to p \pi^{0}$ decay mode. The $K^{0}_S$ was reconstructed in the invariant mass of two oppositely charged pions with the $\pi^0$ identified in the missing mass of the detected $p\pi^+\pi^-$ final state. Experimental data were collected in the photon energy range $E_{\gamma}$ = 1.0-3.5 GeV ($\sqrt{s}$ range 1.66-2.73 GeV). We observe a large negative polarization of up to 95%. As the mechanism of transverse polarization of hyperons produced in unpolarized photoproduction experiments is still not well understood, these results will help to distinguish between different theoretical models on hyperon production and provide valuable information for the searches of missing baryon resonances.Comment: pages 1

Cross sections for the γp→K*+Λ and γp→K*+Σ0 reactions measured at CLAS

The first high-statistics cross sections for the reactions γp→K*+Λ and γp→K*+Σ0 were measured using the CLAS detector at photon energies between threshold and 3.9 GeV at the Thomas Jefferson National Accelerator Facility. Differential cross sections are presented over the full range of the center-of-mass angles, and then fitted to Legendre polynomials to extract the total cross section. Results for the K*+Λ final state are compared with two different calculations in an isobar and a Regge model, respectively. Theoretical calculations significantly underestimate the K*+Λ total cross sections between 2.1 and 2.6 GeV, but are in better agreement with present data at higher photon energies

Measurement of Exclusive π0\pi^0 Electroproduction Structure Functions and their Relationship to Transversity GPDs

Exclusive $\pi^0$ electroproduction at a beam energy of 5.75 GeV has been measured with the Jefferson Lab CLAS spectrometer. Differential cross sections were measured at more than 1800 kinematic values in $Q^2$, $x_B$, $t$, and $\phi_\pi$, in the $Q^2$ range from 1.0 to 4.6 GeV$^2$,\ $-t$ up to 2 GeV$^2$, and $x_B$ from 0.1 to 0.58. Structure functions $\sigma_T +\epsilon \sigma_L, \sigma_{TT}$ and $\sigma_{LT}$ were extracted as functions of $t$ for each of 17 combinations of $Q^2$ and $x_B$. The data were compared directly with two handbag-based calculations including both longitudinal and transversity GPDs. Inclusion of only longitudinal GPDs very strongly underestimates $\sigma_T +\epsilon \sigma_L$ and fails to account for $\sigma_{TT}$ and $\sigma_{LT}$, while inclusion of transversity GPDs brings the calculations into substantially better agreement with the data. There is very strong sensitivity to the relative contributions of nucleon helicity flip and helicity non-flip processes. The results confirm that exclusive $\pi^0$ electroproduction offers direct experimental access to the transversity GPDs.Comment: 6 pages, 2 figure