Showing 1–46 of 46 results for author: Brunet, P

Development and optimization of large-scale integration of 2D material in memristors

Authors: Clotilde Ligaud, Lucie Le Van-Jodin, Bruno Reig, Pierre Trousset, Paul Brunet, Michaël Bertucchi, Clémence Hellion, Nicolas Gauthier, Le Van-Hoan, Hanako Okuno, Djordje Dosenovic, Stéphane Cadot, Remy Gassilloud, Matthieu Jamet

Abstract: Two-dimensional (2D) materials like transition metal dichalcogenides (TMD) have proved to be serious candidates to replace silicon in several technologies with enhanced performances. In this respect, the two remaining challenges are the wafer scale growth of TMDs and their integration into operational devices using clean room compatible processes. In this work, two different CMOS-compatible protoc… ▽ More Two-dimensional (2D) materials like transition metal dichalcogenides (TMD) have proved to be serious candidates to replace silicon in several technologies with enhanced performances. In this respect, the two remaining challenges are the wafer scale growth of TMDs and their integration into operational devices using clean room compatible processes. In this work, two different CMOS-compatible protocols are developed for the fabrication of MoS$_2$-based memristors, and the resulting performances are compared. The quality of MoS$_2$ at each stage of the process is characterized by Raman spectroscopy and x-ray photoemission spectroscopy. In the first protocol, the structure of MoS$_2$ is preserved during transfer and patterning processes. However, a polymer layer with a minimum thickness of 3 nm remains at the surface of MoS$_2$ limiting the electrical switching performances. In the second protocol, the contamination layer is completely removed resulting in improved electrical switching performances and reproducibility. Based on physico-chemical and electrical results, the switching mechanism is discussed in terms of conduction through grain boundaries. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: 11 pages, 6 figures

AI driven shadow model detection in agropv farms

Authors: Sai Paavan Kumar Dornadula, Pascal Brunet, Dr. Susan Elias

Abstract: Agro-photovoltaic (APV) is a growing farming practice that combines agriculture and solar photovoltaic projects within the same area. This emerging market is expected to experience significant growth in the next few years, with a projected investment of $9 billion in 2030. Identifying shadows is crucial to understanding the APV environment, as they impact plant growth, microclimate, and evapotrans… ▽ More Agro-photovoltaic (APV) is a growing farming practice that combines agriculture and solar photovoltaic projects within the same area. This emerging market is expected to experience significant growth in the next few years, with a projected investment of $9 billion in 2030. Identifying shadows is crucial to understanding the APV environment, as they impact plant growth, microclimate, and evapotranspiration. In this study, we use state-of-the-art CNN and GAN-based neural networks to detect shadows in agro-PV farms, demonstrating their effectiveness. However, challenges remain, including partial shadowing from moving objects and real-time monitoring. Future research should focus on develo** more sophisticated neural network-based shadow detection algorithms and integrating them with control systems for APV farms. Overall, shadow detection is crucial to increase productivity and profitability while supporting the environment, soil, and farmers. △ Less

Submitted 16 April, 2023; originally announced April 2023.

Comparative Study of MPPT and Parameter Estimation of PV cells

Authors: Sahil Kumar, Sahitya Gupta, Vajayant Pratik, Pascal Brunet

Abstract: The presented work focuses on utilising machine learning techniques to accurately estimate accurate values for known and unknown parameters of the PVLIB model for solar cells and photovoltaic modules.Finding accurate model parameters of circuits for photovoltaic (PV) cells is important for a variety of tasks. An Artificial Neural Network (ANN) algorithm was employed, which outperformed other metah… ▽ More The presented work focuses on utilising machine learning techniques to accurately estimate accurate values for known and unknown parameters of the PVLIB model for solar cells and photovoltaic modules.Finding accurate model parameters of circuits for photovoltaic (PV) cells is important for a variety of tasks. An Artificial Neural Network (ANN) algorithm was employed, which outperformed other metaheuristic and machine learning algorithms in terms of computational efficiency. To validate the consistency of the data and output, the results were compared against other machine learning algorithms based on irradiance and temperature. A Bland Altman test was conducted that resulted in more than 95 percent accuracy rate. Upon validation, the ANN algorithm was utilised to estimate the parameters and their respective values. △ Less

Submitted 16 April, 2023; originally announced April 2023.

Elucidating the oscillation instability of sessile drops triggered by surface acoustic waves

Authors: Nicolas Chastrette, Michael Baudoin, Philippe Brunet, Laurent Royon, Regis Wunenburger

Abstract: The oscillation instability of sessile drops is ubiquitous in surface acoustic wave (SAW)-powered digital microfluidics. Yet, the physics underlying these phenomena has not been elucidated owing to the interplay between hydrodynamics, acoustics and capillarity. We decipher the instability by combining high-speed imaging with pressure measurements. We rationalize the observed behaviour with a model… ▽ More The oscillation instability of sessile drops is ubiquitous in surface acoustic wave (SAW)-powered digital microfluidics. Yet, the physics underlying these phenomena has not been elucidated owing to the interplay between hydrodynamics, acoustics and capillarity. We decipher the instability by combining high-speed imaging with pressure measurements. We rationalize the observed behaviour with a model inspired from optomechanics, which couples an intracavity acoustic mode excited by the SAW to a surface deformation eigenmode through amplitude modulation and delayed radiation pressure feedback. △ Less

Submitted 21 January, 2022; originally announced January 2022.

Comments: 6 pages, 4 figures

Electron microscopy study of scratch-induced surface microstructures in an Al-Cu-Fe icosahedral quasicrystal

Authors: J. Wu, Valerie Brien, P. Brunet, C. Dong, J. Dubois

Abstract: Microstructure modifications induced by sliding a WC-Co indenter in scratch tests on the surface of a single phase AlCuFe icosahedral quasicrystal (IQC) was studied by scanning electron microscopy (SEM) and transmission electron microscopy (TEM). The scratch track was shown tocomprise many smaller tracks. Dislocations were discovered to emerge from the edges of the smaller scratch tracks. Along a… ▽ More Microstructure modifications induced by sliding a WC-Co indenter in scratch tests on the surface of a single phase AlCuFe icosahedral quasicrystal (IQC) was studied by scanning electron microscopy (SEM) and transmission electron microscopy (TEM). The scratch track was shown tocomprise many smaller tracks. Dislocations were discovered to emerge from the edges of the smaller scratch tracks. Along a small track where shear stress is concentrated, a phase transition from IQC to a body-centered cubic (b.c.c.) phase with lattice parameter a=0.29 nm was pointed out. A modulated quasicrystal state as well as a deformation twin of IQC were determined in the region beneath the scratch. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Journal ref: Philosophical Magazine a, Informa UK (Taylor & Francis), 2009, 80 (7), pp.1645-1655

Scratch-induced surface microstructures on the deformed surface of Al-Cu-Fe icosahedral quasicrystals

Authors: J. S Wu, Valerie Brien, P. Brunet, C. Dong, J. -M Dubois

Abstract: Scanning electron microscopy (SEM) and transmission electron microscopy (TEM) investigations of sintered Al-Cu-Fe icosahedral quasicrystal (IQC) have been carried out to understand the origin of some ductility previously noticed within tracks produced by standard tribological scratch tests. Transformation of the icosahedral phase to a modulated structure is shown and a transformation of the IQC to… ▽ More Scanning electron microscopy (SEM) and transmission electron microscopy (TEM) investigations of sintered Al-Cu-Fe icosahedral quasicrystal (IQC) have been carried out to understand the origin of some ductility previously noticed within tracks produced by standard tribological scratch tests. Transformation of the icosahedral phase to a modulated structure is shown and a transformation of the IQC to a bcc phase has been found beneath the tracks. Twins and dislocations have also been observed. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Journal ref: Materials Science and Engineering: A, Elsevier, 2000, 294-296, pp.846-849

Partially Observable Concurrent Kleene Algebra

Authors: Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Abstract: We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with control structures, such as conditionals and loops. POCKA enables reasoning about programs that can access variables and values, which we illustrate through concrete examples. We prove that POCKA is a sound and complete axiomatisation of a model of partial observatio… ▽ More We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with control structures, such as conditionals and loops. POCKA enables reasoning about programs that can access variables and values, which we illustrate through concrete examples. We prove that POCKA is a sound and complete axiomatisation of a model of partial observations, and show the semantics passes an important check for sequential consistency. △ Less

