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.
Digital filter synthesis program
Digital filter synthesis to form difference equations for computing differential equations
Space Shuttle Synthesis Program /SSSP/. Volume 1 - Part 1 - Engineering and programming discussion Final report
Aerospace engineering and computer programming manual for space shuttle synthesis program to simulate spacecraft trajectories and weight analysis for performance prediction
Chemical classification program synthesis using generative artificial intelligence
Accurately classifying chemical structures is essential for cheminformatics and bioinformatics, including tasks such as identifying bioactive compounds of interest, screening molecules for toxicity to humans, finding non-organic compounds with desirable material properties, or organizing large chemical libraries for drug discovery or environmental monitoring. However, manual classification is labor-intensive and difficult to scale to large chemical databases. Existing automated approaches either rely on manually constructed classification rules, or are deep learning methods that lack explainability. This work presents an approach that uses generative artificial intelligence to automatically write chemical classifier programs for classes in the Chemical Entities of Biological Interest (ChEBI) database. These programs can be used for efficient deterministic run-time classification of SMILES structures, with natural language explanations. The programs themselves constitute an explainable computable ontological model of chemical class nomenclature, which we call the ChEBI Chemical Class Program Ontology (C3PO). We validated our approach against the ChEBI database, and compared our results against deep learning models and a naive SMARTS pattern based classifier. C3PO outperforms the naive classifier, but does not reach the performance of state of the art deep learning methods. However, C3PO has a number of strengths that complement deep learning methods, including explainability and reduced data dependence. C3PO can be used alongside deep learning classifiers to provide an explanation of the classification, where both methods agree. The programs can be used as part of the ontology development process, and iteratively refined by expert human curators.
Programmed synthesis of mesoporous protein crystals in cellular reactors
Protein crystals are naturally derived mesoporous materials with versatile structures and physicochemical properties. Here we introduce an intracellular synthesis platform that enables controllable and programmable protein crystallization. In live cells, we show that, after initial nucleation, steady protein expression governs crystal growth, yielding predictable, tunable dynamics in live cells. Exploiting this feature, we combined HaloTag and click chemistries to achieve modular, programmable immobilization of diverse guest materials with spatial patterning down to ~100 nm resolution. We further demonstrated the sequential release of immobilized materials in physiologically relevant fluids. As a proof of concept, we programmed particles to carry human fibroblast growth factors in distinct layers, which elicited designed oscillatory Akt signalling patterns in cell culture. Finally, this work outlines a programmable method for producing mesoporous materials, with possible applications in catalysis and biomedicine.
A user's manual for the Automatic Synthesis Program /program C/
Digital computer program for numerical solution of problems in system theory involving linear mathematics
Multimode feed pattern synthesis program
Computer program on theoretical radiation patterns of horn antenna excited by combined cylindrical waveguide modes
Digital filter synthesis computer program
Digital filter synthesis computer program expresses any continuous function of a complex variable in approximate form as a computational algorithm or difference equation. Once the difference equation has been developed, digital filtering can be performed by the program on any input data list.
Television Broadcast Satellite study, TVBS system. Volume 5 - Synthesis/optimization computer program
Synthesis and optimization computer program for design of television broadcast satellite system Vol. 5
The revised solar array synthesis computer program
The Revised Solar Array Synthesis Computer Program is described. It is a general-purpose program which computes solar array output characteristics while accounting for the effects of temperature, incidence angle, charged-particle irradiation, and other degradation effects on various solar array configurations in either circular or elliptical orbits. Array configurations may consist of up to 75 solar cell panels arranged in any series-parallel combination not exceeding three series-connected panels in a parallel string and no more than 25 parallel strings in an array. Up to 100 separate solar array current-voltage characteristics, corresponding to 100 equal-time increments during the sunlight illuminated portion of an orbit or any 100 user-specified combinations of incidence angle and temperature, can be computed and printed out during one complete computer execution. Individual panel incidence angles may be computed and printed out at the user's option.
The solar array synthesis computer program
Computer program for solar cell performance prediction in spacecraft power supply systems
Computer program for network synthesis by frequency response fit
Computer program synthesizes a passive network by minimizing the difference in desired and actual frequency response. The program solves for the critical points of the error function /weighted least squares fit between calculated and desired frequency response/ by the multivariable Newton-Raphson method with components constrained to an admissible region.
Communications satellite for Alaska and the Mountain States
Communications satellite for Alaska and Mountain States TV defined using computerized synthesis program
Analysis and synthesis of concurrent sequential programs
Concurrent sequential program analysis and synthesis
Optimized components in truss synthesis.
Mathematical programming in optimized truss design noting reduction of components under buckling
Advances in the integrated approach to structural synthesis.
Integrated approach to structural synthesis of three-dimensional truss with arbitrary number of nodes, members and topology, noting two programs of synthesis
Advances in the integrated approach to structural synthesis.
Integrated approach to structural synthesis of three-dimensional truss with arbitrary number of nodes, members and topology, noting two programs of synthesis
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.