On the existence of steady periodic capillary-gravity stratified water waves

We prove the existence of small steady periodic capillary-gravity water waves for general stratified flows, where we allow for stagnation points in the flow. We establish the existence of both laminar and non-laminar flow solutions for the governing equations. This is achieved by using bifurcation theory and estimates based on the ellipticity of the system, where we regard, in turn, the mass-flux and surface tension as bifurcation parameters.Comment: 17 pages, to appear in Ann. Scuola Norm. Sup. Pisa Cl. Sc

Sharing Human-Generated Observations by Integrating HMI and the Semantic Sensor Web

Current “Internet of Things” concepts point to a future where connected objects gather meaningful information about their environment and share it with other objects and people. In particular, objects embedding Human Machine Interaction (HMI), such as mobile devices and, increasingly, connected vehicles, home appliances, urban interactive infrastructures, etc., may not only be conceived as sources of sensor information, but, through interaction with their users, they can also produce highly valuable context-aware human-generated observations. We believe that the great promise offered by combining and sharing all of the different sources of information available can be realized through the integration of HMI and Semantic Sensor Web technologies. This paper presents a technological framework that harmonizes two of the most influential HMI and Sensor Web initiatives: the W3C’s Multimodal Architecture and Interfaces (MMI) and the Open Geospatial Consortium (OGC) Sensor Web Enablement (SWE) with its semantic extension, respectively. Although the proposed framework is general enough to be applied in a variety of connected objects integrating HMI, a particular development is presented for a connected car scenario where drivers’ observations about the traffic or their environment are shared across the Semantic Sensor Web. For implementation and evaluation purposes an on-board OSGi (Open Services Gateway Initiative) architecture was built, integrating several available HMI, Sensor Web and Semantic Web technologies. A technical performance test and a conceptual validation of the scenario with potential users are reported, with results suggesting the approach is soun

Artificial intelligence in support to space traffic management

This paper presents an Artificial Intelligence-based decision support system to assist ground operators to plan and implement collision avoidance manoeuvres. When a new conjunction is expected, the system provides the operator with an optimal manoeuvre and an analysis of the possible outcomes. Machine learning techniques are combined with uncertainty quantification and orbital mechanics calculations to support an optimal and reliable management of space traffic. A dataset of collision avoidance manoeuvres has been created by simulating a range of scenarios in which optimal manoeuvres (in the sense of optimal control) are applied to reduce the collision probability between pairs of objects. The consequences of the execution of a manoeuvre are evaluated to assess its benefits against its cost. Consequences are quantified in terms of the need for additional manoeuvres to avoid subsequent collisions. By using this dataset, we train predictive models that forecast the risk of avoiding new collisions, and use them to recommend alternative manoeuvres that may be globally better for the space environment

Earth-Mars transfers through Moon distant retrograde orbits

This paper focuses on trajectory design which is relevant for missions that would follow NASA’s Asteroid Redirect Mission (ARM) to further explore and utilise asteroids and eventually human Mars exploration. Assuming that a refueling gas station is present at a given Lunar Distant Retrograde Orbit (DRO), we analyse ways of departing from the Earth to Mars via that DRO. Thus, the analysis and results presented in this paper add a new cis-lunar departure orbit for Earth-Mars missions. Porkchop plots depicting the required C3 at launch, v1 at arrival, Time of Flight (TOF), and total ∆V for various DRO departure and Mars arrival dates are created and compared with results obtained for low ∆V LEO to Mars trajectories. The results show that low ∆V DRO to Mars transfers generally have lower ∆V and TOF than LEO to Mars maneuvers