Defining OCL expressions using templates.

OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the integration of OCL with the UML meta-model cannot be formally defined [1]. This can result in ambiguous descriptions of systems which may compromise designs. The need to redesign the OCL has been addressed by a number of proposals submitted to the OMG. In this paper we demonstrate how a definition for OCL can be stamped out from a small number of templates. Such an approach enables a high level of reuse and an increased confidence that the definition is correct. This work forms part of the 2U consortium’s efforts for the definition of UML 2.0

A pattern based approach to defining translations between languages.

The 2U Consortium have recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses a innovative technique of rapidly “stamping out” the definition using a small number of patterns commonly found in software architecture. The contribution of this paper is to introduce the idea of reusability of mappings between languages and defining some of the reusable mapping templates. This paper also illustrates how these templates can be used to stamp out mapping between languages by stamping out a mapping between UML and Java

Dependence of the Static and Dynamic Field Quality of the LHC Superconducting Dipole Magnets on the Pre-Cycle Ramp Rate

The allowed multipoles in the Large Hadron Collider (LHC) superconducting dipole magnets decay whilst on a constant current plateau. It is known that the decay amplitude is largely affected by the powering history of the magnet, and particularly by the pre-cycle flat top current and duration and the pre-injection preparation duration. Recently, it was observed that the decay amplitude is also highly dependent on the pre-cycle ramp rate, which has an indirect effect also on the sample of data taken at constant field along the magnet loadlines. This is an important consideration to be included in the Field Description for the LHC (FiDeL), to cope with the difference between the test procedure followed for series tests and the expected cycles during the machine operation. This paper presents the results of the measurements performed to investigate this phenomenon and describes the method included in FiDeL to represent this dependence

A pattern based approach to defining the dynamic infrastructure of UML 2.0.

The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly “stamping out” the definition using a small number of patterns commonly found in software architecture. The patterns, their instantiation, and any further language details are described using precise class diagrams and OCL, this enables the definition to be easily understood. The main focus of the 2U approach is on the static part of the definition. A further concern when modelling software, using languages such as the UML, is describing the dynamic behaviour of the system over time. The contribution of this paper is to provide a template that can be used to “stamp out” the dynamic part of the UML 2.0 infrastructure. We argue for the suitability of the dynamic template because it makes little commitment to concrete abstractions and can, therefore, be used to support a broad spectrum of behavioural languages

Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01).

This is a response to the UML 2.0 Request for Proposals on Infrastructure (ad/00-09-01). We propose an architecture for the definition of UML 2.0 which supports the layered and extensible definition of UML as a family of languages, and depends on the use of package extension (composition) and package template mechanisms in the metamodelling language. This submission defines that architecture and populates it with the definition of a core foundation for the definition of structural and behavioural modelling constructs for UML. Chapter 3 (“Language Architecture”) identifies all those parts of the architecture defined in any given version of this document

Gravitational waves from Sco X-1: A comparison of search methods and prospects for detection with advanced detectors

The low-mass X-ray binary Scorpius X-1 (Sco X-1) is potentially the most luminous source of continuous gravitational-wave radiation for interferometers such as LIGO and Virgo. For low-mass X-ray binaries this radiation would be sustained by active accretion of matter from its binary companion. With the Advanced Detector Era fast approaching, work is underway to develop an array of robust tools for maximizing the science and detection potential of Sco X-1. We describe the plans and progress of a project designed to compare the numerous independent search algorithms currently available. We employ a mock-data challenge in which the search pipelines are tested for their relative proficiencies in parameter estimation, computational efficiency, robust- ness, and most importantly, search sensitivity. The mock-data challenge data contains an ensemble of 50 Scorpius X-1 (Sco X-1) type signals, simulated within a frequency band of 50-1500 Hz. Simulated detector noise was generated assuming the expected best strain sensitivity of Advanced LIGO and Advanced VIRGO ($4 \times 10^{-24}$ Hz$^{-1/2}$). A distribution of signal amplitudes was then chosen so as to allow a useful comparison of search methodologies. A factor of 2 in strain separates the quietest detected signal, at $6.8 \times 10^{-26}$ strain, from the torque-balance limit at a spin frequency of 300 Hz, although this limit could range from $1.2 \times 10^{-25}$ (25 Hz) to $2.2 \times 10^{-26}$ (750 Hz) depending on the unknown frequency of Sco X-1. With future improvements to the search algorithms and using advanced detector data, our expectations for probing below the theoretical torque-balance strain limit are optimistic.Comment: 33 pages, 11 figure

Focusing Strength Measurements of the Main Quadrupoles for the LHC

More than 1100 quadrupole magnets of different types are needed for the Large Hadron Collider (LHC) which is in the construction stage at CERN. The most challenging parameter to measure on these quadrupoles is the integrated gradient (Gdl). An absolute accuracy of 0.1% is needed to control the beta beating. In this paper we briefly describe the whole set of equipment used for Gdl measurements: Automated Scanner system, Single Stretched Wire system and Twin Coils system, concentrating mostly on their absolute accuracies. Most of the possible inherent effects that can introduce systematic errors are discussed along with their preventive methods. In the frame of this qualification some of the magnets were tested with two systems. The results of the intersystem cross-calibrations are presented. In addition, the qualification of the measurement system used at the magnet manufacturer's is based on results of more than 40 quadrupole assemblies tested in cold conditions at CERN and in warm conditions at the vendor site

TDR-based water content estimation on globigerina limestone through permittivity measurements

Most monuments and historical buildings in the Maltese Islands are made of the local Globigerina Limestone (GL). This type of stone, however, is very delicate and prone to degradation caused by the environmental conditions of the islands. Hence, for the preservation of the Cultural Heritage monuments, it is necessary to promptly assess the health status of these structures and, in particular, their water content (which represents one of the major causes of degradation). Starting from these considerations, in this work, a time domain reflectometry (TDR)-based method for estimating water content of GL is presented. More specifically, the proposed method relies on estimating the water content value of the GL structure from TDR-based dielectric permittivity measurements. To verify the suitability of this system, experimental tests were carried out on a GL sample. The results anticipate the strong potential of the proposed method for practical applications in the Cultural Heritage diagnostics