Submitted 22 July, 2020; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: Accepted for publication at CONCUR 2020

Journal ref: Proc. CONCUR 2020, 20:1-20:22

Acoustic streaming generated by sharp edges: the coupled influences of liquid viscosity and acoustic frequency

Authors: Chuanyu Zhang, Xiaofeng Guo, Laurent Royon, Philippe Brunet

Abstract: Acoustic streaming can be generated around sharp structures, even when the acoustic wavelength is much larger than the vessel size. This sharp-edge streaming can be relatively intense, \textcolor{blue}{owing to the strongly focused inertial effect experienced by the acoustic flow near the tip.} We conducted experiments with Particle Image Velocimetry to quantify this streaming flow through the inf… ▽ More Acoustic streaming can be generated around sharp structures, even when the acoustic wavelength is much larger than the vessel size. This sharp-edge streaming can be relatively intense, \textcolor{blue}{owing to the strongly focused inertial effect experienced by the acoustic flow near the tip.} We conducted experiments with Particle Image Velocimetry to quantify this streaming flow through the influence of liquid viscosity $ν$, from 1 mm$^2$/s to 30 mm$^2$/s, and acoustic frequency $f$ from 500 Hz to 3500 Hz. Both quantities supposedly influence the thickness of the viscous boundary layer $δ= \left(\fracν{πf}\right)^{1/2}$. For all situations, the streaming flow appears as a main central jet from the tip, generating two lateral vortices beside the tip and outside the boundary layer. As a characteristic streaming velocity, the maximal velocity is located at a distance of $δ$ from the tip, and it increases as the square of the acoustic velocity. We then provide empirical scaling laws to quantify the influence of $ν$ and $f$ on the streaming velocity. Globally, the streaming velocity is dramatically weakened by a higher viscosity, whereas the flow pattern and the disturbance distance remain similar regardless of viscosity. Besides viscosity, the frequency also strongly influences the maximal streaming velocity. △ Less

Submitted 19 June, 2020; originally announced June 2020.

Comments: 17 pages, 11 figures, Reviseed version for Micromachines (Special Issue Acoustofluidics)

Unveiling of the mechanisms of acoustic streaming induced by sharp edges

Authors: Chuanyu Zhang, Xiaofeng Guo, Laurent Royon, Philippe Brunet

Abstract: Acoustic waves can generate steady streaming within a fluid owing to the generation of viscous boundary layers near walls, of typical thickness $δ$. In microchannels, the acoustic wavelength $λ$ is adjusted to twice the channel width $w$ to ensure a resonance condition, which implies the use of MHz transducers. Recently though, intense acoustic streaming was generated by acoustic waves of a few kH… ▽ More Acoustic waves can generate steady streaming within a fluid owing to the generation of viscous boundary layers near walls, of typical thickness $δ$. In microchannels, the acoustic wavelength $λ$ is adjusted to twice the channel width $w$ to ensure a resonance condition, which implies the use of MHz transducers. Recently though, intense acoustic streaming was generated by acoustic waves of a few kHz (hence with $λ\gg w$), owing to the presence of sharp-tipped structures of curvature radius at the tip $r_c$ smaller than $δ$. The present study quantitatively investigates this sharp-edge acoustic streaming via the direct resolution of the full Navier-Stokes equation, using Finite Element Method. The influence of $δ$, $r_c$ and viscosity $ν$ on the acoustic streaming performance are quantified. Our results suggest choices of operating conditions and geometrical parameters, via dimensionless quantities $r_c/δ$ and $δ/w$ and provide guidelines on how to obtain strong, optimal sharp-edge acoustic streaming. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 33 pages, 11 figures

Journal ref: Phys. Rev. E 102, 043110 (2020)

Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness

Authors: Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Abstract: Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally misses tests, which are needed to model standard programming constructs such as conditionals and $\mathsf{while}$-loops. It turns out that integrating tests in CKA is subtle, due to their interaction with parallelism. In th… ▽ More Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally misses tests, which are needed to model standard programming constructs such as conditionals and $\mathsf{while}$-loops. It turns out that integrating tests in CKA is subtle, due to their interaction with parallelism. In this paper we provide a solution in the form of Concurrent Kleene Algebra with Observations (CKAO). Our main contribution is a completeness theorem for CKAO. Our result resorts on a more general study of CKA "with hypotheses", of which CKAO turns out to be an instance: this analysis is of independent interest, as it can be applied to extensions of CKA other than CKAO. △ Less

Submitted 22 February, 2020; originally announced February 2020.

Journal ref: Proc. FoSSaCS 2020, pp 381-400

Characterization of microwave absorption in carbon nanotubes using resonance aperture transmission method

Authors: O. Malyuskin, P. Brunet, D. Mariotti, R. McGlynn, P. Maguire

Abstract: A new method to characterize microwave electromagnetic absorption of a bulk carbon nanotube material is proposed and experimentally evaluated in this paper. The method is based on the measurement of microwave transmission through a capacitive-resonator aperture in a conductive screen loaded with a CNT sample under test. This method allows to measure microwave permittivity and absorption of thin sa… ▽ More A new method to characterize microwave electromagnetic absorption of a bulk carbon nanotube material is proposed and experimentally evaluated in this paper. The method is based on the measurement of microwave transmission through a capacitive-resonator aperture in a conductive screen loaded with a CNT sample under test. This method allows to measure microwave permittivity and absorption of thin samples, several atomic layers to few micrometers thick, with linear dimensions much smaller than the wavelength of radiation in free space. This minimal sample requirement restricts the application of conventional microwave characterization methods such as free-space or waveguide permittivity characterization. It is demonstrated that the resonance E-field enhancement inside the CRA leads to strong EM interaction of the microwave E-field with the CNT sample under test thus enabling high sensitivity and dynamic range of the measurement procedure. Another advantage of the proposed technique over conventional non-resonance characterization methods is that in the resonance transmission band, the CRA operation is reflection-less which leads to a relatively simple qualitative algebraic de-embedding procedure of the material parameters based on the principle of energy conservation. The experimental microwave absorption data of the multiwall CNT samples are presented in the S frequency band (2-4GHz), demonstrating microwave absorption properties of the multiwall CNT ribbons. △ Less

Submitted 24 January, 2020; originally announced January 2020.

Vortex elongation in outer streaming flows

Authors: Seyed Amir Bahrani, Nicolas Périnet, Maxime Costalonga, Laurent Royon, Philippe Brunet

Abstract: We study the secondary time-averaged flow (streaming) generated by an oscillating cylinder immersed within a fluid, under high amplitude forcing so that inertial effects are significant. This streaming is decomposed into a viscous boundary layer flow where vorticity is created, and an outer flow of larger size. We operate under conditions of relatively low viscosity, so that the boundary layer is… ▽ More We study the secondary time-averaged flow (streaming) generated by an oscillating cylinder immersed within a fluid, under high amplitude forcing so that inertial effects are significant. This streaming is decomposed into a viscous boundary layer flow where vorticity is created, and an outer flow of larger size. We operate under conditions of relatively low viscosity, so that the boundary layer is smaller than the object diameter. While for low Keulegan-Carpenter (KC) number (small enough amplitude), the size of the outer flow is typically that of the object, here we show that at large enough forcing, the outer flow stretches along the direction of the vibration by up to 8 times, while the flow still keeps its axial symmetry. We quantify the elongation through PIV measurements under an unprecedented range of frequency and amplitude, so that the streaming Reynolds number reaches values much larger than unity. The absence of significant unsteady component of vorticity outside the viscous boundary layer - and the fact that the length of elongation scales well with the streaming Reynolds number - suggest that the stretching should be due to the convection of stationary vorticity by the streaming flow itself. △ Less

Submitted 4 January, 2020; originally announced January 2020.

Comments: 23 pages, 11 figures, Submitted to Experiments in Fluids

Directional motion of vibrated sessile drops : a quantitative study

Authors: Maxime Costalonga, Philippe Brunet

