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 685 records · Page 38

Mars Science Laboratory CHIMRA: A Device for Processing Powdered Martian Samples

The CHIMRA is an extraterrestrial sample acquisition and processing device for the Mars Science Laboratory that emphasizes robustness and adaptability through design configuration. This work reviews the guidelines utilized to invent the initial CHIMRA and the strategy employed in advancing the design; these principles will be discussed in relation to both the final CHIMRA design and similar future devices. The computational synthesis necessary to mature a boxed-in impact-generating mechanism will be presented alongside a detailed mechanism description. Results from the development testing required to advance the design for a highly-loaded, long-life and high-speed bearing application will be presented. Lessons learned during the assembly and testing of this subsystem as well as results and lessons from the sample-handling development test program will be reviewed.

Sunshine, Daniel↗

The Size Evolution of Passive Galaxies: Observations From the Wide-Field Camera 3 Early Release Science Program

We present the size evolution of passively evolving galaxies at z approximately 2 identified in Wide-Field Camera 3 imaging from the Early Release Science program. Our sample was constructed using an analog to the passive BzK galaxy selection criterion, which isolates galaxies with little or no ongoing star formation at z greater than approximately 1.5. We identify 30 galaxies in approximately 40 arcmin(sup 2) to H less than 25 mag. By fitting the 10-band Hubble Space Telescope photometry from 0.22 micrometers less than approximately lambda (sub obs) 1.6 micrometers with stellar population synthesis models, we simultaneously determine photometric redshift, stellar mass, and a bevy of other population parameters. Based on the six galaxies with published spectroscopic redshifts, we estimate a typical redshift uncertainty of approximately 0.033(1+z).We determine effective radii from Sersic profile fits to the H-band image using an empirical point-spread function. By supplementing our data with published samples, we propose a mass-dependent size evolution model for passively evolving galaxies, where the most massive galaxies (M(sub ∗) approximately 10(sup 11) solar mass) undergo the strongest evolution from z approximately 2 to the present. Parameterizing the size evolution as (1 + z)(sup - alpha), we find a tentative scaling of alpha approximately equals (−0.6 plus or minus 0.7) + (0.9 plus or minus 0.4) log(M(sub ∗)/10(sup 9 solar mass), where the relatively large uncertainties reflect the poor sampling in stellar mass due to the low numbers of highredshift systems. We discuss the implications of this result for the redshift evolution of the M(sub ∗)-R(sub e) relation for red galaxies.

fundamental parameters↗

Simulation for Prediction of Entry Article Demise (SPEAD): An Analysis Tool for Spacecraft Safety Analysis and Ascent/Reentry Risk Assessment

For the purpose of performing safety analysis and risk assessment for a potential off-nominal atmospheric reentry resulting in vehicle breakup, a synthesis of trajectory propagation coupled with thermal analysis and the evaluation of node failure is required to predict the sequence of events, the timeline, and the progressive demise of spacecraft components. To provide this capability, the Simulation for Prediction of Entry Article Demise (SPEAD) analysis tool was developed. The software and methodology have been validated against actual flights, telemetry data, and validated software, and safety/risk analyses were performed for various programs using SPEAD. This report discusses the capabilities, modeling, validation, and application of the SPEAD analysis tool.

Ling, Lisa↗

Automation of Nanoparticle Synthesis Processes in a Plasma Environment Using LabVIEW

This work presents an automated control system for the synthesis of nanomaterials by plasma-enhanced chemical vapor deposition (PECVD), implemented using the LabVIEW software environment. The main objective of the study is to develop an integrated hardware-software platform that enables sequential control of the key stages of the PECVD process, including vacuum chamber preparation, pressure monitoring, working gas supply, plasma ignition, power matching, cyclic nanomaterial growth, and optical monitoring of nanoparticles in the plasma environment. The use of LabVIEW made it possible to integrate actuator control, experimental parameter acquisition, and realtime process visualization within a single automated system. The automated cycle begins with evacuation of the reaction chamber to a predefined base pressure. Transition to the next stage is permitted only after the specified pressure threshold has been reached, ensuring reproducible initial conditions for each experiment. The program then controls the supply of the working gas through mass flow controllers (MFCs). In this work, two gas-flow control modes were considered: analog control using a 0-5 V voltage signal and digital communication via RS-232 interface. It was shown that the analog approach requires accurate scaling of the control voltage, since applying 5 V corresponds to full-scale opening of the controller and results in the maximum gas flow. In contrast, the RS232 interface enables the gas flow rate to be specified directly in sccm, improving the accuracy, flexibility, and convenience of gas-environment control. After pressure stabilization, LabVIEW initiates RF plasma ignition and executes the RF matching algorithm aimed at minimizing reflected power and improving the stability of the plasma process. A separate software module implements the cyclic nanomaterial growth mode, in which the plasma-on time, plasma duration, and total number of synthesis cycles are predefined. This approach makes it possible to control material accumulation on the substrate and to correlate the process parameters with the morphological characteristics of the resulting nanostructures. The final module of the system is designed for optical monitoring of the nanoparticle cloud density in dusty plasma. For this purpose, the change in the intensity of laser radiation passing through the plasma region is recorded using a photodetector and a Keithley 2401 measuring unit connected to LabVIEW via RS-232 interface. The difference between the initial and modified optical signal intensity is used as a diagnostic parameter characterizing the formation and temporal evolution of nanoparticles. The developed system demonstrates that LabVIEW can be effectively applied not only for the automation of individual instruments, but also for the implementation of a complete digital control cycle for PECVD-based nanomaterial synthesis.

PECVD↗

Gene activity during germination of spores of the fern, Onoclea sensibilis. Cell-free translation analysis of mRNA of spores and the effect of alpha-amanitin on spore germination

Poly(A)-RNA fractions of dormant, dark-imbibed (non-germinating) and photoinduced (germinating) spores of Onoclea sensibilis were poor templates in the rabbit reticulocyte lysate protein synthesizing system, but the translational efficiency of poly(A)+RNA was considerably higher than that of unfractionated RNA. Poly(A)+RNA isolated from photoinduced spores had a consistently higher translational efficiency than poly(A)+RNA from dark-imbibed spores. Analysis of the translation products by one-dimensional polyacrylamide gel electrophoresis showed no qualitative differences in the mRNA populations of dormant, dark-imbibed, and photoinduced spores. However, poly(A)+RNA from dark-imbibed spores appeared to encode in vitro fewer detectable polypeptides at a reduced intensity than photoinduced spores. A DNA clone encoding the large subunit of maize ribulose bisphosphate carboxylase hybridized at strong to moderate intensity to RNA isolated from dark-imbibed spores, indicating the absence of mRNA degradation. Although alpha-amanitin did not inhibit the germination of spores, the drug prevented the elongation of the rhizoid and protonemal initial with a concomitant effect on the synthesis of poly(A)+RNA. These results are consistent with the view that some form of translational control involving stored mRNA operates during dark-imbibition and photoinduced germination of spores.

NASA Discipline Number 29-20↗

A mathematical model of diurnal variations in human plasma melatonin levels

Studies in animals and humans suggest that the diurnal pattern in plasma melatonin levels is due to the hormone's rates of synthesis, circulatory infusion and clearance, circadian control of synthesis onset and offset, environmental lighting conditions, and error in the melatonin immunoassay. A two-dimensional linear differential equation model of the hormone is formulated and is used to analyze plasma melatonin levels in 18 normal healthy male subjects during a constant routine. Recently developed Bayesian statistical procedures are used to incorporate correctly the magnitude of the immunoassay error into the analysis. The estimated parameters [median (range)] were clearance half-life of 23.67 (14.79-59.93) min, synthesis onset time of 2206 (1940-0029), synthesis offset time of 0621 (0246-0817), and maximum N-acetyltransferase activity of 7.17(2.34-17.93) pmol x l(-1) x min(-1). All were in good agreement with values from previous reports. The difference between synthesis offset time and the phase of the core temperature minimum was 1 h 15 min (-4 h 38 min-2 h 43 min). The correlation between synthesis onset and the dim light melatonin onset was 0.93. Our model provides a more physiologically plausible estimate of the melatonin synthesis onset time than that given by the dim light melatonin onset and the first reliable means of estimating the phase of synthesis offset. Our analysis shows that the circadian and pharmacokinetics parameters of melatonin can be reliably estimated from a single model.

NASA Discipline Number 70-10↗

Effects of angiotensin, vasopressin and atrial natriuretic peptide on intraocular pressure in anesthetized rats

The effects of atrial natriuretic peptide (ANP), vasopressin (AVP) and angiotensin (ANG) on blood and intraocular pressures of pentobarbital anesthetized rats were evaluated following intravenous, intracerebroventricular or anterior chamber routes of administration. Central injections did not affect intraocular pressure. Equipressor intravenous infusions of ANG raised, whereas AVP decreased, intraocular pressure. Direct infusions of a balanced salt solution (0.175 microliter/min) raised intraocular pressure between 30 and 60 min. Adding ANG or ANP slightly reduced this solvent effect but AVP was markedly inhibitory. An AVP-V1 receptor antagonist reversed the blunting of the solvent-induced rise by the peptide, indicating receptor specificity. Acetazolamide pretreatment lowered intraocular pressure, but the solvent-induced rise in intraocular pressure and inhibition by AVP still occurred without altering the temporal pattern. Thus, these effects appear unrelated to aqueous humor synthesis rate. The data support the possibility of intraocular pressure regulation by peptides acting from the blood and aqueous humor.

NASA Discipline Number 14-10↗

Engineering Feasibility and Trade Studies for the NASA/VSGC MicroMaps Space Mission

Knowledge of airborne CO concentrations is critical for accurate scientific prediction of global scale atmospheric behavior. MicroMaps is an existing NASA owned gas filter radiometer instrument designed for space-based measurement of atmospheric CO vertical profiles. Due to programmatic changes, the instrument does not have access to the space environment and is in storage. MicroMaps hardware has significant potential for filling a critical scientific need, thus motivating concept studies for new and innovative scientific spaceflight missions that would leverage the MicroMaps heritage and investment, and contribute to new CO distribution data. This report describes engineering feasibility and trade studies for the NASA/VSGC MicroMaps Space Mission. Conceptual studies encompass: 1) overall mission analysis and synthesis methodology, 2) major subsystem studies and detailed requirements development for an orbital platform option consisting of a small, single purpose spacecraft, 3) assessment of orbital platform option consisting of the International Space Station, and 4) survey of potential launch opportunities for gaining assess to orbit. Investigations are of a preliminary first-order nature. Results and recommendations from these activities are envisioned to support future MicroMaps Mission design decisions regarding program down select options leading to more advanced and mature phases.

