An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques

Availability of a common, shared benchmark to provide repeatable, quantifiable, and comparable results is an added value for any scientific community. International consortia provide benchmarks in a wide range of domains, being normally used by industry, vendors, and researchers for evaluating their software products. In this regard, a benchmark of untimed Petri net models was developed to be used in a yearly software competition driven by the Petri net community. However, to the best of our knowledge there is not a similar benchmark to evaluate solution techniques for Petri nets with timing extensions. In this paper, we propose an evaluation framework for the comparative analysis of generalized stochastic Petri nets (GSPNs) simulation techniques. Although we focus on simulation techniques, our framework provides a baseline for a comparative analysis of different GSPN solvers (e.g., simulators, numerical solvers, or other techniques). The evaluation framework encompasses a set of 50 GSPN models including test cases and case studies from the literature, and a set of evaluation guidelines for the comparative analysis. In order to show the applicability of the proposed framework, we carry out a comparative analysis of steady-state simulators implemented in three academic software tools, namely, GreatSPN, PeabraiN, and TimeNET. The results allow us to validate the trustfulness of these academic software tools, as well as to point out potential problems and algorithmic optimization opportunities

Efficient synthesis of phenylene-ethynylene rods and their use as rigid spacers in divalent inhibitors

The synthesis of phenylene-ethynylene rods and their use as rigid spacers is described. Alternation of a Sonogashira reaction and silyl group cleavage was used to obtain rigid spacers with even and odd numbers of phenylene units. Preliminary applications of these rods in divalent systems are shown. Inhibition studies with Pseudomonas Aeruginosa lectin LecA showed that the rigid spacer proved greatly beneficial for the inhibitory potenc

Certain subclasses of multivalent functions defined by new multiplier transformations

In the present paper the new multiplier transformations \mathrm{{\mathcal{J}% }}_{p}^{\delta }(\lambda ,\mu ,l) (\delta ,l\geq 0,\;\lambda \geq \mu \geq 0;\;p\in \mathrm{% }%\mathbb{N} )} of multivalent functions is defined. Making use of the operator $\mathrm{{\mathcal{J}}}_{p}^{\delta }(\lambda ,\mu ,l),$ two new subclasses $\mathcal{P}_{\lambda ,\mu ,l}^{\delta }(A,B;\sigma ,p)$ and $\widetilde{\mathcal{P}}_{\lambda ,\mu ,l}^{\delta }(A,B;\sigma ,p)$\textbf{\ }of multivalent analytic functions are introduced and investigated in the open unit disk. Some interesting relations and characteristics such as inclusion relationships, neighborhoods, partial sums, some applications of fractional calculus and quasi-convolution properties of functions belonging to each of these subclasses $\mathcal{P}_{\lambda ,\mu ,l}^{\delta }(A,B;\sigma ,p)$ and $\widetilde{\mathcal{P}}_{\lambda ,\mu ,l}^{\delta }(A,B;\sigma ,p)$ are investigated. Relevant connections of the definitions and results presented in this paper with those obtained in several earlier works on the subject are also pointed out

Tidal Dwarf Galaxies at Intermediate Redshifts

We present the first attempt at measuring the production rate of tidal dwarf galaxies (TDGs) and estimating their contribution to the overall dwarf population. Using HST/ACS deep imaging data from GOODS and GEMS surveys in conjunction with photometric redshifts from COMBO-17 survey, we performed a morphological analysis for a sample of merging/interacting galaxies in the Extended Chandra Deep Field South and identified tidal dwarf candidates in the rest-frame optical bands. We estimated a production rate about 1.4 {\times} 10^{-5} per Gyr per comoving volume for long-lived TDGs with stellar mass 3 {\times} 10^{8-9} solar mass at 0.5<z<1.1. Together with galaxy merger rates and TDG survival rate from the literature, our results suggest that only a marginal fraction (less than 10%) of dwarf galaxies in the local universe could be tidally-originated. TDGs in our sample are on average bluer than their host galaxies in the optical. Stellar population modelling of optical to near-infrared spectral energy distributions (SEDs) for two TDGs favors a burst component with age 400/200 Myr and stellar mass 40%/26% of the total, indicating that a young stellar population newly formed in TDGs. This is consistent with the episodic star formation histories found for nearby TDGs.Comment: 9 pages, 5 figures, Accepted for publication in Astrophysics & Space Scienc

