Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “machining processes”

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 1,243 records · Page 69

Alloy Evaluation and Flow Forming Process Modeling for Net Shape Aerospace Structures

Over the past decade, NASA Langley Research Center (LaRC) has led several manufacturing demonstration projects exploiting flow forming technology. The work has resulted in the commercial-scale manufacture of 10-ft. diameter single-piece, integrally stiffened cylinders. Near-net-shape flow forming offers simplified manufacturing schedules and cost savings through reduced part count. Reduction or elimination of machining, welding, and/or riveting can also lead to significant performance gains. NASA LaRC recently established a flow forming research facility to investigate new alloys and stiffener geometries for fuselage and launch vehicle cryotank applications. Candidate aluminum alloys and heat treatment combinations have been characterized through advanced mechanical testing and microscopy to maximize workability during flow forming trials. Elasto-plastic deformation simulations of the forming process have been performed using the finite element software DEFORM and correlated with forming trial results. The overall objective is to optimize structural performance through a combination of innovative materials, processes, and designs.

single-piece↗

Machine-Checkable Timed CSP

The correctness of safety-critical embedded software is crucial, whereas non-functional properties like deadlock-freedom and real-time constraints are particularly important. The real-time calculus Timed Communicating Sequential Processes (CSP) is capable of expressing such properties and can therefore be used to verify embedded software. In this paper, we present our formalization of Timed CSP in the Isabelle/HOL theorem prover, which we have formulated as an operational coalgebraic semantics together with bisimulation equivalences and coalgebraic invariants. Furthermore, we apply these techniques in an abstract specification with real-time constraints, which is the basis for current work in which we verify the components of a simple real-time operating system deployed on a satellite.

Goethel, Thomas↗

A Vehicle Management End-to-End Testing and Analysis Platform for Validation of Mission and Fault Management Algorithms to Reduce Risk for NASA's Space Launch System

The engineering development of the new Space Launch System (SLS) launch vehicle requires cross discipline teams with extensive knowledge of launch vehicle subsystems, information theory, and autonomous algorithms dealing with all operations from pre-launch through on orbit operations. The characteristics of these spacecraft systems must be matched with the autonomous algorithm monitoring and mitigation capabilities for accurate control and response to abnormal conditions throughout all vehicle mission flight phases, including precipitating safing actions and crew aborts. This presents a large and complex system engineering challenge, which is being addressed in part by focusing on the specific subsystems involved in the handling of off-nominal mission and fault tolerance with response management. Using traditional model based system and software engineering design principles from the Unified Modeling Language (UML) and Systems Modeling Language (SysML), the Mission and Fault Management (M&FM) algorithms for the vehicle are crafted and vetted in specialized Integrated Development Teams (IDTs) composed of multiple development disciplines such as Systems Engineering (SE), Flight Software (FSW), Safety and Mission Assurance (S&MA) and the major subsystems and vehicle elements such as Main Propulsion Systems (MPS), boosters, avionics, Guidance, Navigation, and Control (GNC), Thrust Vector Control (TVC), and liquid engines. These model based algorithms and their development lifecycle from inception through Flight Software certification are an important focus of this development effort to further insure reliable detection and response to off-nominal vehicle states during all phases of vehicle operation from pre-launch through end of flight. NASA formed a dedicated M&FM team for addressing fault management early in the development lifecycle for the SLS initiative. As part of the development of the M&FM capabilities, this team has developed a dedicated testbed that integrates specific M&FM algorithms, specialized nominal and off-nominal test cases, and vendor-supplied physics-based launch vehicle subsystem models. Additionally, the team has developed processes for implementing and validating these algorithms for concept validation and risk reduction for the SLS program. The flexibility of the Vehicle Management End-to-end Testbed (VMET) enables thorough testing of the M&FM algorithms by providing configurable suites of both nominal and off-nominal test cases to validate the developed algorithms utilizing actual subsystem models such as MPS. The intent of VMET is to validate the M&FM algorithms and substantiate them with performance baselines for each of the target vehicle subsystems in an independent platform exterior to the flight software development infrastructure and its related testing entities. In any software development process there is inherent risk in the interpretation and implementation of concepts into software through requirements and test cases into flight software compounded with potential human errors throughout the development lifecycle. Risk reduction is addressed by the M&FM analysis group working with other organizations such as S&MA, Structures and Environments, GNC, Orion, the Crew Office, Flight Operations, and Ground Operations by assessing performance of the M&FM algorithms in terms of their ability to reduce Loss of Mission and Loss of Crew probabilities. In addition, through state machine and diagnostic modeling, analysis efforts investigate a broader suite of failure effects and associated detection and responses that can be tested in VMET to ensure that failures can be detected, and confirm that responses do not create additional risks or cause undesired states through interactive dynamic effects with other algorithms and systems. VMET further contributes to risk reduction by prototyping and exercising the M&FM algorithms early in their implementation and without any inherent hindrances such as meeting FSW processor scheduling constraints due to their target platform - ARINC 653 partitioned OS, resource limitations, and other factors related to integration with other subsystems not directly involved with M&FM such as telemetry packing and processing. The baseline plan for use of VMET encompasses testing the original M&FM algorithms coded in the same C++ language and state machine architectural concepts as that used by Flight Software. This enables the development of performance standards and test cases to characterize the M&FM algorithms and sets a benchmark from which to measure the effectiveness of M&FM algorithms performance in the FSW development and test processes.

