Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SrY”

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 145 records · Page 8

Formal methods for test case generation

The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.

Rushby, John↗

Spatially Resolved, In Situ Carbon Isotope Analysis of Archean Organic Matter

Spatiotemporal variability in the carbon isotope composition of sedimentary organic matter (OM) preserves information about the evolution of the biosphere and of the exogenic carbon cycle as a whole. Primary compositions, and imprints of the post-depositional processes that obscure them, exist at the scale of individual sedimentary grains (mm to micron). Secondary ion mass spectrometry (SIMS) (1) enables analysis at these scales and in petrographic context, (2) permits morphological and compositional characterization of the analyte and associated minerals prior to isotopic analysis, and (3) reveals patterns of variability homogenized by bulk techniques. Here we present new methods for in situ organic carbon isotope analysis with sub-permil precision and spatial resolution to 1 micron using SIMS, as well as new data acquired from a suite of Archean rocks. Three analytical protocols were developed for the CAMECA ims1280 at WiscSIMS to analyze domains of varying size and carbon concentration. Average reproducibility (at 2SD) using a 6 micron spot size with two Faraday cup detectors was 0.4 %, and 0.8 % for analyses using 1 micron and 3 micron spot sizes with a Faraday cup (for C-12) and an electron multiplier (for C-13). Eight coals, two ambers, a shungite, and a graphite were evaluated for micron-scale isotopic heterogeneity, and LCNN anthracite (delta C-13 = -23.56 +/- 0.1 %, 2SD) was chosen as the working standard. Correlation between instrumental bias and H/C was observed and calibrated for each analytical session using organic materials with H/C between 0.1 and 1.5 (atomic), allowing a correction based upon a C-13H/C-13 measurement included in every analysis. Matrix effects of variable C/SiO2 were evaluated by measuring mm to sub-micron graphite domains in quartzite from Bogala mine, Sri Lanka. Apparent instrumental bias and C-12 count rate are correlated in this case, but this may be related to a crystal orientation effect in graphite. Analyses of amorphous Archean OM suggest that instrumental bias is consistent for 12C count rates as low as 10% relative to anthracite. Samples from the ABDP-9 (n=3; Mount McRae Shale, approximately 2.5 Ga), RHDH2a (n=2; Carrawine Dolomite and Jeerinah Fm, approximately 2.6 Ga), WRL1 (n=3; Wittenoom Fm, Marra Mamba Iron Formation, and Jeerinah Fm, approximately 2.6 Ga), and SV1 (n=1; Tumbiana Fm, approximately 2.7 Ga) drill cores, each previously analyzed for bulk organic carbon isotope composition, yielded 100 new, in situ data from Neoarchean sedimentary OM. In these samples, delta C-13 varies between -53.1 and -28.3 % and offsets between in situ and bulk compositions range from -8.3 to 18.8%. In some cases, isotopic composition and mode of occurrence (e.g. morphology and mineral associations) are statistically correlated, enabling the identification of distinct reservoirs of OM. Our results support previous evidence for gradients of oxidation with depth in Neoarchean environments driven by photosynthesis and methane metabolism. The relevance of these findings to questions of bio- and syngenicity as well as the alteration history of previously reported Archean OM will be discussed.

Williford, Kenneth H.↗

Model-Driven Test Generation of Distributed Systems

This report describes a novel test generation technique for distributed systems. Utilizing formal models and formal verification tools, spe cifically the Symbolic Analysis Laboratory (SAL) tool-suite from SRI, we present techniques to generate concurrent test vectors for distrib uted systems. These are initially explored within an informal test validation context and later extended to achieve full MC/DC coverage of the TTEthernet protocol operating within a system-centric context.

Easwaran, Arvind↗

Investigating Actuation Force Fight with Asynchronous and Synchronous Redundancy Management Techniques

Within distributed fault-tolerant systems the term force-fight is colloquially used to describe the level of command disagreement present at redundant actuation interfaces. This report details an investigation of force-fight using three distributed system case-study architectures. Each case study architecture is abstracted and formally modeled using the Symbolic Analysis Laboratory (SAL) tool chain from the Stanford Research Institute (SRI). We use the formal SAL models to produce k-induction based proofs of a bounded actuation agreement property. We also present a mathematically derived bound of redundant actuation agreement for sine-wave stimulus. The report documents our experiences and lessons learned developing the formal models and the associated proofs.