A radio ridge connecting two galaxy clusters in a filament of the cosmic web

Galaxy clusters are the most massive gravitationally bound structures in the Universe. They grow by accreting smaller structures in a merging process that produces shocks and turbulence in the intracluster gas. We observed a ridge of radio emission connecting the merging galaxy clusters Abell 0399 and Abell 0401 with the Low-Frequency Array (LOFAR) telescope network at 140 megahertz. This emission requires a population of relativistic electrons and a magnetic field located in a filament between the two galaxy clusters. We performed simulations to show that a volume-filling distribution of weak shocks may reaccelerate a preexisting population of relativistic particles, producing emission at radio wavelengths that illuminates the magnetic ridge

Energy Flow in the Hadronic Final State of Diffractive and Non-Diffractive Deep-Inelastic Scattering at HERA

An investigation of the hadronic final state in diffractive and non--diffractive deep--inelastic electron--proton scattering at HERA is presented, where diffractive data are selected experimentally by demanding a large gap in pseudo --rapidity around the proton remnant direction. The transverse energy flow in the hadronic final state is evaluated using a set of estimators which quantify topological properties. Using available Monte Carlo QCD calculations, it is demonstrated that the final state in diffractive DIS exhibits the features expected if the interaction is interpreted as the scattering of an electron off a current quark with associated effects of perturbative QCD. A model in which deep--inelastic diffraction is taken to be the exchange of a pomeron with partonic structure is found to reproduce the measurements well. Models for deep--inelastic $ep$ scattering, in which a sizeable diffractive contribution is present because of non--perturbative effects in the production of the hadronic final state, reproduce the general tendencies of the data but in all give a worse description.Comment: 22 pages, latex, 6 Figures appended as uuencoded fil

A Search for Selectrons and Squarks at HERA

Data from electron-proton collisions at a center-of-mass energy of 300 GeV are used for a search for selectrons and squarks within the framework of the minimal supersymmetric model. The decays of selectrons and squarks into the lightest supersymmetric particle lead to final states with an electron and hadrons accompanied by large missing energy and transverse momentum. No signal is found and new bounds on the existence of these particles are derived. At 95% confidence level the excluded region extends to 65 GeV for selectron and squark masses, and to 40 GeV for the mass of the lightest supersymmetric particle.Comment: 13 pages, latex, 6 Figure

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt{s} = 1.96 TeV using Kinematic Characteristics of Lepton + Jets Events

We present a measurement of the top quark pair ttbar production cross section in ppbar collisions at a center-of-mass energy of 1.96 TeV using 230 pb**{-1} of data collected by the DO detector at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), large missing transverse energy, and at least four jets, and extract the ttbar content of the sample based on the kinematic characteristics of the events. For a top quark mass of 175 GeV, we measure sigma(ttbar) = 6.7 {+1.4-1.3} (stat) {+1.6- 1.1} (syst) +/-0.4 (lumi) pb, in good agreement with the standard model prediction.Comment: submitted to Phys.Rev.Let

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt(s)=1.96 TeV using Lepton + Jets Events with Lifetime b-tagging

We present a measurement of the top quark pair ($t\bar{t}$) production cross section ($\sigma_{t\bar{t}}$) in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV using 230 pb$^{-1}$ of data collected by the D0 experiment at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), missing transverse energy, and jets in the final state. We employ lifetime-based b-jet identification techniques to further enhance the $t\bar{t}$ purity of the selected sample. For a top quark mass of 175 GeV, we measure $\sigma_{t\bar{t}}=8.6^{+1.6}_{-1.5}(stat.+syst.)\pm 0.6(lumi.)$ pb, in agreement with the standard model expectation.Comment: 7 pages, 2 figures, 3 tables Submitted to Phys.Rev.Let