-
Key4hep: Progress Report on Integrations
Authors:
Erica Brondolin,
Juan Miguel Carceller,
Wouter Deconinck,
Wenxing Fang,
Brieuc Francois,
Frank-Dieter Gaede,
Gerardo Ganis,
Benedikt Hegner,
Clement Helsens,
Xingtao Huang,
Sylvester Joosten,
Sang Hyun Ko,
Tao Lin,
Teng Li,
Weidong Li,
Thomas Madlener,
Leonhard Reichenbach,
André Sailer,
Swathi Sasikumar,
Juraj Smiesko,
Graeme A Stewart,
Alvaro Tolosa-Delgado,
Valentin Volkl,
Xiaomei Zhang,
Jiaheng Zou
Abstract:
Detector studies for future experiments rely on advanced software tools to estimate performance and optimize their design and technology choices. The Key4hep project provides a flexible turnkey solution for the full experiment life-cycle based on established community tools such as ROOT, Geant4, DD4hep, Gaudi, podio and spack. Members of the CEPC, CLIC, EIC, FCC, and ILC communities have joined to…
▽ More
Detector studies for future experiments rely on advanced software tools to estimate performance and optimize their design and technology choices. The Key4hep project provides a flexible turnkey solution for the full experiment life-cycle based on established community tools such as ROOT, Geant4, DD4hep, Gaudi, podio and spack. Members of the CEPC, CLIC, EIC, FCC, and ILC communities have joined to develop this framework and have merged, or are in the progress of merging, their respective software environments into the Key4hep stack. These proceedings will give an overview over the recent progress in the Key4hep project: covering the developments towards adaptation of state-of-the-art tools for simulation (DD4hep, Gaussino), track and calorimeter reconstruction (ACTS, CLUE), particle flow (PandoraPFA), analysis via RDataFrame, and visualization with Phoenix, as well as tools for testing and validation.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Ferrimagnetic Regulation of Weyl Fermions in a Noncentrosymmetric Magnetic Weyl Semimetal
Authors:
Cong Li,
Jianfeng Zhang,
Yang Wang,
Hongxiong Liu,
Qinda Guo,
Emile Rienks,
Wanyu Chen,
Bertran Francois,
Huancheng Yang,
Dibya Phyuyal,
Hanna Fedderwitz,
Balasubramanian Thiagarajan,
Maciej Dendzik,
Magnus H. Berntsen,
Youguo Shi,
Tao Xiang,
Oscar Tjernberg
Abstract:
The study of interaction between electromagnetism and elementary particles is a long-standing topic in physics. Likewise, the connection between particle physics and emergent phenomena in condensed matter physics is a recurring theme and condensed matter physics has often provided a platform for investigating the interplay between particles and fields in cases that have not been observed in high-e…
▽ More
The study of interaction between electromagnetism and elementary particles is a long-standing topic in physics. Likewise, the connection between particle physics and emergent phenomena in condensed matter physics is a recurring theme and condensed matter physics has often provided a platform for investigating the interplay between particles and fields in cases that have not been observed in high-energy physics, so far. Here, using angle-resolved photoemission spectroscopy, we provide a new example of this by visualizing the electronic structure of a noncentrosymmetric magnetic Weyl semimetal candidate NdAlSi in both the paramagnetic and ferrimagnetic states. We observe surface Fermi arcs and bulk Weyl fermion dispersion as well as the regulation of Weyl fermions by ferrimagnetism. Our results establish NdAlSi as a magnetic Weyl semimetal and provide the first experimental observation of ferrimagnetic regulation of Weyl fermions in condensed matter.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Perpetual Observational Studies: New strategies to support efficient implementation of observational studies and randomized trials in the infectious diseases arena
Authors:
N. Hassoun-Kheir,
C. H. van Werkhoven,
J. Dunning,
T. Jaenisch,
J. van Beek,
J. Bielicki,
C. Butler,
B. Francois,
S. Harbarth,
A. C. Hernandez Padilla,
P. Horby,
M. Koopmans,
J. Lee,
J. Rodriguez-Baño,
E. Tacconelli,
Y. Themistocleous,
A. W. van der Velden,
M. Bonten,
H. Goossens,
M. E. A. de Kraker
Abstract:
The increasing threat of emerging infectious diseases and antimicrobial resistance requires more efficient, high-quality research. Perpetual Observational Studies (POS) nested within a clinical research network can improve planning, quality and efficiency of interventional and observational studies, although real-life benefits and challenges need to be assessed. Ecraid (European Clinical Research…
▽ More
The increasing threat of emerging infectious diseases and antimicrobial resistance requires more efficient, high-quality research. Perpetual Observational Studies (POS) nested within a clinical research network can improve planning, quality and efficiency of interventional and observational studies, although real-life benefits and challenges need to be assessed. Ecraid (European Clinical Research Alliance on Infectious Diseases) has initiated POS and will monitor the impact for five specific infectious syndromes.
△ Less
Submitted 16 August, 2022; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Upgrade of the CMS Resistive Plate Chambers for the High Luminosity LHC
Authors:
A. Samalan,
M. Tytgat,
G. A. Alves,
F. Marujo,
F. Torres Da Silva De Araujo,
E. M. DaCosta,
D. De Jesus Damiao,
H. Nogima,
A. Santoro,
S. Fonseca De Souza,
A. Aleksandrov,
R. Hadjiiska,
P. Iaydjiev,
M. Rodozov,
M. Shopova,
G. Soultanov,
M. Bonchev,
A. Dimitrov,
L. Litov,
B. Pavlov,
P. Petkov,
A. Petrov,
S. J. Qian,
C. Bernal,
A. Cabrera
, et al. (86 additional authors not shown)
Abstract:
During the upcoming High Luminosity phase of the Large Hadron Collider (HL-LHC), the integrated luminosity of the accelerator will increase to 3000 fb$^{-1}$. The expected experimental conditions in that period in terms of background rates, event pileup, and the probable aging of the current detectors present a challenge for all the existing experiments at the LHC, including the Compact Muon Solen…
▽ More
During the upcoming High Luminosity phase of the Large Hadron Collider (HL-LHC), the integrated luminosity of the accelerator will increase to 3000 fb$^{-1}$. The expected experimental conditions in that period in terms of background rates, event pileup, and the probable aging of the current detectors present a challenge for all the existing experiments at the LHC, including the Compact Muon Solenoid (CMS) experiment. To ensure a highly performing muon system for this period, several upgrades of the Resistive Plate Chamber (RPC) system of the CMS are currently being implemented. These include the replacement of the readout system for the present system, and the installation of two new RPC stations with improved chamber and front-end electronics designs. The current overall status of this CMS RPC upgrade project is presented.
△ Less
Submitted 2 November, 2021; v1 submitted 29 September, 2021;
originally announced September 2021.
-
CMS RPC Background -- Studies and Measurements
Authors:
R. Hadjiiska,
A. Samalan,
M. Tytgat,
N. Zaganidis,
G. A. Alves,
F. Marujo,
F. Torres Da Silva De Araujo,
E. M. Da Costa,
D. De Jesus Damiao,
H. Nogima,
A. Santoro,
S. Fonseca De Souza,
A. Aleksandrov,
P. Iaydjiev,
M. Rodozov,
M. Shopova,
G. Sultanov,
M. Bonchev,
A. Dimitrov,
L. Litov,
B. Pavlov,
P. Petkov,
A. Petrov,
S. J. Qian,
C. Bernal
, et al. (84 additional authors not shown)
Abstract:
The expected radiation background in the CMS RPC system has been studied using the MC prediction with the CMS FLUKA simulation of the detector and the cavern. The MC geometry used in the analysis describes very accurately the present RPC system but still does not include the complete description of the RPC upgrade region with pseudorapidity $1.9 < \lvert η\rvert < 2.4$. Present results will be upd…
▽ More
The expected radiation background in the CMS RPC system has been studied using the MC prediction with the CMS FLUKA simulation of the detector and the cavern. The MC geometry used in the analysis describes very accurately the present RPC system but still does not include the complete description of the RPC upgrade region with pseudorapidity $1.9 < \lvert η\rvert < 2.4$. Present results will be updated with the final geometry description, once it is available. The radiation background has been studied in terms of expected particle rates, absorbed dose and fluence. Two High Luminosity LHC (HL-LHC) scenarios have been investigated - after collecting $3000$ and $4000$ fb$^{-1}$. Estimations with safety factor of 3 have been considered, as well.
△ Less
Submitted 13 December, 2020; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Millimeter-wave in-package: tackling the system-in-package interconnection paradigm
Authors:
Souradip Sarkar,
Gert-Jan Stockman,
Brecht Francois
Abstract:
This work describes the architecture and implementation of a high-data-rate, energy-efficient millimeter-wave (mm-wave) waveguide solution for integration inside an Integrated Circuit (IC) package. The complete waveguide solution (together with couplers) has been designed to fit into the tight dimensional requirements of a wafer bonded 3D package and provides an extremely wide bandwidth in the mm-…
▽ More
This work describes the architecture and implementation of a high-data-rate, energy-efficient millimeter-wave (mm-wave) waveguide solution for integration inside an Integrated Circuit (IC) package. The complete waveguide solution (together with couplers) has been designed to fit into the tight dimensional requirements of a wafer bonded 3D package and provides an extremely wide bandwidth in the mm-wave spectrum. To achieve this, we investigate the use of new high-permittivity materials. To be able to fulfill the data-rate demands of modern System-in-Packages (SiPs), Monolithic Microwave Integrated Circuits(MMICs) and integrated high performance analog ICs together with Digital Signal Processing (DSP), our solution is inherently scalable and adaptable in several ways. The work is novel and also discusses the various opportunities and challenges associated with the solution.
△ Less
Submitted 27 March, 2020;
originally announced March 2020.
-
Burst-and-coast swimmers optimize gait by adapting unique intrinsic cycle
Authors:
G. Li,
I. Ashraf,
B. François,
D. Kolomenskiy,
F. Lechenault,
R. Godoy-Diana,
B. Thiria
Abstract:
This paper addresses the physical mechanism of intermittent swimming by considering the burst-and-coast regime of fish swimming at different speeds. The burst-and-coast regime consists of a cycle with two successive phases: a phase of active undulation powered by the fish muscles followed by a passive gliding phase. Observations of real fish whose swimming gait is forced in a water flume from low…
▽ More
This paper addresses the physical mechanism of intermittent swimming by considering the burst-and-coast regime of fish swimming at different speeds. The burst-and-coast regime consists of a cycle with two successive phases: a phase of active undulation powered by the fish muscles followed by a passive gliding phase. Observations of real fish whose swimming gait is forced in a water flume from low to high speed regimes are performed, using a full description of the fish kinematics and mechanics. We first show that fish modulate a unique intrinsic cycle to sustain the demanded speed by modifying the bursting to coasting ratio while maintaining the duration of the cycle constant. Secondly, we show using numerical simulations that the chosen kinematics correspond to optimized gaits over the range of swimming speeds tested.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.
-
Exploiting Pointer Analysis in Memory Models for Deductive Verification
Authors:
Bouillaguet Quentin,
Bobot François,
Sighireanu Mihaela,
Yakobowski Boris
Abstract:
Cooperation between verification methods is crucial to tackle the challenging problem of software verification. The paper focuses on the verification of C programs using pointers and it formalizes a cooperation between static analyzers doing pointer analysis and a deductive verification tool based on first order logic. We propose a framework based on memory models that captures the partitioning of…
▽ More
Cooperation between verification methods is crucial to tackle the challenging problem of software verification. The paper focuses on the verification of C programs using pointers and it formalizes a cooperation between static analyzers doing pointer analysis and a deductive verification tool based on first order logic. We propose a framework based on memory models that captures the partitioning of memory inferred by pointer analyses, and complies with the memory models used to generate verification conditions. The framework guided us to propose a pointer analysis that accommodates to various low-level operations on pointers while providing precise information about memory partitioning to the deductive verification. We implemented this cooperation inside the Frama-C platform and we show its effectiveness in reducing the task of deductive verification on a complex case study.
△ Less
Submitted 29 November, 2018;
originally announced November 2018.
-
MoMEMta, a modular toolkit for the Matrix Element Method at the LHC
Authors:
Sébastien Brochet,
Christophe Delaere,
Brieuc François,
Vincent Lemaître,
Alexandre Mertens,
Alessia Saggio,
Miguel Vidal Marono,
Sébastien Wertz
Abstract:
The Matrix Element Method has proven to be a powerful method to optimally exploit the information available in detector data. Its widespread use is nevertheless impeded by its complexity and the associated computing time. MoMEMta, a C++ software package to compute the integrals at the core of the method, provides a versatile implementation of the Matrix Element Method to both the theory and experi…
▽ More
The Matrix Element Method has proven to be a powerful method to optimally exploit the information available in detector data. Its widespread use is nevertheless impeded by its complexity and the associated computing time. MoMEMta, a C++ software package to compute the integrals at the core of the method, provides a versatile implementation of the Matrix Element Method to both the theory and experiment communities. Its modular structure covers the needs of experimental analysis workflows at the LHC without compromising ease of use on simpler and smaller simulated samples used for phenomenological studies. With respect to existing tools, MoMEMta improves on usability and flexibility. In this paper, we present version 1.0 of MoMEMta, together with examples illustrating the wide range of applications at the LHC accessible for the first time with a single tool.
△ Less
Submitted 19 February, 2019; v1 submitted 22 May, 2018;
originally announced May 2018.
-
High-performance coherent population trap** clock with polarization modulation
Authors:
Peter Yun,
François Tricot,
Claudio Eligio Calosso,
Salvatore Micalizio,
Bruno François,
Rodolphe Boudot,
Stéphane Guérandel,
Emeric de Clercq
Abstract:
We demonstrate a vapor cell atomic clock prototype based on continuous-wave (CW) interrogation and double-modulation coherent population trap** (DM-CPT) technique. The DM-CPT technique uses a synchronous modulation of polarization and relative phase of a bi-chromatic laser beam in order to increase the number of atoms trapped in a dark state, i.e. a non-absorbing state. The narrow resonance, obs…
▽ More
We demonstrate a vapor cell atomic clock prototype based on continuous-wave (CW) interrogation and double-modulation coherent population trap** (DM-CPT) technique. The DM-CPT technique uses a synchronous modulation of polarization and relative phase of a bi-chromatic laser beam in order to increase the number of atoms trapped in a dark state, i.e. a non-absorbing state. The narrow resonance, observed in transmission of a Cs vapor cell, is used as a narrow frequency discriminator in an atomic clock. A detailed characterization of the CPT resonance versus numerous parameters is reported. A short-term frequency stability of $3.2 \times 10^{-13} τ^{-1/2}$ up to 100 s averaging time is measured. These performances are more than one order of magnitude better than industrial Rb clocks and comparable to those of best laboratory-prototype vapor cell clocks. The noise budget analysis shows that the short and mid-term frequency stability is mainly limited by the power fluctuations of the microwave used to generate the bi-chromatic laser. These preliminary results demonstrate that the DM-CPT technique is well-suited for the development of a high-performance atomic clock, with potential compact and robust setup due to its linear architecture. This clock could find future applications in industry, telecommunications, instrumentation or global navigation satellite systems.
△ Less
Submitted 1 October, 2016;
originally announced October 2016.
-
The Informational Approach to Global Optimization in presence of very noisy evaluation results. Application to the optimization of renewable energy integration strategies
Authors:
Héloïse Dutrieux,
Ivana Aleksovska,
Julien Bect,
Emmanuel Vazquez,
Delille Gauthier,
Bruno François
Abstract:
We consider the problem of global optimization of a function f from very noisy evaluations. We adopt a Bayesian sequential approach: evaluation points are chosen so as to reduce the uncertainty about the position of the global optimum of f, as measured by the entropy of the corresponding random variable (Informational Approach to Global Optimization, Villemonteix et al., 2009). When evaluations ar…
▽ More
We consider the problem of global optimization of a function f from very noisy evaluations. We adopt a Bayesian sequential approach: evaluation points are chosen so as to reduce the uncertainty about the position of the global optimum of f, as measured by the entropy of the corresponding random variable (Informational Approach to Global Optimization, Villemonteix et al., 2009). When evaluations are very noisy, the error coming from the estimation of the entropy using conditional simulations becomes non negligible compared to its variations on the input domain. We propose a solution to this problem by choosing evaluation points as if several evaluations were going to be made at these points. The method is applied to the optimization of a strategy for the integration of renewable energies into an electrical distribution network.
△ Less
Submitted 15 June, 2015;
originally announced June 2015.
-
Bernoulli problem for rough domains
Authors:
Bouchon François,
Chupin Laurent
Abstract:
We consider the exterior free boundary Bernoulli problem in the case of a rough given domain. An asymptotic analysis shows that the solution of the initial problem can be approximated by the solution of a non-rough Bernoulli problem at order 2. Numerical tests confirm these theoretical results.
We consider the exterior free boundary Bernoulli problem in the case of a rough given domain. An asymptotic analysis shows that the solution of the initial problem can be approximated by the solution of a non-rough Bernoulli problem at order 2. Numerical tests confirm these theoretical results.
△ Less
Submitted 10 June, 2013;
originally announced June 2013.
-
An Improved Fixed Switching Frequency Direct Torque Control of Induction Motor Drives Fed by Direct Matrix Converter
Authors:
Nabil Taib,
Toufik Rekioua,
Bruno Francois
Abstract:
A few papers have been interested by the fixed switching frequency direct torque control fed by direct matrix converters, where we can find just the use of direct torque controlled space vector modulated method. In this present paper, we present an improved method used for a fixed switching frequency direct torque control (DTC) using a direct matrix converter (DMC). This method is characterized by…
▽ More
A few papers have been interested by the fixed switching frequency direct torque control fed by direct matrix converters, where we can find just the use of direct torque controlled space vector modulated method. In this present paper, we present an improved method used for a fixed switching frequency direct torque control (DTC) using a direct matrix converter (DMC). This method is characterized by a simple structure, a fixed switching frequency which causes minimal torque ripple and a unity input power factor. Using this strategy, we combine the direct matrix converters advantages with those of direct torque control (DTC) schemes. The used technique for constant frequency is combined with the input current space vector to create the switching table of direct matrix converter (DMC). Simulation results clearly demonstrate a better dynamic and steady state performances of the proposed method.
△ Less
Submitted 10 April, 2010;
originally announced April 2010.