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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1976

Investigation of the agricultural resources in Sri Lanka

The author has identified the following significant results. It is observed that LANDSAT data is easily adaptable to photogrammetric techniques. With such adaptations, revision of topographic or thematic maps can be performed at very little cost. Revision of maps up to scale 1:100,000 (or better) can be performed. The LANDSAT image has definite advantages over the standard methods in areas of extensive development where the synoptic view of the LANDSAT image offers the required control in the form of distant mapped data in one frame.

Silva, A. T. M.↗
NASA NTRS1977

Investigation of the agricultural resources in Sri Lanka

The author has identified the following significant results. Several in-house capabilities were developed. The facilities to prepare color composites of excellent quality were developed, using bulk B/W 70 mm transparencies or 1:1,000,000 positive transparencies. These color composites were studied through optical devices on light tables. A zoom transfer scope was also added, enabling direct transfer of LANDSAT composite data on to base maps.

Silva, A. T. M.↗
NASA NTRS1980

Application of the SRI cloud-tracking technique to rapid-scan GOES observations

An automatic cloud tracking system was applied to multilayer clouds associated with severe storms. The method was tested using rapid scan observations of Hurricane Eloise obtained by the GOES satellite on 22 September 1975. Cloud tracking was performed using clustering based either on visible or infrared data. The clusters were tracked using two different techniques. The data of 4 km and 8 km resolution of the automatic system yielded comparable in accuracy and coverage to those obtained by NASA analysts using the Atmospheric and Oceanographic Information Processing System.

Wolf, D. E.↗
NASA NTRS1982

Experiences and perspectives with SRI's tools for software design and validation

Development of tools that include the STP theorem poer and its associated Design Verification Systems; PHIL, a meta-programmable context sensitive structured editor; Pegasus, a system for support of graphical programming; and OBJ, an ultra high level programming language based on rewrite rules and abstract data type is reported.

Goguen, J.↗
NASA NTRS1983

A Formal Semantics for the SRI Hierarchical Program Design Methodology

A formal statement of what it means to use (a subset of) the methodology is presented. It is formally defined that some specified module exists and what it means to say that another module is paid correctly implemented on top of it. No attention is to motivation, either of the methodology or of the formal development of it. Concentration is entirely upon mathematical succinctness and precision. A discussion is presented of how to use certain INTERLISP programs which implement the formal definitions. Among these are a program which generates Floyd like verification conditions sufficient to imply the correctness of a module implementation.

Boyer, R. S.↗
NASA NTRS2003

Supplier Outreach and Process Control (SOPC) and Supplier Rating Initiative (SRI)

The viewgraph presentation presents an overview of NASA's Supplier Outreach and Process Control (SOPC) and Supplier Risk Initiatives. The discussion of the SOPC examines its importance, current groups who are involved, provides a mission statement, and describes outreach activities and how suppliers are selected. The discussion of the Supplier Risk Initiative examines the variety of ways that integrity, availability, and assurance factor in to supplier risk and describes a new supplier rating program.

quality control↗
NASA NTRS2016

Rainfall-Triggered Landslides Bury Sri Lankan Villages

On the afternoon of May 17th, 2016, a major landslide event caused at least 92 deaths, with 109 still missing*. The site was rated highly susceptible to landslides in a new global landslide susceptibility map. GPM precipitation data suggest that both antecedent and current rainfall as well as complex topography played a role in the slope failures.

IMERG↗
DOE OSTI2024

Highly Efficient Regeneration Module for Carbon Capture Systems in NGCC Applications

The objective of this project is to design, fabricate, and test a highly efficient regeneration module capable of providing an ultra-lean absorption solution that is required for capturing CO 2 from dilute sources at 95% or better efficiency. By integrating this advanced regenerator module with SRI International’s Mixed Salt Process (MSP) absorption modules, SRI expects to demonstrate significant progress toward a reduction in cost of capture versus the DOE reference natural gas combined cycle (NGCC) plant with carbon capture. SRI designed, built, and tested an advanced stripper to enhance the performance of SRI’s MSP for CO 2 capture – a transformational ammonia-based solvent technology – for natural gas (NG) power sources. The testing of the advanced stripper for MSP was conducted at an SRI site using a simulated flue gas stream equivalent to about 10 kWe. The research work included modeling of the advanced stripper and integrating it with the MSP absorbers; studying the strategies for producing very highly alkaline lean solvent with minimized emissions; operating the stripper with advanced heat integration to improve process efficiencies; and collecting critically important data for a detailed techno-economic analysis (TEA). The project tasks were designed to address concerns relating to scale-up and integration of the technology to NG power plants—more specifically, to maximize the carbon capture efficiency achievable with MSP and identify pathways to achieve higher capture efficiencies and ultimately zero net carbon emissions. SRI teamed up with a process modeling company (OLI Systems), a process and chemical engineering company (Trimeric Corporation), and a cost-sharing commercial partner (Baker-Hughes – a leading multinational company that designs, manufactures, and services transformative energy technologies) to execute the project. The research findings will accelerate the MSP development and pave the way for the technology to reach the DOE’s goal, and ultimately commercialization of the MSP technology for low-cost CO 2 capture from NGCC flue gas and other dilute CO 2 sources.

