Search NASA⌕ Search

SEARCH · Search NASA

Results for “abstract data types”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8

The evolution of the FIGARO data reduction system

The Figaro data reduction system originated at Caltech around 1983. It was based on concepts being developed in the U.K. by the Starlink organization, particularly the use of hierarchical self-defining data structures and the abstraction of most user-interaction into a set of 'parameter system' routines. Since 1984 it has continued to be developed at AAO, in collaboration with Starlink and Caltech. It was adopted as Starlink's main spectroscopic data reduction package, although it is by no means limited to spectra; it has operations for images and data cubes and even a few (very specialized) for four-dimensional data hypercubes. It continued to be used at Caltech and will be used at the Keck. It is also in use at a variety of other organizations around the world. Figaro was originally a system for VMS Vaxes. Recently it was ported (at Caltech) to run on SUN's, and work is underway at the University of New South Wales on a DecStation version. It is hoped to coordinate all this work into a unified release, but coordination of the development of a system by organizations covering three continents poses a number of interesting administrative problems. The hierarchical data structures used by Figaro allow it to handle a variety of types of data, and to add new items to data structures. Error and data quality information was added to the basic file format used, error information being particularly useful for infrared data. Cooperating sets of programs can add specific sub-structures to data files to carry information that they understand (polarimetry data containing multiple data arrays, for example), without this affecting the way other programs handle the files. Complex instrument-specific ancillary information can be added to data files written at a telescope and can be used by programs that understand the instrumental details in order to produce properly calibrated data files. Once this preliminary data processing was done the resulting files contain 'ordinary' spectra or images that can be processed by programs that are not instrument-specific. The structures holding the instrumental information can then be discarded from the files. Much effort has gone into trying to make it easy to write Figaro programs; data access subroutines are now available to handle access to all the conventional items found in Figaro files (main data arrays, error information, quality information etc), and programs that only need to access such items can be very simple indeed. A large number of Figaro users do indeed write their own Figaro applications using these routines. The fact that Figaro programs are written as callable subroutines getting information from the user through a small set of parameter routines means that they can be invoked in numerous ways; they are normally linked and run as individual programs (called by a small main routine that is generated automatically), but are also available linked to run under the ADAM data acquisition system and there is an interface that lets them be called as part of a user-written Fortran program. The long-term future of Figaro probably depends to a large extent on how successfully it manages the transition from being a VMS-only system to being a multi-platform system.

Shortridge, K.↗

Categorization of planets and exoplanets for Astrobiology.

Introduction: The number of exoplanets detected is astounding –and was not predicted. Note that Bo-rucki’s foundational paper for the Kepler mission in 1984 predicted:“...a detection rate of one planet per year of observation appears possible.”[1]. Even more astounding is the enormous diversity of exoplanets [2,3]. It is already clear from the data, that our Solar System does not bound the diversity and the range of processes seen in the exoplanets [2,3,4]. As telescopes improve it is certain that the number of exoplanets will become astronomical and the diversity will increase apace. The search for habitable locations and for evidence of life is a central part of the approach and excitement of exoplanet research [5,6]. Based on our experience to date we can expect that there will be enormous diversity in the types of habitability and life on exoplanets and that the Earth and our Solar System do not bound the possibilities for either habitability and life, and may not even provide a definite guide to selecting c and i-dates for detailed study from the enormous lists of exoplanets that will emerge. How can we develop a system for categorizing exoplanets in a way that allows for selection and prioritization in the search for diverse habitats and for diverse lifeforms?The short answer is we have no idea. In this short abstract I will venture some suggested approach-es. (see also[7]). To date, our solar system provides three classes for a habitable world:1) Earth. Water worlds, represented, of course, by Earth, and Earth-like worlds Venus and Mars. 2) Europa. Ice-covered worlds represented by Europa and including Enceladus and others, and 3) Titan. Cryogenic liquid covered worlds, represented by Titan. Earth and Europa world simply life made from carbon compounds in a water medium. Interest in these“ water worlds” is rooted in our understanding of life on Earth–the only example of life we have. The primary difference between Earth and Europa worlds is access to sunlight as an energy source on Earth. Titan represents the concept of carbon-based life in a cryogenic liquid such as CH4or C2H6 [8-13]. It is unlikely that Earth, Europa, and Titan represent the full range of possible classes of habitability for the many exoplanets that have been, or will be, discovered. It is also unlikely that life as we know it on Earth represents the full range of possible life on exoplanets. I am suggesting here that we start with these three classes (Earth, Europa, Titan) for exoplanet characterization and add others based on predicted types, such as “Hycean” worlds, a hypothetical type of planet with a hot, water-covered surface with a hydrogen dominated atmosphere [14] and the many examples considered in [15,16] and even imagined habitability and life forms [7] such as Sarr -a small, hot (500°C) rocky planet with an atmosphere over liquid sulfur. And that hosts only sulfur-based life. We are probably safe in the assumption that the richness and diversity of the exoplanets will exceed that of our collective imaginations.

