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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

Regular Topologies for Gigabit Wide-Area Networks

In general terms, this project aimed at the analysis and design of techniques for very high-speed networking. The formal objectives of the project were to: (1) Identify switch and network technologies for wide-area networks that interconnect a large number of users and can provide individual data paths at gigabit/s rates; (2) Quantitatively evaluate and compare existing and proposed architectures and protocols, identify their strength and growth potentials, and ascertain the compatibility of competing technologies; and (3) Propose new approaches to existing architectures and protocols, and identify opportunities for research to overcome deficiencies and enhance performance. The project was organized into two parts: 1. The design, analysis, and specification of techniques and protocols for very-high-speed network environments. In this part, SRI has focused on several key high-speed networking areas, including Forward Error Control (FEC) for high-speed networks in which data distortion is the result of packet loss, and the distribution of broadband, real-time traffic in multiple user sessions. 2. Congestion Avoidance Testbed Experiment (CATE). This part of the project was done within the framework of the DARTnet experimental T1 national network. The aim of the work was to advance the state of the art in benchmarking DARTnet's performance and traffic control by developing support tools for network experimentation, by designing benchmarks that allow various algorithms to be meaningfully compared, and by investigating new queueing techniques that better satisfy the needs of best-effort and reserved-resource traffic. This document is the final technical report describing the results obtained by SRI under this project. The report consists of three volumes: Volume 1 contains a technical description of the network techniques developed by SRI in the areas of FEC and multicast of real-time traffic. Volume 2 describes the work performed under CATE. Volume 3 contains the source code of all software developed under CATE.

Shacham, Nachum↗
NASA NTRS1994

Congestion Avoidance Testbed Experiments

DARTnet provides an excellent environment for executing networking experiments. Since the network is private and spans the continental United States, it gives researchers a great opportunity to test network behavior under controlled conditions. However, this opportunity is not available very often, and therefore a support environment for such testing is lacking. To help remedy this situation, part of SRI's effort in this project was devoted to advancing the state of the art in the techniques used for benchmarking network performance. The second objective of SRI's effort in this project was to advance networking technology in the area of traffic control, and to test our ideas on DARTnet, using the tools we developed to improve benchmarking networks. Networks are becoming more common and are being used by more and more people. The applications, such as multimedia conferencing and distributed simulations, are also placing greater demand on the resources the networks provide. Hence, new mechanisms for traffic control must be created to enable their networks to serve the needs of their users. SRI's objective, therefore, was to investigate a new queueing and scheduling approach that will help to meet the needs of a large, diverse user population in a "fair" way.

Denny, Barbara A.↗
NASA NTRS1997

Advanced Algorithms and High-Performance Testbed for Large-Scale Site Characterization and Subsurface Target Detecting Using Airborne Ground Penetrating SAR

A team of US Army Corps of Engineers, Omaha District and Engineering and Support Center, Huntsville, let Propulsion Laboratory (JPL), Stanford Research Institute (SRI), and Montgomery Watson is currently in the process of planning and conducting the largest ever survey at the Former Buckley Field (60,000 acres), in Colorado, by using SRI airborne, ground penetrating, Synthetic Aperture Radar (SAR). The purpose of this survey is the detection of surface and subsurface Unexploded Ordnance (UXO) and in a broader sense the site characterization for identification of contaminated as well as clear areas. In preparation for such a large-scale survey, JPL has been developing advanced algorithms and a high-performance restbed for processing of massive amount of expected SAR data from this site. Two key requirements of this project are the accuracy (in terms of UXO detection) and speed of SAR data processing. The first key feature of this testbed is a large degree of automation and a minimum degree of the need for human perception in the processing to achieve an acceptable processing rate of several hundred acres per day. For accurate UXO detection, novel algorithms have been developed and implemented. These algorithms analyze dual polarized (HH and VV) SAR data. They are based on the correlation of HH and VV SAR data and involve a rather large set of parameters for accurate detection of UXO. For each specific site, this set of parameters can be optimized by using ground truth data (i.e., known surface and subsurface UXOs). In this paper, we discuss these algorithms and their successful application for detection of surface and subsurface anti-tank mines by using a data set from Yuma proving Ground, A7, acquired by SRI SAR.

Fijany, Amir↗
NASA NTRS2004

