166 research outputs found
Compositional Performance Modelling with the TIPPtool
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations
A tutorial on interactive Markov chains
Interactive Markov chains (IMCs) constitute a powerful sto- chastic model that extends both continuous-time Markov chains and labelled transition systems. IMCs enable a wide range of modelling and analysis techniques and serve as a semantic model for many industrial and scientific formalisms, such as AADL, GSPNs and many more. Applications cover various engineering contexts ranging from industrial system-on-chip manufacturing to satellite designs. We present a survey of the state-of-the-art in modelling and analysis of IMCs.\ud
We cover a set of techniques that can be utilised for compositional modelling, state space generation and reduction, and model checking. The significance of the presented material and corresponding tools is highlighted through multiple case studies
A First Look at Rotation in Inactive Late-Type M Dwarfs
We have examined the relationship between rotation and activity in 14
late-type (M6-M7) M dwarfs, using high resolution spectra taken at the W.M.
Keck Observatory and flux-calibrated spectra from the Sloan Digital Sky Survey.
Most were selected to be inactive at a spectral type where strong H-alpha
emission is quite common. We used the cross-correlation technique to quantify
the rotational broadening; six of the stars in our sample have vsini > 3.5
km/s. Our most significant and perplexing result is that three of these stars
do not exhibit H-alpha emission, despite rotating at velocities where previous
work has observed strong levels of magnetic field and stellar activity. Our
results suggest that rotation and activity in late-type M dwarfs may not always
be linked, and open several additional possibilities including a
rotationally-dependent activity threshold, or a possible dependence on stellar
parameters of the Rossby number at which magnetic/activity "saturation" takes
place in fully convective stars.Comment: 8 pages, 4 figures, accepted for publication in Ap
On XML integrity constraints in the presence of DTDs
The paper investigates XML document specifications with DTDs and integrity constraints, such as keys and foreign keys. We study the consistency problem of checking whether a given specification is meaningful: that is, whether there exists an XML document that both conforms to the DTD and satisfies the constraints. We show that DTDs interact with constraints in a highly intricate way and as a result, the consistency problem in general is undecidable. When it comes to unary keys and foreign keys, the consistency problem is shown to be NP-complete. This is done by coding DTDs and integrity constraints with linear constraints on the integers. We consider the variations of the problem (by both restricting and enlarging the class of constraints), and identify a number of tractable cases, as well as a number of additional NP-complete ones. By incorporating negations of constraints, we establish complexity bounds on the implication problem, which is shown to be coNP-complete for unary keys and foreign keys.
Strategic directions in constraint programming
An abstract is not available
- âŠ