Christopher P Mckay↗

(abstract) Satellite-Enhanced Personal Communications Experiments

As an initial step in exploring the opportunities afforded by the merger of satellite-based and land-based networks, Bellcore and JPL conducted several experiments utilizing NASA's Advanced Communications Technology Satellite (ACTS) and JPL's ACTS Mobile Terminal (AMT). Experimental goals fell into three categories: a) demonstrate personal communication applications, b) demonstrate interoperability among multiple wireless networks and the Public Switched Telecommunications Network (PSTN), and c) evaluate new protocol mechanisms for data communications using wireless links. We describe the performance of Point-of-Sale, e-mail, FAX, and call control applications, where the communication path passed through up to four networks: a wireless packet data network, the Satellite network, the PSTN, and a wireless cellular network. One important element of satellite-terrestrial interoperability is the efficiency of data communications protocols. Most protocols in use today (e.g., TCP/IP) have been optimized for wireline channels; their use over wireless networks presents significant new challenges. The characteristics of wireless channels -- increased error, longer packet delay, and limited bandwidth -- affect the design of the protocol. We describe experimental results for differing protocol mechanisms and parameters, such as acknowledgment schemes and packet sizes, that demonstrate the types of protocol needed for efficient use of wireless satellite-terrestrial networks.

personal↗

Electromagnetic Pain Relief/Blocking: Feasibility Assessment

Context/Background: Astronauts use pharmaceuticals during spaceflight to manage acute and chronic pain, but use of analgesics will have drawbacks for exploration-class missions because the shelf life of these medications is limited, resupply will be curtailed, astronauts may develop tolerance and/or addiction to these medications, and side effects can include impairment of cognitive abilities. Electromagnetic devices have been developed that treat pain terrestrially by affecting neuromodulation–dubbed “electroceuticals”, these devices have varied mechanisms of action that either stimulate or suppress neural activity in the central nervous system or peripheral nerves. Objective/Purpose: The available literature was reviewed and FDA-approved pain treatments (both pharmacological and non-pharmacological), as well as those currently under development, were assessed for their suitability for use in exploration class spaceflight missions. Data Sources: Due to the COVID-19 pandemic and the resulting closure of libraries, data sources were restricted to those available digitally. Online database searches included PubMed, U.S. Patent and Trademark Office, federal grant award databases (National Aeronautics and Space Administration (NASA), Department of Defense (DoD), National Institutes of Health (NIH)), and general internet searches. More than 1,600 records were reviewed in this effort. Study Selection/Eligibility Criteria: Targeted searches included different aspects of pain management. Priority was given to review studies, to cover as much of the available literature as possible in this limited effort. Study Appraisal and Synthesis Methods/Data Extraction and Data Synthesis: The titles of the studies and the awards that were obtained by searching online databases were reviewed and further information was sought for the relevant titles. Abstracts or award summaries were generally available online; for journal abstracts, full text articles were either available online or were requested via interlibrary loan. Results: An overwhelming majority of the literature focuses on the treatment of chronic rather than acute pain because it is assumed that acute pain only rarely fails to resolve and instead transitions into chronic pain when the central nervous system becomes hypersensitized. The available electromagnetic devices marketed for pain treatment have varying levels of invasiveness, use different mechanisms of action, and have demonstrated varying efficacy when evaluated scientifically. A truly noninvasive, highly efficient device is desired for use during spaceflight. One portable, self-contained, FDA-approved device was identified that, from preliminarily assessment, best met these criteria; the device noninvasively applies pulsed shortwave therapy (PSWT) to modify pain signals from peripheral nerves, however, the device has limited battery life and the effects are relatively non-selective in type of neural signal modified. Limitations: This current effort, although extensive, did not identify a comprehensive list of all alternatives for pain treatment. Once the pandemic limitations are lifted, a longer, more thorough effort may find additional options. Conclusions/Implications: The ideal electromagnetic pain treatment device for use on exploration-class spaceflight missions does not yet exist, but it may be available soon. It is not feasible for NASA to develop medical devices due to the schedule constraints for pending exploration-class missions, but adapting a promising device that is already FDA-approved might be an option. Monitoring research that is ongoing at other federal agencies is recommended, and further review of the candidate PSWT device identified in this current effort may be warranted.

Carol Mullenax↗

Electromagnetic Pain Relief/Blocking: Feasibility Assessment

