-
Behaviour Driven Development: A Systematic Map** Study
Authors:
Leonard Peter Binamungu,
Salome Maro
Abstract:
Context: Behaviour Driven Development (BDD) uses scenarios written in semi-structured natural language to express software requirements in a way that can be understood by all stakeholders. The resulting natural language specifications can also be executed to reveal correct and problematic parts of a software. Although BDD was introduced about two decades ago, there is a lack of secondary studies i…
▽ More
Context: Behaviour Driven Development (BDD) uses scenarios written in semi-structured natural language to express software requirements in a way that can be understood by all stakeholders. The resulting natural language specifications can also be executed to reveal correct and problematic parts of a software. Although BDD was introduced about two decades ago, there is a lack of secondary studies in peer-reviewed scientific literature.
Objective: To understand the current state of BDD research by conducting a systematic map** study that covers studies published from 2006 to 2021.
Method: By following the guidelines for conducting systematic map** studies in software engineering, we sought to answer research questions on types of venues in which BDD papers have been published, research, contributions, studied topics and their evolution, and evaluation methods used in published BDD research.
Results: The study identified 166 papers which were mapped. Key results include the following: the dominance of conference papers; scarcity of research with insights from the industry; shortage of philosophical papers on BDD; acute shortage of metrics for measuring various aspects of BDD specifications and the processes for producing BDD specifications; the dominance of studies on using BDD for facilitating various software development endeavours, improving the BDD process and associated artefacts, and applying BDD in different contexts; scarcity of studies on using BDD alongside other software techniques and technologies; increase in diversity of studied BDD topics; and notable use of case studies and experiments to study different BDD aspects.
Conclusion: The paper improves our understanding of the state of the art of BDD, and highlights important areas of focus for future BDD research.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Some remarks on the periodic motions of a bouncing ball
Authors:
Stefano Marò
Abstract:
We consider the vertical motion of a free falling ball bouncing elastically on a racket moving in the vertical direction according to a regular $1$-periodic function $f$. For fixed coprime $p,q$ we study existence, stability in the sense of Lyapunov and multiplicity of $p$ periodic motions making $q$ bounces in a period. If $f$ is real analytic we prove that one periodic motion is unstable and giv…
▽ More
We consider the vertical motion of a free falling ball bouncing elastically on a racket moving in the vertical direction according to a regular $1$-periodic function $f$. For fixed coprime $p,q$ we study existence, stability in the sense of Lyapunov and multiplicity of $p$ periodic motions making $q$ bounces in a period. If $f$ is real analytic we prove that one periodic motion is unstable and give some information on the set of these motions.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
On unbounded motions in a real analytic bouncing ball problem
Authors:
Stefano Marò
Abstract:
We consider the model of a ball elastically bouncing on a racket moving in the vertical direction according to a given periodic function $f(t)$. The gravity force is acting on the ball. We prove that if the function $f(t)$ belongs to a class of trigonometric polynomials of degree $2$ then there exists a one dimensional continuum of initial conditions for which the velocity of the ball tends to inf…
▽ More
We consider the model of a ball elastically bouncing on a racket moving in the vertical direction according to a given periodic function $f(t)$. The gravity force is acting on the ball. We prove that if the function $f(t)$ belongs to a class of trigonometric polynomials of degree $2$ then there exists a one dimensional continuum of initial conditions for which the velocity of the ball tends to infinity. Our result improves a previous one by Pustyl'nikov and gives a new upper bound to the applicability of KAM theory to this model.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
Molecular Dynamics Simulation of Bubble Nucleation in Hydrophilic Nanochannels by Surface Heating
Authors:
Manish Gupta,
Shalabh C. Maroo
Abstract:
Bubble nucleation in liquid confined in nanochannel is studied using molecular dynamics simulations and compared against nucleation in the liquid over smooth (i.e. without confinement). Nucleation is achieved by heating part of a surface to high temperatures using a surface-to-liquid heating algorithm implemented in LAMMPS. The surface hydrophilicity of nanochannels is increased to understand its…
▽ More
Bubble nucleation in liquid confined in nanochannel is studied using molecular dynamics simulations and compared against nucleation in the liquid over smooth (i.e. without confinement). Nucleation is achieved by heating part of a surface to high temperatures using a surface-to-liquid heating algorithm implemented in LAMMPS. The surface hydrophilicity of nanochannels is increased to understand its effect on nucleation behavior. Liquid structuring is found to play a significant role in altering thermodynamic properties of density and pressure in the nanochannels, which in turn changes the enthalpy of vaporization. Increased surface hydrophilicity in nanochannels results in the delay of bubble formation as more energy is required for nucleation. Thus, bubble nucleation in hydrophilic nanochannels can dissipate higher heat fluxes and can potentially be used towards the thermal management of hot spots in power electronics.
△ Less
Submitted 21 January, 2022;
originally announced January 2022.
-
Disjoining Pressure Driven Transpiration of Water in a Simulated Tree
Authors:
Sajag Poudel,
An Zou,
Shalabh C. Maroo
Abstract:
We present an investigation of transpiration of water in a 100 m tall tree using continuum simulations. Disjoining pressure is found to induce absolute negative pressures as high as -23.5 atm at the liquid-vapor meniscus during evaporation, thus presenting a sufficient stand-alone explanation of the transpiration mechanism. In this work, we begin by first develo** an expression of disjoining pre…
▽ More
We present an investigation of transpiration of water in a 100 m tall tree using continuum simulations. Disjoining pressure is found to induce absolute negative pressures as high as -23.5 atm at the liquid-vapor meniscus during evaporation, thus presenting a sufficient stand-alone explanation of the transpiration mechanism. In this work, we begin by first develo** an expression of disjoining pressure in a water film as a function of distance from the surface from prior experimental findings. The expression is then implemented in a commercial computational fluid dynamics solver and the disjoining pressure effect on water wicking in nanochannels of height varying from 59 nm to 1 micron is simulated. The simulation results are in excellent agreement with experimental data, thus demonstrating and validating that near-surface molecular interactions can be integrated in continuum numerical simulations through the disjoining pressure term. Following the implementation, we simulate the transpiration process of passive water transport over a height of 100 m by using a domain comprising of nanopore connected to a tube with a ground-based water tank, thus mimicking the stomata-xylem-soil pathway in trees. By varying the evaporation rate from liquid-vapor interface in the nanopore, effects on naturally-created pressure difference and liquid flow velocity are estimated. Further, kinetic theory analysis is performed to study the combined effect of absolute negative liquid-film pressure and accommodation coefficient on the maximum mass flux feasible during transpiration. Continuum simulations coupled with kinetic theory reiterate the existence of an upper limit to height of trees. The numerical model developed here is adept to be employed to design and advance several other nanofluidics-based natural and engineering systems.
△ Less
Submitted 21 November, 2021;
originally announced November 2021.
-
Implementation of Near-Surface Disjoining Pressure Effect in Continuum Simulations
Authors:
Sajag Poudel,
An Zou,
Shalabh C. Maroo
Abstract:
An expression of disjoining pressure in a water film, as a function of distance from the surface, is developed from prior experimental findings. The expression is implemented in commercial computational fluid dynamics solver and disjoining pressure effect on water wicking in nanochannels of height varying from 59 nm to 1 micron is simulated. The simulation results are in excellent agreement with e…
▽ More
An expression of disjoining pressure in a water film, as a function of distance from the surface, is developed from prior experimental findings. The expression is implemented in commercial computational fluid dynamics solver and disjoining pressure effect on water wicking in nanochannels of height varying from 59 nm to 1 micron is simulated. The simulation results are in excellent agreement with experimental data, thus demonstrating and validating that near-surface molecular interactions can be integrated in continuum numerical simulations through the disjoining pressure term. Such an implementation can be used to design and advance nanofluidics-based engineering systems.
△ Less
Submitted 10 June, 2021; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Thermal Management of Photovoltaics using Porous Nanochannels
Authors:
Sajag Poudel,
An Zou,
Shalabh C. Maroo
Abstract:
The photoelectric conversion efficiency of a solar cell is dependent on its temperature. When the solar radiation is incident on the photovoltaics (PV) panel, a large portion of it is absorbed by the underlying material which increases its internal energy leading to the generation of heat. An overheated PV panel results in a decline in its performance which calls for an efficient cooling mechanism…
▽ More
The photoelectric conversion efficiency of a solar cell is dependent on its temperature. When the solar radiation is incident on the photovoltaics (PV) panel, a large portion of it is absorbed by the underlying material which increases its internal energy leading to the generation of heat. An overheated PV panel results in a decline in its performance which calls for an efficient cooling mechanism that can offer an optimum output of the electrical power. In the present numerical work, thermal management with a porous nanochannels device capable to dissipate high heat flux is employed to regulate the temperature of a commercial PV panel by integrating the device on the back face of the panel. The spatial and temporal variation of the PV surface temperature is obtained by solving the energy balance equation numerically. By evaluating the steady-state PV surface temperature with and without thermal management, the extent of cooling and the resulting enhancement in the electrical power output is studied in detail. The nanochannels device is found to reduce the PV surface temperature significantly with an average cooling of 31.5 oC. Additionally, the enhancement in the electrical power output by ~33% and the reduction in the response time to 1/8th highlight the potential of using porous nanochannels as a thermal management device. Furthermore, the numerical method is used to develop a universal curve which can predict the extent of PV cooling for any generic thermal management device.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Managing Traceability Information Models: Not such a simple task after all?
Authors:
Salome Maro,
Jan-Philipp Steghöfer,
Eric Knauss,
Jennifer Horkoff,
Rashidah Kasauli,
Rebekka Wohlrab,
Jesper Lysemose Korsgaard,
Florian Wartenberg,
Niels Jørgen Strøm,
Ruben Alexandersson
Abstract:
Practitioners are poorly supported by the scientific literature when managing traceability information models (TIMs), which capture the structure and semantics of trace links. In practice, companies manage their TIMs in very different ways, even in cases where companies share many similarities. We present our findings from an in-depth focus group about TIM management with three different systems e…
▽ More
Practitioners are poorly supported by the scientific literature when managing traceability information models (TIMs), which capture the structure and semantics of trace links. In practice, companies manage their TIMs in very different ways, even in cases where companies share many similarities. We present our findings from an in-depth focus group about TIM management with three different systems engineering companies. We find that the concrete needs of the companies as well as challenges such as scale and workflow integration are not considered by existing scientific work. We thus issue a call-to-arms for the requirements engineering and software and systems traceability communities, the two main communities for traceability research, to refocus their work on these practical problems.
△ Less
Submitted 9 April, 2021;
originally announced April 2021.
-
Motions of a charged particle in the electromagnetic field induced by a non-stationary current
Authors:
Manuel Garzón,
Stefano Marò
Abstract:
In this paper we study the non-relativistic dynamic of a charged particle in the electromagnetic field induced by a periodically time dependent current J along an infinitely long and infinitely thin straight wire. The motions are described by the Lorentz-Newton equation, in which the electromagnetic field is obtained by solving the Maxwell's equations with the current distribution J as data. We pr…
▽ More
In this paper we study the non-relativistic dynamic of a charged particle in the electromagnetic field induced by a periodically time dependent current J along an infinitely long and infinitely thin straight wire. The motions are described by the Lorentz-Newton equation, in which the electromagnetic field is obtained by solving the Maxwell's equations with the current distribution J as data. We prove that many features of the integrable time independent case are preserved. More precisely, introducing cylindrical coordinates, we prove the existence of (non-resonant) radially periodic motions that are also of twist type. In particular, these solutions are Lyapunov stable and accumulated by subharmonic and quasiperiodic motions.
△ Less
Submitted 11 March, 2021; v1 submitted 9 March, 2021;
originally announced March 2021.
-
Asymptotic behaviour of orbit determination for hyperbolic maps
Authors:
Stefano Marò,
Claudio Bonanno
Abstract:
We deal with the orbit determination problem for hyperbolic maps. The problem consists in determining the initial conditions of an orbit and, eventually, other parameters of the model from some observations. We study the behaviour of the confidence region in the case of simultaneous increase of the number of observations and the time span over which they are performed. More precisely, we describe…
▽ More
We deal with the orbit determination problem for hyperbolic maps. The problem consists in determining the initial conditions of an orbit and, eventually, other parameters of the model from some observations. We study the behaviour of the confidence region in the case of simultaneous increase of the number of observations and the time span over which they are performed. More precisely, we describe the geometry of the confidence region for the solution, distinguishing whether a parameter is added to the estimate of the initial conditions or not. We prove that the inclusion of a dynamical parameter causes a change in the rate of decay of the uncertainties, as suggested by some known numerical evidences.
△ Less
Submitted 22 April, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Nano-Confinement Effects on Liquid Pressure
Authors:
An Zou,
Shalabh C. Maroo
Abstract:
In this work, molecular dynamics simulations are performed to estimate the equilibrium pressure of liquid confined in nanopores. The simulations show that the pressure is highly sensitive to the pore size and can significantly change from absolute positive to negative values for a very small (0.1 nm) change in pore size. The contribution from the solid-liquid interaction always dominates the press…
▽ More
In this work, molecular dynamics simulations are performed to estimate the equilibrium pressure of liquid confined in nanopores. The simulations show that the pressure is highly sensitive to the pore size and can significantly change from absolute positive to negative values for a very small (0.1 nm) change in pore size. The contribution from the solid-liquid interaction always dominates the pressure in the first liquid layer adjacent to the surface and the sensitiveness of pressure on the pore size is due to the atom distribution in the liquid layers. A surface influence number S is introduced to quantitatively characterize the degree of the confinement. The S number decreases with increasing pore size based on a power law function at constant system temperature. In nanopores with large S number, the pore liquid pressure is found to be independent of bulk liquid pressure while the pore pressure increases with bulk pressure in nanopores with small S number.
△ Less
Submitted 24 January, 2021; v1 submitted 27 November, 2020;
originally announced December 2020.
-
Disjoining Pressure of Water in Nanochannels
Authors:
An Zou,
Sajag Poudel,
Manish Gupta,
Shalabh C. Maroo
Abstract:
Experiments of water wicking in 1D silicon-dioxide nanochannels of heights 59 nm, 87 nm, 124 nm and 1015 nm are used to estimate the disjoining pressure of water which was found to be as high as ~1.5 MPa while exponentially decreasing with increasing channel height. Such a relation resulting from curve fitting of experimentally-derived data was implemented and validated in computational fluid dyna…
▽ More
Experiments of water wicking in 1D silicon-dioxide nanochannels of heights 59 nm, 87 nm, 124 nm and 1015 nm are used to estimate the disjoining pressure of water which was found to be as high as ~1.5 MPa while exponentially decreasing with increasing channel height. Such a relation resulting from curve fitting of experimentally-derived data was implemented and validated in computational fluid dynamics. This methodology integrates experimental nanoscale physics into continuum simulations thus enabling the numerical study of various phenomena where disjoining pressure plays an important role.
△ Less
Submitted 15 September, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Chaotic motion in the breathing circle billiard
Authors:
Claudio Bonanno,
Stefano Marò
Abstract:
We consider the free motion of a point particle inside a circular billiard with periodically moving boundary, with the assumption that the collisions of the particle with the boundary are elastic so that the energy of the particle is not preserved. It is known that if the motion of the boundary is regular enough then the energy is bounded due to the existence of invariant curves. We show that it i…
▽ More
We consider the free motion of a point particle inside a circular billiard with periodically moving boundary, with the assumption that the collisions of the particle with the boundary are elastic so that the energy of the particle is not preserved. It is known that if the motion of the boundary is regular enough then the energy is bounded due to the existence of invariant curves. We show that it is nevertheless possible that the motion of the particle is chaotic, also under regularity assumptions for the moving boundary. More precisely, we show that there exists a class of functions describing the motion of the boundary for which the billiard map admits invariant probability measures with positive metric entropy. The proof relies on variational techniques based on Aubry-Mather theory.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Droplet Evaporation on Porous Nanochannels for High Heat Flux Dissipation
Authors:
Sajag Poudel,
An Zou,
Shalabh C. Maroo
Abstract:
Droplet wicking and evaporation in porous nanochannels is experimentally studied on a heated surface at temperatures ranging from 35oC to 90oC. The fabricated geometry consists of cross-connected nanochannels of height 728 nm with micropores of diameter 2 um present at every channel intersection; the pores allow water from a droplet placed on the top surface to wick into the channels. Droplet volu…
▽ More
Droplet wicking and evaporation in porous nanochannels is experimentally studied on a heated surface at temperatures ranging from 35oC to 90oC. The fabricated geometry consists of cross-connected nanochannels of height 728 nm with micropores of diameter 2 um present at every channel intersection; the pores allow water from a droplet placed on the top surface to wick into the channels. Droplet volume is also varied and a total of 16 experimental cases are conducted. Wicking characteristics such as wicked distance, capillary pressure, viscous resistance and propagation coefficient are obtained at the high surface temperatures. Evaporation flux from the nanochannels/micropores is estimated from the droplet experiments, but is also independently confirmed via a new set of experiments where water is continuously fed to the sample through a microtube such that it matches the evaporation rate. Heat flux as high as ~294 W/cm2 is achieved from channels and pores. The experimental findings are applied to evaluate the use of porous nanochannels geometry in spray cooling application, and is found to be capable of dissipating high heat fluxes upto ~77 W/cm2 at temperatures below nucleation, thus highlighting the thermal management potential of the fabricated geometry.
△ Less
Submitted 30 October, 2020; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Modeling and Analysis of Boundary Objects and Methodological Islands in Large-Scale Systems Development
Authors:
Rebekka Wohlrab,
Jennifer Horkoff,
Rashidah Kasauli,
Salome Maro,
Jan-Philipp Steghöfer,
Eric Knauss
Abstract:
Large-scale companies commonly face the challenge of managing relevant knowledge between different organizational groups, particularly in increasingly agile contexts. In previous studies, we found the importance of analyzing methodological islands (i.e., groups using different development methods than the surrounding organization) and boundary objects between them. In this paper, we propose a meta…
▽ More
Large-scale companies commonly face the challenge of managing relevant knowledge between different organizational groups, particularly in increasingly agile contexts. In previous studies, we found the importance of analyzing methodological islands (i.e., groups using different development methods than the surrounding organization) and boundary objects between them. In this paper, we propose a metamodel to better capture and analyze coordination and knowledge management in practice. Such a metamodel can allow practitioners to describe current practices, analyze issues, and design better-suited coordination mechanisms. We evaluated the conceptual model together with four large-scale companies develo** complex systems. In particular, we derived an initial list of bad smells that can be leveraged to detect issues and devise suitable improvement strategies for inter-team coordination in large-scale development. We present the model, smells, and our evaluation results.
△ Less
Submitted 19 August, 2020; v1 submitted 18 August, 2020;
originally announced August 2020.
-
Orbit determination for standard-like maps: asymptotic expansion of the confidence region in regular zones
Authors:
Stefano Marò
Abstract:
We deal with the orbit determination problem for a class of maps of the cylinder generalizing the Chirikov standard map. The problem consists of determining the initial conditions and other parameters of an orbit from some observations. A solution to this problem goes back to Gauss and leads to the least squares method. Since the observations admit errors, the solution comes with a confidence regi…
▽ More
We deal with the orbit determination problem for a class of maps of the cylinder generalizing the Chirikov standard map. The problem consists of determining the initial conditions and other parameters of an orbit from some observations. A solution to this problem goes back to Gauss and leads to the least squares method. Since the observations admit errors, the solution comes with a confidence region describing the uncertainty of the solution itself. We study the behavior of the confidence region in the case of a simultaneous increase of the number of observations and the time span over which they are performed. More precisely, we describe the geometry of the confidence region for solutions in regular zones. We prove an estimate of the trend of the uncertainties in a set of positive measure of the phase space, made of invariant curve. Our result gives an analytical proof of some known numerical evidences.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
Charting Coordination Needs in Large-Scale Agile Organisationswith Boundary Objects and Methodological Islands
Authors:
Rashidah Kasauli,
Rebekka Wohlrab,
Eric Knauss,
Jan-Philipp Steghöfer,
Jennifer Horkoff,
Salome Maro
Abstract:
Large-scale system development companies are increasingly adopting agile methods. While this adoption may improve lead-times, such companies need to balance two trade-offs: (i) the need to have a uniform, consistent development method on system level with the need for specialised methods for teams in different disciplines(e.g., hardware, software, mechanics, sales, support); (ii) the need for comp…
▽ More
Large-scale system development companies are increasingly adopting agile methods. While this adoption may improve lead-times, such companies need to balance two trade-offs: (i) the need to have a uniform, consistent development method on system level with the need for specialised methods for teams in different disciplines(e.g., hardware, software, mechanics, sales, support); (ii) the need for comprehensive documentation on system level with the need to have lightweight documentation enabling iterative and agile work. With specialised methods for teams, isolated teams work within larger ecosystems of plan-driven culture, i.e., teams become agile "islands". At the boundaries, these teams share knowledge which needs to be managed well for a correct system to be developed. While it is useful to support diverse and specialised methods, it is important to understand which islands are repeatedly encountered, the reasons or factors triggering their existence, and how best to handle coordination between them. Based on a multiple case study, this work presents a catalogue of islands and the boundary objects between them. We believe this work will be beneficial to practitioners aiming to understand their ecosystems and researchers addressing communication and coordination challenges in large-scale development.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Chaotic dynamics in an impact problem
Authors:
Stefano Marò
Abstract:
We consider the model describing the vertical motion of a ball falling with constant acceleration on a wall and elastically reflected. The wall is supposed to move in the vertical direction according to a given periodic function $f$. We show that a modification of a method of Angenent based on sub and super solutions can be applied in order to detect chaotic dynamics. Using the theory of exact sym…
▽ More
We consider the model describing the vertical motion of a ball falling with constant acceleration on a wall and elastically reflected. The wall is supposed to move in the vertical direction according to a given periodic function $f$. We show that a modification of a method of Angenent based on sub and super solutions can be applied in order to detect chaotic dynamics. Using the theory of exact symplectic twist maps of the cylinder one can prove the result under "natural" conditions on the function $f$.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
A mechanical counterexample to KAM theory with low regularity
Authors:
Stefano Marò
Abstract:
We give a mechanical example concerning the fact that some regularity is necessary in KAM theory. We consider the model given by the vertical bouncing motion of a ball on a periodically moving plate. Denoting with $f$ the motion of the plate, some variants of Moser invariant curve theorem apply if $\dot{f}$ is small in norm $C^5$ and every motion has bounded velocity. This is not possible if the f…
▽ More
We give a mechanical example concerning the fact that some regularity is necessary in KAM theory. We consider the model given by the vertical bouncing motion of a ball on a periodically moving plate. Denoting with $f$ the motion of the plate, some variants of Moser invariant curve theorem apply if $\dot{f}$ is small in norm $C^5$ and every motion has bounded velocity. This is not possible if the function $f$ is only $C^1$. Indeed we construct a function $f\in C^1$ with arbitrary small derivative in norm $C^0$ for which a motion with unbounded velocity exists.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Coexistence of bounded and unbounded motions in a bouncing ball model
Authors:
Stefano Marò
Abstract:
We consider the model describing the vertical motion of a ball falling with constant acceleration on a wall and elastically reflected. The wall is supposed to move in the vertical direction according to a given periodic function $f$. We apply the Aubry-Mather theory to the generating function in order to prove the existence of bounded motions with prescribed mean time between the bounces. As the e…
▽ More
We consider the model describing the vertical motion of a ball falling with constant acceleration on a wall and elastically reflected. The wall is supposed to move in the vertical direction according to a given periodic function $f$. We apply the Aubry-Mather theory to the generating function in order to prove the existence of bounded motions with prescribed mean time between the bounces. As the existence of unbounded motions is known, it is possible to find a class of functions $f$ that allow both bounded and unbounded motions.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Diffusion and chaos in a bouncing ball model
Authors:
Stefano Marò
Abstract:
We consider the vertical motion of a free falling ball bouncing elastically on a racket moving in the vertical direction according to a regular periodic function $f$. We give a sufficient condition on the second derivative of $f$ giving motions with arbitrarily large amplitude and chaotic dynamics in the sense of positive entropy. We get the results by breaking many invariant curves of the corresp…
▽ More
We consider the vertical motion of a free falling ball bouncing elastically on a racket moving in the vertical direction according to a regular periodic function $f$. We give a sufficient condition on the second derivative of $f$ giving motions with arbitrarily large amplitude and chaotic dynamics in the sense of positive entropy. We get the results by breaking many invariant curves of the corresponding map using converse KAM techniques.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Twist dynamics and Aubry-Mather sets around a periodically perturbed point-vortex
Authors:
Stefano Marò,
Vìctor Ortega
Abstract:
We consider the model of a point-vortex under a periodic perturbation and give sufficient conditions for the existence of generalized quasi-periodic solutions with rotation number. The proof uses Aubry-Mather theory to obtain the existence of a family of minimal orbits of the Poincaré map associated to the system.
We consider the model of a point-vortex under a periodic perturbation and give sufficient conditions for the existence of generalized quasi-periodic solutions with rotation number. The proof uses Aubry-Mather theory to obtain the existence of a family of minimal orbits of the Poincaré map associated to the system.
△ Less
Submitted 16 July, 2019;
originally announced July 2019.
-
Long term dynamics for the restricted N-body problem with mean motion resonances and crossing singularities
Authors:
Stefano Marò,
Giovanni F. Gronchi
Abstract:
We consider the long term dynamics of the restricted N-body problem, modeling in a statistical sense the motion of an asteroid in the gravitational field of the Sun and the solar system planets. We deal with the case of a mean motion resonance with one planet and assume that the osculating trajectory of the asteroid crosses the one of some planet, possibly different from the resonant one, during t…
▽ More
We consider the long term dynamics of the restricted N-body problem, modeling in a statistical sense the motion of an asteroid in the gravitational field of the Sun and the solar system planets. We deal with the case of a mean motion resonance with one planet and assume that the osculating trajectory of the asteroid crosses the one of some planet, possibly different from the resonant one, during the evolution. Such crossings produce singularities in the differential equations for the motion of the asteroid, obtained by standard perturbation theory. In this work we prove that the vector field of these equations can be extended to two locally Lipschitz-continuous vector fields on both sides of a set of crossing conditions. This allows us to define generalized solutions, continuous but not differentiable, going beyond these singularities. Moreover, we prove that the long term evolution of the 'signed' orbit distance (Gronchi and Tommei 2007) between the asteroid and the planet is differentiable in a neighborhood of the crossing times. In case of crossings with the resonant planet we recover the known dynamical protection mechanism against collisions. We conclude with a numerical comparison between the long term and the full evolutions in the case of asteroids belonging to the 'Alinda' and 'Toro' classes (Milani et al. 1989). This work extends the results in (Gronchi and Tardioli 2013) to the relevant case of asteroids in mean motion resonance with a planet.
△ Less
Submitted 9 August, 2018; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Aubry-Mather Theory for Conformally Symplectic Systems
Authors:
Stefano Marò,
Alfonso Sorrentino
Abstract:
In this article we develop an analogue of Aubry-Mather theory for a class of dissipative systems, namely conformally symplectic systems, and prove the existence of interesting invariant sets, which, in analogy to the conservative case, will be called the Aubry and the Mather sets. Besides describing their structure and their dynamical significance, we shall analyze their attracting/repelling prope…
▽ More
In this article we develop an analogue of Aubry-Mather theory for a class of dissipative systems, namely conformally symplectic systems, and prove the existence of interesting invariant sets, which, in analogy to the conservative case, will be called the Aubry and the Mather sets. Besides describing their structure and their dynamical significance, we shall analyze their attracting/repelling properties, as well as their noteworthy role in driving the asymptotic dynamics of the system.
△ Less
Submitted 7 April, 2017; v1 submitted 11 July, 2016;
originally announced July 2016.
-
Secular evolution of asteroid families: the role of Ceres
Authors:
Bojan Novakovic,
Georgios Tsirvoulis,
Stefano Maro,
Vladimir Djosovic,
Clara Maurel
Abstract:
We consider the role of the dwarf planet Ceres on the secular dynamics of the asteroid main belt. Specifically, we examine the post impact evolution of asteroid families due to the interaction of their members with the linear nodal secular resonance with Ceres. First, we find the location of this resonance and identify which asteroid families are crossed by its path. Next, we summarize our results…
▽ More
We consider the role of the dwarf planet Ceres on the secular dynamics of the asteroid main belt. Specifically, we examine the post impact evolution of asteroid families due to the interaction of their members with the linear nodal secular resonance with Ceres. First, we find the location of this resonance and identify which asteroid families are crossed by its path. Next, we summarize our results for three asteroid families, namely (1726) Hoffmeister, (1128) Astrid and (1521) Seinajoki which have irregular distributions of their members in the proper elements space, indicative of the effect of the resonance. We confirm this by performing a set of numerical simulations, showcasing that the perturbing action of Ceres through its linear nodal secular resonance is essential to reproduce the actual shape of the families.
△ Less
Submitted 5 January, 2016;
originally announced January 2016.
-
A new algorithm for contact angle estimation in molecular dynamics simulations
Authors:
Sumith YD,
Shalabh C. Maroo
Abstract:
It is important to study contact angle of a liquid on a solid surface to understand its wetting properties, capillarity and surface interaction energy. While performing transient molecular dynamics (MD) simulations it requires calculating the time evolution of contact angle. This is a tedious effort to do manually or with image processing algorithms. In this work we propose a new algorithm to esti…
▽ More
It is important to study contact angle of a liquid on a solid surface to understand its wetting properties, capillarity and surface interaction energy. While performing transient molecular dynamics (MD) simulations it requires calculating the time evolution of contact angle. This is a tedious effort to do manually or with image processing algorithms. In this work we propose a new algorithm to estimate contact angle from MD simulations directly and in a computationally efficient way. This algorithm segregates the droplet molecules from the vapor molecules using Mahalanobis distance (MND) technique. Then the density is smeared onto a 2D grid using 4th order B-spline interpolation function. The vapor liquid interface data is estimated from the grid using density filtering. With the interface data a circle is fitted using Landau method. The equation of this circle is solved for obtaining the contact angle. This procedure is repeated by rotating the droplet about the vertical axis. We have applied this algorithm to a number of studies (different potentials and thermostat methods) which involves the MD simulation of water.
△ Less
Submitted 21 May, 2015;
originally announced May 2015.
-
Disorder-perturbed Landau levels in high electron mobility epitaxial graphene
Authors:
Simon Maëro,
Abderrezak Torche,
Thanyanan Phuphachong,
Emiliano Pallecchi,
Abdelkarim Ouerghi,
Robson Ferreira,
Louis-Anne de Vaulchier,
Yves Guldner
Abstract:
We show that the Landau levels in epitaxial graphene in presence of localized defects are significantly modified compared to those of an ideal system. We report on magneto-spectroscopy experiments performed on high quality samples. Besides typical interband magneto-optical transitions, we clearly observe additional transitions that involve perturbed states associated to short-range impurities such…
▽ More
We show that the Landau levels in epitaxial graphene in presence of localized defects are significantly modified compared to those of an ideal system. We report on magneto-spectroscopy experiments performed on high quality samples. Besides typical interband magneto-optical transitions, we clearly observe additional transitions that involve perturbed states associated to short-range impurities such as vacancies. Their intensity is found to decrease with an annealing process and a partial self-healing over time is observed. Calculations of the perturbed Landau levels by using a delta-like potential show electronic states both between and at the same energies of the Laudau levels of ideal graphene. The calculated absorption spectra involving all perturbed and unperturbed states are in very good agreement with the experiments.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
Room temperature broadband coherent terahertz emission induced by dynamical photon drag in graphene
Authors:
J. Maysonnave,
S. Huppert,
F. Wang,
S. Maero,
C. Berger,
W. de Heer,
T. B. Norris,
L. A. De Vaulchier,
S. Dhillon,
J. Tignon,
R. Ferreira,
J. Mangeney
Abstract:
Nonlinear couplings between photons and electrons in new materials give rise to a wealth of interesting nonlinear phenomena. This includes frequency mixing, optical rectification or nonlinear current generation, which are of particular interest for generating radiation in spectral regions that are difficult to access, such as the terahertz gap. Owing to its specific linear dispersion and high elec…
▽ More
Nonlinear couplings between photons and electrons in new materials give rise to a wealth of interesting nonlinear phenomena. This includes frequency mixing, optical rectification or nonlinear current generation, which are of particular interest for generating radiation in spectral regions that are difficult to access, such as the terahertz gap. Owing to its specific linear dispersion and high electron mobility at room temperature, graphene is particularly attractive for realizing strong nonlinear effects. However, since graphene is a centrosymmetric material, second-order nonlinearities a priori cancel, which imposes to rely on less attractive third-order nonlinearities. It was nevertheless recently demonstrated that dc-second-order nonlinear currents as well as ultrafast ac-currents can be generated in graphene under optical excitation. The asymmetry is introduced by the excitation at oblique incidence, resulting in the transfer of photon momentum to the electron system, known as the photon drag effect. Here, we show broadband coherent terahertz emission, ranging from about 0.1-4 THz, in epitaxial graphene under femtosecond optical excitation, induced by a dynamical photon drag current. We demonstrate that, in contrast to most optical processes in graphene, the next-nearest-neighbor couplings as well as the distinct electron-hole dynamics are of paramount importance in this effect. Our results indicate that dynamical photon drag effect can provide emission up to 60 THz opening new routes for the generation of ultra-broadband terahertz pulses at room temperature.
△ Less
Submitted 25 May, 2014;
originally announced May 2014.
-
Relativistic pendulum and invariant curves
Authors:
Stefano Maró
Abstract:
We apply KAM theory to the equation of the forced relativistic pendulum to prove that all the solutions have bounded momentum. Subsequently, we detect the existence of quasiperiodic solutions in a generalized sense. This is achieved using a modified version of the Aubry-Mather theory for compositions of twist maps.
We apply KAM theory to the equation of the forced relativistic pendulum to prove that all the solutions have bounded momentum. Subsequently, we detect the existence of quasiperiodic solutions in a generalized sense. This is achieved using a modified version of the Aubry-Mather theory for compositions of twist maps.
△ Less
Submitted 30 April, 2013;
originally announced April 2013.
-
Periodic Solutions of a Forced Relativistic Pendulum via Twist Dynamics
Authors:
Stefano Marò
Abstract:
We prove the existence of at least two geometrically different periodic solution with winding number N for the forced relativistic pendulum. The instability of a solution is also proved. The proof is topological and based on the version of the Poincaré-Birkhoff theorem by Franks. Moreover, with some restriction on the parameters, we prove the existence of twist dynamics.
We prove the existence of at least two geometrically different periodic solution with winding number N for the forced relativistic pendulum. The instability of a solution is also proved. The proof is topological and based on the version of the Poincaré-Birkhoff theorem by Franks. Moreover, with some restriction on the parameters, we prove the existence of twist dynamics.
△ Less
Submitted 4 October, 2011;
originally announced October 2011.