Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

No Humanitarian Intervention in Asian Genocides: How Possible and Legitimate?

This paper addresses an important empirical puzzle: why has the United States, without exception, chosen not to intervene in the six humanitarian catastrophes in post-war Asia, namely in Indonesia, East Pakistan/Bangladesh, Cambodia, East Timor, Sri Lanka and Myanmar? We use an eclectic approach that blends arguments about the international normative structure and geostrategic interests to examine what has made the absence of humanitarian intervention in Asia by the US possible and legitimate. Specifically, we focus on the paradox between calls for humanitarian intervention and the historically and geographically contingent social construction of the norms of humanity, national sovereignty and UN-backed multilateralism in conjunction with US and Chinese concerns over their regional geostrategic interests. The normative narratives about race, ‘communists’, ‘terrorists’, international order and inclusive multilateral process, and geostrategic interests of the US and China combine to make non-intervention possible and legitimate

Measurement of the Bs0→J/ψηB_{s}^{0} \rightarrow J/\psi \eta lifetime

Using a data set corresponding to an integrated luminosity of $3 fb^{-1}$, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV, the effective lifetime in the $B^0_s \rightarrow J/\psi \eta$ decay mode, $\tau_{\textrm{eff}}$, is measured to be $\tau_{\textrm{eff}} = 1.479 \pm 0.034~\textrm{(stat)} \pm 0.011 ~\textrm{(syst)}$ ps. Assuming $CP$ conservation, $\tau_{\textrm{eff}}$ corresponds to the lifetime of the light $B_s^0$ mass eigenstate. This is the first measurement of the effective lifetime in this decay mode.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-017.htm

Measurement of the mass and lifetime of the Ωb−\Omega_b^- baryon

A proton-proton collision data sample, corresponding to an integrated luminosity of 3 fb$^{-1}$ collected by LHCb at $\sqrt{s}=7$ and 8 TeV, is used to reconstruct $63\pm9$ $\Omega_b^-\to\Omega_c^0\pi^-$, $\Omega_c^0\to pK^-K^-\pi^+$ decays. Using the $\Xi_b^-\to\Xi_c^0\pi^-$, $\Xi_c^0\to pK^-K^-\pi^+$ decay mode for calibration, the lifetime ratio and absolute lifetime of the $\Omega_b^-$ baryon are measured to be \begin{align*} \frac{\tau_{\Omega_b^-}}{\tau_{\Xi_b^-}} &= 1.11\pm0.16\pm0.03, \\ \tau_{\Omega_b^-} &= 1.78\pm0.26\pm0.05\pm0.06~{\rm ps}, \end{align*} where the uncertainties are statistical, systematic and from the calibration mode (for $\tau_{\Omega_b^-}$ only). A measurement is also made of the mass difference, $m_{\Omega_b^-}-m_{\Xi_b^-}$, and the corresponding $\Omega_b^-$ mass, which yields \begin{align*} m_{\Omega_b^-}-m_{\Xi_b^-} &= 247.4\pm3.2\pm0.5~{\rm MeV}/c^2, \\ m_{\Omega_b^-} &= 6045.1\pm3.2\pm 0.5\pm0.6~{\rm MeV}/c^2. \end{align*} These results are consistent with previous measurements.Comment: 11 pages, 5 figures, All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-008.htm

Bose-Einstein correlations of same-sign charged pions in the forward region in pp collisions at √s=7 TeV

Bose-Einstein correlations of same-sign charged pions, produced in protonproton collisions at a 7 TeV centre-of-mass energy, are studied using a data sample collected by the LHCb experiment. The signature for Bose-Einstein correlations is observed in the form of an enhancement of pairs of like-sign charged pions with small four-momentum difference squared. The charged-particle multiplicity dependence of the Bose-Einstein correlation parameters describing the correlation strength and the size of the emitting source is investigated, determining both the correlation radius and the chaoticity parameter. The measured correlation radius is found to increase as a function of increasing charged-particle multiplicity, while the chaoticity parameter is seen to decreas

Constraints on the unitarity triangle angle γ\gamma from Dalitz plot analysis of B0→DK+π−B^0 \to D K^+ \pi^- decays