CONTEXT/BACKGROUND Astronauts use pharmaceuticals during spaceflight to manage acute and chronic pain, but use of analgesics will have drawbacks for exploration-class missions because the shelf life of these medications is limited, resupply will be curtailed, astronauts may develop tolerance and/or addiction to these medications, and side effects can include impairment of cognitive abilities. Electromagnetic devices have been developed that treat pain terrestrially by affecting neuromodulation–dubbed “electroceuticals”, these devices have varied mechanisms of action that either stimulate or suppress neural activity in the central nervous system or peripheral nerves. OBJECTIVE/PURPOSE The available literature was reviewed and FDA-approved pain treatments (both pharmacological and non-pharmacological), as well as those currently under development, were assessed for their suitability for use in exploration class spaceflight missions. DATA SOURCES Due to the COVID-19 pandemic and the resulting closure of libraries, data sources were restricted to those available digitally. Online database searches included PubMed, U.S. Patent and Trademark Office, federal grant award databases (National Aeronautics and Space Administration (NASA), Department of Defense (DoD), National Institutes of Health (NIH)), and general internet searches. More than 1,600 records were reviewed in this effort. STUDY SELECTION/ELIGIBILITY CRITERIA Targeted searches included different aspects of pain management. Priority was given to review studies, to cover as much of the available literature as possible in this limited effort. STUDY APPRAISAL AND SYNTHESIS METHODS/DATA EXTRACTION AND DATA SYNTHESIS The titles of the studies and the awards that were obtained by searching online databases were reviewed and further information was sought for the relevant titles. Abstracts or award summaries were generally available online; for journal abstracts, full text articles were either available online or were requested via interlibrary loan. RESULTS An overwhelming majority of the literature focuses on the treatment of chronic rather than acute pain because it is assumed that acute pain only rarely fails to resolve and instead transitions into chronic pain when the central nervous system becomes hypersensitized. The available electromagnetic devices marketed for pain treatment have varying levels of invasiveness, use different mechanisms of action, and have demonstrated varying efficacy when evaluated scientifically. A truly noninvasive, highly efficient device is desired for use during spaceflight. One portable, self-contained, FDA-approved device was identified that, from preliminarily assessment, best met these criteria; the device noninvasively applies pulsed shortwave therapy (PSWT) to modify pain signals from peripheral nerves, however, the device has limited battery life and the effects are relatively non-selective in type of neural signal modified. LIMITATIONS This current effort, although extensive, did not identify a comprehensive list of all alternatives for pain treatment. Once the pandemic limitations are lifted, a longer, more thorough effort may find additional options. CONCLUSIONS/IMPLICATIONS The ideal electromagnetic pain treatment device for use on exploration-class spaceflight missions does not yet exist, but it may be available soon. It is not feasible for NASA to develop medical devices due to the schedule constraints for pending exploration-class missions, but adapting a promising device that is already FDA-approved might be an option. Monitoring research that is ongoing at other federal agencies is recommended, and further review of the candidate PSWT device identified in this current effort may be warranted.

C A Mullenax↗

Cooperative Data Sharing: Simple Support for Clusters of SMP Nodes

Libraries like PVM and MPI send typed messages to allow for heterogeneous cluster computing. Lower-level libraries, such as GAM, provide more efficient access to communication by removing the need to copy messages between the interface and user space in some cases. still lower-level interfaces, such as UNET, get right down to the hardware level to provide maximum performance. However, these are all still interfaces for passing messages from one process to another, and have limited utility in a shared-memory environment, due primarily to the fact that message passing is just another term for copying. This drawback is made more pertinent by today's hybrid architectures (e.g. clusters of SMPs), where it is difficult to know beforehand whether two communicating processes will share memory. As a result, even portable language tools (like HPF compilers) must either map all interprocess communication, into message passing with the accompanying performance degradation in shared memory environments, or they must check each communication at run-time and implement the shared-memory case separately for efficiency. Cooperative Data Sharing (CDS) is a single user-level API which abstracts all communication between processes into the sharing and access coordination of memory regions, in a model which might be described as "distributed shared messages" or "large-grain distributed shared memory". As a result, the user programs to a simple latency-tolerant abstract communication specification which can be mapped efficiently to either a shared-memory or message-passing based run-time system, depending upon the available architecture. Unlike some distributed shared memory interfaces, the user still has complete control over the assignment of data to processors, the forwarding of data to its next likely destination, and the queuing of data until it is needed, so even the relatively high latency present in clusters can be accomodated. CDS does not require special use of an MMU, which can add overhead to some DSM systems, and does not require an SPMD programming model. unlike some message-passing interfaces, CDS allows the user to implement efficient demand-driven applications where processes must "fight" over data, and does not perform copying if processes share memory and do not attempt concurrent writes. CDS also supports heterogeneous computing, dynamic process creation, handlers, and a very simple thread-arbitration mechanism. Additional support for array subsections is currently being considered. The CDS1 API, which forms the kernel of CDS, is built primarily upon only 2 communication primitives, one process initiation primitive, and some data translation (and marshalling) routines, memory allocation routines, and priority control routines. The entire current collection of 28 routines provides enough functionality to implement most (or all) of MPI 1 and 2, which has a much larger interface consisting of hundreds of routines. still, the API is small enough to consider integrating into standard os interfaces for handling inter-process communication in a network-independent way. This approach would also help to solve many of the problems plaguing other higher-level standards such as MPI and PVM which must, in some cases, "play OS" to adequately address progress and process control issues. The CDS2 API, a higher level of interface roughly equivalent in functionality to MPI and to be built entirely upon CDS1, is still being designed. It is intended to add support for the equivalent of communicators, reduction and other collective operations, process topologies, additional support for process creation, and some automatic memory management. CDS2 will not exactly match MPI, because the copy-free semantics of communication from CDS1 will be supported. CDS2 application programs will be free to carefully also use CDS1. CDS1 has been implemented on networks of workstations running unmodified Unix-based operating systems, using UDP/IP and vendor-supplied high- performance locks. Although its inter-node performance is currently unimpressive due to rudimentary implementation technique, it even now outperforms highly-optimized MPI implementation on intra-node communication due to its support for non-copy communication. The similarity of the CDS1 architecture to that of other projects such as UNET and TRAP suggests that the inter-node performance can be increased significantly to surpass MPI or PVM, and it may be possible to migrate some of its functionality to communication controllers.

