SEARCH · Engineering Papers

Results for “Programming Practices”

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.

SourceResearch connectionFrom yearThrough year

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

At least 595 records · Page 33

All sources NASA NTRS DOE OSTI

NASA NTRS1991

Finite element methods for integrated aerodynamic heating analysis

This report gives a description of the work which has been undertaken during the second year of a three year research program. The objectives of the program are to produce finite element based procedures for the solution of the large scale practical problems which are of interest to the Aerothermal Loads Branch (ALB) at NASA Langley Research Establishment. The problems of interest range from Euler simulations of full three dimensional vehicle configurations to local analyses of three dimensional viscous laminar flow. Adaptive meshes produced for both steady state and transient problems are to be considered. An important feature of the work is the provision of specialized techniques which can be used at ALB for the development of an integrated fluid/thermal/structural modeling capability.

Morgan, K.↗

NASA NTRS1993

Instantaneous velocity field imaging instrument for supersonic reacting flows

The technical tasks conducted to develop and demonstrate a new gas velocity measurement technique for high enthalpy reacting flows is described. The technique is based on Doppler-shifted Planar Laser-induced Fluorescence (PLIF) imaging of the OH radical. The imaging approach permits, in principle, single-shot measurements of the 2-D distribution of a single velocity component in the measurement plane, and is thus a technique of choice for applications in high enthalpy transient flow facilities. In contrast to previous work in this area, the present program demonstrated an approach which modified the diagnostic technique to function under the constraints of practical flow conditions of engineering interest, rather than vice-versa. In order to accomplish the experimental demonstrations, the state-of-the-art in PLIF diagnostic techniques was advanced in several ways. Each of these tasks is described in detail and is intended to serve as a reference in supporting the transition of this new capability to the fielded PLIF instruments now installed at several national test facilities. Among the new results of general interest in LlF-based flow diagnostics, a detailed set of the first measurements of the collisional broadening and shifting behavior of OH (1,0) band transitions in H7-air combustion environments is included. Such measurements are critical in the design of a successful strategy for PLIF velocity imaging; they also relate to accurate concentration and temperature measurements, particularly in compressible flow regimes. Furthermore, the results shed new light on the fundamental relationship between broadening and energy transfer collisions in OH A(sup 2)Sigma(+)v(sup ') = 1. The first single-pulse, spectrally-resolved measurements of the output of common pulsed dye lasers were also produced during the course of this effort. As with the OH broadening measurements, these data are a significant aspect of a successful velocity imaging strategy, and also have potential implications for many other LIF measurement techniques. Our results indicated the need to modify the commercially available laser cavity in order to accommodate the constraints imposed by typical SCRAMJET combustion characteristics as well as to increase the instrument's velocity dynamic range to span an intra-image range in excess of 2 km/s. The various technical efforts were brought together in a series of experiments demonstrating the applicability of the technique in a high pressure, high temperature H2-air combustion system. The resultant images were compared with 2-D flow simulations in order to determine the accuracy of the instrument. Mean velocity imaging in flows with an axis of symmetry was demonstrated with an accuracy of +/- 50 m/s out of an intra-image dynamic range of 1600 m/s, including reversed flow. A more complex configuration amenable to single-shot imaging in flows without an axis of symmetry was also demonstrated. Limitations imposed by available equipment resulted in an accuracy of about +/- 200 m/s out of 1750 m/s in these demonstrations. Minor modifications to the present configuration were suggested to improve this performance. Each technical task is described in detail, along with significance of the results for the overall imaging velocimeter configuration. This report should allow the user community to integrate this new measurement capability in their existing instrumentation platforms.

Allen, M. G.↗

NASA NTRS1994

Closing the loop on improvement: Packaging experience in the Software Engineering Laboratory

As part of its award-winning software process improvement program, the Software Engineering Laboratory (SEL) has developed an effective method for packaging organizational best practices based on real project experience into useful handbooks and training courses. This paper shares the SEL's experience over the past 12 years creating and updating software process handbooks and training courses. It provides cost models and guidelines for successful experience packaging derived from SEL experience.

Waligora, Sharon R.↗

NASA NTRS2004

Toward Synthesis, Analysis, and Certification of Security Protocols

Implemented security protocols are basically pieces of software which are used to (a) authenticate the other communication partners, (b) establish a secure communication channel between them (using insecure communication media), and (c) transfer data between the communication partners in such a way that these data only available to the desired receiver, but not to anyone else. Such an implementation usually consists of the following components: the protocol-engine, which controls in which sequence the messages of the protocol are sent over the network, and which controls the assembly/disassembly and processing (e.g., decryption) of the data. the cryptographic routines to actually encrypt or decrypt the data (using given keys), and t,he interface to the operating system and to the application. For a correct working of such a security protocol, all of these components must work flawlessly. Many formal-methods based techniques for the analysis of a security protocols have been developed. They range from using specific logics (e.g.: BAN-logic [4], or higher order logics [12] to model checking [2] approaches. In each approach, the analysis tries to prove that no (or at least not a modeled intruder) can get access to secret data. Otherwise, a scenario illustrating the &tack may be produced. Despite the seeming simplicity of security protocols ("only" a few messages are sent between the protocol partners in order to ensure a secure communication), many flaws have been detected. Unfortunately, even a perfect protocol engine does not guarantee flawless working of a security protocol, as incidents show. Many break-ins and security vulnerabilities are caused by exploiting errors in the implementation of the protocol engine or the underlying operating system. Attacks using buffer-overflows are a very common class of such attacks. Errors in the implementation of exception or error handling can open up additional vulnerabilities. For example, on a website with a log-in screen: multiple tries with invalid passwords caused the expected error message (too many retries). but let the user nevertheless pass. Finally, security can be compromised by silly implementation bugs or design decisions. In a commercial VPN software, all calls to the encryption routines were incidentally replaced by stubs, probably during factory testing. The product worked nicely. and the error (an open VPN) would have gone undetected, if a team member had not inspected the low-level traffic out of curiosity. Also, the use secret proprietary encryption routines can backfire, because such algorithms often exhibit weaknesses which can be exploited easily (see e.g., DVD encoding). Summarizing, there is large number of possibilities to make errors which can compromise the security of a protocol. In today s world with short time-to-market and the use of security protocols in open and hostile networks for safety-critical applications (e.g., power or air-traffic control), such slips could lead to catastrophic situations. Thus, formal methods and automatic reasoning techniques should not be used just for the formal proof of absence of an attack, but they ought to be used to provide an end-to-end tool-supported framework for security software. With such an approach all required artifacts (code, documentation, test cases) , formal analyses, and reliable certification will be generated automatically, given a single, high level specification. By a combination of program synthesis, formal protocol analysis, certification; and proof-carrying code, this goal is within practical reach, since all the important technologies for such an approach actually exist and only need to be assembled in the right way.

Schumann, Johann↗

NASA NTRS1995

NASA Langley Research and Technology-Transfer Program in Formal Methods

This paper presents an overview of NASA Langley research program in formal methods. The major goals of this work are to make formal methods practical for use on life critical systems, and to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects. Several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of five NASA civil servants and contractors from Odyssey Research Associates, SRI International, and VIGYAN Inc.

Butler, Ricky W.↗

NASA NTRS2009

A Methodology for Training International Space Station Crews to Respond to On-Orbit Emergencies

Most spaceflight crewmembers agree that emergency training is among the most important training they receive. If an emergency event occurs on-orbit crewmembers want to be able to rely on a thorough and proficient knowledge of emergency operations and procedures. The inherent complexity of ISS and the international nature of the onboard operations have resulted in emergency procedures that are complex by any measure; as a result, a very robust apparatus has been developed to give crewmembers initial training on emergency procedures and ensure proficiency up to (and even after) launch. One of the most important aspects of complex onboard operations in general, and emergency operations specifically, is learning how to coordinate roles and responsibilities with fellow crewmembers. A primary goal of NASA s emergency training program is to allow the crewmembers who will actually be together on-orbit to practice executing the emergency responses together before they fly. As with any operation that includes the use of software and hardware, the fidelity of the simulation environment is a critical element to successful training. The NASA training division has spent considerable time and effort to develop a simulator that addresses the most important aspects of emergency response, working within very difficult space and budgetary constraints.

Balmain, Clinton↗

NASA NTRS2013

A Scala DSL for RETE-Based Runtime Verification

Runtime verification (RV) consists in part of checking execution traces against formalized specifications. Several systems have emerged, most of which support specification notations based on state machines, regular expressions, temporal logic, or grammars. The field of Artificial Intelligence (AI) has for an even longer period of time studied rule-based production systems, which at a closer look appear to be relevant for RV, although seemingly focused on slightly different application domains, such as for example business processes and expert systems. The core algorithm in many of these systems is the Rete algorithm. We have implemented a Rete-based runtime verification system, named LogFire (originally intended for offline log analysis but also applicable to online analysis), as an internal DSL in the Scala programming language, using Scala's support for defining DSLs. This combination appears attractive from a practical point of view. Our contribution is in part conceptual in arguing that such rule-based frameworks originating from AI may be suited for RV.

matching problem↗

NASA NTRS2015

Aerospace Medicine Talk

The presentation is next Sunday, May 10th. It will be to the Civil Aviation Medical Association, for 2 hours at Disney World in Orlando. It is a high level talk on space medicine, including history, the role of my office, human health risks of space flight, general aspects of space medicine practice, human health risk management (including integrated activities of medical operations and the Human Research Program, and thoughts concerning health risks for long duration exploration class space missions. No proprietary data or material will be used, all is readily available in the public sector. There is also a short (30 min) talk on Monday at the CAMA lunch. There we will describe the Visual Impairment and Intracranial Pressure syndrome, with possible etiologies and plans for research (already selected studies). Again, nothing proprietary will be discussed.

Aerospace Medicine Overview↗

NASA NTRS2019

Transfer Trajectory Options for Servicing Sun-Earth-Moon Libration Point Missions

Future missions to the Sun-Earth Libration L1 and L2 regions will require scheduled servicing to maintain hardware and replenish consumables. While there have been statements made by various NASA programs regarding servicing of vehicles at these locations or in Cis-lunar space, a practical transfer study has not been extensively investigated in an operational fashion to determine the impacts of navigation and maneuver errors. This investigation uses dynamical systems and operational models to design transfer trajectories between the Sun-Earth Libration region (QuasiHalo orbit) and the Earth-Moon vicinity (Distant Retrograde Orbit, QuasiHalo Orbit, Halo Orbit, and Near Rectilinear Halo Orbit). We address the total delta V cost of transfers between each pair of locations using a Monte Carlo analysis.

Earth↗

NASA NTRS2019

Transfer Trajectory Options for Servicing Sun-Earth-Moon Libration Point Missions

Future missions to the Sun-Earth Libration L1 and L2 regions will require scheduled servicing to maintain hardware and replenish consumables. While there have been statements made by various NASA programs regarding servicing of vehicles at these locations or in Cis-lunar space, a practical transfer study has not been extensively investigated in an operational fashion to determine the impacts of navigation and maneuver errors. This investigation uses dynamical systems and operational models to design transfer trajectories between the Sun-Earth Libration region (QuasiHalo orbit) and the Earth-Moon vicinity (Distant Retrograde Orbit, QuasiHalo Orbit, Halo Orbit, and Near Rectilinear Halo Orbit). We address the total ΔV cost of transfers and operational considerations between each pair of locations using a Monte Carlo analysis.

Folta, David C.↗

NASA NTRS2020

NASA Quality Assurance in an MBSE world

Over the past decade or so, the emergence of Model Based Systems Engineering (MBSE) has demonstrated its desirability and value in terms of 1) being a single source of truth, 2) unambiguous definitions and relationships, and 3) after representation, the ability to explore/extract any sets of data on demand. While much work has been done in showing the value to the system engineering discipline in these areas, how does that value translate to the Safety and Mission Assurance (S&MA) world? This paper provides a vision of a very desirable future of NASA S&MA after it is fully integrated into the MBSE framework. We explore the impact and consequences of the MBSE Value items discussed above and how they impact the disciplines of quality assurance, reliability and maintainability, system safety, and software assurance. We provide insight into how the MBSE modeling tools can be used to define S&MA processes (ideally as a result of Use Case [1] elaboration of processes represented in MagicDraw®), produce S&MA products (ViewEditor output of various items), and represent S&MA disciplines (S&MA inside of MagicDraw). We also provide insight into the degree to which some elements can be directly integrated into a SysML® model and when, as often happens, an interface to some external source must be provided. The desirability of this future is part of the reason for the NASA Office of Safety and Mission Assurance’s (OSMA) recent creation of a Model Based Mission Assurance (MBMA) Program [2] and the MBMA annual workshops. We briefly summarize the efforts to date to generate S&MA Use Cases for eventual deployment into pilot and project efforts. Even simple use of the SysML modeling tools can be used to capture quality assurance tasks and integrate them with the systems engineering and produce products that are easy to use by quality practitioners that are unfamiliar with these methods. We anticipate finding opportunities to pilot and implement various Quality Assurance (QA) Use Cases in FY20. The MBMA Program is focused on implementation; the NASA Office of the Chief Engineer's Community of Practice, as well as the SmallSat communities, are very interested in the integration of S&MA. Finally, as projects move forward utilizing whatever efficiency increases they can find in a cost-constrained environment, the S&MA community cannot be caught unawares and needs to continue preparing for the ever-growing implementation of MBSE across NASA and our government and commercial partners.

