Large CMS cathode strip chambers: design and performance Acosta, D; Apollinari, G; Blomquist, J ...
Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment,
10/2000, Letnik:
453, Številka:
1
Journal Article
Recenzirano
Presented are the main design features of the large Cathode Strip Chambers (CSCs) for the CMS Endcap Muon System as well as the performance results obtained with the two full-scale 3.4×1.5 m
2 ...six-plane prototypes. The prototype performance was within the baseline requirements: (a) higher than 99% efficiency of muon track finding at the trigger level with more than 92% probability for bunch crossing identification and better than 2
mm spatial resolution, and (b) better than 150
μm spatial resolution in off-line.
We use intersection types as a tool for obtaining
λ-models. Relying on the notion of
easy intersection type theory, we successfully build a
λ-model in which the interpretation of an arbitrary simple ...easy term is any filter which can be described by a continuous predicate. This allows us to prove two results. The first gives a proof of consistency of the
λ-theory where the
λ-term (
λx.
xx)(
λx.
xx) is forced to behave as the join operator. This result has interesting consequences on the algebraic structure of the lattice of
λ-theories. The second result is that for any simple easy term, there is a
λ-model, where the interpretation of the term is the
minimal fixed point operator.
In the Compact Muon Solenoid (CMS) experiment, muon detection in the forward direction is accomplished by cathode strip chambers (CSC). These detectors identify muons, provide a fast muon trigger, ...and give a precise measurement of the muon trajectory. There are 468 six-plane CSCs in the system. The efficiency of finding muon trigger primitives (muon track segments) was studied using 36 CMS CSCs and cosmic ray muons during the Magnet Test and Cosmic Challenge (MTCC) exercise conducted by the CMS experiment in 2006. In contrast to earlier studies that used muon beams to illuminate a very small chamber area (
<
0.01
m
2
), results presented in this paper were obtained by many installed CSCs operating in situ over an area of
≈
23
m
2
as a part of the CMS experiment. The efficiency of finding two-dimensional trigger primitives within six-layer chambers was found to be
99.93
±
0.03
%
. These segments, found by the CSC electronics within 800
ns after the passing of a muon through the chambers, are the input information for the Level-1 muon trigger and, also, are a necessary condition for chambers to be read out by the Data Acquisition System.
Drift tube wire tension monitoring Carlsmith, Duncan; Lusin, Sergei
Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment,
09/1995, Letnik:
364, Številka:
1
Journal Article
Recenzirano
The characteristic frequency of vibration of a drift tube anode wire may be determined using electrostatic excitation and circuits sensitive to the variation of wire capacitance. We compare test ...results with various excitation conditions to a electromechanical response model. The circuits and analysis are generally applicable to in situ monitoring of wire sag and tension in long drift tubes and in multi-wire proportional chambers.
Simple Easy Terms Alessi, F.; Lusin, S.
Electronic notes in theoretical computer science,
February 2003, 2003-02-00, Letnik:
70, Številka:
1
Journal Article
Odprti dostop
We illustrate the use of intersection types as a semantic tool for proving easiness result on λ-terms. We single out the notion of simple easiness for λ-terms as a useful semantic property for ...building filter models with special purpose features. Relying on the notion of easy intersection type theory, given λ-terms M and E, with E simple easy, we successfully build a filter model which equates interpretation of M and E, hence proving that simple easiness implies easiness. We finally prove that a class of λ-terms generated by ω2ω2 are simple easy, so providing alternative proof of easiness for them.
We illustrate the use of intersection types as a semantic tool for showing
properties of the lattice of lambda theories. Relying on the notion of easy
intersection type theory we successfully build a ...filter model in which the
interpretation of an arbitrary simple easy term is any filter which can be
described in an uniform way by a predicate. This allows us to prove the
consistency of a well-know lambda theory: this consistency has interesting
consequences on the algebraic structure of the lattice of lambda theories.
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a ...filter model in which the interpretation of an arbitrary simple easy term is any filter which can be described in an uniform way by a predicate. This allows us to prove the consistency of a well-know lambda theory: this consistency has interesting consequences on the algebraic structure of the lattice of lambda theories.