DiNucci, David C.↗

Analysis of Rapidly Developing Low Cloud Ceilings in a Stable Environment

Forecasters at the Space Meteorology Group (SMG) issue 30 to 90 minute forecasts for low cloud ceilings at the Space Shuttle Landing Facility (TTS) to support Space Shuttle landings. Mission verification statistics have shown ceilings to be the number one forecast challenge for SMG. More specifically, forecasters at SMG are concerned with any rapidly developing clouds/ceilings below 8000 ft in a stable, capped thermodynamic environment. Therefore, the Applied Meteorology Unit (AMU) was tasked to examine archived events of rapid stable cloud formation resulting in ceilings below 8000 ft, and document the atmospheric regimes favoring this type of cloud development. The AMU examined the cool season months of November to March during the years of 1993-2003 for days that had low-level inversions and rapid, stable low cloud formation that resulted in ceilings violating the Space Shuttle Flight Rules. The AMU wrote and modified existing code to identify inversions from the morning (-10 UTC) Cape Canaveral, FL rawinsonde (XMR) during the cool season and output pertinent sounding information. They parsed all days with cloud ceilings below 8000 ft at TTS, forming a database of possible rapidly-developing low ceiling events. Days with precipitation or noticeable fog burn-off situations were excluded from the database. In the first phase of this work, only the daytime hours were examined for possible ceiling development events since low clouds are easier to diagnose with visible satellite imagery. Phase II of this work includes expanding the database to include nighttime cases which is underway as this abstract is being written. For the nighttime cases, the AMU will analyze both the 00 UTC soundings and the 10 UTC soundings to examine those data for the presence of a low-level inversion. The 00 UTC soundings will probably not have a surface-based inversion, but the presence of inversions or "neutral" layers aloft and below 8,000 ft will most likely help define the stable regime, being a thermodynamically "capped" environment. Occurrences of elevated low-level inversions or stable layers will be highlighted in conjunction with nights that experienced a possible development or onset of cloud ceilings below 8,000 ft. Using these criteria to narrow down the database, the AMU will then use archived IR satellite imagery for these possible events. This presentation summarizes the composite meteorological conditions for 20 daytime event days with rapid low cloud ceiling formation and 48 non-events days consisting of advection or widespread low cloud ceilings and describes two sample cases of daytime rapidly-developing low cloud ceilings. The authors will also summarize the work from the nighttime cases and describe a representative sample case from this data set.

Bauman, William H., III↗

The Nucleosynthetic Heritage of Bennu

The OSIRIS-REx mission sampled the B-type asteroid Bennu and delivered 121.6 g of material to Earth in September 2023. Nucleosynthetic isotope variations are powerful tracers that can be used to establish relationships between different meteorite groups and the returned samples. They can also constrain the samples’ nucleosynthetic heritage, as well as mixing and reservoir formation in the protoplanetary disk. Nucleosynthetic variations reflect the heterogeneous distribution of isotopically distinct dust in the disk, and as such, they provide evidence for the formation of meteorite parent bodies from isotopically distinct dust reservoirs. They are thus also a means to identify exogenous clasts in Bennu materials. Here, we report Ti and Fe isotope data obtained from Bennu samples and carbonaceous chondrites. We also present Ti isotope data for hand-picked matrix from CV and CR chondrites. An isotopic dataset was obtained on aggregate sample OREX-803015-100 consisting of particles typically <500 μm; therefore, its composition represents an average for Bennu materials. A 20.66 mg aliquot was dissolved at Washington University, St. Louis. From this, 5 mg was analysed for Ti and Fe isotopes on a NeptunePlus MC-ICPMS at ETH Zurich; data from a separate aliquot, analysed at Lawrence Livermore National Laboratory, are reported in a companion abstract. Our results demonstrate a close relationship of Bennu to CI and Ryugu samples and therefore a formation outside the snowline, as hypothesized by the mission. Furthermore, the 50 Ti data from the CV and CR matrix fall consistently below the CI and Bennu values, indicating the presence of a uniform matrix mixed with ⁓0.1–0.7% of refractory inclusions in CIs and Bennu.

