Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CERN”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 415 records · Page 23
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗
NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗
DOE OSTI2015

Next Generation Muon g-2 Experiments

I report on the progress of two new muon anomalous magnetic moment experiments, which are in advanced design and construction phases. The goal of Fermilab E989 is to reduce the experimental uncertainty of $a_\mu$ from Brookhaven E821 by a factor of 4; that is, $\delta a_\mu \sim 16 \times 10^{-11}$, a relative uncertainty of 140~ppb. The method follows the same magic-momentum storage ring concept used at BNL, and pioneered previously at CERN, but muon beam preparation, storage ring internal hardware, field measuring equipment, and detector and electronics systems are all new or upgraded significantly. In contrast, J-PARC E34 will employ a novel approach based on injection of an ultra-cold, low-energy, muon beam injected into a small, but highly uniform magnet. Only a small magnetic focusing field is needed to maintain storage, which distinguishes it from CERN, BNL and Fermilab. E34 aims to roughly match the previous BNL precision in their Phase~1 installation.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2016

Performance of the first short model 150 mm aperture Nb$_3$Sn Quadrupole MQXFS for the High- Luminosity LHC upgrade

The US LHC Accelerator Research Program (LARP) and CERN combined their efforts in developing Nb3Sn magnets for the High-Luminosity LHC upgrade. The ultimate goal of this collaboration is to fabricate large aperture Nb3Sn quadrupoles for the LHC interaction regions (IR). These magnets will replace the present 70 mm aperture NbTi quadrupole triplets for expected increase of the LHC peak luminosity by a factor of 5. Over the past decade LARP successfully fabricated and tested short and long models of 90 mm and 120 mm aperture Nb3Sn quadrupoles. Recently the first short model of 150 mm diameter quadrupole MQXFS was built with coils fabricated both by the LARP and CERN. The magnet performance was tested at Fermilab’s vertical magnet test facility. This paper reports the test results, including the quench training at 1.9 K, ramp rate and temperature dependence studies.

Chlachidze, G.↗
DOE OSTI2017

Design of the cryogenic systems for the Near and Far LAr-TPC detectors of the Short-Baseline Neutrino program (SBN) at Fermilab

The Short-Baseline Neutrino (SBN) physics program at Fermilab and Neutrino Platform (NP) at CERN are part of the international Neutrino Program leading to the development of Long-Baseline Neutrino Facility/Deep Underground Neutrino Experiment (LBNF/DUNE) science project. The SBN program consisting of three Liquid Argon Time Projection Chamber (LAr-TPC) detectors positioned along the Booster Neutrino Beam (BNB) at Fermilab includes an existing detector known as MicroBooNE (170-ton LAr-TPC) plus two new experiments known as SBN’s Near Detector (SBND, ~260 tons) and SBN’s Far Detector (SBN-FD, ~760 tons). All three detectors have distinctly different design of their cryostats thus defining specific requirements for the cryogenic systems. Fermilab has already built two new facilities to house SBND and SBN-FD detectors. The cryogenic systems for these detectors are in various stages of design and construction with CERN and Fermilab being responsible for delivery of specific sub-systems. This contribution presents specific design requirements and typical implementation solutions for each sub-system of the SBND and SBN-FD cryogenic systems.

43 PARTICLE ACCELERATORS↗
DOE OSTI2017

Summary of Test Results of MQXFS1 - The First Short Model 150 mm Aperture $Nb_3Sn$ Quadrupole for the High-Luminosity

The development of $Nb_3Sn$ quadrupole magnets for the High-Luminosity LHC upgrade is a joint venture between the US LHC Accelerator Research Program (LARP)* and CERN with the goal of fabricating large aperture quadrupoles for the LHC in-teraction regions (IR). The inner triplet (low-β) NbTi quadrupoles in the IR will be replaced by the stronger Nb3Sn magnets boosting the LHC program of having 10-fold increase in integrated luminos-ity after the foreseen upgrades. Previously LARP conducted suc-cessful tests of short and long models with up to 120 mm aperture. The first short 150 mm aperture quadrupole model MQXFS1 was assembled with coils fabricated by both CERN and LARP. The magnet demonstrated strong performance at the Fermilab’s verti-cal magnet test facility reaching the LHC operating limits. This paper reports the latest results from MQXFS1 tests with changed pre-stress levels. The overall magnet performance, including quench training and memory, ramp rate and temperature depend-ence, is also summarized.

43 PARTICLE ACCELERATORS↗
DOE OSTI2018

Future Opportunities in Accelerator-based Neutrino Physics

