Search NASA⌕ Search

SEARCH · Search NASA

Results for “Using”

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 235 records · Page 13

Using Machine Learning to Infer Material Properties of Debris Fragments from X-ray Images in the DebriSat Project

The DebriSat project is a collaboration effort with the NASA Orbital Debris Program Office, the U.S. Space Force Space Systems Command Center, The Aerospace Corporation, and the University of Florida. To date, over 200,000 fragments from this ground-based, hypervelocity impact experiment have been collected, and processing is underway to determine their physical characteristics, such as material, shape, color, characteristic length, and average cross-sectional area. The x-ray process is primarily used to identify the location of the fragments and estimated size for extraction, so that these physical characteristics can be assessed. This paper proposes a machine learning-based approach to characterize materials from x-ray images of debris fragments embedded in soft-catch foam used in the DebriSat project. The novel methodology discussed in this paper will highlight the use of x-ray imagery data to characterize these fragments without extraction or a human-in-the-loop. Both supervised and unsupervised machine learning techniques are utilized with this approach to infer the physical parameters of the fragments embedded in the soft-catch foam panels used in the impact experiment based on x-ray images of the foam panels. Additionally, 3D reconstructions of the extracted fragments are created with images taken from two different angles using the structure from motion (SfM) method. The characteristic lengths and shape from the 3D reconstruction, alongside the physical characteristics of the debris, are used in the inference of the material type. To develop and test the approach, a dataset of x-ray images of debris fragments of varying sizes and materials is collected. Supervised learning methods such as convolutional neural networks (CNNs), support vector machines (SVM), decision trees, and random forest classifiers are used due to the high-dimensional feature spaces of the debris and nonlinear decision boundaries for material categorization. Given the limited pre-labeled data of embedded debris materials smaller than 10 mm, unsupervised machine learning techniques such as clustering algorithms and autoencoders are used, in addition to supervised learning methods. The clustering algorithms group similar fragments together based on their physical properties, and autoencoders reduce the dimensionality of the x ray images and extract relevant features. The performance of the proposed approach's is analyzed using a range of statistical methods, including confusion matrices, receiver operating characteristic curves, and precision-recall curves. The results are compared with those obtained using a baseline approach that relies on manual identification and classification of debris fragments. To evaluate the effectiveness of different machine learning methods, statistical tests such as t-tests, ANOVA, and cross-validation are performed, comparing the performance of CNNs, SVMs, clustering algorithms, and autoencoders. Additional analysis needs to be conducted to identify any sources of bias or variability that may affect the results, such as variations in imaging conditions or fragmentation patterns. Other topics explored are limitations, refinements, and the potential use of semi-supervised learning techniques, such as self-training to label unlabeled datasets and co-training using x-ray images taken from two different angles as two different models.

Saik Anam Siam↗

Micrometer to Atomic Scale Characterisation of Primitive Astromaterials Using A Novel Method, Metis-Fa: A Coordinated Atom Probe Tomography, Transmission Electron Microscopy and NanoSIMS Approach