Abstract: The directional motion of sessile drops can be induced by slanted mechanical vibrations of the substrate. As previously evidenced \cite{Brunet07,Brunet09,Noblin09}, the mechanical vibrations induce drop deformations which combine axisymmetric and antisymmetric modes. In this paper, we establish quantitative trends from experiments conducted within a large range of parameters, namely the amplitude… ▽ More The directional motion of sessile drops can be induced by slanted mechanical vibrations of the substrate. As previously evidenced \cite{Brunet07,Brunet09,Noblin09}, the mechanical vibrations induce drop deformations which combine axisymmetric and antisymmetric modes. In this paper, we establish quantitative trends from experiments conducted within a large range of parameters, namely the amplitude $A$ and frequency $f$ of the forcing, the liquid viscosity $η$ and the angle between the substrate and the forcing axis $α$. These experiments are carried out on weak-pinning substrates. For most parameters sets, the averaged velocity $<v>$ grows linearly with $A$. We extract the mobility, defined as $s=\frac{Δ<v>}{ΔA}$. It is found that $s$ can show a sharp maximal value close to the resonance frequency of the first axisymmetric mode $f_p$. The value of $s$ tends to be almost independent on $η$ below 50 cSt, while $s$ decreases significantly for higher $η$. Also, it is found that for peculiar sets of parameters, particularly with $f$ far enough from $f_p$, the drop moves in the reverse direction. Finally, we draw a relationship between $<v>$ and the averaged values of the dynamical contact angles at both sides of the drop over one period of oscillation. △ Less

Submitted 3 January, 2020; originally announced January 2020.

Comments: 17 pages, 10 figures

Journal ref: Phys. Rev. Fluids 5, 023601 (2020)

A criterion for the pinning and depinning of an advancing contact line on a cold substrate

Authors: Rémy Herbaut, Julien Dervaux, Philippe Brunet, Laurent Royon, Laurent Limat

Abstract: The influence of solidification on the spreading of liquids is addressed in the situation of an advancing liquid wedge on a cold substrate at $T_p < T_f$, of infinite thermal conductivity, where $T_f$ is the melting temperature. We propose a model derived from lubrication theory of contact-line dynamics, where an equilibrium between capillary pressure and viscous stress is at play, adapted here fo… ▽ More The influence of solidification on the spreading of liquids is addressed in the situation of an advancing liquid wedge on a cold substrate at $T_p < T_f$, of infinite thermal conductivity, where $T_f$ is the melting temperature. We propose a model derived from lubrication theory of contact-line dynamics, where an equilibrium between capillary pressure and viscous stress is at play, adapted here for the geometry of a quadruple line where the vapour, liquid, solidified liquid and basal substrate meet. The Stefan thermal problem is solved in an intermediate region between molecular and mesoscopic scales, allowing to predict the shape of the solidified liquid surface. The apparent contact angle versus advancing velocity $U$ exhibits a minimal value, which is set as the transition from continuous advancing to pinning. We postulate that this transition corresponds to the experimentally observed critical velocity, dependent on undercooling temperature $T_f-T_p$, below which the liquid is pinned and advances with stick-slip dynamics. The analytical solution of the model shows a qualitatively fair agreement with experimental data. We discuss on the way to get better quantitative agreement, which in particular can be obtained when the mesoscopic cut-off length is made temperature-dependent. △ Less

Submitted 2 January, 2020; originally announced January 2020.

Comments: 13 pages, 6 figures, Proceedings of conference "NAWET" - Challenges in Nanoscale Physics of Wetting Phenomena

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra

Authors: Paul Brunet, David Pym

Abstract: Concurrent Kleene Algebra is an elegant tool for equational reasoning about concurrent programs. An important feature of concurrent programs that is missing from CKA is the ability to restrict legal interleavings. To remedy this we extend the standard model of CKA, namely pomsets, with a new feature, called boxes, which can specify that part of the system is protected from outside interference. We… ▽ More Concurrent Kleene Algebra is an elegant tool for equational reasoning about concurrent programs. An important feature of concurrent programs that is missing from CKA is the ability to restrict legal interleavings. To remedy this we extend the standard model of CKA, namely pomsets, with a new feature, called boxes, which can specify that part of the system is protected from outside interference. We study the algebraic properties of this new model. Another drawback of CKA is that the language used for expressing properties of programs is the same as that which is used to express programs themselves. This is often too restrictive for practical purposes. We provide a logic, 'pomset logic', that is an assertion language for specifying such properties, and which is interpreted on pomsets with boxes. In contrast with other approaches, this logic is not state-based, but rather characterizes the runtime behaviour of a program. We develop the basic metatheory for the relationship between pomset logic and CKA, including frame rules to support local reasoning, and illustrate this relationship with simple examples. △ Less

Submitted 5 May, 2020; v1 submitted 31 October, 2019; originally announced October 2019.

A note on commutative Kleene algebra

Authors: Paul Brunet

Abstract: In this paper we present a detailed proof of an important result of algebraic logic: namely that the free commutative Kleene algebra is the space of semilinear sets. The first proof of this result was proposed by Redko in 1964, and simplified and corrected by Pilling in his 1970 thesis. However, we feel that a new account of this proof is needed now. This result has acquired a particular importanc… ▽ More In this paper we present a detailed proof of an important result of algebraic logic: namely that the free commutative Kleene algebra is the space of semilinear sets. The first proof of this result was proposed by Redko in 1964, and simplified and corrected by Pilling in his 1970 thesis. However, we feel that a new account of this proof is needed now. This result has acquired a particular importance in recent years, since it is a key component in the completeness proofs of several algebraic models of concurrent computations (bi-Kleene algebra, concurrent Kleene algebra...). To that effect, we present a new proof of this result. △ Less

Submitted 31 October, 2019; originally announced October 2019.

A complete axiomatisation of reversible Kleene lattices

Authors: Paul Brunet

Abstract: We consider algebras of languages over the signature of reversible Kleene lattices, that is the regular operations (empty and unit languages, union, concatenation and Kleene star) together with intersection and mirror image. We provide a complete set of axioms for the equational theory of these algebras. This proof was developed in the proof assistant Coq. We consider algebras of languages over the signature of reversible Kleene lattices, that is the regular operations (empty and unit languages, union, concatenation and Kleene star) together with intersection and mirror image. We provide a complete set of axioms for the equational theory of these algebras. This proof was developed in the proof assistant Coq. △ Less

Submitted 21 February, 2019; originally announced February 2019.

On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata

Authors: Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Abstract: Concurrent Kleene Algebra (CKA) is a formalism to study concurrent programs. Like previous Kleene Algebra extensions, develo** a correspondence between denotational and operational perspectives is important, for both foundations and applications. This paper takes an important step towards such a correspondence, by precisely relating bi-Kleene Algebra (BKA), a fragment of CKA, to a novel type of… ▽ More Concurrent Kleene Algebra (CKA) is a formalism to study concurrent programs. Like previous Kleene Algebra extensions, develo** a correspondence between denotational and operational perspectives is important, for both foundations and applications. This paper takes an important step towards such a correspondence, by precisely relating bi-Kleene Algebra (BKA), a fragment of CKA, to a novel type of automata, pomset automata (PAs). We show that PAs can implement the BKA semantics of series-parallel rational expressions, and that a class of PAs can be translated back to these expressions. We also characterise the behavior of general PAs in terms of context-free pomset grammars; consequently, universality, equivalence and series-parallel rationality of general PAs are undecidable. △ Less

Submitted 14 December, 2018; v1 submitted 7 December, 2018; originally announced December 2018.

Comments: Accepted manuscript

Journal ref: J. Log. Algebraic Methods Program. 103, pp 130-153, 2019

Kleene Algebra with Observations