Mixed-Initiative Planning and Scheduling for Science Missions

The objective of this joint NASA Ames/JPL/SRI project was to develop mixed-initiative planning and scheduling technology that would enable more effective and efficient planning of science missions. The original intent behind the project was to have all three organizations work closely on the overall research and technology development objectives. Shortly after the project began, however, the Ames and JPL project members made a commitment to develop and field an operational mixed-initiative planning and scheduling tool called MAPGEN for the 2003 Mars Exploration Rover (MER) mission [Ai-Chang et al. 2003]. Because of the tremendous amounts of time and effort that went into making that tool a success, the Ames and JPL personnel were mostly unavailable for collaboration on the joint objectives of the original proposal. Until November of 2002, SRI postponed work on the project in the hope that the Ames and JPL personnel would be able to find time for the planned collaborative research. During discussions between Dr. Karen Myers (the SRI institutional PI) and Dr. John Bresina (the project PI) during November of 2002, it was mutually agreed that SRI should work independently to achieve some of the research objectives for the project. In particular, Dr. Bresina identified explanation of plans and planner behavior as a critical area for research, based on feedback from demonstrating an initial prototype of MAPGEN to the operational community. For that reason, our focus from November of 2002 through the end of the project was on designing explanation methods to address this need.

Myers, Karen L.↗
NASA NTRS2000

Potential pitfalls of strain rate imaging: angle dependency

Strain Rate Imaging (SRI) is a new echocardiographic technique that allows for the real-time determination of myocardial SR, which may be used for the early and accurate detection of coronary artery disease. We sought to study whether SR is affected by scan line alignment in a computer simulation and an in vivo experiment. Through the computer simulation and the in vivo experiment we generated and validated safe scanning sectors within the ultrasound scan sector and showed that while SRI will be an extremely valuable tool in detecting coronary artery disease there are potential pitfalls for the unwary clinician. Only after accounting for these affects due to angle dependency, can clinicians utilize SRI's potential as a valuable tool in detecting coronary artery disease.

NASA Discipline Cardiopulmonary↗
DOE OSTI2025

CACTUS: CO 2 Aerogel Capture Towards Utilization and Sequestration

The CACTUS project aimed to develop a novel solid sorbent and sorption module prototype for direct air capture (DAC) of carbon dioxide, by a moisture-swing adsorption (MSA) mechanism. Because MSA uses changes in humidity, not temperature to switch the sorbent from capturing CO 2 to releasing concentrated CO 2 it is > 4X more energy-efficient than the thermal swing process. The goal was to develop a sorbent with a CO 2 capture capacity of 1 mmol CO 2 /g sorbent (or 0.75 mmol CO 2 /g structured sorbent), at a projected scaled cost of < $\$$15/kg sorbent and demonstration of a path to < $\$$100/ton CO 2 . At the end of the project, we achieved 0.8 mmol CO 2 /g sorbent powders, 0.37 mmol CO 2 /g structured sorbent (50% of target), at a projected cost of $\$$29/kg sorbent and an estimated cost of $\$$160/ton CO 2 . The key innovation was SRI’s patented polymer aerogel synthesis platform, which was adapted to produce a nanoporous aerogel with a high density of CO 2 -adsorbing quaternary ammonium groups. This research discovered a new ammonium polymer sorbent and identified a chemical path for its fabrication. The new process solved the monomer immiscibility challenge encountered with the initial method (ammonium is hydrophilic and the crosslinker is hydrophobic). The team fabricated structured sorbent sheets consisting of a non-woven porous substrate impregnated with ammonium polymer and demonstrated its operation in custom made breakthrough test setup MSA DAC built at SRI, and which operates similarly to the envisioned large-scale CO 2 capture plant, to provide data for techno-economic analysis (TEA). TEA sensitivity analysis indicated that ∼$\$$100/ton CO 2 can be achieved if the target capacity of 0.75 mmol CO 2 /g structured sorbent is met. Also identified routes to decrease sorbent manufacturing cost to ∼$\$$19/kg by reducing amounts and recycling the organic solvents. More work is needed on transitioning process manufacturing from powders (which showed a capacity of up to 0.8 mmol/g sorbent) to structured sheets which showed a capacity of 0.37 mmol CO 2 /g structured sorbent (or 0.44 mmol/g sorbent if one excludes the inert porous substrate). This is likely due to different micro/nano-structure of the sorbent and material processing constraints at the laboratory scale. Sorbent cycling studies (> 100 cycles) are needed to investigate its performance stability over time.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2020

