Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Code Inspection”

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 55 records · Page 3

NASA'S Use of Ground-Based Multi-Layered Pressure Vessels (MLPV)

NASA has taken the US technical lead in assessing and reducing risks associated with operations of non-code MLPVs, with the goal of developing technical standards and processes for continued use, maintenance, inspection, and repair of MLPVs

Clifton T Arnold, Jr.↗

SpaceX Dragon 1 Post Flight MMOD Inspection Campaign

Introduction The SpaceX Dragon 1 spacecraft performed 20 resupply missions to the International Space Station (ISS) between 2012 and 2020. After each mission, a team from the NASA John-son Space Center Hypervelocity Impact Technology Group inspected each Dragon 1 capsule for hypervelocity impact damage features. Data from these inspections are collected into a database that includes impact feature dimensions as well as the location on the vehicle. Additional details on the type and size of particle that produced the damage site are provided when sampling data and definitive spectroscopic analysis results are available. Observation data can be compared with impact estimates from risk assessment codes as a check on the micrometeoroid and orbital debris (MMOD) environment predictions. Scope A general description of the areas of the vehicle that were inspected are provided as well as mission details such as exposure duration and launch dates. The paper documents the general inspection procedure for collection of data and the post inspection data analysis process. It also provides details of the observation data collected as well as the results of analysis of intact samples collected for spectroscopic analysis to discern the source of the impacting particle. A comparison between observed impacts and the expected number of damage features calculated by Bumper 3 with the latest MMOD environments are also presented. Findings Statistics on the >300 impact features documented in the database will provide insight into the depth to diameter ratios and other relationships. The quality of the comparison between the observations and code predictions are dependent on several factors. The paper provides de-tails of each of these variables. (1) Damage equations (2) Impact condition assumptions a. Projectile density b. Impact speed c. Impact angle (3) Analysis results a. pre-flight vs. on-orbit damage b. MMOD vs. non-MMOD Conclusions and Recommendations The ISS visiting vehicle impact database is an ongoing project. SpaceX provides crew rotations as well as resupply and cargo return with the Dragon 2 spacecraft. Sierra Space is manifested for resupply and cargo return services starting in 2023. Boeing is expected to provide crew rotations as well. All of these spacecraft will provide additional opportunities for post flight MMOD inspections of space exposed hardware. Acknowledgements Over the course of the inspection campaign various personnel at the SpaceX Texas Test Site in McGregor and at the SpaceX headquarters in Hawthorne CA provided valuable support to this activity.

James L Hyde↗

Traceability Through Automatic Program Generation

Program synthesis is a technique for automatically deriving programs from specifications of their behavior. One of the arguments made in favour of program synthesis is that it allows one to trace from the specification to the program. One way in which traceability information can be derived is to augment the program synthesis system so that manipulations and calculations it carries out during the synthesis process are annotated with information on what the manipulations and calculations were and why they were made. This information is then accumulated throughout the synthesis process, at the end of which, every artifact produced by the synthesis is annotated with a complete history relating it to every other artifact (including the source specification) which influenced its construction. This approach requires modification of the entire synthesis system - which is labor-intensive and hard to do without influencing its behavior. In this paper, we introduce a novel, lightweight technique for deriving traceability from a program specification to the corresponding synthesized code. Once a program has been successfully synthesized from a specification, small changes are systematically made to the specification and the effects on the synthesized program observed. We have partially automated the technique and applied it in an experiment to one of our program synthesis systems, AUTOFILTER, and to the GNU C compiler, GCC. The results are promising: 1. Manual inspection of the results indicates that most of the connections derived from the source (a specification in the case of AUTOFILTER, C source code in the case of GCC) to its generated target (C source code in the case of AUTOFILTER, assembly language code in the case of GCC) are correct. 2. Around half of the lines in the target can be traced to at least one line of the source. 3. Small changes in the source often induce only small changes in the target.

Richardson, Julian↗

Optical system facilitates inspection of printed circuit boards

Optical comparator method determines the quality and registration of surface features of double-sided printed circuit boards. Color-coded superimposed images of both sides of a printed circuit board are presented to view, clearly showing details and registration of the circuitry.