This document summarizes the conclusions of the Neutrino Town Meeting held at CERN in October 2018 to review the neutrino field at large with the aim of defining a strategy for accelerator-based neutrino physics in Europe. The importance of the field across its many complementary components is stressed. Recommendations are presented regarding the accelerator based neutrino physics, pertinent to the European Strategy for Particle Physics. We address in particular i) the role of CERN and its neutrino platform, ii) the importance of ancillary neutrino cross-section experiments, and iii) the capability of fixed target experiments as well as present and future high energy colliders to search for the possible manifestations of neutrino mass generation mechanisms.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

US Contribution to the High Luminosity LHC Upgrade: Focusing Quadrupoles and Crab Cavities

In the early 2000's, the US High Energy Physics community contributing to the Large Hadron Collider (LHC) launched the LHC Accelerator R&D Program (LARP), a long-vision focused R&D program, intended contribute to a quick LHC commissioning and to bring the Nb3Sn and other technologies to a maturity level that would allow applications in HEP machines [1,2]. Around 2015, the technologies developed by LARP, CERN and other institutions were mature enough to allow the spin-off of a major upgrade project to the LHC complex, the High Luminosity LHC (HL-LHC) [3]. This paper will focus on the US contribution to HL-LHC, namely the large-aperture low-β focusing Nb3Sn quadrupoles and the Radio Frequency Dipole (RFD) Crab Cavities, located in close proximity to the ATLAS and CMS experiments. This contribution, called the HL-LHC Accelerator Upgrade Project (HL-LHC AUP), focuses on production of these quadrupoles and cavities by sharing the work among a consortium of US Laboratories (FNAL, LBNL, BNL and SLAC) and Universities and in close connection with the CERN-led HL-LHC Collaboration. The collaboration achieved commonality of specifications and uniformity of performance. Final development of design, construction and first results from the prototypes are described to indicate the status of these critical components for HL-LHC.

43 PARTICLE ACCELERATORS↗
DOE OSTI2018

Women in Science: Fermilab Scientific Computing Specialist Krista Majewski

With February 11 marking the International Day of Women and Girls in Science, female physicists, engineers and computer scientists from CERN and Fermilab share their experiences of building careers in science. Krista Majewski came to Fermilab nine years ago as a software developer and now works in an operations role. She is a computing services specialist and part of the grid and cloud operations group, which manages computing clusters for the CMS experiment and other intensity frontier experiments at the lab. "My typical day would be maintaining the services that our group is responsible for and the machines that they run on. So if there are problems with a computing cluster where a user can't run their jobs, or they're trying to run on resources on the grid and they're unable to, then our group would be responsible for helping debug some of those issues," Krista says. Her path to programming at Fermilab has been winding. After receiving a degree in biomedical engineering, she went to work doing web development and programming for a large consulting firm, then moved to the financial industry. But programming called her back, and she earned a master's degree in computer science to start her new career. For Krista, programming is similar to something she enjoyed as child: solving puzzles. "I think it's a skill that you use in a lot of different ways," she says. Credits: Video production - Fermilab Creative Services Music Copyright: Universal Production Music Astral Light Chevalier Idea originally conceived by Tanya Levshina, Fermilab and Maria Dimou, CERN.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2018

Women in Science: Fermilab cybersecurity analyst Jeny Teheran

With 11 February marking the International Day of Women and Girls in Science, female physicists, engineers and computer scientists from CERN and from Fermilab share their experiences of building a career in science. Jeny Teheran is a security analyst and cybersecurity researcher at Fermi National Accelerator Laboratory. That means keeping up with and taking care of hardware and software vulnerabilities so that the experiments can carry out their science in a secure manner. It's a fast-paced job where you have to come with the best solution you can put in place, right in the moment. "I would recommend this job because it challenges you. It pushes you to be on top of your game. You have to improve your analytical skills; you have to react fast; you have to communicate better." - Jeny says. Jeny came to Fermilab from the Caribbean coast of Colombia. She grew up in a house with few toys but lots of books, and says she has always felt close to science. With a degree in systems and computing engineering, she arrived at Fermilab four years ago as an intern to work on the offline production team for neutrino experiments. A year later, she was hired as a security analyst. "And I'm loving it," she says. Credits: Video production - Fermilab Creative Services Music Copyright: Universal Production Music Astral Light Chevalier Idea originally conceived by Tanya Levshina, Fermilab and Maria Dimou, CERN.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2018

Women in Science: Fermilab computing analyst Margherita Vittone-Wiersma

