Search NASA⌕ Search

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.

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

At least 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS1974

Shuttle user analysis (study 2.2): Volume 3. Business Risk And Value of Operations in space (BRAVO). Part 4: Computer programs and data look-up

Computer program listings as well as graphical and tabulated data needed by the analyst to perform a BRAVO analysis were examined. Graphical aid which can be used to determine the earth coverage of satellites in synchronous equatorial orbits was described. A listing for satellite synthesis computer program as well as a sample printout for the DSCS-11 satellite program and a listing of the symbols used in the program were included. The APL language listing for the payload program cost estimating computer program was given. This language is compatible with many of the time sharing remote terminals computers used in the United States. Data on the intelsat communications network was studied. Costs for telecommunications systems leasing, line of sight microwave relay communications systems, submarine telephone cables, and terrestrial power generation systems were also described.

Source record↗
DOE OSTI2025

VISION: a modular AI assistant for natural human-instrument interaction at scientific user facilities

Scientific user facilities, such as synchrotron beamlines, are equipped with a wide array of hardware and software tools that require a codebase for human-computer-interaction. This often necessitates developers to be involved to establish connection between users/researchers and the complex instrumentation. The advent of generative AI presents an opportunity to bridge this knowledge gap, enabling seamless communication and efficient experimental workflows. Here we present a modular architecture for the Virtual Scientific Companion by assembling multiple AI-enabled cognitive blocks that each scaffolds large language models (LLMs) for a specialized task. With VISION, we performed LLM-based operation on the beamline workstation with low latency and demonstrated the first voice-controlled experiment at an x-ray scattering beamline. The modular and scalable architecture allows for easy adaptation to new instruments and capabilities. Development on natural language-based scientific experimentation is a building block for an impending future where a science exocortex—a synthetic extension to the cognition of scientists—may radically transform scientific practice and discovery.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Development of a scalable, robust electrocatalytic technology for conversion of CO 2 to formic acid via microstructured materials

This project was funded by the Bioenergy Engineering for Product Synthesis (BEEPS) program under the Funding Opportunity Announcement (FOA) DE-FOA-0001916 Topic Area 5 “Rewiring Carbon Utilization”. This FOA sought projects that would electrocatalytically reduce CO 2 to a carbon intermediate and then upconvert to a multi-carbon product or fuel via non-photosynthetic biological system engineering. The project sought to combine the expertise of OCO Chem, whose chief scientist had previously developed an efficient electrocatalytic reactor for conversion of CO 2 to formate with potential to scale, Montana State University investigators who had recently patented a method for laterally grading membranes with the potential of improving reactant distribution and more uniform efficiency across membrane-based reactors, and University of South Florida which had recently discovered a novel C-C bond forming reaction not known to naturally occur in biological systems and which uses C1 substrates and circumvents the central microbial metabolism.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1972

Transonic transport study: Economics

An economic analysis was performed to evaluate the impact of advanced materials, increased aerodynamic and structural efficiencies, and cruise speed on advanced transport aircraft designed for cruise Mach numbers of .90, .98, and 1.15. A detailed weight statement was generated by an aircraft synthesis computer program called TRANSYN-TST; these weights were used to estimate the cost to develop and manufacture a fleet of aircraft of each configuration. The direct and indirect operating costs were estimated for each aircraft, and an average return on investment was calculated for various operating conditions. There was very little difference between the operating economics of the aircraft designed for Mach numbers .90 and .98. The Mach number 1.15 aircraft was economically marginal in comparison but showed significant improvements with the application of carbon/epoxy structural material. However, the Mach .90 and Mach .98 aircraft are the most economically attractive vehicles in the study.

Smith, C. L.↗
NASA NTRS1974

Space shuttle/payload interface analysis. Volume 4: Business Risk and Value of Operations in Space (BRAVO). Part 3: Workbook

A collection of blank worksheets for use on each BRAVO problem to be analyzed is supplied, for the purposes of recording the inputs for the BRAVO analysis, working out the definition of mission equipment, recording inputs to the satellite synthesis computer program, estimating satellite earth station costs, costing terrestrial systems, and cost effectiveness calculations. The group of analysts working BRAVO will normally use a set of worksheets on each problem, however, the workbook pages are of sufficiently good quality that the user can duplicate them, if more worksheet blanks are required than supplied. For Vol. 1, see N74-12493; for Vol. 2, see N74-14530.

Source record↗
NASA NTRS1974