M. Schönbächler↗

Iodine-Xenon Dating: Sensitive Chronometer for Reprocessing in the Primitive Solar System

The I-Xe chronometer is based upon decay of I-129 to Xe-129 in the early Solar System. Recent comparison of I-Xe system in individual mineral separates from twelve different meteorites with independent Pb-Pb data has demonstrated that I-Xe clock is a reliable sensitive chronometer when applied to a single mineral system. Since most iodine hosts are secondary minerals, the I-Xe clock generally records post-formational processing, providing the information on early meteorite evolution. Absolute I-Xe ages can be found by normalization using the measured I-Xe and Pb-Pb ages of Acapulco phosphate (4.557 plus or minus 0.002 Ga). Absolute ages for the I-Xe internal standards Shallow water and Bjurbole, 4.566 plus or minus 0.002 Ga and 4.565 plus or minus 0.003 Ga, respectively, provide absolute I-Xe ages for all other samples. The I-Xe age of bulk meteorite is meaningful and interpretable only when the carrier of primordial iodine is a major mineral phase (e. g., enstatite chondrites). Using the "monomineral" approach, separated phases from the Richardton H5 chondrite provide a case history of post-formational alteration in this object. This work applies the I-Xe chronometer to determine the times of reprocessing of selected minerals in single meteorite types. A preliminary account of this work was recently reported. Additional information is contained in the original extended abstract.

Pravdivtseva, O. V.↗

Encoding of head acceleration in vestibular neurons. I. Spatiotemporal response properties to linear acceleration

1. Extracellular recordings were made in and around the medial vestibular nuclei in decerebrated rats. Neurons were functionally identified according to their semicircular canal input on the basis of their responses to angular head rotations around the yaw, pitch, and roll head axes. Those cells responding to angular acceleration were classified as either horizontal semicircular canal-related (HC) or vertical semicircular canal-related (VC) neurons. The HC neurons were further characterized as either type I or type II, depending on the direction of rotation producing excitation. Cells that lacked a response to angular head acceleration, but exhibited sensitivity to a change in head position, were classified as purely otolith organ-related (OTO) neurons. All vestibular neurons were then tested for their response to sinusoidal linear translation in the horizontal head plane. 2. Convergence of macular and canal inputs onto central vestibular nuclei neurons occurred in 73% of the type I HC, 79% of the type II HC, and 86% of the VC neurons. Out of the 223 neurons identified as receiving macular input, 94 neurons were further studied, and their spatiotemporal response properties to sinusoidal stimulation with pure linear acceleration were quantified. Data were obtained from 33 type I HC, 22 type II HC, 22 VC, and 17 OTO neurons. 3. For each neuron the angle of the translational stimulus vector was varied by 15, 30, or 45 degrees increments in the horizontal head plane. In all tested neurons, a direction of maximum sensitivity was identified. An interesting difference among neurons was their response to translation along the direction perpendicular to that that produced the maximum response ("null" direction). For the majority of neurons tested, it was possible to evoke a nonzero response during stimulation along the null direction always had response phases that varied as a function of stimulus direction. 4. These spatiotemporal response properties were quantified in two independent ways. First, the data were evaluated on the basis of the traditional one-dimensional principle governed by the "cosine gain rule" and constant response phase at different stimulus orientations. Second, the response gain and phase values that were empirically determined for each orientation of the applied linear stimulus vector were fitted on the basis of a newly developed formalism that treats neuronal responses as exhibiting two-dimensional spatial sensitivity. Thus two response vectors were determined for each neuron on the basis of its response gain and phase at different stimulus directions in the horizontal head plane.(ABSTRACT TRUNCATED AT 400 WORDS).

NASA Discipline Neuroscience↗

Phylogeny of the ammonia-producing ruminal bacteria Peptostreptococcus anaerobius, Clostridium sticklandii, and Clostridium aminophilum sp. nov

