SEARCH · Search NASA

Results for “Program Synthesis”

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 703 records · Page 39

All sources NASA NTRS DOE OSTI

NASA NTRS1994

Automated synthesis of image processing procedures using AI planning techniques

This paper describes the Multimission VICAR (Video Image Communication and Retrieval) Planner (MVP) (Chien 1994) system, which uses artificial intelligence planning techniques (Iwasaki & Friedland, 1985, Pemberthy & Weld, 1992, Stefik, 1981) to automatically construct executable complex image processing procedures (using models of the smaller constituent image processing subprograms) in response to image processing requests made to the JPL Multimission Image Processing Laboratory (MIPL). The MVP system allows the user to specify the image processing requirements in terms of the various types of correction required. Given this information, MVP derives unspecified required processing steps and determines appropriate image processing programs and parameters to achieve the specified image processing goals. This information is output as an executable image processing program which can then be executed to fill the processing request.

Chien, Steve↗

NASA NTRS1990

Multiprocessor architecture: Synthesis and evaluation

Multiprocessor computed architecture evaluation for structural computations is the focus of the research effort described. Results obtained are expected to lead to more efficient use of existing architectures and to suggest designs for new, application specific, architectures. The brief descriptions given outline a number of related efforts directed toward this purpose. The difficulty is analyzing an existing architecture or in designing a new computer architecture lies in the fact that the performance of a particular architecture, within the context of a given application, is determined by a number of factors. These include, but are not limited to, the efficiency of the computation algorithm, the programming language and support environment, the quality of the program written in the programming language, the multiplicity of the processing elements, the characteristics of the individual processing elements, the interconnection network connecting processors and non-local memories, and the shared memory organization covering the spectrum from no shared memory (all local memory) to one global access memory. These performance determiners may be loosely classified as being software or hardware related. This distinction is not clear or even appropriate in many cases. The effect of the choice of algorithm is ignored by assuming that the algorithm is specified as given. Effort directed toward the removal of the effect of the programming language and program resulted in the design of a high-level parallel programming language. Two characteristics of the fundamental structure of the architecture (memory organization and interconnection network) are examined.

Standley, Hilda M.↗

NASA NTRS2000

Microgravity as a novel environmental signal affecting Salmonella enterica serovar Typhimurium virulence

The effects of spaceflight on the infectious disease process have only been studied at the level of the host immune response and indicate a blunting of the immune mechanism in humans and animals. Accordingly, it is necessary to assess potential changes in microbial virulence associated with spaceflight which may impact the probability of in-flight infectious disease. In this study, we investigated the effect of altered gravitational vectors on Salmonella virulence in mice. Salmonella enterica serovar Typhimurium grown under modeled microgravity (MMG) were more virulent and were recovered in higher numbers from the murine spleen and liver following oral infection compared to organisms grown under normal gravity. Furthermore, MMG-grown salmonellae were more resistant to acid stress and macrophage killing and exhibited significant differences in protein synthesis than did normal-gravity-grown cells. Our results indicate that the environment created by simulated microgravity represents a novel environmental regulatory factor of Salmonella virulence.

NASA Discipline Environmental Health↗

NASA NTRS1974

Synthesis and evaluation of C-ether formulations for use as high temperature lubricants and hydraulic fluids

The formulation and evaluation of C-ether fluids for use in the hydraulic and lubrication systems of the space shuttle and advanced air breathing engines were studied to lower the pour point of a reference C-ether from -29 C to -40 C without changing its evaporation loss. Use of disiloxanes mixed with C-ethers gave a -40 C pour point fluid with little change in the desired evaporation loss or in oxidative stability. A second -40 C pour point fluid containing only C-ethers was also developed. A screening program tested lubrication additives for C-ethers and the new fluids. Six additive packages were chosen for evaluation in 316 C bearing tests, two for evaluation in 260 C pump tests. The goal of the bearing test was a 100 hour run. The rig was a specially designed 80-mm axially loaded ball bearing. The C-ether base fluid ran only one hour at 316 C before cage wear failure occurred. The best additive blends ran 47, 94 and 100 hours. The 96 hour test gave excessive deposits. The 100 hour test had no wear failures; an unexplained loss of cage silver occurred from areas of direct fluid impingement on the cage.

