Reconstructing nonlinear plasma wakefields using a generalized temporally encoded spectral shifting analysis

We generalize the temporally encoded spectral shifting (TESS) analysis for measuring plasma wakefields using spectral interferometry to dissimilar probe pulses of arbitrary spectral profile and to measuring nonlinear wakefields. We demonstrate that the Gaussian approximation used up until now results in a substantial miscalculation of the wakefield amplitude, by a factor of up to two. A method to accurately measure higher amplitude quasilinear and nonlinear wakefields is suggested, using an extension to the TESS procedure, and we place some limits on its accuracy in these regimes. These extensions and improvements to the analysis demonstrate its potential for rapid and accurate on-shot diagnosis of plasma wakefields, even at low plasma densities

SeaWiFS technical report series. Volume 10: Modeling of the SeaWiFS solar and lunar observations

Post-launch stability monitoring of the Sea-viewing Wide Field-of-view Sensor (SeaWifs) will include periodic sweeps of both an onboard solar diffuser plate and the moon. The diffuser views will provide short-term checks and the lunar views will monitor long-term trends in the instrument's radiometric stability. Models of the expected sensor response to these observations were created on the SeaWiFS computer at the National Aeronautics and Space Administration's (NASA) Goddard Space Flight Center (GSFC) using the Interactive Data Language (IDL) utility with a graphical user interface (GUI). The solar model uses the area of intersecting circles to simulate the ramping of sensor response while viewing the diffuser. This model is compared with preflight laboratory scans of the solar diffuser. The lunar model reads a high-resolution lunar image as input. The observations of the moon are simulated with a bright target recovery algorithm that includes ramping and ringing functions. Tests using the lunar model indicate that the integrated radiance of the entire lunar surface provides a more stable quantity than the mean of radiances from centralized pixels. The lunar model is compared to ground-based scans by the SeaWiFS instrument of a full moon in December 1992. Quality assurance and trend analyses routines for calibration and for telemetry data are also discussed

The 2010 AOP Workshop Summary Report

The rationale behind the current workshop, which was hosted by Biospherical Instruments Inc. (BSI), was to update the community and get community input with respect to the following: topics not addressed during the first workshop, specifically the processing of above-water apparent optical property (AOP data) within the Processing of Radiometric Observations of Seawater using Information Technologies (PROSIT) architecture; PROSIT data processing issues that have developed or tasks that have been completed, since the first workshop; and NASA instrumentation developments, both above- and in-water, that are relevant to both workshops and next generation mission planning. The workshop emphasized presentations on new AOP instrumentation, desired and required features for processing above-water measurements of the AOPs of seawater, working group discussions, and a community update for the in-water data processing already present in PROSIT. The six working groups were organized as follows: a) data ingest and data products; b) required and desired features for optically shallow and optically deep waters; c) contamination rejection (clouds), corrections, and data filtering; d) sun photometry and polarimetry; e) instrumentation networks; and f) hyperspectral versus fixed-wavelength sensors. The instrumentation networks working group was intended to provide more detailed information about desired and required features of autonomous sampling systems. Plenary discussions produced a number of recommendations for evolving and documenting PROSIT

Nuclear structure beyond the neutron drip line: the lowest energy states in 9^9He via their T=5/2 isobaric analogs in 9^9Li

The level structure of the very neutron rich and unbound $^9$He nucleus has been the subject of significant experimental and theoretical study. Many recent works have claimed that the two lowest energy $^9$He states exist with spins $J^\pi=1/2^+$ and $J^\pi=1/2^-$ and widths on the order of hundreds of keV. These findings cannot be reconciled with our contemporary understanding of nuclear structure. The present work is the first high-resolution study with low statistical uncertainty of the relevant excitation energy range in the $^8$He$+n$ system, performed via a search for the T=5/2 isobaric analog states in $^9$Li populated through $^8$He+p elastic scattering. The present data show no indication of any narrow structures. Instead, we find evidence for a broad $J^{\pi}=1/2^+$ state in $^9$He located approximately 3 MeV above the neutron decay threshold

DYNAMIC ROCK MECHANICS INVESTIGATIONS FINAL REPORT, PROJECT COWBOY