Hall, Brendan↗

Assessing Climate Change Impacts on the Stability of Small Tidal Inlets: Part 2- Data Rich Environments

Climate change (CC) is likely to affect the thousands of bar-built or barrier estuaries (here referred to as Small tidal inlets - STIs) around the world. Any such CC impacts on the stability of STIs, which governs the dynamics of STIs as well as that of the inlet-adjacent coastline, can result in significant socio-economic consequences due to the heavy human utilisation of these systems and their surrounds. This article demonstrates the application of a process based snap-shot modelling approach, using the coastal morphodynamic model Delft3D, to 3 case study sites representing the 3 main STI types; Permanently open, locationally stable inlets (Type 1), Permanently open, alongshore migrating inlets (Type 2) and Seasonally/Intermittently open, locationally stable inlets (Type 3). The 3 case study sites (Negombo lagoon - Type 1, Kalutara lagoon - Type 2, and Maha Oya river - Type 3) are all located along the southwest coast of Sri Lanka. After successful hydrodynamic and morphodynamic model validation at the 3 case study sites, CC impact assessment are undertaken for a high end greenhouse gas emission scenario. Future CC modified wave and riverflow conditions are derived from a regional scale application of spectral wave models (WaveWatch III and SWAN) and catchment scale applications of a hydrologic model (CLSM) respectively, both of which are forced with IPCC Global Climate Model output dynamically downscaled to approximately 50 km resolution over the study area with the stretched grid Conformal Cubic Atmospheric Model CCAM. Results show that while all 3 case study STIs will experience significant CC driven variations in their level of stability, none of them will change Type by the year 2100. Specifically, the level of stability of the Type 1 inlet will decrease from 'Good' to 'Fair to poor' by 2100, while the level of (locational) stability of the Type 2 inlet will also decrease with a doubling of the annual migration distance. Conversely, the stability of the Type 3 inlet will increase, with the time till inlet closure increasing by approximately 75%. The main contributor to the overall CC effect on the stability of all 3 STIs is CC driven variations in wave conditions and resulting changes in longshore sediment transport, not Sea level rise as commonly believed.

IPC↗

Improved Method for Increased-Rate Stitched Composites Manufacturing

Stitched composites, as defined herein, are created by stitching a dry preform, infusing the preform with resin and curing the resin. Stitched composites have been shown to have benefits over unstitched composites for stiffened structures, including improved damage tolerance, reduced weight, and fewer fasteners. However, conventional stitched composite structure production is very time and manual-labor intensive, and therefore is not conducive for high-rate production of commercial aircraft main structure. The National Aeronautics and Space Administration (NASA) Hi-Rate Composite Aircraft Manufacturing (HiCAM) Project has the objective to increase the manufacturing rate for future composite aircraft. Stitched resin infused (SRI) composites are one of the technologies being considered under the HiCAM Project, but to be viable, production rates must be increased (i.e., production time reduced). Previous work has shown that it is possible to reduce the time required to stitch a dry composite preform, such as a skin with integral stiffeners, but the stitching process is a small portion of the total time required to produce a stitched preform. To significantly reduce overall stitched preform production time, a study was undertaken to examine a new stitching method that would yield time reduction in the pre- and post-stitching activities that include all portions of a stitched preform production with the exception of the actual stitching process. The new method resulted in significant reduction in production time, from 27% to 40%, while at the same time reducing the costs associated with fabricating a stitched preform by eliminating stations within the production line, simplifying tooling, reducing labor, and reducing consumables.

Stitching↗

Improved Method for Increased-Rate Stitched Composites Manufacturing