In previous studies, gram-positive bacteria which grew rapidly with peptides or an amino acid as the sole energy source were isolated from bovine rumina. Three isolates, strains C, FT (T = type strain), and SR, were considered to be ecologically important since they produced up to 20-fold more ammonia than other ammonia-producing ruminal bacteria. On the basis of phenotypic criteria, the taxonomic position of these new isolates was uncertain. In this study, the 16S rRNA sequences of these isolates and related bacteria were determined to establish the phylogenetic positions of the organisms. The sequences of strains C, FT, and SR and reference strains of Peptostreptococcus anaerobius, Clostridium sticklandii, Clostridium coccoides, Clostridium aminovalericum, Acetomaculum ruminis, Clostridium leptum, Clostridium lituseburense, Clostridium acidiurici, and Clostridium barkeri were determined by using a modified Sanger dideoxy chain termination method. Strain C, a large coccus purported to belong to the genus Peptostreptococcus, was closely related to P. anaerobius, with a level of sequence similarity of 99.6%. Strain SR, a heat-resistant, short, rod-shaped organism, was closely related to C. sticklandii, with a level of sequence similarity of 99.9%. However, strain FT, a heat-resistant, pleomorphic, rod-shaped organism, was only distantly related to some clostridial species and P. anaerobius. On the basis of the sequence data, it was clear that strain FT warranted designation as a separate species. The closest known relative of strain FT was C. coccoides (level of similarity, only 90.6%). Additional strains that are phenotypically similar to strain FT were isolated in this study.(ABSTRACT TRUNCATED AT 250 WORDS).

NASA Program Exobiology↗

Cross Calibration of TOMS, SBUV/2 and SCIAMACHY Radiances from Ground Observations

We have shown that validation of radiances is a very effective means for correcting absolute accuracy and long term drifts of backscatter type satellite measurements. This method by-passes the algorithms used for both satellite and ground based measurements which are normally used to validate and correct the satellite data. A new method for satellite validation is planned which will compliment measurements from the existing ground-based networks. This method will employ very accurate comparisons between ground based zenith sky radiances and satellite nadir radiances. These comparisons will rely heavily on the experience derived from the Shuttle SBUV (SSBUV) program which provided a reference standard of radiance measurements for SBUV/2, TOMS, and GOME. This new measurement program, called 'Skyrad', employs two well established capabilities at the Goddard Space Flight Center, 1) the SSBUV calibration facilities and 2) the radiative transfer codes used for the TOMS and SBUV/2 algorithms and their subsequent refinements. Radiative transfer calculations show that ground based zenith sky and satellite nadir backscatter ultraviolet comparisons can be made very accurately under certain viewing conditions. The Skyrad instruments (SSBUV, Brewer spectrophotometers, and possibly others) will be calibrated and maintained to a precision of a few tenths of a percent. Skyrad data will then enable long term calibration of upcoming satellite instruments such as QuickTOMS, SBUV/2s and SCIAMACHY with a high degree of precision. This technique can be further employed to monitor the performance of future instruments such as GOMEZ, OMI, and OMPS. Additional information is included in the original extended abstract.

Hilsenrath, Ernest↗

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

A Study of the Non-Thermal X-Ray Emission of Shell-Type Supernova Remnants

The term of the second year of the award is the period from March 15, 2001 to March 14, 2002. As was the specified goal of the second year, we analyzed the spatial and spectral X-ray data for several young supernova remnants. I published a paper about an analysis of the ROSAT, ASCA, and RXTE data for the supernova remnant SN 1006. A copy of this paper is enclosed. As described in the paper, we believe that we accurately modeled the nonthermal X-ray emission from the remnant. The results of this analysis are used to infer properties about the cosmic rays accelerated in the remnant and to argue that the strength of the magnetic field in the remnant is considerably larger than the value of about 10 micro G reported elsewhere. The results were presented at the August 2001 International Cosmic Ray Conference in Hamburg, German),. I began analyzing new Chandra X-ray data for SN 1006. This analysis will yield the first measure of the strength of the magnetic field in the remnant for the first time. Preliminary results support our previous conclusion that the magnetic field strength in the remnant is much larger than 10 micro G. The field strength seems to be about the strength expected based on an equipartition calculation. The result supports recent models that describe the how the shock structure is influenced by the efficient acceleration of cosmic rays. This work will be presented at the April 2002 High Energy Astrophysics Division meeting in Albuquerque and published this summer. A copy of the abstract for the talk is enclosed. I began studying new Chandra X-ray data for the supernova remnant Cas A. The results of this work show that the forward shock is a region where cosmic-ray electrons are accelerated, which is consistent with theoretical expectations. The work was presented at the September 2001 Two Years of Science with Chandra symposium in Washington, DC. A copy of the poster paper is enclosed. Dr. Thomas Pannuti, whose research work is supported by the award, analyzed ROSAT, ASCA, and RXTE data for the supernova remnant G347.3-0.5. The results show for the first time that thermal X-ray emission is produced in the remnant. As expected, the thermal emission is consistent with a model in which the remnant is expanding into a very low density environment. The results also provide an accurate description of the nonthermal emission from the remnant. Dr. Pannuti presented this work at several conferences. A copy of the paper for the proceedings of the August 2001 Neutron Stars in Supernova Remnants symposium in enclosed. The work will be submitted to the Astrophysical Journal in the next few months.

