-
Sloshing of viscous fluids: Application to aerospace
Authors:
Benjamin Arthur Hugo Meunier,
Maxime Christophe Nicolas Roux
Abstract:
This bachelor project presents a theoretical model describing the resonant frequencies in rectangular and cylindrical tanks. It presents an experimental validation in the rectangular case. The resonant frequencies are determined and then used to construct a theoretical model for the free dam** of viscous fluids. The predictions of the model are qualitatively analysed. The higher the resonant fre…
▽ More
This bachelor project presents a theoretical model describing the resonant frequencies in rectangular and cylindrical tanks. It presents an experimental validation in the rectangular case. The resonant frequencies are determined and then used to construct a theoretical model for the free dam** of viscous fluids. The predictions of the model are qualitatively analysed. The higher the resonant frequency, the higher the attenuation associated with that mode. Adding a layer of a more viscous liquid, even a thin one, significantly increases the attenuation. In addition, the addition of a layer of polystyrene beads prevents excitation at low frequencies. However, experiments are still needed to find out exactly what physical phenomena explain this. In addition. Finally, an algorithm is designed and implemented in a Matlab code to determine the behaviour of the liquid when subjected to a horizontal sinusoidal excitation. The results of the algorithm are promising, but it still encounters convergence problems for extreme cases. The algorithm can be used to make theoretical predictions for rocket propellants. The application of this research to the Bella Lui rocket of the EPFL rocket team is discussed.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Memristor-based cryogenic programmable DC sources for scalable in-situ quantum-dot control
Authors:
Pierre-Antoine Mouny,
Yann Beilliard,
Sébastien Graveline,
Marc-Antoine Roux,
Abdelouadoud El Mesoudy,
Raphaël Dawant,
Pierre Gliech,
Serge Ecoffey,
Fabien Alibart,
Michel Pioro-Ladrière,
Dominique Drouin
Abstract:
Current quantum systems based on spin qubits are controlled by classical electronics located outside the cryostat at room temperature. This approach creates a major wiring bottleneck, which is one of the main roadblocks toward truly scalable quantum computers. Thus, we propose a scalable memristor-based programmable DC source that could be used to perform biasing of quantum dots inside of the cryo…
▽ More
Current quantum systems based on spin qubits are controlled by classical electronics located outside the cryostat at room temperature. This approach creates a major wiring bottleneck, which is one of the main roadblocks toward truly scalable quantum computers. Thus, we propose a scalable memristor-based programmable DC source that could be used to perform biasing of quantum dots inside of the cryostat (i.e. in-situ). This novel cryogenic approach would enable to control the applied voltage on the electrostatic gates by programming the resistance of the memristors, thus storing in the latter the appropriate conditions to form the quantum dots. In this study, we first demonstrate multilevel resistance programming of a TiO2-based memristors at 4.2 K, an essential feature to achieve voltage tunability of the memristor-based DC source. We then report hardwarebased simulations of the electrical performance of the proposed DC source. A cryogenic TiO2-based memristor model fitted on our experimental data at 4.2 K was used to show a 1 V voltage range and 100 uV in-situ memristor-based DC source. Finally, we simulate the biasing of double quantum dots enabling sub-2 minutes in-situ charge stability diagrams. This demonstration is a first step towards more advanced cryogenic applications for resistive memories such as cryogenic control electronics for quantum computers.
△ Less
Submitted 22 March, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Miniaturizing neural networks for charge state autotuning in quantum dots
Authors:
Stefanie Czischek,
Victor Yon,
Marc-Antoine Genest,
Marc-Antoine Roux,
Sophie Rochette,
Julien Camirand Lemyre,
Mathieu Moras,
Michel Pioro-Ladrière,
Dominique Drouin,
Yann Beilliard,
Roger G. Melko
Abstract:
A key challenge in scaling quantum computers is the calibration and control of multiple qubits. In solid-state quantum dots, the gate voltages required to stabilize quantized charges are unique for each individual qubit, resulting in a high-dimensional control parameter space that must be tuned automatically. Machine learning techniques are capable of processing high-dimensional data - provided th…
▽ More
A key challenge in scaling quantum computers is the calibration and control of multiple qubits. In solid-state quantum dots, the gate voltages required to stabilize quantized charges are unique for each individual qubit, resulting in a high-dimensional control parameter space that must be tuned automatically. Machine learning techniques are capable of processing high-dimensional data - provided that an appropriate training set is available - and have been successfully used for autotuning in the past. In this paper, we develop extremely small feed-forward neural networks that can be used to detect charge-state transitions in quantum dot stability diagrams. We demonstrate that these neural networks can be trained on synthetic data produced by computer simulations, and robustly transferred to the task of tuning an experimental device into a desired charge state. The neural networks required for this task are sufficiently small as to enable an implementation in existing memristor crossbar arrays in the near future. This opens up the possibility of miniaturizing powerful control elements on low-power hardware, a significant step towards on-chip autotuning in future quantum dot computers.
△ Less
Submitted 30 November, 2021; v1 submitted 8 January, 2021;
originally announced January 2021.
-
FAR-Cubicle - A new reachability algorithm for Cubicle
Authors:
Sylvain Conchon,
Amit Goel,
Sava Krstic,
Rupak Majumdar,
Mattias Roux
Abstract:
We present a fully automatic algorithm for verifying safety properties of parameterized software systems. This algorithm is based on both IC3 and Lazy Annotation. We implemented it in Cubicle, a model checker for verifying safety properties of array-based systems. Cache-coherence protocols and mutual exclusion algorithms are known examples of such systems. Our algorithm iteratively builds an abstr…
▽ More
We present a fully automatic algorithm for verifying safety properties of parameterized software systems. This algorithm is based on both IC3 and Lazy Annotation. We implemented it in Cubicle, a model checker for verifying safety properties of array-based systems. Cache-coherence protocols and mutual exclusion algorithms are known examples of such systems. Our algorithm iteratively builds an abstract reachability graph refining the set of reachable states from counterexamples. Refining is made through counterexample approximation. We show the effectiveness and limitations of this algorithm and tradeoffs that results from it.
△ Less
Submitted 20 November, 2018;
originally announced November 2018.
-
A comparative study of divisive hierarchical clustering algorithms
Authors:
Maurice Roux
Abstract:
A general scheme for divisive hierarchical clustering algorithms is proposed. It is made of three main steps : first a splitting procedure for the subdivision of clusters into two subclusters, second a local evaluation of the bipartitions resulting from the tentative splits and, third, a formula for determining the nodes levels of the resulting dendrogram. A number of such algorithms is given. The…
▽ More
A general scheme for divisive hierarchical clustering algorithms is proposed. It is made of three main steps : first a splitting procedure for the subdivision of clusters into two subclusters, second a local evaluation of the bipartitions resulting from the tentative splits and, third, a formula for determining the nodes levels of the resulting dendrogram. A number of such algorithms is given. These algorithms are compared using the Goodman-Kruskal correlation coefficient. As a global criterion it is an internal goodness-of-fit measure based on the set order induced by the hierarchy compared to the order associated to the given dissimilarities. Applied to a hundred of random data tables, these comparisons are in favor of two methods based on unusual ratio-type formulas for the splitting procedures, namely the Silhouette criterion and Dunn's criterion. These two criteria take into account both the within cluster and the between cluster mean dissimilarity. In general the results of these two algorithms are better than the classical Agglomerative Average Link method.
△ Less
Submitted 5 September, 2015; v1 submitted 30 June, 2015;
originally announced June 2015.
-
Information theory: Sources, Dirichlet series, and realistic analyses of data structures
Authors:
Mathieu Roux,
Brigitte Vallée
Abstract:
Most of the text algorithms build data structures on words, mainly trees, as digital trees (tries) or binary search trees (bst). The mechanism which produces symbols of the words (one symbol at each unit time) is called a source, in information theory contexts. The probabilistic behaviour of the trees built on words emitted by the same source depends on two factors: the algorithmic properties…
▽ More
Most of the text algorithms build data structures on words, mainly trees, as digital trees (tries) or binary search trees (bst). The mechanism which produces symbols of the words (one symbol at each unit time) is called a source, in information theory contexts. The probabilistic behaviour of the trees built on words emitted by the same source depends on two factors: the algorithmic properties of the tree, together with the information-theoretic properties of the source. Very often, these two factors are considered in a too simplified way: from the algorithmic point of view, the cost of the Bst is only measured in terms of the number of comparisons between words --from the information theoretic point of view, only simple sources (memoryless sources or Markov chains) are studied.
We wish to perform here a realistic analysis, and we choose to deal together with a general source and a realistic cost for data structures: we take into account comparisons between symbols, and we consider a general model of source, related to a dynamical system, which is called a dynamical source. Our methods are close to analytic combinatorics, and our main object of interest is the generating function of the source Lambda(s), which is here of Dirichlet type. Such an object transforms probabilistic properties of the source into analytic properties. The tameness of the source, which is defined through analytic properties of Lambda(s), appears to be central in the analysis, and is precisely studied for the class of dynamical sources. We focus here on arithmetical conditions, of diophantine type, which are sufficient to imply tameness on a domain with hyperbolic shape.
△ Less
Submitted 17 August, 2011;
originally announced August 2011.
-
A mathematical model for rogue waves using Saint-Venant equations with friction
Authors:
Alain-Yves Le Roux,
Marie-Noëlle Le Roux
Abstract:
We propose to construct a temporary wave on the surface of the ocean, as a particular solution of the Saint-Venant equations with a source term involving the friction, whose shape is expected to mimic a rogue wave.
We propose to construct a temporary wave on the surface of the ocean, as a particular solution of the Saint-Venant equations with a source term involving the friction, whose shape is expected to mimic a rogue wave.
△ Less
Submitted 19 May, 2009;
originally announced May 2009.
-
Numerical Solution of a parabolic system with blowup of the solution
Authors:
Marie-Noëlle Le Roux
Abstract:
In this paper, the author proposes a numerical method to solve a parabolic system of two quasilinear equations of nonlinear heat conduction with sources. The solution of this system may blow up in finite time. It is proved that the numerical solution also may blow up in finite time and an estimate of this time is obtained. The convergence of the scheme is obtained for particular values of the pa…
▽ More
In this paper, the author proposes a numerical method to solve a parabolic system of two quasilinear equations of nonlinear heat conduction with sources. The solution of this system may blow up in finite time. It is proved that the numerical solution also may blow up in finite time and an estimate of this time is obtained. The convergence of the scheme is obtained for particular values of the parameters.
△ Less
Submitted 18 May, 2009;
originally announced May 2009.
-
Numerical Solution of a nonlinear reaction-diffusion problem in the case of HS-regime
Authors:
Marie-Noëlle Le Roux
Abstract:
In this paper, the authors propose a numerical method to compute the solution of a nonlinear reaction-diffusion problem in the case of HS-regime. The initial condition is a nonnegative function with compact support. The problem is split in two parts: A hyperbolic term solved by using the Hopf and Lax formula and a parabolic term solved by a backward linearized Euler method in time and a finite e…
▽ More
In this paper, the authors propose a numerical method to compute the solution of a nonlinear reaction-diffusion problem in the case of HS-regime. The initial condition is a nonnegative function with compact support. The problem is split in two parts: A hyperbolic term solved by using the Hopf and Lax formula and a parabolic term solved by a backward linearized Euler method in time and a finite element method in space. Estimates of the numerical solution are obtained and it is proved that any numerical solution blows up in finite time.
△ Less
Submitted 18 May, 2009;
originally announced May 2009.
-
Numerical Solution of a parabolic problem arising in finance
Authors:
Marie-Noëlle Le Roux
Abstract:
The optimal replication strategy for incomplete markets is obtained by solving a system of partial differential equations. In this paper, we study existence and uniqueness of the solution in suitable Sobolev spaces and propose a numerical method to compute the optimal strategy
The optimal replication strategy for incomplete markets is obtained by solving a system of partial differential equations. In this paper, we study existence and uniqueness of the solution in suitable Sobolev spaces and propose a numerical method to compute the optimal strategy
△ Less
Submitted 18 May, 2009;
originally announced May 2009.