Cridlin, M.↗

X-Ray Computed Tomography Inspection of the Stardust Heat Shield

The "Stardust" heat shield, composed of a PICA (Phenolic Impregnated Carbon Ablator) Thermal Protection System (TPS), bonded to a composite aeroshell, contains important features which chronicle its time in space as well as re-entry. To guide the further study of the Stardust heat shield, NASA reviewed a number of techniques for inspection of the article. The goals of the inspection were: 1) to establish the material characteristics of the shield and shield components, 2) record the dimensions of shield components and assembly as compared with the pre-flight condition, 3) provide flight infonnation for validation and verification of the FIAT ablation code and PICA material property model and 4) through the evaluation of the shield material provide input to future missions which employ similar materials. Industrial X-Ray Computed Tomography (CT) is a 3D inspection technology which can provide infonnation on material integrity, material properties (density) and dimensional measurements of the heat shield components. Computed tomographic volumetric inspections can generate a dimensionally correct, quantitatively accurate volume of the shield assembly. Because of the capabilities offered by X-ray CT, NASA chose to use this method to evaluate the Stardust heat shield. Personnel at NASA Johnson Space Center (JSC) and Lawrence Livermore National Labs (LLNL) recently performed a full scan of the Stardust heat shield using a newly installed X-ray CT system at JSC. This paper briefly discusses the technology used and then presents the following results: 1. CT scans derived dimensions and their comparisons with as-built dimensions anchored with data obtained from samples cut from the heat shield; 2. Measured density variation, char layer thickness, recession and bond line (the adhesive layer between the PICA and the aeroshell) integrity; 3. FIAT predicted recession, density and char layer profiles as well as bondline temperatures Finally suggestions are made as to future uses of this technology as a tool for non-destructively inspecting and verifying both pre and post flight heat shields.

McNamara, Karen M.↗

Thermal Protection System Imagery Inspection Management System -TIIMS

TIIMS is used during the inspection phases of every mission to provide quick visual feedback, detailed inspection data, and determination to the mission management team. This system consists of a visual Web page interface, an SQL database, and a graphical image generator. These combine to allow a user to ascertain quickly the status of the inspection process, and current determination of any problem zones. The TIIMS system allows inspection engineers to enter their determinations into a database and to link pertinent images and video to those database entries. The database then assigns criteria to each zone and tile, and via query, sends the information to a graphical image generation program. Using the official TIPS database tile positions and sizes, the graphical image generation program creates images of the current status of the orbiter, coloring zones, and tiles based on a predefined key code. These images are then displayed on a Web page using customized JAVA scripts to display the appropriate zone of the orbiter based on the location of the user's cursor. The close-up graphic and database entry for that particular zone can then be seen by selecting the zone. This page contains links into the database to access the images used by the inspection engineer when they make the determination entered into the database. Status for the inspection zones changes as determinations are refined and shown by the appropriate color code.

Goza, Sharon↗

Performance Analysis of Multilevel Parallel Applications on Shared Memory Architectures

In this paper we describe how to apply powerful performance analysis techniques to understand the behavior of multilevel parallel applications. We use the Paraver/OMPItrace performance analysis system for our study. This system consists of two major components: The OMPItrace dynamic instrumentation mechanism, which allows the tracing of processes and threads and the Paraver graphical user interface for inspection and analyses of the generated traces. We describe how to use the system to conduct a detailed comparative study of a benchmark code implemented in five different programming paradigms applicable for shared memory

Jost, Gabriele↗

Verification and Validation of Elastodynamic Simulation Software for Aerospace Research

