The PIP-II accelerator is a proposed upgrade to the Fermilab accelerator complex that will replace the existing, 400 MeV room temperature LINAC with an 800 MeV superconducting LINAC. Part of this upgrade includes a new injection scheme into the boost
er that levies tight requirements on the LLRF control system for the cavities. In this paper we discuss the challenges of the PIP-II accelerator and the present status of the LLRF system for this project.
We have commissioned the digital Low Level RF (LLRF) system for storage ring RF at Advanced Light Source at Lawrence Berkeley National Lab (LBNL). The system is composed of 42 synchronous sampling channels for feedback control, diagnostics, and inter
locks. The closed loop RF amplitude and phase stability is measured as < 0.1% and < 0.1 degree respectively, and the real-time machine protection interlock latency is measured < 2.5 microsecond. We have also developed PLC-FPGA-EPICS interfaces to support system configurations between hybrid operation modes using two klystrons driving two RF cavities at 500MHz resonance frequency. The deployed LLRF system has been operating since March 2017.
The first phase of the MYRRHA (Multi-purpose hYbrid Research Reactor for High-tech Applications) project, MINERVA, was launched in September 2018. Through collaboration with the SCK-CEN, IN2P3 laboratories take in charge the developments of several p
arts of the accelerator, including a fully equipped Spoke cryomodule prototype and a cold valves box. This cryomodule will integrate two superconducting single spoke cavities operating at 2K, the RF power couplers and the cold tuning systems associated. For control and regulation purpose, a mTCA LLRF system prototype is being implemented and will be presented here alongside with the hardware, VHDL and EPICS developments that aim to fulfil MYRRHAs ambitious requirements.
This volume contains the proceedings of the ninth workshop on Quantum Physics and Logic (QPL2012) which took place in Brussels from the 10th to the 12th of October 2012. QPL2012 brought together researchers working on mathematical foundations of qu
antum physics, quantum computing, and spatio-temporal causal structures. The particular focus was on the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical techniques, and other computer science methods for the study of physical behaviour in general.
The 9th International Workshop on Theorem-Proving Components for Educational Software (ThEdu20) was scheduled to happen on June 29 as a satellite of the IJCAR-FSCD 2020 joint meeting, in Paris. The COVID-19 pandemic came by surprise, though, and the
main conference was virtualised. Fearing that an online meeting would not allow our community to fully reproduce the usual face-to-face networking opportunities of the ThEdu initiative, the Steering Committee of ThEdu decided to cancel our workshop. Given that many of us had already planned and worked for that moment, we decided that ThEdu20 could still live in the form of an EPTCS volume. The EPTCS concurred with us, recognising this very singular situation, and accepted our proposal of organising a special issue with papers submitted to ThEdu20. An open call for papers was then issued, and attracted five submissions, all of which have been accepted by our reviewers, who produced three careful reports on each of the contributions. The resulting revised papers are collected in the present volume. We, the volume editors, hope that this collection of papers will help further promoting the development of theorem-proving-based software, and that it will collaborate to improve the mutual understanding between computer mathematicians and stakeholders in education. With some luck, we would actually expect that the very special circumstances set up by the worst sanitary crisis in a century will happen to reinforce the need for the application of certified components and of verification methods for the production of educational software that would be available even when the traditional on-site learning experiences turn out not to be recommendable.