-
Fire and Smoke Digital Twin -- A computational framework for modeling fire incident outcomes
Authors:
Junfeng Jiao,
Ryan Hardesty Lewis,
Kijin Seong,
Arya Farahi,
Paul Navratil,
Nate Casebeer,
Dev Niyogi
Abstract:
Fires and burning are the chief causes of particulate matter (PM2.5), a key measurement of air quality in communities and cities worldwide. This work develops a live fire tracking platform to show active reported fires from over twenty cities in the U.S., as well as predict their smoke paths and impacts on the air quality of regions within their range. Specifically, our close to real-time tracking…
▽ More
Fires and burning are the chief causes of particulate matter (PM2.5), a key measurement of air quality in communities and cities worldwide. This work develops a live fire tracking platform to show active reported fires from over twenty cities in the U.S., as well as predict their smoke paths and impacts on the air quality of regions within their range. Specifically, our close to real-time tracking and predictions culminates in a digital twin to protect public health and inform the public of fire and air quality risk. This tool tracks fire incidents in real-time, utilizes the 3D building footprints of Austin to simulate smoke outputs, and predicts fire incident smoke falloffs within the complex city environment. Results from this study include a complete fire and smoke digital twin model for Austin. We work in cooperation with the City of Austin Fire Department to ensure the accuracy of our forecast and also show that air quality sensor density within our cities cannot validate urban fire presence. We additionally release code and methodology to replicate these results for any city in the world. This work paves the path for similar digital twin models to be developed and deployed to better protect the health and safety of citizens.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
ComputeGPT: A computational chat model for numerical problems
Authors:
Ryan Hardesty Lewis,
Junfeng Jiao
Abstract:
Language models are not accurate in numerical problems. Their architecture does not allow for anything less than a probabilistic next word. This paper introduces ComputeGPT: an approach of creating a chat model able to answer computational problems through running on-demand code. ComputeGPT converts each question to relevant code, runs the code, and returns the computed answer as part of the chat.…
▽ More
Language models are not accurate in numerical problems. Their architecture does not allow for anything less than a probabilistic next word. This paper introduces ComputeGPT: an approach of creating a chat model able to answer computational problems through running on-demand code. ComputeGPT converts each question to relevant code, runs the code, and returns the computed answer as part of the chat. We combine this approach with a local browser-based Python interpretation and fine-tuned prompts in order to achieve state-of-the-art efficiency on numerical problems and provide a suitable front-end and safe environment for the code to be executed in.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
On the Equilibria and Bifurcations of a Rotating Double Pendulum
Authors:
Jonathan Tot,
Robert H. Lewis
Abstract:
The double pendulum, a simple system of classical mechanics, is widely studied as an example of, and testbed for, chaotic dynamics. In 2016, Maiti et al. studied a generalization of the simple double pendulum with equal point-masses at equal lengths, to a rotating double pendulum, fixed to a coordinate system uniformly rotating about the vertical. In this paper, we study a considerable generalizat…
▽ More
The double pendulum, a simple system of classical mechanics, is widely studied as an example of, and testbed for, chaotic dynamics. In 2016, Maiti et al. studied a generalization of the simple double pendulum with equal point-masses at equal lengths, to a rotating double pendulum, fixed to a coordinate system uniformly rotating about the vertical. In this paper, we study a considerable generalization of the double pendulum, constructed from physical pendula, and ask what equilibrium configurations exist for the system across a comparatively large parameter space, as well as what bifurcations occur in those equilibria. Elimination algorithms are employed to reduce systems of polynomial equations, which allows for equilibria to be visualized, and also to demonstrate which models within the parameter space exhibit bifurcation. We find the DixonEDF algorithm for the Dixon resultant, written in the computer algebra system (CAS) Fermat, to be capable to complete the computation for the challenging system of equations that represents bifurcation, while attempts with other algorithms were terminated after several hours.
△ Less
Submitted 7 May, 2022; v1 submitted 24 April, 2022;
originally announced April 2022.
-
Flexibility of Bricards planar linkages and other structures via resultants and computer algebra
Authors:
Robert H. Lewis,
Evangelos A. Coutsias
Abstract:
Flexibility of structures is extremely important for chemistry and robotics. Following our earlier work, we study flexibility using polynomial equations, resultants, and a symbolic algorithm of our creation that analyzes the resultant. We show that the software solves a classic arrangement of quadrilaterals in the plane due to Bricard. We fill in several gaps in Bricard's work and discover new fle…
▽ More
Flexibility of structures is extremely important for chemistry and robotics. Following our earlier work, we study flexibility using polynomial equations, resultants, and a symbolic algorithm of our creation that analyzes the resultant. We show that the software solves a classic arrangement of quadrilaterals in the plane due to Bricard. We fill in several gaps in Bricard's work and discover new flexible arrangements that he was apparently unaware of. This provides strong evidence for the maturity of the software, and is a wonderful example of mathematical discovery via computer assisted experiment.
△ Less
Submitted 26 August, 2014;
originally announced August 2014.
-
Multicore Homology via Mayer Vietoris
Authors:
Ryan H. Lewis,
Afra Zomorodian
Abstract:
In this work we investigate the parallel computation of homology using the Mayer-Vietoris principle. We present a two stage approach for parallelizing persistence. In the first stage, we produce a cover of the input cell complex by overlapping subspaces. In the second stage, we use this cover to build the Mayer-Vietoris blowup complex, a topological space, which organizes the various subspaces nee…
▽ More
In this work we investigate the parallel computation of homology using the Mayer-Vietoris principle. We present a two stage approach for parallelizing persistence. In the first stage, we produce a cover of the input cell complex by overlapping subspaces. In the second stage, we use this cover to build the Mayer-Vietoris blowup complex, a topological space, which organizes the various subspaces needed for employing the Mayer-Vietoris principle. Next, we compute the homology of each subspace in the blowup complex in parallel and then glue these results together in serial. We show how to use the persistence algorithm to organize these computations. In the first stage, any algorithm can be used to produce a cover of the input complex. We describe an algorithm for producing a cover of a space with a simple structure and bounded overlap based on graph partitions. Additionally, we present a simplistic model for the problem of finding covers appropriate for parallel algorithms and show that finding such covers is NP-Hard. Finally, we present a second parallel homology algorithm. This algorithm avoids the explicit construction of the blowup complex saving space. We implement our algorithms for multicore computers, and compare them against each other as well as existing serial and parallel algorithms with a suite of experiments. We achieve roughly 8x speedup of the homology computations on a 10-dimensional complex with about 46 million simplices using 11 cores.
△ Less
Submitted 8 July, 2014;
originally announced July 2014.
-
Yet Another Graph Partitioning Problem is NP-Hard
Authors:
Ryan H. Lewis
Abstract:
Recently a large number of graph separator problems have been proven to be \textsc{NP-Hard}. Amazingly we have found that $α$-Subgraph-Balanced-Vertex-Separator, an important variant, has been overlooked. In this work ``Yet Another Graph Partitioning Problem is NP-Hard" we present the surprising result that $α$-Subgraph-Balanced-Vertex-Separator is $NP$-Hard. This is despite the fact that the cons…
▽ More
Recently a large number of graph separator problems have been proven to be \textsc{NP-Hard}. Amazingly we have found that $α$-Subgraph-Balanced-Vertex-Separator, an important variant, has been overlooked. In this work ``Yet Another Graph Partitioning Problem is NP-Hard" we present the surprising result that $α$-Subgraph-Balanced-Vertex-Separator is $NP$-Hard. This is despite the fact that the constraints of our new problem are harder to satisfy than the original problem.
△ Less
Submitted 21 March, 2014;
originally announced March 2014.