Introduction: Presolar grains preserve isotopic, chemical and microstructural records of physical and chemical processing, and formation mechanisms within a vast range of evolved stellar systems, the interstellar medium, solar nebula and their parent bodies. These evolutionary records are preserved at the micrometric to atomic scale, requiring coordinated studies to expand our understanding of evolutionary processes occurringthroughout ours and external stellar systems [1]. NanoSIMS enabled rapid in situ identification and isotopic characterisation of presolar grains and their stellar origins using 17O/16O and 18O/16O, and 13C/12C isotopic ratios [1]. Coordination with transmission electron microscopy (TEM) revealed crystallographic and localised contextual relationships and quantitively constrained their major and minor compositions [1]. However, trace elements cannot be quantified, the most sensitive geochemical tracers of environmental conditions, essential to unravelling the chemical record of their evolutionary pathway and parent stellar systems [2-3] . Furthermore, owing to the combination of technical limitations (only 5 – 7 isotopes can be measured per NanoSIMS run) and their small grain sizes of 100 nm < 3 μm (with rare exceptions in nanodiamonds (2 nm ≤) and SiC (< 40 μm)), the number of measurable isotopes per grain volume is limited [1,3] . Through more comprehensive isotopic studies of presolar grains, NanoSIMS studies have shown the importance of the latter, identifying Fe and Mg as important indicators of nuclear synthetic processing and their stellar origins, respectively [4- 5]. Coordination of NanoSIMS and Atom Probe Tomography (APT) revealed morphological signatures, and isotopic and chemical signatures at major to trace levels without requirements for preselection of elements [6]. However, crystallographic signatures in localized contextual relationships cannot be measured. Consequently, coordination of NanoSIMS, TEM and APT is essential to gain access to almost all contextual, structural and geochemical signatures within each presolar grain.Transmission electron microscopy requires a 100 nm thin lamella which is unstable in APT and would not produce any viable data. Atom probe tomography requires a needle-shaped specimen which when measured in TEM removes the local context, impacts the quality of the TEM diffraction images due to the shank angle of the needle, and can alter the chemistry of beam sensitive materials from the higher degree of surface exposure at the tip. To address these issues, we developed METIS-Fa (Multi-technical measurements of Electron Transparent materials using an Indium Sandwich - a FIB approach). A novel method which enables coordination of NanoSIMS, TEM and APT for generalized and targeted studies of individual grains, including beam sensitive materials, without compromising sample preparation requirements for TEM and APT. This method requires only indium and a Focus Ion Beam (FIB), minimizing the movement of fragile materials while still enabling preparation of TEM lamella into APT needles. Samples: Initial experimental development and testing of the method occurred at Astromaterials Research and Exploration Science (ARES), Johnson Space Centre (JSC), NASA and APT measurements and needle preparation occurred at JdLC, Curtin University. Synthetic silicate samples were used as analogs for presolar silicates when performing a trial run of the method. Samples were extracted from a polished thin section created at JSC, NASA, comprised of 38 wt.% Si, 17 wt.% FeO, 13 wt.% MgO, 12 wt.% Al, 11 wt.% Ca based on electron microprobe analysis (EMPA) [8] . Experimental details, pressure and temperature conditions were presented in [8] and references therein. Testing of the capability to target individual grains in mineral matrices using this method for acquisition in APT, measured matrix regions in meteoritic thin sections of primitive meteorites. These meteorites and their identified presolar grains for future targeted studies are detailed in [9]. Techniques: The TEM-FIB lamella were prepared using a FIB. An e-beam assisted pt deposition was used as a protective coating for the synthetic and meteoritic samples. When targeting individual grains, a secondary e-beam assisted pt deposition button is placed over the desired grain before the protective coating to denote its location. A JEOL 2500SE field-emission TEM was used for high-resolution imaging, energy-dispersive X-ray (EDX) and electron diffraction data.TheMETIS-Fa method was experimentally designed, tested and executed using a FIB at ARES, JSCNASA. Needles for APT were prepared using the Tescan Lyra3 GM Dual Beam Focus Ion Beam (FIB) Field Emission SEM (FE-SEM) at the JdLC, Curtin University. Atom probe tomography measurements were conducted using a CAMECA Local Electrode Atom Probe, LEAP 4000X HR. Two pure indium needles were analyzed initially to constraining acquisition parameters and stability under the beam. Manual acquisition was required to maintain evaporation of specimen’s at the apex and monitor interactions with measurement parameters. Experimental Design: Indium foil is pressed onto an Al stub with a pneumatic press and mounted into the FIB adjacent to the TEM-FIB lamella of interest. Using a FIB, two indium slices (5 μm x ~300 nm x 3 μm) are extracted from indium foil and aligned with the TEM-FIB lamella before touching the TEM-FIB lamella. Each slice is then attached through cold welding to the FIB-TEM lamella. This approach eliminates the need for chemical treatments and proved effective for aligning the Indium within the region of interest for APT, holding it in place for up to 4 days during testing.Once both indium slices are attached within their pre-determined region per grain targeting requirements, they are gradually melted onto the FIB-TEM lamella.When targeting a specific grain, measurements should be taken of the pt button and its distance from edge to edge of the lamella before and after sandwiching. A secondary button should be placed over the same region after the Indium slices have been attached to improve precision when preparing APT needles. Results: Figure 1 shows two indium slices melted onto a FIB-TEM lamella, adding additional bulk for preparation into APT needles as shown in Figure 2 [7] . The latter was essential so samples could be measured in TEM and APT without compromising sample preparation requirements and consequently data quality and acquisition stability. METIS-Fa proved effective forimproving geometry. Figure 3 shows a successful APTrun of the synthetic silicate. EMPA, TEM and APTshowed no chemical alterations. During targetingtesting, a solar silicate grain was successfully identifiedand measured in TEM, and prepared into an APTneedle. However, the indium was melted too long during sample preparation, causing expansion andformation of internal porosity leading to sample loss.Conclusion: METIS-Fa greatly expands the number of isotopic and chemical signatures measured per grain volume, and enables measurements of contextual, structural, crystallographic, isotopic and geochemical signatures within individual grains. Gaining access to such a vast range of evolutionary signatures required for expanding our understanding of external stellar and planetary systems and the evolution of our solar system. This method was designed for application to a vast range of phases including being sensitive materials and thus provides a way for coordination of NanoSIMS, TEM and APT not just for the study of presolar grains and by extension primitive astromaterials, but studies in a vast range of other fields including the geosciences and material sciences.Acknowledgments: Thankyou to ARES, JSC, NASA; JdLC Curtin University and Space Science Technology Centre for the use of laboratory facilities and funding [confirm].

Nicole D Nevill↗

Land use and mapping