The first study is presented of CP violation with an amplitude analysis of the Dalitz plot of $B^0 \to D K^+ \pi^-$ decays, with $D \to K^+ \pi^-$, $K^+ K^-$ and $\pi^+ \pi^-$. The analysis is based on a data sample corresponding to $3.0\,{\rm fb}^{-1}$ of $pp$ collisions collected with the LHCb detector. No significant CP violation effect is seen, and constraints are placed on the angle $\gamma$ of the unitarity triangle formed from elements of the Cabibbo-Kobayashi-Maskawa quark mixing matrix. Hadronic parameters associated with the $B^0 \to D K^*(892)^0$ decay are determined for the first time. These measurements can be used to improve the sensitivity to $\gamma$ of existing and future studies of the $B^0 \to D K^*(892)^0$ decay.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-059.html; updated to correct figure 9 (numerical results unchanged

Study of WW boson production in association with beauty and charm

The associated production of a $W$ boson with a jet originating from either a light parton or heavy-flavor quark is studied in the forward region using proton-proton collisions. The analysis uses data corresponding to integrated luminosities of 1.0 and $2.0\,{\rm fb}^{-1}$ collected with the LHCb detector at center-of-mass energies of 7 and 8 TeV, respectively. The $W$ bosons are reconstructed using the $W\to\mu\nu$ decay and muons with a transverse momentum, $p_{\rm T}$, larger than 20 GeV in the pseudorapidity range $2.0 20$ GeV and $2.2 < \eta < 4.2$. The sum of the muon and jet momenta must satisfy $p_{\rm T} > 20$ GeV. The fraction of $W+$jet events that originate from beauty and charm quarks is measured, along with the charge asymmetries of the $W\!+\!b$ and $W\!+\!c$ production cross-sections. The ratio of the $W+$jet to $Z+$jet production cross-sections is also measured using the $Z\to\mu\mu$ decay. All results are in agreement with Standard Model predictions

A new algorithm for identifying the flavour of Bs0B_s^0 mesons at LHCb

A new algorithm for the determination of the initial flavour of $B_s^0$ mesons is presented. The algorithm is based on two neural networks and exploits the $b$ hadron production mechanism at a hadron collider. The first network is trained to select charged kaons produced in association with the $B_s^0$ meson. The second network combines the kaon charges to assign the $B_s^0$ flavour and estimates the probability of a wrong assignment. The algorithm is calibrated using data corresponding to an integrated luminosity of 3 fb$^{-1}$ collected by the LHCb experiment in proton-proton collisions at 7 and 8 TeV centre-of-mass energies. The calibration is performed in two ways: by resolving the $B_s^0$-$\bar{B}_s^0$ flavour oscillations in $B_s^0 \to D_s^- \pi^+$ decays, and by analysing flavour-specific $B_{s 2}^{*}(5840)^0 \to B^+ K^-$ decays. The tagging power measured in $B_s^0 \to D_s^- \pi^+$ decays is found to be $(1.80 \pm 0.19({\rm stat}) \pm 0.18({\rm syst}))$\%, which is an improvement of about 50\% compared to a similar algorithm previously used in the LHCb experiment.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-056.htm

Observation of J/ψpJ/\psi p resonances consistent with pentaquark states in Λb0→J/ψK−p{\Lambda_b^0\to J/\psi K^-p} decays

Observations of exotic structures in the $J/\psi p$ channel, that we refer to as pentaquark-charmonium states, in $\Lambda_b^0\to J/\psi K^- p$ decays are presented. The data sample corresponds to an integrated luminosity of 3/fb acquired with the LHCb detector from 7 and 8 TeV pp collisions. An amplitude analysis is performed on the three-body final-state that reproduces the two-body mass and angular distributions. To obtain a satisfactory fit of the structures seen in the $J/\psi p$ mass spectrum, it is necessary to include two Breit-Wigner amplitudes that each describe a resonant state. The significance of each of these resonances is more than 9 standard deviations. One has a mass of $4380\pm 8\pm 29$ MeV and a width of $205\pm 18\pm 86$ MeV, while the second is narrower, with a mass of $4449.8\pm 1.7\pm 2.5$ MeV and a width of $39\pm 5\pm 19$ MeV. The preferred $J^P$ assignments are of opposite parity, with one state having spin 3/2 and the other 5/2.Comment: 48 pages, 18 figures including the supplementary material, v2 after referee's comments, now 19 figure

Observation of the Bs0→J/ψϕϕB_s^0 \rightarrow J/\psi \phi \phi decay

The $B_s^0 \rightarrow J/\psi \phi \phi$ decay is observed in $pp$ collision data corresponding to an integrated luminosity of 3 fb$^{-1}$ recorded by the LHCb detector at centre-of-mass energies of 7 TeV and 8 TeV. This is the first observation of this decay channel, with a statistical significance of 15 standard deviations. The mass of the $B_s^0$ meson is measured to be $5367.08\,\pm \,0.38\,\pm\, 0.15$ MeV/c$^2$. The branching fraction ratio $\mathcal{B}(B_s^0 \rightarrow J/\psi \phi \phi)/\mathcal{B}(B_s^0 \rightarrow J/\psi \phi)$ is measured to be 0.0115\,\pm\, 0.0012\, ^{+0.0005}_{-0.0009}. In both cases, the first uncertainty is statistical and the second is systematic. No evidence for non-resonant $B_s^0 \rightarrow J/\psi \phi K^+ K^-$ or $B_s^0 \rightarrow J/\psi K^+ K^- K^+ K^-$ decays is found.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-033.htm