Abdelkhalik, Ossama O.↗

Development and applications of two computational procedures for determining the vibration modes of structural systems

Two computational procedures for analyzing complex structural systems for their natural modes and frequencies of vibration are presented. Both procedures are based on a substructures methodology and both employ the finite-element stiffness method to model the constituent substructures. The first procedure is a direct method based on solving the eigenvalue problem associated with a finite-element representation of the complete structure. The second procedure is a component-mode synthesis scheme in which the vibration modes of the complete structure are synthesized from modes of substructures into which the structure is divided. The analytical basis of the methods contains a combination of features which enhance the generality of the procedures. The computational procedures exhibit a unique utilitarian character with respect to the versatility, computational convenience, and ease of computer implementation. The computational procedures were implemented in two special-purpose computer programs. The results of the application of these programs to several structural configurations are shown and comparisons are made with experiment.

Kvaternik, R. G.↗

High purity low dislocation GaAs single crystals

Recent advances in GaAs bulk crystal growth using the LEC (liquid encapsulated Czochralski) technique are described. The dependence of the background impurity concentration and the dislocation density distribution on the materials synthesis and growth conditions were investigated. Background impurity concentrations as low as 4 x 10 to the 15th power were observed in undoped LEC GaAs. The dislocation density in selected regions of individual ingots was very low, below the 3000 cm .3000/sq cm threshold. The average dislocation density over a large annular ring on the wafers fell below the 10000/sq cm level for 3 inch diameter ingots. The diameter control during the program advanced to a diameter variation along a 3 inch ingot less than 2 mm.

