SEARCH · Search NASA

Results for “Support effect”

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 1,459 records · Page 81

All sources NASA NTRS DOE OSTI

DOE OSTI2020

HIV influences microtubule associated protein-2: potential marker of HIV-associated neurocognitive disorders

Postmortem brains of patients diagnosed with HIV-1-associated neurocognitive disorders (HAND) exhibit loss of dendrites. However, the mechanisms by which synapses are damaged are not fully understood. Dendrite length and remodeling occurs via microtubules, the dynamics of which are regulated by microtubule-binding proteins, including microtubule-associated protein 2 (MAP2). The HIV protein gp120 is neurotoxic and interferes with neuronal microtubules. We measured MAP2 concentrations in human cerebrospinal fluid (CSF) and MAP2 immunoreactivity in rat cortical neurons exposed to HIV and gp120. First, we examined whether HIV affects MAP2 levels by analyzing the CSF of 27 persons living with HIV (PLH) whose neurocognitive performance had been characterized. We then used rat cortical neurons to study the mechanisms of HIV-mediated dendritic loss. PLH who had HAND had greater MAP2 concentrations within the CSF than cognitive normal PLH. In cortical neurons, the deleterious effect of HIV on MAP2-positive dendrites occurred through a gp120-mediated mechanism. The neurotoxic effect of HIV was blocked by a CCR5 antagonist and prevented by Helix-A, a peptide that displaces gp120 from binding to microtubules, conjugated to a nanolipoprotein particle delivery platform. Our findings support that HIV at least partially effects its neurotoxicity via neuronal cytoskeleton modifications and provide evidence of a new therapeutic compound that could be used to prevent the HIV-associated neuropathology.

60 APPLIED LIFE SCIENCES↗

NASA NTRS2002

The action of a dietary retinoid on gene expression and cancer induction in electron-irradiated rat skin

Current models of radiation carcinogenesis generally assume that the DNA is damaged in a variety of ways by the radiation and that subsequent cell divisions contribute to the conversion of the damage to heritable mutations. Cancer may seem complex and intractable, but its complexity provides multiple opportunities for preventive interventions. Mitotic inhibitors are among the strongest cancer preventive agents, not only slowing the growth rate of preneoplasias but also increasing the fidelity of DNA repair processes. Ionizing radiation, including electrons, is a strong inducer of cancer in rat skin, and dietary retinoids have shown potent cancer preventive activity in the same system. A non-toxic dietary dose of retinyl acetate altered gene expression levels 24 hours after electron irradiation of rat skin. Of the 8740 genes on an Affymetrix rat expression array, the radiation significantly (5 fold or higher) altered 188, while the retinoid altered 231, including 16 radiation-altered genes that were reversely altered. While radiation strongly affected the expression of stress response, immune/inflammation and nucleic acid metabolism genes, the retinoid most strongly affected proliferation-related genes, including some significant reversals, such as, keratin 14, retinol binding protein, and calcium binding proteins. These results point to reversal of proliferation-relevant genes as a likely basis for the anti-radiogenic effects of dietary retinyl acetate.

Non-NASA Center↗

NASA NTRS1996

Physical, chemical, biochemical and biological techniques and processes. Proceedings of the F2.2, F2.3, F2.5, F4.3, F4.4, F4.9, F4.10 and F3.5 Meetings of COSPAR Scientific Commission F which were held during the Thirtieth COSPAR Scientific Assembly, Hamburg, Germany, 11-21 July 1994

No abstract available

NASA Discipline Exobiology↗

NASA NTRS2016

Operational Characteristics Identification and Simulation Model Verification for Incheon International Airport