Physics-based simulation of nondestructive evaluation (NDE) inspection can help to advance the inspectability and reliability of mechanical systems. However, NDE simulations applicable to non-idealized mechanical components often require large compute domains and long run times. This has prompted development of custom NDE simulation software tailored to high performance computing (HPC) hardware. Verification and validation (V&V) is an integral part of developing this software to ensure implementations are robust and applicable to inspection problems, producing tools and simulations suitable for computational NDE research. This presentation addresses factors common to V&V of several elastodynamic simulation codes applicable to ultrasonic NDE. Examples are drawn from in-house simulation software at NASA Langley Research Center, ranging from ensuring reliability in a 1D heterogeneous media wave equation solver to the V&V needs of 3D cluster-parallel elastodynamic software. Factors specific to a research environment are addressed, where individual simulation results can be as relevant as the software product itself. Distinct facets of V&V are discussed including testing to establish software reliability, employing systematic approaches for consistency with fundamental conservation laws, establishing the numerical stability of algorithms, and demonstrating concurrence with empirical data. This talk also addresses V&V practices for small groups of researchers. This includes establishing resources (e.g. time and personnel) for V&V during project planning to mitigate and control the risk of setbacks. Similarly, we identify ways for individual researchers to use V&V during simulation software development itself to both speed up the development process and reduce incurred technical debt.

NDE↗

Inspection and Verification of Domain Models with PlanWorks and Aver

When developing a domain model, it seems natural to bring the traditional informal tools of inspection and verification, debuggers and automated test suites, to bear upon the problems that will inevitably arise. Debuggers that allow inspection of registers and memory and stepwise execution have been a staple of software development of all sorts from the very beginning. Automated testing has repeatedly proven its considerable worth, to the extent that an entire design philosophy (Test Driven Development) has been developed around the writing of tests. Unfortunately, while not entirely without their uses, the limitations of these tools and the nature of the complexity of models and the underlying planning systems make the diagnosis of certain classes of problems and the verification of their solutions difficult or impossible. Debuggers provide a good local view of executing code, allowing a fine-grained look at algorithms and data. This view is, however, usually only at the level of the current scope in the implementation language, and the data-inspection capabilities of most debuggers usually consist of on-line print statements. More modem graphical debuggers offer a sort of tree view of data structures, but even this is too low-level and is often inappropriate for the kinds of structures created by planning systems. For instance, god or constraint networks are at best awkward when visualized as trees. Any any non-structural link between data structures, as through a lookup table, isn't captured at all. Further, while debuggers have powerful breakpointing facilities that are suitable for finding specific algorithmic errors, they have little use in the diagnosis of modeling errors.

Bedrax-Weiss, Tania↗

The evolution of transcriptional regulation in eukaryotes

Gene expression is central to the genotype-phenotype relationship in all organisms, and it is an important component of the genetic basis for evolutionary change in diverse aspects of phenotype. However, the evolution of transcriptional regulation remains understudied and poorly understood. Here we review the evolutionary dynamics of promoter, or cis-regulatory, sequences and the evolutionary mechanisms that shape them. Existing evidence indicates that populations harbor extensive genetic variation in promoter sequences, that a substantial fraction of this variation has consequences for both biochemical and organismal phenotype, and that some of this functional variation is sorted by selection. As with protein-coding sequences, rates and patterns of promoter sequence evolution differ considerably among loci and among clades for reasons that are not well understood. Studying the evolution of transcriptional regulation poses empirical and conceptual challenges beyond those typically encountered in analyses of coding sequence evolution: promoter organization is much less regular than that of coding sequences, and sequences required for the transcription of each locus reside at multiple other loci in the genome. Because of the strong context-dependence of transcriptional regulation, sequence inspection alone provides limited information about promoter function. Understanding the functional consequences of sequence differences among promoters generally requires biochemical and in vivo functional assays. Despite these challenges, important insights have already been gained into the evolution of transcriptional regulation, and the pace of discovery is accelerating.

Review, Academic↗

Toward Realistic Dynamics of Rotating Orbital Debris, and Implications for Lightcurve Interpretation