Chen, R. T.↗

Overview of NASA Glenn Seal Program

The Seal Team is divided into four primary areas. These areas include turbine engine seal development, structural seal development, acoustic seal development, and adaptive seal development. The turbine seal area focuses on high temperature, high speed shaft seals for secondary air system flow management. The structural seal area focuses on high temperature, resilient structural seals required to accommodate large structural distortions for both space- and aero-applications. Our goal in the acoustic seal project is to develop non-contacting, low leakage seals exploiting the principles of advanced acoustics. We are currently investigating a new acoustic field known as Resonant Macrosonic Synthesis (RMS) to see if we can harness the large acoustic standing pressure waves to form an effective air-barrier/seal. Our goal in the adaptive seal project is to develop advanced sealing approaches for minimizing blade-tip (shroud) or interstage seal leakage. We are planning on applying either rub-avoidance or regeneration clearance control concepts (including smart structures and materials) to promote higher turbine engine efficiency and longer service lives.

Steinetz, Bruce M.↗

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗

Systems engineering studies of on-orbit assembly operation

While the practice of construction has a long history, the underlying theory of construction is relatively young. Very little has been documented as to techniques of logistic support, construction planning, construction scheduling, construction testing, and inspection. The lack of 'systems approaches' to construction processes is certainly one of the most serious roadblocks to the construction of space structures. System engineering research efforts at CSC are aimed at developing concepts and tools which contribute to a systems theory of space construction. The research is also aimed at providing means for trade-offs of design parameters for other research areas in CSC. Systems engineering activity at CSC has divided space construction into the areas of orbital assembly, lunar base construction, interplanetary transport vehicle construction, and Mars base construction. A brief summary of recent results is given. Several models for 'launch-on-time' were developed. Launch-on-time is a critical concept to the assembly of such Earth-orbiting structures as the Space Station Freedom, and to planetary orbiters such as the Mars transfer vehicle. CSC has developed a launch vehicle selection model which uses linear programming to find optimal combinations of launch vehicles of various sizes (Atlas, Titan, Shuttles, HLLV's) to support SEI missions. Recently, the Center developed a cost trade-off model for studying on orbit assembly logistics. With this model it was determined that the most effective size of the HLLV would be in the range of 120 to 200 metric tons to LEO, which is consistent with the choices of General Stafford's Synthesis Group Report. A second-generation Dynamic Construction Activities Model ('DYCAM') process model has been under development, based on our past results in interruptability and our initial DYCAM model. This second-generation model is built on the paradigm of knowledge-based expert systems. It is aimed at providing answers to two questions: (1) what are some necessary or sufficient conditions for judging conceptual designs of spacecraft?, and (2) can a methodology be formulated such that these conditions may be used to provide computer-aided tools for evaluating conceptual designs and planning for space assembly sequences? Early simulation results indicate that the DYCAM model has a clear ability to emulate and simulate human orbital construction processes.

Morgenthaler, George W.↗

Proceedings for the Workshop on Applied Nuclear Data Activities 2024

The Workshop for Applied Nuclear Data Activities (WANDA) is designed to increase communication among nuclear data (ND) users in multidisciplinary federal programs, ND producers, ND funders, and other ND experts. It also presents an opportunity to cross-pollinate ideas as well as introduce ND gaps identified by federal programs to ND experts and ND capabilities to the various federal ND users. WANDA 2024 included five technical sessions, three of which focused on Fusion Energy Sciences (FES)—FES Fusion Neutronics, FES Tritium Production, and FES Material Damage—and two stand-alone sessions—Isotopes and Targetry for Nuclear Data and Uncertainty Quantification. The FES sessions successfully brought new voices to the WANDA discussions, expanding the application space in which nuclear data are critical. FES programs need accurate nuclear data with realistic uncertainty quantification to properly estimate, for example, shielding, activation, tritium production, helium production, structural material integrity, and superconducting magnet operation. This includes a variety of projectile (neutrons, photons, charged particles) and target atoms. One of the action items common to all the FES sessions was a need to perform sensitivity studies to identify the prioritization of nuclear data needs. The Isotopes and Targetry session highlighted the many capabilities available to produce high-quality targets for nuclear data measurements, including 3D printing with spherical powders, combustion synthesis coupled with spin coating & electrospraying, inkjet printing, and isotopic doping. These new methods open doors for more accurate measurement, but it was also stressed that sample characterization following any method of fabrication is of the highest importance to accurately interpret nuclear data measurement results that used that sample. The Uncertainty Quantification (UQ) session was broken into two categories: nuclear data uncertainty quantification and the use of that uncertainty quantification. Thematic to the UQ session was the loss of information when going from nuclear data measurement, to evaluation, to evaluated file, and finally to neutron transport calculations. Current evaluated ND libraries typically only contain covariances, which assume that the probability distributions are Gaussian. Beyond being a simplified assumption for many evaluations, this can lead to negative values on many observables when attempting to sample the covariance. The covariance format, however, is very efficient in that a simple set of linear equations can transform uncertainty from parameters or cross sections to the application of interest. Focused collaboration is needed between nuclear data evaluators and nuclear data users to ensure that needs are being met.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Hls4ml Synthesis Testing

HLS4ml (high level synthesis for machine learning) Is a Python package used to translate commonly used open-source machine learning models into HLS. This is useful in machine learning applications on FPGAs. Machine learning algorithms are only as fast as the hardware that they are used on, and some applications require high speed without sacrificing accuracy. In these situations, an FPGA is a good choice since it is faster than a CPU or a GPU, but programming an FPGA is difficult. This is where HLS4ml can be used to simplify the process, as a well-known learning model can be converted to HLS and more easily deployed onto an FPGA. There are many use cases for a machine learning algorithm running on an FPGA. For example, detectors in a particle accelerator cannot keep every event that they detect, and so a computer must decide which events to keep and which to discard. Using an FPGA with a machine learning algorithm would be a good way to keep as many events as possible.

Swanson, Caiden↗

Aspects of the interstellar medium in starburst galaxies

Researchers are engaged in a multifaceted program to investigate the stellar content and star formation history of actively star-forming galaxies. A large body of stellar spectra have been examined to identify spectral features characteristic of specific stellar types. These spectral diagnostics are then calibrated in terms of temperature (spectral type), gravity (luminosity class) and metallicity. The spectral data is compiled into a stellar library whose members represent specific locations in the HR diagram. Through the use of population synthesis techniques, both optimizing and evolutionary approaches, the stellar luminosity function in composite populations can be determined by analysis of their integrated light. Researchers have concentrated on the ultraviolet wavelength region (lambda lambda 1200 to 3200), utilizing the International Ultraviolet Explorer (IUE) archives supplemented by additional observations. In the optical, virtually all stars will contribute to the integrated light. In the ultraviolet however, cool stars will produce negligible flux due to their steep ultraviolet-to-visual continua, greatly simplifying the investigation of the hot component in a composite population. The researchers' initial stellar library has been applied to several blue compact galaxies, (BCGs), a class of starburst galaxy which is UV luminous. BCGs possess a complex interstellar medium which affects the emergent stellar continuum in several ways. This presents a challenge to the stellar analysis but affords insight into the properties of the gas and dust from which the massive OB stars have formed. The optimizing synthesis method solves for the stellar luminosity function and extinction simultaneously. This therefore provides an independent measure of the extinction affecting the hot population component. Despite the rise of the reddening law towards the ultraviolet, BCGs are found to be brighter in the ultraviolet than expected.

Fanelli, Michael N.↗

RadSTAR L-Band Imaging Scatterometer: Performance Assessment

RadSTAR is an instrument development program aimed at combining a radiometer and a scatterometer system into a highly compact configuration that uses a single, electronically scanned antenna to provide co-located and simultaneous measurements of emission and backscatter for airborne and spaceborne applications [I]. The program was designed to map soil moisture and ocean salinity, both important components of the water cycle, and to map sea ice density and thickness, an important factor in ocean-atmosphere heat exchange in Polar Regions. The accuracy in estimation of these and a number of other Earth science parameters can be greatly enhanced by providing the co-aligned radar/radiometer microwave measurements. For instance, radiometer estimates of soil moisture from soil emission are affected by emission from vegetation, and from the roughness of the surface. Complementary measurements using the scatterometer can be used to evaluate the vegetation and surface roughness effects. Hence, the combined observations can provide an improved estimate. As with soil moisture, the ocean salinity is a function of the microwave emission from the sea surface temperature (SST) and sea roughness. There, the addition of radar backscatter measurements of sea roughness enables the correction of the emissivity and provide more accurate estimates of ocean salinity. Similar arguments can be made for other important Earth science parameters. This paper discusses the RadSTAR program, the radar system design, calibration, and digital beamforming techniques, and presents preliminary analysis of the data collected during the test flights. The data sets obtained during the flights and during the radar calibration in the anechoic chamber are also employed to asses the performance of the radar. The paper also discusses the Digital Beamforming Synthetic Aperture Radar (DBSAR) processor, a real-time processor recently developed for the LIS instrument which enables beam synthesis, fine resolutions, and large swaths.

Rincon, Rafael↗

hls4ml

hls4ml (high level synthesis for machine learning) Is a Python package used to translate commonly used open-source machine learning models into HLS. This is useful in machine learning applications on FPGAs. Machine learning algorithms are only as fast as the hardware that they are used on, and some applications require high speed without sacrificing accuracy. In these situations, an FPGA is a good choice since it is faster than a CPU or a GPU, but programming an FPGA is difficult. This is where hls4ml can be used to simplify the process, as a well-known learning model can be converted to HLS and more easily deployed onto an FPGA. There are many use cases for a machine learning algorithm running on an FPGA. For example, detectors in a particle accelerator cannot keep every event that they detect, and so a computer must decide which events to keep and which to discard. Using an FPGA with a machine learning algorithm would be a good way to keep as many events as possible.

Swanson, Caiden↗