-
Developers' Perceptions on the Impact of ChatGPT in Software Development: A Survey
Authors:
Thiago S. Vaillant,
Felipe Deveza de Almeida,
Paulo Anselmo M. S. Neto,
Cuiyun Gao,
Jan Bosch,
Eduardo Santana de Almeida
Abstract:
As Large Language Models (LLMs), including ChatGPT and analogous systems, continue to advance, their robust natural language processing capabilities and diverse applications have garnered considerable attention. Nonetheless, despite the increasing acknowledgment of the convergence of Artificial Intelligence (AI) and Software Engineering (SE), there is a lack of studies involving the impact of this…
▽ More
As Large Language Models (LLMs), including ChatGPT and analogous systems, continue to advance, their robust natural language processing capabilities and diverse applications have garnered considerable attention. Nonetheless, despite the increasing acknowledgment of the convergence of Artificial Intelligence (AI) and Software Engineering (SE), there is a lack of studies involving the impact of this convergence on the practices and perceptions of software developers. Understanding how software developers perceive and engage with AI tools, such as ChatGPT, is essential for elucidating the impact and potential challenges of incorporating AI-driven tools in the software development process. In this paper, we conducted a survey with 207 software developers to understand the impact of ChatGPT on software quality, productivity, and job satisfaction. Furthermore, the study delves into developers' expectations regarding future adaptations of ChatGPT, concerns about potential job displacement, and perspectives on regulatory interventions.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
PASO -- Astronomy and Space Situational Awareness in a Dark Sky Destination
Authors:
Domingos Barbosa,
Bruno Coelho,
Miguel Bergano,
Constança Alves,
Alexandre C. M. Correia,
Luís Cupido,
José Freitas,
Luís Gonçalves,
Bruce Grossan,
Anna Guerman,
Allan K. de Almeida Jr.,
Dalmiro Maia,
Bruno Morgado,
João Pandeirada,
Valério Ribeiro,
Gonçalo Rosa,
George Smoot,
Timothée Vaillant,
Thyrso Villela,
Carlos Alexandre Wuensche
Abstract:
The Pampilhosa da Serra Space Observatory (PASO) is located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky destination by the Starlight Foundation (Aldeias do Xisto) and has been an instrumental asset to advance science, education and astrotourism certifications. PASO hosts astronomy and Space Situational Awareness (SSA) activities including a node of t…
▽ More
The Pampilhosa da Serra Space Observatory (PASO) is located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky destination by the Starlight Foundation (Aldeias do Xisto) and has been an instrumental asset to advance science, education and astrotourism certifications. PASO hosts astronomy and Space Situational Awareness (SSA) activities including a node of the Portuguese Space Surveillance \& Tracking (SST) infrastructure network, such as a space radar currently in test phase using GEM radiotelescope, a double Wide Field of View Telescope system, a EUSST optical sensor telescope. These instruments allow surveillance of satellite and space debris in LEO, MEO and GEO orbits. The WFOV telescope offers spectroscopy capabilities enabling light curve analysis and cosmic sources monitoring. Instruments for Space Weather are being considered for installation to monitor solar activities and expand the range of SSA services.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
Tangent Velocity constraint for orbital maneuvers with Theory of Functional Connections
Authors:
A. K. de Almeida Jr.,
T. Vaillant,
V. M. de Oliveira,
D. Barbosa,
D. Maia,
S. Aljbaae,
B. Coelho,
M. Bergano,
J. Pandeirada,
A. F. B. A. Prado,
A. Guerman,
A. C. M. Correia
Abstract:
Maneuvering a spacecraft in the cislunar space is a complex problem, since it is highly perturbed by the gravitational influence of both the Earth and the Moon, and possibly also the Sun. Trajectories minimizing the needed fuel are generally preferred in order to decrease the mass of the payload. A classical method to constrain maneuvers is mathematically modelling them using the Two Point Boundar…
▽ More
Maneuvering a spacecraft in the cislunar space is a complex problem, since it is highly perturbed by the gravitational influence of both the Earth and the Moon, and possibly also the Sun. Trajectories minimizing the needed fuel are generally preferred in order to decrease the mass of the payload. A classical method to constrain maneuvers is mathematically modelling them using the Two Point Boundary Value Problem (TPBVP), defining spacecraft positions at the start and end of the trajectory. Solutions to this problem can then be obtained with optimization techniques like the nonlinear least squares conjugated with the Theory of Functional Connections (TFC) to embed the constraints, which recently became an effective method for deducing orbit transfers. In this paper, we propose a tangential velocity (TV) type of constraints to design orbital maneuvers. We show that the technique presented in this paper can be used to transfer a spacecraft (e.g. from the Earth to the Moon) and perform rendezvous maneuvers (e.g. a swing-by with the Moon). In comparison with the TPBVP, solving the TV constraints via TFC offers several advantages, leading to a significant reduction in computational time. Hence, it proves to be an efficient technique to design these maneuvers.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Dynamics of trans-Neptunian objects near the 3/1 mean-motion resonance with Neptune
Authors:
Alan J. Alves-Carmo,
Timothée Vaillant,
Alexandre C. M. Correia
Abstract:
The complex classification of trans-Neptunian objects (TNOs) that are captured in mean-motion resonances (MMRs) and the constraint of their multiple origins are two significant open problems concerning the Solar System. The case-by-case study of the different MMRs and their characteristics provide information about their origin and dynamics, which helps us to understand the early stages of the Sol…
▽ More
The complex classification of trans-Neptunian objects (TNOs) that are captured in mean-motion resonances (MMRs) and the constraint of their multiple origins are two significant open problems concerning the Solar System. The case-by-case study of the different MMRs and their characteristics provide information about their origin and dynamics, which helps us to understand the early stages of the Solar System evolution. In this paper, we study the dynamics of the detected TNOs close to a 3/1 MMR with Neptune. We initially use a semi-analytic three-body model to investigate the coplanar secular dynamics of these objects and find the stationary points. We then use surface sections and stability maps to analyse the non-averaged dynamics. These methods allow us to isolate the different stability regions and determine the extent of the chaotic regions. We show that stability maps are an extremely powerful tool for studying the resonant dynamics when they are computed in terms of the resonant angle. We then use these maps to study the non-planar three-body problem and the full dynamics in the presence of planetary perturbations. We confirm that TNOs near the 3/1 MMR regions can exist at very high inclinations. In the framework of the three-body problem, many of these objects can also be stable outside the 3/1 MMR owing to a Kozai secular resonance. However, when we take into account the perturbations of the four giant planets, the Kozai regions disappear and only the 3/1 MMR region remains, with eccentricities $e \lesssim 0.5$.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Theory of Functional Connections and Nelder-Mead optimization methods applied in satellite characterization
Authors:
Allan Kardec de Almeida Junior,
Safwan Aljbaae,
Timothée Vaillant,
Jhonathan M. Piñeros,
Bruno Coelho,
Domingos Barbosa,
Miguel Bergano,
João Pandeirada,
Francisco C. Carvalho,
Leonardo B. T. Santos,
Antonio F. B. A. Prado,
Anna Guerman,
Alexandre C. M. Correia
Abstract:
The growing population of man-made objects with the build up of mega-constellations not only increases the potential danger to all space vehicles and in-space infrastructures (including space observatories), but above all poses a serious threat to astronomy and dark skies. Monitoring of this population requires precise satellite characterization, which is is a challenging task that involves analyz…
▽ More
The growing population of man-made objects with the build up of mega-constellations not only increases the potential danger to all space vehicles and in-space infrastructures (including space observatories), but above all poses a serious threat to astronomy and dark skies. Monitoring of this population requires precise satellite characterization, which is is a challenging task that involves analyzing observational data such as position, velocity, and light curves using optimization methods. In this study, we propose and analyze the application of two optimization procedures to determine the parameters associated with the dynamics of a satellite: one based on the Theory of Functional Connections (TFC) and another one based on the Nelder-Mead heuristic optimization algorithm. The TFC performs linear functional interpolation to embed the constraints of the problem into a functional. In this paper, we propose to use this functional to analytically embed the observational data of a satellite into its equations of dynamics. After that, any solution will always satisfy the observational data. The second procedure proposed in this research takes advantage of the Nealder-Mead algorithm, that does not require the gradient of the objective function, as alternative solution. The accuracy, efficiency, and dependency on the initial guess of each method is investigated, analyzed, and compared for several dynamical models. These methods can be used to obtain the physical parameters of a satellite from available observational data and for space debris characterization contributing to follow-up monitoring activities in space and astronomical observatories.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Reversible time-step adaptation for the integration of few-body systems
Authors:
Tjarda C. N. Boekholt,
Timothee Vaillant,
Alexandre C. M. Correia
Abstract:
The time step criterion plays a crucial role in direct N-body codes. If not chosen carefully, it will cause a secular drift in the energy error. Shared, adaptive time step criteria commonly adopt the minimum pairwise time step, which suffers from discontinuities in the time evolution of the time step. This has a large impact on the functioning of time step symmetrisation algorithms. We provide new…
▽ More
The time step criterion plays a crucial role in direct N-body codes. If not chosen carefully, it will cause a secular drift in the energy error. Shared, adaptive time step criteria commonly adopt the minimum pairwise time step, which suffers from discontinuities in the time evolution of the time step. This has a large impact on the functioning of time step symmetrisation algorithms. We provide new demonstrations of previous findings that a smooth and weighted average over all pairwise time steps in the N-body system, improves the level of energy conservation. Furthermore, we compare the performance of 27 different time step criteria, by considering 3 methods for weighting time steps and 9 symmetrisation methods. We present performance tests for strongly chaotic few-body systems, including unstable triples, giant planets in a resonant chain, and the current Solar System. We find that the harmonic symmetrisation methods (methods A3 and B3 in our notation) are the most robust, in the sense that the symmetrised time step remains close to the time step function. Furthermore, based on our Solar System experiment, we find that our new weighting method based on direct pairwise averaging (method W2 in our notation), is slightly preferred over the other methods.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Eviction-like resonances for satellite orbits. Application to Phobos, the main satellite of Mars
Authors:
Timothée Vaillant,
Alexandre C. M. Correia
Abstract:
The motion of a satellite can experience secular resonances between the precession frequencies of its orbit and the mean motion of the host planet around the star. Some of these resonances can significantly modify the eccentricity (evection resonance) and the inclination (eviction resonance) of the satellite. In this paper, we study in detail the secular resonances that can disturb the orbit of a…
▽ More
The motion of a satellite can experience secular resonances between the precession frequencies of its orbit and the mean motion of the host planet around the star. Some of these resonances can significantly modify the eccentricity (evection resonance) and the inclination (eviction resonance) of the satellite. In this paper, we study in detail the secular resonances that can disturb the orbit of a satellite, in particular the eviction-like ones. Although the inclination is always disturbed while crossing one eviction-like resonance, capture can only occur when the semi-major axis is decreasing. This is, for instance, the case of Phobos, the largest satellite of Mars, that will cross some of these resonances in the future because its orbit is shrinking owing to tidal effects. We estimate the impact of resonance crossing in the orbit of the satellite, including the capture probabilities, as a function of several parameters, such as the eccentricity and the inclination of the satellite, and the obliquity of the planet. Finally, we use the method of the frequency map analysis to study the resonant dynamics based on stability maps, and we show that some of the secular resonances may overlap, which leads to chaotic motion for the inclination of the satellite.
△ Less
Submitted 25 January, 2022;
originally announced January 2022.
-
Dedicated symplectic integrators for rotation motions
Authors:
J. Laskar,
T. Vaillant
Abstract:
We propose to use the properties of the Lie algebra of the angular momentum to build symplectic integrators dedicated to the Hamiltonian of the free rigid body. By introducing a dependence of the coefficients of integrators on the moments of inertia of the integrated body, we can construct symplectic dedicated integrators with fewer stages than in the general case for a splitting in three parts of…
▽ More
We propose to use the properties of the Lie algebra of the angular momentum to build symplectic integrators dedicated to the Hamiltonian of the free rigid body. By introducing a dependence of the coefficients of integrators on the moments of inertia of the integrated body, we can construct symplectic dedicated integrators with fewer stages than in the general case for a splitting in three parts of the Hamiltonian. We perform numerical tests to compare the developed dedicated 4th-order integrators to the existing reference integrators for the water molecule. We also estimate analytically the accuracy of these new integrators for the set of the rigid bodies and conclude that they are more accurate than the existing ones only for very asymmetric bodies.
△ Less
Submitted 3 May, 2019; v1 submitted 12 September, 2018;
originally announced September 2018.
-
Long-term orbital and rotational motions of Ceres and Vesta
Authors:
T. Vaillant,
J. Laskar,
N. Rambaux,
M. Gastineau
Abstract:
Context. The dwarf planet Ceres and the asteroid Vesta have been studied by the Dawn space mission. They are the two heaviest bodies of the main asteroid belt and have different characteristics. Notably, Vesta appears to be dry and inactive with two large basins at its south pole. Ceres is an ice-rich body with signs of cryovolcanic activity.
Aims. The aim of this paper is to determine the obliq…
▽ More
Context. The dwarf planet Ceres and the asteroid Vesta have been studied by the Dawn space mission. They are the two heaviest bodies of the main asteroid belt and have different characteristics. Notably, Vesta appears to be dry and inactive with two large basins at its south pole. Ceres is an ice-rich body with signs of cryovolcanic activity.
Aims. The aim of this paper is to determine the obliquity variations of Ceres and Vesta and to study their rotational stability.
Methods. The orbital and rotational motions have been integrated by symplectic integration. The rotational stability has been studied by integrating secular equations and by computing the diffusion of the precession frequency.
Results. The obliquity variations of Ceres over $[-20:0]\,\mathrm{Myr}$ are between $2$ and $20°$ and the obliquity variations of Vesta are between $21$ and $45°$. The two giant impacts suffered by Vesta modified the precession constant and could have put Vesta closer to the resonance with the orbital frequency $2s_6-s_V$. Given the uncertainty on the polar moment of inertia, the present Vesta could be in this resonance where the obliquity variations can vary between $17$ and $48°$.
Conclusions. Although Ceres and Vesta have precession frequencies close to the secular orbital frequencies of the inner planets, their long-term rotations are relatively stable. The perturbations of Jupiter and Saturn dominate the secular orbital dynamics of Ceres and Vesta and the perturbations of the inner planets are much weaker. The secular resonances with the inner planets also have smaller widths and do not overlap, contrary to the case of the inner planets.
△ Less
Submitted 15 March, 2019; v1 submitted 30 August, 2018;
originally announced August 2018.
-
Sampling microcanonical measures of the 2D Euler equations through Creutz's algorithm: a phase transition from disorder to order when energy is increased
Authors:
Max Potters,
Timothee Vaillant,
Freddy Bouchet
Abstract:
The 2D Euler equations is the basic example of fluid models for which a microcanical measure can be constructed from first principles. This measure is defined through finite-dimensional approximations and a limiting procedure. Creutz's algorithm is a microcanonical generalization of the Metropolis-Hasting algorithm (to sample Gibbs measures, in the canonical ensemble). We prove that Creutz's algor…
▽ More
The 2D Euler equations is the basic example of fluid models for which a microcanical measure can be constructed from first principles. This measure is defined through finite-dimensional approximations and a limiting procedure. Creutz's algorithm is a microcanonical generalization of the Metropolis-Hasting algorithm (to sample Gibbs measures, in the canonical ensemble). We prove that Creutz's algorithm can sample finite-dimensional approximations of the 2D Euler microcanonical measures (incorporating fixed energy and other invariants). This is essential as microcanonical and canonical measures are known to be inequivalent at some values of energy and vorticity distribution. Creutz's algorithm is used to check predictions from the mean-field statistical mechanics theory of the 2D Euler equations (the Robert-Sommeria-Miller theory). We found full agreement with theory. Three different ways to compute the temperature give consistent results. Using Creutz's algorithm, a first-order phase transition never observed previously, and a situation of statistical ensemble inequivalence are found and studied. Strikingly, and contrasting usual statistical mechanics interpretations, this phase transition appears from a disordered phase to an ordered phase (with less symmetries) when energy is increased. We explain this paradox.
△ Less
Submitted 20 December, 2012; v1 submitted 16 October, 2012;
originally announced October 2012.