-
Experience and Prediction: A Metric of Hardness for a Novel Litmus Test
Authors:
Nicos Isaak,
Loizos Michael
Abstract:
In the last decade, the Winograd Schema Challenge (WSC) has become a central aspect of the research community as a novel litmus test. Consequently, the WSC has spurred research interest because it can be seen as the means to understand human behavior. In this regard, the development of new techniques has made possible the usage of Winograd schemas in various fields, such as the design of novel for…
▽ More
In the last decade, the Winograd Schema Challenge (WSC) has become a central aspect of the research community as a novel litmus test. Consequently, the WSC has spurred research interest because it can be seen as the means to understand human behavior. In this regard, the development of new techniques has made possible the usage of Winograd schemas in various fields, such as the design of novel forms of CAPTCHAs.
Work from the literature that established a baseline for human adult performance on the WSC has shown that not all schemas are the same, meaning that they could potentially be categorized according to their perceived hardness for humans. In this regard, this \textit{hardness-metric} could be used in future challenges or in the WSC CAPTCHA service to differentiate between Winograd schemas.
Recent work of ours has shown that this could be achieved via the design of an automated system that is able to output the hardness-indexes of Winograd schemas, albeit with limitations regarding the number of schemas it could be applied on. This paper adds to previous research by presenting a new system that is based on Machine Learning (ML), able to output the hardness of any Winograd schema faster and more accurately than any other previously used method. Our developed system, which works within two different approaches, namely the random forest and deep learning (LSTM-based), is ready to be used as an extension of any other system that aims to differentiate between Winograd schemas, according to their perceived hardness for humans. At the same time, along with our developed system we extend previous work by presenting the results of a large-scale experiment that shows how human performance varies across Winograd schemas.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Neural Sculpting: Uncovering hierarchically modular task structure in neural networks through pruning and network analysis
Authors:
Shreyas Malakarjun Patil,
Loizos Michael,
Constantine Dovrolis
Abstract:
Natural target functions and tasks typically exhibit hierarchical modularity -- they can be broken down into simpler sub-functions that are organized in a hierarchy. Such sub-functions have two important features: they have a distinct set of inputs (input-separability) and they are reused as inputs higher in the hierarchy (reusability). Previous studies have established that hierarchically modular…
▽ More
Natural target functions and tasks typically exhibit hierarchical modularity -- they can be broken down into simpler sub-functions that are organized in a hierarchy. Such sub-functions have two important features: they have a distinct set of inputs (input-separability) and they are reused as inputs higher in the hierarchy (reusability). Previous studies have established that hierarchically modular neural networks, which are inherently sparse, offer benefits such as learning efficiency, generalization, multi-task learning, and transfer. However, identifying the underlying sub-functions and their hierarchical structure for a given task can be challenging. The high-level question in this work is: if we learn a task using a sufficiently deep neural network, how can we uncover the underlying hierarchy of sub-functions in that task? As a starting point, we examine the domain of Boolean functions, where it is easier to determine whether a task is hierarchically modular. We propose an approach based on iterative unit and edge pruning (during training), combined with network analysis for module detection and hierarchy inference. Finally, we demonstrate that this method can uncover the hierarchical modularity of a wide range of Boolean functions and two vision tasks based on the MNIST digits dataset.
△ Less
Submitted 27 October, 2023; v1 submitted 28 May, 2023;
originally announced May 2023.
-
Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular Expressions
Authors:
Louis G. Michael IV,
James Donohue,
James C. Davis,
Dongyoon Lee,
Francisco Servant
Abstract:
Regular expressions (regexes) are a powerful mechanism for solving string-matching problems. They are supported by all modern programming languages, and have been estimated to appear in more than a third of Python and JavaScript projects. Yet existing studies have focused mostly on one aspect of regex programming: readability. We know little about how developers perceive and program regexes, nor t…
▽ More
Regular expressions (regexes) are a powerful mechanism for solving string-matching problems. They are supported by all modern programming languages, and have been estimated to appear in more than a third of Python and JavaScript projects. Yet existing studies have focused mostly on one aspect of regex programming: readability. We know little about how developers perceive and program regexes, nor the difficulties that they face.
In this paper, we provide the first study of the regex development cycle, with a focus on (1) how developers make decisions throughout the process, (2) what difficulties they face, and (3) how aware they are about serious risks involved in programming regexes. We took a mixed-methods approach, surveying 279 professional developers from a diversity of backgrounds (including top tech firms) for a high-level perspective, and interviewing 17 developers to learn the details about the difficulties that they face and the solutions that they prefer.
In brief, regexes are hard. Not only are they hard to read, our participants said that they are hard to search for, hard to validate, and hard to document. They are also hard to master: the majority of our studied developers were unaware of critical security risks that can occur when using regexes, and those who knew of the risks did not deal with them in effective manners. Our findings provide multiple implications for future work, including semantic regex search engines for regex reuse and improved input generators for regex validation.
△ Less
Submitted 4 March, 2023;
originally announced March 2023.
-
How Do Viewers Synthesize Conflicting Information from Data Visualizations?
Authors:
Prateek Mantri,
Hariharan Subramonyam,
Audrey L. Michal,
Cindy Xiong
Abstract:
Scientific knowledge develops through cumulative discoveries that build on, contradict, contextualize, or correct prior findings. Scientists and journalists often communicate these incremental findings to lay people through visualizations and text (e.g., the positive and negative effects of caffeine intake). Consequently, readers need to integrate diverse and contrasting evidence from multiple sou…
▽ More
Scientific knowledge develops through cumulative discoveries that build on, contradict, contextualize, or correct prior findings. Scientists and journalists often communicate these incremental findings to lay people through visualizations and text (e.g., the positive and negative effects of caffeine intake). Consequently, readers need to integrate diverse and contrasting evidence from multiple sources to form opinions or make decisions. However, the underlying mechanism for synthesizing information from multiple visualizations remains underexplored. To address this knowledge gap, we conducted a series of four experiments (N = 1166) in which participants synthesized empirical evidence from a pair of line charts presented sequentially. In Experiment 1, we administered a baseline condition with charts depicting no specific context where participants held no strong belief. To test for the generalizability, we introduced real-world scenarios to our visualizations in Experiment 2, and added accompanying text descriptions similar to on-line news articles or blog posts in Experiment 3. In all three experiments, we varied the relative direction and magnitude of line slopes within the chart pairs. We found that participants tended to weigh the positive slope more when the two charts depicted relationships in the opposite direction (e.g., one positive slope and one negative slope). Participants tended to weigh the less steep slope when the two charts depicted relationships in the same direction (e.g., both positive). Through these experiments, we characterize participants' synthesis behaviors depending on the relationship between the information they viewed, contribute to theories describing underlying cognitive mechanisms in information synthesis, and describe design implications for data storytelling.
△ Less
Submitted 7 August, 2022;
originally announced August 2022.
-
Computational Argumentation and Cognition
Authors:
Emmanuelle Dietz,
Antonis Kakas,
Loizos Michael
Abstract:
This paper examines the interdisciplinary research question of how to integrate Computational Argumentation, as studied in AI, with Cognition, as can be found in Cognitive Science, Linguistics, and Philosophy. It stems from the work of the 1st Workshop on Computational Argumentation and Cognition (COGNITAR), which was organized as part of the 24th European Conference on Artificial Intelligence (EC…
▽ More
This paper examines the interdisciplinary research question of how to integrate Computational Argumentation, as studied in AI, with Cognition, as can be found in Cognitive Science, Linguistics, and Philosophy. It stems from the work of the 1st Workshop on Computational Argumentation and Cognition (COGNITAR), which was organized as part of the 24th European Conference on Artificial Intelligence (ECAI), and took place virtually on September 8th, 2020. The paper begins with a brief presentation of the scientific motivation for the integration of Computational Argumentation and Cognition, arguing that within the context of Human-Centric AI the use of theory and methods from Computational Argumentation for the study of Cognition can be a promising avenue to pursue. A short summary of each of the workshop presentations is given showing the wide spectrum of problems where the synthesis of the theory and methods of Computational Argumentation with other approaches that study Cognition can be applied. The paper presents the main problems and challenges in the area that would need to be addressed, both at the scientific level but also at the epistemological level, particularly in relation to the synthesis of ideas and approaches from the various disciplines involved.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
Explainability and the Fourth AI Revolution
Authors:
Loizos Michael
Abstract:
This chapter discusses AI from the prism of an automated process for the organization of data, and exemplifies the role that explainability has to play in moving from the current generation of AI systems to the next one, where the role of humans is lifted from that of data annotators working for the AI systems to that of collaborators working with the AI systems.
This chapter discusses AI from the prism of an automated process for the organization of data, and exemplifies the role that explainability has to play in moving from the current generation of AI systems to the next one, where the role of humans is lifted from that of data annotators working for the AI systems to that of collaborators working with the AI systems.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
Reacting condensed phase explosives in direct contact
Authors:
Riccardo Demattè,
Louisa Michael,
Nikolaos Nikiforakis
Abstract:
In this article we present a new formulation and an associated algorithm for the simultaneous numerical simulation of multiple condensed phase explosives in direct contact with each other, which may also be confined by (or interacting with one or more) compliant inert materials. Examples include composite rate-stick problems and interaction of shock waves with chemically-active particles in conden…
▽ More
In this article we present a new formulation and an associated algorithm for the simultaneous numerical simulation of multiple condensed phase explosives in direct contact with each other, which may also be confined by (or interacting with one or more) compliant inert materials. Examples include composite rate-stick problems and interaction of shock waves with chemically-active particles in condensed-phase explosives. There are several formulations which address the compliant or structural response of confiners and particles due to detonations, but the direct interaction of explosives remains a challenge for most formulations and algorithms. The proposed formulation addresses this problem by extending the conservation laws and mixture rules of an existing hybrid formulation to model the interaction of multiple explosive mixtures. An algorithm for the solution of the resulting system of partial differential equations is presented, which includes a new robust method for the retrieval of the densities of the constituents of each explosive mixture. The algorithm is implemented in a hierarchical adaptive mesh refinement framework and validated against results from problems with known solutions. It is evaluated for robustness for rate-stick and shock-induced flows in particle-laden explosives case-studies. It is shown that the method can simulate the interaction of detonation waves produced by military grade and commercial explosives in direct contact, each with its own distinct equation of state and reaction rate law. The ability of the new model to simulate reactive particles which are explicitly resolved in a heterogeneous explosive is demonstrated by a case-study of a shock wave interacting with a high explosive bead embedded in liquid nitromethane.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Diversity by Design: Balancing Protection and Inclusion in Social Networks
Authors:
Paula Helm,
Loizos Michael,
Laura Schelenz
Abstract:
The unreflected promotion of diversity as a value in social interactions -- including technology-mediated ones -- risks emphasizing the benefits of inclusion at the cost of not recognizing the potential harm from failing to protect stigmatized or marginalized individuals. Adopting the stance that technology is not value-neutral, we attempt to answer the question of how technology-mediated social p…
▽ More
The unreflected promotion of diversity as a value in social interactions -- including technology-mediated ones -- risks emphasizing the benefits of inclusion at the cost of not recognizing the potential harm from failing to protect stigmatized or marginalized individuals. Adopting the stance that technology is not value-neutral, we attempt to answer the question of how technology-mediated social platforms could accommodate \emph{diversity by design}, by balancing the often competing values of protection and inclusion. This short paper presents our research agenda as well as initial analysis and outcomes. Building on approaches from scenario planning and the methodology of Value Sensitive Design, we identify ethical principles and arguments on how to curate diversity, which we seek to operationalize through formal argumentation.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
A unified multi-phase and multi-material formulation for combustion modelling
Authors:
Maria Nikodemou,
Louisa Michael,
Nikolaos Nikiforakis
Abstract:
The motivation of this work is to produce an integrated formulation for material response due to detonation wave loading. Here, we focus on elastoplastic structural response. In particular, we are interested to capture miscible and immiscible behaviour within condensed-phase explosives arising from the co-existence of a reactive carrier mixture of miscible materials, and several material interface…
▽ More
The motivation of this work is to produce an integrated formulation for material response due to detonation wave loading. Here, we focus on elastoplastic structural response. In particular, we are interested to capture miscible and immiscible behaviour within condensed-phase explosives arising from the co-existence of a reactive carrier mixture of miscible materials, and several material interfaces due to the presence of immiscible impurities such as particles or cavities. The dynamic and thermodynamic evolution of the explosive is communicated to one or more inert confiners through their shared interfaces, which may undergo severe topological change. We also wish to consider elastic and plastic structural response of the confiners, rather than make a hydrodynamic assumption for their behaviour. Previous work by these authors has met these requirements by means of the simultaneous solution of appropriate systems of equations for the behaviour of the condensed-phase explosive and the elastoplastic behaviour of the confiners. In the present work, we employ a single system of partial differential equations (PDEs) proposed by Peshkov and Romenski, which is able to account for different states of matter by means of generalising the concept of distortion tensors beyond solids. We amalgamate that formulation with a single system of PDEs which meets the requirement of co-existing miscible and immiscible explosive mixtures. We present the mathematical derivation and construct appropriate algorithms for its solution. The resulting model is validated against exact solutions for several use-cases, including mechanically- and thermally-induced, inviscid and viscous detonations. Results indicate that the model can accurately simulate a very broad range of problems involving the nonlinear interaction between reactive and inert materials within a single framework.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions
Authors:
James C. Davis,
Louis G. Michael IV,
Christy A. Coghlan,
Francisco Servant,
Dongyoon Lee
Abstract:
This paper explores the extent to which regular expressions (regexes) are portable across programming languages. Many languages offer similar regex syntaxes, and it would be natural to assume that regexes can be ported across language boundaries. But can regexes be copy/pasted across language boundaries while retaining their semantic and performance characteristics?
In our survey of 158 professi…
▽ More
This paper explores the extent to which regular expressions (regexes) are portable across programming languages. Many languages offer similar regex syntaxes, and it would be natural to assume that regexes can be ported across language boundaries. But can regexes be copy/pasted across language boundaries while retaining their semantic and performance characteristics?
In our survey of 158 professional software developers, most indicated that they re-use regexes across language boundaries and about half reported that they believe regexes are a universal language. We experimentally evaluated the riskiness of this practice using a novel regex corpus -- 537,806 regexes from 193,524 projects written in JavaScript, Java, PHP, Python, Ruby, Go, Perl, and Rust. Using our polyglot regex corpus, we explored the hitherto-unstudied regex portability problems: logic errors due to semantic differences, and security vulnerabilities due to performance differences.
We report that developers' belief in a regex lingua franca is understandable but unfounded. Though most regexes compile across language boundaries, 15% exhibit semantic differences across languages and 10% exhibit performance differences across languages. We explained these differences using regex documentation, and further illuminate our findings by investigating regex engine implementations. Along the way we found bugs in the regex engines of JavaScript-V8, Python, Ruby, and Rust, and potential semantic and performance regex bugs in thousands of modules.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Abduction and Argumentation for Explainable Machine Learning: A Position Survey
Authors:
Antonis Kakas,
Loizos Michael
Abstract:
This paper presents Abduction and Argumentation as two principled forms for reasoning, and fleshes out the fundamental role that they can play within Machine Learning. It reviews the state-of-the-art work over the past few decades on the link of these two reasoning forms with machine learning work, and from this it elaborates on how the explanation-generating role of Abduction and Argumentation ma…
▽ More
This paper presents Abduction and Argumentation as two principled forms for reasoning, and fleshes out the fundamental role that they can play within Machine Learning. It reviews the state-of-the-art work over the past few decades on the link of these two reasoning forms with machine learning work, and from this it elaborates on how the explanation-generating role of Abduction and Argumentation makes them naturally-fitting mechanisms for the development of Explainable Machine Learning and AI systems. Abduction contributes towards this goal by facilitating learning through the transformation, preparation, and homogenization of data. Argumentation, as a conservative extension of classical deductive reasoning, offers a flexible prediction and coverage mechanism for learning -- an associated target language for learned knowledge -- that explicitly acknowledges the need to deal, in the context of learning, with uncertain, incomplete and inconsistent data that are incompatible with any classically-represented logical theory.
△ Less
Submitted 24 October, 2020;
originally announced October 2020.
-
Neural-Symbolic Integration: A Compositional Perspective
Authors:
Efthymia Tsamoura,
Loizos Michael
Abstract:
Despite significant progress in the development of neural-symbolic frameworks, the question of how to integrate a neural and a symbolic system in a \emph{compositional} manner remains open. Our work seeks to fill this gap by treating these two systems as black boxes to be integrated as modules into a single architecture, without making assumptions on their internal structure and semantics. Instead…
▽ More
Despite significant progress in the development of neural-symbolic frameworks, the question of how to integrate a neural and a symbolic system in a \emph{compositional} manner remains open. Our work seeks to fill this gap by treating these two systems as black boxes to be integrated as modules into a single architecture, without making assumptions on their internal structure and semantics. Instead, we expect only that each module exposes certain methods for accessing the functions that the module implements: the symbolic module exposes a deduction method for computing the function's output on a given input, and an abduction method for computing the function's inputs for a given output; the neural module exposes a deduction method for computing the function's output on a given input, and an induction method for updating the function given input-output training instances. We are, then, able to show that a symbolic module -- with any choice for syntax and semantics, as long as the deduction and abduction methods are exposed -- can be cleanly integrated with a neural module, and facilitate the latter's efficient training, achieving empirical performance that exceeds that of previous work.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
Effect of spatial distribution of mesoscale heterogeneities on the shock-to-detonation transition in liquid nitromethane
Authors:
XiaoCheng Mi,
Louisa Michael,
Nikolaos Nikiforakis,
Andrew J. Higgins
Abstract:
The sensitizing effect of cavities in the form of microbubbles on the shock initiation of a homogeneous liquid explosive is studied computationally. While the presence of voids in an explosive has long been known to induce so-called hot spots that greatly accelerate the global reaction rate, the ability to computationally resolve the details of the interaction of the shock front with heterogeneiti…
▽ More
The sensitizing effect of cavities in the form of microbubbles on the shock initiation of a homogeneous liquid explosive is studied computationally. While the presence of voids in an explosive has long been known to induce so-called hot spots that greatly accelerate the global reaction rate, the ability to computationally resolve the details of the interaction of the shock front with heterogeneities existing on the scale of the detonation reaction zone has only recently become feasible. In this study, the influence of the spatial distribution of air-filled cavities has been examined, enabled by the use of graphic processing unit (GPU) accelerated computations that can resolve shock initiation and detonation propagation through an explosive while fully resolving features at the mesoscale. Different spatial distributions of cavities are examined in two-dimensional simulations, including regular arrays of cavities, slightly perturbed arrays, random arrays (with varying minimum spacing being imposed on the cavities), and randomly distributed clusters of cavities. The presence of the cavities is able to reduce the time required to initiate detonation---for a given input shock strength---by greater than 50%, in agreement with previous experimental results. Randomly distributing the cavities results in a 15-20% decrease in detonation initiation time in comparison to a regular array of cavities. Clustering the cavities---as would occur in the case of agglomeration---results in an additional 10% decrease in detonation initiation time in comparison to random arrays. The effect of clustering is shown not to be a result of the clusters forming an effectively larger cavity, but rather due to interactions between clusters upon shock loading occurring on the microscale.
△ Less
Submitted 20 August, 2020;
originally announced August 2020.
-
Contestable Black Boxes
Authors:
Andrea Aler Tubella,
Andreas Theodorou,
Virginia Dignum,
Loizos Michael
Abstract:
The right to contest a decision with consequences on individuals or the society is a well-established democratic right. Despite this right also being explicitly included in GDPR in reference to automated decision-making, its study seems to have received much less attention in the AI literature compared, for example, to the right for explanation. This paper investigates the type of assurances that…
▽ More
The right to contest a decision with consequences on individuals or the society is a well-established democratic right. Despite this right also being explicitly included in GDPR in reference to automated decision-making, its study seems to have received much less attention in the AI literature compared, for example, to the right for explanation. This paper investigates the type of assurances that are needed in the contesting process when algorithmic black-boxes are involved, opening new questions about the interplay of contestability and explainability. We argue that specialised complementary methodologies to evaluate automated decision-making in the case of a particular decision being contested need to be developed. Further, we propose a combination of well-established software engineering and rule-based approaches as a possible socio-technical solution to the issue of contestability, one of the new democratic challenges posed by the automation of decision making.
△ Less
Submitted 30 June, 2020; v1 submitted 9 June, 2020;
originally announced June 2020.
-
On modifications of fundamental radiative processes in near-zero-index media of various dimensions
Authors:
Lobet Michaël,
Iñigo Liberal,
Erik N. Knall,
M. Zahirul Alam,
Orad Reshef,
Robert W. Boyd,
Nader Engheta,
Eric Mazur
Abstract:
Spontaneous emission, stimulated emission and absorption are the three fundamental radiative processes describing light-matter interactions. Here, we theoretically study the behaviour of these fundamental processes inside an unbounded medium exhibiting a vanishingly small refractive index, i.e., a near-zero-index (NZI) host medium. We present a generalized framework to study these processes and fi…
▽ More
Spontaneous emission, stimulated emission and absorption are the three fundamental radiative processes describing light-matter interactions. Here, we theoretically study the behaviour of these fundamental processes inside an unbounded medium exhibiting a vanishingly small refractive index, i.e., a near-zero-index (NZI) host medium. We present a generalized framework to study these processes and find that the spatial dimension of the NZI medium has profound effects on the nature of the fundamental radiative processes. Our formalism highlights the role of the number of available optical modes as well as the ability of an emitter to couple to these modes as a function of the dimension and the class of NZI media. We demonstrate that the fundamental radiative processes are inhibited in 3D homogeneous lossless zero index materials but may be strongly enhanced in a zero index medium of reduced dimensionality. Our findings have implications in thermal, nonlinear and quantum optics as well as in designing quantum metamaterials at optical or microwave frequencies.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
A multi-physics methodology for four-states of matter
Authors:
Louisa Michael,
Stephen T. Millmore,
Nikolaos Nikiforakis
Abstract:
We propose a numerical methodology for the simultaneous numerical simulation of four states of matter; gas, liquid, elastoplastic solids and plasma. The distinct, interacting physical processes are described by a combination of compressible, inert and reactive forms of the Euler equations, multiphase equations, elastoplastic equations and resistive MHD equations. Combinations of systems of equatio…
▽ More
We propose a numerical methodology for the simultaneous numerical simulation of four states of matter; gas, liquid, elastoplastic solids and plasma. The distinct, interacting physical processes are described by a combination of compressible, inert and reactive forms of the Euler equations, multiphase equations, elastoplastic equations and resistive MHD equations. Combinations of systems of equations are usually solved by coupling finite element for solid modelling and CFD models for fluid modelling or including material effects through boundary conditions rather than full material discretisation. Our simultaneous solution methodology lies on the recasting of all the equations in the same, hyperbolic form allowing their solution on the same grid with the same finite-volume numerical schemes. We use a combination of sharp and diffuse interface methods to track or capture material interfaces, depending on the application. The communication between the distinct systems of equations (i.e., materials separated by sharp interfaces) is facilitated by means of mixed-material Riemann solvers at the boundaries of the systems, which represent physical material boundaries. To this end we derive approximate mixed Riemann solvers for each pair of the above models based on characteristic equations. To demonstrate the applicability of the new methodology we consider a case study where we investigate the possibility of ignition of a combustible gas that lies over a liquid in a metal container that is struck by a plasma-arc akin to a lightning strike. We study the effect on the ignition of the metal container material and conductivity, of the presence of a dielectric coating, of insensitive combustible gases and sealed and pre-damaged metal surfaces.
△ Less
Submitted 16 May, 2019;
originally announced May 2019.
-
Meso-resolved simulations of shock-to-detonation transition in nitromethane with air-filled cavities
Authors:
XiaoCheng Mi,
Louisa Michael,
Eleftherios Ioannou,
Nikolaos Nikiforakis,
Andrew J. Higgins,
Hoi Dick Ng
Abstract:
Two-dimensional, meso-resolved numerical simulations are performed to investigate the complete shock-to-detonation transition (SDT) process in a mixture of liquid nitromethane (NM) and air-filled, circular cavities. The shock-induced initiation behaviors resulting from the cases with neat NM, NM with an array of regularly spaced cavities, and NM with randomly distributed cavities are examined. For…
▽ More
Two-dimensional, meso-resolved numerical simulations are performed to investigate the complete shock-to-detonation transition (SDT) process in a mixture of liquid nitromethane (NM) and air-filled, circular cavities. The shock-induced initiation behaviors resulting from the cases with neat NM, NM with an array of regularly spaced cavities, and NM with randomly distributed cavities are examined. For the case with randomly distributed cavities, hundreds of cavities are explicitly resolved in the simulations using a diffuse-interface approach to treat two immiscible fluids and GPU-enabled parallel computing. Without invoking any empirically calibrated, phenomenological models, the reaction rate in the simulations is governed by Arrhenius kinetics. For the cases with neat NM, the resulting SDT process features a superdetonation that evolves from a thermal explosion after a delay following the passage of the incident shock wave and eventually catches up with the leading shock front. For the cases wherein mesoscale heterogeneities are explicitly considered, a gradual SDT process is captured. These two distinct initiation behaviors for neat NM and heterogeneous NM mixtures agree with experimental findings. Via examining the global reaction rate of the mixture, a unique time scale characterizing the SDT process, i.e., the overtake time, is measured for each simulation. For an input shock pressure less than approximately $9.4~\mathrm{GPa}$, the overtake time resulting from a heterogeneous mixture is shorter than that for neat NM. This sensitizing effect is more pronounced for lower input shock pressures. A random distribution of cavities is found to be more effective in enhancing the SDT process than a regular array of cavities. Statistical analysis on the meso-resolved simulation data provides more insights into the mechanism of energy release underlying the SDT process.
△ Less
Submitted 15 May, 2019; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Web-STAR: A Visual Web-Based IDE for a Story Comprehension System
Authors:
Christos Rodosthenous,
Loizos Michael
Abstract:
We present Web-STAR, an online platform for story understanding built on top of the STAR reasoning engine for STory comprehension through ARgumentation. The platform includes a web-based IDE, integration with the STAR system, and a web service infrastructure to support integration with other systems that rely on story understanding functionality to complete their tasks. The platform also delivers…
▽ More
We present Web-STAR, an online platform for story understanding built on top of the STAR reasoning engine for STory comprehension through ARgumentation. The platform includes a web-based IDE, integration with the STAR system, and a web service infrastructure to support integration with other systems that rely on story understanding functionality to complete their tasks. The platform also delivers a number of "social" features, including a community repository for public story sharing with a built-in commenting system, and tools for collaborative story editing that can be used for team development projects and for educational purposes.
△ Less
Submitted 28 July, 2018;
originally announced August 2018.
-
Detonation propagation in annular arcs of condensed phase explosives
Authors:
Eleftherios Ioannou,
Stefan Schoch,
Nikolaos Nikiforakis,
Louisa Michael
Abstract:
We present a numerical study of detonation propagation in unconfined explosive charges shaped as an annular arc (rib). Steady detonation in a straight charge propagates at constant speed but when it enters an annular section, it goes through a transition phase and eventually reaches a new steady state of constant angular velocity. This study examines the speed of the detonation wave along the annu…
▽ More
We present a numerical study of detonation propagation in unconfined explosive charges shaped as an annular arc (rib). Steady detonation in a straight charge propagates at constant speed but when it enters an annular section, it goes through a transition phase and eventually reaches a new steady state of constant angular velocity. This study examines the speed of the detonation wave along the annular charge during the transition phase and at steady state, as well as its dependence on the dimensions of the annulus. The system is modeled using a recently proposed diffuse-interface formulation which allows for the representation of a two-phase explosive and of an additional inert material. The explosive considered is the polymer-bonded TATB-based LX-17 and is modeled using two JWL equations of state and the Ignition and Growth reaction rate law. Results show that steady state speeds are in good agreement with experiment. In the transition phase, the evolution of outer detonation speed deviates from the exponential bounded growth function suggested by previous studies. We propose a new description of the transition phase which consists of two regimes. The first is caused by local effects at the outer edge of the annulus and leads to a dependence of outer detonation speed on angular position along the arc. The second regime is induced by effects originating from the inner edge of the annular charge and leads to the deceleration of the outer detonation until steady state is reached. The study concludes with a parametric study where the dependence of the steady state and the transition phase on the dimensions of the annulus is investigated.
△ Less
Submitted 20 November, 2017; v1 submitted 20 October, 2017;
originally announced October 2017.
-
A complete equation of state for non-ideal condensed phase explosives
Authors:
Simon David Wilkinson,
Martin Braithwaite,
Nikolaos Nikiforakis,
Louisa Michael
Abstract:
The objective of this work is to improve the robustness and accuracy of numerical simulations of both ideal and non-ideal explosives by introducing temperature dependence in mechanical equations of state for reactants and products. To this end, we modify existing mechanical equations of state to appropriately approximate the temperature in the reaction zone. Mechanical equations of state of Mie-Gr…
▽ More
The objective of this work is to improve the robustness and accuracy of numerical simulations of both ideal and non-ideal explosives by introducing temperature dependence in mechanical equations of state for reactants and products. To this end, we modify existing mechanical equations of state to appropriately approximate the temperature in the reaction zone. Mechanical equations of state of Mie-Grüneisen form are developed with extensions, which allow the temperature to be evaluated appropriately, and the temperature equilibrium condition to be applied robustly. Furthermore the snow plow model is used to capture the effect of porosity on the reactants equation of state. We apply the methodology to predict the velocity of compliantly confined detonation waves. Once reaction rates are calibrated for unconfined detonation velocities, simulations of confined rate sticks and slabs are performed, and the experimental detonation velocities are matched without further parameter alteration, demonstrating the predictive capability of our simulations. We apply the same methodology to both ideal (PBX9502, a high explosive with principal ingredient TATB) and non-ideal (EM120D, an ANE or ammonium nitrate based emulsion) explosives.
△ Less
Submitted 15 December, 2017; v1 submitted 10 October, 2017;
originally announced October 2017.
-
The evolution of the temperature field during cavity collapse in liquid nitromethane. Part II: Reactive case
Authors:
Louisa Michael,
Nikolaos Nikiforakis
Abstract:
We study effect of cavity collapse in non-ideal explosives as a means of controlling their sensitivity. The main aim is to understand the origin of localised temperature peaks (hot spots) that play a leading order role at early ignition stages. Thus, we perform 2D and 3D numerical simulations of shock induced single gas-cavity collapse in nitromethane. Ignition is the result of a complex interplay…
▽ More
We study effect of cavity collapse in non-ideal explosives as a means of controlling their sensitivity. The main aim is to understand the origin of localised temperature peaks (hot spots) that play a leading order role at early ignition stages. Thus, we perform 2D and 3D numerical simulations of shock induced single gas-cavity collapse in nitromethane. Ignition is the result of a complex interplay between fluid dynamics and exothermic chemical reaction. In part I of this work we focused on the hydrodynamic effects in the collapse process by switching off the reaction terms in the mathematical model. Here, we reinstate the reactive terms and study the collapse of the cavity in the presence of chemical reactions. We use a multi-phase formulation which overcomes current challenges of cavity collapse modelling in reactive media to obtain oscillation-free temperature fields across material interfaces to allow the use of a temperature-based reaction rate law. The mathematical and physical models are validated against experimental and analytic data. We identify which of the previously-determined (in part I of this work) high-temperature regions lead to ignition and comment on their reactive strength and reaction growth rate. We quantify the sensitisation of nitromethane by the collapse of the cavity by comparing ignition times of neat and single-cavity material; the ignition occurs in less than half the ignition time of the neat material. We compare 2D and 3D simulations to examine the change in topology, temperature and reactive strength of the hot spots by the third dimension. It is apparent that belated ignition times can be avoided by the use of 3D simulations. The effect of the chemical reactions on the topology and strength of the hot spots in the timescales considered is studied by comparing inert and reactive simulations and examine maximum temperature fields and their growth rates.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
The evolution of the temperature field during cavity collapse in liquid nitromethane. Part I: Inert case
Authors:
Louisa Michael,
Nikolaos Nikiforakis
Abstract:
We study the effect of cavity collapse in non-ideal explosives as a means of controlling their sensitivity. The aim is to understand the origin of localised temperature peaks (hot spots) which play a key role at the early stages of ignition. Thus we perform 2D and 3D numerical simulations of shock induced gas-cavity collapse in nitromethane. Ignition is the result of a complex interplay between fl…
▽ More
We study the effect of cavity collapse in non-ideal explosives as a means of controlling their sensitivity. The aim is to understand the origin of localised temperature peaks (hot spots) which play a key role at the early stages of ignition. Thus we perform 2D and 3D numerical simulations of shock induced gas-cavity collapse in nitromethane. Ignition is the result of a complex interplay between fluid dynamics and exothermic chemical reaction. To understand the relative contribution between these two processes we consider in this first part of the work the evolution of the physical system in the absence of chemical reactions. We employ a multi-phase mathematical formulation which accounts for the large density difference across the gas-liquid interface without generating spurious temperature peaks. The mathematical and physical models are validated against experimental, analytic and numerical data. Previous studies identified the impact of the upwind side of the cavity wall to the downwind one as the main reason for the generation of a hot-spot outside of the cavity; this is also observed in this work. However, it is apparent that the topology of the temperature field is more complex than previously thought and additional hot spots locations exist, arising from the generation of Mach stems rather than jet impact. To explain the generation mechanisms and topology of the hot spots we follow the complex wave patterns generated and identify the temperature elevation or reduction generated by each wave. This allows to track each hot spot back to its origins. We show that the highest hot spot temperatures can be more than twice the post-incident shock temperature of the neat material and can thus lead to ignition. By comparing the maximum temperature observed in the domain in 2D and 3D simulations we show that 3D calculations are necessary to avoid belated ignition times in reactive scenarios.
△ Less
Submitted 6 October, 2017;
originally announced October 2017.
-
A multi-physics methodology for the simulation of the two-way interaction of reactive flow and elastoplastic structural response
Authors:
Louisa Michael,
Nikolaos Nikiforakis
Abstract:
We propose a numerical methodology for the numerical simulation of distinct, interacting physical processes described by a combination of compressible, inert and reactive forms of the Euler equations, multiphase equations and elastoplastic equations. These systems of equations are usually solved by coupling finite element and CFD models. Here we solve them simultaneously, by recasting all the equa…
▽ More
We propose a numerical methodology for the numerical simulation of distinct, interacting physical processes described by a combination of compressible, inert and reactive forms of the Euler equations, multiphase equations and elastoplastic equations. These systems of equations are usually solved by coupling finite element and CFD models. Here we solve them simultaneously, by recasting all the equations in the same, hyperbolic form and solving them on the same grid with the same finite-volume numerical schemes. The proposed compressible, multiphase, hydrodynamic formulation can employ a hierarchy of five reactive and non-reactive flow models, which allows simple to more involved applications to be directly described by the appropriate selection. The communication between the hydrodynamic and elastoplastic systems is facilitated by means of mixed-material Riemann solvers at the boundaries of the systems, which represent physical material boundaries. To this end we derive approximate mixed Riemann solvers for each pair of the above models based on characteristic equations. The components for reactive flow and elastoplastic solid modelling are validated separately before presenting validation for the full, coupled systems. Multi-dimensional use cases demonstrate the suitability of the reactive flow-solid interaction methodology in the context of impact-driven initiation of reactive flow and structural response due to violent reaction in automotive (e.g. car crash) or defence (e.g. explosive reactive armour) applications. Several types of explosives (C4, Deetasheet, nitromethane, gaseous fuel) in gaseous, liquid and solid state are considered.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
Web-STAR: Towards a Visual Web-Based IDE for a Story Comprehension System
Authors:
Christos Rodosthenous,
Loizos Michael
Abstract:
In this work, we present Web-STAR, an online platform for story understanding built on top of the STAR (STory comprehension through ARgumentation) reasoning engine. This platform includes a web-based IDE, integration with the STAR system and a web service infrastructure to support integration with other systems that rely on story understanding functionality to complete their tasks. The platform al…
▽ More
In this work, we present Web-STAR, an online platform for story understanding built on top of the STAR (STory comprehension through ARgumentation) reasoning engine. This platform includes a web-based IDE, integration with the STAR system and a web service infrastructure to support integration with other systems that rely on story understanding functionality to complete their tasks. The platform also delivers a number of "social" features like public story sharing with a built-in commenting system, a public repository for sharing stories with the community and collaboration tools that can be used from both project team members for development and educators for teaching. Moreover, we discuss the ongoing work on adding new features and functionality to this platform.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Non-Monotonic Reasoning and Story Comprehension
Authors:
Irene-Anna Diakidoy,
Antonis Kakas,
Loizos Michael,
Rob Miller
Abstract:
This paper develops a Reasoning about Actions and Change framework integrated with Default Reasoning, suitable as a Knowledge Representation and Reasoning framework for Story Comprehension. The proposed framework, which is guided strongly by existing knowhow from the Psychology of Reading and Comprehension, is based on the theory of argumentation from AI. It uses argumentation to capture appropria…
▽ More
This paper develops a Reasoning about Actions and Change framework integrated with Default Reasoning, suitable as a Knowledge Representation and Reasoning framework for Story Comprehension. The proposed framework, which is guided strongly by existing knowhow from the Psychology of Reading and Comprehension, is based on the theory of argumentation from AI. It uses argumentation to capture appropriate solutions to the frame, ramification and qualification problems and generalizations of these problems required for text comprehension. In this first part of the study the work concentrates on the central problem of integration (or elaboration) of the explicit information from the narrative in the text with the implicit (in the readers mind) common sense world knowledge pertaining to the topic(s) of the story given in the text. We also report on our empirical efforts to gather background common sense world knowledge used by humans when reading a story and to evaluate, through a prototype system, the ability of our approach to capture both the majority and the variability of understanding of a story by the human readers in the experiments.
△ Less
Submitted 14 July, 2014;
originally announced July 2014.
-
Modeling Complex Domains of Actions and Change
Authors:
Antonis Kakas,
Loizos Michael
Abstract:
This paper studies the problem of modeling complex domains of actions and change within high-level action description languages. We investigate two main issues of concern: (a) can we represent complex domains that capture together different problems such as ramifications, non-determinism and concurrency of actions, at a high-level, close to the given natural ontology of the problem domain and (b…
▽ More
This paper studies the problem of modeling complex domains of actions and change within high-level action description languages. We investigate two main issues of concern: (a) can we represent complex domains that capture together different problems such as ramifications, non-determinism and concurrency of actions, at a high-level, close to the given natural ontology of the problem domain and (b) what features of such a representation can affect, and how, its computational behaviour. The paper describes the main problems faced in this representation task and presents the results of an empirical study, carried out through a series of controlled experiments, to analyze the computational performance of reasoning in these representations. The experiments compare different representations obtained, for example, by changing the basic ontology of the domain or by varying the degree of use of indirect effect laws through domain constraints. This study has helped to expose the main sources of computational difficulty in the reasoning and suggest some methodological guidelines for representing complex domains. Although our work has been carried out within one particular high-level description language, we believe that the results, especially those that relate to the problems of representation, are independent of the specific modeling language.
△ Less
Submitted 13 July, 2002;
originally announced July 2002.