This summary is divided into two basic sections-one dealing with land use classification and delineation, and the other dealing with mapping. The term land use classification is used in respect to the actual use of land rather than land capability, land suitability, or the potential use of land. The classification of actual use of the land, as defined by man's activities that are related to the land, may be only inferred, rather than directly interpreted, in the case of the identification and classification of some surface features or vegetation cover types. Also, in the case of some surface features or vegetational cover types, the specific activity involving man's use of the land may not be designated in a four-level classification system until level 3 or level 4 is reached. Most investigations employed or implied a hierarchial land use classification scheme with more than two levels, but mainly addressed themselves to classifying and delineating surface features (land use) that would fall in the first two levels of a three- or four-level hierarchial scheme. Although not all investigators used a hierarchial classification scheme or concurred with the idea (computer-implemented classifications with digital data are not conducive to a hierarchial classification approach), the classification system proposed by the U.S. Department of the Interior is used as reference.

Joyce, A. T.↗

Kalman filter based range estimation for autonomous navigation using imaging sensors

Rotorcraft operating in high-threat environments fly close to the surface of the earth to utilize surrounding terrain, vegetation, or man-made objects to minimize the risk of being detected by the enemy. Two basic requirements for obstacle avoidance are detection and range estimation of the object from the current rotorcraft position. There are many approaches to the estimation of range using a sequence of images. The approach used in this analysis differes from previous methods in two significant ways: an attempt is not made to estimate the rotorcraft's motion from the images; and the interest lies in recursive algorithms. The rotorcraft parameters are assumed to be computed using an onboard inertial navigation system. Given a sequence of images, using image-object differential equations, a Kalman filter (Sridhar and Phatak, 1988) can be used to estimate both the relative coordinates and the earth coordinates of the objects on the ground. The Kalman filter can also be used in a predictive mode to track features in the images, leading to a significant reduction of search effort in the feature extraction step of the algorithm. The purpose is to summarize early results obtained in extending the Kalman filter for use with actual image sequences. The experience gained from the application of this algorithm to real images is very valuable and is a necessary step before proceeding to the estimation of range during low-altitude curvilinear flight. A simple recursive method is presented to estimate range to objects using a sequence of images. The method produces good range estimates using real images in a laboratory set up and needs to be evaluated further using several different image sequences to test its robustness. The feature generation part of the algorithm requires further refinement on the strategies to limit the number of features (Sridhar and Phatak, 1989). The extension of the work reported here to curvilinear flight may require the use of the extended Kalman filter.

Sridhar, Banavar↗

Knowledge repositories for multiple uses

In the life cycle of a complex physical device or part, for example, the docking bay door of the Space Station, there are many uses for knowledge about the device or part. The same piece of knowledge might serve several uses. Given the quantity and complexity of the knowledge that must be stored, it is critical to maintain the knowledge in one repository, in one form. At the same time, because of quantity and complexity of knowledge that must be used in life cycle applications such as cost estimation, re-design, and diagnosis, it is critical to automate such knowledge uses. For each specific use, a knowledge base must be available and must be in a from that promotes the efficient performance of that knowledge base. However, without a single source knowledge repository, the cost of maintaining consistent knowledge between multiple knowledge bases increases dramatically; as facts and descriptions change, they must be updated in each individual knowledge base. A use-neutral representation of a hydraulic system for the F-111 aircraft was developed. The ability to derive portions of four different knowledge bases is demonstrated from this use-neutral representation: one knowledge base is for re-design of the device using a model-based reasoning problem solver; two knowledge bases, at different levels of abstraction, are for diagnosis using a model-based reasoning solver; and one knowledge base is for diagnosis using an associational reasoning problem solver. It was shown how updates issued against the single source use-neutral knowledge repository can be propagated to the underlying knowledge bases.

Williamson, Keith↗

Providing the Persistent Data Storage in a Software Engineering Environment Using Java/COBRA and a DBMS