Allen, Glenn E.↗

Launch Pad in a Box

NASA Kennedy Space Center (KSC) is developing a new deployable launch system capability to support a small class of launch vehicles for NASA and commercial space companies to test and launch their vehicles. The deployable launch pad concept was first demonstrated on a smaller scale at KSC in 2012 in support of NASA Johnson Space Center's Morpheus Lander Project. The main objective of the Morpheus Project was to test a prototype planetary lander as a vertical takeoff and landing test-bed for advanced spacecraft technologies using a hazard field that KSC had constructed at the Shuttle Landing Facility (SLF). A steel pad for launch or landing was constructed using a modular design that allowed it to be reconfigurable and expandable. A steel flame trench was designed as an optional module that could be easily inserted in place of any modular steel plate component. The concept of a transportable modular launch and landing pad may also be applicable to planetary surfaces where the effects of rocket exhaust plume on surface regolith is problematic for hardware on the surface that may either be damaged by direct impact of high speed dust particles, or impaired by the accumulation of dust (e.g., solar array panels and thermal radiators). During the Morpheus free flight campaign in 2013-14, KSC performed two studies related to rocket plume effects. One study compared four different thermal ablatives that were applied to the interior of a steel flame trench that KSC had designed and built. The second study monitored the erosion of a concrete landing pad following each landing of the Morpheus vehicle on the same pad located in the hazard field. All surfaces of a portable flame trench that could be directly exposed to hot gas during launch of the Morpheus vehicle were coated with four types of ablatives. All ablative products had been tested by NASA KSC and/or the manufacturer. The ablative thicknesses were measured periodically following the twelve Morpheus free flight tests. The thermal energy from the Morpheus rocket exhaust plume was only found to be sufficient to cause appreciable ablation of one of the four ablatives that were tested. The rocket exhaust plume did cause spalling of concrete during each descent and landing on a landing pad in the hazard field. The Extended Abstract ASE Earth and Space Conference April, 2016 - Orlando, FL concrete surface was laser scanned following each Morpheus landing, and the total volume of spalled concrete that eroded between the first and final landings of the Morpheus Project's test campaign was estimated. This paper will also describe a new deployable launch system (DLS) capability that is being developed at KSC and was publicly announced in May 2015 (KSC Partnerships, 2015). The DLS is a set of multi-user Ground Support Equipment that will be used to test and launch small class launch vehicles. The system is comprised of four main elements: the Launch Stand, the Flame Deflector, the Pad Apron and the KAMAG transporter. The system elements are designed to be deployed at launch or test sites within the KSC/CCAFS boundaries. The DLS is intended to be used together with the Fluid and Electrical System of the Universal Propellant Servicing Systems and Mobile Power Data and Communications Unit.

Ablatives Testing↗

Launch Pad in a Box

NASA Kennedy Space Center (KSC) is developing a new deployable launch system capability to support a small class of launch vehicles for NASA and commercial space companies to test and launch their vehicles. The deployable launch pad concept was first demonstrated on a smaller scale at KSC in 2012 in support of NASA Johnson Space Center's Morpheus Lander Project. The main objective of the Morpheus Project was to test a prototype planetary lander as a vertical takeoff and landing test-bed for advanced spacecraft technologies using a hazard field that KSC had constructed at the Shuttle Landing Facility (SLF). A steel pad for launch or landing was constructed using a modular design that allowed it to be reconfigurable and expandable. A steel flame trench was designed as an optional module that could be easily inserted in place of any modular steel plate component. The concept of a transportable modular launch and landing pad may also be applicable to planetary surfaces where the effects of rocket exhaust plume on surface regolith is problematic for hardware on the surface that may either be damaged by direct impact of high speed dust particles, or impaired by the accumulation of dust (e.g., solar array panels and thermal radiators). During the Morpheus free flight campaign in 2013-14, KSC performed two studies related to rocket plume effects. One study compared four different thermal ablatives that were applied to the interior of a steel flame trench that KSC had designed and built. The second study monitored the erosion of a concrete landing pad following each landing of the Morpheus vehicle on the same pad located in the hazard field. All surfaces of a portable flame trench that could be directly exposed to hot gas during launch of the Morpheus vehicle were coated with four types of ablatives. All ablative products had been tested by NASA KSC and/or the manufacturer. The ablative thicknesses were measured periodically following the twelve Morpheus free flight tests. The thermal energy from the Morpheus rocket exhaust plume was only found to be sufficient to cause appreciable ablation of one of the four ablatives that were tested. The rocket exhaust plume did cause spalling of concrete during each descent and landing on a landing pad in the hazard field. The Extended Abstract ASE Earth and Space Conference April, 2016 - Orlando, FL concrete surface was laser scanned following each Morpheus landing, and the total volume of spalled concrete that eroded between the first and final landings of the Morpheus Project's test campaign was estimated. This paper will also describe a new deployable launch system (DLS) capability that is being developed at KSC and was publicly announced in May 2015 (KSC Partnerships, 2015). The DLS is a set of multi-user Ground Support Equipment that will be used to test and launch small class launch vehicles. The system is comprised of four main elements: the Launch Stand, the Flame Deflector, the Pad Apron and the KAMAG transporter. The system elements are designed to be deployed at launch or test sites within the KSC/CCAFS boundaries. The DLS is intended to be used together with the Fluid and Electrical System of the Universal Propellant Servicing Systems and Mobile Power Data and Communications Unit