Trevino, Luis↗

A Vehicle Management End-to-End Testing and Analysis Platform for Validation of Mission and Fault Management Algorithms to Reduce Risk for NASAs Space Launch System

The engineering development of the National Aeronautics and Space Administration's (NASA) new Space Launch System (SLS) requires cross discipline teams with extensive knowledge of launch vehicle subsystems, information theory, and autonomous algorithms dealing with all operations from pre-launch through on orbit operations. The nominal and off-nominal characteristics of SLS's elements and subsystems must be understood and matched with the autonomous algorithm monitoring and mitigation capabilities for accurate control and response to abnormal conditions throughout all vehicle mission flight phases, including precipitating safing actions and crew aborts. This presents a large and complex systems engineering challenge, which is being addressed in part by focusing on the specific subsystems involved in the handling of off-nominal mission and fault tolerance with response management. Using traditional model-based system and software engineering design principles from the Unified Modeling Language (UML) and Systems Modeling Language (SysML), the Mission and Fault Management (M&FM) algorithms for the vehicle are crafted and vetted in Integrated Development Teams (IDTs) composed of multiple development disciplines such as Systems Engineering (SE), Flight Software (FSW), Safety and Mission Assurance (S&MA) and the major subsystems and vehicle elements such as Main Propulsion Systems (MPS), boosters, avionics, Guidance, Navigation, and Control (GNC), Thrust Vector Control (TVC), and liquid engines. These model-based algorithms and their development lifecycle from inception through FSW certification are an important focus of SLS's development effort to further ensure reliable detection and response to off-nominal vehicle states during all phases of vehicle operation from pre-launch through end of flight. To test and validate these M&FM algorithms a dedicated test-bed was developed for full Vehicle Management End-to-End Testing (VMET). For addressing fault management (FM) early in the development lifecycle for the SLS program, NASA formed the M&FM team as part of the Integrated Systems Health Management and Automation Branch under the Spacecraft Vehicle Systems Department at the Marshall Space Flight Center (MSFC). To support the development of the FM algorithms, the VMET developed by the M&FM team provides the ability to integrate the algorithms, perform test cases, and integrate vendor-supplied physics-based launch vehicle (LV) subsystem models. Additionally, the team has developed processes for implementing and validating the M&FM algorithms for concept validation and risk reduction. The flexibility of the VMET capabilities enables thorough testing of the M&FM algorithms by providing configurable suites of both nominal and off-nominal test cases to validate the developed algorithms utilizing actual subsystem models such as MPS, GNC, and others. One of the principal functions of VMET is to validate the M&FM algorithms and substantiate them with performance baselines for each of the target vehicle subsystems in an independent platform exterior to the flight software test and validation processes. In any software development process there is inherent risk in the interpretation and implementation of concepts from requirements and test cases into flight software compounded with potential human errors throughout the development and regression testing lifecycle. Risk reduction is addressed by the M&FM group but in particular by the Analysis Team working with other organizations such as S&MA, Structures and Environments, GNC, Orion, Crew Office, Flight Operations, and Ground Operations by assessing performance of the M&FM algorithms in terms of their ability to reduce Loss of Mission (LOM) and Loss of Crew (LOC) probabilities. In addition, through state machine and diagnostic modeling, analysis efforts investigate a broader suite of failure effects and associated detection and responses to be tested in VMET to ensure reliable failure detection, and confirm responses do not create additional risks or cause undesired states through interactive dynamic effects with other algorithms and systems. VMET further contributes to risk reduction by prototyping and exercising the M&FM algorithms early in their implementation and without any inherent hindrances such as meeting FSW processor scheduling constraints due to their target platform - the ARINC 6535-partitioned Operating System, resource limitations, and other factors related to integration with other subsystems not directly involved with M&FM such as telemetry packing and processing. The baseline plan for use of VMET encompasses testing the original M&FM algorithms coded in the same C++ language and state machine architectural concepts as that used by FSW. This enables the development of performance standards and test cases to characterize the M&FM algorithms and sets a benchmark from which to measure their effectiveness and performance in the exterior FSW development and test processes. This paper is outlined in a systematic fashion analogous to a lifecycle process flow for engineering development of algorithms into software and testing. Section I describes the NASA SLS M&FM context, presenting the current infrastructure, leading principles, methods, and participants. Section II defines the testing philosophy of the M&FM algorithms as related to VMET followed by section III, which presents the modeling methods of the algorithms to be tested and validated in VMET. Its details are then further presented in section IV followed by Section V presenting integration, test status, and state analysis. Finally, section VI addresses the summary and forward directions followed by the appendices presenting relevant information on terminology and documentation.

