NASA FY 2020 Annual Performance Report I
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Landsat 9 Micrometeoroid and Orbital Debris Mission Success Approach
First Int'l. Orbital Debris Conf. 2019 (LPI Contrib. No. 2109) 6058.pdf Landsat 9 Micrometeoroid and Orbital Debris Mission Success Approach Michael S. Pryzby(1), Scott M. Hull(2), Angela M. Russo(2), Glenn T. Iona(2), Daniel Helfrich(2), and Evan H. Webb(2) (1) ATA Aerospace, 7474 Greenway Center Dr, Suite 500, Greenbelt, MD 20770, USA (2) NASA Goddard Space Flight Center, 8800 Greenbelt Rd, Greenbelt, MD 20771, USA ABSTRACT Landsat 9* (L9) is the successor mission to Landsat 8 (L8) previously known as Landsat Data Continuity Mission (LDCM). Both missions are large unmanned remote sensing satellites operating in sun- synchronous polar orbits. As opposed to L8/LDCM, systems engineers for L9 incorporated Micrometeoroid/Orbital Debris (MMOD) protection for small object collisions as part of the L9’s mission success criteria. In other words, the NASA Process for Limiting Orbital Debris (NASA-STD-8719.14A) only calls for analyses of the protection of disposal-critical hardware, but L9 opted to also assess and provide small particle penetration protections for all observatory components including instruments that are not part of the spacecraft components needed for controlled reentry. Systems engineers at Goddard developed a design process to protect against MMOD during the life of Low Earth Orbit (LEO) observatories, and in particular the Landsat 9 Mission. Simply stated, this design process enhanced the effectiveness of existing Multi-Layer Insulation (MLI) to provide the needed protection. The end goal of the design process was to establish a necessary blanket areal density for a given electronics box or instrument wall thickness and a separation between the outer MLI blanket and the structure underneath. -
A Scalable Provenance Evaluation Strategy
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy DAVID ZHAO, University of Sydney 7 PAVLE SUBOTIĆ, Amazon BERNHARD SCHOLZ, University of Sydney Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications that model analysis problems process millions of tuples of data and contain hundredsof highly recursive rules. As a result, they are notoriously difficult to debug. While the database community has proposed several data provenance techniques that address the Declarative Debugging Challenge for Databases, in the cases of analysis problems, these state-of-the-art techniques do not scale. In this article, we introduce a novel bottom-up Datalog evaluation strategy for debugging: Our provenance evaluation strategy relies on a new provenance lattice that includes proof annotations and a new fixed-point semantics for semi-naïve evaluation. A debugging query mechanism allows arbitrary provenance queries, constructing partial proof trees of tuples with minimal height. We integrate our technique into Soufflé, a Datalog engine that synthesizes C++ code, and achieve high performance by using specialized parallel data structures. Experiments are conducted with Doop/DaCapo, producing proof annotations for tens of millions of output tuples. We show that our method has a runtime overhead of 1.31× on average while being more flexible than existing state-of-the-art techniques. CCS Concepts: • Software and its engineering → Constraint and logic languages; Software testing and debugging; Additional Key Words and Phrases: Static analysis, datalog, provenance ACM Reference format: David Zhao, Pavle Subotić, and Bernhard Scholz. -
Implementing a Vau-Based Language with Multiple Evaluation Strategies
Implementing a Vau-based Language With Multiple Evaluation Strategies Logan Kearsley Brigham Young University Introduction Vau expressions can be simply defined as functions which do not evaluate their argument expressions when called, but instead provide access to a reification of the calling environment to explicitly evaluate arguments later, and are a form of statically-scoped fexpr (Shutt, 2010). Control over when and if arguments are evaluated allows vau expressions to be used to simulate any evaluation strategy. Additionally, the ability to choose not to evaluate certain arguments to inspect the syntactic structure of unevaluated arguments allows vau expressions to simulate macros at run-time and to replace many syntactic constructs that otherwise have to be built-in to a language implementation. In principle, this allows for significant simplification of the interpreter for vau expressions; compared to McCarthy's original LISP definition (McCarthy, 1960), vau's eval function removes all references to built-in functions or syntactic forms, and alters function calls to skip argument evaluation and add an implicit env parameter (in real implementations, the name of the environment parameter is customizable in a function definition, rather than being a keyword built-in to the language). McCarthy's Eval Function Vau Eval Function (transformed from the original M-expressions into more familiar s-expressions) (define (eval e a) (define (eval e a) (cond (cond ((atom e) (assoc e a)) ((atom e) (assoc e a)) ((atom (car e)) ((atom (car e)) (cond (eval (cons (assoc (car e) a) ((eq (car e) 'quote) (cadr e)) (cdr e)) ((eq (car e) 'atom) (atom (eval (cadr e) a))) a)) ((eq (car e) 'eq) (eq (eval (cadr e) a) ((eq (caar e) 'vau) (eval (caddr e) a))) (eval (caddar e) ((eq (car e) 'car) (car (eval (cadr e) a))) (cons (cons (cadar e) 'env) ((eq (car e) 'cdr) (cdr (eval (cadr e) a))) (append (pair (cadar e) (cdr e)) ((eq (car e) 'cons) (cons (eval (cadr e) a) a)))))) (eval (caddr e) a))) ((eq (car e) 'cond) (evcon. -
Comparative Studies of Programming Languages; Course Lecture Notes
Comparative Studies of Programming Languages, COMP6411 Lecture Notes, Revision 1.9 Joey Paquet Serguei A. Mokhov (Eds.) August 5, 2010 arXiv:1007.2123v6 [cs.PL] 4 Aug 2010 2 Preface Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering and Computer Science, Concordia University, Montreal, QC, Canada. These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia [24], as well as Comparative Programming Languages book [7] and other resources, including our own. The original notes were compiled by Dr. Paquet [14] 3 4 Contents 1 Brief History and Genealogy of Programming Languages 7 1.1 Introduction . 7 1.1.1 Subreferences . 7 1.2 History . 7 1.2.1 Pre-computer era . 7 1.2.2 Subreferences . 8 1.2.3 Early computer era . 8 1.2.4 Subreferences . 8 1.2.5 Modern/Structured programming languages . 9 1.3 References . 19 2 Programming Paradigms 21 2.1 Introduction . 21 2.2 History . 21 2.2.1 Low-level: binary, assembly . 21 2.2.2 Procedural programming . 22 2.2.3 Object-oriented programming . 23 2.2.4 Declarative programming . 27 3 Program Evaluation 33 3.1 Program analysis and translation phases . 33 3.1.1 Front end . 33 3.1.2 Back end . 34 3.2 Compilation vs. interpretation . 34 3.2.1 Compilation . 34 3.2.2 Interpretation . 36 3.2.3 Subreferences . 37 3.3 Type System . 38 3.3.1 Type checking . 38 3.4 Memory management . -
Bob Cabana, Director Kennedy Space Center National Aeronautics and Space Administration
Bob Cabana, Director Kennedy Space Center National Aeronautics and Space Administration Premier Multi-User Spaceport KSC Programs and Projects Commercial Crew Program Launch Services Program Exploration Ground Systems Gateway — A spaceport for human and Exploration Research & Technology robotic exploration to the Moon and beyond Programs 2019 KSC Key Milestones o March 2 SpaceX Demo-1 LC 39A o June 27 Mobile Launcher rolls testing to SLC 39B o July 2 Orion Launch Abort System Test SLC-46 o October 10 ICON Mission CCAFS Remaining Milestones Planned in 2019 Boeing Pad Abort Test – Target date 11/4/19 Boeing Orbital Flight Test – Target date mid December SpaceX In-Flight Abort Test – Target date early December Gateway Logistics Contract Award 2020 KSC Key Milestones Orion Mass Simulator on dock KSC - 1/24/20 SpaceX Demo-2 Boeing Crewed Flight Test Solar Orbiter – 2/5/20 SLS Boosters arrive and processing begins - 3/18/20 Orion turnover to EGS - 5/16/20 MARS 2020 -7/17/20 Sentinel 6A - 11/15/20 Landsat-9 – 12/15/20 7 National Aeronautics and Space Administration SpaceX Demo-1 March 2, 2019 Boeing Hotfire & Parachute Tests May 22, 2019 National Aeronautics and Space Administration High Performance Spaceflight Computing Precision Solar Landing Electric Space Technology for Propulsion 2024 and Beyond Surface Cryofluid Lunar Dust Excavation/Construction Management Mitigation In Situ Resource Extreme Environments Utilization Extreme Access Lunar Surface Power Lunar Surface Innovation Initiative NASA Internal Use Only Do Not Distribute 18 EGS Striving Toward Launch of Artemis I SLS Block 1 National Aeronautics and Space Administration Orion Liquid oxygen Artemis I Intertank Core Stage 322 feet 322 Booster Mobile Launcher 130 feet 130 Rocket Crew Access Arm 274 feet 274 feet 380 Engine NASA Internal Use Only Do Not Distribute Vehicle Assembly Building 380 feet • 10.5 million lbs. -
Spectral Response Characterization of the Landsat 9 Operational Land Imager 2 Using the Goddard Laser for Absolute Measurement of Radiance (GLAMR)
Spectral Response Characterization of the Landsat 9 Operational Land Imager 2 using the Goddard Laser for Absolute Measurement of Radiance (GLAMR) Brian Markham, Julia Barsi, Joel McCorkel, Brendan McAndrew, Jeffrey Pedelty, + GLAMR and Ball I & T and Systems teams NASA Goddard Space Flight Center Mission Objectives Mission Parameters • Provide continuity in multi-decadal Landsat land surface observations to • Single Satellite, Mission Category 1, Risk Class B study, predict, and understand the consequences of land surface dynamics • 5-year design life after on-orbit checkout • Core Component of Sustainable Land Imaging program • At least 10 years of consumables • Sun-synchronous orbit, 705 km at equator, 98°inclination • 16-day global land revisit • Partnership: NASA & USGS Mission Team • NASA: Flight segment & checkout • NASA Goddard Space Flight Center (GSFC) • USGS: Ground system and operations • USGS Earth Resources Observation & Science (EROS) Center • Category 3 Launch Vehicle • NASA Kennedy Space Center (KSC) • Launch: Management Agreement - December 2020 Agency Baseline Commitment – November 2021 Instruments • Operational Land Imager 2 (OLI-2; Ball Aerospace) • Reflective-band push-broom imager (15-30m res) • 9 spectral bands at 15 - 30m resolution • Retrieves data on surface properties, land cover, and vegetation condition • Thermal Infrared Sensor 2 (TIRS-2; NASA GSFC) • Thermal infrared (TIR) push-broom imager • 2 TIR bands at 100m resolution • Retrieves surface temperature, supporting agricultural and climate applications, including monitoring evapotranspiration Spacecraft (S/C) & Observatory Integration & Test (I&T) • Northrop Grumman Innovation Systems (NGIS), formerly Orbital ATK (OA) Launch Services • United Launch Alliance (ULA) Atlas V 401 Increase in pivot irrigation in Saudi Arabia from 1987 to 2012 as recorded by Landsat. -
Satellite & Newspace Snapshot
Global Recruitment & Executive Search Satellite & NewSpace Specialists MARCH 2021 Satellite & NewSpace Snapshot INDUSTRY INSIGHTS - LATEST NEWS No Let Up In February as NASA Lands on Mars In this issue: and Funding Free For All Omnispace Close $60m Funding Round Continues To Help Develop Satellite Network for 5G, IoT and Global Communications While it might be the shortest month of the year, February still managed to cram in a number of exciting developments and further innovation to keep up the strong start in 2021. In fact, so much has happened this February we SpaceX Announce Inspiration4 Mission and struggled to condense it into just a few articles! Offer The Chance to Win a Seat on a Falcon 9 This month we have seen NASA land its Perseverance rover on the surface of Mars, SpaceX launch more of it’s Starlink constellation and have a rare first stage landing failure, investment keeps rolling into the NewSpace Omnispace Lyteloop economy with a number of start-ups closing funding rounds and more established players like Telesat receive further funding as well exciting news SpaceX Axiom Space from Intelsat as they move closer to coming out of chapter 11. NASA Telesat As more and more positive development take place in the space industry we wait with baited breath to see what more 2021 has up its sleeves for us. Intelsat Osprey Technology BlackSky Acquisition www.neuco-group.co.uk [email protected] Market Insights Omnispace Close $60m Funding Intelsat Announce Agreement with Round To Help Develop Satellite Creditors to Reduce Debt By More Network for 5G, IoT and Global Than 50% Communications The world’s largest satellite operator, Intelsat, announced Omnispace announced this month they had closed a this month that they have come to an agreement with round of equity financing of $60m to keep the launch of their creditors to reduce its debt liabilities by over 50%. -
Espinsights the Global Space Activity Monitor
ESPInsights The Global Space Activity Monitor Issue 1 January–April 2019 CONTENTS SPACE POLICY AND PROGRAMMES .................................................................................... 1 Focus .................................................................................................................... 1 Europe ................................................................................................................... 4 11TH European Space Policy Conference ......................................................................... 4 EU programmatic roadmap: towards a comprehensive Regulation of the European Space Programme 4 EDA GOVSATCOM GSC demo project ............................................................................. 5 Programme Advancements: Copernicus, Galileo, ExoMars ................................................... 5 European Space Agency: partnerships continue to flourish................................................... 6 Renewed support for European space SMEs and training ..................................................... 7 UK Space Agency leverages COMPASS project for international cooperation .............................. 7 France multiplies international cooperation .................................................................... 7 Italy’s PRISMA pride ................................................................................................ 8 Establishment of the Portuguese Space Agency: Data is King ................................................ 8 Belgium and Luxembourg -
Espinsights the Global Space Activity Monitor
ESPInsights The Global Space Activity Monitor Issue 2 May–June 2019 CONTENTS FOCUS ..................................................................................................................... 1 European industrial leadership at stake ............................................................................ 1 SPACE POLICY AND PROGRAMMES .................................................................................... 2 EUROPE ................................................................................................................. 2 9th EU-ESA Space Council .......................................................................................... 2 Europe’s Martian ambitions take shape ......................................................................... 2 ESA’s advancements on Planetary Defence Systems ........................................................... 2 ESA prepares for rescuing Humans on Moon .................................................................... 3 ESA’s private partnerships ......................................................................................... 3 ESA’s international cooperation with Japan .................................................................... 3 New EU Parliament, new EU European Space Policy? ......................................................... 3 France reflects on its competitiveness and defence posture in space ...................................... 3 Germany joins consortium to support a European reusable rocket......................................... -
Computer Performance Evaluation Users Group (CPEUG)
COMPUTER SCIENCE & TECHNOLOGY: National Bureau of Standards Library, E-01 Admin. Bidg. OCT 1 1981 19105^1 QC / 00 COMPUTER PERFORMANCE EVALUATION USERS GROUP CPEUG 13th Meeting NBS Special Publication 500-18 U.S. DEPARTMENT OF COMMERCE National Bureau of Standards 3-18 NATIONAL BUREAU OF STANDARDS The National Bureau of Standards^ was established by an act of Congress March 3, 1901. The Bureau's overall goal is to strengthen and advance the Nation's science and technology and facilitate their effective application for public benefit. To this end, the Bureau conducts research and provides: (1) a basis for the Nation's physical measurement system, (2) scientific and technological services for industry and government, (3) a technical basis for equity in trade, and (4) technical services to pro- mote public safety. The Bureau consists of the Institute for Basic Standards, the Institute for Materials Research, the Institute for Applied Technology, the Institute for Computer Sciences and Technology, the Office for Information Programs, and the Office of Experimental Technology Incentives Program. THE INSTITUTE FOR BASIC STANDARDS provides the central basis within the United States of a complete and consist- ent system of physical measurement; coordinates that system with measurement systems of other nations; and furnishes essen- tial services leading to accurate and uniform physical measurements throughout the Nation's scientific community, industry, and commerce. The Institute consists of the Office of Measurement Services, and the following -
Needed Reduction and Spine Strategies for the Lambda Calculus
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector INFORMATION AND COMPUTATION 75, 191-231 (1987) Needed Reduction and Spine Strategies for the Lambda Calculus H. P. BARENDREGT* University of Ngmegen, Nijmegen, The Netherlands J. R. KENNAWAY~ University qf East Anglia, Norwich, United Kingdom J. W. KLOP~ Cenfre for Mathematics and Computer Science, Amsterdam, The Netherlands AND M. R. SLEEP+ University of East Anglia, Norwich, United Kingdom A redex R in a lambda-term M is called needed if in every reduction of M to nor- mal form (some residual of) R is contracted. Among others the following results are proved: 1. R is needed in M iff R is contracted in the leftmost reduction path of M. 2. Let W: MO+ M, + Mz --t .._ reduce redexes R,: M, + M,, ,, and have the property that Vi.3j> i.R, is needed in M,. Then W is normalising, i.e., if M, has a normal form, then Ye is finite and terminates at that normal form. 3. Neededness is an undecidable property, but has several efhciently decidable approximations, various versions of the so-called spine redexes. r 1987 Academic Press. Inc. 1. INTRODUCTION A number of practical programming languages are based on some sugared form of the lambda calculus. Early examples are LISP, McCarthy et al. (1961) and ISWIM, Landin (1966). More recent exemplars include ML (Gordon etal., 1981), Miranda (Turner, 1985), and HOPE (Burstall * Partially supported by the Dutch Parallel Reduction Machine project. t Partially supported by the British ALVEY project. -
Typology of Programming Languages E Evaluation Strategy E
Typology of programming languages e Evaluation strategy E Typology of programming languages Evaluation strategy 1 / 27 Argument passing From a naive point of view (and for strict evaluation), three possible modes: in, out, in-out. But there are different flavors. Val ValConst RefConst Res Ref ValRes Name ALGOL 60 * * Fortran ? ? PL/1 ? ? ALGOL 68 * * Pascal * * C*?? Modula 2 * ? Ada (simple types) * * * Ada (others) ? ? ? ? ? Alphard * * * Typology of programming languages Evaluation strategy 2 / 27 Table of Contents 1 Call by Value 2 Call by Reference 3 Call by Value-Result 4 Call by Name 5 Call by Need 6 Summary 7 Notes on Call-by-sharing Typology of programming languages Evaluation strategy 3 / 27 Call by Value – definition Passing arguments to a function copies the actual value of an argument into the formal parameter of the function. In this case, changes made to the parameter inside the function have no effect on the argument. def foo(val): val = 1 i = 12 foo(i) print (i) Call by value in Python – output: 12 Typology of programming languages Evaluation strategy 4 / 27 Pros & Cons Safer: variables cannot be accidentally modified Copy: variables are copied into formal parameter even for huge data Evaluation before call: resolution of formal parameters must be done before a call I Left-to-right: Java, Common Lisp, Effeil, C#, Forth I Right-to-left: Caml, Pascal I Unspecified: C, C++, Delphi, , Ruby Typology of programming languages Evaluation strategy 5 / 27 Table of Contents 1 Call by Value 2 Call by Reference 3 Call by Value-Result 4 Call by Name 5 Call by Need 6 Summary 7 Notes on Call-by-sharing Typology of programming languages Evaluation strategy 6 / 27 Call by Reference – definition Passing arguments to a function copies the actual address of an argument into the formal parameter.