Clark, F. S.↗

NASA NTRS1984

Imide modified epoxy matrix resins

The results of a program designed to develop tough imide modified epoxy resins cured by bisimide amine (BIA) hardeners are described. State-of-the-art epoxides MY720 and DER383 were used, and four bismide amines were evaluated. These were the BIA's derived from the 6F anhydride (4,4'-(hexafluoroisopropylidene) bis(phthalic anhydride) and the diamines 3,3'-diaminodiphynyl sulfone, 4,4'-oxygianiline, 4,4'-methylene dianiline, and 1,12-dodecane diamine. A key intermediate, designated 6F anhydride, is required for the synthesis of the bisimide amines. Reaction parameters to synthesize a precursor to the 6F anhydride (6FHC) in high yields were investigated. The catalyst trifluoromethane sulfonic acid was studied. Although small scale runs yielded the 6FHC in 50 percent yield, efforts to ranslate these results to a larger scale synthesis gave the 6FHC in only 9 percent yield. Results show that the concept of using bisimide amine as curing agents to improve the toughness properties of epoxies is valid.

Scola, D. A.↗

NASA NTRS1981

A method for obtaining reduced-order control laws for high-order systems using optimization techniques

A method of synthesizing reduced-order optimal feedback control laws for a high-order system is developed. A nonlinear programming algorithm is employed to search for the control law design variables that minimize a performance index defined by a weighted sum of mean-square steady-state responses and control inputs. An analogy with the linear quadractic Gaussian solution is utilized to select a set of design variables and their initial values. To improve the stability margins of the system, an input-noise adjustment procedure is used in the design algorithm. The method is applied to the synthesis of an active flutter-suppression control law for a wind tunnel model of an aeroelastic wing. The reduced-order controller is compared with the corresponding full-order controller and found to provide nearly optimal performance. The performance of the present method appeared to be superior to that of two other control law order-reduction methods. It is concluded that by using the present algorithm, nearly optimal low-order control laws with good stability margins can be synthesized.

Mukhopadhyay, V.↗

NASA NTRS1990

The spectral classification of chromospherically active binary stars with composite spectra

This paper presents and analyzes blue and red-wavelength high-resolution spectra of twelve chromospherically active binary or triple systems with composite spectra. Spectral classifications for the individual stellar components are derived by means of the 'spectrum-synthesis' technique and are compared to stellar evolutionary models and observed masses and/or mass ratios. Also presented is a carefully selected set of MK reference stars of luminosity class III, IV, and V, and spectral type A9-K5, and v sin i less than 10 km/s, to cover the spectral range of the components of chromospherically active binary systems of the RS CVn-type. New values of v sin i are determined for some of the reference and program stars. Two spectroscopic binaries have been discovered.

Strassmeier, K. G.↗

NASA NTRS1995

Evaluation of HFC 245ca and HFC 236ea as foam blowing agents

Hydrochlorofluorocarbon (HCFC) 141b has been selected as the interim blowing agent for use in urethane insulations on NASA's Space Shuttle External Tank. Due to the expected limited commercial lifetime of this material, research efforts at the NASA Thermal Protection Systems Materials Research Laboratory at the Marshall Space Flight Center are now being devoted to the identification and development of alternatives with zero ozone depletion potential. Physical blowing agents identified to date have included hydrocarbons, fluorocarbons, hydrofluoroethers, and more predominantly, hydrofluorocarbons (HFCs). The majority of the HFC evaluations in industry have focused on the more readily available, low boiling candidates such as HFC 134a. Higher boiling HFC candidates that could be handled at ambient conditions and use current processing equipment would be more desirable. This paper will describe results from a research program of two such candidate HFC's performed as a cooperative effort between Martin Marietta Manned Space Systems, the U.S. Environmental Protection Agency, and Oak Ridge National Laboratories. The purpose of this effort was to perform a cursory evaluation of the developmental HFC's 245ca and 236ea as blowing agents in urethane based insulations. These two materials were selected from screening tests of 37 C2, C3, and C4 isomers based on physical properties, atmospheric lifetime, flammability, estimated toxicity, difficulty of synthesis, suitability for dual use as a refrigerant, and other factors. Solubility of the two materials in typical foam components was tested, pour foaming trials were performed, and preliminary data were gathered regarding foam insulation performance.