An investigation was undertaken to build the software foundation for the WHERE (Web-based Hyper-text Environment for Requirements Engineering) project. The TCM (Toolkit for Conceptual Modeling) was chosen as the foundation software for the WHERE project which aims to provide an environment for facilitating collaboration among geographically distributed people involved in the Requirements Engineering process. The TCM is a collection of diagram and table editors and has been implemented in the C++ programming language. The C++ implementation of the TCM was translated into Java in order to allow the editors to be used for building various functionality of the WHERE project; the WHERE project intends to use the Web as its communication back- bone. One of the limitations of the translated software (TcmJava), which militated against its use in the WHERE project, was persistent data management mechanisms which it inherited from the original TCM; it was designed to be used in standalone applications. Before TcmJava editors could be used as a part of the multi-user, geographically distributed applications of the WHERE project, a persistent storage mechanism must be built which would allow data communication over the Internet, using the capabilities of the Web. An approach involving features of Java, CORBA (Common Object Request Broker), the Web, a middle-ware (Java Relational Binding (JRB)), and a database server was used to build the persistent data management infrastructure for the WHERE project. The developed infrastructure allows a TcmJava editor to be downloaded and run from a network host by using a JDK 1.1 (Java Developer's Kit) compatible Web-browser. The aforementioned editor establishes connection with a server by using the ORB (Object Request Broker) software and stores/retrieves data in/from the server. The server consists of a CORBA object or objects depending upon whether the data is to be made persistent on a single server or multiple servers. The CORBA object providing the persistent data server is implemented using the Java progranu-ning language. It uses the JRB to store/retrieve data in/from a relational database server. The persistent data management system provides transaction and user management facilities which allow multi-user, distributed access to the stored data in a secure manner.

Dhaliwal, Swarn S.↗

NPSS on NASA's IPG: Using CORBA and Globus to Coordinate Multidisciplinary Aeroscience Applications

Within NASA's High Performance Computing and Communication (HPCC) program, the NASA Glenn Research Center is developing an environment for the analysis/design of aircraft engines called the Numerical Propulsion System Simulation (NPSS). The vision for NPSS is to create a "numerical test cell" enabling full engine simulations overnight on cost-effective computing platforms. To this end, NPSS integrates multiple disciplines such as aerodynamics, structures, and heat transfer and supports "numerical zooming" between O-dimensional to 1-, 2-, and 3-dimensional component engine codes. In order to facilitate the timely and cost-effective capture of complex physical processes, NPSS uses object-oriented technologies such as C++ objects to encapsulate individual engine components and CORBA ORBs for object communication and deployment across heterogeneous computing platforms. Recently, the HPCC program has initiated a concept called the Information Power Grid (IPG), a virtual computing environment that integrates computers and other resources at different sites. IPG implements a range of Grid services such as resource discovery, scheduling, security, instrumentation, and data access, many of which are provided by the Globus toolkit. IPG facilities have the potential to benefit NPSS considerably. For example, NPSS should in principle be able to use Grid services to discover dynamically and then co-schedule the resources required for a particular engine simulation, rather than relying on manual placement of ORBs as at present. Grid services can also be used to initiate simulation components on parallel computers (MPPs) and to address inter-site security issues that currently hinder the coupling of components across multiple sites. These considerations led NASA Glenn and Globus project personnel to formulate a collaborative project designed to evaluate whether and how benefits such as those just listed can be achieved in practice. This project involves firstly development of the basic techniques required to achieve co-existence of commodity object technologies and Grid technologies; and secondly the evaluation of these techniques in the context of NPSS-oriented challenge problems. The work on basic techniques seeks to understand how "commodity" technologies (CORBA, DCOM, Excel, etc.) can be used in concert with specialized "Grid" technologies (for security, MPP scheduling, etc.). In principle, this coordinated use should be straightforward because of the Globus and IPG philosophy of providing low-level Grid mechanisms that can be used to implement a wide variety of application-level programming models. (Globus technologies have previously been used to implement Grid-enabled message-passing libraries, collaborative environments, and parameter study tools, among others.) Results obtained to date are encouraging: we have successfully demonstrated a CORBA to Globus resource manager gateway that allows the use of CORBA RPCs to control submission and execution of programs on workstations and MPPs; a gateway from the CORBA Trader service to the Grid information service; and a preliminary integration of CORBA and Grid security mechanisms. The two challenge problems that we consider are the following: 1) Desktop-controlled parameter study. Here, an Excel spreadsheet is used to define and control a CFD parameter study, via a CORBA interface to a high throughput broker that runs individual cases on different IPG resources. 2) Aviation safety. Here, about 100 near real time jobs running NPSS need to be submitted, run and data returned in near real time. Evaluation will address such issues as time to port, execution time, potential scalability of simulation, and reliability of resources. The full paper will present the following information: 1. A detailed analysis of the requirements that NPSS applications place on IPG. 2. A description of the techniques used to meet these requirements via the coordinated use of CORBA and Globus. 3. A description of results obtained to date in the first two challenge problems.

Lopez, Isaac↗

Simulation of a Periodic Jet in a Crossflow with a RANS Solver Using an Unstructured Grid

A second-order unstructured-grid code, developed and used primarily for steady aerodynamic simulations, is applied to the synthetic jet in a cross flow. The code, FUN3D, is a vertex-centered finite-volume method originally developed by Anderson[1, 2], and is currently supported by members of the Fast Adaptive Aerospace Tools team at NASA Langley. Used primarily for design[3] and analysis[4] of steady aerodynamic configurations, FUN3D incorporates a discrete adjoint capability, and supports parallel computations using MPI. A detailed description of the FUN3D code can be found in the references given above. The code is under continuous development and contains a variety of flux splitting algorithms for the inviscid terms, two methods for computing gradients, several turbulence models, and several solution methodologies; all in varying states of development. Only the most robust and reliable components, based on experiences with steady aerodynamic simulations, were employed in this work. As applied in this work, FUN3D solves the Reynolds averaged Navier-Stokes equations using the one equation turbulence model of Spalart and Allmaras[5]. The spatial discretization is formed on unstructured meshes using a vertex-centered approach. The inviscid terms are evaluated by a flux-difference splitting formulation using least-squares reconstruction and Roe-type approximate Riemann fluxes. Green-Gauss gradient evaluations are used for viscous and turbulence modeling terms. The discrete spatial operator is combined with a backward time operator which is then solved iteratively using point or line Gauss-Seidel and local time stepping in a pseudo time. For steady flows, the physical time step is set to infinity and the pseudo time step is ramped up with the iteration count. A second-order backward in time operator is used for time accurate flows with 20 to 50 steps in the pseudo time applied at each physical time step. For this effort, FUN3D was modified to support spatially varying boundary and initial conditions, and unsteady boundary conditions. Also, a specialized in/out flow boundary condition was implemented to model the action of the diaphragm. This boundary condition is described below in more detail. The grids were generated using the internally developed codes GridEX[6] for meshing the surfaces and inviscid regions of the domain, and for CAD access; and MesherX[7] for meshing the viscous regions. Grid spacing in on the surfaces and in the inviscid regions are indirectly controlled by specifying sources. The viscous layers are generated using an advancing layer technique. MeshersX allows the user to control the spatial variation of the first step off the surface, growth rates, and the termination criterion by providing small problem dependent subroutines.

Atkins, H. L.↗

Use of Quality Controlled AIRS Temperature Soundings to Improve Forecast Skill

AIRS was launched on EOS Aqua on May 4, 2002, together with AMSU-A and HSB, to form a next generation polar orbiting infrared and microwave atmospheric sounding system. The primary products of AIRS/AMSU-A are twice daily global fields of atmospheric temperature-humidity profiles, ozone profiles, sea/land surface skin temperature, and cloud related parameters including OLR. Also included are the clear column radiances used to derive these products which are representative of the radiances AIRS would have seen if there were no clouds in the field of view. All products also have error estimates. The sounding goals of AIRS are to produce 1 km tropospheric layer mean temperatures with an rms error of 1K, and layer precipitable water with an rms error of 20 percent, in cases with up to 90 percent effective cloud cover. The products are designed for data assimilation purposes for the improvement of numerical weather prediction, as well as for the study of climate and meteorological processes. With regard to data assimilation, one can use either the products themselves or the clear column radiances from which the products were derived. The AIRS Version 5 retrieval algorithm is now being used operationally at the Goddard DISC in the routine generation of geophysical parameters derived from AIRS/AMSU data. A major innovation in Version 5 is the ability to generate case-by-case level-by-level error estimates for retrieved quantities and clear column radiances, and the use of these error estimates for Quality Control. The temperature profile error estimates are used to determine a case-by-case characteristic pressure pbest, down to which the profile is considered acceptable for data assimilation purposes. The characteristic pressure p(sub best) is determined by comparing the case dependent error estimate (delta)T(p) to the threshold values (Delta)T(p). The AIRS Version 5 data set provides error estimates of T(p) at all levels, and also profile dependent values of pbest based on use of a Standard profile dependent threshold (Delta)T(p). These Standard thresholds were designed as a compromise between optimal use for data assimilation purposes, which requires highest accuracy (tighter Quality Control), and climate purposes, which requires more spatial coverage (looser Quality Control). Subsequent research using Version 5 sounding and error estimates showed that tighter Quality Control performs better for data assimilation proposes, while looser Quality Control better spatial coverage) performs better for climate purposes. We conducted a number of data assimilation experiments using the NASA GEOS-5 Data Assimilation System as a step toward finding an optimum balance of spatial coverage and sounding accuracy with regard to improving forecast skill. The model was run at a horizontal resolution of 0.5 degree latitude x 0.67 degree longitude with 72 vertical levels. These experiments were run during four different seasons, each using a different year. The AIRS temperature profiles were presented to the GEOS-5 analysis as rawinsonde profiles, and the profile error estimates (delta)T(p) were used as the uncertainty for each measurement in the data assimilation process.