Incheon International Airport (ICN) is one of the hub airports in East Asia. Airport operations at ICN have been growing more than 5% per year in the past five years. According to the current airport expansion plan, a new passenger terminal will be added and the current cargo ramp will be expanded in 2018. This expansion project will bring 77 new stands without adding a new runway to the airport. Due to such continuous growth in airport operations and future expansion of the ramps, it will be highly likely that airport surface traffic will experience more congestion, and therefore, suffer from efficiency degradation. There is a growing awareness in aviation research community of need for strategic and tactical surface scheduling capabilities for efficient airport surface operations. Specific to ICN airport operations, a need for A-CDM (Airport - Collaborative Decision Making) or S-CDM(Surface - Collaborative Decision Making), and controller decision support tools for efficient air traffic management has arisen since several years ago. In the United States, there has been independent research efforts made by academia, industry, and government research organizations to enhance efficiency and predictability of surface operations at busy airports. Among these research activities, the Spot and Runway Departure Advisor (SARDA) developed and tested by National Aeronautics and Space Administration (NASA) is a decision support tool to provide tactical advisories to the controllers for efficient surface operations. The effectiveness of SARDA concept, was successfully verified through the human-in-the-loop (HITL) simulations for both spot release and runway operations advisories for ATC Tower controllers of Dallas/Fort Worth International Airport (DFW) in 2010 and 2012, and gate pushback advisories for the ramp controller of Charlotte/Douglas International Airport (CLT) in 2014. The SARDA concept for tactical surface scheduling is further enhanced and is being integrated into NASA's Airspace Technology Demonstration - 2 (ATD-2) project for technology demonstration of Integrated Arrival/Departure/Surface (ADS) operations at CLT. This study is a part of the international research collaboration between KAIA (Korea Agency for Infrastructure Technology Advancement)/KARI (Korea Aerospace Research Institute) and NASA, which is being conducted to validate the effectiveness of SARDA concept as a controller decision support tool for departure and surface management of ICN. This paper presents the preliminary results of the collaboration effort. It includes investigation of the operational environment of ICN, data analysis for identification of the operational characteristics of the airport, construction and verification of airport simulation model using Surface Operations Simulator and Scheduler (SOSS), NASA's fast-time simulation tool.

scheduling↗

NASA NTRS2016

Operational Characteristics Identification and Simulation Model Verification for Incheon International Airport

Incheon International Airport (ICN) is one of the hub airports in East Asia. Airport operations at ICN have been growing more than 5 percent per year in the past five years. According to the current airport expansion plan, a new passenger terminal will be added and the current cargo ramp will be expanded in 2018. This expansion project will bring 77 new stands without adding a new runway to the airport. Due to such continuous growth in airport operations and future expansion of the ramps, it will be highly likely that airport surface traffic will experience more congestion, and therefore, suffer from efficiency degradation. There is a growing awareness in aviation research community of need for strategic and tactical surface scheduling capabilities for efficient airport surface operations. Specific to ICN airport operations, a need for A-CDM (Airport - Collaborative Decision Making) or S-CDM (Surface - Collaborative Decision Making), and controller decision support tools for efficient air traffic management has arisen since several years ago. In the United States, there has been independent research efforts made by academia, industry, and government research organizations to enhance efficiency and predictability of surface operations at busy airports. Among these research activities, the Spot and Runway Departure Advisor (SARDA) developed and tested by National Aeronautics and Space Administration (NASA) is a decision support tool to provide tactical advisories to the controllers for efficient surface operations. The effectiveness of SARDA concept, was successfully verified through the human-in-the-loop (HITL) simulations for both spot release and runway operations advisories for ATC Tower controllers of Dallas-Fort Worth International Airport (DFW) in 2010 and 2012, and gate pushback advisories for the ramp controller of Charlotte-Douglas International Airport (CLT) in 2014. The SARDA concept for tactical surface scheduling is further enhanced and is being integrated into NASA's Airspace Technology Demonstration-2 (ATD-2) project for technology demonstration of Integrated Arrival-Departure-Surface (IADS) operations at CLT. This study is a part of the international research collaboration between KAIA (Korea Agency for Infrastructure Technology Advancement), KARI (Korea Aerospace Research Institute) and NASA, which is being conducted to validate the effectiveness of SARDA concept as a controller decision support tool for departure and surface management of ICN. This paper presents the preliminary results of the collaboration effort. It includes investigation of the operational environment of ICN, data analysis for identification of the operational characteristics of the airport, construction and verification of airport simulation model using Surface Operations Simulator and Scheduler (SOSS), NASA's fast-time simulation tool.

surface operations analysis↗

NASA NTRS1986

Vibration of a large space beam under gravity effect

The structural characteristics of a large simply supported beam subjected to gravity are described. The nonlinear governing equations for both the static and the dynamic response are derived and solved analytically. The results show the feasibility of verifying the on-orbit dynamic characteristics of a large space beam by utilizing ground test data of such a structure. It is noted that the gravity effect interacts mostly with the first vibration mode. It was also found that the system of a large space beam subjected to its own weight is a hardening system. The differential equation for the asymmetric mode is a Duffing type equation. However, the governing equation for the symmetric mode has an additional quadratic term. It is this term that causes the maximum vibration amplitudes at different phases to be non-identical.