Stitched composites, as defined herein, are created by stitching a dry preform, infusing the preform with resin and curing the resin. Stitched composites have been shown to have benefits over unstitched composites for stiffened structures, including improved damage tolerance, reduced weight, and fewer fasteners. However, conventional stitched composite structure production is very time and manual-labor intensive, and therefore is not conducive for high-rate production of commercial aircraft main structure. The National Aeronautics and Space Administration (NASA) Hi-Rate Composite Aircraft Manufacturing (HiCAM) Project has the objective to increase the manufacturing rate for future composite aircraft. Stitched resin infused (SRI) composites are one of the technologies being considered under the HiCAM Project, but to be viable, production rates must be increased (i.e., production time reduced). Previous work has shown that it is possible to reduce the time required to stitch a dry composite preform, such as a skin with integral stiffeners, but the stitching process is a small portion of the total time required to produce a stitched preform. To significantly reduce overall stitched preform production time, a study was undertaken to examine a new stitching method that would yield time reduction in the pre- and post-stitching activities that include all portions of a stitched preform production with the exception of the actual stitching process. The new method resulted in significant reduction in production time, from 27% to 40%, while at the same time reducing the costs associated with fabricating a stitched preform by eliminating stations within the production line, simplifying tooling, reducing labor, and reducing consumables.

Stitching↗

Metadata Entry Optimization for NASA's Biological Institutional Scientific Collection (NBISC)

The NASA Biological Institutional Sample Collection (NBISC) at NASA’s Ames Research Center is a critical resource housing non-human samples collected from spaceflight missions and ground analog studies, primarily consisting of specimens from rats, mice, and select microbes. The primary objective of NBISC is to systematically receive, document, preserve, and facilitate access to these samples for the global scientific community. NBISC promotes international collaboration and maximizes the return on investment for precious tissues from spaceflight and analog experiments. Researchers can request physical samples through an online request form and subsequent written proposal review process. This study addresses two core research objectives: streamlining the NBISC sample lifecycle processes and strategizing for managing an influx of 50,000 tissue samples from a series of cosmic radiation analog experiments carried out at the NASA Space Radiation Laboratory (NSRL) by Drs. Eleanor Chang (Lawrence Berkeley Laboratory) and Polly Blakely (SRI). The Chang/Blakely studies investigated Harderian gland (HG) tumorigenesis in mice exposed to low dose and LET radiation comprising 8 different exposure protocols in over 4000 mice. NBISC sample metadata is stored in a Laboratory Information Management System (SLIMS). To streamline sample data entry, we customize python scripts using information extracted from the individual experimental protocols. The scripts automate entry into multiple SLIMS data fields including protocol name, unique sample barcode, tissue and sub-tissue information, freezer location, sample preservation method, etc. The semi-automated procedure significantly decreases the time spent on data entry by several orders of magnitude. Automation and data organization are essential, as they free up time for curation and promotion of the collection which, in turn, increase the accessibility of samples to the broader research community. NBISC benefits from streamlined data ingestion, and the methodologies developed here are applicable to other projects which use SLIMS including the NASA Biospecimen Sharing Program and GeneLab. As of Fall 2023, plans include transferring sample data from SLIMS to public facing repositories (OSDR and NLSP), expanding the reach of the Chang/Blakely sample collection. The Human Research Program Space Radiation Element plans to transfer non-human tissues from many more investigations to NBISC in the coming year.

Sample Repository↗

Metadata Entry Optimization For NASA's Biological Institutional Scientific Collection (NBISC)

The NASA Biological Institutional Sample Collection (NBISC) at NASA’s Ames Research Center is a critical resource housing non-human samples collected from spaceflight missions and ground analog studies, primarily consisting of specimens from rats, mice, and select microbes. The primary objective of NBISC is to systematically receive, document, preserve, and facilitate access to these samples for the global scientific community. NBISC promotes international collaboration and maximizes the return on investment for precious tissues from spaceflight and analog experiments. Researchers can request physical samples through an online request form and subsequent written proposal review process. This study addresses two core research objectives: streamlining the NBISC sample lifecycle processes and strategizing for managing an influx of 50,000 tissue samples from a series of cosmic radiation analog experiments carried out at the NASA Space Radiation Laboratory (NSRL) by Drs. Eleanor Chang (Lawrence Berkeley Laboratory) and Polly Blakely (SRI). The Chang/Blakely studies investigated Harderian gland (HG) tumorigenesis in mice exposed to low dose and LET radiation comprising 8 different exposure protocols in over 4000 mice. NBISC sample metadata is stored in a Laboratory Information Management System (SLIMS). To streamline sample data entry, we customize python scripts using information extracted from the individual experimental protocols. The scripts automate entry into multiple SLIMS data fields including protocol name, unique sample barcode, tissue and sub-tissue information, freezer location, sample preservation method, etc. The semi-automated procedure significantly decreases the time spent on data entry by several orders of magnitude. Automation and data organization are essential, as they free up time for curation and promotion of the collection which, in turn, increase the accessibility of samples to the broader research community. NBISC benefits from streamlined data ingestion, and the methodologies developed here are applicable to other projects which use SLIMS including the NASA Biospecimen Sharing Program and GeneLab. As of Fall 2023, plans include transferring sample data from SLIMS to public facing repositories (OSDR and NLSP), expanding the reach of the Chang/Blakely sample collection. The Human Research Program Space Radiation Element plans to transfer non-human tissues from many more investigations to NBISC in the coming year.