Susskind, Joel↗

Regression Verification Using Impact Summaries

Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

Backes, John↗

Mars Sample Return Using Commercial Capabilities: Mission Architecture Overview

Mars Sample Return (MSR) is the highest priority science mission for the next decade as recommended by the recent Decadal Survey of Planetary Science. This paper presents an overview of a feasibility study for a MSR mission. The objective of the study was to determine whether emerging commercial capabilities can be used to reduce the number of mission systems and launches required to return the samples, with the goal of reducing mission cost. The major element required for the MSR mission are described and include an integration of the emerging commercial capabilities with small spacecraft design techniques; new utilizations of traditional aerospace technologies; and recent technological developments. We report the feasibility of a complete and closed MSR mission design using the following scenario that covers three synodic launch opportunities, beginning with the 2022 opportunity: A Falcon Heavy injects a SpaceX Red Dragon capsule and trunk onto a Trans Mars Injection (TMI) trajectory. The capsule is modified to carry all the hardware needed to return samples collected on Mars including a Mars Ascent Vehicle (MAV); an Earth Return Vehicle (ERV); and hardware to transfer a sample collected in a previously landed rover mission to the ERV. The Red Dragon descends to land on the surface of Mars using Supersonic Retro Propulsion (SRP). After previously collected samples are transferred to the ERV, the single-stage MAV launches the ERV from the surface of Mars to a Mars phasing orbit. The MAV uses a storable liquid, pump fed bi-propellant propulsion system. After a brief phasing period, the ERV, which also uses a storable bi-propellant system, performs a Trans Earth Injection (TEI) burn. Once near Earth the ERV performs Earth and lunar swing-bys and is placed into a Lunar Trailing Orbit (LTO0 - an Earth orbit, at lunar distance. A later mission, using a Dragon and launched by a Falcon Heavy, performs a rendezvous with the ERV in the lunar trailing orbit, retrieves the sample container and breaks the chain of contact with Mars by transferring the sample into a sterile and secure container. With the sample contained, the retrieving spacecraft, makes a controlled Earth re-entry preventing any unintended release of pristine Martian materials into the Earth's biosphere. Other capsule type vehicles and associated launchers may be applicable. The analysis methods employed standard and specialized aerospace engineering tools. Mission system elements were analyzed with either direct techniques or by using parametric mass estimating relationships (MERs). The architecture was iterated until overall mission convergence was achieved on at least one path. Subsystems analyzed in this study include support structures, power system, nose fairing, thermal insulation, actuation devices, MAV exhaust venting, and GN&C. Best practice application of loads, mass growth contingencies, and resource margins were used. For Falcon Heavy capabilities and Dragon subsystems we utilized publically available data from SpaceX; published analyses from other sources; as well as our own engineering and aerodynamic estimates. Earth Launch mass is under 11 mt, which is within the estimated capability of a Falcon Heavy, with margin. Total entry masses between 7 and 10 mt were considered with closure occurring between 9 and 10 mt. Propellant mass fractions for each major phase of the EDL - Entry, Terminal Descent, and Hazard Avoidance - have been derived. An assessment of the entry conditions on the thermal protection system (TPS), currently in use for Dragon missions, has been made. And shows no significant stressors. A useful mass of 2.0 mt is provided and includes mass growth allowances for the MAV, the ERV, and mission unique equipment. We also report on alternate propellant options for the MAV and options for the ERV, including propulsion systems; crewed versus robotic retrieval mission; as well as direct Earth entry. International Planetary Protection Policies as well as verifiable means of compliance will have a large impact on any MSR mission design. We identify areas within our architecture where such impacts occur. This work shows that emerging commercial capabilities can be used to effectively integrated into a mission to achieve an important planetary science objective.

Mars Sample Return↗

Current Pressure Transducer Application of Model-based Prognostics Using Steady State Conditions

Prognostics is the process of predicting a system's future states, health degradation/wear, and remaining useful life (RUL). This information plays an important role in preventing failure, reducing downtime, scheduling maintenance, and improving system utility. Prognostics relies heavily on wear estimation. In some components, the sensors used to estimate wear may not be fast enough to capture brief transient states that are indicative of wear. For this reason it is beneficial to be capable of detecting and estimating the extent of component wear using steady-state measurements. This paper details a method for estimating component wear using steady-state measurements, describes how this is used to predict future states, and presents a case study of a current/pressure (I/P) Transducer. I/P Transducer nominal and off-nominal behaviors are characterized using a physics-based model, and validated against expected and observed component behavior. This model is used to map observed steady-state responses to corresponding fault parameter values in the form of a lookup table. This method was chosen because of its fast, efficient nature, and its ability to be applied to both linear and non-linear systems. Using measurements of the steady state output, and the lookup table, wear is estimated. A regression is used to estimate the wear propagation parameter and characterize the damage progression function, which are used to predict future states and the remaining useful life of the system.

Fault Estimation↗

Deep-Space Navigation Using Optical Communications Systems

Optical communication links using lasers can potentially deliver data rates much higher than those possible using radio frequencies. If optical communications equipment is going to be carried by future deep-space missions, this equipment, with some adaptations, could also be used to perform tracking for trajectory determination. A number of experiments have been performed in Earth orbit and in lunar orbit using optical data links, while other missions have demonstrated optical links over interplanetary distances. Laser ranging using corner cube retroreflectors is a well-established technique that has been used for orbit determination of Earth orbiting spacecraft, for geodesy, and for lunar research, achieving centimeter-level precisions, but it is not a practical method for deep-space distances. There are two main optical tracking types that are being considered for deep-space navigation. The first is optical astrometry of spacecraft: a telescope on the ground images the laser beam coming from a spacecraft against the star background, determining its plane-of-sky position as seen from the observatory. This type will greatly benefit from the release of the high-accuracy star catalog produced by ESA’s Gaia mission, allowing for the generation of plane-of-sky measurements with an accuracy similar to that obtained today using VLBI tracking techniques. The second is optical ranging using active optical systems at both ends of the link, requiring a more careful design of the spacecraft optical communications system. One of the advantages of using optical frequencies is that they are not affected by charged particles in the signal path the way that radio frequencies are, eliminating solar plasma and ionospheric effects from the light-time calculation and the corresponding noise. On the other hand, clouds would preclude any type of optical communication, and daytime light scattering precludes astrometric measurements. This paper presents our analysis so far of the performance that could be achieved using optical data types in a number of deep-space scenarios. One of the questions that we are trying to answer is whether spacecraft equipped with optical communications terminals would also need to carry radio-frequency equipment for navigational purposes. We also want to understand how accurately we will be able to navigate spacecraft in different mission types and phases, and what would be the constraints, advantages, and disadvantages of using optical communications systems for deep-space navigation.

Karimi, Reza↗

Land use mapping and modelling for the Phoenix Quadrangle

The author has identified the following significant results. The land use of the Phoenix Quadrangle in Arizona had been mapped previously from aerial photographs and recorded in a computer data bank. During the ERTS-1 experiment, changes in land use were detected using only the ERTS-1 images. The I2S color additive viewer was used as the principal image enhancement tool, operated in a multispectral mode. Hard copy color composite images of the best multiband combinations from ERTS-1 were made by photographic and diazo processes. The I2S viewer was also used to enhance changes between successive images by quick flip techniques or by registering with different color filters. More recently, a Bausch and Lomb zoom transferscope has been used for the same purpose. Improved interpretation of land use change resulted, and a map of changes within the Phoenix Quadrangle was compiled. The first level of a proposed standard land use classification system was sucessfully used. ERTS-1 underflight photography was used to check the accuracy of the ERTS-1 image interpretation. It was found that the total areas of change detected in the photos were comparable with the total areas of change detected in the ERTS-1 images.

Place, J. L.↗

Engineering Overview of a Multidisciplinary HSCT Design Framework Using Medium-Fidelity Analysis Codes

An objective of the HPCC Program at NASA Langley has been to promote the use of advanced computing techniques to more rapidly solve the problem of multidisciplinary optimization of a supersonic transport configuration. As a result, a software system has been designed and is being implemented to integrate a set of existing discipline analysis codes, some of them CPU-intensive, into a distributed computational framework for the design of a High Speed Civil Transport (HSCT) configuration. The proposed paper will describe the engineering aspects of integrating these analysis codes and additional interface codes into an automated design system. The objective of the design problem is to optimize the aircraft weight for given mission conditions, range, and payload requirements, subject to aerodynamic, structural, and performance constraints. The design variables include both thicknesses of structural elements and geometric parameters that define the external aircraft shape. An optimization model has been adopted that uses the multidisciplinary analysis results and the derivatives of the solution with respect to the design variables to formulate a linearized model that provides input to the CONMIN optimization code, which outputs new values for the design variables. The analysis process begins by deriving the updated geometries and grids from the baseline geometries and grids using the new values for the design variables. This free-form deformation approach provides internal FEM (finite element method) grids that are consistent with aerodynamic surface grids. The next step involves using the derived FEM and section properties in a weights process to calculate detailed weights and the center of gravity location for specified flight conditions. The weights process computes the as-built weight, weight distribution, and weight sensitivities for given aircraft configurations at various mass cases. Currently, two mass cases are considered: cruise and gross take-off weight (GTOW). Weights information is obtained from correlations of data from three sources: 1) as-built initial structural and non-structural weights from an existing database, 2) theoretical FEM structural weights and sensitivities from Genesis, and 3) empirical as-built weight increments, non-structural weights, and weight sensitivities from FLOPS. For the aeroelastic analysis, a variable-fidelity aerodynamic analysis has been adopted. This approach uses infrequent CPU-intensive non-linear CFD to calculate a non-linear correction relative to a linear aero calculation for the same aerodynamic surface at an angle of attack that results in the same configuration lift. For efficiency, this nonlinear correction is applied after each subsequent linear aero solution during the iterations between the aerodynamic and structural analyses. Convergence is achieved when the vehicle shape being used for the aerodynamic calculations is consistent with the structural deformations caused by the aerodynamic loads. To make the structural analyses more efficient, a linearized structural deformation model has been adopted, in which a single stiffness matrix can be used to solve for the deformations under all the load conditions. Using the converged aerodynamic loads, a final set of structural analyses are performed to determine the stress distributions and the buckling conditions for constraint calculation. Performance constraints are obtained by running FLOPS using drag polars that are computed using results from non-linear corrections to the linear aero code plus several codes to provide drag increments due to skin friction, wave drag, and other miscellaneous drag contributions. The status of the integration effort will be presented in the proposed paper, and results will be provided that illustrate the degree of accuracy in the linearizations that have been employed.

