Undecidability of accordance for open systems with unbounded message queues

We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without aecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending messages, we show that it is not decidable without this assumption. Keywords: Petri nets, open nets, accordance preorder, theory of computatio

Undecidability of accordance for open systems with unbounded message queues

We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without aecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending messages, we show that it is not decidable without this assumption. Keywords: Petri nets, open nets, accordance preorder, theory of computatio

SN 2005 gj: Evidence for LBV supernovae progenitors?

There has been mounting observational evidence in favour of Luminous Blue Variables (LBVs) being the direct progenitors of supernovae. Here we present possibly the most convincing evidence yet for such progenitors. We find multiple absorption component P-Cygni profiles of hydrogen and helium in the spectrum of SN 2005gj, which we interpret as being an imprint of the progenitors mass-loss history. Such profiles have previously only been detected in Luminous Blue Variables. This striking resemblance of the profiles, along with wind velocities and periods consistent with LBV's leads us to connect SN 2005gj to an LBV progenitor.Comment: Accepted as a letter to A&A, 4 pages,3 figure

A Keck High Resolution Spectroscopic Study of the Orion Nebula Proplyds

We present the results of spectroscopy of four bright proplyds in the Orion Nebula obtained at a velocity resolution of 6 km/s. After careful isolation of the proplyd spectra from the confusing nebular radiation, the emission line profiles are compared with those predicted by realistic dynamic/photoionization models of the objects. The spectral line widths show a clear correlation with ionization potential, which is consistent with the free expansion of a transonic, ionization-stratified, photoevaporating flow. Fitting models of such a flow simultaneously to our spectra and HST emission line imaging provides direct measurements of the proplyd size, ionized density and outflow velocity. These measurements confirm that the ionization front in the proplyds is approximately D-critical and provide the most accurate and robust estimate to date of the proplyd mass loss rate. Values of 0.7E-6 to 1.5E-6 Msun/year are found for our spectroscopic sample, although extrapolating our results to a larger sample of proplyds implies that 0.4E-6 Msun/year is more typical of the proplyds as a whole. In view of the reported limits on the masses of the circumstellar disks within the proplyds, the length of time that they can have been exposed to ionizing radiation should not greatly exceed 10,000 years - a factor of 30 less than the mean age of the proplyd stars. We review the various mechanisms that have been proposed to explain this situation, and conclude that none can plausibly work unless the disk masses are revised upwards by a substantial amount.Comment: 23 pages, 8 figures, uses emulateapj.sty, accepted for publication in The Astronomical Journal (scheduled November 1999

Calculation of electrostatic fields using quasi-Green's functions: application to the hybrid Penning trap.

Penning traps offer unique possibilities for storing, manipulating and investigating charged particles with high sensitivity and accuracy. The widespread applications of Penning traps in physics and chemistry comprise e.g. mass spectrometry, laser spectroscopy, measurements of electronic and nuclear magnetic moments, chemical sample analysis and reaction studies. We have developed a method, based on the Green's function approach, which allows for the analytical calculation of the electrostatic properties of a Penning trap with arbitrary electrodes. The ansatz features an extension of Dirichlet's problem to nontrivial geometries and leads to an analytical solution of the Laplace equation. As an example we discuss the toroidal hybrid Penning trap designed for our planned measurements of the magnetic moment of the (anti)proton. As in the case of cylindrical Penning traps, it is possible to optimize the properties of the electric trapping fields, which is mandatory for high-precision experiments with single charged particles. Of particular interest are the anharmonicity compensation, orthogonality and optimum adjustment of frequency shifts by the continuous SternGerlach effect in a quantum jump spectrometer. The mathematical formalism developed goes beyond the mere design of novel Penning traps and has potential applications in other fields of physics and engineering

Fecal Volatile Organic Ccompound Profiles from White-Tailed Deer (\u3ci\u3eOdocoileus virginianus\u3c/i\u3e) as Indicators of \u3ci\u3eMycobacterium bovis\u3c/i\u3e Exposure or \u3ci\u3eMycobacterium bovis\u3c/i\u3e Bacille Calmette-Guerin (BCG) Vaccination

White-tailed deer (Odocoileus virginianus) serve as a reservoir for bovine tuberculosis, caused by Mycobacterium bovis, and can be a source of infection in cattle. Vaccination with M. bovis Bacille Calmette Guerin (BCG) is being considered for management of bovine tuberculosis in deer. Presently, no method exists to non-invasively monitor the presence of bovine tuberculosis in deer. In this study, volatile organic compound profiles of BCG-vaccinated and non-vaccinated deer, before and after experimental challenge with M. bovis strain 95–1315, were generated using solid phase microextraction fiber head-space sampling over suspended fecal pellets with analysis by gas chromatography/mass spectrometry. Chromatograms were processed using XCMS Online to characterize ion variation among treatment groups. The principal component scores resulting from significant (α = 0.05) ion responses were used to build linear discriminant analysis models. The sensitivity and specificity of these models were used to evaluate the feasibility of using this analytical approach to distinguish within group comparisons between pre- and post-M. bovis challenge: non-vaccinated male or female deer, BCG-vaccinated male deer, and the mixed gender non-vaccinated deer data. Seventeen compounds were identified in this analysis. The peak areas for these compounds were used to build a linear discriminant classification model based on principal component analysis scores to evaluate the feasibility of discriminating between fecal samples from M. bovis challenged deer, irrespective of vaccination status. The model best representing the data had a sensitivity of 78.6% and a specificity of 91.4%. The fecal head-space sampling approach presented in this pilot study provides a non-invasive method to discriminate between M. bovis challenged deer and BCG-vaccinated deer. Additionally, the technique may prove invaluable for BCG efficacy studies with free-ranging deer as well as for use as a non-invasive monitoring system for the detection of tuberculosis in captive deer and other livestock