Optical observations of rotating space debris near GEO contain important information on size, shape, composition, and rotational states, but these aspects are difficult to extract due to data limitations and the high number of degrees of freedom in the modeling process. For tri-axial rigid debris objects created by satellite fragmentations, the most likely initial rotation state has a large component of initial angular velocity directed along the intermediate axis of inertia, leading to large angular reorientations of the body on the timescale of the rotation period. This lends some support to the simplest possible interpretation of light curves -- that they represent sets of random orientations of the objects of study. However, effects of internal friction and solar radiation are likely to cause significant modification of rotation states within a time as short as a few orbital periods. In order to examine the rotational dynamics of debris objects under the influences of these effects, a set of seven first-order coupled equations of motion were assembled in state form: three are Euler equations describing the rates of change of the components of angular velocity in the body frame, and four describe the rates of change of the components of the unit quaternion. Quaternions are a four-dimensional extension of complex numbers that form a seamless, singularity-free representation of body orientation on S3. The Euler equations contain explicit terms describing torque from solar radiation in terms of spherical harmonics, and terms representing effects of a prescribed rate of internal friction. Numerical integrations of these equations of motion are being performed, and results will be presented. Initial tests show that internal friction without solar radiation torque leads to rotation about the maximum principal axis of inertia, as required, and solar radiation torque is expected to lead to spin-up of objects. Because the axis of maximum rotational inertia tends to be roughly coincident with the normal to the largest projected cross-sectional area, internal friction is expected to lead to reduced variation of light curve amplitudes at a given phase angle, but a large dependence of the same on phase angle. At a given phase angle, databases are generated which contain reflected intensities for comprehensive sets of equally-likely orientations, represented as unit quaternions. When projected onto three dimensions (S2) and color-coded by intensity, the set is depicted as points within a solid, semi-transparent unit sphere, within which all possible reflected intensities for an object at a given phase angle may be inspected simultaneously. Rotational sequences are represented by trajectories through the sphere. Databases are generated for each of a set of phase angles separately, forming a comprehensive dataset of reflected intensities spanning all object orientations and solar phase angles. Symmetries in the problem suggest that preferred rotation states are likely, defined relative to the object-sun direction in inertial space and relative to the maximum principal axis of inertia in the body coordinate system. Such rotation states may greatly simplify the problem of light curve interpretation by reducing the number of degrees of freedom in the problem.

Ojakangas, Gregory W.↗

SpaceX Dragon Spacecraft Post Flight MMOD Inspection Campaign

The SpaceX Dragon spacecraft performed 20 resupply flights to the International Space Station (ISS) between 2012 and 2020. After each mission, a team led by the NASA Johnson Space Center Hypervelocity Impact Technology (HVIT) Group inspected each Dragon vehicle exterior for hypervelocity impact damage. A general description of the inspected vehicle areas is provided as well as mission details such as exposure duration and launch dates. This paper documents the general inspection procedure for collection of data and the post inspection data analysis process. It also provides details of the observation data collected in addition to the spectroscopic analysis results of intact samples collected to discern the source of the impacting particle. A comparison between observed impacts and the expected number of damage features calculated by Bumper 3 with the latest micrometeoroid and orbital debris (MMOD) environments are also presented. Statistics on the >300 impact features documented in the database will provide insight into the depth to diameter ratios and other relationships. The quality of the comparison between the observations and code predictions are dependent on several factors. The paper provides details of each of these variables.

orbital debris↗

Comparison Analysis Between Nevada and TSS Using a Jet Engine Exhaust Nozzle Test Rig

Thermal analysis in both simple and complex models can require calculating the propagation of radiant energy to and from multiple surfaces. This can be accomplished through simple estimation techniques or complex computationally intense computer modeling simulations. Currently there are a variety of computer analysis techniques used to simulate the propagation of radiant energy, each having advantages and disadvantages. The major objective of this effort was to compare two ray tracing radiation propagation analysis programs (NEVADA and TSS) Net Energy Verification and Determination Analyzer and Thermal Synthesizer System with experimental data. Results from a non-flowing, electrically heated test rig was used to verify the calculated radiant energy propagation from a nozzle geometry that represents an aircraft propulsion nozzle system. In general the programs produced comparable overall results, and results slightly higher then the experimental data. Upon inspection of individual radiation interchange factors, differences were evident and would have been magnified if a more radical model temperature profile was analyzed. Bidirectional reflectivity data (BRDF) was not used do to modeling limitations in TSS. For code comparison purposes, this nozzle geometry represents only one case for one set of analysis conditions. Since each computer code has advantages and disadvantages bases on scope, requirements, and desired accuracy, the usefulness of this single case study may be limiting.

