Related papers: Time Served
A superconducting RF accelerator test facility is currently under construction at Fermilab. The accelerator will consist of an electron gun, 40 MeV injector, beam acceleration section consisting of 3 TTF-type or ILC-type cryomodules, and…
A superconducting RF accelerator test facility is being constructed at Fermilab. The existing New Muon Lab (NML) building is being converted for this facility. The accelerator will consist of an electron gun, injector, beam acceleration…
The Fermilab Linac delivers 400 MeV H- beam to the rest of the accelerator chain. Providing stable intensity, energy, and emittance is key since it directly affects downstream machines. To operate high current beam, accelerators must…
Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the system behavior in locations, and to take transitions. While…
Science, especially large-scale basic research, is a collaborative endeavor, often drawing on the skills of people from a wide variety of disciplines. These people include not just scientists, but also administrators, engineers, and many…
This book begins with the basic accelerator knowledge required to understand the latter chapters. This is followed by topics from Fermilab accelerator specifics to general accelerator physics concepts. These chapters are accompanied by…
The current activity of the SPARC_LAB test-facility is focused on the realization of plasma-based acceleration experiments with the aim to provide accelerating field of the order of several GV/m while maintaining the overall quality (in…
The potentially realizable beam power at the Fermilab long-baseline neutrino program has motivated a reinvigorated design and optimization effort for a rapid-cycling synchrotron (RCS) intensity upgrade of the Fermilab proton complex. We…
The optimization of an accelerator relies on the ability to monitor the behavior of the beam in an intelligent and timely fashion. The use of processor-driven front-ends allowed for the deployment of smart systems in the field for improved…
This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.
A timing system provides high-precision signals to allow the controls over a variety of hardware and software components in the accelerator complex. This is guaranteed by the radio frequency (RF) and trigger signal synchronization for…
Simulation especially real-time simulation have been widely used for the design and testing of real-time systems. The advancement of simulation tools has largely attributed to the evolution of computing technologies. With the reduced cost…
The lecture provides an overview of considerations relevant for achieving highly reliable operation of accelerator based user facilities. The article starts with an overview of statistical reliability formalism which is followed by high…
An overview over the current state of algorithms for dynamical fermion simulations is given. In particular some insight into the functioning of the determinant spitting techniques is discussed. The critical slowing down of the simulations…
Part-3 of "Project X: Accelerator Reference Design, Physics Opportunities, Broader Impacts". The proposed Project X proton accelerator at Fermilab, with multi-MW beam power and highly versatile beam formatting, will be a unique world-class…
A summary of recent developments in the field of simulation algorithms for dynamical fermions is given.
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time…
There have been several recent suggestions for tableau systems for deciding satisfiability in the practically important branching time temporal logic known as CTL*. In this paper we present a streamlined and more traditional tableau…
Many modern and most future accelerators rely on precise configuration of lattice and trajectory. The Integrable Optics Test Accelerator (IOTA) at Fermilab that is coming to final stages of construction will be used to test advanced…
Our objective will be to integrate ML into Fermilab accelerator operations and furthermore provide an accessible framework which can also be used by a broad range of other accelerator systems with dynamic tuning needs. We will develop of…