Sharpe, Jon↗

NASA NTRS1996

Potential Commercial Applications from Combustion and Fire Research in Space

The near-zero (microgravity) environment of orbiting spacecraft minimizes buoyant flows, greatly simplifying combustion processes and isolating important phenomena ordinarily concealed by the overwhelming gravity-driven forces and flows. Fundamental combustion understanding - the focus to date of the NASA microgravity-combustion program - has greatly benefited from analyses and experiments conducted in the microgravity environment. Because of the economic and commercial importance of combustion in practice, there is strong motivation to seek wider applications for the microgravity-combustion findings. This paper reviews selected technology developments to illustrate some emerging applications. Topics cover improved fire-safety technology in spacecraft and terrestrial systems, innovative combustor designs for aerospace and ground propulsion, applied sensors and controls for combustion processes, and self-sustaining synthesis techniques for advanced materials.

Friedman, Robert↗

NASA NTRS1990

Isomerization of 1-O-indol-3-ylacetyl-beta-D-glucose. Enzymatic hydrolysis of 1-O, 4-O, and 6-O-indol-3-ylacetyl-beta-D-glucose and the enzymatic synthesis of indole-3-acetyl glycerol by a hormone metabolizing complex

The first compound in the series of reactions leading to the ester conjugates of indole-3-acetic acid (IAA) in kernels of Zea mays sweet corn is the acyl alkyl acetal, 1-O-indol-3-ylacetyl-beta-D-glucose (1-O-IAGlu). The enzyme catalyzing the synthesis of this compound is UDP-glucose:indol-3-ylacetate glucosyl-transferase (IAGlu synthase). The IAA moiety of the high energy compound 1-O-IAGlu may be enzymatically transferred to myo-inositol or to glycerol or the 1-O-IAGlu may be enzymatically hydrolyzed. Alternatively, nonenzymatic acyl migration may occur to yield the 2-O, 4-O, and 6-O esters of IAA and glucose. The 4-O and 6-O esters may then be enzymatically hydrolyzed to yield free IAA and glucose. This work reports new enzymatic activities, the transfer of IAA from 1-O-IAGlu to glycerol, and the enzyme-catalyzed hydrolysis of 4-O and 6-O-IAGlu. Data is also presented on the rate of non-enzymatic acyl migration of IAA from the 1-O to the 4-O and 6-O positions of glucose. We also report that enzymes catalyzing the synthesis of 1-O-IAGlu and the hydrolysis of 1-O, 4-O, and 6-O-IAGlu fractionate as a hormone metabolizing complex. The association of synthetic and hydrolytic capabilities in enzymes which cofractionate may have physiological significance.

Non-NASA Center↗

NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

NASA NTRS1977

Synthesis and analysis of precise spaceborne laser ranging systems, volume 1

Measurement accuracy goals of 2 cm rms range estimation error and 0.003 cm/sec rms range rate estimation error, with no more than 1 cm (range) static bias error are requirements for laser measurement systems to be used in planned space-based earth physics investigations. Constraints and parameters were defined for links between a high altitude, transmit/receive satellite (HATRS), and one of three targets: a low altitude target satellite, passive (LATS), and active low altitude target, and a ground-based target, as well as with operations with a primary transmit/receive terminal intended to be carried as a shuttle payload, in conjunction with the Spacelab program.

Paddon, E. A.↗

NASA NTRS2020

Geostar – a ‘Shovel Ready’ Geostationary Microwave Sounder

