-
Failure Transparency in Stateful Dataflow Systems (Technical Report)
Authors:
Aleksey Veresov,
Jonas Spenger,
Paris Carbone,
Philipp Haller
Abstract:
Failure transparency enables users to reason about distributed systems at a higher level of abstraction, where complex failure-handling logic is hidden. This is especially true for stateful dataflow systems, which are the backbone of many cloud applications. In particular, this paper focuses on proving failure transparency in Apache Flink, a popular stateful dataflow system. Even though failure tr…
▽ More
Failure transparency enables users to reason about distributed systems at a higher level of abstraction, where complex failure-handling logic is hidden. This is especially true for stateful dataflow systems, which are the backbone of many cloud applications. In particular, this paper focuses on proving failure transparency in Apache Flink, a popular stateful dataflow system. Even though failure transparency is a critical aspect of Apache Flink, to date it has not been formally proven. Showing that the failure transparency mechanism is correct, however, is challenging due to the complexity of the mechanism itself. Nevertheless, this complexity can be effectively hidden behind a failure transparent programming interface. To show that Apache Flink is failure transparent, we model it in small-step operational semantics. Next, we provide a novel definition of failure transparency based on observational explainability, a concept which relates executions according to their observations. Finally, we provide a formal proof of failure transparency for the implementation model; i.e., we prove that the failure-free model correctly abstracts from the failure-related details of the implementation model. We also show liveness of the implementation model under a fair execution assumption. These results are a first step towards a verified stack for stateful dataflow systems.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Magnetic anisotropy of $4f$ atoms on a WSe$_2$ monolayer: a DFT+U study
Authors:
Johanna P. Carbone,
Gustav Bihlmayer,
Stefan Blügel
Abstract:
Inspired by recent advancements in the field of single-atom magnets, particularly those involving rare-earth (RE) elements, we present a theoretical exploration employing DFT+$U$ calculations to investigate the magnetic properties of selected $4f$ atoms, specifically Eu, Gd and Ho, on a monolayer of the transition-metal dichalcogenide WSe$_2$ in the 1H-phase. This study comparatively examines RE w…
▽ More
Inspired by recent advancements in the field of single-atom magnets, particularly those involving rare-earth (RE) elements, we present a theoretical exploration employing DFT+$U$ calculations to investigate the magnetic properties of selected $4f$ atoms, specifically Eu, Gd and Ho, on a monolayer of the transition-metal dichalcogenide WSe$_2$ in the 1H-phase. This study comparatively examines RE with diverse $4f$ orbital fillings and valence chemistry, aiming to understand how different coverage densities atop WSe$_2$ affect the magnetocrystalline anisotropy. We observe that RE elements lacking $5d$ occupation in the atomic limit exhibit larger magnetic anisotropy energies at high densities, while those with outer $5d$ electrons show larger anisotropies in dilute configurations. Additionally, even half-filled $4f$ shell atoms with small orbital magnetic moments can generate substantial energy barriers for magnetization rotation due to prominent orbital hybridizations with WSe$_2$. Open $4f$ shell atoms further enhance anisotropy barriers through spin-orbit coupling effects. This aspect is crucial for the experimental realization of stable magnetic information units.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
A Framework for a High Throughput Screening Method to Assess Polymer/Plasticizer Miscibility
Authors:
Lois Smith,
H. Ali Karimi-Varzaneh,
Sebastian Finger,
Giuliana Giunta,
Alessandro Troisi,
Paola Carbone
Abstract:
Polymer composite materials require softening to reduce their glass transition temperature and improve processability. To this end, plasticizers, which are small organic molecules, are added to the polymer matrix. The miscibility of these plasticizers has a large impact on their effectiveness and therefore their interactions with the polymer matrix must be carefully considered. Many plasticizer ch…
▽ More
Polymer composite materials require softening to reduce their glass transition temperature and improve processability. To this end, plasticizers, which are small organic molecules, are added to the polymer matrix. The miscibility of these plasticizers has a large impact on their effectiveness and therefore their interactions with the polymer matrix must be carefully considered. Many plasticizer characteristics, including their size, topology and flexibility, can impact their miscibility and, because of the exponentially large numbers of plasticizers, the current trial-and-error approach is very ineffective. In this work we show that using molecular simulations of a small dataset of 48 plasticizers, it is possible to identify topological and thermodynamic descriptors that are proxy for their miscibility. Using ad-hoc molecular dynamics simulation set-ups that are relatively computationally inexpensive, we establish correlations between the plasticizers' topology, internal flexibility, thermodynamics of aggregation and their degree of miscibility and use these descriptors to classify the molecules as miscible or immiscible. With all available data we also construct a decision tree model which achieves a F1 score of 0.86 +/- 0.01 with repeated, stratified 5-fold cross-validation, indicating that this machine learning method is a promising route to fully automate the screening. By evaluating the individual performance of the descriptors, we show this procedure enables a 10-fold reduction of the test space and provides the basis for the development of workflows which can efficiently screen thousands of plasticizers with a variety of features.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
CheckMate: Evaluating Checkpointing Protocols for Streaming Dataflows
Authors:
George Siachamis,
Kyriakos Psarakis,
Marios Fragkoulis,
Arie van Deursen,
Paris Carbone,
Asterios Katsifodimos
Abstract:
Stream processing in the last decade has seen broad adoption in both commercial and research settings. One key element for this success is the ability of modern stream processors to handle failures while ensuring exactly-once processing guarantees. At the moment of writing, virtually all stream processors that guarantee exactly-once processing implement a variant of Apache Flink's coordinated chec…
▽ More
Stream processing in the last decade has seen broad adoption in both commercial and research settings. One key element for this success is the ability of modern stream processors to handle failures while ensuring exactly-once processing guarantees. At the moment of writing, virtually all stream processors that guarantee exactly-once processing implement a variant of Apache Flink's coordinated checkpoints - an extension of the original Chandy-Lamport checkpoints from 1985. However, the reasons behind this prevalence of the coordinated approach remain anecdotal, as reported by practitioners of the stream processing community. At the same time, common checkpointing approaches, such as the uncoordinated and the communication-induced ones, remain largely unexplored.
This paper is the first to address this gap by i) shedding light on why practitioners have favored the coordinated approach and ii) by investigating whether there are viable alternatives. To this end, we implement three checkpointing approaches that we surveyed and adapted for the distinct needs of streaming dataflows. Our analysis shows that the coordinated approach outperforms the uncoordinated and communication-induced protocols under uniformly distributed workloads. To our surprise, however, the uncoordinated approach is not only competitive to the coordinated one in uniformly distributed workloads, but it also outperforms the coordinated approach in skewed workloads. We conclude that rather than blindly employing coordinated checkpointing, research should focus on optimizing the very promising uncoordinated approach, as it can address issues with skew and support prevalent cyclic queries. We believe that our findings can trigger further research into checkpointing mechanisms.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Investigation of magnetic properties of $4f$-adatoms on graphene
Authors:
Johanna P. Carbone,
Juba Bouaziz,
Gustav Bihlmayer,
Stefan Blügel
Abstract:
Rare-earth (RE) atoms on top of 2D materials represent an interesting platform with the prospect of tailoring the magnetic anisotropy for practical applications. Here, we investigate the ground state and magnetic properties of selected $4f$-atoms deposited on a graphene substrate in the framework of the DFT+$U$ approach. The inherent strong spin-orbit interaction in conjunction with crystal field…
▽ More
Rare-earth (RE) atoms on top of 2D materials represent an interesting platform with the prospect of tailoring the magnetic anisotropy for practical applications. Here, we investigate the ground state and magnetic properties of selected $4f$-atoms deposited on a graphene substrate in the framework of the DFT+$U$ approach. The inherent strong spin-orbit interaction in conjunction with crystal field effects acting on the localized $4f$-shells results in a substantial magnetic anisotropy energy (tens of meVs), whose angular dependence is dictated by the $C_{6v}$ symmetry of the graphene substrate. We obtain the crystal field parameters and investigate spin-flip events via quantum tunneling of magnetization in the view of achieving a protected quantum-spin behavior. Remarkably, the large spin and orbital moments of the open $4f$-shells (Dy, Ho and Tm) generate a strong magneto-elastic coupling which provides more flexibility to control the magnetic state via the application of external strain.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Evaluation of methods for the determination of tortuosity of Li-ion battery separators
Authors:
Wei Sun,
Q. M. Li,
** Xiao,
Paola Carbone
Abstract:
The porosities and tortuosities are commonly utilized to characterize the microstructure of a Li-ion battery's separator and are adopted as key input parameters in advanced battery models. Herein, a general classification of the tortuosity for a porous medium is introduced based on its bi-fold significance, i.e., the geometrical and physical tortuosities. Then, three different methods for the dete…
▽ More
The porosities and tortuosities are commonly utilized to characterize the microstructure of a Li-ion battery's separator and are adopted as key input parameters in advanced battery models. Herein, a general classification of the tortuosity for a porous medium is introduced based on its bi-fold significance, i.e., the geometrical and physical tortuosities. Then, three different methods for the determination of separator's electrical tortuosity are introduced and compared, which include the empirical Bruggeman equation, the experimental method using Electrochemical Impedance Spectrum (EIS) testing a the numerical method using realistic 3D microstructure of the separator obtained from nanoscale X-ray Computed Tomography (XCT). In addition, the connection between the geometrical tortuosity and the electrical tortuosity of a separator is established by introducing the electrical phenomenological factor (\b{eta}_e), which can facilitate the understanding of the relationship between the microstructure characteristics and transport properties of the separators. Furthermore, to quantitively compare the values of the tortuosities determined by different methods, the corresponding effective transport coefficients (δ) are compared, which was usually used as a correction for effective diffusivity and conductivity of electrolytes in porous media.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Constant Chemical Potential-Quantum Mechanical-Molecular Dynamics simulations of the Graphene-electrolyte double layer
Authors:
Nicodemo Di Pasquale,
Aaron R. Finney,
Joshua Elliott,
Paola Carbone,
Matteo Salvalaglio
Abstract:
We present the coupling of two frameworks -- the pseudo-open boundary simulation method known as constant potential Molecular Dynamics simulations (C$μ$MD), combined with QMMD calculations -- to describe the properties of graphene electrodes in contact with electrolytes. The resulting C$μ$QMMD model was then applied to three ionic solutions (LiCl, NaCl and KCl in water) at bulk solution concentrat…
▽ More
We present the coupling of two frameworks -- the pseudo-open boundary simulation method known as constant potential Molecular Dynamics simulations (C$μ$MD), combined with QMMD calculations -- to describe the properties of graphene electrodes in contact with electrolytes. The resulting C$μ$QMMD model was then applied to three ionic solutions (LiCl, NaCl and KCl in water) at bulk solution concentrations ranging from 0.5 M up to 6 M in contact with a charged graphene electrode. The new approach we are describing here provides a simulation protocol to control the concentration of the electrolyte solutions while including the effects of a fully polarizable electrode surface. Thanks to this coupling, we are able to accurately model both the electrode and solution side of the double layer and provide a thorough analysis of the properties of electrolytes at charged interfaces, such as the screening ability of the electrolyte and the electrostatic potential profile. We also report the calculation of the integral electrochemical double layer capacitance in the whole range of concentrations analysed for each ionic species, while the QM simulations provide access to the differential and integral quantum capacitance. We highlight how subtle features, such as the adsorption of potassium at the interface or the tendency of the ions to form clusters, emerge from our simulations, contribute to explaining the ability of graphene to store charge and suggest implications for desalination.
△ Less
Submitted 9 December, 2022; v1 submitted 7 December, 2022;
originally announced December 2022.
-
Chemical Vapour Deposition Graphene-PMMA Nanolaminates for Flexible Gas Barrier
Authors:
Antonio Baldanza,
Maria Giovanna Pastore Carbone,
Cosimo Brondi,
Anastasios C. Manikas,
Giuseppe Mensitieri,
Christos Pavlou,
Giuseppe Scherillo,
Costas Galiotis
Abstract:
Successful ways of fully exploiting the excellent structural and multifunctional performance of graphene and related materials are of great scientific and technological interest. New opportunities are provided by the fabrication of a novel class of nanocomposites with a nanolaminate architecture. In this work, by using the iterative lift-off/float-on process combined with wet depositions, we incor…
▽ More
Successful ways of fully exploiting the excellent structural and multifunctional performance of graphene and related materials are of great scientific and technological interest. New opportunities are provided by the fabrication of a novel class of nanocomposites with a nanolaminate architecture. In this work, by using the iterative lift-off/float-on process combined with wet depositions, we incorporated cm-size graphene monolayers produced via Chemical Vapour Deposition into a poly (methyl methacrylate) (PMMA) matrix with a controlled, alternate-layered structure. The produced nanolaminate shows a significant improvement in mechanical properties, with enhanced stiffness, strength and toughness, with the addition of only 0.06 vol% of graphene. Furthermore, oxygen and carbon dioxide permeability measurements performed at different relative humidity levels, reveal that the addition of graphene leads to significant reduction of permeability, compared to neat PMMA. Overall, we demonstrate that the produced graphene-PMMA nanolaminate surpasses, in terms of gas barrier properties, the traditional discontinuous graphene-particle composites with a similar filler content. Moreover, we found that the gas permeability through the nanocomposites departs from a monotonic decrease as a function of relative humidity, which is instead evident in the case of the pure PMMA nanolaminate. This work suggests the possible use of Chemical Vapour Deposition graphene-polymer nanolaminates as a flexible gas barrier, thus enlarging the spectrum of applications for this novel material.
△ Less
Submitted 22 August, 2022;
originally announced September 2022.
-
Wettability of graphite under 2D confinement
Authors:
Zixuan Wei,
Mara Chiricotto,
Joshua D. Elliott,
Fausto Martelli,
Paola Carbone
Abstract:
The thermodynamics of solid/liquid interfaces under nanoconfinement has tremendous implications for liquid transport properties. Here using molecular dynamics, we investigate graphite nanoslits and study how the water/graphite interfacial tension changes with the degree of confinement. We found that, for nanochannel heights between 0.7nm and 2.6nm, graphite becomes more hydrophobic than in bulk, a…
▽ More
The thermodynamics of solid/liquid interfaces under nanoconfinement has tremendous implications for liquid transport properties. Here using molecular dynamics, we investigate graphite nanoslits and study how the water/graphite interfacial tension changes with the degree of confinement. We found that, for nanochannel heights between 0.7nm and 2.6nm, graphite becomes more hydrophobic than in bulk, and that the value of the surface tension oscillates before eventually converging towards a constant value for larger slits. The value of the surface tension is correlated with the slip length of the fluid and explained in terms of the effective and interfacial density, hydration pressure and friction coefficient. The study clearly indicates that there is a critical channel height of 0.9nm (achievable experimentally1) at which the surface tension reaches its highest value, but the water diffusion across the channel is at its minimum. The structural analysis shows that for this pore size a transition between a 2D and 3D hydrogen bond network is accompanied by an abrupt increase in conformational entropy. Our results show that the wettability of solid surfaces can change under nanoconfinement and the data can be used to interpret the experimental permeability data.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Engineering spin-orbit effects and Berry curvature by deposition of Eu on WSe$_{2}$
Authors:
Johanna P. Carbone,
Dongwook Go,
Yuriy Mokrousov,
Gustav Bihlmayer,
Stefan Blügel
Abstract:
Motivated by recent progress in 2D spintronics, we present Eu deposited on a 1H-WSe$_2$ as a promising platform for engineering spin-orbit effects and Berry curvature. By first-principles calculations based on density functional theory, we show that Eu/WSe$_2$ exhibits intriguing properties such as high magnetic anisotropy, valley-dependent polarization of spin and orbital angular momenta, and the…
▽ More
Motivated by recent progress in 2D spintronics, we present Eu deposited on a 1H-WSe$_2$ as a promising platform for engineering spin-orbit effects and Berry curvature. By first-principles calculations based on density functional theory, we show that Eu/WSe$_2$ exhibits intriguing properties such as high magnetic anisotropy, valley-dependent polarization of spin and orbital angular momenta, and their Rashba textures. These originate from magnetic and spin-orbit proximity effects at the interface and the interplay between localized $4f$ magnetic moments of Eu and mobile charge carriers of WSe$_2$. We find a pronounced anomalous Hall effect in the proposed system. Thus, we promote $4f$ rare-earth metals deposited on top of a transition-metal dichalcogenides as a promising platform for 2D spintronics.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Do specific ion effects influence the physical chemistry of aqueous graphene-based supercapacitors? Perspectives from multiscale QMMD simulations
Authors:
Joshua D. Elliott,
Mara Chiricotto,
Alessandro Troisi,
Paola Carbone
Abstract:
Whether or not specific ion effects determine the charge storage properties of aqueous graphene and graphite-based supercapacitors remains a highly debated topic. In this work we present a multiscale quantum mechanics classical molecular dynamics investigation of aqueous mono- and divalent salt electrolytes in contact with fully polarizable charged graphene sheets. By computing both the electroche…
▽ More
Whether or not specific ion effects determine the charge storage properties of aqueous graphene and graphite-based supercapacitors remains a highly debated topic. In this work we present a multiscale quantum mechanics classical molecular dynamics investigation of aqueous mono- and divalent salt electrolytes in contact with fully polarizable charged graphene sheets. By computing both the electrochemical double layer and quantum capacitance we observe a constant electrode specific capacitance with cationic radii and charge. Counterintuitively, we determine that a switch in the cation adsorption mechanism from inner to outer Helmholtz layers leads to negligible changes to the EDL capacitance, this appears to be due to the robust electronic structure of the graphene electrodes. However, the ability of ions (such as K+) with a relatively low hydration free energy to penetrate the inner Helmholtz plane and adsorb directly on the electrode surface is found to slow their diffusion parallel to the interface. Ions in the outer Helmholtz layer are found to have higher diffusivity at the surface due to their position in ion channels between water layers. Our results show that surface effects such as the surface polarization and the partial dehydration and local structuring of ions on the surface underpin the behaviour of cations at the interface and add a vital new perspective on trends in ion mobilities seen under confinement.
△ Less
Submitted 9 November, 2022; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Spin and orbital transport in rare earth dichalcogenides: The case of EuS$_2$
Authors:
Mahmoud Zeer,
Dongwook Go,
Johanna P. Carbone,
Tom G. Saunderson,
Matthias Redies,
Mathias Kläui,
Jamal Ghabboun,
Wulf Wulfhekel,
Stefan Blügel,
Yuriy Mokrousov
Abstract:
We perform first-principles calculations to determine the electronic, magnetic and transport properties of rare-earth dichalcogenides taking a monolayer of the H-phase EuS$_2$ as a representative. We predict that the H-phase of the EuS$_2$ monolayer exhibits a half-metallic behavior upon do** with a very high magnetic moment. We find that the electronic structure of EuS$_2$ is very sensitive to…
▽ More
We perform first-principles calculations to determine the electronic, magnetic and transport properties of rare-earth dichalcogenides taking a monolayer of the H-phase EuS$_2$ as a representative. We predict that the H-phase of the EuS$_2$ monolayer exhibits a half-metallic behavior upon do** with a very high magnetic moment. We find that the electronic structure of EuS$_2$ is very sensitive to the value of Coulomb repulsion $U$, which effectively controls the degree of hybridization between Eu-$f$ and S-$p$ states. We further predict that the non-trivial electronic structure of EuS$_2$ directly results in a pronounced anomalous Hall effect with non-trivial band topology. Moreover, while we find that the spin Hall effect closely follows the anomalous Hall effect in the system, the orbital complexity of the system results in a very large orbital Hall effect, whose properties depend very sensitively on the strength of correlations. Our findings thus promote rare-earth based dichalcogenides as a promising platform for topological spintronics and orbitronics.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.
-
Effective EMI shielding behaviour of thin graphene/PMMA nanolaminates in the THz range
Authors:
Christos Pavlou,
Maria Giovanna Pastore Carbone,
Anastasios C Manikas,
George Trakakis,
Can Koral,
Gianpaolo Papari,
Antonello Andreone,
Costas Galiotis
Abstract:
The use of graphene in a form of discontinuous flakes in polymer composites limits the full exploitation of the unique properties of graphene, thus requiring high filler loadings for achieving - for example - satisfactory electrical and mechanical properties. Herein centimetre-scale CVD graphene/polymer nanolaminates have been produced by using an iterative 'lift-off/float-on' process and have bee…
▽ More
The use of graphene in a form of discontinuous flakes in polymer composites limits the full exploitation of the unique properties of graphene, thus requiring high filler loadings for achieving - for example - satisfactory electrical and mechanical properties. Herein centimetre-scale CVD graphene/polymer nanolaminates have been produced by using an iterative 'lift-off/float-on' process and have been found to outperform, for the same graphene content, state-of-the-art flake-based graphene polymer composites in terms of mechanical reinforcement and electrical properties. Most importantly these thin laminate materials show a high electromagnetic interference (EMI) shielding effectiveness, reaching 60 dB for a small thickness of 33 micron, and an absolute EMI shielding effectiveness close to 3* 10 ^5 dB cm ^2 g^-1 which is amongst the highest values for synthetic, non-metallic materials produced to date.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
Wettability of graphene by molten polymers
Authors:
Maria Giovanna Pastore Carbone,
Daniele Tammaro,
Anastasios C. Manikas,
George Paterakis,
Ernesto Di Maio,
Costas Galiotis
Abstract:
Graphene wetting by polymers is a critical issue to both the success of polymer-aided transfer of large size sheets onto specific substrates and to the development of well performing nanocomposites. Here we show for the first time that high temperature contact angle measurements can be performed to investigate the wettability of CVD graphene by molten polymers. In particular, poly(methyl methacryl…
▽ More
Graphene wetting by polymers is a critical issue to both the success of polymer-aided transfer of large size sheets onto specific substrates and to the development of well performing nanocomposites. Here we show for the first time that high temperature contact angle measurements can be performed to investigate the wettability of CVD graphene by molten polymers. In particular, poly(methyl methacrylate), a widely used polymer support for CVD graphene transfer, has been adopted herein for this proof-of-concept study and the values of contact angle and work of adhesion have been provided in the temperature range 170-200 °C.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
Thermoplastic polyurethane-graphene nanoplatelets microcellular foams for electromagnetic interference shielding
Authors:
Maria Giovanna Pastore Carbone,
Maxime Beaugendre,
Can Koral,
Anastasios C. Manikas,
Nikolaos Koutroumanis,
Gian Paolo Papari,
Antonello Andreone,
Ernesto Di Maio,
Costas Galiotis
Abstract:
The incorporation of graphene-related materials as nanofiller can produce multifunctional foams with enhanced specific properties and density reduction. Herein we report on the preparation of microcellular thermoplastic polyurethane/graphene foams by batch foaming. Solution blending was first adopted to disperse graphene nanoplatelets (GNP) in the elastomeric matrix. Then, a foaming process based…
▽ More
The incorporation of graphene-related materials as nanofiller can produce multifunctional foams with enhanced specific properties and density reduction. Herein we report on the preparation of microcellular thermoplastic polyurethane/graphene foams by batch foaming. Solution blending was first adopted to disperse graphene nanoplatelets (GNP) in the elastomeric matrix. Then, a foaming process based on the use of supercritical CO2 was adopted to produce the microcellular TPU/GNP composite foams with graphene content up to 1 wt%. The EMI shielding behaviour of the TPU/GNP foams has been assessed in the THz range, and has revealed their potential in comparison with other graphene-filled foams presented in the literature, that exhibit similar specific shielding effectiveness but at much higher content of graphene-related materials (10-30 wt%).
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
NeuroRAN: Rethinking Virtualization for AI-native Radio Access Networks in 6G
Authors:
Paris Carbone,
Gyoergy Dan,
James Gross,
Bo Goeransson,
Marina Petrova
Abstract:
Network softwarization has revolutionized the architecture of cellular wireless networks. State-of-the-art container based virtual radio access networks (vRAN) provide enormous flexibility and reduced life cycle management costs, but they also come with prohibitive energy consumption. We argue that for future AI-native wireless networks to be flexible and energy efficient, there is a need for a ne…
▽ More
Network softwarization has revolutionized the architecture of cellular wireless networks. State-of-the-art container based virtual radio access networks (vRAN) provide enormous flexibility and reduced life cycle management costs, but they also come with prohibitive energy consumption. We argue that for future AI-native wireless networks to be flexible and energy efficient, there is a need for a new abstraction in network softwarization that caters for neural network type of workloads and allows a large degree of service composability. In this paper we present the NeuroRAN architecture, which leverages stateful function as a user facing execution model, and is complemented with virtualized resources and decentralized resource management. We show that neural network based implementations of common transceiver functional blocks fit the proposed architecture, and we discuss key research challenges related to compilation and code generation, resource management, reliability and security.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Dynamically polarisable force-fields for surface simulations via multi-output classification Neural Networks
Authors:
Nicodemo Di Pasquale,
Joshua D. Elliott,
Panagiotis Hadjidoukas,
Paola Carbone
Abstract:
We present a general procedure to introduce electronic polarization into classical Molecular Dynamics (MD) force-fields using a Neural Network (NN) model. We apply this framework to the simulation of a solid-liquid interface where the polarization of the surface is essential to correctly capture the main features of the system. By introducing a multi-input, multi-output NN and treating the surface…
▽ More
We present a general procedure to introduce electronic polarization into classical Molecular Dynamics (MD) force-fields using a Neural Network (NN) model. We apply this framework to the simulation of a solid-liquid interface where the polarization of the surface is essential to correctly capture the main features of the system. By introducing a multi-input, multi-output NN and treating the surface polarization as a discrete classification problem, for which NNs are known to excel, we are able to obtain very good accuracy in terms of quality of predictions. Through the definition of a custom loss function we are able to impose a physically motivated constraint within the NN itself making this model extremely versatile, especially in the modelling of different surface charge states. The NN is validated considering the redistribution of electronic charge density within a graphene based electrode in contact with aqueous electrolyte solution, a system highly relevant to the development of next generation low-cost supercapacitors. We compare the performances of our NN/MD model against Quantum Mechanics/Molecular dynamics simulations where we obtain a most satisfactorily agreement.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Lecture Notes on Leader-based Sequence Paxos -- An Understandable Sequence Consensus Algorithm
Authors:
Seif Haridi,
Lars Kroll,
Paris Carbone
Abstract:
Agreement among a set of processes and in the presence of partial failures is one of the fundamental problems of distributed systems. In the most general case, many decisions must be agreed upon over the lifetime of a system with dynamically changing membership. Such a sequence of decisions represents a distributed log, and can form the underlying abstraction for driving a replicated state machine…
▽ More
Agreement among a set of processes and in the presence of partial failures is one of the fundamental problems of distributed systems. In the most general case, many decisions must be agreed upon over the lifetime of a system with dynamically changing membership. Such a sequence of decisions represents a distributed log, and can form the underlying abstraction for driving a replicated state machine. While this abstraction is at the core of many systems with strong consistency requirements, algorithms that achieve such sequence consensus are often poorly understood by developers and have presented a significant challenge to many students of distributed systems. In these lecture notes we present a complete and practical Paxos-based algorithm for reconfigurable sequence consensus in the fail-recovery model, and a clear path of simple step-by-step transformations to it from the basic Paxos algorithm.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
A Survey on the Evolution of Stream Processing Systems
Authors:
Marios Fragkoulis,
Paris Carbone,
Vasiliki Kalavri,
Asterios Katsifodimos
Abstract:
Stream processing has been an active research field for more than 20 years, but it is now witnessing its prime time due to recent successful efforts by the research community and numerous worldwide open-source communities. This survey provides a comprehensive overview of fundamental aspects of stream processing systems and their evolution in the functional areas of out-of-order data management, st…
▽ More
Stream processing has been an active research field for more than 20 years, but it is now witnessing its prime time due to recent successful efforts by the research community and numerous worldwide open-source communities. This survey provides a comprehensive overview of fundamental aspects of stream processing systems and their evolution in the functional areas of out-of-order data management, state management, fault tolerance, high availability, load management, elasticity, and reconfiguration. We review noteworthy past research findings, outline the similarities and differences between early ('00-'10) and modern ('11-'22) streaming systems, and discuss recent trends and open problems.
△ Less
Submitted 14 January, 2023; v1 submitted 3 August, 2020;
originally announced August 2020.
-
A QM/MD coupling method to model the ion-induced polarization of graphene
Authors:
Joshua D Elliott,
Alessandro Troisi,
Paola Carbone
Abstract:
We report a new Quantum Mechanical/Molecular Dynamics (QM/MD) simulation loop to model the coupling between the electron and atom dynamics in solid/liquid interfacial systems. The method can describe simultaneously both the quantum mechanical surface polarizability emerging from the proximity to the electrolyte, and the electrolyte structure and dynamics. In the current set up Density Functional T…
▽ More
We report a new Quantum Mechanical/Molecular Dynamics (QM/MD) simulation loop to model the coupling between the electron and atom dynamics in solid/liquid interfacial systems. The method can describe simultaneously both the quantum mechanical surface polarizability emerging from the proximity to the electrolyte, and the electrolyte structure and dynamics. In the current set up Density Functional Tight Binding calculations for the electronic structure calculations of the surface are coupled with classical molecular dynamics to simulate the electrolyte solution. The reduced computational cost of the QM part makes the coupling with a classical simulation engine computationally feasible and allows simulation of large systems for hundreds of nanoseconds. We tested the method by simulating both a non-charged graphene flake and a non-charged and charged infinite graphene sheet immersed in an NaCl electrolyte solution. We found that, when no bias is applied, ions preferentially remained in solution and only cations are mildly attracted to the surface of the graphene. This preferential adsorption of cations vs anions seems to persist also when the surface is moderately charged and rules out any substantial ions/surface charge transfer.
△ Less
Submitted 19 June, 2020; v1 submitted 26 March, 2020;
originally announced March 2020.
-
An analysis of the performance of coupled cluster methods for core excitations and core ionizations using standard basis sets
Authors:
Johanna P. Carbone,
Lan Cheng,
Rolf H. Myhre,
Devin Matthews,
Henrik Koch,
Sonia Coriani
Abstract:
An extensive analysis has been carried out of the performance of standard families of basis sets with the hierarchy of coupled cluster methods CC2, CCSD, CC3 and CCSDT in computing selected Oxygen, Carbon and Nitrogen K-edge (vertical) core excitation and ionization energies within a core-valence separated scheme in the molecules water, ammonia, and carbon monoxide. Complete basis set limits for t…
▽ More
An extensive analysis has been carried out of the performance of standard families of basis sets with the hierarchy of coupled cluster methods CC2, CCSD, CC3 and CCSDT in computing selected Oxygen, Carbon and Nitrogen K-edge (vertical) core excitation and ionization energies within a core-valence separated scheme in the molecules water, ammonia, and carbon monoxide. Complete basis set limits for the excitation energies have been estimated via different basis set extrapolation schemes. The importance of scalar relativistic effects has been established within the spin-free exact two-component theory in its one-electron variant (SFX2C-1e).
△ Less
Submitted 9 August, 2019;
originally announced August 2019.
-
Semantic interoperability and characterization of data provenance in computational molecular engineering
Authors:
M. T. Horsch,
C. Niethammer,
G. Boccardo,
P. Carbone,
S. Chiacchiera,
M. Chiricotto,
J. D. Elliott,
V. Lobaskin,
P. Neumann,
P. Schiffels,
M. A. Seaton,
I. T. Todorov,
J. Vrabec,
W. L. Cavalcanti
Abstract:
By introducing a common representational system for metadata that describe the employed simulation workflows, diverse sources of data and platforms in computational molecular engineering, such as workflow management systems, can become interoperable at the semantic level. To achieve semantic interoperability, the present work introduces two ontologies that provide a formal specification of the ent…
▽ More
By introducing a common representational system for metadata that describe the employed simulation workflows, diverse sources of data and platforms in computational molecular engineering, such as workflow management systems, can become interoperable at the semantic level. To achieve semantic interoperability, the present work introduces two ontologies that provide a formal specification of the entities occurring in a simulation workflow and the relations between them: The software ontology VISO is developed to represent software packages and their features, and OSMO, an ontology for simulation, modelling, and optimization, is introduced on the basis of MODA, a previously developed semi-intuitive graph notation for workflows in materials modelling. As a proof of concept, OSMO is employed to describe a use case of the TaLPas workflow management system, a scheduler and workflow optimizer for particle-based simulations.
△ Less
Submitted 15 November, 2019; v1 submitted 29 July, 2019;
originally announced August 2019.
-
Production and mechanical characterization of graphene micro-ribbons
Authors:
Maria Giovanna Pastore Carbone,
Georgia Tsoukleri,
Anastasios C. Manikas,
Eleni Makarona,
Christos Tsamis,
Costas Galiotis
Abstract:
Patterning of graphene into micro- and nano-ribbons allows for the tunability in emerging fields such as flexible electronic and optoelectronic devices, and is gaining interest for the production of more efficient reinforcement for composite materials. In this work we fabricate micro-ribbons from CVD graphene by combining UV photolithography and dry etching oxygen plasma treatments. Raman spectral…
▽ More
Patterning of graphene into micro- and nano-ribbons allows for the tunability in emerging fields such as flexible electronic and optoelectronic devices, and is gaining interest for the production of more efficient reinforcement for composite materials. In this work we fabricate micro-ribbons from CVD graphene by combining UV photolithography and dry etching oxygen plasma treatments. Raman spectral imaging confirms the effectiveness of the patterning procedure, which is suitable for large-area patterning of graphene on wafer-scale, and confirms that the quality of graphene remains unaltered. The produced micro-ribbons were finally transferred and embedded into a polymeric matrix and the mechanical response was investigated by in-situ mechanical investigation combining Raman spectroscopy and tensile/compressive tests.
△ Less
Submitted 16 April, 2019;
originally announced April 2019.
-
Mosaic pattern formation in exfoliated graphene by mechanical deformation
Authors:
Maria Giovanna Pastore Carbone,
Anastasios C. Manikas,
Ioanna Souli,
Chistos Pavlou,
Costas Galiotis
Abstract:
Graphene is susceptible to morphological instabilities such as wrinkles and folds, which result from the imposition of thermo-mechanical stresses upon cooling from high temperatures and/ or under biaxial loading. A particular pattern encountered in CVD graphene is that of mosaic formation. Although it is understood that this pattern results from the severe biaxial compression upon cooling from hig…
▽ More
Graphene is susceptible to morphological instabilities such as wrinkles and folds, which result from the imposition of thermo-mechanical stresses upon cooling from high temperatures and/ or under biaxial loading. A particular pattern encountered in CVD graphene is that of mosaic formation. Although it is understood that this pattern results from the severe biaxial compression upon cooling from high temperatures, it has not been possible to create such a complex pattern at room temperature by mechanical loading. Herein, we have managed by means of lateral wrinkling induced by tension and Euler buckling resulting from uniaxial compression upon unloading, to create such patterns in exfoliated graphene. We also show that these patterns can be used as channels for trap** or administering fluids at interstitial space between graphene and its support. This opens a whole dearth of new applications in the area of nano-fluidics but also in photo-electronics and sensor technologies.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Measuring the Noise Cumulative Distribution Function Using Quantized Data
Authors:
Paolo Carbone,
Johan Schoukens,
István Kollár,
Antonio Moschitta
Abstract:
This paper considers the problem of estimating the cumulative distribution function and probability density function of a random variable using data quantized by uniform and non-uniform quantizers. A simple estimator is proposed based on the empirical distribution function that also takes the values of the quantizer transition levels into account. The properties of this estimator are discussed and…
▽ More
This paper considers the problem of estimating the cumulative distribution function and probability density function of a random variable using data quantized by uniform and non-uniform quantizers. A simple estimator is proposed based on the empirical distribution function that also takes the values of the quantizer transition levels into account. The properties of this estimator are discussed and analyzed at first by simulations. Then by removing all assumptions that are difficult to apply, a new procedure is described that does not require neither the transition levels nor the input sequence used to source the quantizer to be known. The experimental results obtained using a commercial 12-b data acquisition system show the applicability of this estimator to real-world type of problems.
△ Less
Submitted 2 May, 2018;
originally announced May 2018.
-
Accurate Sine-Wave Amplitude Measurements Using Nonlinearly Quantized Data
Authors:
Paolo Carbone,
Johan Schoukens,
István Kollár,
Antonio Moschitta
Abstract:
The estimation of the amplitude of a sine wave from the sequence of its quantized samples is a typical problem in instrumentation and measurement. A standard approach for its solution makes use of a least squares estimator (LSE) that, however, does not perform optimally in the presence of quantization errors. In fact, if the quantization error cannot be modeled as an additive noise source, as it o…
▽ More
The estimation of the amplitude of a sine wave from the sequence of its quantized samples is a typical problem in instrumentation and measurement. A standard approach for its solution makes use of a least squares estimator (LSE) that, however, does not perform optimally in the presence of quantization errors. In fact, if the quantization error cannot be modeled as an additive noise source, as it often happens in practice, the LSE returns biased estimates. In this paper, we consider the estimation of the amplitude of a noisy sine wave after quantization. The proposed technique is based on a uniform distribution of signal phases and it does not require that the quantizer has equally spaced transition levels. The experimental results show that this technique removes the estimation bias associated with the usage of the LSE and that it is sufficiently robust with respect to small uncertainties in the known values of transition levels.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Information and Statistical Efficiency When Quantizing Noisy DC Values
Authors:
Antonio Moschitta,
Johan Schoukens,
Paolo Carbone
Abstract:
This paper considers estimation of a quantized constant in noise when using uniform and nonuniform quantizers. Estimators based on simple arithmetic averages, on sample statistical moments and on the maximum-likelihood procedure are considered. It provides expressions for the statistical efficiency of the arithmetic mean by comparing its variance to the proper Cramér-Rao lower bound. It is conject…
▽ More
This paper considers estimation of a quantized constant in noise when using uniform and nonuniform quantizers. Estimators based on simple arithmetic averages, on sample statistical moments and on the maximum-likelihood procedure are considered. It provides expressions for the statistical efficiency of the arithmetic mean by comparing its variance to the proper Cramér-Rao lower bound. It is conjectured that the arithmetic mean is optimal among all estimators with an exactly known bias. Conditions under which its statistical performance are improved by the other estimation procedures when the exact bias is not known are found and analyzed. Using simulations and analysis of experimental data, it is shown that both moment-based and maximum-likelihood-based estimators provide better results, when the noise standard deviation is comparable with the quantization step and the noise model of quantization can not be applied.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Dynamic Signal Measurements Based on Quantized Data
Authors:
Paolo Carbone,
Johan Schuokens,
Antonio Moschitta
Abstract:
The estimation of the parameters of a dynamic signal, such as a sine wave, based on quantized data is customarily performed using the least-square estimator (LSE), such as the sine fit. However, the characteristics of the experiments and the measurement setup hardly satisfy the requirements ensuring the LSE to be optimal in the minimum mean-square-error sense. This occurs if the input signal is ch…
▽ More
The estimation of the parameters of a dynamic signal, such as a sine wave, based on quantized data is customarily performed using the least-square estimator (LSE), such as the sine fit. However, the characteristics of the experiments and the measurement setup hardly satisfy the requirements ensuring the LSE to be optimal in the minimum mean-square-error sense. This occurs if the input signal is characterized by a large signal-to-noise ratio resulting in the deterministic component of the quantization error dominating the random error component and when the ADC transition levels are not uniformly distributed over the quantizer input range. In this paper, it is first shown that the LSE applied to quantized data does not perform as expected when the quantizer is not uniform. Then, an estimator is introduced that overcomes these limitations. It uses the values of the transition levels so that a prior quantizer calibration phase is necessary. The estimator properties are analyzed and both numerical and experimental results are described to illustrate its performance. It is shown that the described estimator outperforms the LSE and it also provides an estimate of the probability distribution function of the noise before quantization.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.
-
Parametric System Identification Using Quantized Data
Authors:
Antonio Moschitta,
Johan Schoukens,
Paolo Carbone
Abstract:
The estimation of signal parameters using quantized data is a recurrent problem in electrical engineering. As an example, this includes the estimation of a noisy constant value and of the parameters of a sinewave, that is, its amplitude, initial record phase, and offset. Conventional algorithms, such as the arithmetic mean, in the case of the estimation of a constant, are known not to be optimal i…
▽ More
The estimation of signal parameters using quantized data is a recurrent problem in electrical engineering. As an example, this includes the estimation of a noisy constant value and of the parameters of a sinewave, that is, its amplitude, initial record phase, and offset. Conventional algorithms, such as the arithmetic mean, in the case of the estimation of a constant, are known not to be optimal in the presence of quantization errors. They provide biased estimates if particular conditions regarding the quantization process are not met, as it usually happens in practice. In this paper, a quantile-based estimator is presented, which is based on the Gauss-Markov theorem. The general theory is first described and the estimator is then applied to both direct current and alternate current input signals with unknown characteristics. Using simulations and experimental results, it is shown that the new estimator outperforms conventional estimators in both problems, by removing the estimation bias.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.
-
Practical Issues in the Synthesis of Ternary Sequences
Authors:
Alessio De Angelis,
Johan Schoukens,
Keith R. Godfrey,
Paolo Carbone
Abstract:
Several issues related to the practical synthesis of ternary sequences with specified spectra are addressed in this paper. Specifically, sequences with harmonic multiples of two and three suppressed are studied, given their relevance when testing and characterizing nonlinear systems. In particular, the effect of non-uniform Digital to Analog Converter (DAC) levels on the spectral properties of the…
▽ More
Several issues related to the practical synthesis of ternary sequences with specified spectra are addressed in this paper. Specifically, sequences with harmonic multiples of two and three suppressed are studied, given their relevance when testing and characterizing nonlinear systems. In particular, the effect of non-uniform Digital to Analog Converter (DAC) levels on the spectral properties of the generated signal is analyzed. It is analytically shown that the DAC non-uniform levels result in degraded harmonic suppression performance. Moreover, a new approach is proposed for designing ternary sequences, which is flexible and can be adapted to suit different requirements. The resulting sequences, denoted as randomized constrained sequences, are characterized theoretically by deriving an analytical expression of the power spectral density. Furthermore, they are extensively compared with three synthesis approaches proposed in the literature. The approach is validated by numerical simulations and experimental results, showing the potential to achieve harmonic suppression performance of approximately 100 dB.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
A Rigorous Analysis of Least Squares Sine Fitting Using Quantized Data: the Random Phase Case
Authors:
Paolo Carbone,
Johan Schoukens
Abstract:
This paper considers least-square based estimation of the amplitude and square amplitude of a quantized sine wave, done by considering random initial record phase. Using amplitude- and frequency-domain modeling techniques, it is shown that the estimator is inconsistent, biased and has a variance that may be underestimated if the simple model of quantization is applied. The effects of both sine wav…
▽ More
This paper considers least-square based estimation of the amplitude and square amplitude of a quantized sine wave, done by considering random initial record phase. Using amplitude- and frequency-domain modeling techniques, it is shown that the estimator is inconsistent, biased and has a variance that may be underestimated if the simple model of quantization is applied. The effects of both sine wave offset values and additive Gaussian noise are taken into account. General estimator properties are derived, without making simplifying assumptions on the role of the quantization process, to allow assessment of measurement uncertainty, when this least-square procedure is used.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
Modelling dark current and hot pixels in imaging sensors
Authors:
Antonio Forcina,
Paolo Carbone
Abstract:
A Gaussian mixture model with a complex covariance structure was used to analyse experimental data from images recorded by a digital sensor under darkness, to model the effects of temperature and duration of exposure on artificial signals (dark current), on ordinary and possibly defective (hot) pixels. The model accounts for two components of variance within each latent type: random noise in each…
▽ More
A Gaussian mixture model with a complex covariance structure was used to analyse experimental data from images recorded by a digital sensor under darkness, to model the effects of temperature and duration of exposure on artificial signals (dark current), on ordinary and possibly defective (hot) pixels. The model accounts for two components of variance within each latent type: random noise in each image and lack of uniformity within the sensor; both components are allowed to depend on experimental conditions. The results seem to indicate that the way dark current grows with the duration of exposure and temperature cannot be represented by a simple parametric model. The latent class model detects the presence of at least two types of hot pixels, where the less frequent ones have also a more extreme behaviour. Though the lack of uniformity of the sensor is amplified by duration of exposure and temperature, pixels characteristics seem to deviate in the same direction and with the same relative size.
△ Less
Submitted 16 April, 2018; v1 submitted 17 November, 2017;
originally announced November 2017.
-
Best Linear Approximation of Wiener Systems Using Multilevel Signals: Theory and Experiments
Authors:
A. De Angelis,
J. Schoukens,
K. R. Godfrey,
P. Carbone
Abstract:
The problem of measuring the best linear approximation of a nonlinear system by means of multilevel excitation sequences is analyzed. A comparison between different types of sequences applied at the input of Wiener systems is provided by numerical simulations and by experiments on a practical circuit including an analog filter and a clip** nonlinearity. The performance of the sequences is compar…
▽ More
The problem of measuring the best linear approximation of a nonlinear system by means of multilevel excitation sequences is analyzed. A comparison between different types of sequences applied at the input of Wiener systems is provided by numerical simulations and by experiments on a practical circuit including an analog filter and a clip** nonlinearity. The performance of the sequences is compared with a white Gaussian noise signal for reference purposes. The theoretical characterization of the best linear approximation when using randomized constrained sequences is derived analytically for the cubic nonlinearity case. Numerical and experimental results show that the randomized constrained approach for designing ternary sequences has a low sensitivity to both even and odd order nonlinearities, resulting in a response close to the actual response of the underlying linear system.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
An Interactive System for Exhibitions in a Science and Technology Center
Authors:
Alessio De Angelis,
Paolo Carbone,
Marco Dionigi,
Emilio Di Giacomo,
Aurelio Stoppini,
Fabio Radicioni,
Enrico Tombesi
Abstract:
This paper presents the development of a system for realizing interactive exhibitions in the context of a science and technology center. The core functionality of the system is provided by a positioning subsystem comprised of a fixed infrastructure of transmitters and a sensor worn by a user. The operating principle of the positioning system is based on inductive coupling of resonators. Informatio…
▽ More
This paper presents the development of a system for realizing interactive exhibitions in the context of a science and technology center. The core functionality of the system is provided by a positioning subsystem comprised of a fixed infrastructure of transmitters and a sensor worn by a user. The operating principle of the positioning system is based on inductive coupling of resonators. Information about the position of the user is transferred to an information system for processing and displaying. Possible use cases include interactive games, information retrieval interfaces and educational scenarios.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Accurate Estimation of a Coil Magnetic Dipole Moment
Authors:
Antonio Moschitta,
Alessio De Angelis,
Francesco Santoni,
Marco Dionigi,
Paolo Carbone,
Guido De Angelis
Abstract:
In this paper, a technique for accurate estimation of the moment of magnetic dipole is proposed. The achievable accuracy is investigated, as a function of measurement noise affecting estimation of magnetic field cartesian components. The proposed technique is validated both via simulations and experimentally.
In this paper, a technique for accurate estimation of the moment of magnetic dipole is proposed. The achievable accuracy is investigated, as a function of measurement noise affecting estimation of magnetic field cartesian components. The proposed technique is validated both via simulations and experimentally.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Analysis of simultaneous 3D positioning and attitude estimation of a planar coil using inductive coupling
Authors:
Antonio Moschitta,
Alessio De Angelis,
Marco Dionigi,
Paolo Carbone
Abstract:
In this paper, simultaneous estimation of 3D position and attitude of a single coil using a set of anchors, with known position and magnetic dipole, is analyzed. Effect of noise and geometric properties of the anchors' constellation is considered. Several parameters are analyzed and discussed, including placement of anchors in a single or in multiple orthogonal planes. It is shown that adding spac…
▽ More
In this paper, simultaneous estimation of 3D position and attitude of a single coil using a set of anchors, with known position and magnetic dipole, is analyzed. Effect of noise and geometric properties of the anchors' constellation is considered. Several parameters are analyzed and discussed, including placement of anchors in a single or in multiple orthogonal planes. It is shown that adding space and orientation diversity anchors may lead to a more robust performance when the mobile node attitude changes in time.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Tuneable Sieving of Ions Using Graphene Oxide Membranes
Authors:
J. Abraham,
K. S. Vasu,
C. D. Williams,
K. Gopinadhan,
Y. Su,
C. Cherian,
J. Dix,
E. Prestat,
S. J. Haigh,
I. V. Grigorieva,
P. Carbone,
A. K. Geim,
R. R. Nair
Abstract:
Graphene oxide membranes show exceptional molecular permeation properties, with a promise for many applications. However, their use in ion sieving and desalination technologies is limited by a permeation cutoff of ~9 Angstrom, which is larger than hydrated ion diameters for common salts. The cutoff is determined by the interlayer spacing d ~13.5 Angstrom, typical for graphene oxide laminates that…
▽ More
Graphene oxide membranes show exceptional molecular permeation properties, with a promise for many applications. However, their use in ion sieving and desalination technologies is limited by a permeation cutoff of ~9 Angstrom, which is larger than hydrated ion diameters for common salts. The cutoff is determined by the interlayer spacing d ~13.5 Angstrom, typical for graphene oxide laminates that swell in water. Achieving smaller d for the laminates immersed in water has proved to be a challenge.Here we describe how to control d by physical confinement and achieve accurate and tuneable ion sieving. Membranes with d from ~ 9.8 Angstrom to 6.4 Angstrom are demonstrated, providing the sieve size smaller than typical ions' hydrated diameters.In this regime, ion permeation is found to be thermally activated with energy barriers of ~10-100 kJ/mol depending on d. Importantly, permeation rates decrease exponentially with decreasing the sieve size but water transport is weakly affected (by a factor of <2). The latter is attributed to a low barrier for water molecules entry and large slip lengths inside graphene capillaries. Building on these findings, we demonstrate a simple scalable method to obtain graphene-based membranes with limited swelling, which exhibit 97% rejection for NaCl.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
Van der Waals pressure and its effect on trapped interlayer molecules
Authors:
K. S. Vasu,
E. Prestat,
J. Abraham,
J. Dix,
R. J. Kashtiban,
J. Beheshtian,
J. Sloan,
P. Carbone,
M. Neek-Amal,
S. J. Haigh,
A. K. Geim,
R. R. Nair
Abstract:
Van der Waals assembly of two-dimensional (2D) crystals continue attract intense interest due to the prospect of designing novel materials with on-demand properties. One of the unique features of this technology is the possibility of trap** molecules or compounds between 2D crystals. The trapped molecules are predicted to experience pressures as high as 1 GPa. Here we report measurements of this…
▽ More
Van der Waals assembly of two-dimensional (2D) crystals continue attract intense interest due to the prospect of designing novel materials with on-demand properties. One of the unique features of this technology is the possibility of trap** molecules or compounds between 2D crystals. The trapped molecules are predicted to experience pressures as high as 1 GPa. Here we report measurements of this interfacial pressure by capturing pressure-sensitive molecules and studying their structural and conformational changes. Pressures of 1.2 +/- 0.3 GPa are found using Raman spectrometry for molecular layers of one nanometer in thickness. We further show that this pressure can induce chemical reactions and several trapped salts or compounds are found to react with water at room temperature, leading to 2D crystals of the corresponding oxides. This pressure and its effect should be taken into account in studies of van der Waals heterostructures and can also be exploited to modify materials confined at the atomic interfaces.
△ Less
Submitted 23 May, 2016;
originally announced May 2016.
-
Lightweight Asynchronous Snapshots for Distributed Dataflows
Authors:
Paris Carbone,
Gyula Fóra,
Stephan Ewen,
Seif Haridi,
Kostas Tzoumas
Abstract:
Distributed stateful stream processing enables the deployment and execution of large scale continuous computations in the cloud, targeting both low latency and high throughput. One of the most fundamental challenges of this paradigm is providing processing guarantees under potential failures. Existing approaches rely on periodic global state snapshots that can be used for failure recovery. Those a…
▽ More
Distributed stateful stream processing enables the deployment and execution of large scale continuous computations in the cloud, targeting both low latency and high throughput. One of the most fundamental challenges of this paradigm is providing processing guarantees under potential failures. Existing approaches rely on periodic global state snapshots that can be used for failure recovery. Those approaches suffer from two main drawbacks. First, they often stall the overall computation which impacts ingestion. Second, they eagerly persist all records in transit along with the operation states which results in larger snapshots than required. In this work we propose Asynchronous Barrier Snapshotting (ABS), a lightweight algorithm suited for modern dataflow execution engines that minimises space requirements. ABS persists only operator states on acyclic execution topologies while kee** a minimal record log on cyclic dataflows. We implemented ABS on Apache Flink, a distributed analytics engine that supports stateful stream processing. Our evaluation shows that our algorithm does not have a heavy impact on the execution, maintaining linear scalability and performing well with frequent snapshots.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Precise and ultrafast molecular sieving through graphene oxide membranes
Authors:
R. K. Joshi,
P. Carbone,
F. C. Wang,
V. G. Kravets,
Y. Su,
I. V. Grigorieva,
H. A. Wu,
A. K. Geim,
R. R. Nair
Abstract:
There has been intense interest in filtration and separation properties of graphene-based materials that can have well-defined nanometer pores and exhibit low frictional water flow inside them. Here we investigate molecular permeation through graphene oxide laminates. They are vacuum-tight in the dry state but, if immersed in water, act as molecular sieves blocking all solutes with hydrated radii…
▽ More
There has been intense interest in filtration and separation properties of graphene-based materials that can have well-defined nanometer pores and exhibit low frictional water flow inside them. Here we investigate molecular permeation through graphene oxide laminates. They are vacuum-tight in the dry state but, if immersed in water, act as molecular sieves blocking all solutes with hydrated radii larger than 4.5A. Smaller ions permeate through the membranes with little impedance, many orders of magnitude faster than the diffusion mechanism can account for. We explain this behavior by a network of nanocapillaries that open up in the hydrated state and accept only species that fit in. The ultrafast separation of small salts is attributed to an 'ion sponge' effect that results in highly concentrated salt solutions inside graphene capillaries.
△ Less
Submitted 14 January, 2014;
originally announced January 2014.