Shih, C.-F.↗

DOE OSTI2019

Radiological Performance Modeling: Platform Comparison

Zapadnoe Uranium Mill Tailings Site, Pridneprovsky Chemical Plant Ukraine: Two exposure scenarios were utilized to develop performance assessment models in GoldSim and NORMALYSA. The first scenario is an onsite worker exposed to radioactivity through external ground irradiation as well as radon and radioactive dust inhalation. The second being an offsite Resident 300 years after institutional control exposed through the ingestion of garden vegetables irrigated by contaminated ground water, ingestion of fish from Konoplyanka River, and agricultural activities in contaminated garden. NORMALYSA utilizes a modular interface to connect extensive pre-created modules to develop contaminant transport and risk assessment models for safety assessments and performance assessments at NORM and legacy sites. Developed by Facilia AB, the program was tested with the creation of the Zapadnoe model under the International Atomic Energy Agency MODARIA Il Working Group 1 (WG1). Default values are provided for input parameters where site specific data and distributions lack. Probabilistic simulations and inputs are limited to parameters with assigned Gaussian probability functions. Similar results for transient worker inhalation dose were found in comparison with the Zapadnoe GoldSim model. However, the NORMALYSA model has results larger by an order of magnitude for external radiation in the transient worker and for aquatic food ingestion, inhalation, and garden food ingestion to the resident. Performance Assessment Modeling: Radiological performance models promote good management and support in remediation and environmental decision making by optimizing radioactive waste disposal site performance. a performance assessment model of the Zapadnoe uranium mill tailings site and a model for calculating authorized limits at Los Alamos National Laboratory are created to demonstrate and highlight the respective capabilities of three modeling platforms: GoldSim, NORMALYSA, and RESRAD-Onsite. GoldSim is a general-purpose modeling platform with the ability to simulate site-specific FT radionuclide transport and risk assessment using a graphical interface to create and link elements that act as indivisible building blocks of the model. The Zapadnoe performance assessment model created in GoldSim is composed of input parameters collected from site specific parameters from WG1 as well as standard assumptions seen in the Generic PA Model from Neptune and Company. The multivariate Zapadnoe simulation contains both deterministic and probabilistic simulation capabilities with the ability to quantitatively represent the uncertainty and associated risks of the site via the Monte Carlo simulation method. Model parameters, documentation, and assumptions are built directly into the model creating a transparent, reproducible, and more purposeful site specific model. To demonstrate this, an ingestion of water pathway was included in addition to the exposure pathways included in the NORMALYSA model. GoldSim offers a wide variety of probability distributions to choose from as well as many tools to visualize the uncertainty of the models and explore which pathways and radionuclides dominate dose. In contrast to the NORMALYSA model, the GoldSim model uses dynamic simulation to calculate tritium concentrations. Authorized limits support the evaluation of radiological health effects from radionuclides present in bulk contaminated soil in order to assist in the process of clearing land for release under different uses. Calculations of authorized limits in RESRAD-Onsite and GoldSim models support the evaluation for 15 radionuclides using a residential exposure scenario, indoor and outdoor inhalation of dust and vapor phase radionuclides (tritium), incidental soil ingestion, and ingestion grown fruits and Vegetables. RESRAD-Onsite, developed by Argonne National Laboratory is a dedicated computer code for calculating radiation doses and cancer risks to an individual located on top of radioactively contaminated soils. It can also be used to provide guidelines for deriving radionuclide soil levels corresponding to a specific dose criterion. The menu driven user interface facilitates selection of radionuclides and soil concentrations, as well as defines parameter values related to materials, environmental factors, and exposure pathways. The program contains radionuclide-specific data such as dose conversion factors and risk coefficients, as well as soil-water partition coefficients and transfer factors for biotic media. The GoldSim model successfully emulates the RESRAD-Onsite code using identical radiological decay and ingrowth factors, radiation dose conversion factors, and other input parameters. DE EEDE ETS Each model supports dynamic modeling of radionuclide ingrowth and decay over time, and integrate this capability with the transport of radionuclides in the environment via processes such as advection and/or diffusion in fluids, or within porous solid media, The applicability of each program is heavily dependent on project context. In the context of developing Authorized Limits, RESRAD-Onsite may be a more desirable option as it was developed for this particular application. For simple disposal or legacy sites or sites that do not need site-specific model structure, NORMALYSA may be a desirable modeling platform, GoldSim can be used to model any problem for which RESRAD or NORMALYSA is applicable, but its strength lies in its flexibility, analytical, and probabilistic capabilities.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