Trevino, Luis↗

Statistical properties of two sine waves in Gaussian noise.

A detailed study is presented of some statistical properties of a stochastic process that consists of the sum of two sine waves of unknown relative phase and a normal process. Since none of the statistics investigated seem to yield a closed-form expression, all the derivations are cast in a form that is particularly suitable for machine computation. Specifically, results are presented for the probability density function (pdf) of the envelope and the instantaneous value, the moments of these distributions, and the relative cumulative density function (cdf).

Esposito, R.↗

Human vs autonomous control of planetary roving vehicles

Supervisory or semiautonomous control has some compelling advantages over step-by-step human command and verification for the operation of roving vehicles on remote planetary surfaces. There are also disadvantages in relation to the complex system that must be mobilized and the chain of events that must be enacted to conduct a mission. Which of the two control methods is better on technical grounds may not be the deciding factor in its acceptance or rejection. Some of the issues that affect changes in spacecraft design and operation are summarized. To accelerate the movement toward more autonomous machines, it will be necessary to understand and to address the problems that such autonomy will create for other elements of the control system and for the control process.

Whitney, W. M.↗

Classification and mensuration of LACIE segments

The theory of classification methods and the functional steps in the manual training process used in the three phases of LACIE are discussed. The major problems that arose in using a procedure for manually training a classifier and a method of machine classification are discussed to reveal the motivation that led to a redesign for the third LACIE phase.

Heydorn, R. P.↗

The Build System - Integration and management of large software avionic systems

The Build System comprises the software tools and procedures creating the flight memory load for the Space Shuttle Backup Flight System. The system has six functions: (1) configuration management, which insures that the memory load contains the proper modules, all clearly marked; (2) source translation, which translates the source code into a relocatable machine code; (3) module integration, which combines and assigns memory locations to all the object modules produced in source translation; (4) static code analysis, which verifies the integration process; (5) deliverables generation, which yields release documentation and deliverable items; and (6) release maintenance, which controls all system patches subsequent to release. Further developments will include more automation in the producing of patches from source-code updates and system requirements for tracking.

Mayer, J. T. B.↗

Advances in sputtered and ion plated solid film lubrication

The glow discharge or ion assisted vacuum deposition techniques, primarily sputtering and ion plating, have rapidly emerged and offer great potential to deposit solid lubricants. The increased energizing of these deposition processes lead to improved adherence and coherence, favorable morphological growth, higher density, and reduced residual stresses in the film. These techniques are of invaluable importance where high precision machines tribo-components require very thin, uniform lubricating films (0.2 m), which do not interface with component tolerances. The performance of sputtered MoS2 films and ion plated Au and Pb films are described in terms of film thickness, coefficient of friction, and wear lives.

Spalvins, T.↗

Optimal maintenance center inventories for fault-tolerant repairable systems

A probabilistic approach is taken to determine the optimal repairable parts inventory for a maintenance center, servicing machines which contain several m-out-of-n systems of different parts, with a constraint on the total inventory investment. A model, based on the discrete Markov process, accounts for a typical ultrareliable avionics system, such as one presently being developed by NASA. The dynamic programming algorithm for minimizing the stockout and holding costs is applied to an exemplary maintenance center, and solutions for single-item and multi-item cases are given. The computational burden is noted to be reasonable and a computer program is used to generate optimal solutions.

Lawrence, S. H.↗

The human quest in space; Proceedings of the Twenty-fourth Goddard Memorial Symposium, Greenbelt, MD, Mar. 20, 21, 1986