03 NATURAL GAS↗
NASA NTRSDate not supplied

Graph Representation Learning for Dengue Forecasting

In 2017, the largest recorded dengue outbreak in Sri Lanka’s history occurred. Since then, dengue has continued to threaten national health across Sri Lanka. The development of an effective Early Warning System (EWS) for dengue outbreaks is essential for Sri Lanka’s Ministry of Health to take preventative measures. We propose the use of Graph Neural Networks as EWS. Using earth observational data from NASAs global satellites and dengue incidence data from Sri Lanka s Ministry of Health, we developed a series of traditional and graph representation EWS to forecast Dengue cases across Sri Lanka’s 25 districts between 2013 and 2022. We demonstrate empirically that Graph Neural Networks which incorporate spatiotemporal relations significantly outperform traditional EWS such as Autoregressive Integrated Moving Average (ARIMA), Random Forest, and Long Short-Term Memory (LSTM). Our source code is available on GitHub and will be provided in the final submission.

Graph Neural Networks↗
NASA NTRS1973

Technology transfer: Transportation

Standard Research Institute (SRI) has operated a NASA-sponsored team for four years. The SRI Team is concentrating on solving problems in the public transportation area and on developing methods for decreasing the time gap between the development and the marketing of new technology and for aiding the movement of knowledge across industrial, disciplinary, and regional boundaries. The SRI TAT has developed a methodology that includes adaptive engineering of the aerospace technology and commercialization when a market is indicated. The SRI Team has handled highway problems on a regional rather than a state basis, because many states in similar climatic or geologic regions have similar problems. Program exposure has been increased to encompass almost all of the fifty states.

Anyos, T.↗
NASA NTRS1993

Telescience capability for the Sondre Stromfjord, Greenland, incoherent-scatter radar facility

SRI International (SRI) operates an upper-atmospheric research facility in Sondre Stromfjord (Sondrestrom), Greenland. In the past, the facility's remote location and limited logistical support imposed constraints on the research that could be carried out at the site. Campaigns involving multiple instruments were often constrained due to limited space, and experiments requiring coordination with other geographically separated facilities, though possible, were difficult. To provide greater access to the facility, an electronic connection between Sondrestrom and the mainland U.S.A. was established, providing access to the National Science Internet. SRI developed telescience software that sends data from the incoherent scatter radar at the Sondrestrom facility to SRI's offices in Menlo Park, California. This software uses the transmission control protocol (TCP/IP) to transmit the data in near real time between the two locations and the X window system to generate displays of the data in Menlo Park. This is in contrast to using the X window system to display data remotely across a wide-area network. Using CP to transport data over the long distance network has resulted in significantly improved network throughput and latency. While currently used to transport radar data, the telescience software is designed and intended for simultaneous use with other instruments at Sondrestrom and other facilities. Work incorporating additional instruments is currently in progress.

Zambre, Yadunath B.↗
NASA NTRS1994

Regular Topologies for Gigabit Wide-Area Networks: Congestion Avoidance Testbed Experiments

This document is Volume 3 of the final technical report on the work performed by SRI International (SRI) on SRI Project 8600. The document includes source listings for all software developed by SRI under this effort. Since some of our work involved the use of ST-II and the Sun Microsystems, Inc. (Sun) High-Speed Serial Interface (HSI/S) driver, we have included some of the source developed by LBL and BBN as well. In most cases, our decision to include source developed by other contractors depended on whether it was necessary to modify the original code. If we have modified the software in any way, it is included in this document. In the case of the Traffic Generator (TG), however, we have included all the ST-II software, even though BBN performed the integration, because the ST-II software is part of the standard TG release. It is important to note that all the code developed by other contractors is in the public domain, so that all software developed under this effort can be re-created from the source included here.

Denny, Barbara A.↗
DOE OSTI2026

CoEx Electrode Structuring for High Energy and Fast Charging Lithium-Ion Batteries

This project was a collaboration between SRI International (SRI) and Oak Ridge National Laboratory (ORNL) focused on advancing SRI’s CoEx technology for printing of battery electrodes with structured porosity, specifically for improving fast charging performance. Prior work funded by the Vehicle Technologies Office (VTO) served as proof-of-concept for CoEx printing, with the scope limited to demonstrating that CoEx structuring in the cathode would improve discharge performance. In that work, a thick cathode was paired with an anode produced through conventional means (i.e. it had no structuring), and the baseline comparison was a cell with conventionally produced cathode and anode of similar loading, along with a lower loaded cell that was intended to represent cells of typical loading. The result of that work showed that the CoEx cells had higher energy density than the thin baseline cells, due to the thicker electrode layers, and had much higher power density than the thick baseline cells at higher discharge rates, because the CoEx cathode had higher performance than the conventional cathode. In this project, we proposed to extend the CoEx technology to structure both the anode and cathode of a lithium ion battery, resulting in at least a 20% increase in energy density under fast charging conditions, while reducing costs by 15% and cutting energy usage during production.