Evans, John W↗

NASA NTRS2022

Exploring Applications of Machine Learning for Wildfire Monitoring and Detection using Unmanned Aerial Vehicles

Wildfires are increasing in frequency and severity around the world, including the United States. The losses caused by wildfires could be mitigated if high-risk areas, hotspots, and flare-ups could be monitored continuously, such as through the use of Unmanned Aerial Vehicles (UAVs). This paper documents exploratory efforts using machine learning to determine efficient flight paths for UAVs and to detect wildfires using image classification. On path planning, three machine learning techniques—Genetic Algorithm, Simulated Annealing, and Dynamic Programming—were explored. Genetic Algorithm was found to be an effective approach for path planning for wildfire monitoring and surveillance by UAVs. For a scenario of 25 locations in a circular arrangement, the algorithm was able to return the optimal path. The accuracy and execution time was found to be sensitive to the algorithm hyperparameters selected, which was especially evident in scenarios with hundreds or thousands of locations. Simulated Annealing was also found to be an effective approach for UAV path planning, with a major benefit of avoiding getting trapped in local minima and being straightforward to implement. Like Genetic Algorithm, the performance of Simulated Annealing was also found to be sensitive to the algorithm hyperparameters selected. By comparison, Dynamic Programming guarantees optimality for any number of locations, but it was found to be less practical in terms of execution time for scenarios with more than about a couple dozen locations. On wildfire detection, image classification using deep learning with a convolutional neural network was explored. Transfer learning was found to be a useful technique to efficiently train deep learning models. Also, it was determined that GPU processing can increase training speed by an order of magnitude, which enables significantly faster development. For a validation test set of 500 images, there were only two false negatives and zero false positives. These results demonstrate that detecting wildfires in static cameras using machine learning is feasible and establish a baseline for using images captured by UAVs in flight for wildfire detection.