NASA NTRS1999

Transport and Chemical Effects on Concurrent and Opposed-Flow Flame Spread at Microgravity

With support from a previous NASA grant, NAG3-161 1, the PI studied the effects of diluent type, the addition of sub-flammability-limit concentrations of combustible gases, and the effects of concurrent buoyant flow on flame spread processes. The results of these studies are reported and directions for the current grant outlined. Most experiments were conducted in a 20 liter combustion chamber. Exactly the same apparatus was used for 1 g and microgravity tests. The effect of inert gases He, Ar, N2, CO2 and SF6 on flame spread were tested since they provide a variety of radiative properties and oxygen Lewis numbers. CO and CH4 were used for the gaseous fuels in partially-premixed atmosphere tests, plus H2, C3H8 and NH3 for 1 g tests only. In most experiments 5 cm wide Kimwipe samples 15 cm long were used and were held by aluminum quenching plates. The samples were ignited by an electrically-heated Kanthal wire. The flame spread process was imaged via three video cameras and a laser shearing interferometer.

Honda, L. K.↗

NASA NTRSDate not supplied

Lunar BioSensor: An Autonomous Instrument to Study the Effects of the Lunar Environment on Biological Organisms

One of the major challenges to long-duration space travel and habitation in deep space is an in-depth understanding of the biological effects of space radiation, often convoluted by the impact of reduced gravity. Nonetheless, due to the near impossibility of simulating prolonged exposure to these combined effects in terrestrial facilities, actual missions are needed to characterize the radiobiological hazards of this environment. NASA Ames has been the leader in developing autonomous bio nanosatellites to address strategic knowledge gaps about the effects of space travel on biological organisms, including GeneSat, PharmaSat, EcAMSat, and BioSentinel. BioSentinel will be the first interplanetary bio nanosatellite or CubeSat to study the biological response to space radiation outside Low Earth Orbit (LEO). BioSentinel is an autonomous platform able to support biology and to investigate the effects of space radiation on a model organism in interplanetary deep space. It will fly onboard NASA’s Artemis-1, from which it will be deployed on a lunar fly-by trajectory and into a heliocentric orbit. The BioSentinel nanosatellite, a 6U deep space CubeSat (1U = 10-cm cube), will measure the DNA damage and response to ambient space radiation in a model biological organism, the budding yeast S. cerevisiae, which will be compared to information provided by an onboard physical radiation sensor and to data obtained in LEO (on the ISS) and on Earth. Even though the primary objective of the mission is to develop an autonomous spacecraft capable of conducting biological experiments in deep space, the 4U BioSensor science payload contained within the 6U free-flyer is an adaptable instrument platform that can perform biological measurements with different microorganisms and in multiple space environments, including the ISS, lunar gateway, and on the surface of the Moon. The proposed 4U instrument will leverage the payload design of the 6U free-flyer, utilizing the lunar lander or vehicle for power and data relay. Thus, nanosatellites like BioSentinel (and Lunar BioSensor) can be used to study the effects of both reduced gravity and space radiation and can house different bio organisms to answer specific science questions. In addition to their flexibility, nanosatellites also provide a low-cost alternative to more complex and larger missions, and require minimal crew support, if any.

space biosensors↗

NASA NTRS2003

Effects of CO2 concentration and light intensity on photosynthesis of a rootless submerged plant, Ceratophyllum demersum L., used for aquatic food production in bioregenerative life support systems

