-
Design of an Intake and a Thruster for an Atmosphere-Breathing Electric Propulsion System
Authors:
F. Romano,
G. Herdrich,
Y. -A. Chan,
N. H. Crisp,
P. C. E. Roberts,
B. E. A. Holmes,
S. Edmondson,
S. Haigh,
A. Macario-Rojas,
V. T. A. Oiko,
L. A. Sinpetru K. Smith,
J. Becedas,
V. Sulliotti-Linner,
M. Bisgaard,
S. Christensen,
V. Hanessian,
T. Kauffman Jensen,
J. Nielsen,
S. Fasoulas,
C. Traub,
D. García-Almiñana,
S. Rodríguez-Donaire,
M. Sureda,
D. Kataria,
B. Belkouchi
, et al. (3 additional authors not shown)
Abstract:
Challenging space missions include those at very low altitudes, where the atmosphere is source of aerodynamic drag on the spacecraft that finally defines the missions lifetime unless way to compensate for it is provided. This environment is named Very Low Earth Orbit (VLEO) and is defined for $h<450~km$. In addition to the satellite's aerodynamic design, to extend the lifetime of such missions an…
▽ More
Challenging space missions include those at very low altitudes, where the atmosphere is source of aerodynamic drag on the spacecraft that finally defines the missions lifetime unless way to compensate for it is provided. This environment is named Very Low Earth Orbit (VLEO) and is defined for $h<450~km$. In addition to the satellite's aerodynamic design, to extend the lifetime of such missions an efficient propulsion system is required.
One solution is Atmosphere-Breathing Electric Propulsion (ABEP) that collects atmospheric particles to be used as propellant for an electric thruster. The system would minimize the requirement of limited propellant availability and can also be applied to any planetary body with atmosphere, enabling new missions at low altitude ranges for longer times. One of the objectives of the H2020 DISCOVERER project, is the development of an intake and an electrode-less plasma thruster for an ABEP system.
The article describes the characteristics of intake design and the respective final deigns providing collection efficiencies up to $94\%$. On the other side, the radio frequency (RF) Helicon-based plasma thruster (IPT) developed at IRS, is hereby presented as well, while its performances are being evaluated, the thruster has been operated with single atmospheric species as propellant, and has highlighted very low input power requirement for operation at comparable mass flow rates $P\sim 60~W$.
△ Less
Submitted 23 November, 2022; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Optimal Sensor Placement in Power Grids: Power Domination, Set Covering, and the Neighborhoods of Zero Forcing Forts
Authors:
Logan A. Smith,
Illya V. Hicks
Abstract:
To monitor electrical activity throughout the power grid and mitigate outages, sensors known as phasor measurement units can installed. Due to implementation costs, it is desirable to minimize the number of sensors deployed while ensuring that the grid can be effectively monitored. This optimization problem motivates the graph theoretic power dominating set problem. In this paper, we propose a nov…
▽ More
To monitor electrical activity throughout the power grid and mitigate outages, sensors known as phasor measurement units can installed. Due to implementation costs, it is desirable to minimize the number of sensors deployed while ensuring that the grid can be effectively monitored. This optimization problem motivates the graph theoretic power dominating set problem. In this paper, we propose a novel integer program for identifying minimum power dominating sets by formulating a set cover problem. This problem's constraints correspond to neighborhoods of zero forcing forts; we study their structural properties and show they can be separated, allowing the proposed model to be solved via row generation. The proposed and existing methods are compared in several computational experiments in which the proposed method consistently exhibits an order of magnitude improvement in runtime performance.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
An integer program and new lower bounds for computing the strong rainbow connection numbers of graphs
Authors:
Logan A. Smith,
David T. Mildebrath,
Illya V. Hicks
Abstract:
We present an integer programming model to compute the strong rainbow connection number, $src(G)$, of any simple graph $G$. We introduce several enhancements to the proposed model, including a fast heuristic, and a variable elimination scheme. Moreover, we present a novel lower bound for $src(G)$ which may be of independent research interest. We solve the integer program both directly and using an…
▽ More
We present an integer programming model to compute the strong rainbow connection number, $src(G)$, of any simple graph $G$. We introduce several enhancements to the proposed model, including a fast heuristic, and a variable elimination scheme. Moreover, we present a novel lower bound for $src(G)$ which may be of independent research interest. We solve the integer program both directly and using an alternative method based on iterative lower bound improvement, the latter of which we show to be highly effective in practice. To our knowledge, these are the first computational methods for the strong rainbow connection problem. We demonstrate the efficacy of our methods by computing the strong rainbow connection numbers of graphs containing up to $379$ vertices.
△ Less
Submitted 8 February, 2021; v1 submitted 4 June, 2020;
originally announced June 2020.
-
A Polynomial Time Algorithm for Computing the Strong Rainbow Connection Numbers of Odd Cacti
Authors:
Logan A. Smith,
David T. Mildebrath,
Illya V. Hicks
Abstract:
We consider the problem of computing the strong rainbow connection number $src(G)$ for cactus graphs $G$ in which all cycles have odd length. We present a formula to calculate $src(G)$ for such odd cacti which can be evaluated in linear time, as well as an algorithm for computing the corresponding optimal strong rainbow edge coloring, with polynomial worst case run time complexity. Although comput…
▽ More
We consider the problem of computing the strong rainbow connection number $src(G)$ for cactus graphs $G$ in which all cycles have odd length. We present a formula to calculate $src(G)$ for such odd cacti which can be evaluated in linear time, as well as an algorithm for computing the corresponding optimal strong rainbow edge coloring, with polynomial worst case run time complexity. Although computing $src(G)$ is NP-hard in general, previous work has demonstrated that it may be computed in polynomial time for certain classes of graphs, including cycles, trees and block clique graphs. This work extends the class of graphs for which $src(G)$ may be computed in polynomial time.
△ Less
Submitted 26 December, 2019;
originally announced December 2019.
-
Shadowing the rotating annulus. Part II: Gradient descent in the perfect model scenario
Authors:
Roland M. B. Young,
Roman Binter,
Falk Niehörster,
Peter L. Read,
Leonard A. Smith
Abstract:
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermal…
▽ More
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermally-driven rotating annulus, a laboratory experiment intermediate in model complexity and physical idealisation between analytical systems and global, comprehensive atmospheric models. We work in the perfect model scenario using the MORALS model to generate a sequence of noisy observations in a chaotic flow regime. We demonstrate that the gradient descent technique recovers a pseudo-orbit of model states significantly closer to a model trajectory than the initial sequence. Gradient-free descent is used, where the adjoint model is set to $λ$I in the absence of a full adjoint model. The indeterminism of the pseudo-orbit falls by two orders of magnitude during the descent, but we find that the distance between the pseudo-orbit and the initial, true, model trajectory reaches a minimum and then diverges from truth. We attribute this to the use of the $λ$-adjoint, which is well suited to noise reduction but not to finely-tuned convergence towards a model trajectory. We find that $λ=0.25$ gives optimal results, and that candidate model trajectories begun from this pseudo-orbit shadow the observations for up to 80 s, about the length of the longest timescale of the system, and similar to expected shadowing times based on the distance between the pseudo-orbit and the truth. There is great potential for using this method with real laboratory data.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
On the Design and use of Ensembles of Multi-model Simulations for Forecasting
Authors:
Sarah Higgins,
Hailiang Du,
Leonard A. Smith
Abstract:
Probability forecasting is common in the geosciences, the finance sector, and elsewhere. It is sometimes the case that one has multiple probability-forecasts for the same target. How is the information in these multiple forecast systems best "combined"? Assuming stationary, then in the limit of a very large forecast-outcome archive, each model-based probability density function can be weighted to…
▽ More
Probability forecasting is common in the geosciences, the finance sector, and elsewhere. It is sometimes the case that one has multiple probability-forecasts for the same target. How is the information in these multiple forecast systems best "combined"? Assuming stationary, then in the limit of a very large forecast-outcome archive, each model-based probability density function can be weighted to form a "multi-model forecast" which will, in expectation, provide the most information. In the case that one of the forecast systems yields a probability distribution which reflects the distribution from which the outcome will be drawn, then Bayesian Model Averaging will identify this model as the number of forecast-outcome pairs goes to infinity. In many applications, like those of seasonal forecasting, data are precious: the archive is often limited to fewer than $2^6$ entries. And no perfect model is in hand. In this case, it is shown that forming a single "multi-model probability forecast" can be expected to prove misleading. These issues are investigated using probability forecasts of a simple mathematical system, which allows most limiting behaviours to be quantified.
△ Less
Submitted 1 March, 2016;
originally announced March 2016.
-
Multi-model Cross Pollination in Time
Authors:
Hailiang Du,
Leonard A. Smith
Abstract:
Predictive skill of complex models is often not uniform in model-state space; in weather forecasting models, for example, the skill of the model can be greater in populated regions of interest than in "remote" regions of the globe. Given a collection of models, a multi-model forecast system using the cross pollination in time approach can be generalised to take advantage of instances where some mo…
▽ More
Predictive skill of complex models is often not uniform in model-state space; in weather forecasting models, for example, the skill of the model can be greater in populated regions of interest than in "remote" regions of the globe. Given a collection of models, a multi-model forecast system using the cross pollination in time approach can be generalised to take advantage of instances where some models produce systematically more accurate forecast of some components of the model-state. This generalisation is stated and then successfully demonstrated in a moderate ~40 dimensional nonlinear dynamical system suggested by Lorenz. In this demonstration four imperfect models, each with similar global forecast skill, are used. Future applications in weather forecasting and in economic forecasting are discussed. The demonstration establishes that cross pollinating forecast trajectories to enrich the collection of simulations upon which the forecast is built can yield a new forecast system with significantly more skills than the original multi-model forecast system.
△ Less
Submitted 7 January, 2016;
originally announced January 2016.
-
Rising Above Chaotic Likelihoods
Authors:
Hailiang Du,
Leonard A. Smith
Abstract:
Berliner (Likelihood and Bayesian prediction for chaotic systems, J. Am. Stat. Assoc. 1991) identified a number of difficulties in using the likelihood function within the Bayesian paradigm which arise both for state estimation and for parameter estimation of chaotic systems. Even when the equations of the system are given, he demonstrated "chaotic likelihood functions" both of initial conditions…
▽ More
Berliner (Likelihood and Bayesian prediction for chaotic systems, J. Am. Stat. Assoc. 1991) identified a number of difficulties in using the likelihood function within the Bayesian paradigm which arise both for state estimation and for parameter estimation of chaotic systems. Even when the equations of the system are given, he demonstrated "chaotic likelihood functions" both of initial conditions and of parameter values in the Logistic Map. Chaotic likelihood functions, while ultimately smooth, have such complicated small scale structure as to cast doubt on the possibility of identifying high likelihood states in practice. In this paper, the challenge of chaotic likelihoods is overcome by embedding the observations in a higher dimensional sequence-space; this allows good state estimation with finite computational power. An importance sampling approach is introduced, where Pseudo-orbit Data Assimilation is employed in the sequence-space, first to identify relevant pseudo-orbits and then relevant trajectories. Estimates are identified with likelihoods orders of magnitude higher than those previously identified in the examples given by Berliner. Pseudo-orbit Data Assimilation importance sampler exploits the information both from the model dynamics and from the observations. While sampling from the relevant prior (here, the natural measure) will, of course, eventually yield an accountable sample, given the realistic computational resource this traditional approach would provide no high likelihood points at all. While one of the challenges Berliner posed is overcome, his central conclusion is supported. "Chaotic likelihood functions" for parameter estimation still pose a challenge; this fact helps clarify why physical scientists maintain a strong distinction between the initial condition uncertainty and parameter uncertainty.
△ Less
Submitted 28 December, 2016; v1 submitted 6 October, 2014;
originally announced October 2014.
-
Parameter Estimation Through Ignorance
Authors:
Hailiang Du,
Leonard A. Smith
Abstract:
Dynamical modelling lies at the heart of our understanding of physical systems. Its role in science is deeper than mere operational forecasting, in that it allows us to evaluate the adequacy of the mathematical structure of our models. Despite the importance of model parameters, there is no general method of parameter estimation outside linear systems. A new relatively simple method of parameter e…
▽ More
Dynamical modelling lies at the heart of our understanding of physical systems. Its role in science is deeper than mere operational forecasting, in that it allows us to evaluate the adequacy of the mathematical structure of our models. Despite the importance of model parameters, there is no general method of parameter estimation outside linear systems. A new relatively simple method of parameter estimation for nonlinear systems is presented, based on variations in the accuracy of probability forecasts. It is illustrated on the Logistic Map, the Henon Map and the 12-D Lorenz96 flow, and its ability to outperform linear least squares in these systems is explored at various noise levels and sampling rates. As expected, it is more effective when the forecast error distributions are non-Gaussian. The new method selects parameter values by minimizing a proper, local skill score for continuous probability forecasts as a function of the parameter values. This new approach is easier to implement in practice than alternative nonlinear methods based on the geometry of attractors or the ability of the model to shadow the observations. New direct measures of inadequacy in the model, the "Implied Ignorance" and the information deficit are introduced.
△ Less
Submitted 6 June, 2012;
originally announced June 2012.
-
Predicting Failures of Point Forecasts
Authors:
S. Hallerberg,
J. Bröcker,
H. Kantz,
L. A. Smith
Abstract:
The predictability of errors in deterministic temperature forecasts is investigated. More precisely, the aim is to issue warnings whenever the differences between forecast and verification exceed a given threshold. The warnings are generated by analyzing the output of an ensemble forecast system in terms of a decision making approach. The quality of the resulting predictions is evaluated by comput…
▽ More
The predictability of errors in deterministic temperature forecasts is investigated. More precisely, the aim is to issue warnings whenever the differences between forecast and verification exceed a given threshold. The warnings are generated by analyzing the output of an ensemble forecast system in terms of a decision making approach. The quality of the resulting predictions is evaluated by computing receiver operating characteristics, the Brier score, and the Ignorance score. Special emphasis is also given to the question whether rare events are better predictable.
△ Less
Submitted 7 December, 2011;
originally announced December 2011.
-
Consistent nonlinear dynamics: identifying model inadequacy
Authors:
Patrick E. McSharry,
Leonard A. Smith
Abstract:
Empirical modelling often aims for the simplest model consistent with the data. A new technique is presented which quantifies the consistency of the model dynamics as a function of location in state space. As is well-known, traditional statistics of nonlinear models like root-mean-square (RMS) forecast error can prove misleading. Testing consistency is shown to overcome some of the deficiencies…
▽ More
Empirical modelling often aims for the simplest model consistent with the data. A new technique is presented which quantifies the consistency of the model dynamics as a function of location in state space. As is well-known, traditional statistics of nonlinear models like root-mean-square (RMS) forecast error can prove misleading. Testing consistency is shown to overcome some of the deficiencies of RMS error, both within the perfect model scenario and when applied to data from several physical systems using previously published models. In particular, testing for consistent nonlinear dynamics provides insight towards (i) identifying when a delay reconstruction fails to be an embedding, (ii) allowing state dependent model selection and (iii) optimising local neighbourhood size. It also provides a more relevant (state dependent) threshold for identifying false nearest neighbours.
△ Less
Submitted 9 March, 2004; v1 submitted 18 January, 2004;
originally announced January 2004.
-
Better Nonlinear Models from Noisy Data: Attractors with Maximum Likelihood
Authors:
Patrick E. McSharry,
Leonard A. Smith
Abstract:
A new approach to nonlinear modelling is presented which, by incorporating the global behaviour of the model, lifts shortcomings of both least squares and total least squares parameter estimates. Although ubiquitous in practice, a least squares approach is fundamentally flawed in that it assumes independent, normally distributed (IND) forecast errors: nonlinear models will not yield IND errors e…
▽ More
A new approach to nonlinear modelling is presented which, by incorporating the global behaviour of the model, lifts shortcomings of both least squares and total least squares parameter estimates. Although ubiquitous in practice, a least squares approach is fundamentally flawed in that it assumes independent, normally distributed (IND) forecast errors: nonlinear models will not yield IND errors even if the noise is IND. A new cost function is obtained via the maximum likelihood principle; superior results are illustrated both for small data sets and infinitely long data streams.
△ Less
Submitted 30 November, 1999;
originally announced December 1999.