Papers are presented on the Space Station, materials processing in space, the status of space remote sensing, the evolution of space infrastructure, and the NASA Teacher Program. Topics discussed include visionary technologies, the effect of intelligent machines on space operations, future information technology, and the role of nuclear power in future space missions. Consideration is given to the role of humans in space exploration; medical problems associated with long-duration space flights; lunar and Martian settlements, and Biosphere II (the closed ecology project).

Burdett, Gerald L.↗

Software component quality evaluation

The paper describes a software inspection process that can be used to evaluate the quality of software components. Quality criteria, process application, independent testing of the process and proposed associated tool support are covered. Early results indicate that this technique is well suited for assessing software component quality in a standardized fashion. With automated machine assistance to facilitate both the evaluation and selection of software components, such a technique should promote effective reuse of software components.

Clough, A. J.↗

A summary of image segmentation techniques

Machine vision systems are often considered to be composed of two subsystems: low-level vision and high-level vision. Low level vision consists primarily of image processing operations performed on the input image to produce another image with more favorable characteristics. These operations may yield images with reduced noise or cause certain features of the image to be emphasized (such as edges). High-level vision includes object recognition and, at the highest level, scene interpretation. The bridge between these two subsystems is the segmentation system. Through segmentation, the enhanced input image is mapped into a description involving regions with common features which can be used by the higher level vision tasks. There is no theory on image segmentation. Instead, image segmentation techniques are basically ad hoc and differ mostly in the way they emphasize one or more of the desired properties of an ideal segmenter and in the way they balance and compromise one desired property against another. These techniques can be categorized in a number of different groups including local vs. global, parallel vs. sequential, contextual vs. noncontextual, interactive vs. automatic. In this paper, we categorize the schemes into three main groups: pixel-based, edge-based, and region-based. Pixel-based segmentation schemes classify pixels based solely on their gray levels. Edge-based schemes first detect local discontinuities (edges) and then use that information to separate the image into regions. Finally, region-based schemes start with a seed pixel (or group of pixels) and then grow or split the seed until the original image is composed of only homogeneous regions. Because there are a number of survey papers available, we will not discuss all segmentation schemes. Rather than a survey, we take the approach of a detailed overview. We focus only on the more common approaches in order to give the reader a flavor for the variety of techniques available yet present enough details to facilitate implementation and experimentation.

Spirkovska, Lilly↗

Navigation in Grid Space with the NAS Grid Benchmarks

We present a navigational tool for computational grids. The navigational process is based on measuring the grid characteristics with the NAS Grid Benchmarks (NGB) and using the measurements to assign tasks of a grid application to the grid machines. The tool allows the user to explore the grid space and to navigate the execution at a grid application to minimize its turnaround time. We introduce the notion of gridscape as a user view of the grid and show how it can be me assured by NGB, Then we demonstrate how the gridscape can be used with two different schedulers to navigate a grid application through a rudimentary grid.

Frumkin, Michael↗

Fast-Response-Time Shape-Memory-Effect Foam Actuators

Bulk shape memory alloys, such as Nitinol or CuAlZn, display strong recovery forces undergoing a phase transformation after being strained in their martensitic state. These recovery forces are used for actuation. As the phase transformation is thermally driven, the response time of the actuation can be slow, as the heat must be passively inserted or removed from the alloy. Shape memory alloy TiNi torque tubes have been investigated for at least 20 years and have demonstrated high actuation forces [3,000 in.-lb (approximately equal to 340 N-m) torques] and are very lightweight. However, they are not easy to attach to existing structures. Adhesives will fail in shear at low-torque loads and the TiNi is not weldable, so that mechanical crimp fits have been generally used. These are not reliable, especially in vibratory environments. The TiNi is also slow to heat up, as it can only be heated indirectly using heater and cooling must be done passively. This has restricted their use to on-off actuators where cycle times of approximately one minute is acceptable. Self-propagating high-temperature synthesis (SHS) has been used in the past to make porous TiNi metal foams. Shape Change Technologies has been able to train SHS derived TiNi to exhibit the shape memory effect. As it is an open-celled material, fast response times were observed when the material was heated using hot and cold fluids. A methodology was developed to make the open-celled porous TiNi foams as a tube with integrated hexagonal ends, which then becomes a torsional actuator with fast response times. Under processing developed independently, researchers were able to verify torques of 84 in.-lb (approximately equal to 9.5 Nm) using an actuator weighing 1.3 oz (approximately equal to 37 g) with very fast (less than 1/16th of a second) initial response times when hot and cold fluids were used to facilitate heat transfer. Integrated structural connections were added as part of the net shape process, eliminating the need for welding, adhesives, or mechanical crimping. Inexpensive net-shape processing was used, which reduces the cost of the actuator by over a factor of 10 over nonporous TiNi made by hot drawing of tube or electrical discharge machining. By forming the alloy as an open-celled foam, the surface area for heat transfer is dramatically increased, allowing for much faster response times. The technology also allows for netshape fabrication of the actuator, which allows for structural connections to be integrated into the actuator material, making these actuators significantly less expensive. Commercial applications include actuators for concepts such as the variable area chevron and nozzle in jet aircraft. Lightweight tube or rod components can be supplied to interested parties.

