Linguistic Analysis of Requirements of a Space Project and Their Conformity with the Recommendations Proposed by a Controlled Natural Language

International audienceWe propose a linguistic analysis of requirements written in French for a project carried out by the French National Space Agency (CNES). The aim is to determine to what extent they conform to some of the rules laid down in INCOSE, a recent guide for writing requirements, with a focus on the notion of sentence " comprehensibility ". Although CNES engineers are not obliged to follow any Controlled Natural Language, we believe that language regularities are likely to emerge from this task, mainly due to the writers' experience. As a first step, we use natural language processing tools to identify sentences that do not comply with INCOSE rules. We further review these sentences to understand why the recommendations cannot (or should not) always be applied when specifying large-scale projects, and how they could be improved. This paper presents a corpus linguistics approach applied to the melioration of requirements writing. We propose a linguistic diagnosis of the way requirements are written in a space project by comparing these requirements with a guide for writing specifications (a controlled natural language). Initial results obtained from this analysis suggest that guides for writing specifications are not fully adapted to the real writing process: they are sometimes too constraining, and sometimes insufficiently so. In the medium term, the aim is to propose another guide based on the spontaneous regularities observed in requirements. The paper comprises two parts. In the first one (see section 2), we present the context of our study and the tool-assisted method used for making the diagnosis. In the second one (see section 3), we describe and discuss our preliminary results

Severe feed restriction increases permeability of mammary gland cell tight junctions and reduces ethanol stability of milk.

201

The Dipion Mass Spectrum In e+e- Annihilation and tau Decay: A Dynamical (rho0, omega, phi) Mixing Approach

We readdress the problem of finding a simultaneous description of the pion form factor data in e+e- annihilations and in tau decays. For this purpose, we work in the framework of the Hidden Local Symmetry (HLS) Lagrangian and modify the vector meson mass term by including the pion and kaon loop contributions. This leads us to define the physical rho, omega and phi fields as linear combinations of their ideal partners, with coefficients being meromorphic functions of s, the square of the 4--momentum flowing into the vector meson lines. This allows us to define a dynamical, i.e. s-dependent, vector meson mixing scheme. The model is overconstrained by extending the framework in order to include the description of all meson radiative (V P gamma and P gamma gamma couplings) and leptonic (Ve+e- couplings) decays and also the isospin breaking (omega/ phi --> pi+ pi-) decay modes. The model provides a simultaneous, consistent and good description of the e+e- and tau dipion spectra. The expression for pion form factor in the latter case is derived from those in the former case by switching off the isospin breaking effects specific to e+e- and switching on those for tau decays. Besides, the model also provides a good account of all decay modes of the form V P gamma, Pgamma gamma as well as the isospin breaking decay modes. It leads us to propose new reference values for the rho^0 --> e+ e- and omega --> pi+ pi- partial widths which are part of our description of the pion form factor. Other topics (phi --> K anti K, the rho meson mass and width parameters) are briefly discussed. Therefore, we confirm the 3.3 sigma discrepancy between the theoretical estimate of a_mu based on e+e- and its direct BNL measurement.Comment: 71 pages, 8 figures. Accepted by EPJ C. Version 3: correct minor typos, minor changes spread out into the text. Extension of Sections 12.2 and 12.3.5 and introduction of the new Appendix

Demonstration of the temporal matter-wave Talbot effect for trapped matter waves

We demonstrate the temporal Talbot effect for trapped matter waves using ultracold atoms in an optical lattice. We investigate the phase evolution of an array of essentially non-interacting matter waves and observe matter-wave collapse and revival in the form of a Talbot interference pattern. By using long expansion times, we image momentum space with sub-recoil resolution, allowing us to observe fractional Talbot fringes up to 10th order.Comment: 17 pages, 7 figure

Kaon Production and Kaon to Pion Ratio in Au+Au Collisions at \snn=130 GeV

