Search NASA⌕ Search

SEARCH · Search NASA

Results for “Multi - processor programming”

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 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

Trabecular Bone Mechanical Properties and Fractal Dimension

Countermeasures for reducing bone loss and muscle atrophy due to extended exposure to the microgravity environment of space are continuing to be developed and improved. An important component of this effort is finite element modeling of the lower extremity and spinal column. These models will permit analysis and evaluation specific to each individual and thereby provide more efficient and effective exercise protocols. Inflight countermeasures and post-flight rehabilitation can then be customized and targeted on a case-by-case basis. Recent Summer Faculty Fellowship participants have focused upon finite element mesh generation, muscle force estimation, and fractal calculations of trabecular bone microstructure. Methods have been developed for generating the three-dimensional geometry of the femur from serial section magnetic resonance images (MRI). The use of MRI as an imaging modality avoids excessive exposure to radiation associated with X-ray based methods. These images can also detect trabecular bone microstructure and architecture. The goal of the current research is to determine the degree to which the fractal dimension of trabecular architecture can be used to predict the mechanical properties of trabecular bone tissue. The elastic modulus and the ultimate strength (or strain) can then be estimated from non-invasive, non-radiating imaging and incorporated into the finite element models to more accurately represent the bone tissue of each individual of interest. Trabecular bone specimens from the proximal tibia are being studied in this first phase of the work. Detailed protocols and procedures have been developed for carrying test specimens through all of the steps of a multi-faceted test program. The test program begins with MRI and X-ray imaging of the whole bones before excising a smaller workpiece from the proximal tibia region. High resolution MRI scans are then made and the piece further cut into slabs (roughly 1 cm thick). The slabs are X-rayed again and also scanned using dual-energy X-ray absorptiometry (DEXA). Cube specimens are then cut from the slabs and tested mechanically in compression. Correlations between mechanical properties and fractal dimension will then be examined to assess and quantify the predictive capability of the fractal calculations.

Hogan, Harry A.↗
NASA NTRS2002

Finding Feasible Abstract Counter-Examples

A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

Pasareanu, Corina S.↗
NASA NTRS2003

Execution-Based Model Checking of Interrupt-Based Systems

Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. This is in contrast to traditional model checking, where a model of a system is analyzed Several execution-based model-checking tools exist at this point, such as for example Verisoft and Java PathFinder. The most common formal specification languages used by EMC tools are un- timed, either just assertions, or linear-time temporal logic (LTL). An alternative verification technique is Runtime Execution Monitoring (REM), which is based on monitor- ing the execution of a program, checking that the execution trace conforms to a requirement specification. The Temporal Rover and DBRover are such tools. They provide a very rich specification language, being an extension of LTL with real-time constraints and time-series. We show how execution-based model checking, combined with runtime execution monitoring, can be used for the verification of a large class of safety critical systems commonly known as interrupt-based systems. The proposed approach is novel in that: (i) it supports model checking of a large class of applications not practically verifiable using conventional EMC tools, (ii) it supports verification of LTL assertions extended with real-time and time-series constraints, and (iii) it supports the verification of custom schedulers.

Drusinsky, Doron↗
NASA NTRS1993

Investigation of High-alpha Lateral-directional Control Power Requirements for High-performance Aircraft

Designers of the next-generation fighter and attack airplanes are faced with the requirements of good high-angle-of-attack maneuverability as well as efficient high speed cruise capability with low radar cross section (RCS) characteristics. As a result, they are challenged with the task of making critical design trades to achieve the desired levels of maneuverability and performance. This task has highlighted the need for comprehensive, flight-validated lateral-directional control power design guidelines for high angles of attack. A joint NASA/U.S. Navy study has been initiated to address this need and to investigate the complex flight dynamics characteristics and controls requirements for high-angle-of-attack lateral-directional maneuvering. A multi-year research program is underway which includes ground-based piloted simulation and flight validation. This paper will give a status update of this program that will include a program overview, description of test methodology and preliminary results.

Foster, John V.↗
NASA NTRS2007

Testing of the Crew Exploration Vehicle in NASA Langley's Unitary Plan Wind Tunnel