Authors: Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Abstract: Kleene algebra with tests (KAT) is an algebraic framework for reasoning about the control flow of sequential programs. Generalising KAT to reason about concurrent programs is not straightforward, because axioms native to KAT in conjunction with expected axioms for concurrency lead to an anomalous equation. In this paper, we propose Kleene algebra with observations (KAO), a variant of KAT, as an al… ▽ More Kleene algebra with tests (KAT) is an algebraic framework for reasoning about the control flow of sequential programs. Generalising KAT to reason about concurrent programs is not straightforward, because axioms native to KAT in conjunction with expected axioms for concurrency lead to an anomalous equation. In this paper, we propose Kleene algebra with observations (KAO), a variant of KAT, as an alternative foundation for extending KAT to a concurrent setting. We characterise the free model of KAO, and establish a decision procedure w.r.t. its equational theory. △ Less

Submitted 21 August, 2019; v1 submitted 16 November, 2018; originally announced November 2018.

Journal ref: Proc. CONCUR 2019, pp 41:1-41:16

Equivalence checking for weak bi-Kleene algebra

Authors: Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Abstract: Pomset automata are an operational model of weak bi-Kleene algebra, which describes programs that can fork an execution into parallel threads, upon completion of which execution can join to resume as a single thread. We characterize a fragment of pomset automata that admits a decision procedure for language equivalence. Furthermore, we prove that this fragment corresponds precisely to series-ratio… ▽ More Pomset automata are an operational model of weak bi-Kleene algebra, which describes programs that can fork an execution into parallel threads, upon completion of which execution can join to resume as a single thread. We characterize a fragment of pomset automata that admits a decision procedure for language equivalence. Furthermore, we prove that this fragment corresponds precisely to series-rational expressions, i.e., rational expressions with an additional operator for bounded parallelism. As a consequence, we obtain a new proof that equivalence of series-rational expressions is decidable. △ Less

Submitted 11 August, 2021; v1 submitted 5 July, 2018; originally announced July 2018.

Journal ref: Logical Methods in Computer Science, Volume 17, Issue 3 (August 13, 2021) lmcs:7502

Drop spreading and gelation of thermoresponsive polymers

Authors: Riëlle de Ruiter, Laurent Royon, Jacco H. Snoeijer, Philippe Brunet

Abstract: Spreading and solidification of liquid droplets are elementary processes of relevance for additive manufacturing. Here we investigate the effect of heat transfer on spreading of a thermoresponsive solution (Pluronic F127) that undergoes a sol-gel transition above a critical temperature $T_m$. By controlling the concentration of Pluronic F127 we systematically vary $T_m$, while also imposing a broa… ▽ More Spreading and solidification of liquid droplets are elementary processes of relevance for additive manufacturing. Here we investigate the effect of heat transfer on spreading of a thermoresponsive solution (Pluronic F127) that undergoes a sol-gel transition above a critical temperature $T_m$. By controlling the concentration of Pluronic F127 we systematically vary $T_m$, while also imposing a broad range of temperatures of the solid and the liquid. We subsequently monitor the spreading dynamics over several orders of magnitude in time and determine when solidification stops the spreading. It is found that the main parameter is the difference between the substrate temperature and $T_m$, pointing to a local mechanism for arrest near the contact line. Unexpectedly, the spreading is also found to stop below the gelation temparature, which we attribute to a local enhancement in polymer concentration due to evaporation near the contact line. △ Less

Submitted 4 January, 2018; originally announced January 2018.

Comments: 9 pages, 10 figures

Concurrent Kleene Algebra: Free Model and Completeness

Authors: Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi

Abstract: Concurrent Kleene Algebra (CKA) was introduced by Hoare, Moeller, Struth and Wehrman in 2009 as a framework to reason about concurrent programs. We prove that the axioms for CKA with bounded parallelism are complete for the semantics proposed in the original paper; consequently, these semantics are the free model for this fragment. This result settles a conjecture of Hoare and collaborators. Moreo… ▽ More Concurrent Kleene Algebra (CKA) was introduced by Hoare, Moeller, Struth and Wehrman in 2009 as a framework to reason about concurrent programs. We prove that the axioms for CKA with bounded parallelism are complete for the semantics proposed in the original paper; consequently, these semantics are the free model for this fragment. This result settles a conjecture of Hoare and collaborators. Moreover, the techniques developed along the way are reusable; in particular, they allow us to establish pomset automata as an operational model for CKA. △ Less

Submitted 26 February, 2018; v1 submitted 8 October, 2017; originally announced October 2017.

Comments: Version 2 includes an overview section that outlines the completeness proof, as well as some extra discussion of the interpolation lemma. It also includes better typography and a number of minor fixes. Version 3 incorporates the changes by comments from the anonymous referees at ESOP. Among other things, these include a worked example of computing the syntactic closure by hand

Journal ref: Proc. ESOP 2018, pp 856-882

Gaia Data Release 1. Testing the parallaxes with local Cepheids and RR Lyrae stars

Authors: Gaia Collaboration, G. Clementini, L. Eyer, V. Ripepi, M. Marconi, T. Muraveva, A. Garofalo, L. M. Sarro, M. Palmer, X. Luri, R. Molinaro, L. Rimoldini, L. Szabados, I. Musella, R. I. Anderson, T. Prusti, J. H. J. de Bruijne, A. G. A. Brown, A. Vallenari, C. Babusiaux, C. A. L. Bailer-Jones, U. Bastian, M. Biermann, D. W. Evans, F. Jansen , et al. (566 additional authors not shown)

Abstract: Parallaxes for 331 classical Cepheids, 31 Type II Cepheids and 364 RR Lyrae stars in common between Gaia and the Hipparcos and Tycho-2 catalogues are published in Gaia Data Release 1 (DR1) as part of the Tycho-Gaia Astrometric Solution (TGAS). In order to test these first parallax measurements of the primary standard candles of the cosmological distance ladder, that involve astrometry collected by… ▽ More Parallaxes for 331 classical Cepheids, 31 Type II Cepheids and 364 RR Lyrae stars in common between Gaia and the Hipparcos and Tycho-2 catalogues are published in Gaia Data Release 1 (DR1) as part of the Tycho-Gaia Astrometric Solution (TGAS). In order to test these first parallax measurements of the primary standard candles of the cosmological distance ladder, that involve astrometry collected by Gaia during the initial 14 months of science operation, we compared them with literature estimates and derived new period-luminosity ($PL$), period-Wesenheit ($PW$) relations for classical and Type II Cepheids and infrared $PL$, $PL$-metallicity ($PLZ$) and optical luminosity-metallicity ($M_V$-[Fe/H]) relations for the RR Lyrae stars, with zero points based on TGAS. The new relations were computed using multi-band ($V,I,J,K_{\mathrm{s}},W_{1}$) photometry and spectroscopic metal abundances available in the literature, and applying three alternative approaches: (i) by linear least squares fitting the absolute magnitudes inferred from direct transformation of the TGAS parallaxes, (ii) by adopting astrometric-based luminosities, and (iii) using a Bayesian fitting approach. TGAS parallaxes bring a significant added value to the previous Hipparcos estimates. The relations presented in this paper represent first Gaia-calibrated relations and form a "work-in-progress" milestone report in the wait for Gaia-only parallaxes of which a first solution will become available with Gaia's Data Release 2 (DR2) in 2018. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Comments: 29 pages, 25 figures. Accepted for publication by A&A

Journal ref: A&A 605, A79 (2017)

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

Authors: Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Abstract: Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurrent behaviour. As with previous extensions of Kleene Algebra, characterizing the free model is crucial in order to develop the foundations of the theory and potential applications. For CKA, this has been an open question for a few years and this paper makes an important step towards an answer. We pres… ▽ More Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurrent behaviour. As with previous extensions of Kleene Algebra, characterizing the free model is crucial in order to develop the foundations of the theory and potential applications. For CKA, this has been an open question for a few years and this paper makes an important step towards an answer. We present a new automaton model and a Kleene-like theorem that relates a relaxed version of CKA to series-parallel pomset languages, which are a natural candidate for the free model. There are two substantial differences with previous work: from expressions to automata, we use Brzozowski derivatives, which enable a direct construction of the automaton; from automata to expressions, we provide a syntactic characterization of the automata that denote valid CKA behaviours. △ Less

Submitted 22 October, 2017; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: Version 2 incorporates changes prompted by comments of the anonymous referees at CONCUR. Besides minor corrections, this includes additions to the introduction and the discussion section, as well as a proof of Lemma 2.5. Version 3 corrects the accent on the first author's surname in the metadata