Strain gage instrumentation is reported of three Cowboy shots to measure the strain produced in salt by coupled and decoupled detonations. Linear array tests were made to develop a propagation law for strain, to determine particle velocity and acceleration in salt, to compare explosives, to determine the effect of impedance coupling between explosive and rock, and to investigate other seismic effects. Crater tests were made to determine the dynamic tensile breaking strength of salt. Tests were made to measure in situ, longitudinal (P) and shear (S) wave velocities and to calculate the dynamic elastic constants therefrom. Laboratory tests on core were made to determine the dynamic compressive and tensile breaking strength of salt. Physical properties tests were made under laboratory conditions for comparison with dynamic results. (W.L.H.

SeaWiFS technical report series. Volume 15: The simulated SesWiFS data set, version 2

This document describes the second version of the simulated SeaWiFS data set. A realistic simulated data set is essential for mission readiness preparations and can potentially assist in all phases of ground support for a future mission. The second version improves on the first version primarily through additional realism and complexity. This version incorporates a representation of virtually every aspect of the flight mission. Thus, it provides a high-fidelity data set for testing several aspects of the ground system, including data acquisition, data processing, data transfers, calibration and validation, quality control, and mission operations. The data set is constructed for a seven-day period, 25-31 March 1994. Specific features of the data set include Global Area coverage (GAC), recorded Local Area Coverage (LAC), and realtime High Resolution Picture Transmission (HRPT) data for the seven-day period. A realistic orbit, which is propagated using a Brouwer-Lyddane model with drag, is used to simulate orbit positions. The simulated data corresponds to the command schedule based on the orbit for this seven-day period. It includes total (at-satellite) radiances not only for ocean, but for land, clouds, and ice. The simulation also utilizes a high-resolution land-sea mask. It includes the April 1993 SeaWiFS spectral responses and sensor saturation responses. The simulation is formatted according to July 1993 onboard data structures, which include corresponding telemetry (instrument and spacecraft) data. The methods are described and some examples of the output are given. The instrument response functions made available in April 1993 have been used to produce the Version 2 simulated data. These response functions will change as part of the sensor improvements initiated in July-August 1993

Evaluating QBF Solvers: Quantifier Alternations Matter

We present an experimental study of the effects of quantifier alternations on the evaluation of quantified Boolean formula (QBF) solvers. The number of quantifier alternations in a QBF in prenex conjunctive normal form (PCNF) is directly related to the theoretical hardness of the respective QBF satisfiability problem in the polynomial hierarchy. We show empirically that the performance of solvers based on different solving paradigms substantially varies depending on the numbers of alternations in PCNFs. In related theoretical work, quantifier alternations have become the focus of understanding the strengths and weaknesses of various QBF proof systems implemented in solvers. Our results motivate the development of methods to evaluate orthogonal solving paradigms by taking quantifier alternations into account. This is necessary to showcase the broad range of existing QBF solving paradigms for practical QBF applications. Moreover, we highlight the potential of combining different approaches and QBF proof systems in solvers.Comment: preprint of a paper to be published at CP 2018, LNCS, Springer, including appendi

Advances in Measuring the Apparent Optical Properties (AOPs) of Optically Complex Waters

This report documents new technology used to measure the apparent optical properties (AOPs) of optically complex waters. The principal objective is to be prepared for the launch of next-generation ocean color satellites with the most capable commercial off-the-shelf (COTS) instrumentation. An enhanced COTS radiometer was the starting point for designing and testing the new sensors. The follow-on steps were to apply the lessons learned towards a new in-water profiler based on a kite-shaped backplane for mounting the light sensors. The next level of sophistication involved evaluating new radiometers emerging from a development activity based on so-called microradiometers. The exploitation of microradiometers resulted in an in-water profiling system, which includes a sensor networking capability to control ancillary sensors like a shadowband or global positioning system (GPS) device. A principal advantage of microradiometers is their flexibility in producing, interconnecting, and maintaining instruments. The full problem set for collecting sea-truth data--whether in coastal waters or the open ocean-- involves other aspects of data collection that were improved for instruments measuring both AOPs and inherent optical properties (IOPs), if the uncertainty budget is to be minimized. New capabilities associated with deploying solar references were developed as well as a compact solution for recovering in-water instrument systems from small boats

Incremental bounded model checking for embedded software

Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain

Optical Sensors for Planetary Radiant Energy (OSPREy): Calibration and Validation of Current and Next-Generation NASA Missions

A principal objective of the Optical Sensors for Planetary Radiance Energy (OSPREy) activity is to establish an above-water radiometer system as a lower-cost alternative to existing in-water systems for the collection of ground-truth observations. The goal is to be able to make high-quality measurements satisfying the accuracy requirements for the vicarious calibration and algorithm validation of next-generation satellites that make ocean color and atmospheric measurements. This means the measurements will have a documented uncertainty satisfying the established performance metrics for producing climate-quality data records. The OSPREy approach is based on enhancing commercial-off-the-shelf fixed-wavelength and hyperspectral sensors to create hybridspectral instruments with an improved accuracy and spectral resolution, as well as a dynamic range permitting sea, Sun, sky, and Moon observations. Greater spectral diversity in the ultraviolet (UV) will be exploited to separate the living and nonliving components of marine ecosystems; UV bands will also be used to flag and improve atmospheric correction algorithms in the presence of absorbing aerosols. The short-wave infrared (SWIR) is expected to improve atmospheric correction, because the ocean is radiometrically blacker at these wavelengths. This report describes the development of the sensors, including unique capabilities like three-axis polarimetry; the documented uncertainty will be presented in a subsequent report