Jardine, Peter↗

Low Cost Upper Stage-Class Propulsion (LCUSP)

NASA is making space exploration more affordable and viable by developing and utilizing innovative manufacturing technologies. Technology development efforts at NASA in propulsion are committed to continuous innovation of design and manufacturing technologies for rocket engines in order to reduce the cost of NASA's journey to Mars. The Low Cost Upper Stage-Class Propulsion (LCUSP) effort will develop and utilize emerging Additive Manufacturing (AM) to significantly reduce the development time and cost for complex rocket propulsion hardware. Benefit of Additive Manufacturing (3-D Printing) Current rocket propulsion manufacturing techniques are costly and have lengthy development times. In order to fabricate rocket engines, numerous complex parts made of different materials are assembled in a way that allow the propellant to collect heat at the right places to drive the turbopump and simultaneously keep the thrust chamber from melting. The heat conditioned fuel and oxidizer come together and burn inside the combustion chamber to provide thrust. The efforts to make multiple parts precisely fit together and not leak after experiencing cryogenic temperatures on one-side and combustion temperatures on the other is quite challenging. Additive manufacturing has the potential to significantly reduce the time and cost of making rocket parts like the copper liner and Nickel-alloy jackets found in rocket combustion chambers where super-cold cryogenic propellants are heated and mixed to the extreme temperatures needed to propel rockets in space. The Selective Laser Melting (SLM) machine fuses 8,255 layers of copper powder to make a section of the chamber in 10 days. Machining an equivalent part and assembling it with welding and brazing techniques could take months to accomplish with potential failures or leaks that could require fixes. The design process is also enhanced since it does not require the 3D model to be converted to 2-D drawings. The design and fabrication process can be sped up and improved with fewer errors to be accomplished in weeks instead of months.

Vickers, John↗

Sherlock Data Warehouse

This slide deck provides an overview of the data and resources available in the Sherlock Data Warehouse. Sherlock was developed and is currently maintained by the Aviation Systems Division at NASA Ames Research Center. Sherlock contains a valuable collection of flight, air traffic management, and weather data. But Sherlock is not just a data archive. Sherlock also includes tools and resources to access, download, and visualize data, as well as resources to process the data. This overview summarizes Sherlock data sources, demonstrates data analytics and visualization with MicroStrategy, illustrates disparate data integration using the ATM Knowledge graph, and presents a machine learning use case using the Big Data system.

data warehouse↗

Towards a program of record of inland water quality: Exploiting present and heritage multispectral sensors for maximum information extraction

Degradation of Earth’s inland water resources due to anthropogenic perturbations and climate anomalies at both local and global scales continues to place human health at substantial risk. There is now a growing necessity to develop pragmatic approaches that allow timely and effective extrapolation of local processes, to spatially resolved global products, and to promote operational and sustainable resource policy management. This research exploits recent advancements in bio-optical modeling, cloud computing, and machine learning to enhance our capacity to leverage present and heritage satellite data. Recent research suggests that sensors with low spectral resolution, such as Sentinel 2 and Landsat missions, contain enough hidden spectral variation which can be exploited using data-driven approaches. The availability of three decades of archival imagery will open doors to discover global trends of eutrophication and increased cyanobacteria dominance and provide valuable insight to the development of predictive methodologies. Preliminary efforts in synthetic emulation of global natural inland waters will be discussed and contextualized against satellite radiometric measurement uncertainty, satellite data product uncertainties and causal signal ambiguity over the visible wavelength range, supported by high quality field and image data for selected inland aquatic sites. Insights on water quality estimation via data-driven machine learning models versus matrix inversions will be discussed, and how we can exploit spectral-spatial relationships in high spatial resolution data. A cross-sensor synergistic approach with detailed uncertainty analysis based on optical water types, will allow for unprecedented global snapshots of fine scale ecological dynamics of inland waters.

Inland↗