With February 11 marking the International Day of Women and Girls in Science, female physicists, engineers and computer scientists from CERN and Fermilab share their experiences of building careers in science. Margherita Vittone-Wiersma came to Fermilab as a physicist in February 1985. Together with a group of researchers from Italy's Institute of Nuclear Physics, she began a new experiment called E687. But she soon learned that she preferred working on data acquisition and the many methods to store and access the huge amount of data coming out of science experiments. What was once mere megabytes of data is now terabytes of information - and experimental physicists need to be able to retrieve stored data and monitor data coming from the detectors in real-time. "It's been an incredible change in scale of the amount of data that is handled by computers and has to be analyzed by the physicists," she says. Margherita migrated from physics to her new role in computing through lots of hands-on learning and classes in different programming languages and software development offered at Fermilab. She officially joined the lab's computing division in 1989. "It's a great experience to work with the physicists," she says. Together physicists and computing experts iterate over tools "to make sure that everything is working the way they expect. It's very rewarding." Credits: Video production - Fermilab Creative Services Music Copyright: Universal Production Music Astral Light Chevalier Idea originally conceived by Tanya Levshina, Fermilab and Maria Dimou, CERN.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2020

Computing for the DUNE Long-Baseline Neutrino Oscillation Experiment

This is a talk given at Computers in High Energy Physics in Adelaide, South Australia, Australia in November 2019. It is partially intended to explain the context of DUNE Computing for computing specialists. The DUNE collaboration consists of over 180 institutions from 33 countries. The experiment is in preparation now with commissioning of the first 10kT fiducial volume Liquid Argon TPC expected over the period 2025-2028 and a long data taking run with 4 modules expected from 2029 and beyond. An active prototyping program is already in place with a short test beam run with a 700T, 15,360 channel prototype of single-phase readout at the neutrino platform at CERN in late 2018 and tests of a similar sized dual-phase detector scheduled for mid-2019. The 2018 test beam run was a valuable live test of our computing model. The detector produced raw data at rates of up to ~2GB/s. These data were stored at full rate on tape at CERN and Fermilab and replicated at sites in the UK and Czech Republic. In total 1.2 PB of raw data from beam and cosmic triggers were produced and reconstructed during the six week test beam run. Baseline predictions for the full DUNE detector data, starting in the late 2020's are 30-60 PB of raw data per year. In contrast to traditional HEP computational problems, DUNE's Liquid Argon TPC data consist of simple but very large (many GB) 2D data objects which share many characteristics with astrophysical images. This presents opportunities to use advances in machine learning and pattern recognition as a frontier user of High Performance Computing facilities capable of massively parallel processing.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2018

Étude et simulation de la lumière de scintillation produite et se propageant dans une chambre à dérive double-phase à argon liquide, dans le contexte du projet DUNE

DUNE is a future long-baseline neutrino experiment designed to determine, among others, the neutrino mass hierarchy and to measure the CP violation phase that enters the neutrino oscillation process. This project is based on a 1300 km long high intensity neutrino beam and a massive detector containing more than 40 kilotons of liquid argon using the liquid argon time projection chamber technology (LArTPC). Two approaches of this technology are currently under development, leading to the construction of two prototypes to be in place at the end of 2018 at CERN. The work of this thesis is part of the ProtoDUNE-DP project, which aims at probing the capabilities of the so-called “dual-phase” technology, that uses both gaseous and liquid argon, for a large-scale detector. Two kind of signals, a charge signal and a scintillation light signal, are expected in a LArTPC. The light signal can be used as a trigger, for the identification and rejection of the cosmic background, and for precise calorimetric measurements. Prior simulations of this signal are needed in order to improve our understanding of the scintillation light signal and to develop the identification algorithms. This work addresses the development of this simulation and the study of the scintillation photon behavior in the liquid argon detector. The different scintillation light production mechanisms, the developed simulation and the different studies on the light propagation in ProtoDUNE-DP are presented. These simulations have also been compared with light data taken at CERN in 2017 with a first demonstrator, in order to validate and tune the simulation.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2020

Conceptual Design Report -- eSPS