A geostationary microwave sounder, capable of providing temperature, water vapor, clouds, precipitation, and wind in the presence of clouds, convection and precipitation, will add tremendously to our ability to observe dynamic atmospheric phenomena, such as hurricanes and severe storms, monsoonal moisture flow, atmospheric rivers, etc. Such a sensor is now feasible, enabled by technology that has been developed under NASA’s Instrument Incubator Program at the Jet Propulsion Laboratory. The Geostationary Synthetic Thinned Aperture Radiometer (GeoSTAR) is essentially an “AMSU in GEO”, i.e. it has similar capabilities as AMSU would have if it were operating on a geostationary satellite, but with similar spatial resolution. GEO orbits are almost 50 times higher than the LEO orbits that current AMSUs operate from, and the corresponding scaling of aperture size required to maintain spatial resolution has stymied the development of such a sensor for many decades. The aperture synthesis approach implemented with GeoSTAR finally overcomes that obstacle, and the large number of microwave receivers and associated electronics required is made possible with new technology that has now been developed. A low-cost mission operating as a hosted payload on a commercial communications satellite has been designed and is “shovel-ready”. The objectives of such a mission could be to advance our understanding and modeling of storm processes that control rapid or explosive intensification of hurricanes, mesoscale convective systems, and extratropical cyclones, or it could be to support operational weather forecasting and nowcasting. Retrieval of temperature and water vapor profiles is possible even in the presence of moderate precipitation, and with the ability to derive horizontal wind vectors by tracking water vapor features, a rich set of parameters measuring the thermodynamics, dynamics and convection and sampled every 15 minutes, will enable significant progress in storm science and forecasting.

Lambrigtsen, Bjorn H↗

NASA NTRS1975

Synthesis and development of low cost, high temperature N-arylene polybenzimidazole foam material

Polymer (and foam) studies followed two basic routes: (1) formation of high molecular weight uncyclized polyamide followed by subsequent fusion and cyclodehydration to yield NABI (foam) and (2) polymer and foam formation by reaction of diphenyl esters (or anhydrides) with the tetramine. The latter route was found much more attractive since considerable versatility in both basic polymer structure and crosslinkability is achievable. Preliminary studies on BAB, phthalic anhydride (PA), and 3, 3 (prime), 4, 4(prime) benzo pheno netetracarboxylic acid dianhydride (BTDA) as crosslinked polymer precursors were conducted. Nonmelting rigid char forming foams with densities as low as 2.7 lb/cubic ft. were achieved. The program was successful in the preparation of a potentially low cost, low density, high char yield, high temperature foam material.

Harrison, E. S.↗

NASA NTRS2002

Systems Architecture for Fully Autonomous Space Missions

The NASA Goddard Space Flight Center is working to develop a revolutionary new system architecture concept in support of fully autonomous missions. As part of GSFC's contribution to the New Millenium Program (NMP) Space Technology 7 Autonomy and on-Board Processing (ST7-A) Concept Definition Study, the system incorporates the latest commercial Internet and software development ideas and extends them into NASA ground and space segment architectures. The unique challenges facing the exploration of remote and inaccessible locales and the need to incorporate corresponding autonomy technologies within reasonable cost necessitate the re-thinking of traditional mission architectures. A measure of the resiliency of this architecture in its application to a broad range of future autonomy missions will depend on its effectiveness in leveraging from commercial tools developed for the personal computer and Internet markets. Specialized test stations and supporting software come to past as spacecraft take advantage of the extensive tools and research investments of billion-dollar commercial ventures. The projected improvements of the Internet and supporting infrastructure go hand-in-hand with market pressures that provide continuity in research. By taking advantage of consumer-oriented methods and processes, space-flight missions will continue to leverage on investments tailored to provide better services at reduced cost. The application of ground and space segment architectures each based on Local Area Networks (LAN), the use of personal computer-based operating systems, and the execution of activities and operations through a Wide Area Network (Internet) enable a revolution in spacecraft mission formulation, implementation, and flight operations. Hardware and software design, development, integration, test, and flight operations are all tied-in closely to a common thread that enables the smooth transitioning between program phases. The application of commercial software development techniques lays the foundation for delivery of product-oriented flight software modules and models. Software can then be readily applied to support the on-board autonomy required for mission self-management. An on-board intelligent system, based on advanced scripting languages, facilitates the mission autonomy required to offload ground system resources, and enables the spacecraft to manage itself safely through an efficient and effective process of reactive planning, science data acquisition, synthesis, and transmission to the ground. Autonomous ground systems in turn coordinate and support schedule contact times with the spacecraft. Specific autonomy software modules on-board include mission and science planners, instrument and subsystem control, and fault tolerance response software, all residing within a distributed computing environment supported through the flight LAN. Autonomy also requires the minimization of human intervention between users on the ground and the spacecraft, and hence calls for the elimination of the traditional operations control center as a funnel for data manipulation. Basic goal-oriented commands are sent directly from the user to the spacecraft through a distributed internet-based payload operations "center". The ensuing architecture calls for the use of spacecraft as point extensions on the Internet. This paper will detail the system architecture implementation chosen to enable cost-effective autonomous missions with applicability to a broad range of conditions. It will define the structure needed for implementation of such missions, including software and hardware infrastructures. The overall architecture is then laid out as a common thread in the mission life cycle from formulation through implementation and flight operations.