Biospecimen↗

CRUX: a Compliant Robotic Upper-Extremity eXosuit for Lightweight, Portable, Multi-DoF Muscular Augmentation

Wearable robots can potentially offer their users enhanced stability and strength. These augmentations are ideally designed to actuate harmoniously with the users movements and provide extra force as needed. The creation of such robots, however, is particularly challenging due to the complexity of the underlying human body. In this paper, we present a compliant, robotic exosuit for upper-extremities called CRUX. This exosuit, inspired by tensegrity models of the human arm, features a lightweight (1.3 kg), flexible design for portability. We also show how CRUX maintains full flexibility of the upper-extremities for its users while providing multi- DoF augmentative strength to the major muscles of the arm, as evident by tracking the heart rate of an individual exercising said arm. Exosuits such as CRUX may be useful in physical therapy and in extreme environments where users are expected to exert their bodies to the fullest extent.

Robotics↗

A Mini-Surge on theRyder Glacier, Greenland Observed via Satelite Radar Interferometry

A dramatic short term speed up of the Ryder glacier has been detected using satellite radar interferometry. The accelerated flow represents a substantial, though short-lived, change in the ice discharge from this basin. We believe that meltwater was involved in this event, either as an active participant, as meltwater-filled lakes on the surface of the glacier drained during the period of rapid motion.

Ryder glacier Greenland ice sheet Antarctictic ice↗

Fuel-Cell Power Systems Incorporating Mg-Based H2 Generators

Two hydrogen generators based on reactions involving magnesium and steam have been proposed as means for generating the fuel (hydrogen gas) for such fuel-cell power systems as those to be used in the drive systems of advanced motor vehicles. The hydrogen generators would make it unnecessary to rely on any of the hydrogen storage systems developed thus far that are, variously, too expensive, too heavy, too bulky, and/or too unsafe to be practical. The two proposed hydrogen generators are denoted basic and advanced, respectively. In the basic hydrogen generator (see figure), steam at a temperature greater than or equals 330 C would be fed into a reactor charged with magnesium, wherein hydrogen would be released in the exothermic reaction Mg + H2O yields MgO + H2. The steam would be made in a flash boiler. To initiate the reaction, the boiler could be heated electrically by energy borrowed from a storage battery that would be recharged during normal operation of the associated fuel-cell subsystem. Once the reaction was underway, heat from the reaction would be fed to the boiler. If the boiler were made an integral part of the hydrogen-generator reactor vessel, then the problem of transfer of heat from the reactor to the boiler would be greatly simplified. A pump would be used to feed water from a storage tank to the boiler.

Kindler, Andrew↗

Fuel-Cell Electrolytes Based on Organosilica Hybrid Proton Conductors

A new membrane composite material that combines an organosilica proton conductor with perfluorinated Nafion material to achieve good proton conductivity and high-temperature performance for membranes used for fuel cells in stationary, transportation, and portable applications has been developed. To achieve high proton conductivities of the order of 10(exp -1)S/cm over a wide range of temperatures, a composite membrane based on a new class of mesoporous, proton-conducting, hydrogen-bonded organosilica, used with Nafion, will allow for water retention and high proton conductivity over a wider range of temperatures than currently offered by Nafion alone. At the time of this reporting, this innovation is at the concept level. Some of the materials and processes investigated have shown good proton conductivity, but membranes have not yet been prepared and demonstrated.

Narayan, Sri R.↗

High-Efficiency Artificial Photosynthesis Using a Novel Alkaline Membrane Cell