The design of a primary electron beam facility at CERN is described. It re-enables the SPS as an electron accelerator, and leverages the development invested in CLIC technology for its injector and as accelerator R&D infrastructure. The facility would be relevant for several of the key priorities in the 2020 update of the European Strategy for Particle Physics, such as an electron-positron(e-p) Higgs factory, accelerator R&D, dark sector physics, and neutrino physics. In addition, it could serve experiments in nuclear physics. The electron beam delivered by this facility would provide access to light dark matter production significantly beyond the targets predicted by a thermal dark matter origin, and for natures of dark matter particles that are not accessible by direct detection experiments. It would also enable electro-nuclear measurements crucial for precise modelling the energy dependence of neutrino-nucleus interactions, which is needed to precisely measure neutrino oscillations as a function of energy. The implementation of the facility is the natural next step in the development of X-band high-gradient acceleration technology, a key technology for compact and cost-effective electron/positron linacs. It would also become the only facility with multi-GeV drive bunches and truly independent electron witness bunches for plasma wakefield acceleration. The facility would be used for the development and studies of a large number of components and phenomena for a future e-p Higgs and electroweak factory as the first stage of a next circular collider at CERN, and its cavities in the SPS would be the same type as foreseen for such a future collider. The operation of the SPS with electrons would train a new generation of scientists. The facility could be made operational in about five years and would operate in parallel and without interference with Run 4 at the LHC.

43 PARTICLE ACCELERATORS↗
DOE OSTI2021

Finalizing Construction of a New Data Center at BNL

Computational science, data management and analysis have been key factors in the success of Brookhaven National Laboratory's scientific programs at the Relativistic Heavy Ion Collider (RHIC), the National Synchrotron Light Source II (NSLS-II), the Center for Functional Nanomaterials (CFN), and in biological, atmospheric, and energy systems science, Lattice Quantum Chromodynamics (LQCD) and Materials Science, as well as our participation in international research collaborations, such as the ATLAS experiment at Europe's Large Hadron Collider (LHC) at CERN (Switzerland) and the Belle II experiment at KEK (Japan). The construction of a new data center is an acknowledgement of the increasing demand for computing and storage services at BNL in the near term and enable the Lab to address the needs of the future experiments at the High-Luminosity LHC at CERN and the Electron-Ion Collider (EIC) at BNL in the long term.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2020

The Largest Accelerators and Colliders of Their Time

The Study Group for a GeV-scale Proton Synchrotron was launched in 1952 at CERN. Initially, an up-scaled version of the 3 GeV Cosmotron was considered but soon a new design based on the newly discovered alternating-gradient principle and promising a proton energy of 30 GeV was adopted by the CERN Council in the same year. In order to limit cost the energy was subsequently limited to 25 GeV and the project led by J.B. Adams was approved in 1953. The final parameters were fixed in 1954 and construction started in 1955. The CPS [1] became operational towards the end of 1959 reaching an energy of 28 GeV [2, 3]. It has turned out to be an extremely versatile facility [4] (Table 10.1).

43 PARTICLE ACCELERATORS↗
DOE OSTI2022

Future Circular Hadron Collider FCC-hh: Overview and Status

The Future Circular Collider (FCC) study was launched as a world-wide international collaboration hosted by CERN. Its goal is to push the field to the next energy frontier beyond LHC, increasing by an order of magnitude the mass of particles that could be directly produced, and decreasing by an order of magnitude the subatomic distances to be studied. The FCC study covers two accelerators, namely, an energy-frontier hadron collider (FCC-hh) and a highest luminosity, high-energy lepton collider (FCC-ee). Both rings are hosted in the same 100 km tunnel infrastructure, replicating the CERN strategy for LEP and LHC, i.e. developing a lepton and a hadron ring sharing the same tunnel. This paper is devoted to the FCC-hh and summarizes the key features of the FCC-hh accelerator design, performance reach, and underlying technologies. The material presented in this paper builds on the conceptual design report published in 2019, and extends it, including also the progress made and the results achieved since then.

43 PARTICLE ACCELERATORS↗
DOE OSTI2022

Radiation hardened beam instrumentations for multi-Mega-Watt beam facilities

The radiation hardened beam instrumentations workshop was held on February 3rd and 4th, 2022 to identify the technological challenges on the beam instrumentation for multi-Mega-Watt (MW) beam facilities. We invited a speaker from a high energy neutrino beam facility (CERN, Fermilab and J-PARC), a collider detector group (CERN and Fermilab), a neutron spallation source facility (ESS, J-PARC and SNS), and a rare-isotope beam facility (FRIB). Although, the operational beam parameter for each institution is unique due to their different physics goals, we realize that there is a common issue on the beam instrumentation. Therefore, it will be tackled by a collaborative R&D effort among facilities. We summarize an output from the workshop in the paper, and propose a possible R&D for the future radiation hardened beam instrumentations with a global effort.

43 PARTICLE ACCELERATORS↗