Weston, R. P.↗

Design of Composite Structures Using Knowledge-Based and Case Based Reasoning

A method of using knowledge based and case based reasoning to assist designers during conceptual design tasks of composite structures was proposed. The cooperative use of heuristics, procedural knowledge, and previous similar design cases suggests a potential reduction in design cycle time and ultimately product lead time. The hypothesis of this work is that the design process of composite structures can be improved by using Case-Based Reasoning (CBR) and Knowledge-Based (KB) reasoning in the early design stages. The technique of using knowledge-based and case-based reasoning facilitates the gathering of disparate information into one location that is easily and readily available. The method suggests that the inclusion of downstream life-cycle issues into the conceptual design phase reduces potential of defective, and sub-optimal composite structures. Three industry experts were interviewed extensively. The experts provided design rules, previous design cases, and test problems. A Knowledge Based Reasoning system was developed using the CLIPS (C Language Interpretive Procedural System) environment and a Case Based Reasoning System was developed using the Design Memory Utility For Sharing Experiences (MUSE) xviii environment. A Design Characteristic State (DCS) was used to document the design specifications, constraints, and problem areas using attribute-value pair relationships. The DCS provided consistent design information between the knowledge base and case base. Results indicated that the use of knowledge based and case based reasoning provided a robust design environment for composite structures. The knowledge base provided design guidance from well defined rules and procedural knowledge. The case base provided suggestions on design and manufacturing techniques based on previous similar designs and warnings of potential problems and pitfalls. The case base complemented the knowledge base and extended the problem solving capability beyond the existence of limited well defined rules. The findings indicated that the technique is most effective when used as a design aid and not as a tool to totally automate the composites design process. Other areas of application and implications for future research are discussed.