As part of a strategic, multi-facility test program, subscale testing of NASA s Crew Exploration Vehicle was conducted in both legs of NASA Langley s Unitary Plan Wind Tunnel. The objectives of these tests were to generate aerodynamic and surface pressure data over a range of supersonic Mach numbers and reentry angles of attack for experimental and computational validation and aerodynamic database development. To provide initial information on boundary layer transition at supersonic test conditions, transition studies were conducted using temperature sensitive paint and infrared thermography optical techniques. To support implementation of these optical diagnostics in the Unitary Wind Tunnel, the experiment was first modeled using the Virtual Diagnostics Interface software. For reentry orientations of 140 to 170 degrees (heat shield forward), windward surface flow was entirely laminar for freestream unit Reynolds numbers equal to or less than 3 million per foot. Optical techniques showed qualitative evidence of forced transition on the windward heat shield with application of both distributed grit and discreet trip dots. Longitudinal static force and moment data showed the largest differences with Mach number and angle of attack variations. Differences associated with Reynolds number variation and/or laminar versus turbulent flow on the heat shield were very small. Static surface pressure data supported the aforementioned trends with Mach number, Reynolds number, and angle of attack.

Murphy, Kelly J.↗
NASA NTRS2007

Inflatable Aerocapture Decelerators for Mars Orbiters

A multi-disciplinary research program was recently completed, sponsored by NASA Marshall Space Flight Center, on the subject of aerocapture of spacecraft weighing up to 5 metric tons at Mars. Heavier spacecraft will require deployable drag area beyond the dimensional limits of current and planned launch fairings. This research focuses on the approach of lightweight inflatable decelerators constructed with thin films, using fiber reinforcement and having a temperature limitation of 500 C. Trajectory analysis defines trajectories for a range of low ballistic coefficients for which convective heat flux is compatible with the material set. Fluid-Structure Interaction (FSI) tools are expanded to include the rarified flow regime. Several non-symmetrical configurations are evaluated for their capability to develop lift as part of the necessary trajectory control strategy. Manufacturing technology is developed for 3-D stretch forming of polyimide films and for tailored fiber reinforcement of thin films. Finally, the mass of the decelerator is estimated and compared to the mass of a traditional rigid aeroshell.

Brown, Glen J.↗
NASA NTRS2008

NASA's Ares I and Ares V Launch Vehicles--Effective Space Operations Through Efficient Ground Operations

The United States (U.S.) is charting a renewed course for lunar exploration, with the fielding of a new human-rated space transportation system to replace the venerable Space Shuttle, which will be retired after it completes its missions of building the International Space Station (ISS) and servicing the Hubble Space Telescope. Powering the future of space-based scientific exploration will be the Ares I Crew Launch Vehicle, which will transport the Orion Crew Exploration Vehicle to orbit where it will rendezvous with the Altair Lunar Lander, which will be delivered by the Ares V Cargo Launch Vehicle (fig. 1). This configuration will empower rekindled investigation of Earth's natural satellite in the not too distant future. This new exploration infrastructure, developed by the National Aeronautics and Space Administration (NASA), will allow astronauts to leave low-Earth orbit (LEO) for extended lunar missions and preparation for the first long-distance journeys to Mars. All space-based operations - to LEO and beyond - are controlled from Earth. NASA's philosophy is to deliver safe, reliable, and cost-effective architecture solutions to sustain this multi-billion-dollar program across several decades. Leveraging SO years of lessons learned, NASA is partnering with private industry and academia, while building on proven hardware experience. This paper outlines a few ways that the Engineering Directorate at NASA's Marshall Space Flight Center is working with the Constellation Program and its project offices to streamline ground operations concepts by designing for operability, which reduces lifecycle costs and promotes sustainable space exploration.

Singer, Christopher E.↗
NASA NTRS2008

NASA's Ares I and Ares V Launch Vehicles -- Effective Space Operations Through Efficient Ground Operations