Journal ref: Proc. CONCUR 2017, pp 25:1-25:16

Gaia Data Release 1. Open cluster astrometry: performance, limitations, and future prospects

Authors: Gaia Collaboration, F. van Leeuwen, A. Vallenari, C. Jordi, L. Lindegren, U. Bastian, T. Prusti, J. H. J. de Bruijne, A. G. A. Brown, C. Babusiaux, C. A. L. Bailer-Jones, M. Biermann, D. W. Evans, L. Eyer, F. Jansen, S. A. Klioner, U. Lammers, X. Luri, F. Mignard, C. Panem, D. Pourbaix, S. Randich, P. Sartoretti, H. I. Siddiqui, C. Soubiran , et al. (567 additional authors not shown)

Abstract: Context. The first Gaia Data Release contains the Tycho-Gaia Astrometric Solution (TGAS). This is a subset of about 2 million stars for which, besides the position and photometry, the proper motion and parallax are calculated using Hipparcos and Tycho-2 positions in 1991.25 as prior information. Aims. We investigate the scientific potential and limitations of the TGAS component by means of the ast… ▽ More Context. The first Gaia Data Release contains the Tycho-Gaia Astrometric Solution (TGAS). This is a subset of about 2 million stars for which, besides the position and photometry, the proper motion and parallax are calculated using Hipparcos and Tycho-2 positions in 1991.25 as prior information. Aims. We investigate the scientific potential and limitations of the TGAS component by means of the astrometric data for open clusters. Methods. Mean cluster parallax and proper motion values are derived taking into account the error correlations within the astrometric solutions for individual stars, an estimate of the internal velocity dispersion in the cluster, and, where relevant, the effects of the depth of the cluster along the line of sight. Internal consistency of the TGAS data is assessed. Results. Values given for standard uncertainties are still inaccurate and may lead to unrealistic unit-weight standard deviations of least squares solutions for cluster parameters. Reconstructed mean cluster parallax and proper motion values are generally in very good agreement with earlier Hipparcos-based determination, although the Gaia mean parallax for the Pleiades is a significant exception. We have no current explanation for that discrepancy. Most clusters are observed to extend to nearly 15 pc from the cluster centre, and it will be up to future Gaia releases to establish whether those potential cluster-member stars are still dynamically bound to the clusters. Conclusions. The Gaia DR1 provides the means to examine open clusters far beyond their more easily visible cores, and can provide membership assessments based on proper motions and parallaxes. A combined HR diagram shows the same features as observed before using the Hipparcos data, with clearly increased luminosities for older A and F dwarfs. △ Less

Submitted 3 March, 2017; originally announced March 2017.

Comments: Accepted for publication by A&A. 21 pages main text plus 46 pages appendices. 34 figures main text, 38 figures appendices. 8 table in main text, 19 tables in appendices

Journal ref: A&A 601, A19 (2017)

Petri Automata

Authors: Paul Brunet, Damien Pous

Abstract: Kleene algebra axioms are complete with respect to both language models and binary relation models. In particular, two regular expressions recognise the same language if and only if they are universally equivalent in the model of binary relations. We consider Kleene allegories, i.e., Kleene algebras with two additional operations and a constant which are natural in binary relation models: intersec… ▽ More Kleene algebra axioms are complete with respect to both language models and binary relation models. In particular, two regular expressions recognise the same language if and only if they are universally equivalent in the model of binary relations. We consider Kleene allegories, i.e., Kleene algebras with two additional operations and a constant which are natural in binary relation models: intersection, converse, and the full relation. While regular languages are closed under those operations, the above characterisation breaks. Putting together a few results from the literature, we give a characterisation in terms of languages of directed and labelled graphs. By taking inspiration from Petri nets, we design a finite automata model, Petri automata, allowing to recognise such graphs. We prove a Kleene theorem for this automata model: the sets of graphs recognisable by Petri automata are precisely the sets of graphs definable through the extended regular expressions we consider. Petri automata allow us to obtain decidability of identity-free relational Kleene lattices, i.e., the equational theory generated by binary relations on the signature of regular expressions with intersection, but where one forbids unit. This restriction is used to ensure that the corresponding graphs are acyclic. We actually show that this decision problem is EXPSPACE-complete. △ Less

Submitted 25 September, 2017; v1 submitted 6 February, 2017; originally announced February 2017.

MSC Class: 68Q45 ACM Class: F.4.3; F.1.1

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 3 (September 26, 2017) lmcs:3125

Influence of viscosity on acoustic streaming in sessile droplets: an experimental and a numerical study with a Streaming Source Spatial Filtering (SSSF) method

Authors: Antoine Riaud, Michael Baudoin, Oliver Bou Matar, Jean-Louis Thomas, Philippe Brunet

Abstract: When an acoustic wave travels in a lossy medium such as a liquid, it progressively transfers its pseudo-momentum to the fluid, which results in a steady acoustic streaming. Remarkably, the phenomenon involves a balance between sound attenuation and shear, such that viscosity vanishes in the final expression of the velocity field. For this reason, the effect of viscosity has long been ignored in ac… ▽ More When an acoustic wave travels in a lossy medium such as a liquid, it progressively transfers its pseudo-momentum to the fluid, which results in a steady acoustic streaming. Remarkably, the phenomenon involves a balance between sound attenuation and shear, such that viscosity vanishes in the final expression of the velocity field. For this reason, the effect of viscosity has long been ignored in acoustic streaming experiments. Here, we show experimentally that the viscosity plays a major role in cavities such as the streaming induced by surface acoustic waves in sessile droplets. We develop a numerical model based on the spatial filtering of the streaming source term to compute the induced flow motion with dramatically reduced computational requirements. We evidence that acoustic fields in droplets are a superposition of a chaotic field and a few powerful caustics. It appears that the caustics drive the flow, which allows a qualitative prediction of the flow structure. Finally, we reduce the problem to two dimensionless numbers related to the surface and bulk waves attenuation and simulate hemispherical sessile droplets resting on a lithium niobate substrate for a range of parameters. Even in such a baseline configuration, we observe at least four distinct flow regimes. For each of them, we establish a correlation of the average streaming speed in the droplet, which is increasingly dependent on the bulk wave attenuation as the viscosity increases. These correlations extend our results to a wide range of fluids and actuation frequencies. △ Less

Submitted 12 May, 2016; originally announced May 2016.

Dynamics of sessile and pendant drop excited by surface acoustic waves: gravity effects and correlation between oscillatory and translational motions

Authors: Adrien Bussonière, Michael Baudoin, Philippe Brunet, Olivier Bou Matar

Abstract: When sessile droplets are excited by ultrasonic traveling surface acoustic waves (SAWs), they undergo complex dynamics with both oscillations and translational motion. While the nature of the Rayleigh-Lamb quadrupolar drop oscillations has been identified, their origin and their influence on the drop mobility remains unexplained. Indeed the physics behind this peculiar dynamics is complex with non… ▽ More When sessile droplets are excited by ultrasonic traveling surface acoustic waves (SAWs), they undergo complex dynamics with both oscillations and translational motion. While the nature of the Rayleigh-Lamb quadrupolar drop oscillations has been identified, their origin and their influence on the drop mobility remains unexplained. Indeed the physics behind this peculiar dynamics is complex with nonlinearities involved both at the excitation level (acoustic streaming and radiation pressure) and in the droplet response (nonlinear oscillations and contact line dynamics). In this paper, we investigate the dynamics of sessile and pendant drops excited by SAWs. For pendant drops, so-far unreported dynamics are observed close to the drop detachment threshold with the suppression of the translational motion. Away from this threshold, the comparison between pendant and sessile drop dynamics allows us to identify the role played by gravity or more generally by an initial or dynamically induced stretching of the drop. In turn, we elucidate the origin of the resonance frequency shift, as well as the origin of the strong correlation between oscillatory and translational motion. We show that for sessile drops, the velocity is mainly determined by the amplitude of oscillation and that the saturation observed is due to the nonlinear dependence of the drop response frequency on the dynamically induced stretching. △ Less

Submitted 15 January, 2016; originally announced January 2016.

Journal ref: Phys. Rev. E 93, 053106 (2016)