Baumeister, Joseph F.↗

Is Structured Agile an Oxymoron? Tales from Implementing and Executing Agile in a US Government Environment

To paraphrase a famous quote, "No plan survives contact with the reality." Software (SW) development is often a classic example of this: whatever the plan was for a particular development, it often does not survive contact with technical realities, budget realities, program realities and schedule realities. Traditionally, SW development has followed a waterfall methodology with requirements being rigorously specified before the design, which was completed before the coding and unit testing started, which were in turn finished before validation and verification started. This model of SW engineering derives much from the HW engineering of large systems, and has been the standard methodology used in US government software acquisitions and systems for decades, with highly variable results. US Government SW requirements are built around Waterfall concepts, which assume that the plan will survive contact with reality, or at least that modifications to the plan are relatively small, and relatively few.Because of the inefficiencies and difficulties inherent in Waterfall, the commercial SW world started using a different SW development methodology called Agile more than 20 years ago. Agile believes that a plan should evolve and learn rapidly in response to the realities encountered. At its core, there are a few key elements of Agile:- A small team of people which is highly flexible and adaptive. The team collaborates and interoperates through sophisticated development architectures and release environments- An iterative, incremental development and release approach which is based upon the concept that knowledge comes from experience within the team, and that the team makes decisions based upon what it knows- A team culture which prizes transparency, inspection and adaptation. These values are necessary so that the team experience and decision making is transparent and responsive to the realities encountered during development and testingSo, how to use Agile in a US Government environment? GMSEC (Goddard Mission Services Evolution Center) develops satellite ground system software for NASA and other US Government agencies. The SW developed by the team contains a large code base of many applications used within satellite mission operations centers. It spans the full gamut of SW development types: from SW which is in a classic maintenance and sustainment mode, to new developments with a fairly well understood scope and approach, to new developments whose scope and approach are quite unclear and which require significant research and prototyping. Team members move between all of these different types of SW development. Waterfall was inadequate to the programmatic and technical needs of the team, as well as the various types of SW development being done. The software plan was not surviving contact with the technical and programmatic realities experienced by the team. To address this, the team started a small pilot project in 2016 to test the use of Agile within a small subset of the team for a new web services application. In early 2018, the use of Agile was expanded to the whole team and all the software, but we had to fulfill the NASA SW development requirements. And we needed to do this while still remaining true to the key Agile elements of transparency, inspection and adaption. In order to do this, the team worked very closely with the Software Process Improvement (SPI) team at NASA Goddard, as well as NASA engineering manageme

Beech, Theresa W.↗

Modeling of Guided Waves for Aerospace Applications

Advancements in computer hardware has led to new possibilities for rapid modeling and simulation capabilities across many scientific fields. Nondestructive evaluation (NDE) can benefit from increased use of simulation tools to guide optimization of inspection and health monitoring methods, enhance understanding of data, aid in development of defect characterization methods, and generate data sets for use with machine learning and model-assisted probability of detection. Recent work at NASA has entailed development and benchmarking of both custom simulation codes and commercial simulation tools for ultrasonic wave propagation. This paper describes recent work at NASA in modeling of guided waves in composites and other aerospace materials. Results and computational speeds for a composite benchmark case are reported for a custom finite difference Rotated Staggered Grid code and for the commercial finite element software package, Pogo. Recent progress in linking NDE models to parametric analysis tools is also discussed.

Nondestructive evaluation↗

TPSAS-NF1676L-13678-DND

