CERN Accelerating science

ATS Reports

Nyeste elementer:
2014-10-24
11:43
Test and Simulation Results for Quenches Induced by Fast Losses on a LHC Quadrupole / Bracco, Ch (CERN, Switzerland) ; Auchmann, B (CERN, Switzerland) ; Bartmann, W (CERN, Switzerland) ; Bednarek, M (CERN, Switzerland) ; Lechner, A (CERN, Switzerland) ; Sapinski, M (CERN, Switzerland) ; Vittal Shetty, N (CERN, Switzerland) ; Schmidt, R (CERN, Switzerland) ; Solfaroli Camillocci, M (CERN, Switzerland) ; Verweij, A (CERN, Switzerland)
A test program for beam induced quenches was started in the LHC in 2011 in order to reduce as much as possible BLM-triggered beam dumps, without jeopardising the safety of the superconducting magnets. A first measurement was performed to asses the quench level of a quadrupole located in the LHC injection region in case of fast (ns) losses. [...]
CERN-ACC-2014-0232.- Geneva : CERN, 2014 - 4 p. Fulltext: PDF;
In : 5th International Particle Accelerator Conference, Dresden, Germany, 15 - 20 Jun 2014, pp.IPAC

Detaljert visning - Lignende elementer
2014-10-22
20:02
Future Hadron Colliders from physics perspectives to technology R&D / Barletta, W (MIT, UCLA) ; Battaglia, M (CERN, LBL, SCIPP) ; Klute, M (MIT) ; Mangano, M (CERN) ; Prestemon, S (LBL) ; Rossi, L (CERN) ; Skands, P (CERN)
High energy hadron colliders have been instrumental to discoveries in particle physics at the energy frontier and their role as discovery machines will remain unchallenged for the foreseeable future. The full exploitation of the LHC is now the highest priority of the energy frontier collider program. [...]
CERN-ACC-2014-0230.- Geneva : CERN, 2014 - 17 p. - Published in : Nucl. Instrum. Methods Phys. Res. A: 764 (2014) , pp. 352-368 Fulltext: PDF;

Detaljert visning - Lignende elementer
2014-10-21
14:42
Model-based automated testing of critical PLC programs. / Fernández Adiego, B ; Blanco Viñuela, E ; Tournier, J-C ; González Suárez, V M ; Bliudze, S
Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. [...]
CERN-ACC-2014-0227.
- 2014. - 6 p.

Detaljert visning - Lignende elementer
2014-10-21
14:10
Modelling and Formal Verification of Timing Aspects in Large PLC Programs / Fernandez Adiego, B ; Darvas, D ; Blanco Vinuela, E ; Tournier, J-C ; Gonzalez Suarez, V M ; Blech, J O
One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. [...]
CERN-ACC-2014-0226.
- 2014. - 7 p.
Full text

Detaljert visning - Lignende elementer
2014-10-21
12:10
The Large Hadron Collider of CERN and the roadmap toward higher performance / Rossi, L (CERN)
The Large Hadron Collider is exploring the new frontier of particle physics. It is the largest and most ambitious scientific instrument ever built and 100 years after the Rutherford experiment it continues that tradition of “smashing atoms” to unveil the secret of the infinitely small. [...]
CERN-ACC-2014-0225.- Geneva : CERN, 2012 - 14 p. Fulltext: PDF;
In : Subnuclear Physics: Past, Present and Future, Vatican City, Vatican City State, 30 Oct - 2 Nov 2011, pp.528-541

Detaljert visning - Lignende elementer
2014-10-21
11:04
LS1 “First Long Shutdown of LHC and its Injector Chains” / Foraz, K ; Baird, S ; Barberan, M ; Bernardini, M ; Coupard, J ; Gilbert, N ; Hay, D ; Mataguez, S ; McFarlane, D
The LHC and its Injectors were stopped in February 2013, in order to maintain, consolidate and upgrade the different equipment of the accelerator chain, with the goal of achieving LHC operation at the design energy of 14 TeV in the centre-of-mass. [...]
CERN-ACC-POSTER-2014-0001.
- 2014. - 1 p.
Full text

Detaljert visning - Lignende elementer
2014-10-21
10:54
Optimisation and Implementation of the R2E Shielding and Relocation Mitigation Measures at the LHC during LS1 / Perrot, A L ; Andujar, O ; Barberan Marin, M ; Brugger, M ; Corso, J P ; Foraz, K ; Jeckel, M ; Lazzaroni, M ; Lefort, B ; Mikulec, B et al.
In the framework of the Radiation to Electronics (R2E) project, important mitigation actions are being implemented in the LHC during the first Long Shutdown (LS1) to reduce the Single Event Error (SEE) occurrence in standard electronics present in much of the equipment installed in the LHC underground areas. [...]
CERN-ACC-2014-0224.
- 2014. - 4 p.
Full text

Detaljert visning - Lignende elementer
2014-10-21
10:33
LS1 “First Long Shutdown of LHC and its Injector Chains” / Foraz, K ; Baird, S ; Barberan, M ; Bernardini, M ; Coupard, J ; Gilbert, N ; Hay, D ; Mataguez, S ; McFarlane, D
The LHC and its Injectors were stopped in February 2013, in order to maintain, consolidate and upgrade the different equipment of the accelerator chain, with the goal of achieving LHC operation at the design energy of 14 TeV in the centre-of-mass. [...]
CERN-ACC-2014-0223.
- 2014. - 4 p.

Detaljert visning - Lignende elementer
2014-10-20
17:18
Formal verification of complex properties on PLC programs / Darvas, D ; Fernandez Adiego, B ; Voros, A ; Bartha, T ; Blanco Vinuela, E ; Gonzalez Suarez, V M
Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. [...]
CERN-ACC-2014-0222.- Geneva : CERN, 2014 - 16 p. Fulltext: PDF;
In : 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, 3 - 6 Jun 2014, pp.34th IFIP International Conference

Detaljert visning - Lignende elementer
2014-10-20
16:50
Bringing Automated Model Checking to PLC Program Development - A CERN Case Study / Fernandez Adiego, B ; Darvas, D ; Tournier, J-C ; Blanco Vinuela, E ; Gonzalez Suarez, V M
Verification of critical software is a high priority but a challenging task for industrial control systems. [...]
CERN-ACC-2014-0221.
- 2014. - 6 p.
Full text

Detaljert visning - Lignende elementer