Lambright, Jonathan Paul↗

A Comparison of Two Different Approaches to Hydrazine Loading of Spacecraft: The Use of SCAPE and Alternative Approaches

The loading of spacecraft with Hydrazine type fuels has long been recognized as a hazardous operation. This has led to safety strategies that include the use of SCAPE protective suits for personnel. The use of SCAPE suits have an excellent safety record, however there are associated drawbacks. Drawbacks include the high cost of maintaining and cleaning the suits, reduced mobility and dexterity when wearing the suits, the requirement for extensive specialized health and safety training, and the need to rotate personnel every two hours. A study was undertaken to look at procedures and/or equipment to eliminate or reduce the time spent in SCAPE-type operations. The major conclusions are drawn from observations of the loading of the JPL/NASA spacecraft Deep Space One (DS1) at KSC and the loading of a commercial communications satellite by Motorola at Vandenberg AF Base. The DS1 operations require extensive use of SCAPE suits, while the Motorola operation uses only SPLASH attire with a two-man team on standby in SCAPE. The Motorola team used very different loading equipment and procedures based on an integrated approach involving the propellant supplier. Overall, the Motorola approach was very clean, much faster and simpler than the DS1 procedure. The DS1 spacecraft used a bladder in the propellant tank, whereas the Motorola spacecraft used a Propellant Management Device (PMD). The Motorola approach cannot be used for tanks with bladders. To overcome this problem, some new procedures and new equipment are proposed to enable tanks with bladders to be loaded without using SCAPE, using a modified Motorola approach. Overall, it appears feasible to adopt the non-SCAPE approach while maintaining a very high degree of safety and reliability.