25 ENERGY STORAGE↗
DOE OSTI2026

Employing Machine Learning for New Particle Formation Identification and Mechanistic Analysis: Insights From a Six‐Year Observational Study in the Southern Great Plains

We present a supervised machine learning (ML) framework to automatically identify new particle formation (NPF) events and analyze key atmospheric factors associated with their occurrence and growth. We applied ML to detect NPF events using start time and particle concentrations across size ranges, while identifying atmospheric variables including ambient temperature, relative humidity, solar radiation intensity (SRI), wind speed, wind direction, boundary layer height, total organics, sulfate, nitrate, total surface area concentration, sulfur dioxide, and turbulent kinetic energy (TKE). We analyzed a 6-year data set from the Atmospheric Radiation Measurement at the Southern Great Plains (SGP) site in Oklahoma, USA. Using long-term ground-based measurements, we identified NPF events and applied Random Forest Classifiers, which achieved 90%–95% prediction accuracy. Feature importance analysis highlighted SRI, relative humidity, and ambient temperature as the most influential variables, contributing normalized importances of 28%, 17%, and 10%. Partial Dependence Plots (PDPs) indicated that higher SRI and lower relative humidity were critical in promoting NPF formation at SGP. Seasonally, NPF events were more frequent in winter (42.1%) and spring (35.5%), and least in summer (4.0%). Particle growth rates also exhibited a seasonal variation, with the lowest in winter (below 2 nm hr −1 ) and highest in late spring and early summer (exceeding 5 nm hr −1 ). Temperature, turbulent kinetic energy, and aerosol properties were the primary factors of growth rate variability. This study advances predictive modeling of NPF, offers insights for future campaign deployments, and demonstrates the effectiveness of ML in understanding the formation and growth of atmospheric aerosols.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2020

Report of the Sixth Regional Review Meeting of the Radiological Security Partnership.

The Sri Lanka Atomic Energy Regulatory Commission (AERC) and the United States Department of Energy (U.S. DOE) co-hosted the 6th Regional Review Meeting on Radiological Security involving representatives from over 20 countries, the International Atomic Energy Agency (IAEA), the International Criminal Police Organization (INTERPOL), and the World Institute for Nuclear Security. The purpose of the event was to discuss the implementation of, and plans for, high-activity radioactive source security (RSS). The U.S. DOE’s National Nuclear Security Administration (NNSA) Office of Radiological Security (ORS) fully sponsored this review meeting. Participants were welcomed to Colombo, Sri Lanka, and the meeting was formally opened by Nirmali Karunarathna of the Sri Lanka Atomic Energy Regulator Council who emphasized the strong partnerships among the participants. The opening Ceremony and Lamp Lighting included dignitaries from the sponsoring countries. Robert Hilton, Deputy Chief of Mission at the U.S. Embassy in Colombo, and Kristin Hirsch of the ORS gave other opening remarks that highlighted the social benefit from radiological sources in medicine, industry, and agriculture, while stressing the importance of addressing the risks associated with the malicious use of radiological sources. Emphasis was placed on the importance of partnerships among all the participants to help ensure the success of securing radiological materials throughout the world and the opportunity to share information and experiences. AERC was acknowledged with special thanks for hosting this event. A participant list is included as Attachment A, and the meeting agenda is provided as Attachment B. All presentations were made available to participants. The following sections summarize the meeting’s presentations, discussions, issues, suggestions, and recommendations.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2022

Comparison of Infiltration Test Methods for Soil Health Assessment

Infiltration rate (IR) has been commonly used as a metric to evaluate soil quality and health. For the USDA Soil Quality Test Kit, a 15-cm (6-in) diameter (ID) cylinder is used to measure IR with 444 cm 3 (equivalent to 2.54 cm or 1 in) of water while other standard IR procedures require substantially larger volumes of water. The general objective of this study was to compare different methods for IR measurement. Using three replications, IR measurements were conducted along a 9-m (27-ft) long transect in two different soil types by the double-ring infiltrometer (DRI) using 25- and 50-cm (10-and 20-in, respectively) cylinders, single-ring infiltrometer (SRI) using 25- and 50-cm cylinders, Cornell sprinkle infiltrometer (CSI) using a 24.1-cm (9.5-in) cylinder, the USDA recommended procedure using a 15-cm diameter cylinder (hereafter referred to as USDA-15 method), and a modified USDA method using a 24.1-cm diameter cylinder. Although the USDA-15 method is simple and requires a small amount of water, based on high variability among replications and significant reduction in IR during early stages of water entry into the soil, the procedure does not offer an accurate estimate of the soil infiltration potential. The CSI procedure was reproducible, but it is more cumbersome to perform than other methods. The DRI, SRI, and CSI methods required a much greater volume of water than the USDA-15 method but produced results that are more consistent. The most consistent results were obtained by the CSI and DRI methods. The modified USDA method results were similar to the SRI method and were an improvement over the original USDA-15 method. For assessing soil health, additional investigations should be conducted to evaluate a modified version of the USDA procedure using a larger cylinder.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1995

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