Wildfire management↗

NASA NTRSDate not supplied

Safe Space Conduct: NASA Best Practices Overview

While prevention of launch and on-orbit collisions has been an institutional concern of NASA for several decades (beginning with the Shuttle program), historically the paucity of spaceactors and deployed payloads made the conduct of such protection activities relatively straightforward. With the substantial increases in launched payloads over the last several years, collision avoidance operations have become substantially more complicated. At the same time, many operators are uncertain regarding what collision avoidance activities are appropriate to their missions. The lack of a space traffic management authority to articulate standards and guidelines for such conduct has only increased the confusion.In response to this situation, NASA has published a Spacecraft Conjunction Assessment and Collision Avoidance Handbook, which articulates and explains the launch and on-orbit collision avoidance best practices that the Agency has developed and is requiring of present and future NASA missions. Because the CA2 Handbook is a living document regularly updated to reflect best practices changes as the industry develops, feedback from both NASA missions and other users is continuously collected in order to issue CA2 Handbook updates.This talk will summarize and explain the collision avoidance best practices from the CA2Handbook, along with the key issues that drove the selection of those practices.

Conjunction Assessment↗

NASA NTRSDate not supplied

NASA Best Practices Overview

While prevention of launch and on-orbit collisions has been an institutional concern of NASA for several decades (beginning with the Shuttle program), historically the paucity of space actors and deployed payloads made the conduct of such protection activities relatively straightforward. With the substantial increases in launched payloads over the last several years, collision avoidance operations have become substantially more complicated. At the same time, many operators are uncertain regarding what collision avoidance activities are appropriate to their missions. The lack of a space traffic management authority to articulate standards and guidelines for such conduct has only increased the confusion. In response to this situation, NASA has published a Spacecraft Conjunction Assessment and Collision Avoidance Handbook, which articulates and explains the launch and on-orbit collision avoidance best practices that the Agency has developed and is requiring of present and future NASA missions. Because the CA2 Handbook is a living document regularly updated to reflect best practices changes as the industry develops, feedback from both NASA missions and other users is continuously collected in order to issue CA2 Handbook updates. This talk will summarize and explain the collision avoidance best practices from the CA2 Handbook, along with the key issues that drove the selection of those practices.