A new cell designed to mimic the photosynthetic processes of plants to convert carbon dioxide into carbonaceous products and oxygen at high efficiency, has an improved configuration using a polymer membrane electrolyte and an alkaline medium. This increases efficiency of the artificial photosynthetic process, achieves high conversion rates, permits the use of inexpensive catalysts, and widens the range of products generated by this type of process. The alkaline membrane electrolyte allows for the continuous generation of sodium formate without the need for any additional separation system. The electrolyte type, pH, electrocatalyst type, and cell voltage were found to have a strong effect on the efficiency of conversion of carbon dioxide to formate. Indium electrodes were found to have higher conversion efficiency compared to lead. Bicarbonate electrolyte offers higher conversion efficiency and higher rates than water solutions saturated with carbon dioxide. pH values between 8 and 9 lead to the maximum values of efficiency. The operating cell voltage of 2.5 V, or higher, ensures conversion of the carbon dioxide to formate, although the hydrogen evolution reaction begins to compete strongly with the formate production reaction at higher cell voltages. Formate is produced at indium and lead electrodes at a conversion efficiency of 48 mg of CO2/kilojoule of energy input. This efficiency is about eight times that of natural photosynthesis in green plants. The electrochemical method of artificial photosynthesis is a promising approach for the conversion, separation and sequestration of carbon dioxide for confined environments as in space habitats, and also for carbon dioxide management in the terrestrial context. The heart of the reactor is a membrane cell fabricated from an alkaline polymer electrolyte membrane and catalyst- coated electrodes. This cell is assembled and held in compression in gold-plated hardware. The cathode side of the cell is supplied with carbon dioxide-saturated water or bicarbonate solution. The anode side of the cell is supplied with sodium hydroxide solution. The solutions are circulated past the electrodes in the electrochemical cell using pumps. A regulated power supply provides the electrical energy required for the reactions. Photovoltaic cells can be used to better mimic the photosynthetic reaction. The current flowing through the electrochemical cell, and the cell voltage, are monitored during experimentation. The products of the electrochemical reduction of carbon dioxide are allowed to accumulate in the cathode reservoir. Samples of the cathode solution are withdrawn for product analysis. Oxygen is generated on the anode side and is allowed to vent out of the reservoir.

Narayan, Sri↗

Nanocomposite Photoelectrochemical Cells

Improved, solid-state photoelectrochemical cells for converting solar radiation to electricity have been proposed. (In general, photoelectrochemical cells convert incident light to electricity through electrochemical reactions.) It is predicted that in comparison with state-of-the-art photoelectrochemical cells, these cells will be found to operate with greater solar-to-electric energy-conversion efficiencies.

Narayan, Sri R.↗

Fuel-Cell Power Source Based on Onboard Rocket Propellants

The use of onboard rocket propellants (dense liquids at room temperature) in place of conventional cryogenic fuel-cell reactants (hydrogen and oxygen) eliminates the mass penalties associated with cryocooling and boil-off. The high energy content and density of the rocket propellants will also require no additional chemical processing. For a 30-day mission on the Moon that requires a continuous 100 watts of power, the reactant mass and volume would be reduced by 15 and 50 percent, respectively, even without accounting for boiloff losses. The savings increase further with increasing transit times. A high-temperature, solid oxide, electrolyte-based fuel-cell configuration, that can rapidly combine rocket propellants - both monopropellant system with hydrazine and bi-propellant systems such as monomethyl hydrazine/ unsymmetrical dimethyl hydrazine (MMH/UDMH) and nitrogen tetroxide (NTO) to produce electrical energy - overcomes the severe drawbacks of earlier attempts in 1963-1967 of using fuel reforming and aqueous media. The electrical energy available from such a fuel cell operating at 60-percent efficiency is estimated to be 1,500 Wh/kg of reactants. The proposed use of zirconia-based oxide electrolyte at 800-1,000 C will permit continuous operation, very high power densities, and substantially increased efficiency of conversion over any of the earlier attempts. The solid oxide fuel cell is also tolerant to a wide range of environmental temperatures. Such a system is built for easy refueling for exploration missions and for the ability to turn on after several years of transit. Specific examples of future missions are in-situ landers on Europa and Titan that will face extreme radiation and temperature environments, flyby missions to Saturn, and landed missions on the Moon with 14 day/night cycles.

Ganapathi, Gani↗