In addition to green microalgae, aquatic higher plants are likely to play an important role in aquatic food production modules in bioregenerative systems for producing feed for fish, converting CO2 to O2 and remedying water quality. In the present study, the effects of culture conditions on the net photosynthetic rate of a rootless submerged plant, Ceratophyllum demersum L., was investigated to determine the optimum culture conditions for maximal function of plants in food production modules including both aquatic plant culture and fish culture systems. The net photosynthetic rate in plants was determined by the increase in dissolved O2 concentrations in a closed vessel containing a plantlet and water. The water in the vessel was aerated sufficiently with a gas containing a known concentration of CO2 gas mixed with N2 gas before closing the vessel. The CO2 concentrations in the aerating gas ranged from 0.3 to 10 mmol mol-1. Photosynthetic photon flux density (PPFD) in the vessel ranged from 0 (dark) to 1.0 mmol m-2 s-1, which was controlled with a metal halide lamp. Temperature was kept at 28 degrees C. The net photosynthetic rate increased with increasing PPFD levels and was saturated at 0.2 and 0.5 mmol m-2 s-1 PPFD under CO2 levels of 1.0 and 3.0 mmol mol-1, respectively. The net photosynthetic rate increased with increasing CO2 levels from 0.3 to 3.0 mmol mol-1 showing the maximum value, 75 nmol O2 gDW-1 s-1, at 2-3 mmol mol-1 CO2 and gradually decreased with increasing CO2 levels from 3.0 to 10 mmol mol-1. The results demonstrate that C. demersum could be an efficient CO2 to O2 converter under a 2.0 mmol mol-1 CO2 level and relatively low PPFD levels in aquatic food production modules. c2003 COSPAR. Published by Elsevier Science Ltd. All rights reserved.

Ecological Systems, Closed↗

NASA NTRS2016

Carbon Back Sputter Modeling for Hall Thruster Testing

Lifetime requirements for electric propulsion devices, including Hall Effect thrusters, are continually increasing, driven in part by NASA's inclusion of this technology in it's exploration architecture. NASA will demonstrate high-power electric propulsion system on the Solar Electric Propulsion Technology Demonstration Mission (SEP TDM). The Asteroid Redirect Robotic mission is one candidate SEP TDM, which is projected to require tens of thousands of thruster life. As thruster life is increased, for example through the use of improved magnetic field designs, the relative influence of facility effects increases. One such effect is the sputtering and redeposition, or back sputter, of facility materials by the high energy thruster plumes. In support of wear testing for the Hall Effect Rocket with Magnetic Shielding (HERMeS) project, the back sputter from a Hall effect thruster plume has been modeled for the NASA Glenn Research Center's Vacuum Facility 5. The predicted wear at a near-worst case condition of 600 V, 12.5 kW was found to be on the order of 1 micron/kh in a fully carbon-lined chamber. A more detailed numerical Monte Carlo code was also modified to estimate back sputter for a detailed facility and pumping configuration. This code demonstrated similar back sputter rate distributions, but is not yet accurately modeling the magnitudes. The modeling has been benchmarked to recent HERMeS wear testing, using multiple microbalance measurements. These recent measurements have yielded values on the order of 1.5 - 2 micron/kh at 600 V and 12.5 kW.

Propulsion↗

NASA NTRS2004

Radiation-induced bystander effect and adaptive response in mammalian cells

Two conflicting phenomena, bystander effect and adaptive response, are important in determining the biological responses at low doses of radiation and have the potential to impact the shape of the dose-response relationship. Using the Columbia University charged-particle microbeam and the highly sensitive AL cell mutagenic assay, we show here that non-irradiated cells acquire mutagenesis through direct contact with cells whose nuclei have been traversed with a single alpha particle each. Pretreatment of cells with a low dose of X-rays four hours before alpha particle irradiation significantly decreased this bystander mutagenic response. Results from the present study address some of the fundamental issues regarding both the actual target and radiation dose effect and can contribute to our current understanding in radiation risk assessment. c2004 COSPAR. Published by Elsevier Ltd. All rights reserved.

NASA Discipline Radiation Health↗

DOE OSTI2025

Enantioselective Hydrodifluoroalkylation of Alkenes with Conformationally Tuned Peptidyl Hydrogen Atom Transfer Catalysts

Here, we report the enantioselective hydrodifluoroalkylation of alkenes proceeding via an asymmetric hydrogen atom transfer (HAT) event catalyzed by thiol-containing tetrapeptides. Photocatalytic generation of a difluoroacetyl radical followed by carbon–carbon bond formation results in a prochiral carbon-centered radical that engages with the chiral catalyst. A trialkylamine reductant is proposed to turn over the catalyst in this net-reductive transformation. Notably, incorporating an (S)-β-methyl-substituted cysteine as the N-terminal residue improved selectivity relative to that of the native N-terminal cysteine (Cys) residue, and X-ray crystallographic analysis supports the conformational underpinning of this effect. A range of enantioenriched γ-substituted amides were synthesized in up to a 96:4 enantiomeric ratio, demonstrating the broad functional group tolerance of this method. Models accounting for asymmetric induction are proposed with supporting DFT calculations.

08 HYDROGEN↗

NASA NTRS2002