Chemical research projects office fuel tank sealants review

The status of high-temperature fuel tank sealants for military and potentially commercial supersonic aircraft is examined. The interrelationships of NASA's sealants program comprise synthesis and development of new fluoroether elastomers, sealant prediction studies, flight simulation and actual flight testing of best state-of-the-art fluorosilicone sealants. The technical accomplishments of these projects are reviewed.

Rosser, R. W.↗
NASA NTRS1977

Evaluation of an F100 multivariable control using a real-time engine simulation

A multivariable control design for the F100 turbofan engine was evaluated, as part of the F100 multivariable control synthesis (MVCS) program. The evaluation utilized a real-time, hybrid computer simulation of the engine and a digital computer implementation of the control. Significant results of the evaluation are presented and recommendations concerning future engine testing of the control are made.

Szuch, J. R.↗
NASA NTRS1977

Design of turbofan engine controls using output feedback regulator theory

A multivariable control design procedure based on output feedback regulator (OFR) theory is applied to the F100 turbofan engine. Results for the OFR design are compared to a design based on linear quadratic regulator (LQR) theory. This LQR design was obtained as part of the F100 Multivariable Control Synthesis (MVCS) program. In the MVCS program the LQR feedback control was designed in a reduced dimension state space and then applied to the original system. However, the OFR feedback control is designed in the full order state space and thus eliminates any need for model reduction techniques. Using the performance measure and control structure of the MVCS program LQR design, an equivalent OFR feedback control is obtained. The flexibility of the OFR as a control design procedure is demonstrated and differing feedback control structures are evaluated.

Merrill, W. C.↗
NASA NTRS1981

Resizing structures for minimum weight

Approximation concepts and dual-method algorithms are combined in method of minimum-weight design for structures. Approximation Concepts Code for Efficient Structural Synthesis (ACCESS3) program is powerful research tool in which mathematical programming and optimality criteria are coalesced in efficient structural weight-minimization method.

Fleury, C.↗
NASA NTRS1990

Synthesizing information-update functions using off-line symbolic processing

This paper explores the synthesis of programs that track dynamic conditions in their environment. An approach is proposed in which the designer specifies, in a declarative language, aspects of the environment in which the program will be embedded. This specification is then automatically compiled into a program that, when executed, updates internal data structures so as to maintain as an invariant a desired correspondence between internal data structures and states of the external environment. This approach retains much of the flexibility of declarative programming while guaranteeing a hard bound on the execution time of information-update functions.

Rosenschein, Stanley J.↗
NASA NTRS1993

Design optimization of high-speed proprotor aircraft

NASA's high-speed rotorcraft (HSRC) studies have the objective of investigating technology for vehicles that have both low downwash velocities and forward flight speed capability of up to 450 knots. This paper investigates a tilt rotor, a tilt wing, and a folding tilt rotor designed for a civil transport mission. Baseline aircraft models using current technology are developed for each configuration using a vertical/short takeoff and landing (V/STOL) aircraft design synthesis computer program to generate converged vehicle designs. Sensitivity studies and numerical optimization are used to illustrate each configuration's key design tradeoffs and constraints. Minimization of the gross takeoff weight is used as the optimization objective function. Several advanced technologies are chosen, and their relative impact on future configurational development is discussed. Finally, the impact of maximum cruise speed on vehicle figures of merit (gross weight, productivity, and direct operating cost) is analyzed. The three most important conclusions from the study are payload ratios for these aircraft will be commensurate with current fixed-wing commuter aircraft; future tilt rotors and tilt wings will be significantly lighter, more productive, and cheaper than competing folding tilt rotors; and the most promising technologies are an advanced-technology proprotor for both tilt rotor and tilt wing and advanced structural materials for the folding tilt rotor.

Schleicher, David R.↗
NASA NTRS1996

Smart Material Demonstrators Based on Shape Memory Alloys and Electroceramics