Mobile Launch Pad Development↗

Overview of the Life Science Glovebox (LSG) Facility and the Research Performed in the LSG

The Life Science Glovebox (LSG) is a rack facility currently under development with a projected availability for International Space Station (ISS) utilization in the FY2018 timeframe. Development of the LSG is being managed by the Marshal Space Flight Center (MSFC) with support from Ames Research Center (ARC) and Johnson Space Center (JSC). The MSFC will continue management of LSG operations, payload integration, and sustaining following delivery to the ISS. The LSG will accommodate life science and technology investigations in a "workbench" type environment. The facility has a.Ii enclosed working volume that is held at a negative pressure with respect to the crew living area. This allows the facility to provide two levels of containment for handling Biohazard Level II and lower biological materials. This containment approach protects the crew from possible hazardous operations that take place inside the LSG work volume. Research investigations operating inside the LSG are provided approximately 15 cubic feet of enclosed work space, 350 watts of28Vdc and l IOVac power (combined), video and data recording, and real time downlink. These capabilities will make the LSG a highly utilized facility on ISS. The LSG will be used for biological studies including rodent research and cell biology. The LSG facility is operated by the Payloads Operations Integration Center at MSFC. Payloads may also operate remotely from different telescience centers located in the United States and different countries. The Investigative Payload Integration Manager (IPIM) is the focal to assist organizations that have payloads operating in the LSG facility. NASA provides an LSG qualification unit for payload developers to verify that their hardware is operating properly before actual operation on the ISS. This poster will provide an overview of the LSG facility and a synopsis of the research that will be accomplished in the LSG. The authors would like to acknowledge Ames Research Center, Johnson Space Center, Teledyne Brown Engineering, MOOG-Bradford Engineering and the entire LSG Team for their inputs into this abstract.

Cole, J. Michael↗

Isotopic Investigations of Nebular and Parent Body Processes with a High Sensitivity Ion Microprobe

NASA supported the development of the CAMECA ims 1270 ion microprobe at UCLA for applications in cosmochemistry. The primary investigations centered on measuring the microscopic distributions of key isotopic abundances in primitive meteoritic materials as a means of constraining the nature of important thermal and chemical processes in the solar nebula and the timescales associated with those processes. Our prior work on oxygen isotope anomalies in a wide variety of meteoritic materials had led us to a view of a spatially heterogeneous nebula, and in particular, a restricted region for CAI formation that is characterized by O-16-rich gas. Because of its production of CAIs in the energetic local environment near the protosun, the existence of a natural transport mechanism via bipolar outflows, and a general astrophysical plausibility, we were attracted to the fluctuating X-wind model which had been put forward by Frank Shu, Typhoon Lee, and colleagues. With our collaborators, we undertook a series of investigations to test the viability of this hypothesis; this work led directly to the discovery of live Be in CAIs and a clear demonstration of the existence of 160-rich condensates, which necessarily implies an O-16-rich gaseous reservoir in the nebula. Both of these observations fit well within the context of X-wind type models, i.e. formation of CAIs (or condensation of their precursors) in the reconnection ring sunward of the inner edge of the accretion disk, however much work remains to be done to test whether the physical parameters of the model can quantitatively predict not only the thermal histories of CAIs but also their radioactivity. The issue of spatial heterogeneity in the nebula, central to the X-wind model, is also at the heart of any chronology based on short-lived radioisotopes. In this work, we followed up on strong hints for presence of exireme:j: (53 day) short-lived Be-7, and have prepared a manuscript (in revision). We also measured A1-Mg systematics by a combined approach of high-precision multiple-collector SIMS analyses, traditional analyses on the UCLA ims 1270, and high-spatial resolution analyses using a NanoSIMS instrument. The data help to deconvolve effects due to partial resetting of the A1-Mg system by multiple thermal events. Finally, we initiated investigations related to nebular heterogeneity with a new initiative of in situ high-precision sulfur isotope analyses of sulfides from a wide variety of components of chondrites. The ultimate goal of all this work is to help develop a better understanding of the relationships between CAIs and chondrules, the astrophysical environments in which they formed, and the timescales of nebular processes. As detailed in Table 1, for the project period, 14 manuscripts were published and 17 abstracts were presented describing the work.

McKeegan, Kevin D.↗