The United States (U.S.) plans to return to the Moon by 2020, with the development of a new human-rated space transportation system to replace the Space Shuttle, which is due for retirement in 2010 after it completes its missions of building the International Space Station and servicing the Hubble Space Telescope. Powering the future of space-based scientific exploration will be the Ares I Crew Launch Vehicle, which will transport the Orion Crew Exploration Vehicle to orbit where it will rendezvous with the Lunar Lander. which will be delivered by the Ares V Cargo Launch Vehicle. This new transportation infrastructure, developed by the National Aeronautics and Space Administration (NASA), will allow astronauts to leave low-Earth orbit for extended lunar exploration and preparation for the first footprint on Mars. All space-based operations begin and are controlled from Earth. NASA's philosophy is to deliver safe, reliable, and cost-effective solutions to sustain a multi-billion-dollar program across several decades. Leveraging 50 years of lessons learned, NASA is partnering with private industry, while building on proven hardware experience. This paper will discuss how the Engineering Directorate at NASA's Marshall Space Flight Center is working with the Ares Projects Office to streamline ground operations concepts and reduce costs. Currently, NASA's budget is around $17 billion, which is less than 1 percent of the U.S. Federal budget. Of this amount, NASA invests approximately $4.5 billion each year in Space Shuttle operations, regardless of whether the spacecraft is flying or not. The affordability requirement is for the Ares I to reduce this expense by 50 percent, in order to allow NASA to invest more in space-based scientific operations. Focusing on this metric, the Engineering Directorate provides several solutions-oriented approaches, including Lean/Six Sigma practices and streamlined hardware testing and integration, such as assembling major hardware elements before shipping to the Kennedy Space Center for launch operations. This paper provides top-level details for several cost saving initiatives, including both process and product improvements that will result in space transportation systems that are designed with operations efficiencies in mind. The Engineering Directorate provides both the intellectual capital embodied in an experienced workforce and unique facilities in which to validate the information technology tools that allow a nationwide team to collaboratively connect across miles that separate them and the engineering disciplines that integrate various piece parts into a whole system. As NASA transforms ground-based operations, it also is transitioning its workforce from an era of intense hands-on labor to a new one of mechanized conveniences and robust hardware with simpler interfaces. Ensuring that space exploration is on sound footing requires that operations efficiencies be designed into the transportation system and implemented in the development stage. Applying experience gained through decades of ground and space op'erations, while using value-added processes and modern business and engineering tools, is the philosophy upon which a new era of exploration will be built to solve some of the most pressing exploration challenges today -- namely, safety, reliability, and affordability.

Dumbacher, Daniel L.↗
NASA NTRS2011

Crack Growth Behavior in the Threshold Region for High Cycle Fatigue Loading

This presentation describes results obtained from a research project conducted at the NASA Johnson Space Center (JSC) that was jointly supported by the FAA Technical Center and JSC. The JSC effort was part of a multi-task FAA program involving several U.S. laboratories and initiated for the purpose of developing enhanced analysis tools to assess damage tolerance of rotorcraft and aircraft propeller systems. The research results to be covered in this presentation include a new understanding of the behavior of fatigue crack growth in the threshold region. This behavior is important for structural life analysis of aircraft propeller systems and certain rotorcraft structural components (e.g., the mast). These components are often designed to not allow fatigue crack propagation to exceed an experimentally determined fatigue crack growth threshold value. During the FAA review meetings for the program, disagreements occurred between the researchers regarding the observed fanning (spread between the da/dN curves of constant R) in the threshold region at low stress ratios, R. Some participants believed that the fanning was a result of the ASTM load shedding test method for threshold testing, and thus did not represent the true characteristics of the material. If the fanning portion of the threshold value is deleted or not included in a life analysis, a significant penalty in the calculated life and design of the component would occur. The crack growth threshold behavior was previously studied and reported by several research investigators in the time period: 1970-1980. Those investigators used electron microscopes to view the crack morphology of the fatigue fracture surfaces. Their results showed that just before reaching threshold, the crack morphology often changed from a striated to a faceted or cleavage-like morphology. This change was reported to have been caused by particular dislocation properties of the material. Based on the results of these early investigations, a program was initiated at JSC to repeat these examinations on a number of aircraft structural alloys that were currently being tested for obtaining fatigue crack growth properties. These new scanning electron microscope (SEM) examinations of the fatigue fracture faces confirmed the change in crack morphology in the threshold crack tip region. In addition, SEM examinations were further performed in the threshold crack-tip region before breaking the specimens open (not done in the earlier published studies). In these examinations, extensive crack forking and even 90-degree crack bifurcations were found to have occurred in the final threshold crack-tip region. The forking and bifurcations caused numerous closure points to occur that prevented full crack closure in the threshold region, and thus were the cause of the fanning at low-R values. Therefore, we have shown that the fanning behavior was caused by intrinsic dislocation properties of the different alloy materials and were not the result of a plastic wake that remains from the load-shedding test phase. Also, to accommodate the use of da/dN data which includes fanning at low R-values, an updated fanning factor term has been developed and will be implemented into the NASGRO fatigue crack growth software. The term can be set to zero if it is desired that the fanning behavior is not be modeled for particular cases, such as when fanning is not a result of the intrinsic properties of a material.

Forman, Royce G.↗
NASA NTRS2011

Watching Galaxy Evolution in High Definition

As Einstein predicted, mass deflects light. In hundreds of known cases, "gravitational lenses" have deflected, distorted, and amplified images of galaxies or quasars behind them. As such, gravitational lensing is a way to "cheat" at studying how galaxies evolve, because lensing can magnify galaxies by factors of 10--100 times, transforming them from objects we can barely detect to bright objects we can study in detail. I'll summarize new results from a comprehensive program, using multi-wavelength, high-quality spectroscopy, to study how galaxies formed stars at redshifts of 1--3, the epoch when most of the Universe's stars were formed.

