Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Abstract. Compliance rules describe regulations, policies and quality constraints business processes must adhere to. Given the large number of rules and their frequency of change, manual compliance checking can be-come a time-consuming task. Automated compliance checking of process activities and their ordering is an alternative whenever business pro-cesses and compliance rules are described in a formal way. This paper introduces an approach for automated compliance checking. Compliance rules are translated into temporal logic formulae that serve as input to model checkers which in turn verify whether a process model satisfies the requested compliance rule. To address the problem of state-space explo-sion we employ a set of reduction rules. The approach is prototypically realized and evaluated.

Probabilistic models to evaluate effectiveness of steel bridge weld fatigue retrofitting by peening

The purpose of this study was to evaluate, with two probabilistic analytical models, the effectiveness of several alternative fatigue management strategies for steel bridge welds. The investigated strategies employed, in various combinations, magnetic particle inspection, gouging and rewelding, and postweld treatment by peening. The analytical models included a probabilistic strain-based fracture mechanics model and a Markov chain model. For comparing the results obtained with the two models, the fatigue life was divided into a small, fixed number of condition states based on crack depth, similar to those often used by bridge management systems to model deterioration due to other processes, such as corrosion and road surface wear. The probabilistic strain-based fracture mechanics model was verified first by comparison with design S-N curves and test data for untreated welds. Next, the verified model was used to determine the probability that untreated and treated welds would be in each condition state in a given year; the probabilities were then used to calibrate transition probabilities for a much simpler Markov chain fatigue model. Then both models were used to simulate a number of fatigue management strategies. From the results of these simulations, the performance of the different strategies was compared, and the accuracy of the simpler Markov chain fatigue model was evaluated. In general, peening was more effective if preceded by inspection of the weld. The Markov chain fatigue model did a reasonable job of predicting the general trends and relative effectiveness of the different investigated strategies

Negative Kaons in Dense Baryonic Matter

Kaon polarization operator in dense baryonic matter of arbitrary isotopic composition is calculated including s- and p-wave kaon-baryon interactions. The regular part of the polarization operator is extracted from the realistic kaon-nucleon interaction based on the chiral and 1/N_c expansion. Contributions of the Lambda(1116), Sigma(1195), Sigma*(1385) resonances are taken explicitly into account in the pole and regular terms with inclusion of mean-field potentials. The baryon-baryon correlations are incorporated and fluctuation contributions are estimated. Results are applied for K- in neutron star matter. Within our model a second-order phase transition to the s-wave K- condensate state occurs at rho_c \gsim 4 \rho_0 once the baryon-baryon correlations are included. We show that the second-order phase transition to the p-wave $K^-$ condensate state may occur at densities $\rho_c \sim 3\div 5 \rho_0$ in dependence on the parameter choice. We demonstrate that a first-order phase transition to a proton-enriched (approximately isospin-symmetric) nucleon matter with a p-wave K- condensate can occur at smaller densities, \rho\lsim 2 \rho_0. The transition is accompanied by the suppression of hyperon concentrations.Comment: 41 pages, 24 figures, revtex4 styl

HI in the Outskirts of Nearby Galaxies

The HI in disk galaxies frequently extends beyond the optical image, and can trace the dark matter there. I briefly highlight the history of high spatial resolution HI imaging, the contribution it made to the dark matter problem, and the current tension between several dynamical methods to break the disk-halo degeneracy. I then turn to the flaring problem, which could in principle probe the shape of the dark halo. Instead, however, a lot of attention is now devoted to understanding the role of gas accretion via galactic fountains. The current $\rm \Lambda$ cold dark matter theory has problems on galactic scales, such as the core-cusp problem, which can be addressed with HI observations of dwarf galaxies. For a similar range in rotation velocities, galaxies of type Sd have thin disks, while those of type Im are much thicker. After a few comments on modified Newtonian dynamics and on irregular galaxies, I close with statistics on the HI extent of galaxies.Comment: 38 pages, 17 figures, invited review, book chapter in "Outskirts of Galaxies", Eds. J. H. Knapen, J. C. Lee and A. Gil de Paz, Astrophysics and Space Science Library, Springer, in pres

Multimessenger astronomy with the Einstein Telescope

Gravitational waves (GWs) are expected to play a crucial role in the development of multimessenger astrophysics. The combination of GW observations with other astrophysical triggers, such as from gamma-ray and X-ray satellites, optical/radio telescopes, and neutrino detectors allows us to decipher science that would otherwise be inaccessible. In this paper, we provide a broad review from the multimessenger perspective of the science reach offered by the third generation interferometric GW detectors and by the Einstein Telescope (ET) in particular. We focus on cosmic transients, and base our estimates on the results obtained by ET's predecessors GEO, LIGO, and Virgo.Comment: 26 pages. 3 figures. Special issue of GRG on the Einstein Telescope. Minor corrections include

Metal enrichment processes

There are many processes that can transport gas from the galaxies to their environment and enrich the environment in this way with metals. These metal enrichment processes have a large influence on the evolution of both the galaxies and their environment. Various processes can contribute to the gas transfer: ram-pressure stripping, galactic winds, AGN outflows, galaxy-galaxy interactions and others. We review their observational evidence, corresponding simulations, their efficiencies, and their time scales as far as they are known to date. It seems that all processes can contribute to the enrichment. There is not a single process that always dominates the enrichment, because the efficiencies of the processes vary strongly with galaxy and environmental properties.Comment: 18 pages, 8 figures, accepted for publication in Space Science Reviews, special issue "Clusters of galaxies: beyond the thermal view", Editor J.S. Kaastra, Chapter 17; work done by an international team at the International Space Science Institute (ISSI), Bern, organised by J.S. Kaastra, A.M. Bykov, S. Schindler & J.A.M. Bleeke

Detector Description and Performance for the First Coincidence Observations between LIGO and GEO

For 17 days in August and September 2002, the LIGO and GEO interferometer gravitational wave detectors were operated in coincidence to produce their first data for scientific analysis. Although the detectors were still far from their design sensitivity levels, the data can be used to place better upper limits on the flux of gravitational waves incident on the earth than previous direct measurements. This paper describes the instruments and the data in some detail, as a companion to analysis papers based on the first data.Comment: 41 pages, 9 figures 17 Sept 03: author list amended, minor editorial change

Early carboniferous brachiopod faunas from the Baoshan block, west Yunnan, southwest China

38 brachiopod species in 27 genera and subgenera are described from the Yudong Formation in the Shidian-Baoshan area, west Yunnan, southwest China. New taxa include two new subgenera: Unispirifer (Septimispirifer) and Brachythyrina (Longathyrina), and seven new species: Eomarginifera yunnanensis, Marginatia cylindrica, Unispirifer (Unispirifer) xiangshanensis, Unispirifer (Septimispirifer) wafangjieensis, Brachythyrina (Brachythyrina) transversa, Brachythyrina (Longathyrina) baoshanensis, and Girtyella wafangjieensis. Based on the described material and constraints from associated coral and conodont faunas, the age of the brachiopod fauna from the Yudon Formation is considered late Tournaisian (Early Carboniferous), with a possibility extending into earlyViseacutean.<br /