This paper describes the development and characterization of two technology demonstrators that were produced under the auspices of an ARPA sponsored smart materials synthesis and processing effort. The ARPA Smart Materials and Synthesis (SMS) Program was a 2 year, $10M partnership led by Martin Marietta Laboratories - Baltimore and included Lockheed Missiles & Space Co., NRL, AVX Corp., Martin Marietta Astronautics Groups, BDM Federal, Inc., Virginia Tech, Clemson, University of Maryland, Denver University, and The Johns Hopkins University. In order to demonstrate the usefulness of magnetron sputtered shape memory foil and the manufacturability of reliable, reproducible electrostrictive actuators, the team designed a broadband active vibration cancellation device for suppressing the vibration load on delicate instruments and precision pointing devices mounted on orbiting satellites and spacecraft. The results of extensive device characterization and bench testing are discussed. Initial simulation results show excellent control authority and amplitude attenuation over the range of anticipated disturbance frequencies. The SMS Team has also developed an active 1-3 composite comprising micro-electrostrictive actuators embedded in a polymeric matrix suitable for underwater applications such as sonar quieting and listening arrays, and for medical imaging. Follow-on programs employing these technologies are also described.

Cooke, Arther V.↗
NASA NTRS1996

Performance of a Smart Vibration Isolator for Precision Spacecraft Instruments

Under the ARPA SMS Partnership Program for Synthesis and Processing of Smart Materials, Lockheed Missiles and Space company, Inc. has developed a demonstration prototype vibration cancelling mount using electrostrictive ceramic and shape-memory alloy actuators. Shape-memory actuators provide an adaptive-passive, self-damping support for isolation, while the electrostrictive actuators are employed to provide force and position control. The demonstration device was designed to address generic requirements for vibration stabilization of precision spacecraft instruments. It is reconfigurable to operate in any of four modes; passive isolation, active-passive isolation using force cancellation, active precision positioning, and active disturbance rejection. The presentation summarizes design of the device design and results of experimental evaluations of the device in isolation (active and passive) and positioning modes. Rejection of payload-borne disturbances is also discussed with reference to predictions from experimentally calibrated simulations. Finally, avenues for further development and refinement of the device are discussed.

Regelbrugge, Marc E.↗
NASA NTRS2001

Team Expo: A State-of-the-Art JSC Advanced Design Team

In concert with the NASA-wide Intelligent Synthesis Environment Program, the Exploration Office at the Johnson Space Center has assembled an Advanced Design Team. The purpose of this team is two-fold. The first is to identify, use, and develop software applications, tools, and design processes that streamline and enhance a collaborative engineering environment. The second is to use this collaborative engineering environment to produce conceptual, system-level-of-detail designs in a relatively short turnaround time, using a standing team of systems and integration experts. This includes running rapid trade studies on varying mission architectures, as well as producing vehicle and/or subsystem designs. The standing core team is made up of experts from all of the relevant engineering divisions (e.g. Power, Thermal, Structures, etc.) as well as representatives from Risk and Safety, Mission Operations, and Crew Life Sciences among others. The Team works together during 2- hour sessions in the same specially enhanced room to ensure real-time integration/identification of cross-disciplinary issues and solutions. All subsystem designs are collectively reviewed and approved during these same sessions. In addition there is an Information sub-team that captures and formats all data and makes it accessible for use by the following day. The result is Team Expo: an Advanced Design Team that is leading the change from a philosophy of "over the fence" design to one of collaborative engineering that pushes the envelope to achieve the next-generation analysis and design environment.

Tripathi, Abhishek↗
NASA NTRS1992

Conjunctive programming: An interactive approach to software system synthesis

This report introduces a technique of software documentation called conjunctive programming and discusses its role in the development and maintenance of software systems. The report also describes the conjoin tool, an adjunct to assist practitioners. Aimed at supporting software reuse while conforming with conventional development practices, conjunctive programming is defined as the extraction, integration, and embellishment of pertinent information obtained directly from an existing database of software artifacts, such as specifications, source code, configuration data, link-edit scripts, utility files, and other relevant information, into a product that achieves desired levels of detail, content, and production quality. Conjunctive programs typically include automatically generated tables of contents, indexes, cross references, bibliographic citations, tables, and figures (including graphics and illustrations). This report presents an example of conjunctive programming by documenting the use and implementation of the conjoin program.

Tausworthe, Robert C.↗
NASA NTRS1986

Computer-assisted design of organic synthesis

The computer programs to design synthetic pathways of organic compounds have been utilized throughout the world since the first system was reported by Corey in 1969, and the LHASA was reported in1972 to become the predominant system. Many programs have been reported mainly in the United States and Europe, and groups of corporations, especially chemical companies, have been trying to improve programs and increase the efficiency of research. In Japan, unfortunately, no concrete movement in this area has been seen. Of course, it goes without saying that these kinds of programs are effective for efficient research, but the remarkable aspect is that these can present unexpected data to the researchers to stimulate them to develop new ideas.

Kaminaka, H.↗