Rigby, Jane↗
NASA NTRS2012

Watching Galaxy Evolution in High Definition

As Einstein predicted, mass deflects light. In hundreds of known cases, "gravitational lenses" have deflected, distorted, and amplified images of galaxies or quasars behind them. As such, gravitational lensing is a way to "cheat" at studying how galaxies evolve, because lensing can magnify galaxies by factors of 10-100 times, transforming them from objects we can barely detect to bright objects we can study in detail. I'll summarize new results from a comprehensive program, using multi-wavelength, high-quality spectroscopy, to study how galaxies formed stars at redshifts of 1-3, the epoch when most of the Universe's stars were formed.

Rigby, Jane R.↗
NASA NTRS2014

Amine Swingbed Payload Technology Demonstration

The Amine Swingbed is an amine-based, vacuum-regenerated adsorption technology for removing carbon dioxide and humidity from a habitable spacecraft environment, and is the baseline technology for the Orion Program’s Multi-Purpose Crew Vehicle (MPCV). It uses a pair of interleaved-layer beds filled with SA9T, the amine sorbent, and a linear multiball valve rotates 270° back and forth to control the flow of air and vacuum to adsorbing and desorbing beds. One bed adsorbs CO2 and H2O from cabin air while the other bed is exposed to vacuum for regeneration by venting the CO2 and H2O. The two beds are thermally linked, so no additional heating or cooling is required. The technology can be applied to habitable environments where recycling CO2 and H2O is not required such as short duration missions.

Sweterlitsch, Jeffrey↗
NASA NTRS2015

AFRC Core Simulation Overview

Overview of the AFRC Core Simulation Framework and Software Engineering processes. This is a common technology used for advance programming of multi-threaded applications such as the core simulation.

applications↗
NASA NTRS2014

Type Ia Supernova Rate Measurements to Redshift 2.5 from Candles: Searching for Prompt Explosions in the Early Universe

The Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey (CANDELS) was a multi-cycle treasury program on the Hubble Space Telescope(HST) that surveyed a total area of approx. 0.25 deg(sup 2) with approx.900 HST orbits spread across five fields over three years. Within these survey images we discovered 65 supernovae (SNe) of all types, out to z approx. 2.5. We classify approx. 24 of these as Type Ia SNe (SNe Ia) based on host galaxy redshifts and SN photometry (supplemented by grism spectroscopy of six SNe). Here we present a measurement of the volumetric SN Ia rate as a function of redshift, reaching for the first time beyond z = 2 and putting new constraints on SN Ia progenitor models. Our highest redshift bin includes detections of SNe that exploded when the universe was only approx. 3 Gyr old and near the peak of the cosmic star formation history. This gives the CANDELS high redshift sample unique leverage for evaluating the fraction of SNe Ia that explode promptly after formation (500 Myr). Combining the CANDELS rates with all available SN Ia rate measurements in the literature we find that this prompt SN Ia fraction isfP0.530.09stat0.100.10sys0.26, consistent with a delay time distribution that follows a simplet1power law for all timest40 Myr. However, mild tension is apparent between ground-based low-z surveys and space-based high-z surveys. In both CANDELS and the sister HST program CLASH (Cluster Lensing And Supernova Survey with Hubble), we find a low rate of SNe Ia at z > 1. This could be a hint that prompt progenitors are in fact relatively rare, accounting for only 20 of all SN Ia explosions though further analysis and larger samples will be needed to examine that suggestion.

Ia↗
NASA NTRS2016

SARDA Surface Schedulers

Provide an overview of algorithms used in SARDA (Spot and Runway Departure Advisor) HITL (Human-in-the-Loop) simulation for Dallas Fort-Worth International Airport and Charlotte Douglas International airport. Outline a multi-objective dynamic programming (DP) based algorithm that finds the exact solution to the single runway scheduling (SRS) problem, and discuss heuristics to restrict the search space for the DP based algorithm and provide improvements.

runways scheduling↗
NASA NTRS2016

Exact and Heuristic Algorithms for Runway Scheduling

