-
Fuzzy to Clear: Elucidating the Threat Hunter Cognitive Process and Cognitive Support Needs
Authors:
Alessandra Maciel Paz Milani,
Arty Starr,
Samantha Hill,
Callum Curtis,
Norman Anderson,
David Moreno-Lumbreras,
Margaret-Anne Storey
Abstract:
With security threats increasing in frequency and severity, it is critical that we consider the important role of threat hunters. These highly-trained security professionals learn to see, identify, and intercept security threats. Many recent works and existing tools in cybersecurity are focused on automating the threat hunting process, often overlooking the critical human element. Our study shifts…
▽ More
With security threats increasing in frequency and severity, it is critical that we consider the important role of threat hunters. These highly-trained security professionals learn to see, identify, and intercept security threats. Many recent works and existing tools in cybersecurity are focused on automating the threat hunting process, often overlooking the critical human element. Our study shifts this paradigm by emphasizing a human-centered approach to understanding the lived experiences of threat hunters. By observing threat hunters during hunting sessions and analyzing the rich insights they provide, we seek to advance the understanding of their cognitive processes and the tool support they need. Through an in-depth observational study of threat hunters, we introduce a model of how they build and refine their mental models during threat hunting sessions. We also present 23 themes that provide a foundation to better understand threat hunter needs and five actionable design propositions to enhance the tools that support them. Through these contributions, our work enriches the theoretical understanding of threat hunting and provides practical insights for designing more effective, human-centered cybersecurity tools.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Towards Indirect Data-Driven Predictive Control for Heating Phase of Thermoforming Process
Authors:
Hadi Hosseinionari,
Mohammad Bajelani,
Klaske van Heusden,
Abbas S. Milani,
Rudolf Seethaler
Abstract:
Shaping thermoplastic sheets into three-dimensional products is challenging since overheating results in failed manufactured parts and wasted material. To this end, we propose an indirect data-driven predictive control approach using Model Predictive Control (MPC) capable of handling temperature constraints and heating-power saturation while delivering enhanced precision, overshoot control, and se…
▽ More
Shaping thermoplastic sheets into three-dimensional products is challenging since overheating results in failed manufactured parts and wasted material. To this end, we propose an indirect data-driven predictive control approach using Model Predictive Control (MPC) capable of handling temperature constraints and heating-power saturation while delivering enhanced precision, overshoot control, and settling times compared to state-of-the-art methods. We employ a Non-linear Auto-Regressive with Exogenous inputs (NARX) model to define a linear control-oriented model at each operating point. Using a high-fidelity simulator, several simulation studies have been conducted to evaluate the proposed method's robustness and performance under parametric uncertainty, indicating overshoot and average steady-state error less than $2^\circ \mathrm{C}$ and $0.7^\circ \mathrm{C}$ ($7^\circ \mathrm{C}$ and $2^\circ \mathrm{C}$) for the nominal (worst-case) scenario. Finally, we applied the proposed method to a lab-scale thermoforming platform, resulting in a close response to the simulation analysis with overshoot and average steady-state error metrics less than $5.3^\circ \mathrm{C}$ and $1^\circ \mathrm{C}$, respectively.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Analyzing the impact of forecast errors in the planning of wine grape harvesting operations using a multi-stage stochastic model approach
Authors:
Alejandro Milani,
Alejandro Mac Cawley
Abstract:
Forecasts and future beliefs play a critical role in the harvest labor hiring planning, especially when errors in them entails fixing previous made decisions, which can carry extra costs or losses. In this article, we study the effect that errors in the forecast/belief can have in the wine grape harvest planning process and the losses of the product. Errors are reflected in the prediction of yield…
▽ More
Forecasts and future beliefs play a critical role in the harvest labor hiring planning, especially when errors in them entails fixing previous made decisions, which can carry extra costs or losses. In this article, we study the effect that errors in the forecast/belief can have in the wine grape harvest planning process and the losses of the product. Errors are reflected in the prediction of yields and in the estimation of rain transition probabilities have on the value and losses of product. Also, using a multi-stage stochastic optimization model we can study the effect that second stage decisions have on the ability fix the planning decisions, reduce product losses and generate value. In a first step, we develop a multi-stage stochastic model which considers grape growth uncertainty given a belief in future events. The model decisions variables are: hiring, firing and maintaining harvest labor through periods, and also the harvested quantities in each period and block. Once the model defines the plan for the coming epoch, some decisions are implemented and a deviation in the forecast is revealed and the decision maker can adjust future decisions and beliefs. Results indicate that the effect of the errors in yield determination is not symmetrical; underestimations of the yields have a more significant negative effect on the objective function, while overestimation does not. Flexibility to revise hiring decisions does not make a significant difference if the yields are overestimated. The model significantly reduces losses of the better-quality grapes, since they correspond to a significant proportion of the income and account for the largest portion of income loss. Last, grapes that have an early improvement of their quality give the decision-maker an extra level of flexibility to adjust the harvesting plan.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Guidelines for Using Mixed and Multi Methods Research in Software Engineering
Authors:
Margaret-Anne Storey,
Rashina Hoda,
Alessandra Maciel Paz Milani,
Maria Teresa Baldassarre
Abstract:
Mixed and multi methods research is often used in software engineering, but researchers outside of the social or human sciences often lack experience when using these designs. This paper provides guidelines and advice on how to design mixed and multi method research, and to encourage the intentional, rigourous, and innovative use of mixed methods in software engineering. It also presents key chara…
▽ More
Mixed and multi methods research is often used in software engineering, but researchers outside of the social or human sciences often lack experience when using these designs. This paper provides guidelines and advice on how to design mixed and multi method research, and to encourage the intentional, rigourous, and innovative use of mixed methods in software engineering. It also presents key characteristics of core mixed method research designs. Through a number of fictitious but recognizable software engineering research scenarios and personas of prototypical researchers, we showcase how to choose suitable designs and consider the inevitable tradeoffs any design choice leads to. We furnish the paper with recommended best practices and several antipatterns that illustrate what to avoid in mixed and multi method research.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers
Authors:
Colette Johnen,
Adnane Khattabi,
Alessia Milani,
Jennifer L. Welch
Abstract:
Relaxing the sequential specification of a shared object is a way to obtain an implementation with better performance compared to implementing the original specification. We apply this approach to the Counter object, under the assumption that the number of times the Counter is incremented in any execution is at most a known bound $m$. We consider the $k$-multiplicative-accurate Counter object, whe…
▽ More
Relaxing the sequential specification of a shared object is a way to obtain an implementation with better performance compared to implementing the original specification. We apply this approach to the Counter object, under the assumption that the number of times the Counter is incremented in any execution is at most a known bound $m$. We consider the $k$-multiplicative-accurate Counter object, where each read operation returns an approximate value that is within a multiplicative factor $k$ of the accurate value. More specifically, a read is allowed to return an approximate value $x$ of the number $v$ of increments previously applied to the counter such that $v/k \le x \le vk$. We present three algorithms to implement this object in a wait-free linearizable manner in the shared memory model using read-write registers. All the algorithms have read operations whose worst-case step complexity improves exponentially on that for an exact $m$-bounded counter (which in turn improves exponentially on that for an exact unbounded counter). Two of the algorithms have read step complexity that is asymptotically optimal. The algorithms differ in their requirements on $k$, step complexity of the increment operation, and space complexity.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
The Synchronization Power of Auditable Registers
Authors:
Hagit Attiya,
Antonella Del Pozzo,
Alessia Milani,
Ulysse Pavloff,
Alexandre Rapetti
Abstract:
Auditability allows to track all the read operations performed on a register. It abstracts the need of data owners to control access to their data, tracking who read which information. This work considers possible formalizations of auditing and their ramification for the possibility of providing it.
The natural definition is to require a linearization of all write, read and audit operations toge…
▽ More
Auditability allows to track all the read operations performed on a register. It abstracts the need of data owners to control access to their data, tracking who read which information. This work considers possible formalizations of auditing and their ramification for the possibility of providing it.
The natural definition is to require a linearization of all write, read and audit operations together (atomic auditing). The paper shows that atomic auditing is a powerful tool, as it can be used to solve consensus. The number of processes that can solve consensus using atomic audit depends on the number of processes that can read or audit the register. If there is a single reader or a single auditor (the writer), then consensus can be solved among two processes. If multiple readers and auditors are possible, then consensus can be solved among the same number of processes. This means that strong synchronization primitives are needed to support atomic auditing.
We give implementations of atomic audit when there are either multiple readers or multiple auditors (but not both) using primitives with consensus number 2 (swap and fetch&add). When there are multiple readers and multiple auditors, the implementation uses compare&swap.
These findings motivate a weaker definition, in which audit operations are not linearized together with the write and read operations (regular auditing). We prove that regular auditing can be implemented from ordinary reads and writes on atomic registers.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Towards One-Shot Learning for Text Classification using Inductive Logic Programming
Authors:
Ghazal Afroozi Milani,
Daniel Cyrus,
Alireza Tamaddoni-Nezhad
Abstract:
With the ever-increasing potential of AI to perform personalised tasks, it is becoming essential to develop new machine learning techniques which are data-efficient and do not require hundreds or thousands of training data. In this paper, we explore an Inductive Logic Programming approach for one-shot text classification. In particular, we explore the framework of Meta-Interpretive Learning (MIL),…
▽ More
With the ever-increasing potential of AI to perform personalised tasks, it is becoming essential to develop new machine learning techniques which are data-efficient and do not require hundreds or thousands of training data. In this paper, we explore an Inductive Logic Programming approach for one-shot text classification. In particular, we explore the framework of Meta-Interpretive Learning (MIL), along with using common-sense background knowledge extracted from ConceptNet. Results indicate that MIL can learn text classification rules from a small number of training examples. Moreover, the higher complexity of chosen examples, the higher accuracy of the outcome.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
A Sequential Meta-Transfer (SMT) Learning to Combat Complexities of Physics-Informed Neural Networks: Application to Composites Autoclave Processing
Authors:
Milad Ramezankhani,
Abbas S. Milani
Abstract:
Physics-Informed Neural Networks (PINNs) have gained popularity in solving nonlinear partial differential equations (PDEs) via integrating physical laws into the training of neural networks, making them superior in many scientific and engineering applications. However, conventional PINNs still fall short in accurately approximating the solution of complex systems with strong nonlinearity, especial…
▽ More
Physics-Informed Neural Networks (PINNs) have gained popularity in solving nonlinear partial differential equations (PDEs) via integrating physical laws into the training of neural networks, making them superior in many scientific and engineering applications. However, conventional PINNs still fall short in accurately approximating the solution of complex systems with strong nonlinearity, especially in long temporal domains. Besides, since PINNs are designed to approximate a specific realization of a given PDE system, they lack the necessary generalizability to efficiently adapt to new system configurations. This entails computationally expensive re-training from scratch for any new change in the system. To address these shortfalls, in this work a novel sequential meta-transfer (SMT) learning framework is proposed, offering a unified solution for both fast training and efficient adaptation of PINNs in highly nonlinear systems with long temporal domains. Specifically, the framework decomposes PDE's time domain into smaller time segments to create "easier" PDE problems for PINNs training. Then for each time interval, a meta-learner is assigned and trained to achieve an optimal initial state for rapid adaptation to a range of related tasks. Transfer learning principles are then leveraged across time intervals to further reduce the computational cost.Through a composites autoclave processing case study, it is shown that SMT is clearly able to enhance the adaptability of PINNs while significantly reducing computational cost, by a factor of 100.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Vibrational properties of graphdiynes as 2D carbon materials beyond graphene
Authors:
P. Serafini,
A. Milani,
M. Tommasini,
C. Castiglioni,
D. M. Proserpio,
C. E. Bottani,
C. S. Casari
Abstract:
Two-dimensional (2D) hybrid sp-sp2 carbon systems are an appealing subject for science and technology. For these materials, topology and structure significantly affect electronic and vibrational properties. We investigate here by periodic density-functional theory (DFT) calculations we here investigate the Raman and IR spectra of 2D carbon crystals belonging to the family of graphdiynes (GDYs) and…
▽ More
Two-dimensional (2D) hybrid sp-sp2 carbon systems are an appealing subject for science and technology. For these materials, topology and structure significantly affect electronic and vibrational properties. We investigate here by periodic density-functional theory (DFT) calculations we here investigate the Raman and IR spectra of 2D carbon crystals belonging to the family of graphdiynes (GDYs) and having different structures and topologies. By joining DFT calculations with symmetry analysis, we assign the IR and Raman modes in the spectra of all the investigated systems. On this basis, we discuss how the modulation of the Raman and IR active bands depends on the different interactions between sp and sp2 domains. The symmetry-based classification allows identifying the marker bands sensitive to the different peculiar topologies. These results show the effectiveness of vibrational spectroscopy for the characterization of new nanostructures, deepening the knowledge of the subtle interactions that take place in these 2D materials.
△ Less
Submitted 6 May, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Towards a Heterogeneous Smart Electromagnetic Environment for Millimeter-Wave Communications: An Industrial Viewpoint
Authors:
Roberto Flamini,
Danilo De Donno,
Jonathan Gambini,
Francesco Giuppi,
Christian Mazzucco,
Angelo Milani,
Laura Resteghini
Abstract:
Fifth generation (5G) and beyond communication systems open the door to millimeter Wave (mmWave) frequency bands to leverage the extremely large operating bandwidths and deliver unprecedented network capacity. These frequency bands are affected by high propagation losses that severely limit the achievable coverage. The simplest way to address this problem would be to increase the number of install…
▽ More
Fifth generation (5G) and beyond communication systems open the door to millimeter Wave (mmWave) frequency bands to leverage the extremely large operating bandwidths and deliver unprecedented network capacity. These frequency bands are affected by high propagation losses that severely limit the achievable coverage. The simplest way to address this problem would be to increase the number of installed mmWave base stations (BSs), at the same time augmenting the overall network cost, power consumption and ElectroMagnetic Field (EMF) levels. As alternative direction, here we propose to complement the macro-layer of mmWave BSs with a heterogeneous deployment of Smart Electromagnetic (Smart EM) Entities - namely IAB nodes, Smart Repeaters, Reconfigurable Intelligent Surfaces (RISs) and passive surfaces - that is judiciously planned to minimize the total installation costs while at the same time optimizing the network spectral efficiency. Initial network planning results underline the effectiveness of the proposed approach. The available technologies and the key research directions for achieving this view are thoroughly discussed by accounting for issues ranging from system-level design to the development of new materials.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
A Data-driven Multi-fidelity Physics-informed Learning Framework for Smart Manufacturing: A Composites Processing Case Study
Authors:
Milad Ramezankhani,
Amir Nazemi,
Apurva Narayan,
Heinz Voggenreiter,
Mehrtash Harandi,
Rudolf Seethaler,
Abbas S. Milani
Abstract:
Despite the successful implementations of physics-informed neural networks in different scientific domains, it has been shown that for complex nonlinear systems, achieving an accurate model requires extensive hyperparameter tuning, network architecture design, and costly and exhaustive training processes. To avoid such obstacles and make the training of physics-informed models less precarious, in…
▽ More
Despite the successful implementations of physics-informed neural networks in different scientific domains, it has been shown that for complex nonlinear systems, achieving an accurate model requires extensive hyperparameter tuning, network architecture design, and costly and exhaustive training processes. To avoid such obstacles and make the training of physics-informed models less precarious, in this paper, a data-driven multi-fidelity physics-informed framework is proposed based on transfer learning principles. The framework incorporates the knowledge from low-fidelity auxiliary systems and limited labeled data from target actual system to significantly improve the performance of conventional physics-informed models. While minimizing the efforts of designing a complex task-specific network for the problem at hand, the proposed settings guide the physics-informed model towards a fast and efficient convergence to a global optimum. An adaptive weighting method is utilized to further enhance the optimization of the model composite loss function during the training process. A data-driven strategy is also introduced for maintaining high performance in subdomains with significant divergence between low- and high-fidelity behaviours. The heat transfer of composite materials undergoing a cure cycle is investigated as a case study to demonstrate the proposed framework's performance compared to conventional physics-informed models.
△ Less
Submitted 12 February, 2022;
originally announced February 2022.
-
Graphdiynes interacting with metal surfaces: first-principles electronic and vibrational properties
Authors:
Simona Achilli,
Alberto Milani,
Guido Fratesi,
Francesco Tumino,
Nicola Manini,
Giovanni Onida,
Carlo S. Casari
Abstract:
Graphdiynes (GDYs) represent a class of 2D carbon materials based on sp-sp$^2$ hybridization with appealing properties and potential applications. Recent advances have demonstrated the experimental self-assembly of GDYs on metal substrates. Here we focus on $α$- and $β$-GDYs on Au(111) and Pt(111), and investigate how their electronic and vibrational properties are affected by the interaction with…
▽ More
Graphdiynes (GDYs) represent a class of 2D carbon materials based on sp-sp$^2$ hybridization with appealing properties and potential applications. Recent advances have demonstrated the experimental self-assembly of GDYs on metal substrates. Here we focus on $α$- and $β$-GDYs on Au(111) and Pt(111), and investigate how their electronic and vibrational properties are affected by the interaction with a metal substrate. We adopt hydrogenated GDY, previously characterized experimentally, as a benchmark for density functional theory simulations, that we apply to show that Au and Pt substrates impose a different degree of distortion on both $α$- and $β$-GDY. By comparing the adsorbed and the freestanding structures, we evaluate the effect of the surface interaction on the bandstructure and the simulated Raman spectra. Different charge transfers result in different energy shift of the Dirac cone in semi-metallic $α$-GDY and changes from semiconducting to metallic behavior for $β$-GDY. These changes in electronic properties are accompanied by characteristic frequency shifts and modifications of Raman active modes. Our results contribute in the understanding of the metal-interaction effects on GDYs and can open a route to the design of novel 2D materials with tailored properties.
△ Less
Submitted 1 November, 2021;
originally announced November 2021.
-
In situ surface-enhanced Raman spectroscopy to investigate polyyne formation during pulsed laser ablation in liquid
Authors:
Pietro Marabotti,
Sonia Peggiani,
Anna Facibeni,
Patrick Serafini,
Alberto Milani,
Valeria Russo,
Andrea Li Bassi,
Carlo Spartaco Casari
Abstract:
The synthesis of polyynes during their formation by pulsed laser ablation in liquid (i.e. acetonitrile) has been analyzed by in-situ surface-enhanced Raman spectroscopy (SERS). A polyethylene pellet, functionalized with silver nanoparticles and placed into the ablation medium, served as SERS active surface. This innovative approach granted the possibility to investigate the dynamics of formation a…
▽ More
The synthesis of polyynes during their formation by pulsed laser ablation in liquid (i.e. acetonitrile) has been analyzed by in-situ surface-enhanced Raman spectroscopy (SERS). A polyethylene pellet, functionalized with silver nanoparticles and placed into the ablation medium, served as SERS active surface. This innovative approach granted the possibility to investigate the dynamics of formation and degradation of polyynes with a time-resolution of a few seconds, starting from the early stages of ablation when the concentration is low. The processes occurring during the synthesis have been studied comparing the in-situ SERS signal of polyynes and byproducts in the solution. The different kinetics of short and long polyynes have been investigated by their in-situ SERS signal, exploring the final distribution of chain lengths. Ex situ UV-Vis and high-performance liquid chromatography confirmed the observations gained from in-situ SERS data and validated this innovative in-situ and in-operando analysis.
△ Less
Submitted 12 December, 2021; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Vibrational and nonlinear optical properties of amine-capped push-pull polyynes by infrared and Raman spectroscopy
Authors:
Pietro Marabotti,
Alberto Milani,
Andrea Lucotti,
Luigi Brambilla,
Matteo Tommasini,
Chiara Castiglioni,
Patrycja Męcik,
Bartłomiej Pigulski,
Sławomir Szafert,
Carlo Spartaco Casari
Abstract:
The vibrational properties of a series of push-pull polyynes have been studied by infrared and Raman spectroscopy. The simultaneous activation of a strong infrared and Raman mode, i.e. the collective vibration of CC bonds of the sp carbon chain, highlights the effectiveness of a polyyne bridge in promoting charge transfer between the electron donor (D) and acceptor (A) ends, thus suggesting that a…
▽ More
The vibrational properties of a series of push-pull polyynes have been studied by infrared and Raman spectroscopy. The simultaneous activation of a strong infrared and Raman mode, i.e. the collective vibration of CC bonds of the sp carbon chain, highlights the effectiveness of a polyyne bridge in promoting charge transfer between the electron donor (D) and acceptor (A) ends, thus suggesting that ad-hoc functionalized polyynes are worth being explored as building blocks of organic materials with attractive first-order optical nonlinearity. The optical, electronic, and vibrational properties of these molecules have been investigated with the support of density functional theory calculations, as well as the electronic and vibrational first hyperpolarizabilities ($β$). The mid-low region of the IR spectra (800-1600 cm$^{-1}$) has been analyzed in detail, searching for marker bands of the specific terminations of the different sp carbon chains thus achieving a complete vibrational characterization of sp hybridized push-pull systems.
△ Less
Submitted 24 September, 2021; v1 submitted 31 July, 2021;
originally announced August 2021.
-
Upper and Lower Bounds for Deterministic Approximate Objects
Authors:
Danny Hendler,
Adnane Khattabi,
Alessia Milani,
Corentin Travers
Abstract:
Relaxing the sequential specification of shared objects has been proposed as a promising approach to obtain implementations with better complexity. In this paper, we study the step complexity of relaxed variants of two common shared objects: max registers and counters. In particular, we consider the $k$-multiplicative-accurate max register and the $k$-multiplicative-accurate counter, where read op…
▽ More
Relaxing the sequential specification of shared objects has been proposed as a promising approach to obtain implementations with better complexity. In this paper, we study the step complexity of relaxed variants of two common shared objects: max registers and counters. In particular, we consider the $k$-multiplicative-accurate max register and the $k$-multiplicative-accurate counter, where read operations are allowed to err by a multiplicative factor of $k$ (for some $k \in \mathbb{N}$). More accurately, reads are allowed to return an approximate value $x$ of the maximum value $v$ previously written to the max register, or of the number $v$ of increments previously applied to the counter, respectively, such that $v/k \leq x \leq v \cdot k$. We provide upper and lower bounds on the complexity of implementing these objects in a wait-free manner in the shared memory model.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Designing all graphdiyne materials as graphene derivatives: topologically driven modulation of electronic properties
Authors:
Patrick Serafini,
Alberto Milani,
Davide M. Proserpio,
Carlo S. Casari
Abstract:
Designing new 2D systems with tunable properties is an important subject for science and technology. Starting from graphene, we developed an algorithm to systematically generate 2D carbon crystals belonging to the family of graphdiynes (GDYs) and having different structures and sp/sp2 carbon ratio. We analyze how structural and topological effects can tune the relative stability and the electronic…
▽ More
Designing new 2D systems with tunable properties is an important subject for science and technology. Starting from graphene, we developed an algorithm to systematically generate 2D carbon crystals belonging to the family of graphdiynes (GDYs) and having different structures and sp/sp2 carbon ratio. We analyze how structural and topological effects can tune the relative stability and the electronic behavior, to propose a rationale for the development of new systems with tailored properties. A total of 26 structures have been generated, including the already known polymorphs such as α-, \b{eta}- and γ-GDY. Periodic density functional theory calculations have been employed to optimize the 2D crystal structures and to compute the total energy, the band structure, and the density of states. Relative energies with respect to graphene have been found to increase when the values of carbon sp/sp2 ratio increase, following however different trends based on the peculiar topologies present in the crystals. These topologies also influence the band structure giving rise to semiconductors with a finite bandgap, zero-gap semiconductors displaying Dirac cones, or metallic systems. The different trends allow identifying some topological effects as possible guidelines in the design of new 2D carbon materials beyond graphene.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
Topology-dependent conjugation effects in graphdiyne molecular fragments
Authors:
Patrick Serafini,
Alberto Milani,
Matteo Tommasini,
Carlo E. Bottani,
Carlo S. Casari
Abstract:
Graphdiynes (GDYs) as two-dimensional carbon structures based on sp2 hybridized aromatic rings connected by sp-hybridized acetylenic linear links are gathering an increasing popularity, both for their peculiar properties and for the promising applications. In these materials, structural features affect the degree of pi-electron conjugation resulting in different electronic, optical and vibrational…
▽ More
Graphdiynes (GDYs) as two-dimensional carbon structures based on sp2 hybridized aromatic rings connected by sp-hybridized acetylenic linear links are gathering an increasing popularity, both for their peculiar properties and for the promising applications. In these materials, structural features affect the degree of pi-electron conjugation resulting in different electronic, optical and vibrational properties. In particular, how topology, connectivity between sp and sp2 domains and system size are related with the final properties is fundamental to understand structure-property relationships and to tailor the properties by proper structure design. By using a computational approach based on density functional theory calculations, we here investigate structure-property relations in a class of 1D and 2D GDY molecular fragments as building block models of extended structures. By analysing how the structure can modulate the pi-electron conjugation in these systems, HOMO-LUMO gap is found to depend on the peculiar topology and connections between linear sp domains and aromatic units. A topological indicator is computed, showing a trend with the gap and with the frequency of the main vibrational mode occurring in Raman spectra. Our findings can contribute to guide the molecular design of new GDY-based sp-sp2 carbon materials, aiming at tuning their properties by precise control of the structure.
△ Less
Submitted 2 August, 2021; v1 submitted 9 January, 2021;
originally announced January 2021.
-
Structural, Electronic, and Vibrational Properties of 2D Graphdiyne-Like Carbon Nanonetwork Synthesized on Au(111): Implications for the Engineering of sp-sp2 Carbon Nanostructures
Authors:
Andi Rabia,
Francesco Tumino,
Alberto Milani,
Valeria Russo,
Andrea Li Bassi,
Nicolò Bassi,
Andrea Lucotti,
Simona Achilli,
Guido Fratesi,
Nicola Manini,
Giovanni Onida,
Qiang Sun,
Wei Xu,
Carlo S. Casari
Abstract:
Graphdiyne, atomically-thin 2D carbon nanostructure based on sp-sp2 hybridization, is an appealing system potentially showing outstanding mechanical and optoelectronic properties. Surface-catalyzed coupling of halogenated sp-carbon-based molecular precursors represents a promising bottom-up strategy to fabricate extended 2D carbon systems with engineered structure on metallic substrates. Here, we…
▽ More
Graphdiyne, atomically-thin 2D carbon nanostructure based on sp-sp2 hybridization, is an appealing system potentially showing outstanding mechanical and optoelectronic properties. Surface-catalyzed coupling of halogenated sp-carbon-based molecular precursors represents a promising bottom-up strategy to fabricate extended 2D carbon systems with engineered structure on metallic substrates. Here, we investigate the atomic-scale structure and electronic and vibrational properties of an extended graphdiyne-like sp-sp2 carbon nanonetwork grown on Au(111) by means of on-surface synthesis. The formation of such 2D nanonetwork at its different stages as a function of the annealing temperature after the deposition is monitored by scanning tunneling microscopy (STM), Raman spectroscopy and combined with density functional theory (DFT) calculations. High-resolution STM imaging and the high sensitivity of Raman spectroscopy to the bond nature provide a unique strategy to unravel the atomic-scale properties of sp-sp2 carbon nanostructures. We show that hybridization between the 2D carbon nanonetwork and the underlying substrate states strongly affects its electronic and vibrational properties, modifying substantially the density of states and the Raman spectrum compared to the free standing system. This opens the way to the modulation of the electronic properties with significant prospects in future applications as active nanomaterials for catalysis, photoconversion and carbon-based nanoelectronics.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
Incorporation of frailties into a non-proportional hazard regression model and its diagnostics for reliability modeling of downhole safety valves
Authors:
Francisco Louzada,
José A. Cuminato,
Oscar M. H. Rodriguez,
Vera L. D. Tomazella,
Eder A. Milani,
Paulo H. Ferreira,
Pedro L. Ramos,
Gustavo Bochio,
Ivan C. Perissini,
Oilson A. Gonzatto Junior,
Alex L. Mota,
Luis F. A. Alegría,
Danilo Colombo,
Paulo G. O. Oliveira,
Hugo F. L. Santos,
Marcus V. C. Magalhães
Abstract:
In this paper, our proposal consists of incorporating frailty into a statistical methodology for modeling time-to-event data, based on non-proportional hazards regression model. Specifically, we use the generalized time-dependent logistic (GTDL) model with a frailty term introduced in the hazard function to control for unobservable heterogeneity among the sampling units. We also add a regression i…
▽ More
In this paper, our proposal consists of incorporating frailty into a statistical methodology for modeling time-to-event data, based on non-proportional hazards regression model. Specifically, we use the generalized time-dependent logistic (GTDL) model with a frailty term introduced in the hazard function to control for unobservable heterogeneity among the sampling units. We also add a regression in the parameter that measures the effect of time, since it can directly reflect the influence of covariates on the effect of time-to-failure. The practical relevance of the proposed model is illustrated in a real problem based on a data set for downhole safety valves (DHSVs) used in offshore oil and gas production wells. The reliability estimation of DHSVs can be used, among others, to predict the blowout occurrence, assess the workover demand and aid decision-making actions.
△ Less
Submitted 1 December, 2020; v1 submitted 18 August, 2020;
originally announced August 2020.
-
Solvent-dependent termination, size and stability in polyynes synthesis by laser ablation in liquids
Authors:
Sonia Peggiani,
Pietro Marabotti,
Riccardo Alberto Lotti,
Anna Facibeni,
Patrick Serafini,
Alberto Milani,
Valeria Russo,
Andrea Li Bassi,
Carlo Spartaco Casari
Abstract:
In recent years there has been a growing interest in sp-carbon chains as possible novel nanostructures. An example of sp-carbon chains are the so-called polyynes, characterized by the alternation of single and triple bonds that can be synthesized by pulsed laser ablation in liquid (PLAL) of a graphite target. In this work, by exploiting different solvents in the PLAL process, e.g. water, acetonitr…
▽ More
In recent years there has been a growing interest in sp-carbon chains as possible novel nanostructures. An example of sp-carbon chains are the so-called polyynes, characterized by the alternation of single and triple bonds that can be synthesized by pulsed laser ablation in liquid (PLAL) of a graphite target. In this work, by exploiting different solvents in the PLAL process, e.g. water, acetonitrile, methanol, ethanol, and isopropanol, we systematically investigate the solvent role in polyyne formation and stability. The presence of methyland cyano-groups in the solutions influences the termination of polyynes, allowing to detect, in addition to hydrogen-capped polyynes up to HC22H, methyl-capped polyynes up to 18 carbon atoms (i.e. HCnCH3) and cyanopolyynes up to HC12CN. The assignment of each species was done by UV-Vis spectroscopy and supported by density functional theory simulations of vibronic spectra. In addition, surface-enhanced Raman spectroscopy allowed to observe differences, due to different terminations (hydrogen, methyl-and cyano group), in the shape and positions of the characteristic Raman bands of the size-selected polyynes. The evolution in time of each polyyne has been investigated evaluating the chromatographic peak area, and the effect of size, terminations and solvents on polyynes stability has been individuated.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
In situ synthesis of polyynes in a polymer matrix by pulsed laser ablation in liquid
Authors:
Sonia Peggiani,
Anna Facibeni,
Alberto Milani,
Chiara Castiglioni,
Valeria Russo,
Andrea Li Bassi,
Carlo S. Casari
Abstract:
Polyynes are finite chains formed by sp-hybridized carbon atoms with alternating single and triple bonds and displaying intriguing electronic and optical properties. Pulsed laser ablation in liquid (PLAL) is a well assessed technique for the physical synthesis of hydrogen-capped polyynes in solution, however, their limited stability prevents further exploitation in materials for different applicat…
▽ More
Polyynes are finite chains formed by sp-hybridized carbon atoms with alternating single and triple bonds and displaying intriguing electronic and optical properties. Pulsed laser ablation in liquid (PLAL) is a well assessed technique for the physical synthesis of hydrogen-capped polyynes in solution, however, their limited stability prevents further exploitation in materials for different applications. In this work, polyynes in poly(vinyl alcohol) (PVA) were produced in a single-step PLAL process by ablating graphite directly in aqueous solution of PVA, investigating the role of polymer concentration. The presence of PVA solution, as a participating medium for PLAL, is shown to favour the formation of polyynes. The addition of Ag colloids to the aqueous PVA/polyynes solution allowed surface-enhanced Raman spectroscopy (SERS) measurements, carried out both on liquid samples and on free-standing nanocomposites, obtained after solvent evaporation. We show that polyynes in the nanocomposite remain stable at least for 11 months, whereas the corresponding PVA/Ag/polyynes solution displayed a strong polyyne reduction already after 3 weeks. These results open the view to further characterizations of the properties of polyyne-based films and materials.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Encouraging early mastery of computational concepts through play
Authors:
Hannah M. Dee,
Jordi Freixenet,
Xavier Cufi,
Eduard Muntaner Perich,
Valentina Poggioni,
Marius Marian,
Alfredo Milani
Abstract:
Learning to code, and more broadly, learning about computer science is a growing field of activity and research. Under the label of computational thinking, computational concepts are increasingly used as cognitive tools in many subject areas, beyond computer science. Using playful approaches and gamification to motivate educational activities, and to encourage exploratory learning is not a new ide…
▽ More
Learning to code, and more broadly, learning about computer science is a growing field of activity and research. Under the label of computational thinking, computational concepts are increasingly used as cognitive tools in many subject areas, beyond computer science. Using playful approaches and gamification to motivate educational activities, and to encourage exploratory learning is not a new idea since play has been involved in the learning of computational concepts by children from the very start. There is a tension however, between learning activities and opportunities that are completely open and playful, and learning activities that are structured enough to be easily replicable among contexts, countries and classrooms. This paper describes the conception, refinement, design and evaluation of a set of playful computational activities for classrooms or code clubs, that balance the benefits of playfulness with sufficient rigor and structure to enable robust replication.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
Voice and accompaniment separation in music using self-attention convolutional neural network
Authors:
Yuzhou Liu,
Balaji Thoshkahna,
Ali Milani,
Trausti Kristjansson
Abstract:
Music source separation has been a popular topic in signal processing for decades, not only because of its technical difficulty, but also due to its importance to many commercial applications, such as automatic karoake and remixing. In this work, we propose a novel self-attention network to separate voice and accompaniment in music. First, a convolutional neural network (CNN) with densely-connecte…
▽ More
Music source separation has been a popular topic in signal processing for decades, not only because of its technical difficulty, but also due to its importance to many commercial applications, such as automatic karoake and remixing. In this work, we propose a novel self-attention network to separate voice and accompaniment in music. First, a convolutional neural network (CNN) with densely-connected CNN blocks is built as our base network. We then insert self-attention subnets at different levels of the base CNN to make use of the long-term intra-dependency of music, i.e., repetition. Within self-attention subnets, repetitions of the same musical patterns inform reconstruction of other repetitions, for better source separation performance. Results show the proposed method leads to 19.5% relative improvement in vocals separation in terms of SDR. We compare our methods with state-of-the-art systems i.e. MMDenseNet and MMDenseLSTM.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Transmission Line Pulse (TLP) as integrative method for the investigation of ultra-fast trapping mechanisms on high-k MIM
Authors:
Luca Merlo,
Isabella Rossetto,
Lorenzo Cerati,
Gabriella Ghidini,
Antonella Milani,
Fabrizio Toia,
Rossella Piagge,
Leonardo Di Biccari,
Eleonora Gevinti,
Giuseppe Croce,
Antonio Andreini
Abstract:
This paper discusses the transmission line pulse (TLP) analysis, generally used for electrostatic discharge (ESD) device characterization, as high potential usable tool also for non-ESD structures. TLP technique, combined with DC and pulsed I-V characterization, is performed to study the contribution of trap states on current conduction in metal-insulator-metal (MIM) capacitors with an HfAlO stack…
▽ More
This paper discusses the transmission line pulse (TLP) analysis, generally used for electrostatic discharge (ESD) device characterization, as high potential usable tool also for non-ESD structures. TLP technique, combined with DC and pulsed I-V characterization, is performed to study the contribution of trap states on current conduction in metal-insulator-metal (MIM) capacitors with an HfAlO stack. The importance of the above mentioned methods is demonstrated by comparing two generations of samples with slightly different charge trapping mechanisms; their impact on the current conduction is furthermore studied by decreasing the pulse width down to 50nsec. TLP analysis is finally discussed as interesting method to investigate the influence of trap states on the device robustness. The evaluation of breakdown voltage for different time pulses allows to discriminate whether different failure mechanisms occur or not and to establish the impact of trap states on short-term reliability.
△ Less
Submitted 20 February, 2020;
originally announced February 2020.
-
Raman and IR spectra of graphdiyne nanoribbons
Authors:
Patrick Serafini,
Alberto Milani,
Matteo Tommasini,
Chiara Castiglioni,
Carlo S. Casari
Abstract:
γ-graphdiyne is a 2D carbon structure beyond graphene: it is formed by sp and sp2 carbon atoms organized as hexagonal rings connected by linear links, and it is predicted to be a semiconductor. The lateral confinement of γ-graphdiyne nanoribbons significantly affects the electronic and vibrational properties. By means of periodic Density Functional Theory (DFT) calculations we investigate here the…
▽ More
γ-graphdiyne is a 2D carbon structure beyond graphene: it is formed by sp and sp2 carbon atoms organized as hexagonal rings connected by linear links, and it is predicted to be a semiconductor. The lateral confinement of γ-graphdiyne nanoribbons significantly affects the electronic and vibrational properties. By means of periodic Density Functional Theory (DFT) calculations we investigate here the electronic band structure, the Raman and IR spectra of the γ-graphdiyne 2D crystal and related nanoribbons. We discuss the effect of the functional and basis set on the evaluation of the band gap, highlighting the reliability of hybrid functionals. By joining DFT calculations with a symmetry analysis, we assign in detail the IR and Raman spectra of γ-graphdiyne. On this basis we show the modulation of the gap in nanoribbons of increasing width and different edges (armchair, zigzag). We assess how confinement affects the Raman and IR spectra of such nanoribbons by comparing their vibrational modes with the phonons of the parent 2D crystal. Our symmetry-based classification allows identifying the marker bands sensitive to the edge structure and lateral confinement of nanoribbons of increasing width. These results show the effectiveness of vibrational spectroscopy for the characterization of such nanostructures.
△ Less
Submitted 7 January, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Size-selected polyynes synthesized by submerged arc discharge in water
Authors:
Sonia Peggiani,
Andrea Senis,
Anna Facibeni,
Alberto Milani,
Patrick Serafini,
Gianmarco Cerrato,
Andrea Lucotti,
Matteo Tommasini,
Daniele Fazzi,
Chiara Castiglioni,
Valeria Russo,
Andrea Li Bassi,
Carlo S. Casari
Abstract:
Polyynes are linear sp-carbon chains of finite length consisting in a sequence of alternated single and triple bonds and displaying appealing optical and electronic properties. A simple, low cost and scalable production technique for polyynes is the submerged arc discharge (SAD) in liquid, which so far, has been mainly exploited in organic solvents. In this work, we investigated in detail SAD in w…
▽ More
Polyynes are linear sp-carbon chains of finite length consisting in a sequence of alternated single and triple bonds and displaying appealing optical and electronic properties. A simple, low cost and scalable production technique for polyynes is the submerged arc discharge (SAD) in liquid, which so far, has been mainly exploited in organic solvents. In this work, we investigated in detail SAD in water as a cheap and non-toxic solvent for the production of polyynes. The role of process parameters such as current (10-25 A) and voltage (20-25 V) in the production yield have been investigated, as well as polyynes stability. Polyynes terminated by hydrogen (CnH2: n=6-16) were identified by High-Performance Liquid Chromatography (HPLC) coupled with UV-Visible absorption spectroscopy and with the support of density functional theory (DFT) calculations. Size-selected polyynes separated by HPLC were analyzed by surface enhanced Raman spectroscopy (SERS). The formation process was monitored by in situ SERS using an immersed fiber-optic Raman probe and employing Ag nanoparticles directly produced in the solution by SAD.
△ Less
Submitted 27 December, 2019; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Visualization in the preprocessing phase: an interview study with enterprise professionals
Authors:
Alessandra Milani,
Fernando Paulovich,
Isabel Manssour
Abstract:
The current information age has increasingly required organizations to become data-driven. However, analyzing and managing raw data is still a challenging part of the data mining process. Even though we can find interview studies proposing design implications or recommendations for future visualization solutions in the data mining scope, they cover the entire workflow and do not fully focus on the…
▽ More
The current information age has increasingly required organizations to become data-driven. However, analyzing and managing raw data is still a challenging part of the data mining process. Even though we can find interview studies proposing design implications or recommendations for future visualization solutions in the data mining scope, they cover the entire workflow and do not fully focus on the challenges during the preprocessing phase and on how visualization can support it. Moreover, they do not organize a final list of insights consolidating the findings of other related studies. Hence, to better understand the current practice of enterprise professionals in data mining workflows, in particular during the preprocessing phase, and how visualization supports this process, we conducted semi-structured interviews with thirteen data analysts. The discussion about the challenges and opportunities based on the responses of the interviewees resulted in a list of ten insights. This list was compared with the closest related works, improving the reliability of our findings and providing background, as a consolidated set of requirements, for future visualization research papers applied to visual data exploration in data mining. Furthermore, we provide greater details on the profile of the data analysts, the main challenges they face, and the opportunities that arise while they are engaged in data mining projects in diverse organizational areas.
△ Less
Submitted 21 August, 2019;
originally announced August 2019.
-
Regulation of accretion by its outflow in a symbiotic star: the 2016 outflow fast state of MWC 560
Authors:
Adrian B. Lucy,
J. L. Sokoloski,
U. Munari,
Nirupam Roy,
N. Paul M. Kuin,
Michael P. Rupen,
Christian Knigge,
M. J. Darnley,
G. J. M. Luna,
Péter Somogyi,
P. Valisa,
A. Milani,
U. Sollecchia,
Jennifer H. S. Weston
Abstract:
How are accretion discs affected by their outflows? To address this question for white dwarfs accreting from cool giants, we performed optical, radio, X-ray, and ultraviolet observations of the outflow-driving symbiotic star MWC 560 (=V694 Mon) during its 2016 optical high state. We tracked multi-wavelength changes that signalled an abrupt increase in outflow power at the initiation of a months-lo…
▽ More
How are accretion discs affected by their outflows? To address this question for white dwarfs accreting from cool giants, we performed optical, radio, X-ray, and ultraviolet observations of the outflow-driving symbiotic star MWC 560 (=V694 Mon) during its 2016 optical high state. We tracked multi-wavelength changes that signalled an abrupt increase in outflow power at the initiation of a months-long outflow fast state, just as the optical flux peaked: (1) an abrupt doubling of Balmer absorption velocities; (2) the onset of a $20$ $μ$Jy/month increase in radio flux; and (3) an order-of-magnitude increase in soft X-ray flux. Juxtaposing to prior X-ray observations and their coeval optical spectra, we infer that both high-velocity and low-velocity optical outflow components must be simultaneously present to yield a large soft X-ray flux, which may originate in shocks where these fast and slow absorbers collide. Our optical and ultraviolet spectra indicate that the broad absorption-line gas was fast, stable, and dense ($\gtrsim10^{6.5}$ cm$^{-3}$) throughout the 2016 outflow fast state, steadily feeding a lower-density ($\lesssim10^{5.5}$ cm$^{-3}$) region of radio-emitting gas. Persistent optical and ultraviolet flickering indicate that the accretion disc remained intact. The stability of these properties in 2016 contrasts to their instability during MWC 560's 1990 outburst, even though the disc reached a similar accretion rate. We propose that the self-regulatory effect of a steady fast outflow from the disc in 2016 prevented a catastrophic ejection of the inner disc. This behaviour in a symbiotic binary resembles disc/outflow relationships governing accretion state changes in X-ray binaries.
△ Less
Submitted 21 December, 2019; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Topological and Semantic Graph-based Author Disambiguation on DBLP Data in Neo4j
Authors:
Valentina Franzoni,
Michele Lepri,
Alfredo Milani
Abstract:
In this work, we introduce a novel method for entity resolution author disambiguation in bibliographic networks. Such a method is based on a 2-steps network traversal using topological similarity measures for rating candidate nodes. Topological similarity is widely used in the Link Prediction application domain to assess the likelihood of an unknown link. A similarity function can be a good approx…
▽ More
In this work, we introduce a novel method for entity resolution author disambiguation in bibliographic networks. Such a method is based on a 2-steps network traversal using topological similarity measures for rating candidate nodes. Topological similarity is widely used in the Link Prediction application domain to assess the likelihood of an unknown link. A similarity function can be a good approximation for equality, therefore can be used to disambiguate, basing on the hypothesis that authors with many common co-authors are similar. Our method has experimented on a graph-based representation of the public DBLP Computer Science database. The results obtained are extremely encouraging regarding Precision, Accuracy, and Specificity. Further good aspects are the locality of the method for disambiguation assessment which avoids the need to know the global network, and the exploitation of only a few data, e.g. author name and paper title (i.e., co-authorship data).
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
Asteroid cratering families: recognition and collisional interpretation
Authors:
Andrea Milani,
Zoran Knežević,
Federica Spoto,
Paolo Paolicchi
Abstract:
We continue our investigation of the bulk properties of asteroid dynamical families identified using only asteroid proper elements (Milani et al. 2014) to provide plausible collisional interpretations. We focus on cratering families consisting of a substantial parent body and many small fragments. We propose a quantitative definition of cratering families based on the fraction in volume of the fra…
▽ More
We continue our investigation of the bulk properties of asteroid dynamical families identified using only asteroid proper elements (Milani et al. 2014) to provide plausible collisional interpretations. We focus on cratering families consisting of a substantial parent body and many small fragments. We propose a quantitative definition of cratering families based on the fraction in volume of the fragments with respect to the parent body; fragmentation families are above this empirical boundary. We assess the compositional homogeneity of the families and their shape in proper element space by computing the differences of the proper elements of the fragments with respect to the ones of the major body, looking for anomalous asymmetries produced either by post-formation dynamical evolution, or by multiple collisional/cratering events, or by a failure of the Hierarchical Clustering Method (HCM) for family identification. We identified a total of 25 dynamical families with more than 100 members ranging from moderate to heavy cratering. For three families (4, 15 and 283) we confirm the occurrence of two separate cratering events. For family 20, we propose a double collision origin, not previously identified. In four cases (31, 480, 163 and 179) we performed a dedicated search for dynamical resonant transport mechanisms that could have substantially changed the shape of the family. By using a new synthetic method for computation of secular frequencies, we found possible solutions for families 31, 480, and 163, but not for family 179, for which we propose a new interpretation, based on a secular resonance contaminating this family: the family of 179 should be split into two separate clusters, one containing (179) itself and the other, family (9506) Telramund, of fragmentation type, for which we have computed an age.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Completeness of Impact Monitoring
Authors:
Alessio Del Vigna,
Andrea Milani,
Federica Spoto,
Andrea Chessa,
Giovanni B. Valsecchi
Abstract:
The completeness limit is a key quantity to measure the reliability of an impact monitoring system. It is the impact probability threshold above which every virtual impactor has to be detected. A goal of this paper is to increase the completeness without increasing the computational load. We propose a new method to sample the Line Of Variations (LOV) with respect to the previously one used in NEOD…
▽ More
The completeness limit is a key quantity to measure the reliability of an impact monitoring system. It is the impact probability threshold above which every virtual impactor has to be detected. A goal of this paper is to increase the completeness without increasing the computational load. We propose a new method to sample the Line Of Variations (LOV) with respect to the previously one used in NEODyS. The step-size of the sampling is not uniform in the LOV parameter, since the probability of each LOV segment between consecutive points is kept constant. Moreover, the sampling interval has been extended to the larger interval [-5,5] in the LOV parameter and a new decomposition scheme in sub-returns is provided to deal with the problem of duplicated points in the same return. The impact monitoring system CLOMON-2 has been upgraded with all these features, resulting in a decrease of the generic completeness limit IP* by a factor $\simeq 4$ and in an increase of the computational load by a factor $\simeq 2$. Moreover, we statistically investigate the completeness actually reached by the system with two different methods: a direct comparison with the results of the independent system Sentry at JPL and an empirical power-law to model the number of virtual impactors as a function of the impact probability. We found empirically that the number of detected virtual impactors with $IP>IP^*$ appears to grow according to a power-law, proportional to $IP^{-2/3}$. An analytical model explaining this power-law is currently an open problem, but we think it is related to the way the number of virtual impactors within a time $t_{rel}$ from the first observed close approach accumulates, for which we prove the existence of a power-law proportional to $t_{rel}^3$. The power-law allows us to detect a loss of efficiency in the virtual impactors search for impact probabilities near the generic completeness limit.
△ Less
Submitted 17 June, 2019; v1 submitted 15 September, 2018;
originally announced September 2018.
-
Detecting the Yarkovsky effect among near-Earth asteroids from astrometric data
Authors:
Alessio Del Vigna,
Laura Faggioli,
Andrea Milani,
Federica Spoto,
Davide Farnocchia,
Benoit Carry
Abstract:
We present an updated set of near-Earth asteroids with a Yarkovsky-related semimajor axis drift detected from the orbital fit to the astrometry. We find 87 reliable detections after filtering for the signal-to-noise ratio of the Yarkovsky drift estimate and making sure the estimate is compatible with the physical properties of the analyzed object. Furthermore, we find a list of 24 marginally signi…
▽ More
We present an updated set of near-Earth asteroids with a Yarkovsky-related semimajor axis drift detected from the orbital fit to the astrometry. We find 87 reliable detections after filtering for the signal-to-noise ratio of the Yarkovsky drift estimate and making sure the estimate is compatible with the physical properties of the analyzed object. Furthermore, we find a list of 24 marginally significant detections, for which future astrometry could result in a Yarkovsky detection. A further outcome of the filtering procedure is a list of detections that we consider spurious because unrealistic or not explicable with the Yarkovsky effect. Among the smallest asteroids of our sample, we determined four detections of solar radiation pressure, in addition to the Yarkovsky effect. As the data volume increases in the near future, our goal is to develop methods to generate very long lists of asteroids with reliably detected Yarkovsky effect, with limited amounts of case by case specific adjustments. Furthermore, we discuss the improvements this work could bring to impact monitoring. In particular, we exhibit two asteroids for which the adoption of a non-gravitational model is needed to make reliable impact predictions.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Addressing some critical aspects of the BepiColombo MORE relativity experiment
Authors:
Giulia Schettino,
Daniele Serra,
Giacomo Tommei,
Andrea Milani
Abstract:
The Mercury Orbiter radio Science Experiment (MORE) is one of the experiments on-board the ESA/JAXA BepiColombo mission to Mercury, to be launched in October 2018. Thanks to full on-board and on-ground instrumentation performing very precise tracking from the Earth, MORE will have the chance to determine with very high accuracy the Mercury-centric orbit of the spacecraft and the heliocentric orbit…
▽ More
The Mercury Orbiter radio Science Experiment (MORE) is one of the experiments on-board the ESA/JAXA BepiColombo mission to Mercury, to be launched in October 2018. Thanks to full on-board and on-ground instrumentation performing very precise tracking from the Earth, MORE will have the chance to determine with very high accuracy the Mercury-centric orbit of the spacecraft and the heliocentric orbit of Mercury. This will allow to undertake an accurate test of relativistic theories of gravitation (relativity experiment), which consists in improving the knowledge of some post-Newtonian and related parameters, whose value is predicted by General Relativity. This paper focuses on two critical aspects of the BepiColombo relativity experiment. First of all, we address the delicate issue of determining the orbits of Mercury and the Earth-Moon barycenter at the level of accuracy required by the purposes of the experiment and we discuss a strategy to cure the rank deficiencies that appear in the problem. Secondly, we introduce and discuss the role of the solar Lense-Thirring effect in the Mercury orbit determination problem and in the relativistic parameters estimation.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Synthesis And Characterization Of Polyynes End-Capped By Biphenyl Groups ({\Alpha},Ω-Biphenylpolyynes)
Authors:
Franco Cataldo,
Ornella Ursini,
Alberto Milani,
Carlo S. Casari
Abstract:
Stable polyyne chains terminated with biphenyl end groups (a,u-biphenylpolyynes) were synthesized in a single step through a simple procedure by using the Cadiot-Chodkiewicz reaction conditions. The a,ubiphenylpolyynes were separated through HPLC analysis and identified by means of their electronic absorption spectra. The a,u-biphenylpolyynes were studied by FT-IR and Raman spectroscopy and the sp…
▽ More
Stable polyyne chains terminated with biphenyl end groups (a,u-biphenylpolyynes) were synthesized in a single step through a simple procedure by using the Cadiot-Chodkiewicz reaction conditions. The a,ubiphenylpolyynes were separated through HPLC analysis and identified by means of their electronic absorption spectra. The a,u-biphenylpolyynes were studied by FT-IR and Raman spectroscopy and the spectral interpretation was supported with DFT calculations. A peculiarly low reactivity of a,u-biphenylpolyynes with ozone was observed.
△ Less
Submitted 18 March, 2018; v1 submitted 9 March, 2018;
originally announced March 2018.
-
Carbyne: from the elusive allotrope to stable carbon atom wires
Authors:
Carlo S. Casari,
Alberto Milani
Abstract:
Besides graphite and diamond, the solid allotropes of carbon in sp2 and sp3 hybridization, the possible existence of a third allotrope based on the sp-carbon linear chain, the Carbyne, has stimulated researchers for a long time. The advent of fullerenes, nanotubes and graphene has opened new opportunities and nurtured the interest in novel carbon allotropes including linear structures. The efforts…
▽ More
Besides graphite and diamond, the solid allotropes of carbon in sp2 and sp3 hybridization, the possible existence of a third allotrope based on the sp-carbon linear chain, the Carbyne, has stimulated researchers for a long time. The advent of fullerenes, nanotubes and graphene has opened new opportunities and nurtured the interest in novel carbon allotropes including linear structures. The efforts made in this direction produced a number of interesting sp-hybridized carbon molecules and nanostructures in the form of carbon-atom wires. We here discuss some of the new perspectives opened by the recent advancements in the research on sp-carbon systems.
△ Less
Submitted 19 April, 2018; v1 submitted 23 January, 2018;
originally announced January 2018.
-
Short arc orbit determination and imminent impactors in the Gaia era
Authors:
F. Spoto,
A. Del Vigna,
A. Milani,
G. Tommei,
P. Tanga,
F. Mignard,
B. Carry,
W. Thuillot,
P. David
Abstract:
Short-arc orbit determination is crucial when an asteroid is first discovered. In these cases usually the observations are so few that the differential correction procedure may not converge. We have developed an initial orbit computation method, based on the systematic ranging, an orbit determination techniques which systematically explores a raster in the topocentric range and range-rate space re…
▽ More
Short-arc orbit determination is crucial when an asteroid is first discovered. In these cases usually the observations are so few that the differential correction procedure may not converge. We have developed an initial orbit computation method, based on the systematic ranging, an orbit determination techniques which systematically explores a raster in the topocentric range and range-rate space region inside the admissible region. We obtain a fully rigorous computation of the probability for the asteroid that could impact the Earth within few days from the discovery, without any a priori assumption. We test our method on the two past impactors 2008 TC3 and 2014 AA, on some very well known cases, and on two particular objects observed by the ESA Gaia mission.
△ Less
Submitted 16 February, 2018; v1 submitted 11 January, 2018;
originally announced January 2018.
-
On the contribution of PRIDE-JUICE to Jovian system ephemerides
Authors:
Dominic Dirkx,
Leonid I. Gurvits,
Valery Lainey,
Giacomo Lari,
Andrea Milani,
Giuseppe Cimò,
Tatiana Bocanegra-Bahamon,
Pieter Visser
Abstract:
The JUICE mission will perform detailed measurements of the properties of the Galilean moons, with a nominal in-system science-mission duration of about 3.5 years. Using both the radio tracking data, and (Earth- and JUICE-based) optical astrometry, the dynamics of the Galilean moons will be measured to unprecedented accuracy. This will provide crucial input to the determination of the ephemerides…
▽ More
The JUICE mission will perform detailed measurements of the properties of the Galilean moons, with a nominal in-system science-mission duration of about 3.5 years. Using both the radio tracking data, and (Earth- and JUICE-based) optical astrometry, the dynamics of the Galilean moons will be measured to unprecedented accuracy. This will provide crucial input to the determination of the ephemerides and physical properties of the system, most notably the dissipation in Io and Jupiter.
The data from Planetary Radio Interferometry and Doppler Experiment (PRIDE) will provide the lateral position of the spacecraft in the ICRF. In this article, we analyze the relative quantitative influence of the JUICE-PRIDE observables to the determination of the ephemerides of the Jovian system and the associated physical parameters.
We perform a covariance analysis for a broad range of mission and system characteristics. We analyze the influence of VLBI data quality, observation planning, as well as the influence of JUICE orbit determination quality. This provides key input for the further development of the PRIDE observational planning and ground segment development.
Our analysis indicates that the VLBI data are especially important for constraining the dynamics of Ganymede and Callisto perpendicular to their orbital planes. Also, the use of the VLBI data makes the uncertainty in the ephemerides less dependent on the error in the orbit determination of the JUICE spacecraft itself. Furthermore, we find that optical astrometry data of especially Io using the JANUS instrument will be crucial for stabilizing the solution of the normal equations. Knowledge of the dissipation in the Jupiter system cannot be improved using satellite dynamics obtained from JUICE data alone, the uncertainty in Io's dissipation obtained from our simulations is similar to the present level of uncertainty.
△ Less
Submitted 31 October, 2017;
originally announced October 2017.
-
Semantic Evolutionary Concept Distances for Effective Information Retrieval in Query Expansion
Authors:
Valentina Franzoni,
Yuanxi Li,
Clement H. C. Leung,
Alfredo Milani
Abstract:
In this work several semantic approaches to concept-based query expansion and reranking schemes are studied and compared with different ontology-based expansion methods in web document search and retrieval. In particular, we focus on concept-based query expansion schemes, where, in order to effectively increase the precision of web document retrieval and to decrease the users browsing time, the ma…
▽ More
In this work several semantic approaches to concept-based query expansion and reranking schemes are studied and compared with different ontology-based expansion methods in web document search and retrieval. In particular, we focus on concept-based query expansion schemes, where, in order to effectively increase the precision of web document retrieval and to decrease the users browsing time, the main goal is to quickly provide users with the most suitable query expansion. Two key tasks for query expansion in web document retrieval are to find the expansion candidates, as the closest concepts in web document domain, and to rank the expanded queries properly. The approach we propose aims at improving the expansion phase for better web document retrieval and precision. The basic idea is to measure the distance between candidate concepts using the PMING distance, a collaborative semantic proximity measure, i.e. a measure which can be computed by using statistical results from web search engine. Experiments show that the proposed technique can provide users with more satisfying expansion results and improve the quality of web document retrieval.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
Semiconductor-to-metal transition in carbon-atom wires driven by sp2 conjugated endgroups
Authors:
Alberto Milani,
Matteo Tommasini,
Valentino Barbieri,
Andrea Lucotti,
Valeria Russo,
Franco Cataldo,
Carlo S. Casari
Abstract:
Novel bis(biphenyl)-capped polyynes have been synthesized to investigate the modulation of the electronic and optical properties of sp-hybridized carbon-atom wires (CAWs) capped with π-conjugated $sp^{2}$ endgroups. Raman and Surface Enhanced Raman spectroscopy (SERS) investigation of these systems and Density Functional Theory (DFT) calculations reveal structural changes from polyyne-like with al…
▽ More
Novel bis(biphenyl)-capped polyynes have been synthesized to investigate the modulation of the electronic and optical properties of sp-hybridized carbon-atom wires (CAWs) capped with π-conjugated $sp^{2}$ endgroups. Raman and Surface Enhanced Raman spectroscopy (SERS) investigation of these systems and Density Functional Theory (DFT) calculations reveal structural changes from polyyne-like with alternating single-triple bonds towards cumulene-like with more equalized bonds as a consequence of the charge transfer occurring when wires interact with metallic nanoparticles. While polyynes have semiconducting electronic properties, a more equalized system tends to a cumulene-like structure characterized by a nearly metallic behavior. The possibility to drive a semiconductor-to-metal transition has been investigated by systematic DFT calculations on a series of CAWs capped with different conjugated endgroups revealing that the modulation of the structural, electronic and vibrational properties of the sp-carbon chain towards the metallic wire cannot be simply obtained by using extended π-conjugated $sp^{2}$ carbon endgroups, but require a suitable chemical design of the endgroup and control of charge transfer. These results provide useful guidelines for the design of novel $sp-sp^2$ hybrid carbon nanosystems with tunable properties, where graphene-like and polyyne-like domains are closely interconnected. The capability to tune the final electronic or optical response of the material makes these hybrid $sp-sp^2$ systems appealing for a future all-carbon-based science and technology.
△ Less
Submitted 20 December, 2016;
originally announced December 2016.
-
Web-based Semantic Similarity for Emotion Recognition in Web Objects
Authors:
Valentina Franzoni,
Giulio Biondi,
Alfredo Milani,
Yuanxi Li
Abstract:
In this project we propose a new approach for emotion recognition using web-based similarity (e.g. confidence, PMI and PMING). We aim to extract basic emotions from short sentences with emotional content (e.g. news titles, tweets, captions), performing a web-based quantitative evaluation of semantic proximity between each word of the analyzed sentence and each emotion of a psychological model (e.g…
▽ More
In this project we propose a new approach for emotion recognition using web-based similarity (e.g. confidence, PMI and PMING). We aim to extract basic emotions from short sentences with emotional content (e.g. news titles, tweets, captions), performing a web-based quantitative evaluation of semantic proximity between each word of the analyzed sentence and each emotion of a psychological model (e.g. Plutchik, Ekman, Lovheim). The phases of the extraction include: text preprocessing (tokenization, stop words, filtering), search engine automated query, HTML parsing of results (i.e. scraping), estimation of semantic proximity, ranking of emotions according to proximity measures. The main idea is that, since it is possible to generalize semantic similarity under the assumption that similar concepts co-occur in documents indexed in search engines, therefore also emotions can be generalized in the same way, through tags or terms that express them in a particular language, ranking emotions. Training results are compared to human evaluation, then additional comparative tests on results are performed, both for the global ranking correlation (e.g. Kendall, Spearman, Pearson) both for the evaluation of the emotion linked to each single word. Different from sentiment analysis, our approach works at a deeper level of abstraction, aiming at recognizing specific emotions and not only the positive/negative sentiment, in order to predict emotions as semantic data.
△ Less
Submitted 17 December, 2016;
originally announced December 2016.
-
On the Ages of Resonant, Eroded and Fossil Asteroid Families
Authors:
A. Milani,
Z. Knežević,
F. Spoto,
A. Cellino,
B. Novaković,
G. Tsirvoulis
Abstract:
In this work we have estimated 10 collisional ages of 9 families for which for different reasons our previous attempts failed. In general, these are difficult cases that required dedicated effort, such as a new family classifications for asteroids in mean motion resonances, as well as a revision of the classification inside the $3/2$ resonance. Of the families locked in mean motion resonances, we…
▽ More
In this work we have estimated 10 collisional ages of 9 families for which for different reasons our previous attempts failed. In general, these are difficult cases that required dedicated effort, such as a new family classifications for asteroids in mean motion resonances, as well as a revision of the classification inside the $3/2$ resonance. Of the families locked in mean motion resonances, we succeeded in determining ages of the families of (1911) Schubart and of the "super-Hilda" family, assuming this is actually a severely eroded original family of (153) Hilda. In the Trojan region we found families with almost no Yarkovsky evolution, for which we could compute only physically implausible ages. Hence, we interpreted their modest dispersions of proper eccentricities and inclinations as implying that the Trojan asteroid families are fossil families, frozen at their proper elements determined by the original ejection velocity field. We have found a new family, among the Griquas locked in the 2/1 resonance with Jupiter: (11097) 1994 UD1. We have estimated the ages of 6 families affected by secular resonances: families of (5) Astraea, (25) Phocaea, (283) Emma, (363) Padua, (686) Gersuind, and (945) Barcelona. By using a numerical calibration method, we have shown that the secular resonances do not affect significanly the secular change of proper a. For the family of (145) Adeona we could estimate the age only after removal of a number of assumed interlopers. With the present paper we have concluded the series dedicated to the determination of asteroid ages with a uniform method. We computed the ages for a total of 57 families with $>100$ members. There remain families too small at present to provide reliable estimates, as well as some complex families (221, 135, 298) which may have more ages than we could currently estimate.
△ Less
Submitted 7 July, 2016;
originally announced July 2016.
-
Constraining the Nordtvedt parameter with the BepiColombo Radioscience experiment
Authors:
Fabrizio De Marchi,
Giacomo Tommei,
Andrea Milani,
Giulia Schettino
Abstract:
BepiColombo is a joint ESA/JAXA mission to Mercury with challenging objectives regarding geophysics, geodesy and fundamental physics. The Mercury Orbiter Radioscience Experiment (MORE) is one of the on-board experiments, including three different but linked experiments: gravimetry, rotation and relativity. The aim of the relativity experiment is the measurement of the post-Newtonian parameters. Th…
▽ More
BepiColombo is a joint ESA/JAXA mission to Mercury with challenging objectives regarding geophysics, geodesy and fundamental physics. The Mercury Orbiter Radioscience Experiment (MORE) is one of the on-board experiments, including three different but linked experiments: gravimetry, rotation and relativity. The aim of the relativity experiment is the measurement of the post-Newtonian parameters. Thanks to accurate tracking between Earth and spacecraft, the results are expected to be very precise. However, the outcomes of the experiment strictly depends on our "knowledge" about solar system: ephemerides, number of bodies (planets, satellites and asteroids) and their masses. In this paper we describe a semi-analytic model used to perform a covariance analysis to quantify the effects, on the relativity experiment, due to the uncertainties of solar system bodies parameters. In particular, our attention is focused on the Nordtvedt parameter $η$ used to parametrize the strong equivalence principle violation. After our analysis we estimated $σ[η]\lessapprox 4.5\times 10^{-5}$ which is about 1~order of magnitude larger than the "ideal" case where masses of planets and asteroids have no errors. The current value, obtained from ground based experiments and lunar laser ranging measurements, is $σ[η]\approx 4.4\times 10^{-4}$. Therefore, we conclude that, even in presence of uncertainties on solar system parameters, the measurement of $η$ by MORE can improve the current precision of about 1~order of magnitude.
△ Less
Submitted 25 May, 2016;
originally announced May 2016.
-
Keplerian integrals, elimination theory and identification of very short arcs in a large database of optical observations
Authors:
Giovanni Federico Gronchi,
Giulio Bau,
Andrea Milani
Abstract:
The modern optical telescopes produce a huge number of asteroid observations, that are grouped into very short arcs (VSAs), each containing a few observations of the same object in one single night. To decide whether two VSAs, collected in different nights, refer to the same observed object we can attempt to compute an orbit with the observations of both arcs: this is called the linkage problem. S…
▽ More
The modern optical telescopes produce a huge number of asteroid observations, that are grouped into very short arcs (VSAs), each containing a few observations of the same object in one single night. To decide whether two VSAs, collected in different nights, refer to the same observed object we can attempt to compute an orbit with the observations of both arcs: this is called the linkage problem. Since the number of orbit computations to be performed is very large, we need efficient methods of orbit determination. Using the first integrals of Kepler's motion we can write algebraic equations for the linkage problem, which can be put in polynomial form. The equations introduced in (Gronchi et al. 2015) can be reduced to a univariate polynomial of degree 9: the unknown is the topocentric distance $ρ$ of the observed body at the mean epoch of one of the VSAs. Using elimination theory we show an optimal property of this polynomial: it has the least degree among the univariate polynomials in the same variable that are consequence of the algebraic conservation laws and are obtained without squaring operations, that can be used to bring these algebraic equations in polynomial form. In this paper we also introduce a procedure to join three VSAs belonging to different nights: from the conservation of angular momentum at the three mean epochs of the VSAs, we obtain a univariate polynomial equation of degree 8 in the topocentric distance $ρ_2$ at the intermediate epoch. This algorithm has the same computational complexity as the classical method by Gauss, but uses more information, therefore we expect that it can produce more accurate results. For both methods, linking two and three VSAs, we also discuss how to select the solutions, making use of the full two-body dynamics, and show some numerical tests comparing the results with the ones obtained by Gauss' method.
△ Less
Submitted 30 March, 2016;
originally announced April 2016.
-
Counting in Practical Anonymous Dynamic Networks is Polynomial
Authors:
Maitri Chakraborty,
Alessia Milani,
Miguel A. Mosteiro
Abstract:
Anonymous Dynamic Networks is a harsh computational environment due to changing topology and lack of identifiers. Computing the size of the network, a problem known as Counting, is particularly challenging because messages received cannot be tagged to a specific sender. Previous works on Counting in Anonymous Dynamic Networks do not provide enough guarantees to be used in practice. Indeed, they ei…
▽ More
Anonymous Dynamic Networks is a harsh computational environment due to changing topology and lack of identifiers. Computing the size of the network, a problem known as Counting, is particularly challenging because messages received cannot be tagged to a specific sender. Previous works on Counting in Anonymous Dynamic Networks do not provide enough guarantees to be used in practice. Indeed, they either compute only an upper bound on the network size that may be as bad as exponential, or guarantee only double-exponential running time, or do not terminate, or guarantee only eventual termination without running-time guarantees. Faster experimental protocols do not guarantee the correct count. Recently, we presented the first Counting protocol that computes the exact count with exponential running-time guarantees. The protocol requires the presence of one leader node and knowledge of any upper bound Delta on the maximum number of neighbors that any node will ever have. In the present work, we complement the latter theoretical study evaluating the performance of such protocol in practice. We tested a variety of network topologies that may appear in practice, including extremal cases such as trees, paths, and continuously changing topologies. We also tested networks that temporarily are not connected. Our simulations showed that the protocol is polynomial for all the inputs tested, paving the way to use it in practical applications where topology changes are predictable. The simulations also provided insight on the impact of topology changes on information dissemination. To the best of our knowledge, this is the first experimental study that shows the possibility of computing the exact count in polynomial time in a variety of Anonymous Dynamic Networks that are worse than expected in practice.
△ Less
Submitted 17 March, 2016;
originally announced March 2016.
-
The 95256-cap in PG(12; 4) is complete
Authors:
D. Bartoli,
S. Marcugini,
A. Milani,
F. Pambianco
Abstract:
We describe an algorithm for testing the completeness of caps in PG(r; q), q even. It allowed us to check that the 95256-cap in PG(12; 4) recently found by Fu el al. (see [14]) is complete.
We describe an algorithm for testing the completeness of caps in PG(r; q), q even. It allowed us to check that the 95256-cap in PG(12; 4) recently found by Fu el al. (see [14]) is complete.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
A Faster Counting Protocol for Anonymous Dynamic Networks
Authors:
Alessia Milani,
Miguel A. Mosteiro
Abstract:
We study the problem of counting the number of nodes in a slotted-time communication network, under the challenging assumption that nodes do not have identifiers and the network topology changes frequently. That is, for each time slot links among nodes can change arbitrarily provided that the network is always connected. Tolerating dynamic topologies is crucial in face of mobility and unreliable c…
▽ More
We study the problem of counting the number of nodes in a slotted-time communication network, under the challenging assumption that nodes do not have identifiers and the network topology changes frequently. That is, for each time slot links among nodes can change arbitrarily provided that the network is always connected. Tolerating dynamic topologies is crucial in face of mobility and unreliable communication whereas, even if identifiers are available, it might be convenient to ignore them in massive networks with changing topology. Counting is a fundamental task in distributed computing since knowing the size of the system often facilitates the design of solutions for more complex problems. Currently, the best upper bound proved on the running time to compute the exact network size is double-exponential. However, only linear complexity lower bounds are known, leaving open the question of whether efficient Counting protocols for Anonymous Dynamic Networks exist or not. In this paper we make a significant step towards answering this question by presenting a distributed Counting protocol for Anonymous Dynamic Networks which has exponential time complexity. Our algorithm ensures that eventually every node knows the exact size of the system and stops executing the algorithm. Previous Counting protocols have either double-exponential time complexity, or they are exponential but do not terminate, or terminate but do not provide running-time guarantees, or guarantee only an exponential upper bound on the network size. Other protocols are heuristic and do not guarantee the correct count.
△ Less
Submitted 7 September, 2015;
originally announced September 2015.
-
Shadowing Lemma and Chaotic Orbit Determination
Authors:
Federica Spoto,
Andrea Milani
Abstract:
Orbit determination is possible for a chaotic orbit of a dynamical system, given a finite set of observations, provided the initial conditions are at the central time. In a simple discrete model, the standard map, we tackle the problem of chaotic orbit determination when observations extend beyond the predictability horizon. If the orbit is hyperbolic, a shadowing orbit is computed by the least sq…
▽ More
Orbit determination is possible for a chaotic orbit of a dynamical system, given a finite set of observations, provided the initial conditions are at the central time. In a simple discrete model, the standard map, we tackle the problem of chaotic orbit determination when observations extend beyond the predictability horizon. If the orbit is hyperbolic, a shadowing orbit is computed by the least squares orbit determination. We test both the convergence of the orbit determination iterative procedure and the behaviour of the uncertainties as a function of the maximum number $n$ of map iterations observed. When the initial conditions belong to a chaotic orbit, the orbit determination is made impossible by numerical instability beyond a computability horizon, which can be approximately predicted by a simple formula. Moreover, the uncertainty of the results is sharply increased if a dynamical parameter is added to the initial conditions as parameter to be estimated. The uncertainty of the dynamical parameter decreases like $n^a$ with $a<0$ but not large (of the order of unity). If only the initial conditions are estimated, their uncertainty decreases exponentially with $n$. If they belong to a non-chaotic orbit the computational horizon is much larger, if it exists at all, and the decrease of the uncertainty is polynomial in all parameters, like $n^a$ with $a\simeq 1/2$. The Shadowing Lemma does not dictate what the asymptotic behaviour of the uncertainties should be. These phenomena have significant implications, which remain to be studied, in practical problems of orbit determination involving chaos, such as the chaotic rotation state of a celestial body and a chaotic orbit of a planet-crossing asteroid undergoing many close approaches.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Asteroid family ages
Authors:
Federica Spoto,
Andrea Milani,
Zoran Knezevic
Abstract:
A new family classification, based on a catalog of proper elements with $\sim 384,000$ numbered asteroids and on new methods is available. For the $45$ dynamical families with $>250$ members identified in this classification, we present an attempt to obtain statistically significant ages: we succeeded in computing ages for $37$ collisional families. We used a rigorous method, including a least squ…
▽ More
A new family classification, based on a catalog of proper elements with $\sim 384,000$ numbered asteroids and on new methods is available. For the $45$ dynamical families with $>250$ members identified in this classification, we present an attempt to obtain statistically significant ages: we succeeded in computing ages for $37$ collisional families. We used a rigorous method, including a least squares fit of the two sides of a V-shape plot in the proper semimajor axis, inverse diameter plane to determine the corresponding slopes, an advanced error model for the uncertainties of asteroid diameters, an iterative outlier rejection scheme and quality control. The best available Yarkovsky measurement was used to estimate a calibration of the Yarkovsky effect for each family. The results are presented separately for the families originated in fragmentation or cratering events, for the young, compact families and for the truncated, one-sided families. For all the computed ages the corresponding uncertainties are provided. We found 2 cases where two separate dynamical families form together a single V-shape with compatible slopes, thus indicating a single collisional event. We have also found 3 examples of dynamical families containing multiple collisional families, plus a dubious case. We have found 2 cases of families containing a conspicuous subfamily, such that it is possible to measure the slope of a distinct V-shape, thus the age of the secondary collision. We also provide data on the central gaps appearing in some families.
The ages computed in this paper are obtained with a single and uniform methodology, thus the ages of different families can be compared, providing a first example of collisional chronology of the asteroid main belt.
△ Less
Submitted 27 April, 2015; v1 submitted 21 April, 2015;
originally announced April 2015.
-
On the Juno Radio Science Experiment: models, algorithms and sensitivity analysis
Authors:
Giacomo Tommei,
Linda Dimare,
Daniele Serra,
Andrea Milani
Abstract:
Juno is a NASA mission launched in 2011 with the goal of studying Jupiter. The probe will arrive to the planet in 2016 and will be placed for one year in a polar high-eccentric orbit to study the composition of the planet, the gravity and the magnetic field. The Italian Space Agency (ASI) provided the radio science instrument KaT (Ka-Band Translator) used for the gravity experiment, which has the…
▽ More
Juno is a NASA mission launched in 2011 with the goal of studying Jupiter. The probe will arrive to the planet in 2016 and will be placed for one year in a polar high-eccentric orbit to study the composition of the planet, the gravity and the magnetic field. The Italian Space Agency (ASI) provided the radio science instrument KaT (Ka-Band Translator) used for the gravity experiment, which has the goal of studying the Jupiter's deep structure by mapping the planet's gravity: such instrument takes advantage of synergies with a similar tool in development for BepiColombo, the ESA cornerstone mission to Mercury. The Celestial Mechanics Group of the University of Pisa, being part of the Juno Italian team, is developing an orbit determination and parameters estimation software for processing the real data independently from NASA software ODP. This paper has a twofold goal: first, to tell about the development of this software highlighting the models used, second, to perform a sensitivity analysis on the parameters of interest to the mission.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
Non-gravitational Perturbations and Virtual Impactors: the case of asteroid 2009 FD
Authors:
F. Spoto,
A. Milani,
D. Farnocchia,
S. R. Chesley,
M. Micheli,
G. B. Valsecchi,
D. Perna,
O. Hainaut
Abstract:
Asteroid 2009 FD could impact Earth between 2185 and 2196. The long term propagation to the possible impacts and the intervening planetary encounters make 2009 FD one of the most challenging asteroids in terms of hazard assessment. To compute accurate impact probabilities we model the Yarkovsky effect by using the available physical characterization of 2009 FD and general properties of the Near Ea…
▽ More
Asteroid 2009 FD could impact Earth between 2185 and 2196. The long term propagation to the possible impacts and the intervening planetary encounters make 2009 FD one of the most challenging asteroids in terms of hazard assessment. To compute accurate impact probabilities we model the Yarkovsky effect by using the available physical characterization of 2009 FD and general properties of the Near Earth Asteroid population. We perform the hazard assessment with two independent methods: the first method is a generalization of the standard impact monitoring algorithms in use by NEODyS and Sentry, while the second one is based on a Monte Carlo approach. Both methods generate orbital samples in a 7 dimensional space that includes orbital elements and the parameter characterizing the Yarkovsky effect. The highest impact probability is $2.7 \times 10^{-3}$ for an impact during the 2185 Earth encounter. Impacts after 2185 corresponding to resonant returns are possible, the most relevant being in 2190 with a probability of $3 \times 10^{-4}$. Both numerical methods can be used in the future to handle similar cases. The structure of resonant returns and the list of the possible keyholes on the Target Plane of the scattering encounter in 2185 can be predicted by an analytic theory.
△ Less
Submitted 22 October, 2014; v1 submitted 4 August, 2014;
originally announced August 2014.