Irreversible Collective Migration of Cyanobacteria in Eutrophic Conditions

Authors: Julien Dervaux, Annick Méjean, Philippe Brunet

Abstract: In response to natural or anthropocentric pollutions coupled to global climate changes, microorganisms from aquatic environments can suddenly accumulate on water surface. These dense suspensions, known as blooms, are harmful to ecosystems and significantly degrade the quality of water resources. In order to determine the physico-chemical parameters involved in their formation and quantitatively pr… ▽ More In response to natural or anthropocentric pollutions coupled to global climate changes, microorganisms from aquatic environments can suddenly accumulate on water surface. These dense suspensions, known as blooms, are harmful to ecosystems and significantly degrade the quality of water resources. In order to determine the physico-chemical parameters involved in their formation and quantitatively predict their appearance, we successfully reproduced irreversible cyanobacterial blooms in vitro. By combining chemical, biochemical and hydrodynamic evidences, we identify a mechanism, unrelated to the presence of internal gas vesicles, allowing the sudden collective upward migration in test tubes of several cyanobacterial strains (Microcystis aeruginosa PCC 7005, Microcystis aeruginosa PCC 7806 and Synechocystis sp. PCC 6803). The final state consists in a foamy layer of biomass at the air-liquid interface, in which micro-organisms remain alive for weeks, the medium lying below being almost completely depleted of cyanobacteria. These "laboratory blooms" start with the aggregation of cells at high ionic force in cyanobacterial strains that produce anionic extracellular polymeric substances (EPS). Under appropriate conditions of nutrients and light intensity, the high photosynthetic activity within cell clusters leads the dissolved oxygen (DO) to supersaturate and to nucleate into bubbles. Trapped within the EPS, these bubbles grow until their buoyancy pulls the biomass towards the free surface. By investigating a wide range of spatially homogeneous environmental conditions (illumination, salinity, cell and nutrient concentration) we identify species-dependent thresholds and timescales for bloom formation. We conclude on the relevance of such results for cyanobacterial bloom formation in the environment and we propose an efficient method for biomass harvesting in bioreactors. △ Less

Submitted 13 November, 2015; originally announced November 2015.

Comments: 16 Pages, 4 figures

Journal ref: PLoS ONE 10(3): e0120906 (2015)

A liquid contact line receding on a soft gel surface : dip-coating geometry investigation

Authors: Tadashi Kajiya, Philippe Brunet, Laurent Royon, Adrian Daerr, Mathieu Receveur, Laurent Limat

Abstract: We studied the dynamics of a liquid contact line receding on a hydrophobic soft gel (SBS-paraffin). In order to realize a well-defined geometry with an accurate control of velocity, a dip-coating setup was implemented. Provided that the elastic modulus is small enough, a significant deformation takes place near the contact line, which in turn drastically influences the wetting behaviour. Depending… ▽ More We studied the dynamics of a liquid contact line receding on a hydrophobic soft gel (SBS-paraffin). In order to realize a well-defined geometry with an accurate control of velocity, a dip-coating setup was implemented. Provided that the elastic modulus is small enough, a significant deformation takes place near the contact line, which in turn drastically influences the wetting behaviour. Depending on the translation velocity of the substrate, the contact line exhibits different regimes of motions. Continuous motions are observed at high and low velocities, meanwhile two types of stick-slip motion, periodic and erratic, appear at intermediate velocities. We suggest that the observed transitions could be explained in terms of the competition between different frequencies, i.e., the frequency of the strain field variation induced by the contact line motion and the crossover frequency of the gel related to the material relaxation. Our results provide systematic views on how the wetting of liquid is modified by the rheological properties of a complex soft substrate. △ Less

Submitted 13 November, 2015; originally announced November 2015.

Comments: 8 pages, 9 figures

Journal ref: Soft Matter 2014,10, 8888-8895

Universality of Tip Singularity Formation in Freezing Water Drops

Authors: Alvaro G. Marin, Oscar R. Enriquez, Philipe Brunet, Pierre Colinet, Jacco H. Snoeijer

Abstract: A drop of water deposited on a cold plate freezes into an ice drop with a pointy tip. While this phenomenon clearly finds its origin in the expansion of water upon freezing, a quantitative description of the tip singularity has remained elusive. Here we demonstrate how the geometry of the freezing front, determined by heat transfer considerations, is crucial for the tip formation. We perform syste… ▽ More A drop of water deposited on a cold plate freezes into an ice drop with a pointy tip. While this phenomenon clearly finds its origin in the expansion of water upon freezing, a quantitative description of the tip singularity has remained elusive. Here we demonstrate how the geometry of the freezing front, determined by heat transfer considerations, is crucial for the tip formation. We perform systematic measurements of the angles of the conical tip, and reveal the dynamics of the solidification front in a Hele-Shaw geometry. It is found that the cone angle is independent of substrate temperature and wetting angle, suggesting a universal, self-similar mechanism that does not depend on the rate of solidification. We propose a model for the freezing front and derive resulting tip angles analytically, in good agreement with observations. △ Less

Submitted 25 April, 2014; originally announced April 2014.

Comments: Letter format, 5 pages, 3 figures. Note: authors AGM and ORE contributed equally to the paper

Oscillating and star-shaped drops levitated by an airflow

Authors: Wilco Bouwhuis, Koen G. Winkels, Ivo R. Peters, Philippe Brunet, Devaraj van der Meer, Jacco H. Snoeijer

Abstract: We investigate the spontaneous oscillations of drops levitated above an air cushion, eventually inducing a breaking of axisymmetry and the appearance of `star drops'. This is strongly reminiscent of the Leidenfrost stars that are observed for drops floating above a hot substrate. The key advantage of this work is that we inject the airflow at a constant rate below the drop, thus eliminating therma… ▽ More We investigate the spontaneous oscillations of drops levitated above an air cushion, eventually inducing a breaking of axisymmetry and the appearance of `star drops'. This is strongly reminiscent of the Leidenfrost stars that are observed for drops floating above a hot substrate. The key advantage of this work is that we inject the airflow at a constant rate below the drop, thus eliminating thermal effects and allowing for a better control of the flow rate. We perform experiments with drops of different viscosities and observe stable states, oscillations and chimney instabilities. We find that for a given drop size the instability appears above a critical flow rate, where the latter is largest for small drops. All these observations are reproduced by numerical simulations, where we treat the drop using potential flow and the gas as a viscous lubrication layer. Qualitatively, the onset of instability agrees with the experimental results, although the typical flow rates are too large by a factor 10. Our results demonstrate that thermal effects are not important for the formation of star drops, and strongly suggest a purely hydrodynamic mechanism for the formation of Leidenfrost stars. △ Less

Submitted 23 May, 2013; originally announced May 2013.

Particle deposition after droplet evaporation on super-hydrophobic micro-textured surfaces

Authors: Philippe Brunet

Abstract: We study the size and shape of the final deposit obtained when a drop with colloidal particles has dried on a super-hydrophobic surface made of micro-posts. As expected, most of the particles lie inside a circular area, which radius roughly corresponds to the Laplace pressure threshold for liquid impalement inside the structure (Cassie-Wenzel transition), inducing a coffee-stain deposit due to con… ▽ More We study the size and shape of the final deposit obtained when a drop with colloidal particles has dried on a super-hydrophobic surface made of micro-posts. As expected, most of the particles lie inside a circular area, which radius roughly corresponds to the Laplace pressure threshold for liquid impalement inside the structure (Cassie-Wenzel transition), inducing a coffee-stain deposit due to contact-line pinning. Less expected is the observation of tiny deposits on top of posts in the area external to the main ring, despite the low macroscopic liquid/solid friction. Experiments are carried out varying the concentration in particles and initial volume of drops, in order to determine the influence of these parameters on the size distribution of deposits. A microscopic insight of the tiny deposits is proposed, based on recent experiments of non-volatile liquid sliding drops. △ Less

Submitted 19 May, 2012; originally announced May 2012.

Comments: 9 pages

Low power sessile droplet actuation via modulated surface acoustic waves

Authors: Michael Baudoin, Philippe Brunet, Olivier Bou Matar, Etienne Herth

