-
Control and sorting of eccentric all-dielectric core-shell nanoparticles using two counter-propagating plane waves
Authors:
Ricardo Martin Abraham-Ekeroth,
Marcelo Fabian Lester
Abstract:
Many typical nanoscale structures consist of dielectric nanoparticles with an inevitable oxide-generated coating around them. Depending on the fabrication techniques, these coatings may not be homogeneous, and their distortion can cause problems in the applications of such systems. Based on finite element simulations, inhomogeneous core-shell nanoparticle systems are numerically studied when illum…
▽ More
Many typical nanoscale structures consist of dielectric nanoparticles with an inevitable oxide-generated coating around them. Depending on the fabrication techniques, these coatings may not be homogeneous, and their distortion can cause problems in the applications of such systems. Based on finite element simulations, inhomogeneous core-shell nanoparticle systems are numerically studied when illuminated with two counter-propagating plane waves in the optical range. It is found that the electromagnetic field distortions caused by the inhomogeneous system under Mie resonance conditions allow the system to exhibit controllable one-directional impulsion and rotation, which mainly depends on the offset between the core and shell. The overall geometry and composition of the system also dictate the type of resonance being excited. Overall, this "photonic thruster" effect consisting of an accelerating and spinning projectile would provide stability to particle movement and additionally establish a method to distinguish inhomogeneous from homogeneous particles. The method can be scaled to a wide range of nanoscale dielectric particles. Thus, the results are useful for detecting defects in nanosystems with a simple concept and may open avenues for improving nanoparticle synthesis methods.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Which algorithm to select in sports timetabling?
Authors:
David Van Bulck,
Dries Goossens,
Jan-Patrick Clarner,
Angelos Dimitsas,
George H. G. Fonseca,
Carlos Lamas-Fernandez,
Martin Mariusz Lester,
Jaap Pedersen,
Antony E. Phillips,
Roberto Maria Rosati
Abstract:
Any sports competition needs a timetable, specifying when and where teams meet each other. The recent International Timetabling Competition (ITC2021) on sports timetabling showed that, although it is possible to develop general algorithms, the performance of each algorithm varies considerably over the problem instances. This paper provides an instance space analysis for sports timetabling, resulti…
▽ More
Any sports competition needs a timetable, specifying when and where teams meet each other. The recent International Timetabling Competition (ITC2021) on sports timetabling showed that, although it is possible to develop general algorithms, the performance of each algorithm varies considerably over the problem instances. This paper provides an instance space analysis for sports timetabling, resulting in powerful insights into the strengths and weaknesses of eight state-of-the-art algorithms. Based on machine learning techniques, we propose an algorithm selection system that predicts which algorithm is likely to perform best when given the characteristics of a sports timetabling problem instance. Furthermore, we identify which characteristics are important in making that prediction, providing insights in the performance of the algorithms, and suggestions to further improve them. Finally, we assess the empirical hardness of the instances. Our results are based on large computational experiments involving about 50 years of CPU time on more than 500 newly generated problem instances.
△ Less
Submitted 5 July, 2024; v1 submitted 4 September, 2023;
originally announced September 2023.
-
Observation of solar radio burst events from Mars orbit with the Shallow Radar instrument
Authors:
Christopher Gerekos,
Gregor Steinbrügge,
Immanuel Jebaraj,
Andreas Casillas,
Elena Donini,
Beatriz Sánchez-Cano,
Mark Lester,
Jasmina Magdalenić,
Sean Peters,
Andrew Romero-Wolf,
Donald Blankenship
Abstract:
Multispacecraft and multiwavelength observations of solar eruptions such as flares and coronal mass ejections are essential to understand the complex processes behind these events. The study of solar burst events in the radio-frequency spectrum has relied almost exclusively on data from ground-based observations and a few dedicated heliophysics missions such as STEREO or Wind. Reanalysing existing…
▽ More
Multispacecraft and multiwavelength observations of solar eruptions such as flares and coronal mass ejections are essential to understand the complex processes behind these events. The study of solar burst events in the radio-frequency spectrum has relied almost exclusively on data from ground-based observations and a few dedicated heliophysics missions such as STEREO or Wind. Reanalysing existing data from the Mars Reconnaissance Orbiter (MRO) Shallow Radar (SHARAD) instrument, a Martian planetary radar sounder, we have discovered the instrument was also capable of detecting solar radio bursts, and was able to do so with unprecedented resolution for a space-based solar instrument. In this study we aim at demonstrating the reliability and value of SHARAD as a new solar radio-observatory. We characterised the sensitivity of the instrument to type-III solar radio bursts through a statistical analysis of correlated observations, using STEREO and Wind as references. Using 38 correlated detections, we establish the conditions under which SHARAD can observe solar bursts in terms of acquisition geometry. As an example of scientific application, we also present the first analysis of type-III characteristic times at high resolution beyond 1 AU. A simple logistic model based purely on geometrical acquisition parameters can predict burst show vs. no-show in SHARAD data with an accuracy of 79.2%, demonstrating the reliability of the instrument for detecting solar bursts and laying the foundation for using SHARAD as a solar radio-observatory. The extremely high resolution of the instrument, both in temporal and frequency directions, its bandwidth, and its position in the solar system enable SHARAD to make significant contributions to heliophysics; it could inform on plasma processes on the site of the burst generation and along the propagation path of associated fast electron beams.
△ Less
Submitted 21 December, 2023; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Radar observations of Draconid outbursts]{Radar observations of Draconid outbursts}
Authors:
M. D. Campbell-Brown,
G. Stober,
C. Jacobi,
J. Kero,
A. Kozlovsky,
M. Lester
Abstract:
The Draconid meteor shower shows strong bursts of activity at irregular intervals, with nearly no activity in intervening years. Five outbursts of the Draconid meteor shower were observed with specular meteor radars in Canada and Europe between 1999 and 2018. The outbursts generally lasted between 6 and 8 hours, and most were not fully visible at a single geographical site, emphasizing the need fo…
▽ More
The Draconid meteor shower shows strong bursts of activity at irregular intervals, with nearly no activity in intervening years. Five outbursts of the Draconid meteor shower were observed with specular meteor radars in Canada and Europe between 1999 and 2018. The outbursts generally lasted between 6 and 8 hours, and most were not fully visible at a single geographical site, emphasizing the need for observations at multiple longitudes for short-duration shower outbursts. There is at least a factor of two difference in the peak flux as measured on different radars; the initial trail radius effect is undercorrected for Draconid meteors, which are known to be fragile.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
A Recurrent Neural Network Approach to Roll Estimation for Needle Steering
Authors:
Maxwell Emerson,
James M. Ferguson,
Tayfun Efe Ertop,
Margaret Rox,
Josephine Granna,
Michael Lester,
Fabien Maldonado,
Erin A. Gillaspie,
Ron Alterovitz,
Robert J. Webster III.,
Alan Kuntz
Abstract:
Steerable needles are a promising technology for delivering targeted therapies in the body in a minimally-invasive fashion, as they can curve around anatomical obstacles and hone in on anatomical targets. In order to accurately steer them, controllers must have full knowledge of the needle tip's orientation. However, current sensors either do not provide full orientation information or interfere w…
▽ More
Steerable needles are a promising technology for delivering targeted therapies in the body in a minimally-invasive fashion, as they can curve around anatomical obstacles and hone in on anatomical targets. In order to accurately steer them, controllers must have full knowledge of the needle tip's orientation. However, current sensors either do not provide full orientation information or interfere with the needle's ability to deliver therapy. Further, torsional dynamics can vary and depend on many parameters making steerable needles difficult to accurately model, limiting the effectiveness of traditional observer methods. To overcome these limitations, we propose a model-free, learned-method that leverages LSTM neural networks to estimate the needle tip's orientation online. We validate our method by integrating it into a sliding-mode controller and steering the needle to targets in gelatin and ex vivo ovine brain tissue. We compare our method's performance against an Extended Kalman Filter, a model-based observer, achieving significantly lower targeting errors.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking
Authors:
Martin Mariusz Lester
Abstract:
We present a case study on using program verification tools, specifically model-checkers for C programs, to solve simple interactive fiction games from around 1980. Off-the-shelf model-checking tools are unable to handle the games in their original form. In order to work around this, we apply a series of program transformations that do not change the behaviour of the program. An interesting aspect…
▽ More
We present a case study on using program verification tools, specifically model-checkers for C programs, to solve simple interactive fiction games from around 1980. Off-the-shelf model-checking tools are unable to handle the games in their original form. In order to work around this, we apply a series of program transformations that do not change the behaviour of the program. An interesting aspect of these games is that they use a simple, interpreted language to script in-game events. This turns out to be the most difficult part of the program for verification tools to handle; we tackle this using partial evaluation. Our case study thus provides some insights that are applicable more generally to verification and analysis of programs that interpret scripting languages.
To the best of our knowledge, this is the first example of a commercially released game being solved by application of a program model-checker to the game's code.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
What can a 1980s BASIC programming textbook teach us today?
Authors:
Martin Lester
Abstract:
Elementary Basic, published in 1982, is an introductory programming text with a novel central conceit, namely that the fictional 19th century detective Sherlock Holmes used a computer to help solve mysteries. It is also novel among similar books of its time for its focus on program design. In other regards, such as its use of the language BASIC, it is representative of its time.
Over 35 years af…
▽ More
Elementary Basic, published in 1982, is an introductory programming text with a novel central conceit, namely that the fictional 19th century detective Sherlock Holmes used a computer to help solve mysteries. It is also novel among similar books of its time for its focus on program design. In other regards, such as its use of the language BASIC, it is representative of its time.
Over 35 years after it was written, I think it is worth looking back at it to see to what is still relevant today and what would be done differently. We may even learn something about teaching programming today. Of particular interest is the degree to which the use of BASIC influenced the content of the book.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
Analysis of MiniJava Programs via Translation to ML
Authors:
Martin Mariusz Lester
Abstract:
MiniJava is a subset of the object-oriented programming language Java. Standard ML is the canonical representative of the ML family of functional programming languages, which includes F# and OCaml. Different program analysis and verification tools and techniques have been developed for both Java-like and ML-like languages. Naturally, the tools developed for a particular language emphasise accurate…
▽ More
MiniJava is a subset of the object-oriented programming language Java. Standard ML is the canonical representative of the ML family of functional programming languages, which includes F# and OCaml. Different program analysis and verification tools and techniques have been developed for both Java-like and ML-like languages. Naturally, the tools developed for a particular language emphasise accurate treatment of language features commonly used in that language. In Java, this means objects with mutable properties and dynamic method dispatch. In ML, this means higher order functions and algebraic datatypes with pattern matching.
We propose to translate programs from one language into the other and use the target language's tools for analysis and verification. By doing so, we hope to identify areas for improvement in the target language's tools and suggest techniques, perhaps as used in the source language's tools, that may guide their improvement. More generally, we hope to develop tools for reasoning about programs that are more resilient to changes in the style of code and representation of data. We begin our programme by outlining a translation from MiniJava to ML that uses only the core features of ML; in particular, it avoids the use of ML's mutable references.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
Verifying Liveness Properties of ML Programs
Authors:
M. M. Lester,
R. P. Neatherway,
C. -H. L. Ong,
S. J. Ramsay
Abstract:
Higher-order recursion schemes are a higher-order analogue of Boolean Programs; they form a natural class of abstractions for functional programs. We present a new, efficient algorithm for checking CTL properties of the trees generated by higher-order recursion schemes, which is an extension of Kobayashi's intersection type-based model checking technique. We show that an implementation of this alg…
▽ More
Higher-order recursion schemes are a higher-order analogue of Boolean Programs; they form a natural class of abstractions for functional programs. We present a new, efficient algorithm for checking CTL properties of the trees generated by higher-order recursion schemes, which is an extension of Kobayashi's intersection type-based model checking technique. We show that an implementation of this algorithm, THORS, performs well on a number of small examples and we demonstrate how it can be used to verify liveness properties of OCaml programs. Example properties include statements such as "all opened sockets are eventually closed" and "the lock is held until the file is closed".
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic
Authors:
Martin Lester
Abstract:
Recent work on combinatory logic demonstrates a compositional translation from lambda calculus that gives meaning to open terms. As the meaning of open terms is a key difficulty in the study of metaprogramming, we investigate whether this idea can be extended to metaprogramming systems with hygienic and unhygienic substitution, specifically $λ_{e}^{\rightarrow \Box}$ and $λ_{\mathcal{S}}$. We conc…
▽ More
Recent work on combinatory logic demonstrates a compositional translation from lambda calculus that gives meaning to open terms. As the meaning of open terms is a key difficulty in the study of metaprogramming, we investigate whether this idea can be extended to metaprogramming systems with hygienic and unhygienic substitution, specifically $λ_{e}^{\rightarrow \Box}$ and $λ_{\mathcal{S}}$. We conclude that there is quantitative evidence to support the claim that metaprogramming with unhygienic substitution is more powerful than metaprogramming with hygienic substitution.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Mars' plasma system. Scientific potential of coordinated multi-point missions: "The next generation" (A White Paper submitted to ESA's Voyage 2050 Call)
Authors:
Beatriz Sánchez-Cano,
Mark Lester,
David J. Andrews,
Hermann Opgenoorth,
Robert Lillis,
François Leblanc,
Christopher M. Fowler,
Xiaohua Fang,
Oleg Vaisberg,
Majd Mayyasi,
Mika Holmberg,
**gnan Guo,
Maria Hamrin,
Christian Mazelle,
Kerstin Peter,
Martin Pätzold,
Katerina Stergiopoulou,
Charlotte Goetz,
Vladimir Nikolaevich Ermakov,
Sergei Shuvalov,
James Wild,
Pierre-Louis Blelly,
Michael Mendillo,
Cesar Bertucci,
Marco Cartacci
, et al. (5 additional authors not shown)
Abstract:
The objective of this White Paper submitted to ESA's Voyage 2050 call is to get a more holistic knowledge of the dynamics of the Martian plasma system from its surface up to the undisturbed solar wind outside of the induced magnetosphere. This can only be achieved with coordinated multi-point observations with high temporal resolution as they have the scientific potential to track the whole dynami…
▽ More
The objective of this White Paper submitted to ESA's Voyage 2050 call is to get a more holistic knowledge of the dynamics of the Martian plasma system from its surface up to the undisturbed solar wind outside of the induced magnetosphere. This can only be achieved with coordinated multi-point observations with high temporal resolution as they have the scientific potential to track the whole dynamics of the system (from small to large scales), and they constitute the next generation of Mars' exploration as it happened at Earth few decades ago. This White Paper discusses the key science questions that are still open at Mars and how they could be addressed with coordinated multipoint missions. The main science questions are: (i) How does solar wind driving impact on magnetospheric and ionospheric dynamics? (ii) What is the structure and nature of the tail of Mars' magnetosphere at all scales? (iii) How does the lower atmosphere couple to the upper atmosphere? (iv) Why should we have a permanent in-situ Space Weather monitor at Mars? Each science question is devoted to a specific plasma region, and includes several specific scientific objectives to study in the coming decades. In addition, two mission concepts are also proposed based on coordinated multi-point science from a constellation of orbiting and ground-based platforms, which focus on understanding and solving the current science gaps.
△ Less
Submitted 15 August, 2019;
originally announced August 2019.
-
Exploring Solar-Terrestrial Interactions via Multiple Observers (A White Paper for the Voyage 2050 long-term plan in the ESA Science Programme)
Authors:
G. Branduardi-Raymont,
M. Berthomier,
Y. Bogdanova,
J. C. Carter,
M. Collier,
A. Dimmock,
M. Dunlop,
R. Fear,
C. Forsyth,
B. Hubert,
E. Kronberg,
K. M. Laundal,
M. Lester,
S. Milan,
K. Oksavik,
N. Østgaard,
M. Palmroth,
F. Plaschke,
F. S. Porter,
I. J. Rae,
A. Read,
A. Samsonov,
S. Sembay,
Y. Shprits,
D. G. Sibeck
, et al. (2 additional authors not shown)
Abstract:
This paper addresses the fundamental science question: "How does solar wind energy flow through the Earth's magnetosphere, how is it converted and distributed?". We need to understand how the Sun creates the heliosphere, and how the planets interact with the solar wind and its magnetic field, not just as a matter of scientific curiosity, but to address a clear and pressing practical problem: space…
▽ More
This paper addresses the fundamental science question: "How does solar wind energy flow through the Earth's magnetosphere, how is it converted and distributed?". We need to understand how the Sun creates the heliosphere, and how the planets interact with the solar wind and its magnetic field, not just as a matter of scientific curiosity, but to address a clear and pressing practical problem: space weather, which can influence the performance and reliability of our technological systems, in space and on the ground, and can endanger human life and health.
Much knowledge has already been acquired over the past decades, but the infant stage of space weather forecasting demonstrates that we still have a vast amount of learning to do. We can tackle this issue in two ways: 1) By using multiple spacecraft measuring conditions in situ in the magnetosphere in order to make sense of the fundamental small scale processes that enable transport and coupling, or 2) By taking a global approach to observations of the conditions that prevail throughout geospace in order to quantify the global effects of external drivers.
A global approach is now being taken by a number of space missions under development and the first tantalising results of their exploration will be available in the next decade. Here we propose the next step-up in the quest for a complete understanding of how the Sun gives rise to and controls the Earth's plasma environment: a tomographic imaging approach comprising two spacecraft which enable global imaging of magnetopause and cusps, auroral regions, plasmasphere and ring current, alongside in situ measurements. Such a mission is going to be crucial on the way to achieve scientific closure on the question of solar-terrestrial interactions.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
Global diagnostics of ionospheric absorption during X-ray solar flares based on 8-20MHz noise measured by over-the-horizon radars
Authors:
O. I. Berngardt,
J. M. Ruohoniemi,
J. -P. St-Maurice,
A. Marchaudon,
M. J. Kosch,
A. S. Yukimatu,
N. Nishitani,
S. G. Shepherd,
M. F. Marcucci,
H. Hu,
T. Nagatsuma,
M. Lester
Abstract:
An analysis of noise attenuation during eighty solar flares between 2013 and 2017 was carried out at frequencies 8-20 MHz using thirty-four SuperDARN radars and the EKB ISTP SB RAS radar. The attenuation was determined on the basis of noise measurements performed by the radars during the intervals between transmitting periods. The location of the primary contributing ground sources of noise was fo…
▽ More
An analysis of noise attenuation during eighty solar flares between 2013 and 2017 was carried out at frequencies 8-20 MHz using thirty-four SuperDARN radars and the EKB ISTP SB RAS radar. The attenuation was determined on the basis of noise measurements performed by the radars during the intervals between transmitting periods. The location of the primary contributing ground sources of noise was found by consideration of the propagation paths of radar backscatter from the ground. The elevation angle for the ground echoes was determined through a new empirical model. It was used to determine the paths of the noise and the location of its source. The method was particularly well suited for daytime situations which had to be limited for the most part to only two crossings through the D region. Knowing the radio path was used to determine an equivalent vertical propagation attenuation factor. The change in the noise during solar flares was correlated with solar radiation lines measured by GOES/XRS, GOES/EUVS, SDO/AIA, SDO/EVE, SOHO/SEM and PROBA2/LYRA instruments. Radiation in the 1 to 8$\mathring{A}$ and and near 100$\mathring{A}$ are shown to be primarily responsible for the increase in the radionoise absorption, and by inference, for an increase in the D and E region density. The data are also shown to be consistent with a radar frequency dependence having a power law with an exponent of -1.6. This study shows that a new dataset can be made available to study D and E region.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Plasma observations during the Mars atmospheric "plume" event of March-April 2012
Authors:
D. J. Andrews,
S. Barabash,
N. J. T. Edberg,
D. A. Gurnett,
B. E. S. Hall,
M. Holmström,
M. Lester,
D. D. Morgan,
H. J. Opgenoorth,
R. Ramstad,
B. Sanchez-Cano,
M. Way,
O. Witasse
Abstract:
We present initial analysis and conclusions from plasma observations made during the reported "Mars plume event" of March - April 2012. During this period, multiple independent amateur observers detected a localized, high-altitude "plume" over the Martian dawn terminator [Sanchez-Lavega et al., Nature, 2015, doi:10.1038/nature14162], the cause of which remains to be explained. The estimated bright…
▽ More
We present initial analysis and conclusions from plasma observations made during the reported "Mars plume event" of March - April 2012. During this period, multiple independent amateur observers detected a localized, high-altitude "plume" over the Martian dawn terminator [Sanchez-Lavega et al., Nature, 2015, doi:10.1038/nature14162], the cause of which remains to be explained. The estimated brightness of the plume exceeds that expected for auroral emissions, and its projected altitude greatly exceeds that at which clouds are expected to form. We report on in-situ measurements of ionospheric plasma density and solar wind parameters throughout this interval made by Mars Express, obtained over the same surface region, but at the opposing terminator. Measurements in the ionosphere at the corresponding location frequently show a disturbed structure, though this is not atypical for such regions with intense crustal magnetic fields. We tentatively conclude that the formation and/or transport of this plume to the altitudes where it was observed could be due in part to the result of a large interplanetary coronal mass ejection (ICME) encountering the Martian system. Interestingly, we note that the only similar plume detection in May 1997 may also have been associated with a large ICME impact at Mars.
△ Less
Submitted 18 March, 2016;
originally announced March 2016.
-
Control Flow Analysis for SF Combinator Calculus
Authors:
Martin Lester
Abstract:
Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functional programming, as embodied by the lambda calculus and SK combinator calculus. The recently-developed SF combinator calculus offers an alternative, intensional model of computation that may serve as a foundation for devel…
▽ More
Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functional programming, as embodied by the lambda calculus and SK combinator calculus. The recently-developed SF combinator calculus offers an alternative, intensional model of computation that may serve as a foundation for develo** principled languages in which to express intensional computation, including program transformation. Until now there have been no static analyses for reasoning about or verifying programs written in SF-calculus. We take the first step towards remedying this by develo** a formulation of the popular control flow analysis 0CFA for SK-calculus and extending it to support SF-calculus. We prove its correctness and demonstrate that the analysis is invariant under the usual translation from SK-calculus into SF-calculus.
△ Less
Submitted 11 December, 2015;
originally announced December 2015.
-
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming
Authors:
Martin Lester,
Luke Ong,
Max Schaefer
Abstract:
Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an important problem, which is made very difficult by the highly dynamic nature of the language, particularly its support for runtime code generation. As a first step towards dealing with this, we propose to investigate security a…
▽ More
Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an important problem, which is made very difficult by the highly dynamic nature of the language, particularly its support for runtime code generation. As a first step towards dealing with this, we propose to investigate security analyses for languages with more principled forms of dynamic code generation. To this end, we present a static information flow analysis for a dynamically typed functional language with prototype-based inheritance and staged metaprogramming. We prove its soundness, implement it and test it on various examples designed to show its relevance to proving security properties, such as noninterference, in JavaScript. To our knowledge, this is the first fully static information flow analysis for a language with staged metaprogramming, and the first formal soundness proof of a CFA-based information flow analysis for a functional programming language.
△ Less
Submitted 13 February, 2013;
originally announced February 2013.
-
AXIOM: Advanced X-ray Imaging Of the Magnetosphere
Authors:
G. Branduardi-Raymont,
S. F. Sembay,
J. P. Eastwood,
D. G. Sibeck,
A. Abbey,
P. Brown,
J. A. Carter,
C. M. Carr,
C. Forsyth,
D. Kataria,
S. Kemble,
S. E. Milan,
C. J. Owen,
L. Peacocke,
A. M. Read,
A. J. Coates,
M. R. Collier,
S. W. H. Cowley,
A. N. Fazakerley,
G. W. Fraser,
G. H. Jones,
R. Lallement,
M. Lester,
F. S. Porter,
T. K. Yeoman
Abstract:
Planetary plasma and magnetic field environments can be studied by in situ measurements or by remote sensing. While the former provide precise information about plasma behaviour, instabilities and dynamics on local scales, the latter offers the global view necessary to understand the overall interaction of the magnetospheric plasma with the solar wind. Here we propose a novel and more elegant appr…
▽ More
Planetary plasma and magnetic field environments can be studied by in situ measurements or by remote sensing. While the former provide precise information about plasma behaviour, instabilities and dynamics on local scales, the latter offers the global view necessary to understand the overall interaction of the magnetospheric plasma with the solar wind. Here we propose a novel and more elegant approach employing remote X-ray imaging techniques, which are now possible thanks to the relatively recent discovery of solar wind charge exchange X-ray emissions in the vicinity of the Earth's magnetosphere. We describe how an appropriately designed and located X-ray telescope, supported by simultaneous in situ measurements of the solar wind, can be used to image the dayside magnetosphere, magnetosheath and bow shock, with a temporal and spatial resolution sufficient to address several key outstanding questions concerning how the solar wind interacts with the Earth's magnetosphere on a global level. Our studies have led us to propose 'AXIOM: Advanced X-ray Imaging Of the Magnetosphere', a concept mission using a Vega launcher with a LISA Pathfinder-type Propulsion Module to place the spacecraft in a Lissajous orbit around the Earth - Moon L1 point. The model payload consists of an X-ray Wide Field Imager and an in situ plasma and magnetic field measurement package. This package comprises sensors designed to measure the bulk properties of the solar wind and to characterise its minor ion populations which cause charge exchange emission, and a magnetometer designed to measure the strength and direction of the solar wind magnetic field. We show simulations that demonstrate how the proposed X-ray telescope design is capable of imaging the predicted emission from the dayside magnetosphere with the sensitivity and cadence required to achieve the science goals of the mission.
△ Less
Submitted 1 August, 2011; v1 submitted 4 July, 2011;
originally announced July 2011.
-
Resonant radiation pressure on neutral particles in a waveguide
Authors:
R. Gomez-Medina,
P. San Jose,
A. Garcia-Martin,
M. Lester,
M. Nieto-Vesperinas,
J. J. Saenz
Abstract:
A theoretical analysis of electromagnetic forces on neutral particles in an hollow waveguide is presented. We show that the effective scattering cross section of a very small (Rayleigh) particle can be strongly modified inside a waveguide. The coupling of the scattered dipolar field with the waveguide modes induce a resonant enhanced backscattering state of the scatterer-guide system close to th…
▽ More
A theoretical analysis of electromagnetic forces on neutral particles in an hollow waveguide is presented. We show that the effective scattering cross section of a very small (Rayleigh) particle can be strongly modified inside a waveguide. The coupling of the scattered dipolar field with the waveguide modes induce a resonant enhanced backscattering state of the scatterer-guide system close to the onset of new modes. The particle effective cross section can then be as large as the wavelength even far from any transition resonance. As we will show, a small particle can be strongly accelerated along the guide axis while being highly confined in a narrow zone of the cross section of the guide.
△ Less
Submitted 7 March, 2001;
originally announced March 2001.