Range-separated stochastic resolution of identity: Formulation and application to second-order Green’s function theory

We develop a range-separated stochastic resolution of identity (RS-SRI) approach for the four-index electron repulsion integrals, where the larger terms (above a predefined threshold) are treated using a deterministic RI and the remaining terms are treated using a SRI. The approach is implemented within a second-order Green’s function formalism with an improved O(N 3 ) scaling with the size of the basis set, N. Moreover, the RS approach greatly reduces the statistical error compared to the full stochastic version [T. Y. Takeshita et al., J. Chem. Phys. 151, 044114 (2019)], resulting in computational speedups of ground and excited state energies of nearly two orders of magnitude, as demonstrated for hydrogen dimer chains and water clusters.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Meteorological and Hydrological Drought Analysis Datasets for Livneh, ClimRR, and TGW

The current dataset contains data upload links to the following SPI & SRI drought analysis data over CONUS: Climate Forcing and Simulation Scenario: Livneh (https://www.nature.com/articles/sdata201542): Historical ClimRR (https://climrr.anl.gov/climrrdata): Historical, Mid-Century, End-Century TGW (https://tgw-data.msdlive.org/): Historical, Mid-Century, End-Century Analysis Period: Vary by Climate Forcing Drought Type: Meteorological (Precipitation) and Hydrological (Runoff) Drought (3-Month SRI) Output Format: NetCDF and CSV Spatial Resolution: 1/16th Degree for NetCDF and HUC4 for CSV Temporal Resolution: Monthly

Tidwell, Vincent C [Pacific Northwest National Lab↗
NASA NTRS1977

Transient response measurements on a satellite system

A set of instruments designed to detect the occurance of electrical breakdown was flown on a synchronous-orbit satellite. The LeRC sensors were installed on cables inside the vehicle. Accordingly, they respond to signals coupled into the satellite wiring system. The SRI sensors were located on the exterior of the vehicle and detected the RF noise pulses associated with surface breakdowns. The results of the earlier SRI program are being used to design and develop a set of intrumentation suitable for inclusion as a general piggy-back package for the detection of the onset of satellite charging and breakdowns on synchronous orbit satellites.

Nanevicz, J. E.↗
NASA NTRS1982

Spectral estimates of solar radiation intercepted by corn canopies

Reflectance factor data were acquired with a Landsat band radiometer throughout two growing seasons for corn (Zea mays L.) canopies differing in planting dates, populations, and soil types. Agronomic data collected included leaf area index (LAI), biomass, development stage, and final grain yields. The spectral variable, greenness, was associated with 78 percent of the variation in LAI over all treatments. Single observations of LAI or greenness have limited value in predicting corn yields. The proportions of solar radiation intercepted (SRI) by these canopies were estimated using either measured LAI or greenness. Both SRI estimates, when accumulated over the growing season, accounted for approximately 65 percent of the variation in yields. Models which simulated the daily effects of weather and intercepted solar radiation on growth had the highest correlations to grain yields. This concept of estimating intercepted solar radiation using spectral data represents a viable approach for merging spectral and meteorological data for crop yield models.

Bauer, M. E.↗
NASA NTRS1983

NASA new technology identification and evaluation

Before disclosure in NASA Tech Briefs, reports of new technology are transmitted to the cognizant NASA Field Center Technology Utilization Office (TUO) where they are evaluated for novelty, technical validity and significance, and nonaerospace utility. If uncertainty exists regarding these criteria, the documentation may be forwarded to SRI International for evaluation before recommending publication. From November 1980 to November 1983, some 3,103 technologies were evaluated by SRI. Activities performed and progress made are summarized.

Lizak, R. M.↗
NASA NTRS1987

Design verification of SIFT

A SIFT reliable aircraft control computer system, designed to meet the ultrahigh reliability required for safety critical flight control applications by use of processor replications and voting, was constructed for SRI, and delivered to NASA Langley for evaluation in the AIRLAB. To increase confidence in the reliability projections for SIFT, produced by a Markov reliability model, SRI constructed a formal specification, defining the meaning of reliability in the context of flight control. A further series of specifications defined, in increasing detail, the design of SIFT down to pre- and post-conditions on Pascal code procedures. Mechanically checked mathematical proofs were constructed to demonstrate that the more detailed design specifications for SIFT do indeed imply the formal reliability requirement. An additional specification defined some of the assumptions made about SIFT by the Markov model, and further proofs were constructed to show that these assumptions, as expressed by that specification, did indeed follow from the more detailed design specifications for SIFT. This report provides an outline of the methodology used for this hierarchical specification and proof, and describes the various specifications and proofs performed.

Moser, Louise↗
NASA NTRS1990

Airborne lidar/radiometric measurements of cirrus cloud parameters and their application to LOWTRAN radiance evaluations

SRI has assembled an airborne lidar/radiometric instrumentation suite for mapping cirrus cloud distribution and analyzing cirrus cloud optical properties. Operation of upward viewing infrared radiometers from an airborne platform provides the optimum method of measuring high altitude cold cloud radiative properties with minimum interference from the thermal emission by the earth's surface and lower atmospheric components. Airborne installed sensors can also operate over large regional areas including water, urban, and mountain surfaces and above lower atmospheric convective clouds and haze layers. Currently available sensors installed on the SRI Queen Air aircraft are illustrated. Lidar and radiometric data records are processed for real time viewing on a color video screen. A cirrus cloud data example is presented as a black and white reproduction of a color display of data at the aircraft altitude of 12,000 ft, the 8 to 14 micron atmospheric radiation background was equivalent to a blackbody temperature of about -60 C and, therefore, the radiometer did not respond strongly to low density cirrus cloud concentrations detected by the lidar. Cloud blackbody temperatures (observed by radiometer) are shown plotted against midcloud temperatures (derived from lidar observed cloud heights and supporting temperature profiles) for data collected on 30 June and 28 July.

Uthe, Edward E.↗
NASA NTRS1993

Crisis action planning and replanning using SIPE-2

Rome Laboratory and DARPA are jointly sponsoring an initiative to develop the next generation of AI planning and scheduling technology focused on military operations planning, especially for crisis situations. SRI International has demonstrated their knowledge-based planning technology in this domain with a system called SOCAP, System for Operations Crisis Action Planning. SOCAP's underlying power comes from SIPE-2, a hierarchical, domain-independent, nonlinear AI planner also developed at SRI. This paper discusses the features of SIPE-2 that made it an ideal choice for military operations planning and which contributed greatly to SOCAP's success.

Skidmore, Jennifer D.↗
NASA NTRS1993

Outgassing Data for Selecting Spacecraft Materials

This tenth compilation of outgassing data of materials intended for spacecraft use supersedes Reference Publication 1124, Revision 2, November 1990. The data were obtained at the Goddard Space Flight Center (GSFC), utilizing equipment developed at Stanford Research Institute (SRI) under contract to the Jet Propulsion Laboratory (JPL). SRI personnel developed an apparatus for determining the mass loss in vacuum and for collecting the outgassed products. The outgassing data have been presented in three different ways in order to facilitate material selection. In Section A, the materials are divided by category into the 18 probable uses, such as adhesives, greases, paints, potting compounds, and so forth. In Section B, all the materials contained in Section A are listed in alphabetical order by the manufacturer's identification. In Section C, the only materials listed are those having 'Total Mass Loss' (TML) and Collected Volatile Condensable Materials (CVCM) equal to or lower than a maximum 1.0 percent TML and a maximum 0.10 percent CVCM. These are grouped by use, as in Section A.

Campbell, William A., Jr.↗
NASA NTRS1993

A Report on Stochastic Fairness Queueing (SFQ) Experiments

SRI International (SRI) has developed an improved queueing algorithm, known as Stochastic Fairness Queueing (SFQ), for best-effort traffic (i.e., traffic that does not require any guaranteed service). SFQ is a probablistic variant of strict fair queueing where instead of a single queue being allocated per flow, a fixed number of queues are used and a hash function maps the IP source and destination to a particular queue. A seed to the hash function is also perturbed occasionally to help distribute the flows amongst different queues when more than one flow maps to the same queue during the lifetime of the flow. SFQ provides 'fair' access by trying to ensure that each flow from source to destination host obtains equal access to the available bandwidth. This report covers a series of experiments performed on DARTnet evaluating the behavior and performance of SFQ against a FIFO queueing discipline. These experiments were designed to show SFQ's advantages and performance, and include tests demonstrating: Fair utilization of available resources; Starvation prevention; Graceful degradation under overload conditions; and Resource usage. In general, the experiments do show that SFQ is better than FIFO queueing at allocating bandwidth equally among a set of flows. SFQ also prevents a stream from dominating the available bandwidth, which seems to be a tendency with FIFO queueing (i.e., if a flow demands more than its share of the available bandwidth, with FIFO queueing that stream receives a disproportionate amount when compared to flows demanding less than their share). Furthermore, SFQ seems to reward 'nice' users of the network by providing a lower variance in delay and more throughput when their resource demand is less than their available share. Both SFQ and FIFO queueing seem to degrade fairly well as the network becomes saturated and to recover well as the network becomes less congested. Not unexpectedly, FIFO queueing is a little more efficient than SFQ-the delays are less and the throughput slightly higher because SFQ requires more processing. However, the performance difference between the two queueing disciplines is relatively small. However, the experiments do point out some interesting behavior. FIFO queueing can behave better than SFQ with seed perturbation. We recommend further evaluation of the hash function and the seed perturbation technique. There are probably weaknesses in their current selection that cause this unexpected behavior. SFQ also seems to possess good scaling properties. To verify this, more experiments with a larger number of streams from more hosts need to be executed and examined, including the staggered introduction of streams. Staggering the streams may prove important, because graphs in the degradation experiment revealed some unexpected increases and decreases in throughput, which should be examined. This may again be due to the interaction of the hash function with the seed perturbation but it may also be related to some other unknown problem.

Denny, Barbara A.↗
NASA NTRS1998

Instrumentation for Aerosol and Gas Speciation

Using support from NASA Grant No. NAG 2-963, SRI International successfully completed the project, entitled, 'Instrumentation for Aerosol and Gas Speciation.' This effort (SRI Project 7383) covered the design, fabrication, testing, and deployment of a real-time aerosol speciation instrument in NASA's DC-8 aircraft during the Spring 1996 SUbsonic aircraft: Contrail and Cloud Effects Special Study (SUCCESS) mission. This final technical report describes the pertinent details of the instrument design, its abilities, its deployment during SUCCESS and the data acquired from the mission, and the post-mission calibration, data reduction, and analysis.

Coggiola, Michael J.↗
NASA NTRS1998

Cooperation Among Theorem Provers

This is a final report, which supports NASA's PECSEE (Persistent Cognizant Software Engineering Environment) effort and complements the Kestrel Institute project "Inference System Integration via Logic Morphism". The ultimate purpose of the project is to develop a superior logical inference mechanism by combining the diverse abilities of multiple cooperating theorem provers. In many years of research, a number of powerful theorem-proving systems have arisen with differing capabilities and strengths. Resolution theorem provers (such as Kestrel's KITP or SRI's, SNARK) deal with first-order logic with equality but not the principle of mathematical induction. The Boyer-Moore theorem prover excels at proof by induction but cannot deal with full first-order logic. Both are highly automated but cannot accept user guidance easily. The PVS system (from SRI) in only automatic within decidable theories, but it has well-designed interactive capabilities: furthermore, it includes higher-order logic, not just first-order logic. The NuPRL system from Cornell University and the STeP system from Stanford University have facilities for constructive logic and temporal logic, respectively - both are interactive. It is often suggested - for example, in the anonymous "QED Manifesto"-that we should pool the resources of all these theorem provers into a single system, so that the strengths of one can compensate for the weaknesses of others, and so that effort will not be duplicated. However, there is no straightforward way of doing this, because each system relies on its own language and logic for its success. Thus. SNARK uses ordinary first-order logic with equality, PVS uses higher-order logic. and NuPRL uses constructive logic. The purpose of this project, and the companion project at Kestrel, has been to use the category-theoretic notion of logic morphism to combine systems with different logics and languages. Kestrel's SPECWARE system has been the vehicle for the implementation.

Waldinger, Richard J.↗