Conjunction Assessment↗

NASA NTRS1992

Flight Project Data Book

The Office of Space Science and Applications (OSSA) is responsible for the overall planning, directing, executing, and evaluating that part of the overall NASA program that has the goal of using the unique characteristics of the space environment to conduct a scientific study of the universe, to understand how the Earth works as an integrated system, to solve practical problems on Earth, and to provide the scientific and technological research foundation for expanding human presence beyond Earth orbit into the solar system. OSSA guides its program toward leadership through its pursuit of excellence across the full spectrum of disciplines. OSSA pursues these goals through an integrated program of ground-based laboratory research and experimentation, suborbital flight of instruments on airplanes, balloons, and sounding rockets; flight of instruments and the conduct of research on the Shuttle/Spacelab system and on Space Station Freedom; and development and flight of automated Earth-orbiting and interplanetary spacecraft. The OSSA program is conducted with the participation and support of other Government agencies and facilities, universities throughout the United States, the aerospace contractor community, and all of NASA's nine Centers. In addition, OSSA operates with substantial international participation in many aspects of our Space Science and Applications Program. OSSA's programs currently in operation, those approved for development, and those planned for future missions are described.

Source record↗

NASA NTRS1979

Program in acoustics

Relevant research projects conducted by faculty and graduate students in the general area of aeroacoustics to further the understanding of noise generation by aircraft and to aid in the development of practical methods for noise suppression are listed. Special activities summarized relate to the nonlinear acoustic wave theory and its application to several cases including that of the acoustic source located at the throat of a near-sonic duct, a computer program developed to compute the nonlinear wave theory, and a parabolic approximation for propagation of sounding in moving stratified media.

Source record↗

NASA NTRS1983

A flight test of laminar flow control leading-edge systems

NASA's program for development of a laminar flow technology base for application to commercial transports has made significant progress since its inception in 1976. Current efforts are focused on development of practical reliable systems for the leading-edge region where the most difficult problems in applying laminar flow exist. Practical solutions to these problems will remove many concerns about the ultimate practicality of laminar flow. To address these issues, two contractors performed studies, conducted development tests, and designed and fabricated fully functional leading-edge test articles for installation on the NASA JetStar aircraft. Systems evaluation and performance testing will be conducted to thoroughly evaluate all system capabilities and characteristics. A simulated airline service flight test program will be performed to obtain the operational sensitivity, maintenance, and reliability data needed to establish that practical solutions exist for the difficult leading-edge area of a future commercial transport employing laminar flow control.

Fischer, M. C.↗

NASA NTRS1983

A flight test of laminar flow control leading-edge systems

Fischer, M. C.↗