Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

From Barbie to the oligarchs wife: Reading fantasy femininity and globalisation in post-Soviet Russian womens magazines

This article shows how an analysis of fantasy femininity sheds light on how norms of gender, class and national identity reflect global and local cross-cultural currents in post-Soviet Russia. Drawing on a discourse analysis of women’s magazines and in-depth interviews with readers, it shows how, in the globalized post-Soviet cultural landscape, fantasy femininity represents both change and continuity. Feminine archetypes in women’s magazines, from fairytale princesses to Barbie dolls, reflect a wider post-Soviet cultural hybridisation, and show how Western women’s magazines have adapted to the Russian context. Furthermore, the article highlights readers’ ambiguous attitudes towards post-Soviet cultural trends linked to perceived Westernisation or globalisation, such as individualism, conspicuous consumption, and glamour

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

CMS Data Processing Workflows during an Extended Cosmic Ray Run

Peer reviewe

Aligning the CMS Muon Chambers with the Muon Alignment System during an Extended Cosmic Ray Run

Peer reviewe

Transverse-momentum and pseudorapidity distributions of charged hadrons in pp collisions at √s=7 TeV

This is the pre-print version of the Published Article which can be accessed from the link below.Charged-hadron transverse-momentum and pseudorapidity distributions in proton-proton collisions at √s=7  TeV are measured with the inner tracking system of the CMS detector at the LHC. The charged-hadron yield is obtained by counting the number of reconstructed hits, hit pairs, and fully reconstructed charged-particle tracks. The combination of the three methods gives a charged-particle multiplicity per unit of pseudorapidity dNch/dη||η|<0.5=5.78±0.01(stat)±0.23(syst) for non-single-diffractive events, higher than predicted by commonly used models. The relative increase in charged-particle multiplicity from √s=0.9 to 7 TeV is [66.1±1.0(stat)±4.2(syst)]%. The mean transverse momentum is measured to be 0.545±0.005(stat)±0.015(syst)  GeV/c. The results are compared with similar measurements at lower energies

Commissioning of the CMS high-level trigger with cosmic rays

This is the Pre-print version of the Article. The official published version of the paper can be accessed from the link below - Copyright @ 2010 IOPThe CMS High-Level Trigger (HLT) is responsible for ensuring that data samples with potentially interesting events are recorded with high efficiency and good quality. This paper gives an overview of the HLT and focuses on its commissioning using cosmic rays. The selection of triggers that were deployed is presented and the online grouping of triggered events into streams and primary datasets is discussed. Tools for online and offline data quality monitoring for the HLT are described, and the operational performance of the muon HLT algorithms is reviewed. The average time taken for the HLT selection and its dependence on detector and operating conditions are presented. The HLT performed reliably and helped provide a large dataset. This dataset has proven to be invaluable for understanding the performance of the trigger and the CMS experiment as a whole.This work is supported by FMSR (Austria); FNRS and FWO (Belgium); CNPq, CAPES, FAPERJ, and FAPESP (Brazil); MES (Bulgaria); CERN; CAS, MoST, and NSFC (China); COLCIENCIAS (Colombia); MSES (Croatia); RPF (Cyprus); Academy of Sciences and NICPB (Estonia); Academy of Finland, ME, and HIP (Finland); CEA and CNRS/IN2P3 (France); BMBF, DFG, and HGF (Germany); GSRT (Greece); OTKA and NKTH (Hungary); DAE and DST (India); IPM (Iran); SFI (Ireland); INFN (Italy); NRF (Korea); LAS (Lithuania); CINVESTAV, CONACYT, SEP, and UASLP-FAI (Mexico); PAEC (Pakistan); SCSR (Poland); FCT (Portugal); JINR (Armenia, Belarus, Georgia, Ukraine, Uzbekistan); MST and MAE (Russia); MSTDS (Serbia); MICINN and CPAN (Spain); Swiss Funding Agencies (Switzerland); NSC (Taipei); TUBITAK and TAEK (Turkey); STFC (United Kingdom); DOE and NSF (USA)

Identification and Filtering of Uncharacteristic Noise in the CMS Hadron Calorimeter

VertaisarvioitupeerReviewe