This paper explores the Single Runway Scheduling (SRS) problem with arrivals, departures, and crossing aircraft on the airport surface. Constraints for wake vortex separations, departure area navigation separations and departure time window restrictions are explicitly considered. The main objective of this research is to develop exact and heuristic based algorithms that can be used in real-time decision support tools for Air Traffic Control Tower (ATCT) controllers. The paper provides a multi-objective dynamic programming (DP) based algorithm that finds the exact solution to the SRS problem, but may prove unusable for application in real-time environment due to large computation times for moderate sized problems. We next propose a second algorithm that uses heuristics to restrict the search space for the DP based algorithm. A third algorithm based on a combination of insertion and local search (ILS) heuristics is then presented. Simulation conducted for the east side of Dallas/Fort Worth International Airport allows comparison of the three proposed algorithms and indicates that the ILS algorithm performs favorably in its ability to find efficient solutions and its computation times.

safe & surface operations↗
NASA NTRS2019

Multimessenger Science Opportunities with mHz Gravitational Waves

LISA will open the mHz band of gravitational waves (GWs) to the astronomy community. Thestrong gravity which powers the variety of GW sources in this band is also crucial in a numberof important astrophysical processes at the current frontiers of astronomy. These range fromthe beginning of structure formation in the early universe, through the origin and cosmic evolutionof massive black holes in concert with their galactic environments, to the evolution ofstellar remnant binaries in the Milky Way and in nearby galaxies. These processes and theirassociated populations also drive current and future observations across the electromagnetic(EM) spectrum. We review opportunities for science breakthroughs, involving either direct coincidentEM+GW observations, or indirect multimessenger studies. We argue that for the UScommunity to fully capitalize on the opportunities from the LISA mission, the US efforts shouldbe accompanied by a coordinated and sustained program of multi-disciplinary science investment,following the GW data through to its impact on broad areas of astrophysics. Supportfor LISA-related multimessenger observers and theorists should be sized appropriately for aflagship observatory and may be coordinated through a dedicated mHz GW research center.

Baker, John↗
NASA NTRS2020

U.S. Coast Guard Boat Recovery Simulation at the NASA Ames Vertical Motion Simulator

The U.S. Coast Guard routinely uses the Over-The-Horizon (OTH-IV), a cutter deployed, rigid-hulled inflatable boat for rescue and law enforcement operations. The term "cutter" refers to a Coast Guard vessel 65 feet in length or greater with accommodations for crew to live aboard and the ability to deploy smaller boats including the OTH-IV. A deployment method employed by some cutter class vessels is a davit crane system and specialized hook mechanism to connect the smaller boat. The launch and recovery operation requires several crewmembers, where one is tasked with releasing and connecting the hook to the small boat. Manipulating the hook can pose a risk to the crewmember depending on sea conditions combined with fatigue level or task expertise. Equipment and crewmembers are tested extensively due to the inherent risk of the task, but the sea conditions cannot be controlled. To address the sea condition variable, the U.S. Coast Guard and NASA leveraged the Vertical Motion Simulator (VMS) as a platform to test new equipment or train crewmembers in varying sea conditions. With 6 degrees of freedom and a vertical displacement of +/- 22ft, the VMS is capable of simulating conditions up to sea-state 5. The proof of concept experiment took place in September 2018 and demonstrated that the VMS can accurately simulate varying sea-states, collect performance data, and design a reliable and safe system for participants. The U.S. Coast Guard provided boat displacement data from the Large Amplitude Motion Program (LAMP). The program generates multi-directional waves with a cosine squared spreading function which produced a time history response of displacement data (surge, sway, heave, roll, pitch, yaw) of the OTH-IV's center of gravity (C.G). The displacement data was differentiated into acceleration evaluated at the crewmember's position at the front (bow) of the boat. Those accelerations were transformed to the VMS coordinate system and used as command inputs to the motion system's washout filters. The VMS uses Interchangeable Cabs (ICab) to perform flight simulations on a variety of aircraft or spacecraft configurations. An ICab typically contains seats, restraints, pilot controls, instrument panel, and out-the-window projectors all enclosed in a familiar cockpit configuration. To replicate the launch and recovery of a small boat, all the conventional features of a flight simulator and canopy were removed to be replaced with a to-scale OTH-IV bow mockup. The bow section was constructed from aluminum, and a connection point known as the davit ring. Additionally, a hook replica was suspended by a cable from the ceiling as if it were hanging from a davit crane aboard a cutter vessel. The last step was providing an auxiliary control to close the distance between suspended hook and the davit ring on the bow mockup. Without control the boat would simulate the wave motion, but with no guarantee that the crewmember will be in reach of the hook. Since the wave motion was repeatable, an additional acceleration command sent to the washout filters to move the simulator in the surge, sway, and heave directions, independently. The commands were rate limited such that the additional movement was not detectable with respect to the wave motion. The results showed that for each wave profile, a unique set of acceleration commands provided opportunities for crewmembers to gain control of the hook and connect it to the davit ring.

Riccobono, Nicholas S.↗