Esper, Jamie↗

NASA NTRS2003

Software for Simulating Remote Sensing Systems

The Application Research Toolbox (ART) is a collection of computer programs that implement algorithms and mathematical models for simulating remote sensing systems. The ART is intended to be especially useful for performing design-tradeoff studies and statistical analyses to support the rational development of design requirements for multispectral imaging systems. Among other things, the ART affords a capability to synthesize coarser-spatial-resolution image-data sets from finer-spatial-resolution data sets and multispectral-image-data products from hyperspectral-image-data products. The ART also provides for synthesis of image-degradation effects, including point-spread functions, misregistration of spectral images, and noise. The ART can utilize real or synthetic data sets, along with sensor specifications, to create simulated data sets. In one example of a typical application, simulated data pertaining to an existing multispectral sensor system are used to verify the data collected by the system in operation. In the case of a proposed sensor system, the simulated data can be used to conduct trade studies and statistical analyses to ensure that the sensor system will satisfy the requirements of potential scientific, academic, and commercial user communities.

Zanoni, Vicki↗

NASA NTRS2003

Software for Simulating Remote Sensing Systems

Vicki Zanoni↗

NASA NTRS1987

Comparative induction of nitrate reductase by nitrate and nitrite in barley leaves

The comparative induction of nitrate reductase (NR) by ambient NO3- and NO2- as a function of influx, reduction (as NR was induced) and accumulation in detached leaves of 8-day-old barley (Hordeum vulgare L.) seedlings was determined. The dynamic interaction of NO3- influx, reduction and accumulation on NR induction was shown. The activity of NR, as it was induced, influenced its further induction by affecting the internal concentration of NO3-. As the ambient concentration of NO3- increased, the relative influences imposed by influx and reduction on NO3- accumulation changed with influx becoming a more predominant regulant. Significant levels of NO3- accumulated in NO2(-)-fed leaves. When the leaves were supplied cycloheximide or tungstate along with NO2-, about 60% more NO3- accumulated in the leaves than in the absence of the inhibitors. In NO3(-)-supplied leaves NR induction was observed at an ambient concentration of as low as 0.02 mM. No NR induction occurred in leaves supplied with NO2- until the ambient NO2- concentration was 0.5 mM. In fact, NR induction from NO2- solutions was not seen until NO3- was detected in the leaves. The amount of NO3- accumulating in NO2(-)-fed leaves induced similar levels of NR as did equivalent amounts of NO3- accumulating from NO3(-)-fed leaves. In all cases the internal concentration of NO3-, but not NO2-, was highly correlated with the amount of NR induced. The evidence indicated that NO3- was a more likely inducer of NR than was NO2-.

NASA Program CELSS↗