Effects of heavy particle irradiation and diet on amphetamine- and lithium chloride-induced taste avoidance learning in rats

Rats were maintained on diets containing either 2% blueberry or strawberry extract or a control diet for 8 weeks prior to being exposed to 1.5 Gy of 56Fe particles in the Alternating Gradient Synchrotron at Brookhaven National Laboratory. Three days following irradiation, the rats were tested for the effects of irradiation on the acquisition of an amphetamine- or lithium chloride-induced (LiCl) conditioned taste avoidance (CTA). The rats maintained on the control diet failed to show the acquisition of a CTA following injection of amphetamine. In contrast, the rats maintained on antioxidant diets (strawberry or blueberry extract) continued to show the development of an amphetamine-induced CTA following exposure to 56Fe particles. Neither irradiation nor diet had an effect on the acquisition of a LiCl-induced CTA. The results are interpreted as indicating that oxidative stress following exposure to 56Fe particles may be responsible for the disruption of the dopamine-mediated amphetamine-induced CTA in rats fed control diets; and that a reduction in oxidative stress produced by the antioxidant diets functions to reinstate the dopamine-mediated CTA. The failure of either irradiation or diet to influence LiCl-induced responding suggests that oxidative stress may not be involved in CTA learning following injection of LiCl.

Non-NASA Center↗

DOE OSTI2019

Multi-scale simulation of reaction, transport and deactivation in a SBA-16 supported catalyst for the conversion of ethanol to butadiene

Effective design of heterogeneous catalytic systems requires careful coordination of physiochemical phenomena that span orders or magnitude in length and time scales. Multiscale modelling and simulation tools can provide useful insight for understanding and improving the performance of such systems. Mesoporous silica catalyst support materials present a versatile platform wherein support attributes may be tuned to control transport phenomena throughout the system. In this study we develop an integrated multiscale modelling approach for the conversion of ethanol to butadiene over a SBA-16 mesoporous silica supported catalyst. We use molecular dynamics simulations to calculate domain specific diffusivities of reactants and products in the various domains of SBA-16's nanostructure. This is used to calculate a resultant effective diffusivity through its microstructure using finite element method (FEM) models of the tessellated unit cell. The resultant intraparticle effective diffusivity enables the development of a reduced-order reactor level FEM model that is able to implicitly account for the SBA-16's transport effects without the explicit consideration of its detailed geometry. Experimental bench-scale conversion data for the ethanol to butadiene process over SBA-16 is used to extract intrinsic kinetic rate constants for a simplified reaction mechanism using this reduced order bench-scale reactor FEM model. The model is able to reproduce experimental trends in conversion and activity lifetimes. The impact of varying key support attributes such as pore-size and particle size on catalytic activity lifetimes is then explored. We demonstrate the utility of this multi-scale modelling strategy in guiding catalyst design for the development of rational strategies to improve the performance of heterogeneous supported catalytic systems.

09 BIOMASS FUELS↗

NASA NTRS1992

Towards automated support for extraction of reusable components

A cost effective introduction of software reuse techniques requires the reuse of existing software developed in many cases without aiming at reusability. This paper discusses the problems related to the analysis and reengineering of existing software in order to reuse it. We introduce a process model for component extraction and focus on the problem of analyzing and qualifying software components which are candidates for reuse. A prototype tool for supporting the extraction of reusable components is presented. One of the components of this tool aids in understanding programs and is based on the functional model of correctness. It can assist software engineers in the process of finding correct formal specifications for programs. A detailed description of this component and an example to demonstrate a possible operational scenario are given.

Abd-El-hafiz, S. K.↗

NASA NTRS1991

Towards automated support for extraction of reusable components

Abd-El-hafiz, S. K.↗

NASA NTRS2010

Solutions Network Formulation Report. NASA's Potential Contributions using ASTER Data in Marine Hazard Mitigation

The 28-foot storm surge from Hurricane Katrina pushed inland along bays and rivers for a distance of 12 miles in some areas, contributing to the damage or destruction of about half of the fleet of boats in coastal Mississippi. Most of those boats had sought refuge in back bays and along rivers. Some boats were spared damage because the owners chose their mooring site well. Gulf mariners need a spatial analysis tool that provides guidance on the safest places to anchor their boats during future hurricanes. This product would support NOAA s mission to minimize the effects of coastal hazards through awareness, education, and mitigation strategies and could be incorporated in the Coastal Risk Atlas decision support tool.

Fletcher, Rose↗