Houseman, John↗

Comparison of Continuous Wave CO2 Doppler Lidar Calibration Using Earth Surface Targets in Laboratory and Airborne Measurements

Routine backscatter, beta, measurements by an airborne or space-based lidar from designated earth surfaces with known and fairly uniform beta properties can potentially offer lidar calibration opportunities. This can in turn be used to obtain accurate atmospheric aerosol and cloud beta measurements on large spatial scales. This is important because achieving a precise calibration factor for large pulsed lidars then need not rest solely on using a standard hard target procedure. Furthermore, calibration from designated earth surfaces would provide an inflight performance evaluation of the lidar. Hence, with active remote sensing using lasers with high resolution data, calibration of a space-based lidar using earth's surfaces will be extremely useful. The calibration methodology using the earth's surface initially requires measuring beta of various earth surfaces simulated in the laboratory using a focused continuous wave (CW) CO2 Doppler lidar and then use these beta measurements as standards for the earth surface signal from airborne or space-based lidars. Since beta from the earth's surface may be retrieved at different angles of incidence, beta would also need to be measured at various angles of incidences of the different surfaces. In general, Earth-surface reflectance measurements have been made in the infrared, but the use of lidars to characterize them and in turn use of the Earth's surface to calibrate lidars has not been made. The feasibility of this calibration methodology is demonstrated through a comparison of these laboratory measurements with actual earth surface beta retrieved from the same lidar during the NASA/Multi-center Airborne Coherent Atmospheric Wind Sensor (MACAWS) mission on NASA's DC8 aircraft from 13 - 26 September, 1995. For the selected earth surface from the airborne lidar data, an average beta for the surface was established and the statistics of lidar efficiency was determined. This was compared with the actual lidar efficiency determined with the standard calibrating hard target.

Jarzembski, Maurice A.↗