Mid-rapidity transverse mass spectra and multiplicity densities of charged and neutral kaons are reported for Au+Au collisions at \snn=130 GeV at RHIC. The spectra are exponential in transverse mass, with an inverse slope of about 280 MeV in central collisions. The multiplicity densities for these particles scale with the negative hadron pseudo-rapidity density. The charged kaon to pion ratios are $K^+/\pi^- = 0.161 \pm 0.002 {\rm (stat)} \pm 0.024 {\rm (syst)}$ and $K^-/\pi^- = 0.146 \pm 0.002 {\rm (stat)} \pm 0.022 {\rm (syst)}$ for the most central collisions. The $K^+/\pi^-$ ratio is lower than the same ratio observed at the SPS while the $K^-/\pi^-$ is higher than the SPS result. Both ratios are enhanced by about 50% relative to p+p and $\bar{\rm p}$+p collision data at similar energies.Comment: 6 pages, 3 figures, 1 tabl

Phi meson production in Au+Au and p+p collisions at sqrt (s)=200 GeV

We report the STAR measurement of Phi meson production in Au+Au and p+p collisions at sqrt (s)=200 GeV. Using the event mixing technique, the Phi spectra and yields are obtained at mid-rapidity for five centrality bins in Au+Au collisions and for non-singly-diffractive p+p collisions. It is found that the Phi transverse momentum distributions from Au+Au collisions are better fitted with a single-exponential while the p+p spectrum is better described by a double-exponential distribution. The measured nuclear modification factors indicate that Phi production in central Au+Au collisions is suppressed relative to peripheral collisions when scaled by the number of binary collisions. The systematics of versus centrality and the constant Phi/K- ratio versus beam species, centrality, and collision energy rule out kaon coalescence as the dominant mechanism for Phi production.Comment: 6 pages, 3 figures, submitted to Phys. Rev. Let

Azimuthal anisotropy at RHIC: the first and fourth harmonics

We report the first observations of the first harmonic (directed flow, v_1), and the fourth harmonic (v_4), in the azimuthal distribution of particles with respect to the reaction plane in Au+Au collisions at the Relativistic Heavy Ion Collider (RHIC). Both measurements were done taking advantage of the large elliptic flow (v_2) generated at RHIC. From the correlation of v_2 with v_1 it is determined that v_2 is positive, or {\it in-plane}. The integrated v_4 is about a factor of 10 smaller than v_2. For the sixth (v_6) and eighth (v_8) harmonics upper limits on the magnitudes are reported.Comment: 6 pages with 3 figures, as accepted for Phys. Rev. Letters The data tables are at http://www.star.bnl.gov/central/publications/pubDetail.php?id=3

Heavy quarkonium: progress, puzzles, and opportunities

A golden age for heavy quarkonium physics dawned a decade ago, initiated by the confluence of exciting advances in quantum chromodynamics (QCD) and an explosion of related experimental activity. The early years of this period were chronicled in the Quarkonium Working Group (QWG) CERN Yellow Report (YR) in 2004, which presented a comprehensive review of the status of the field at that time and provided specific recommendations for further progress. However, the broad spectrum of subsequent breakthroughs, surprises, and continuing puzzles could only be partially anticipated. Since the release of the YR, the BESII program concluded only to give birth to BESIII; the $B$-factories and CLEO-c flourished; quarkonium production and polarization measurements at HERA and the Tevatron matured; and heavy-ion collisions at RHIC have opened a window on the deconfinement regime. All these experiments leave legacies of quality, precision, and unsolved mysteries for quarkonium physics, and therefore beg for continuing investigations. The plethora of newly-found quarkonium-like states unleashed a flood of theoretical investigations into new forms of matter such as quark-gluon hybrids, mesonic molecules, and tetraquarks. Measurements of the spectroscopy, decays, production, and in-medium behavior of c\bar{c}, b\bar{b}, and b\bar{c} bound states have been shown to validate some theoretical approaches to QCD and highlight lack of quantitative success for others. The intriguing details of quarkonium suppression in heavy-ion collisions that have emerged from RHIC have elevated the importance of separating hot- and cold-nuclear-matter effects in quark-gluon plasma studies. This review systematically addresses all these matters and concludes by prioritizing directions for ongoing and future efforts.Comment: 182 pages, 112 figures. Editors: N. Brambilla, S. Eidelman, B. K. Heltsley, R. Vogt. Section Coordinators: G. T. Bodwin, E. Eichten, A. D. Frawley, A. B. Meyer, R. E. Mitchell, V. Papadimitriou, P. Petreczky, A. A. Petrov, P. Robbe, A. Vair