NASA's Solar Dynamics Observatory (SDO): A Systems Approach to a Complex Mission

The Solar Dynamics Observatory (SDO) includes three advanced instruments, massive science data volume, stringent science data completeness requirements, and a custom ground station to meet mission demands. The strict instrument science requirements imposed a number of challenging drivers on the overall mission system design, leading the SDO team to adopt an integrated systems engineering presence across all aspects of the mission to ensure that mission science requirements would be met. Key strategies were devised to address these system level drivers and mitigate identified threats to mission success. The global systems engineering team approach ensured that key drivers and risk areas were rigorously addressed through all phases of the mission, leading to the successful SDO launch and on-orbit operation. Since launch, SDO's on-orbit performance has met all mission science requirements and enabled groundbreaking science observations, expanding our understanding of the Sun and its dynamic processes

Wide-field Infrared Survey Telescope (WFIRST): Composite Structure Verification for Operational Temperatures

The Wide-Field Infrared Survey Telescope (WFIRST) mission is the next large astrophysics observatory for NASA after the James Webb Space Telescope and is the top priority mission from the 2010 National Academy of Sciences' decadal survey. The WFIRST Optical Telescope Assembly (OTA) includes inherited composite support structures that were originally designed and tested for room temperature operation; however, the WFIRST mission will require operation at colder temperatures to achieve sufficient sensitivity for the infrared wavelengths. We will present the results and conclusions of testing completed at the coupon and engineering model level to verify that the inherited composite structures will maintain mechanical integrity and performance over the required temperature range. The testing included: (1) characterization testing of constituent material coupons, (2) thermal cycling and static load testing of a representative aft metering structure (AMS) and forward metering structure (FMS), and (3) thermal cycling and dynamic testing of a representative secondary mirror assembly (SMA)

Succinct Classical Verification of Quantum Computation

We construct a classically verifiable succinct interactive argument for quantum computation (BQP) with communication complexity and verifier runtime that are poly-logarithmic in the runtime of the BQP computation (and polynomial in the security parameter). Our protocol is secure assuming the post-quantum security of indistinguishability obfuscation (iO) and Learning with Errors (LWE). This is the first succinct argument for quantum computation in the plain model; prior work (Chia-Chung-Yamakawa, TCC \u2720) requires both a long common reference string and non-black-box use of a hash function modeled as a random oracle. At a technical level, we revisit the framework for constructing classically verifiable quantum computation (Mahadev, FOCS \u2718). We give a self-contained, modular proof of security for Mahadev\u27s protocol, which we believe is of independent interest. Our proof readily generalizes to a setting in which the verifier\u27s first message (which consists of many public keys) is compressed. Next, we formalize this notion of compressed public keys; we view the object as a generalization of constrained/programmable PRFs and instantiate it based on indistinguishability obfuscation. Finally, we compile the above protocol into a fully succinct argument using a (sufficiently composable) succinct argument of knowledge for NP. Using our framework, we achieve several additional results, including - Succinct arguments for QMA (given multiple copies of the witness), - Succinct non-interactive arguments for BQP (or QMA) in the quantum random oracle model, and - Succinct batch arguments for BQP (or QMA) assuming post-quantum LWE (without iO)

Wide-Field Infrared Survey Telescope (WFIRST) - Optical Telescope Assembly (OTA) Status

The WFIRST Mission is the next large astrophysical observatory for NASA after the James Webb Space Telescope and is the top priority mission from the 2010 National Academy of Sciences' decadal survey. The WFIRST OTA includes the inherited primary and secondary mirrors with precision metering structures that are to be integrated to new mirror assemblies to provide optical feeds to the two WFIRST science instruments. We present here: (1) the results for the review of the inherited hardware for WFIRST through a thorough technical pedigree process, (2) the status of the effort to establish the capability of the telescope to perform at a cooler operational temperature of 265K, and (3) the status of the work in requirement development for OTA to incorporate the inherited hardware, and (4) the path forward

NASA's Solar Dynamics Observatory (SDO): A Systems Approach to a Complex Mission

The Solar Dynamics Observatory (SDO) includes three advanced instruments, massive science data volume, stringent science data completeness requirements, and a custom ground station to meet mission demands. The strict instrument science requirements imposed a number of challenging drivers on the overall mission system design, leading the SDO team to adopt an integrated systems engineering presence across all aspects of the mission to ensure that mission science requirements would be met. Key strategies were devised to address these system level drivers and mitigate identified threats to mission success. The global systems engineering team approach ensured that key drivers and risk areas were rigorously addressed through all phases of the mission, leading to the successful SDO launch and on-orbit operation. Since launch, SDO s on-orbit performance has met all mission science requirements and enabled groundbreaking science observations, expanding our understanding of the Sun and its dynamic processes