Abstract: Low power actuation of sessile droplets is of primary interest for portable or hybrid lab-on-a-chip and harmless manipulation of biofluids. In this paper, we show that the acoustic power required to move or deform droplets via surface acoustic waves can be substantially reduced through the forcing of the drops inertio-capillary modes of vibrations. Indeed, harmonic, superharmonic and subharmonic (… ▽ More Low power actuation of sessile droplets is of primary interest for portable or hybrid lab-on-a-chip and harmless manipulation of biofluids. In this paper, we show that the acoustic power required to move or deform droplets via surface acoustic waves can be substantially reduced through the forcing of the drops inertio-capillary modes of vibrations. Indeed, harmonic, superharmonic and subharmonic (parametric) excitation of these modes are observed when the high frequency acoustic signal (19.5 MHz) is modulated around Rayleigh-Lamb inertio-capillary frequencies. This resonant behavior results in larger oscillations and quicker motion of the drops than in the non-modulated case. △ Less

Submitted 8 March, 2012; originally announced March 2012.

Quantitative testing of robustness on super-omniphobic surfaces by drop impact

Authors: Thi Phuong Nhung Nguyen, Philippe Brunet, Yannick Coffinier, Rabah Boukherroub

Abstract: The quality of a liquid-repellent surface is quantified by both the apparent contact angle $θ_0$ that a sessile drop adopts on it, and the value of the liquid pressure threshold the surface can withstand without being impaled by the liquid, hence kee** a low-friction condition. We designed surfaces covered with nano-wires obtained by the vapor-liquid-solid (VLS) growth technique, that are able t… ▽ More The quality of a liquid-repellent surface is quantified by both the apparent contact angle $θ_0$ that a sessile drop adopts on it, and the value of the liquid pressure threshold the surface can withstand without being impaled by the liquid, hence kee** a low-friction condition. We designed surfaces covered with nano-wires obtained by the vapor-liquid-solid (VLS) growth technique, that are able to repel most of the existing non-polar liquids including those of very low surface tension, as well as many polar liquids of moderate to high surface tension. These super-omniphobic surfaces exhibit apparent contact angles ranging from 125 to 160$^{\circ}$ depending on the liquid. We tested the robustness of the surfaces against impalement by carrying out drop impact experiments. Our results show how this robustness depends on the Young's contact angle $θ_0$ related to the surface tension of the liquid, and that the orientational growth of NWs is a favorable factor for robustness. △ Less

Submitted 11 October, 2010; originally announced October 2010.

Comments: 6 Pages, 7 figures, Accepted for publication in Langmuir (2010)

Droplets displacement and oscillations induced by ultrasonic surface acoustic waves: a quantitative study

Authors: P. Brunet, M. Baudoin, O. Bou Matar, F. Zoueshtiagh

Abstract: We present an experimental study of a droplet interacting with an ultrasonic surface acoustic wave (SAW). Depending on the amplitude of the wave, the drop can either experience an internal flow with its contact-line pinned, or (at higher amplitude) move along the direction of the wave also with internal flow. Both situations appear together with oscillations of the drop free-surface. The physica… ▽ More We present an experimental study of a droplet interacting with an ultrasonic surface acoustic wave (SAW). Depending on the amplitude of the wave, the drop can either experience an internal flow with its contact-line pinned, or (at higher amplitude) move along the direction of the wave also with internal flow. Both situations appear together with oscillations of the drop free-surface. The physical origins of the internal mixing flow as well as the drop displacement and surface waves are still not well understood. In order to give insights of the underlying physics involved in these phenomena, we carried out an experimental and numerical study. The results suggest that the surface deformation of the drop can be related as a combination between acoustic streaming effect and radiation pressure inside the drop. △ Less

Submitted 22 February, 2010; originally announced February 2010.

Comments: 9 pages, 14 figures. To appear in Physical Review E

To grate a liquid into tiny droplets by its impact on a hydrophobic micro-grid

Authors: P. Brunet, F. Lapierre, F. Zoueshtiagh, V. Thomy, A. Merlen

Abstract: We report on experiments of drop impacting a hydrophobic micro-grid, of typical spacing a few tens of $μ$m. Above a threshold in impact speed, liquid emerges to the other side, forming micro-droplets of size about that of the grid holes. We propose a method to produce either a mono-disperse spray or a single tiny droplet of volume as small as a few picoliters corresponding to a volume division o… ▽ More We report on experiments of drop impacting a hydrophobic micro-grid, of typical spacing a few tens of $μ$m. Above a threshold in impact speed, liquid emerges to the other side, forming micro-droplets of size about that of the grid holes. We propose a method to produce either a mono-disperse spray or a single tiny droplet of volume as small as a few picoliters corresponding to a volume division of the liquid drop by a factor of up to 10$^5$. We also discuss the discrepancy of the measured thresholds with that predicted by a balance between inertia and capillarity. △ Less

Submitted 30 November, 2009; originally announced December 2009.

Comments: 3 pages, 5 figures, Accepted for publication in Applied Physics Letters

Stabilized Kuramoto-Sivashinsky equation: A useful model for secondary instabilities and related dynamics of experimental one-dimensional cellular flows

Authors: P. Brunet

Abstract: We report numerical simulations of one-dimensional cellular solutions of the stabilized Kuramoto-Sivashinsky equation. This equation offers a range of generic behavior in pattern-forming instabilities of moving interfaces, such as a host of secondary instabilities or transition toward disorder. We compare some of these collective behaviors to those observed in experiments. In particular, destabi… ▽ More We report numerical simulations of one-dimensional cellular solutions of the stabilized Kuramoto-Sivashinsky equation. This equation offers a range of generic behavior in pattern-forming instabilities of moving interfaces, such as a host of secondary instabilities or transition toward disorder. We compare some of these collective behaviors to those observed in experiments. In particular, destabilization scenarios of bifurcated states are studied in a spatially semi-extended situation, which is common in realistic patterns, but has been barely explored so far. △ Less

Submitted 11 September, 2008; originally announced September 2008.

Comments: 4 pages, 14 figures

Journal ref: Physical Review E vol. 76, 017204 (2007)

Vibration-induced climbing of drops

Authors: P. Brunet, J. Eggers, R. D. Deegan

Abstract: We report an experimental study of liquid drops moving against gravity, when placed on a vertically vibrating inclined plate, which is partially wetted by the drop. The frequency of vibrations ranges from 30 to 200 Hz, and, above a threshold in vibration acceleration, drops experience an upward motion. We attribute this surprising motion to the deformations of the drop, as a consequence of an up… ▽ More We report an experimental study of liquid drops moving against gravity, when placed on a vertically vibrating inclined plate, which is partially wetted by the drop. The frequency of vibrations ranges from 30 to 200 Hz, and, above a threshold in vibration acceleration, drops experience an upward motion. We attribute this surprising motion to the deformations of the drop, as a consequence of an up or down symmetry breaking induced by the presence of the substrate. We relate the direction of motion to contact angle measurements. This phenomenon can be used to move a drop along an arbitrary path in a plane, without special surface treatments or localized forcing. △ Less

Submitted 11 September, 2008; originally announced September 2008.

Comments: 4 pages, 7 figures

Journal ref: Physical Review Letters vol. 99, 144501 (2007)

Extreme resistance of super-hydrophobic surfaces to impalement: reversible electrowetting related to the impacting/bouncing drop test

Authors: P. Brunet, F. Lapierre, V. Thomy, Y. Coffinier, R. Boukherroub

Abstract: The paper reports on the comparison of the wetting properties of super-hydrophobic silicon nanowires (NWs), using drop impact impalement and electrowetting (EW) experiments. A correlation between the resistance to impalement on both EW and drop impact is shown. From the results, it is evident that when increasing the length and density of NWs: (i) the thresholds for drop impact and EW irreversib… ▽ More The paper reports on the comparison of the wetting properties of super-hydrophobic silicon nanowires (NWs), using drop impact impalement and electrowetting (EW) experiments. A correlation between the resistance to impalement on both EW and drop impact is shown. From the results, it is evident that when increasing the length and density of NWs: (i) the thresholds for drop impact and EW irreversibility increase (ii) the contact-angle hysteresis after impalement decreases. This suggests that the structure of the NWs network could allow for partial impalement, hence preserving the reversibility, and that EW acts the same way as an external pressure. The most robust of our surfaces show a threshold to impalement higher than 35 kPa, while most of the super-hydrophobic surfaces tested so far have impalement threshold smaller than 10 kPa. △ Less

Submitted 4 September, 2008; originally announced September 2008.

Comments: 6 pages, 9 figures To appear in Langmuir DOI 10.1021/la801268v (2008)

Maximum size of drops levitated by an air cushion

Authors: Jacco H. Snoeijer, Philippe Brunet, Jens Eggers

Abstract: Liquid drops can be kept from touching a plane solid surface by a gas stream entering from underneath, as it is observed for water drops on a heated plate, kept aloft by a stream of water vapor. We investigate the limit of small flow rates, for which the size of the gap between the drop and the substrate becomes very small. Above a critical drop radius no stationary drops can exist, below the cr… ▽ More Liquid drops can be kept from touching a plane solid surface by a gas stream entering from underneath, as it is observed for water drops on a heated plate, kept aloft by a stream of water vapor. We investigate the limit of small flow rates, for which the size of the gap between the drop and the substrate becomes very small. Above a critical drop radius no stationary drops can exist, below the critical radius two solutions coexist. However, only the solution with the smaller gap width is stable, the other is unstable. We compare to experimental data and use boundary integral simulations to show that unstable drops develop a gas "chimney" which breaks the drop in its middle. △ Less

Submitted 3 September, 2008; originally announced September 2008.

Comments: 13 pages, 11 figures

Rayleigh-Plateau instability causes the crown splash

Authors: Robert D. Deegan, Philippe Brunet, Jens Eggers

Abstract: The impact of a drop onto a liquid layer and the subsequent splash has important implications for diverse physical processes such as air-sea gas transfer, cooling, and combustion. In the {\it crown splash} parameter regime, the splash pattern is highly regular. We focus on this case as a model for the mechanism that leads to secondary droplets, and thus explain the drop size distribution resulti… ▽ More The impact of a drop onto a liquid layer and the subsequent splash has important implications for diverse physical processes such as air-sea gas transfer, cooling, and combustion. In the {\it crown splash} parameter regime, the splash pattern is highly regular. We focus on this case as a model for the mechanism that leads to secondary droplets, and thus explain the drop size distribution resulting from the splash. We show that the mean number of secondary droplets is determined by the most unstable wavelength of the Rayleigh-Plateau instability. Variations from this mean are governed by the width of the spectrum. Our results for the crown splash will provide the basis for understanding more complicated splashes. △ Less

Submitted 3 December, 2008; v1 submitted 18 June, 2008; originally announced June 2008.

Comments: 4 pages, 5 figures

Propagative waves pattern in a falling liquid curtain

Authors: N. Le Grand, P. Brunet, L. Lebon, L. Limat

Abstract: We have preformed experiments on a liquid curtain falling from a horizontal, wetted, tube and lateraly constrained by two vertical wires. The fluid motion nearly reduces to a free-fall, with a very low detachment velocity below the tube. Thus, the curtain contains a large subsonic area, i.e. a domain where the sinuous waves travel faster than the fluid. The upper boundary not being constrained i… ▽ More We have preformed experiments on a liquid curtain falling from a horizontal, wetted, tube and lateraly constrained by two vertical wires. The fluid motion nearly reduces to a free-fall, with a very low detachment velocity below the tube. Thus, the curtain contains a large subsonic area, i.e. a domain where the sinuous waves travel faster than the fluid. The upper boundary not being constrained in the transverse direction, we have observed the appearance of an up to now unreported instability when the flow rate is progressively reduced: the top of the curtain enters a pendulum-like motion, coupled to a propagative pattern of curtain undulations, structured as a chessboard. Measurements of the phase velocity and frequency of this pattern are reported. Data are in agreement with a simple dimensional argument suggesting that the wave velocity is proportional to the surface tension divided by the mass flux of liquid per unit length. This scaling is also that followed by the fluid velocity at the transonic point, i.e. the point where the fluid velocity equals that of sinuous waves. We finally discuss implications of these results on the global stability of falling curtains. △ Less

Submitted 30 January, 2005; originally announced January 2005.

Comments: Submitted to Journal of Fluid Mechanics

From the stress response function (back) to the sandpile `dip'

Authors: A. P. F. Atman, P. Brunet, J. Geng, G. Reydellet, P. Claudin, R. P. Behringer, E. Clément

Abstract: We relate the pressure `dip' observed at the bottom of a sandpile prepared by successive avalanches to the stress profile obtained on sheared granular layers in response to a localized vertical overload. We show that, within a simple anisotropic elastic analysis, the skewness and the tilt of the response profile caused by shearing provide a qualitative agreement with the sandpile dip effect. We… ▽ More We relate the pressure `dip' observed at the bottom of a sandpile prepared by successive avalanches to the stress profile obtained on sheared granular layers in response to a localized vertical overload. We show that, within a simple anisotropic elastic analysis, the skewness and the tilt of the response profile caused by shearing provide a qualitative agreement with the sandpile dip effect. We conclude that the texture anisotropy produced by the avalanches is in essence similar to that induced by a simple shearing -- albeit tilted by the angle of repose of the pile. This work also shows that this response function technique could be very well adapted to probe the texture of static granular packing. △ Less

Submitted 15 March, 2005; v1 submitted 6 January, 2005; originally announced January 2005.

Comments: 8 pages, 8 figures, accepted version to appear in Eur. Phys. J. E

Sensitivity of the stress response function to packing preparation

Authors: A. P. F. Atman, P. Brunet, J. Geng, G. Reydellet, G. Combe, P. Claudin, R. P. Behringer, E. Clément

Abstract: A granular assembly composed of a collection of identical grains may pack under different microscopic configurations with microscopic features that are sensitive to the preparation history. A given configuration may also change in response to external actions such as compression, shearing etc. We show using a mechanical response function method developed experimentally and numerically, that the… ▽ More A granular assembly composed of a collection of identical grains may pack under different microscopic configurations with microscopic features that are sensitive to the preparation history. A given configuration may also change in response to external actions such as compression, shearing etc. We show using a mechanical response function method developed experimentally and numerically, that the macroscopic stress profiles are strongly dependent on these preparation procedures. These results were obtained for both two and three dimensions. The method reveals that, under a given preparation history, the macroscopic symmetries of the granular material is affected and in most cases significant departures from isotropy should be observed. This suggests a new path toward a non-intrusive test of granular material constitutive properties. △ Less

Submitted 14 April, 2005; v1 submitted 29 November, 2004; originally announced November 2004.

Comments: 15 pages, 11 figures, some numerical data corrected, to appear in J. Phys. Cond. Mat. special issue on Granular Materials (M. Nicodemi Editor)

Elastic properties of cellular dissipative structure

Authors: Philippe Brunet, Jean-Marc Flesselles, Laurent Limat

Abstract: Transition towards spatio-temporal chaos in one-dimensional interfacial patterns often involves two degrees of freedom: drift and out-of-phase oscillations of cells, respectively associated to parity breaking and vacillating-breathing secondary bifurcations. In this paper, the interaction between these two modes is investigated in the case of a single domain propagating along a circular array of… ▽ More Transition towards spatio-temporal chaos in one-dimensional interfacial patterns often involves two degrees of freedom: drift and out-of-phase oscillations of cells, respectively associated to parity breaking and vacillating-breathing secondary bifurcations. In this paper, the interaction between these two modes is investigated in the case of a single domain propagating along a circular array of liquid jets. As observed by Michalland and Rabaud for the printer's instability \cite{Rabaud92}, the velocity $V_g$ of a constant width domain is linked to the angular frequency $ω$ of oscillations and to the spacing between columns $λ_0$ by the relationship $ V_g = αλ_0 ω$. We show by a simple geometrical argument that $α$ should be close to $1/ π$ instead of the initial value $α= 1/2$ deduced from their analogy with phonons. This fact is in quantitative agreement with our data, with a slight deviation increasing with flow rate. △ Less

Submitted 2 October, 2003; originally announced October 2003.