SEARCH · Engineering Papers
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.
Harmonic drives allow redundancy and high out put torque in small package. If main drive fails, standby drive takes over and produces torque along same axis as main drive. Uses include power units in robot for internal pipeline inspection, manipulators in deep submersible probes or other applications in which redundancy protects against costly failures.
A vision system that includes a specially designed video camera and an image-data-processing computer is under development as a prototype of robotic systems for visual inspection of the interior surfaces of pipes and especially of gas pipelines. The system is capable of providing both forward views and mosaicked radial views that can be displayed in real time or after inspection. To avoid the complexities associated with moving parts and to provide simultaneous forward and radial views, the video camera is equipped with a wide-angle (>165 ) fish-eye lens aimed along the axis of a pipe to be inspected. Nine white-light-emitting diodes (LEDs) placed just outside the field of view of the lens (see Figure 1) provide ample diffuse illumination for a high-contrast image of the interior pipe wall. The video camera contains a 2/3-in. (1.7-cm) charge-coupled-device (CCD) photodetector array and functions according to the National Television Standards Committee (NTSC) standard. The video output of the camera is sent to an off-the-shelf video capture board (frame grabber) by use of a peripheral component interconnect (PCI) interface in the computer, which is of the 400-MHz, Pentium II (or equivalent) class. Prior video-mosaicking techniques are applicable to narrow-field-of-view (low-distortion) images of evenly illuminated, relatively flat surfaces viewed along approximately perpendicular lines by cameras that do not rotate and that move approximately parallel to the viewed surfaces. One such technique for real-time creation of mosaic images of the ocean floor involves the use of visual correspondences based on area correlation, during both the acquisition of separate images of adjacent areas and the consolidation (equivalently, integration) of the separate images into a mosaic image, in order to insure that there are no gaps in the mosaic image. The data-processing technique used for mosaicking in the present system also involves area correlation, but with several notable differences: Because the wide-angle lens introduces considerable distortion, the image data must be processed to effectively unwarp the images (see Figure 2). The computer executes special software that includes an unwarping algorithm that takes explicit account of the cylindrical pipe geometry. To reduce the processing time needed for unwarping, parameters of the geometric mapping between the circular view of a fisheye lens and pipe wall are determined in advance from calibration images and compiled into an electronic lookup table. The software incorporates the assumption that the optical axis of the camera is parallel (rather than perpendicular) to the direction of motion of the camera. The software also compensates for the decrease in illumination with distance from the ring of LEDs.
Topics covered include: Video Mosaicking for Inspection of Gas Pipelines; Shuttle-Data-Tape XML Translator; Highly Reliable, High-Speed, Unidirectional Serial Data Links; Data-Analysis System for Entry, Descent, and Landing; Hybrid UV Imager Containing Face-Up AlGaN/GaN Photodiodes; Multiple Embedded Processors for Fault-Tolerant Computing; Hybrid Power Management; Magnetometer Based on Optoelectronic Microwave Oscillator; Program Predicts Time Courses of Human/ Computer Interactions; Chimera Grid Tools; Astronomer's Proposal Tool; Conservative Patch Algorithm and Mesh Sequencing for PAB3D; Fitting Nonlinear Curves by Use of Optimization Techniques; Tool for Viewing Faults Under Terrain; Automated Synthesis of Long Communication Delays for Testing; Solving Nonlinear Euler Equations With Arbitrary Accuracy; Self-Organizing-Map Program for Analyzing Multivariate Data; Tool for Sizing Analysis of the Advanced Life Support System; Control Software for a High-Performance Telerobot; Java Radar Analysis Tool; Architecture for Verifiable Software; Tool for Ranking Research Options; Enhanced, Partially Redundant Emergency Notification System; Close-Call Action Log Form; Task Description Language; Improved Small-Particle Powders for Plasma Spraying; Bonding-Compatible Corrosion Inhibitor for Rinsing Metals; Wipes, Coatings, and Patches for Detecting Hydrazines; Rotating Vessels for Growing Protein Crystals; Oscillating-Linear-Drive Vacuum Compressor for CO2; Mechanically Biased, Hinged Pairs of Piezoelectric Benders; Apparatus for Precise Indium-Bump Bonding of Microchips; Radiation Dosimetry via Automated Fluorescence Microscopy; Multistage Magnetic Separator of Cells and Proteins; Elastic-Tether Suits for Artificial Gravity and Exercise; Multichannel Brain-Signal-Amplifying and Digitizing System; Ester-Based Electrolytes for Low-Temperature Li-Ion Cells; Hygrometer for Detecting Water in Partially Enclosed Volumes; Radio-Frequency Plasma Cleaning of a Penning Malmberg Trap; Reduction of Flap Side Edge Noise - the Blowing Flap; and Preventing Accidental Ignition of Upper-Stage Rocket Motors.
An economic impact market analysis was conducted for 16 leading sectors of commercial Unmanned Aerial System (UAS) applications predicted to be enabled by 2020 through the NASA UAS Traffic Management (UTM) program. Subject matter experts from seven industries were interviewed to validate concept of operations (ConOps) and market adoption assumptions for each sector. The market analysis was used to estimate direct economic impacts for each sector including serviceable addressable market, capital investment, revenue recovery potential, and operations cost savings. The resultant economic picture distinguishes the agricultural, pipeline and railroad inspection, construction, and maritime sectors of the nascent commercial UAS industry as providing the highest potential economic value in the United States. Sensitivity studies characterized the variability of select UAS sectors economic value to key regulatory or UTM ConOps requirements such as weight, altitude, and flight over populated area constraints. Takeaways from the analysis inform the validation of UTM requirements, technologies and timetables from a commercial market need and value viewpoint. This work concluded in August 2015 and reflects the state of the UAS industry and market projections at that time.
Congressional attention to Unmanned Aircraft Systems (UAS) has caused the Federal Aviation Administration (FAA) to move the National Airspace System (NAS) Integration project forward, but using guidelines, practices and procedures that are yet to be fully integrated with the FAA Aviation Management System. The real drive for change in the NAS will to come from both UAS operators and the government jointly seeing an accurate forecast of UAS usage demand data. This solid forecast information would truly get the attention of planners. This requires not an aggregate demand, but rather a picture of how the demand is spread across small to large UAS, how it is spread across a wide range of missions, how it is expected over time and where, in terms of geospatial locations, will the demand appear. In 2012 the Volpe Center performed a study of the overall future demand for UAS. This was done by aggregate classes of aircraft types. However, the realistic expected demand will appear in clusters of aircraft activities grouped by similar missions on a smaller geographical footprint and then growing from those small cells. In general, there is not a demand forecast that is tightly coupled to the real purpose of the mission requirements (e.g. in terms of real locations and physical structures such as wind mills to inspect, farms to survey, pipelines to patrol, etc.). Being able to present a solid basis for the demand is crucial to getting the attention of investment, government and other fiscal planners. To this end, Mosaic ATM under NASA guidance is developing a crowd sourced, demand forecast engine that can draw forecast details from commercial and government users and vendors. These forecasts will be vetted by a governance panel and then provide for a sharable accurate set of projection data. Our paper describes the project and the technical approach we are using to design and create access for users to the forecast system.
For pipeline companies, mapping, facilities inventory, pipe inspections, environmental reporting, etc. is a monumental task. An Automated Mapping/Facilities Management/Geographic Information Systems (AM/FM/GIS) is the solution. However, this is costly and time consuming. James W. Sewall Company, an AM/FM/GIS consulting firm proposed an EOCAP project to Stennis Space Center (SSC) to develop a computerized system for storage and retrieval of digital aerial photography. This would provide its customer, Algonquin Gas Transmission Company, with an accurate inventory of rights-of-way locations and pipeline surroundings. The project took four years to complete and an important byproduct was SSC's Digital Aerial Rights-of-Way Monitoring System (DARMS). DARMS saves substantial time and money. EOCAP enabled Sewall to develop new products and expand its customer base. Algonquin now manages regulatory requirements more efficiently and accurately. EOCAP provides government co-funding to encourage private investment in and broader use of NASA remote sensing technology. Because changes on Earth's surface are accelerating, planners and resource managers must assess the consequences of change as quickly and accurately as possible. Pacific Meridian Resources and NASA's Stennis Space Center (SSC) developed a system for monitoring changes in land cover and use, which incorporated the latest change detection technologies. The goal of this EOCAP project was to tailor existing technologies to a system that could be commercialized. Landsat imagery enabled Pacific Meridian to identify areas that had sustained substantial vegetation loss. The project was successful and Pacific Meridian's annual revenues have substantially increased. EOCAP provides government co-funding to encourage private investment in and broader use of NASA remote sensing technology.
Developed a data pipeline utilizing a commercial Machine Learning platform to potentially improve the speed in which recommendations are made for continued use of EMU gloves on ISS; demonstrating the use of ISS as a testbed for further, deep space applications.
Currently when nondestructive evaluation (NDE) is performed on composite structures, the results, although recorded digitally are often manually interpreted and indicated (drawn) on the part being inspected by hand. Following this, a determination must be made on how to disposition that part. This decision could be based on engineering guidelines and best practices, rule-of-thumb, expert opinion or finite-element analysis of the part with some approximate representation of the damage. In order to streamline this process for ultrasonic inspection an effort was undertaken as part of NASA Advanced Composites Project to develop the Digital NDE Pipeline. The Digital NDE Pipeline is an integrated tool suite and associated framework that streamlines the inspection and defect disposition process through model-assisted inspection optimization, automated defect analysis of NDE data, and mapping of NDE data into finite element analysis software. This paper will provide an overview of the Digital NDE Pipeline and provide details of the individual tools developed along with the results of applying these tools to a demonstration test case.
Small, untethered mobile robots denoted gas-pipe explorers (GPEXs) have been proposed for inspecting the interiors of pipes used in the local distribution natural gas. The United States has network of gas-distribution pipes with a total length of approximately 109 m. These pipes are often made of iron and steel and some are more than 100 years old. As this network ages, there is a need to locate weaknesses that necessitate repair and/or preventive maintenance. The most common weaknesses are leaks and reductions in thickness, which are caused mostly by chemical reactions between the iron in the pipes and various substances in soil and groundwater. At present, mobile robots called pigs are used to inspect and clean the interiors of gas-transmission pipelines. Some carry magnetic-flux-leakage (MFL) sensors for measuring average wall thicknesses, some capture images, and some measure sizes and physical conditions. The operating ranges of pigs are limited to fairly straight sections of wide transmission- type (as distinguished from distribution- type) pipes: pigs are too large to negotiate such obstacles as bends with radii comparable to or smaller than pipe diameters, intrusions of other pipes at branch connections, and reductions in diameter at valves and meters. The GPEXs would be smaller and would be able to negotiate sharp bends and other obstacles that typically occur in gas-distribution pipes.
The wind tunnels at Ames are crucial to NASA and industry but pose unique inspection challenges. Current inspection processes are highly manual, and as such are labor and schedule intensive. These needs can be better met with emerging technology such as sUAS (drones), computer vision, and machine learning. This work seeks to bring the drone based inspection workflow into production-ready status and integrate into existing facility inspections. This includes operation of a drone platform, establishing a photogrammetry pipeline, development of procedures and streamlining flight approval processes, and establishing a base of experience at Ames for this work. We have worked with the NFAC, unitary, and Arcjet facilities to identify use cases and have performed test flights at Ames (both indoors and outdoors). The system is being readied for incorporation into routine inspection operations.
We report the discovery of an Earth-sized planet in the habitable zone of a low-mass star called Kepler-1649. The planet, Kepler-1649 c, is 1.06(+0.15, -0.10.) times the size of Earth and transits its 0.1977 ± 0.0051 Mʘ “mid” M-dwarf host star every 19.5 days. It receives 74% ± 3% the incident flux of Earth, giving it an equilibrium temperature of 234 ± 20 K and placing it firmly inside the circumstellar habitable zone. Kepler-1649 also hosts a previously known inner planet that orbits every 8.7 days and is roughly equivalent to Venus in size and incident flux. Kepler-1649 c was originally classified as a false positive (FP) by the Kepler pipeline, but was rescued as part of a systematic visual inspection of all automatically dispositioned Kepler FPs. This discovery highlights the value of human inspection of planet candidates even as automated techniques improve, and hints that terrestrial planets around mid to late M-dwarfs may be more common than those around more massive stars.
Formal specification combined with mechanical verification is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practice? This report discusses a project undertaken to answer some of these questions, the formal verification of the AAMPS microprocessor. This project consisted of formally specifying in the PVS language a rockwell proprietary microprocessor at both the instruction-set and register-transfer levels and using the PVS theorem prover to show that the microcode correctly implemented the instruction-level specification for a representative subset of instructions. Notable aspects of this project include the use of a formal specification language by practicing hardware and software engineers, the integration of traditional inspections with formal specifications, and the use of a mechanical theorem prover to verify a portion of a commercial, pipelined microprocessor that was not explicitly designed for formal verification.
Papers are presented on cracking at nozzle corners in the nuclear pressure vessel industry, applied fracture mechanics for assessing defect significance in a crude oil pipeline, failure analysis of a large wind-tunnel compressor blade, analysis of a compressor-wheel failure, and preventing fracture by inspection and analysis. Consideration is also given to the fatigue crack growth predictions of welded aircraft structures containing flaws in the residual stress field, the fatigue and fracture mechanics analysis of a compression loaded aircraft structure, fracture of an aircraft horizontal stabilizer, fatigue life analysis of fuel tank skins under combined loads, and aircraft structural maintenance recommendations based on fracture mechanics analysis. Additional papers discuss an analysis of two metal-forming die failures, an analysis of a failed saw arbor, and the role of fracture mechanics in assessing the effect on fatigue life of design changes in welded fabrications.
NASA Earth Observing System (EOS) currently operates dozens of remote sensing satellites, many of which can be viewed directly in NASA’s open-source Worldview application. Much of this satellite imagery can be viewed in near-real time as it is processed and served by NASA’s Global Imagery Browse Service (GIBS). To better educate users on the time and location of imagery, GIBS serves orbit track specific layers for each satellite. Worldview has historically served these layers as raster images but recent updates have enabled the application to now serve these layers using vector tiles. With the release of Worldview v3.0, orbit track layers can be displayed using mapbox vector tiles (MVT). This visualization format allows users to not only view and change the color of orbit track layers, as they could do previously with rasters, but also inspect individual vector points and filter layers by specific parameters such as time. The data contained within a MVT is further enhanced in Worldview with the combination of a JSON description file served from GIBS used to describe the MVT data. This presentation will provide an overview of the process of consuming orbit track vector tiles and data files from GIBS using a pipeline to configure, build and ultimately display the orbit tracks in Worldview. Furthermore, the presentation aims to describe how others can leverage our open-source code to display and enhance vector layers in their own applications.
In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (t.e., they rely on the "heroic proof"). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code. In this paper, we describe a tool for formally demonstrating safety-relevant aspects of aerospace software, which largely circumvents these problems. We focus on safely properties because it has been observed that safety violations such as out-of-bounds memory accesses or use of uninitialized variables constitute the majority of the errors found in the aerospace domain. In our approach, safety means that the program will not violate a set of rules that can range for the simple memory access rules to high-level flight rules. These different safety properties are formalized as different safety policies in Hoare logic, which are then used by a verification condition generator along with the code and logical annotations in order to derive formal safety conditions; these are then proven using an automated theorem prover. Our certification system is currently integrated into a model-based code generation toolset that generates the annotations together with the code. However, this automated formal certification technology is not exclusively constrained to our code generator and could, in principle, also be integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.
This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.