An area that shows promise in enhancing structural integrity of aircraft and aerospace structures is integral stitched composite technology. The most recent generation of this technology is the Pultruded Rod Stitched Efficient Unitized Structure (PRSEUS) concept. The goal of the PRSEUS concept is to provide damage-containment capability for composite structures while reducing overall structural weight. The National Aeronautics and Space Administration, the Boeing Company, and the Federal Aviation Administration (FAA) have partnered in an effort to assess the damage-containment features of a full-scale curved PRSEUS panel using the FAA Full-Scale Aircraft Structural Test Evaluation and Research facility. The background, test plan, fixture modifications, pre-test analysis, and planned experimental procedure were presented at the 2011 Aircraft Airworthiness and Sustainment Conference. This follow-on paper and presentation will provide details of the experimental procedure, test results, nondestructive inspection results, and preliminary test analysis comparison. The test program included three phases of loading and inspections: Phase I, as-built; Phase II, with barely visible impact damage (BVID); and Phase III, with a two-bay notch severing the central stiffener. Axial tension, internal pressure, and combined axial tension and internal pressure load conditions were applied during each phase using load levels that demonstrate compliance with the strength, deformation, and damage-tolerance requirements of Title 14 Code of Federal Regulations Part 25. Pressure loads were based on an operating pressure of 9.2 psi, designated as 1P, and the axial loads were based on a design limit load (DLL) of 227 kip. The Phase I test results provided a baseline. First, 50 percent limit-load levels were applied for each of the three load cases to verify proper load introduction and repeatability by examining strain and displacement results. Next, three limit-load cases were applied: limit pressure of 12.2 psi (1.33 P), axial DLL of 227 kip, and combined 1P pressure and axial DLL. Linear strain and displacement results were observed in all load cases. For Phase-II testing, the panel was impacted to introduce BVID with an energy of 40 ft-lb, with the impact located between the central stringer stitch line and flange edge. The impact created non-penetrating visual damage with fiber breaks and delamination between the skin and stringer flange. Limit-load conditions were applied followed by pressure overload of 18.4 psi (2P) and ultimate load conditions, defined as 1.5 times DLL. Inspections were performed after each load case; no damage growth was observed. For Phase-III testing, a two-bay notch was machined severing the central stiffener. The panel was then subjected to limit-load conditions, followed by combined 1P pressure while increasing axial tension load to catastrophic failure. As limit combined loads were approached, damage initiation was observed in the form of 45? splitting at 1P + 79% DLL. Axial loading was increased to 1P + 150 percent DLL causing damage to propagate to the adjacent stringer flanges. Damage was contained within the two-bay region by the stitching rows up to 1P + 176% DLL. Axial load was further increased until catastrophic failure, when a stringer rod failed at 1P + 192% DLL. These test results further verify the damage containment features of the PRSEUS concept and suggest its appropriateness for future flight vehicles.

Andrew Bergan↗

Prediction of thermal cycling induced cracking in polmer matrix composites

The work done in the period August 1993 through February 1994 on the 'Prediction of Thermal Cycling Induced Cracking In Polymer Matrix Composites' program is summarized. Most of the work performed in this period, as well as the previous one, is described in detail in the attached Master's thesis, 'Analysis of Thermally Induced Damage in Composite Space Structures,' by Cecelia Hyun Seon Park. Work on a small thermal cycling and aging chamber was concluded in this period. The chamber was extensively tested and calibrated. Temperatures can be controlled very precisely, and are very uniform in the test chamber. Based on results obtained in the previous period of this program, further experimental progressive cracking studies were carried out. The laminates tested were selected to clarify the differences between the behaviors of thick and thin ply layers, and to explore other variables such as stacking sequence and scaling effects. Most specimens tested were made available from existing stock at Langley Research Center. One laminate type had to be constructed from available prepreg material at Langley Research Center. Specimens from this laminate were cut and prepared at MIT. Thermal conditioning was carried out at Langley Research Center, and at the newly constructed MIT facility. Specimens were examined by edge inspection and by crack configuration studies, in which specimens were sanded down in order to examine the distribution of cracks within the specimens. A method for predicting matrix cracking due to decreasing temperatures and/or thermal cycling in all plies of an arbitrary laminate was implemented as a computer code. The code also predicts changes in properties due to the cracking. Extensive correlations between test results and code predictions were carried out. The computer code was documented and is ready for distribution.

Mcmanus, Hugh L.↗