-
Modelling Dynamic Limitations of Lithium Transport in Lithium-Sulfur Batteries
Authors:
Dr. Michael Cornish,
Dr. Monica Marinescu,
Mr. Dharshannan Sugunan
Abstract:
A common, yet unmodelled experimental phenomenon is explained first through the experimental data and then through modelling efforts. The phenomenon is a large, temporary loss in voltage during constant current discharge. This effect can be observed in several independent experimental settings, such as during low-temperature operation, under high currents, with low Electrolyte-to-Sulfur (E/S) rati…
▽ More
A common, yet unmodelled experimental phenomenon is explained first through the experimental data and then through modelling efforts. The phenomenon is a large, temporary loss in voltage during constant current discharge. This effect can be observed in several independent experimental settings, such as during low-temperature operation, under high currents, with low Electrolyte-to-Sulfur (E/S) ratios, as well as in cells with high salt concentrations. The model presented here is the first to prove to capture this effect. Moreover, several other related experimental results are presented, discussed, and predicted by the model. A fundamental explanation for why most Li-S models are unlikely to be able to capture the large voltage loss effect is also given.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Lithium-ion battery degradation: using degradation mode analysis to validate lifetime prediction modelling
Authors:
Ruihe Li,
Niall D. Kirkaldy,
Fabian Oehler,
Monica Marinescu,
Gregory J. Offer,
Simon E. J. O'Kane
Abstract:
Predicting lithium-ion battery lifetime is one of the greatest unsolved problems in battery research right now. Recent years have witnessed a surge in lifetime prediction papers using physics-based, empirical, or data-driven models, most of which have been validated against the remaining capacity (capacity fade) and sometimes resistance (power fade). However, there are many different combinations…
▽ More
Predicting lithium-ion battery lifetime is one of the greatest unsolved problems in battery research right now. Recent years have witnessed a surge in lifetime prediction papers using physics-based, empirical, or data-driven models, most of which have been validated against the remaining capacity (capacity fade) and sometimes resistance (power fade). However, there are many different combinations of degradation mechanisms in lithium-ion batteries that can result in the same patterns of capacity and power fade, making it impossible to find a unique validated solution. Experimentally, degradation mode analysis involving measuring the loss of lithium inventory, loss of active material at both electrodes, and electrode drift/slippage has emerged as a state-of-the-art requirement for cell degradation studies. In this paper we coupled five degradation mechanisms together for the first time. We also showed how three models with different levels of complexity can all fit the remaining capacity and resistance well, but only the model with five coupled degradation mechanisms could also fit the degradation modes at all temperatures. This work proves that validating only against capacity and power fade is no longer sufficient, and state-of-the-art experimental and modelling degradation studies should include degradation mode analysis for validation in the future.
△ Less
Submitted 23 January, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Lithium-ion battery performance model including solvent segregation effects
Authors:
Ruihe Li,
Simon O'Kane,
Andrew Wang,
Taeho Jung,
Niall Kirkaldy,
Monica Marinescu,
Charles W. Monroe,
Gregory J. Offer
Abstract:
A model of a lithium-ion battery containing a cosolvent electrolyte is developed and implemented within the open-source PyBaMM platform. Lithium-ion electrolytes are essential to battery operation and normally contain at least two solvents to satisfy performance requirements. The widely used Doyle-Fuller-Newman battery model assumes that the electrolyte comprises a salt dissolved in a single effec…
▽ More
A model of a lithium-ion battery containing a cosolvent electrolyte is developed and implemented within the open-source PyBaMM platform. Lithium-ion electrolytes are essential to battery operation and normally contain at least two solvents to satisfy performance requirements. The widely used Doyle-Fuller-Newman battery model assumes that the electrolyte comprises a salt dissolved in a single effective solvent, however. This single-solvent approximation has been disproved experimentally and may hinder accurate battery modelling. Here, we present a two-solvent model that resolves the transport of ethylene carbonate (EC) and lithium salt in a background linear carbonate. EC concentration polarization opposes that of Li+ during cycling, affecting local electrolyte properties and cell-level overpotentials. Concentration gradients of Li+ can be affected by cross-diffusion, whereby EC gradients enhance or impede salt flux. A rationally parametrized model that includes EC transport predicts 6% more power loss at 4.5C discharge and ~0.32% more capacity loss after a thousand 1C cycles than its single-solvent equivalent. This work provides a tool to model more transport behaviour in the electrolyte that may affect degradation and enables the transfer of microscopic knowledge about solvation structure-dependent performance to the macroscale.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
A million cycles in a day: enabling high-throughput computing of lithium-ion battery degradation with physics-based models
Authors:
Ruihe Li,
Simon O'Kane,
Jianbo Huang,
Monica Marinescu,
Gregory J Offer
Abstract:
High-throughput computing (HTC) is a pivotal asset in many scientific fields, such as biology, material science and machine learning. Applying HTC to the complex physics-based degradation models of lithium-ion batteries enables efficient parameter identification and sensitivity analysis, which further leads to optimal battery design and operating conditions. However, running physics-based degradat…
▽ More
High-throughput computing (HTC) is a pivotal asset in many scientific fields, such as biology, material science and machine learning. Applying HTC to the complex physics-based degradation models of lithium-ion batteries enables efficient parameter identification and sensitivity analysis, which further leads to optimal battery design and operating conditions. However, running physics-based degradation models comes with pitfalls, as solvers can crash or get stuck in infinite loops due to numerical errors. Also, how to pipeline HTC for degradation models has seldom been discussed. To fill these gaps, we have created ParaSweeper, a Python script tailored for HTC, designed to streamline parameter swee** by running as many ageing simulations as computational resources allow, each with different parameters. We have demonstrated the capability of ParaSweeper based on the open-source platform PyBaMM, and the approach can also apply to other numerical models which solve partial differential equations. ParaSweeper not only manages common solver errors, but also integrates various methods to accelerate the simulation. Using a high-performance computing platform, ParaSweeper can run millions of charge/discharge cycles within one day. ParaSweeper stands to benefit both academic researchers, through expedited model exploration, and industry professionals, by enabling rapid lifetime design, ultimately contributing to the prolonged lifetime of batteries.
△ Less
Submitted 29 January, 2024; v1 submitted 8 November, 2023;
originally announced November 2023.
-
A Computational Framework Integrating Physics-based Model and Equivalent Circuit Network Model to Simulate Li-ion batteries
Authors:
Han Yuan,
Shen Li,
Tao Zhu,
Simon O'Kane,
Carlos Garcia,
Gregory Offer,
Monica Marinescu
Abstract:
Battery models generally fall into two categories: physics-based models and ECM models. Physics-based Doyle-Fuller-Newman (DFN) models can accurately simulate the battery internal electrochemical processes, but to properly account for thermal effects requires a strong coupling between a DFN model and a 3D thermal model, which is computationally unaffordable. Distributed Equivalent Circuit Network…
▽ More
Battery models generally fall into two categories: physics-based models and ECM models. Physics-based Doyle-Fuller-Newman (DFN) models can accurately simulate the battery internal electrochemical processes, but to properly account for thermal effects requires a strong coupling between a DFN model and a 3D thermal model, which is computationally unaffordable. Distributed Equivalent Circuit Network (ECN) models can perform simulations with high speed and reasonable accuracy. However, these models rely heavily on the characterisation experiments for ECN parameter identification, which is resource-intensive and can lead to inaccurate parametrisation outcomes due to internal thermal inhomogeneity. To harness the strengths of both models, we propose a computational framework to integrate electrochemical DFN model and 3D distributed ECN model together. Using this framework, we simulate constant current discharge experiments of Kokam 7.5 Ah pouch cell (Model SLPB75106100) and compare the simulations with the commonly-used lumped DFN-thermal model. The computational model outperforms the lumped DFN model at low-temperature and/or high C-rate scenarios significantly. The largest predicting error of the framework at 3 C-rate &Tam = 25oC and at 1 C-rate &Tam = 0 oC is approximately 1/3 of that for DFN model. At 3 C-rate &Tam = 5oC, the difference between these two can rise to 377 mV. By integrating DFN and 3D-distributed ECN together, the computational framework can simulate the complicated interplay between electrochemistry, thermal process, and electricity within a cell fast and accurately. We anticipate this computational framework to be a valuable toolset to assist researchers and engineers in the design and control of Li-ion batteries.
△ Less
Submitted 12 July, 2024; v1 submitted 17 March, 2023;
originally announced March 2023.
-
DEArt: Dataset of European Art
Authors:
Artem Reshetnikov,
Maria-Cristina Marinescu,
Joaquim More Lopez
Abstract:
Large datasets that were made publicly available to the research community over the last 20 years have been a key enabling factor for the advances in deep learning algorithms for NLP or computer vision. These datasets are generally pairs of aligned image / manually annotated metadata, where images are photographs of everyday life. Scholarly and historical content, on the other hand, treat subjects…
▽ More
Large datasets that were made publicly available to the research community over the last 20 years have been a key enabling factor for the advances in deep learning algorithms for NLP or computer vision. These datasets are generally pairs of aligned image / manually annotated metadata, where images are photographs of everyday life. Scholarly and historical content, on the other hand, treat subjects that are not necessarily popular to a general audience, they may not always contain a large number of data points, and new data may be difficult or impossible to collect. Some exceptions do exist, for instance, scientific or health data, but this is not the case for cultural heritage (CH). The poor performance of the best models in computer vision - when tested over artworks - coupled with the lack of extensively annotated datasets for CH, and the fact that artwork images depict objects and actions not captured by photographs, indicate that a CH-specific dataset would be highly valuable for this community. We propose DEArt, at this point primarily an object detection and pose classification dataset meant to be a reference for paintings between the XIIth and the XVIIIth centuries. It contains more than 15000 images, about 80% non-iconic, aligned with manual annotations for the bounding boxes identifying all instances of 69 classes as well as 12 possible poses for boxes identifying human-like objects. Of these, more than 50 classes are CH-specific and thus do not appear in other datasets; these reflect imaginary beings, symbolic entities and other categories related to art. Additionally, existing datasets do not include pose annotations. Our results show that object detectors for the cultural heritage domain can achieve a level of precision comparable to state-of-art models for generic images via transfer learning.
△ Less
Submitted 3 November, 2022; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Diffusion-aware voltage source: An equivalent circuit network to resolve lithium concentration gradients in active particles
Authors:
Mingzhao Zhuo,
Niall Kirkaldy,
Tom Maull,
Timothy Engstrom,
Gregory Offer,
Monica Marinescu
Abstract:
Traditional equivalent circuit models (ECMs) have difficulties in estimating battery internal states due to the lack of relevant physics, such as the lithium diffusion in active particles. Here we configure a circuit network to describe the lithium diffusion and define it as a new high-level circuit element called diffusion-aware voltage source. The circuit representation is proven equivalent to t…
▽ More
Traditional equivalent circuit models (ECMs) have difficulties in estimating battery internal states due to the lack of relevant physics, such as the lithium diffusion in active particles. Here we configure a circuit network to describe the lithium diffusion and define it as a new high-level circuit element called diffusion-aware voltage source. The circuit representation is proven equivalent to the discretized diffusion equation. The new voltage source gives the electrode potential as a function of the surface concentration and thus automatically incorporates the diffusion overpotential. We show that an ECM with the proposed diffusion-aware voltage sources (called "shell ECM") can reproduce the single particle model simulation results, making it a trustworthy easy-to-implement substitute. Furthermore, the simplest shell ECM consisting of a single diffusion-aware voltage source and a resistor is validated against experimental constant-current discharges at various rates. The diffusion-aware voltage source can be used to measure diffusivity by fitting the diffusion resistance against experimental data. The viability of the shell ECM for onboard usage is confirmed by implementation into a battery management system of WAE Technologies. By tracking the internal concentration states, the shell ECM demonstrates robustness to dynamic applied-current profiles.
△ Less
Submitted 13 January, 2023; v1 submitted 9 July, 2022;
originally announced July 2022.
-
Degradation model of high-nickel positive electrodes: Effects of loss of active material and cyclable lithium on capacity fade
Authors:
Mingzhao Zhuo,
Gregory Offer,
Monica Marinescu
Abstract:
Nickel-rich layered oxides have been widely used as positive electrode materials for high-energy-density lithium-ion batteries, but their degradation has severely affected cell performance, in particular at a high voltage and temperature. However, the underlying degradation mechanisms have not been well understood due to the complexity and lack of predictive models.Here we present a model at the p…
▽ More
Nickel-rich layered oxides have been widely used as positive electrode materials for high-energy-density lithium-ion batteries, but their degradation has severely affected cell performance, in particular at a high voltage and temperature. However, the underlying degradation mechanisms have not been well understood due to the complexity and lack of predictive models.Here we present a model at the particle level to describe the structural degradation caused by phase transition in terms of loss of active material (LAM), loss of lithium inventory (LLI), and resistance increase. The particle degradation model is then incorporated into a cell-level P2D model to explore the effects of LAM and LLI on capacity fade in cyclic ageing tests. It is predicted that the loss of cyclable lithium (trapped in the degraded shell) leads to a shift in the stoichiometry range of the negative electrode but does not directly contribute to the capacity loss, and that the loss of positive electrode active materials dominates the fade of usable cell capacity in discharge. The available capacity at a given current rate is further decreased by the additional resistance of the degraded shell layer. The change pattern of the state-of-charge curve provides information of more dimensions than the conventional capacity-fade curve, beneficial to the diagnosis of degradation modes. The model has been implemented into PyBaMM and made available as open source codes.
△ Less
Submitted 22 August, 2022; v1 submitted 28 April, 2022;
originally announced April 2022.
-
A Continuum of Physics-Based Lithium-Ion Battery Models Reviewed
Authors:
Ferran Brosa Planella,
Weilong Ai,
Adam M. Boyce,
Abir Ghosh,
Ivan Korotkin,
Smita Sahu,
Valentin Sulzer,
Robert Timms,
Thomas G. Tranter,
Maxim Zyskin,
Samuel J. Cooper,
Jacqueline S. Edge,
Jamie M. Foster,
Monica Marinescu,
Billy Wu,
Giles Richardson
Abstract:
Physics-based electrochemical battery models derived from porous electrode theory are a very powerful tool for understanding lithium-ion batteries, as well as for improving their design and management. Different model fidelity, and thus model complexity, is needed for different applications. For example, in battery design we can afford longer computational times and the use of powerful computers,…
▽ More
Physics-based electrochemical battery models derived from porous electrode theory are a very powerful tool for understanding lithium-ion batteries, as well as for improving their design and management. Different model fidelity, and thus model complexity, is needed for different applications. For example, in battery design we can afford longer computational times and the use of powerful computers, while for real-time battery control (e.g. in electric vehicles) we need to perform very fast calculations using simple devices. For this reason, simplified models that retain most of the features at a lower computational cost are widely used. Even though in the literature we often find these simplified models posed independently, leading to inconsistencies between models, they can actually be derived from more complicated models using a unified and systematic framework. In this review, we showcase this reductive framework, starting from a high-fidelity microscale model and reducing it all the way down to the Single Particle Model (SPM), deriving in the process other common models, such as the Doyle-Fuller-Newman (DFN) model. We also provide a critical discussion on the advantages and shortcomings of each of the models, which can aid model selection for a particular application. Finally, we provide an overview of possible extensions to the models, with a special focus on thermal models. Any of these extensions could be incorporated into the microscale model and the reductive framework re-applied to lead to a new generation of simplified, multi-physics models.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Towards Rigorous Validation of Li-S Battery Models
Authors:
Michael Cornish,
Monica Marinescu
Abstract:
Achieving Li-S batteries' promise of significantly higher gravimetric energy density and lower cost than Li-ion batteries requires researchers to delineate the most important factors affecting the performance of this technology. By encoding this knowledge into a mathematical model, understanding is made precise, quantitative, and predictive. However, the complex and unknown mechanisms of Li-S batt…
▽ More
Achieving Li-S batteries' promise of significantly higher gravimetric energy density and lower cost than Li-ion batteries requires researchers to delineate the most important factors affecting the performance of this technology. By encoding this knowledge into a mathematical model, understanding is made precise, quantitative, and predictive. However, the complex and unknown mechanisms of Li-S batteries have multiple proposed models with relatively few informative quantitative comparisons to experimental data. Consequently, a minimum set of testing procedures for model validation is proposed. Moreover, in the absence of an accepted standard model, a zero dimensional model is proposed in this work. The model improves upon several existing models while remaining as simple as possible. The model is quantitatively predictive, as demonstrated by out-of-sample predictions of experimental discharge resistance. Finally, this model and others have been implemented using PyBaMM. Therefore, the open access code allows rapid modifications of this model by all researchers.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Lithium-ion battery degradation: how to model it
Authors:
Simon E. J. O'Kane,
Weilong Ai,
Ganesh Madabattula,
Diego Alonso Alvarez,
Robert Timms,
Valentin Sulzer,
Jacqueline Sophie Edge,
Billy Wu,
Gregory J. Offer,
Monica Marinescu
Abstract:
Predicting lithium-ion battery degradation is worth billions to the global automotive, aviation and energy storage industries, to improve performance and safety and reduce warranty liabilities. However, very few published models of battery degradation explicitly consider the interactions between more than two degradation mechanisms, and none do so within a single electrode. In this paper, the firs…
▽ More
Predicting lithium-ion battery degradation is worth billions to the global automotive, aviation and energy storage industries, to improve performance and safety and reduce warranty liabilities. However, very few published models of battery degradation explicitly consider the interactions between more than two degradation mechanisms, and none do so within a single electrode. In this paper, the first published attempt to directly couple more than two degradation mechanisms in the negative electrode is reported. The results are used to map different pathways through the complicated path dependent and non-linear degradation space. Four degradation mechanisms are coupled in PyBaMM, an open source modelling environment uniquely developed to allow new physics to be implemented and explored quickly and easily. Crucially it is possible to see 'inside' the model and observe the consequences of the different patterns of degradation, such as loss of lithium inventory and loss of active material. For the same cell, five different pathways that can result in end-of-life have already been found, depending on how the cell is used. Such information would enable a product designer to either extend life or predict life based upon the usage pattern. However, parameterization of the degradation models remains as a major challenge, and requires the attention of the international battery community.
△ Less
Submitted 4 February, 2022; v1 submitted 3 December, 2021;
originally announced December 2021.
-
Impedance response of ionic liquids in long slit pores
Authors:
Ruben J. Tomlin,
Tribeni Roy,
Toby L. Kirk,
Monica Marinescu,
Dirk Gillespie
Abstract:
We study the dynamics of ionic liquids in a thin slit pore geometry. Beginning with the classical and dynamic density functional theories for systems of charged hard spheres, an asymptotic procedure leads to a simplified model which incorporates both the accurate resolution of the ion layering (perpendicular to the slit pore wall) and the ion transport in the pore length. This reduced-order model…
▽ More
We study the dynamics of ionic liquids in a thin slit pore geometry. Beginning with the classical and dynamic density functional theories for systems of charged hard spheres, an asymptotic procedure leads to a simplified model which incorporates both the accurate resolution of the ion layering (perpendicular to the slit pore wall) and the ion transport in the pore length. This reduced-order model enables qualitative comparisons between different ionic liquids and electrode pore sizes at low numerical expense. We derive semi-analytical expressions for the impedance response of the reduced-order model involving numerically computable sensitivities, and obtain effective finite-space Warburg elements valid in the high and low frequency limits. Additionally, we perform time-dependent numerical simulations to recover the impedance response as a cross-validation step. We investigate the dependence of the impedance response on system parameters and the choice of density functional theory used. The inclusion of electrostatic effects beyond mean-field qualitatively changes the dependence of the characteristic response time on the pore width. We observe peaks in the response time as a function of pore width, with height and location depending on the potential difference imposed. We discuss how the calculated dynamic properties can be used together with equilibrium results to optimise ionic liquid supercapacitors for a given application.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
Ten Simple Rules for making a vocabulary FAIR
Authors:
Simon J D Cox,
Alejandra N Gonzalez-Beltran,
Barbara Magagna,
Maria-Cristina Marinescu
Abstract:
We present ten simple rules that support converting a legacy vocabulary -- a list of terms available in a print-based glossary or table not accessible using web standards -- into a FAIR vocabulary. Various pathways may be followed to publish the FAIR vocabulary, but we emphasise particularly the goal of providing a distinct IRI for each term or concept. A standard representation of the concept sho…
▽ More
We present ten simple rules that support converting a legacy vocabulary -- a list of terms available in a print-based glossary or table not accessible using web standards -- into a FAIR vocabulary. Various pathways may be followed to publish the FAIR vocabulary, but we emphasise particularly the goal of providing a distinct IRI for each term or concept. A standard representation of the concept should be returned when the individual IRI is de-referenced, using SKOS or OWL serialised in an RDF-based representation for machine-interchange, or in a web-page for human consumption. Guidelines for vocabulary and item metadata are provided, as well as development and maintenance considerations. By following these rules you can achieve the outcome of converting a legacy vocabulary into a standalone FAIR vocabulary, which can be used for unambiguous data annotation. In turn, this increases data interoperability and enables data integration.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
ProVe -- Self-supervised pipeline for automated product replacement and cold-starting based on neural language models
Authors:
Andrei Ionut Damian,
Laurentiu Piciu,
Cosmin Mihai Marinescu
Abstract:
In retail vertical industries, businesses are dealing with human limitation of quickly understanding and adapting to new purchasing behaviors. Moreover, retail businesses need to overcome the human limitation of properly managing a massive selection of products/brands/categories. These limitations lead to deficiencies from both commercial (e.g. loss of sales, decrease in customer satisfaction) and…
▽ More
In retail vertical industries, businesses are dealing with human limitation of quickly understanding and adapting to new purchasing behaviors. Moreover, retail businesses need to overcome the human limitation of properly managing a massive selection of products/brands/categories. These limitations lead to deficiencies from both commercial (e.g. loss of sales, decrease in customer satisfaction) and operational perspective (e.g. out-of-stock, over-stock). In this paper, we propose a pipeline approach based on Natural Language Understanding, for recommending the most suitable replacements for products that are out-of-stock. Moreover, we will propose a solution for managing products that were newly introduced in a retailer's portfolio with almost no transactional history. This solution will help businesses: automatically assign the new products to the right category; recommend complementary products for cross-sell from day 1; perform sales predictions even with almost no transactional history. Finally, the vector space model resulted by applying the pipeline presented in this paper is directly used as semantic information in deep learning-based demand forecasting solutions, leading to more accurate predictions. The whole research and experimentation process have been done using real-life private transactional data, however the source code is available on https://github.com/Lummetry/ProVe
△ Less
Submitted 12 January, 2021; v1 submitted 26 June, 2020;
originally announced June 2020.
-
A moduli scheme parametrizing blowups of smooth projective surfaces
Authors:
Monica Marinescu
Abstract:
We construct a moduli scheme $F[n]$ that parametrizes tuples $(S_1, S_2, \dots, S_{n+1}, p_1, p_2, \dots, p_n)$ in which $S_1$ is a fixed smooth surface over $\text{Spec } R$ and $S_{i+1}$ is the blowup of $S_i$ at a point $p_i$, $\forall 1\leq i\leq n$. We show that this moduli scheme is smooth and projective. We prove that $F[n]$ has smooth divisors $D_{i,j}^{(n)}$, $\forall 1\leq i<j\leq n$, wh…
▽ More
We construct a moduli scheme $F[n]$ that parametrizes tuples $(S_1, S_2, \dots, S_{n+1}, p_1, p_2, \dots, p_n)$ in which $S_1$ is a fixed smooth surface over $\text{Spec } R$ and $S_{i+1}$ is the blowup of $S_i$ at a point $p_i$, $\forall 1\leq i\leq n$. We show that this moduli scheme is smooth and projective. We prove that $F[n]$ has smooth divisors $D_{i,j}^{(n)}$, $\forall 1\leq i<j\leq n$, which correspond to tuples that map $p_j\mapsto p_i$ under the projection morphism $S_j\to S_i$. When $R=k$ is an algebraically closed field, we demonstrate that the Chow ring $\mathbb{A}^*(F[n])$ is generated by these divisors over $\mathbb{A}^*(S_1^n)$. We end by giving a precise description of $\mathbb{A}^*(F[n])$ when $S_1$ is a complex rational surface.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
Robust Neural Malware Detection Models for Emulation Sequence Learning
Authors:
Rakshit Agrawal,
Jack W. Stokes,
Mady Marinescu,
Karthik Selvaraj
Abstract:
Malicious software, or malware, presents a continuously evolving challenge in computer security. These embedded snippets of code in the form of malicious files or hidden within legitimate files cause a major risk to systems with their ability to run malicious command sequences. Malware authors even use polymorphism to reorder these commands and create several malicious variations. However, if exec…
▽ More
Malicious software, or malware, presents a continuously evolving challenge in computer security. These embedded snippets of code in the form of malicious files or hidden within legitimate files cause a major risk to systems with their ability to run malicious command sequences. Malware authors even use polymorphism to reorder these commands and create several malicious variations. However, if executed in a secure environment, one can perform early malware detection on emulated command sequences.
The models presented in this paper leverage this sequential data derived via emulation in order to perform Neural Malware Detection. These models target the core of the malicious operation by learning the presence and pattern of co-occurrence of malicious event actions from within these sequences. Our models can capture entire event sequences and be trained directly using the known target labels. These end-to-end learning models are powered by two commonly used structures - Long Short-Term Memory (LSTM) Networks and Convolutional Neural Networks (CNNs). Previously proposed sequential malware classification models process no more than 200 events. Attackers can evade detection by delaying any malicious activity beyond the beginning of the file. We present specialized models that can handle extremely long sequences while successfully performing malware detection in an efficient way. We present an implementation of the Convoluted Partitioning of Long Sequences approach in order to tackle this vulnerability and operate on long sequences. We present our results on a large dataset consisting of 634,249 file sequences, with extremely long file sequences.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
-
On the finiteness of loci of weighted plane curves in the moduli space
Authors:
Monica Marinescu
Abstract:
For every fixed genus $g\geq 1$, we consider all quadruples $Q=(w_0,w_1,w_2,d)\in\mathbb{Z}^4_{>0}$ with the property that any smooth degree-$d$ curve embedded in the weighted projective plane $\mathbb{P}^2(w_0,w_1,w_2)$ has genus $g$. We show there are infinitely many quadruples $Q$ satisfying this condition. For every such $Q$, we consider $Z_Q\subseteq M_g$ the locus in the moduli space of all…
▽ More
For every fixed genus $g\geq 1$, we consider all quadruples $Q=(w_0,w_1,w_2,d)\in\mathbb{Z}^4_{>0}$ with the property that any smooth degree-$d$ curve embedded in the weighted projective plane $\mathbb{P}^2(w_0,w_1,w_2)$ has genus $g$. We show there are infinitely many quadruples $Q$ satisfying this condition. For every such $Q$, we consider $Z_Q\subseteq M_g$ the locus in the moduli space of all smooth degree-$d$ curves embedded in $\mathbb{P}^2(w_0,w_1,w_2)$. We show that, as $Q$ varies over all these quadruples, there are only finitely many different loci $Z_Q\subseteq M_g$.
△ Less
Submitted 20 February, 2019; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Attack and Defense of Dynamic Analysis-Based, Adversarial Neural Malware Classification Models
Authors:
Jack W. Stokes,
De Wang,
Mady Marinescu,
Marc Marino,
Brian Bussone
Abstract:
Recently researchers have proposed using deep learning-based systems for malware detection. Unfortunately, all deep learning classification systems are vulnerable to adversarial attacks. Previous work has studied adversarial attacks against static analysis-based malware classifiers which only classify the content of the unknown file without execution. However, since the majority of malware is eith…
▽ More
Recently researchers have proposed using deep learning-based systems for malware detection. Unfortunately, all deep learning classification systems are vulnerable to adversarial attacks. Previous work has studied adversarial attacks against static analysis-based malware classifiers which only classify the content of the unknown file without execution. However, since the majority of malware is either packed or encrypted, malware classification based on static analysis often fails to detect these types of files. To overcome this limitation, anti-malware companies typically perform dynamic analysis by emulating each file in the anti-malware engine or performing in-depth scanning in a virtual machine. These strategies allow the analysis of the malware after unpacking or decryption. In this work, we study different strategies of crafting adversarial samples for dynamic analysis. These strategies operate on sparse, binary inputs in contrast to continuous inputs such as pixels in images. We then study the effects of two, previously proposed defensive mechanisms against crafted adversarial samples including the distillation and ensemble defenses. We also propose and evaluate the weight decay defense. Experiments show that with these three defensive strategies, the number of successfully crafted adversarial samples is reduced compared to a standard baseline system without any defenses. In particular, the ensemble defense is the most resilient to adversarial attacks. Importantly, none of the defenses significantly reduce the classification accuracy for detecting malware. Finally, we demonstrate that while adding additional hidden layers to neural models does not significantly improve the malware classification accuracy, it does significantly increase the classifier's robustness to adversarial attacks.
△ Less
Submitted 16 December, 2017;
originally announced December 2017.
-
Evaporative cooling of trapped fermionic atoms
Authors:
W. Geist,
A. Idrizbegovic,
M. Marinescu,
T. A. B. Kennedy,
L. You
Abstract:
We propose an efficient mechanism for the evaporative cooling of trapped fermions directly into quantum degeneracy. Our idea is based on an electric field induced elastic interaction between trapped atoms in spin symmetric states. We discuss some novel general features of fermionic evaporative cooling and present numerical studies demonstrating the feasibility for the cooling of alkali metal fer…
▽ More
We propose an efficient mechanism for the evaporative cooling of trapped fermions directly into quantum degeneracy. Our idea is based on an electric field induced elastic interaction between trapped atoms in spin symmetric states. We discuss some novel general features of fermionic evaporative cooling and present numerical studies demonstrating the feasibility for the cooling of alkali metal fermionic species $^6$Li, $^{40}$K, and $^{82,84,86}$Rb. We also discuss the sympathetic cooling of fermionic hyperfine spin mixtures, including the effects of anisotropic interactions.
△ Less
Submitted 15 July, 1999;
originally announced July 1999.
-
Prospects for p-wave paired BCS states of fermionic atoms
Authors:
L. You,
M. Marinescu
Abstract:
We present theoretical prospects for creating p-wave paired BCS states of magnetic trapped fermionic atoms. Based on our earlier proposal of using dc electric fields to control both the strength and anisotropic characteristic of atom-atom interaction and our recently completed multi-channel atomic collision calculations we discover that p-wave pairing with $^{40}$K and $^{82,84,86}$Rb in the low…
▽ More
We present theoretical prospects for creating p-wave paired BCS states of magnetic trapped fermionic atoms. Based on our earlier proposal of using dc electric fields to control both the strength and anisotropic characteristic of atom-atom interaction and our recently completed multi-channel atomic collision calculations we discover that p-wave pairing with $^{40}$K and $^{82,84,86}$Rb in the low field seeking maximum spin polarized state represent excellent choices for achieving superfluid BCS states; and may be realizable with current technology in laser cooling, magnetic trap**, and evaporative/sympathetic cooling, provided the required strong electric field can be applied. We also comment on the prospects of similar p-wave paired BCS states in $^{6}$Li, and more generally on creating other types exotic BCS states. Our study will open a new area in the vigorous pursuit to create a quantum degenerate fermionic atom vapor.
△ Less
Submitted 16 June, 1999;
originally announced June 1999.
-
Controlling atom-atom interaction at ultralow temperatures by dc electric fields
Authors:
M. Marinescu,
L. You
Abstract:
We propose a physical mechanism for tuning the atom-atom interaction strength at ultra-low temperatures. In the presence of a dc electric field the interatomic potential is changed due to the effective dipole-dipole interaction between the polarized atoms. Detailed multi-channel scattering calculations reveal features never before discussed for ultra-cold atomic collisions. We demonstrate that o…
▽ More
We propose a physical mechanism for tuning the atom-atom interaction strength at ultra-low temperatures. In the presence of a dc electric field the interatomic potential is changed due to the effective dipole-dipole interaction between the polarized atoms. Detailed multi-channel scattering calculations reveal features never before discussed for ultra-cold atomic collisions. We demonstrate that optimal control of the effective atom-atom interactions can be achieved under reasonable laboratory conditions. Implications of this research on the physics of atomic Bose-Einstein condensation (BEC) and on the pursuit for atomic degenerate fermion gases will be discussed.
△ Less
Submitted 14 October, 1998;
originally announced October 1998.
-
Retarded long-range potentials for the alkali-metal atoms and a perfectly conducting wall
Authors:
M. Marinescu,
A. Dalgarno,
J. F. Babb
Abstract:
The retarded long-range potentials for hydrogen and alkali-metal atoms in their ground states and a perfectly conducting wall are calculated. The potentials are given over a wide range of atom-wall distances and the validity of the approximations used is established.
The retarded long-range potentials for hydrogen and alkali-metal atoms in their ground states and a perfectly conducting wall are calculated. The potentials are given over a wide range of atom-wall distances and the validity of the approximations used is established.
△ Less
Submitted 4 November, 1996;
originally announced November 1996.