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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3

All sources NASA NTRS DOE OSTI

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.↗

NASA NTRS2000

Case Study Analyses of the Success DC-8 Scanning Lidar Database

Uthe, Edward E.↗

NASA NTRS2000

Case Study Analyses of the SUCCESS DC-8 Scanning Lidar Database

Under project SUCCESS (Subsonic Aircraft Contrail and Cloud Effects Special Study) funded by the Atmospheric Effects of Aviation Program, SRI International (SRI) developed an angular scanning backscatter lidar for operation on the NASA DC-8 research aircraft and deployed the scanning lidar during the SUCCESS field campaign. The primary purpose of the lidar was to generate real-time video displays of clouds and contrails above, ahead of, and below the DC-8 as a means to help position the aircraft for optimum cloud and contrail sampling by onboard in situ sensors, and to help extend the geometrical domain of the in situ sampling records. A large, relatively complex lidar database was collected and several data examples were processed to illustrate the value of the lidar data for interpreting the other data records collected during SUCCESS. These data examples were used to develop a journal publication for the special SUCCESS Geophysical Research Letters issue. The data examples justified data analyses of a larger part of the DC-8 lidar database and is the objective of the current study. Efficient processing of the SUCCESS DC-8 scanning lidar database required substantial effort to enhance hardware and software components of the data system that was used for the initial analyses. MATLAB instructions are used to generate altitude and distance color-coded lidar displays corrected for effects introduced by aircraft pitch and forward movement during an angular scan time interval. Onboard in situ sensor atmospheric measurements are propagated to distances ahead of the DC-8 using recorded aircraft velocity so that they can be plotted on the lidar displays for comparison with lidar remotely observed aerosol distributions. Resulting lidar and in situ sensor polar scan displays over extended sampling intervals are integrated into a time series movie format for 36 case studies. Contrails and clouds were detected to ranges of 15 km by the forward-viewing angular scanning lidar and were progressively mapped as the aircraft approached and penetrated them. Near aircraft lidar observations were much better correlated with in situ sensor observations than lidar observations at greater distances ahead of the aircraft. The major cause of this difference was thought to be the about 2 deg. offset of the lidar viewing direction from the flight direction. Contrail spatial distributions were not of the quality obtainable from ground-based lidar observations. This results because contrails tend to become horizontally stratified, vertical distance between angular lidar observations increases with increased distance from the aircraft, and erratic aircraft motions during an angular scan. The most useful lidar observations were made with lidar viewing directions of vertically upward or vertically downward. These provided real-time information on aircraft altitudes to achieve optimum in situ cloud and contrail sampling. At sampling altitudes, the forward viewing angular scanning observations were useful for fine-tuning the aircraft altitude for cloud and contrail penetration. Best information on cloud and contrail properties were obtained from vertically directed lidar observations as the aircraft performed a series of upward and downward penetrations of contrails. This operational mode was especially well suited for lidar and radiometric evaluation of cloud and contrail optical and radiative properties. The vertical viewing lidar detected ice crystals thought to be precipitating from an aircraft contrail and their scavenging by a cirrus cloud layer. The lidar display indicates that the crystals are effective for increasing cirrus cloud density. Vertical angular scanning observations can evaluate the sharp decrease in lidar backscatter for small off-vertical viewing directions that result from horizontally aligned ice crystals and perhaps can provide additional information on crystal shapes. The about 2 deg. offset of the lidar viewing direction from the flight direction is thought to have greatly degraded the forward-viewing angular scanning observations and this mode of operation was not fully evaluated. However, the reasoning for this capability remains valid and the angular scan presentations collected during this program justifies modification of the lidar pod for true forward direction lidar viewing during future cloud and contrail studies.

Uthe, Edward E.↗

NASA NTRS2002

Improved Open-Microphone Speech Recognition

Many current and future NASA missions make extreme demands on mission personnel both in terms of work load and in performing under difficult environmental conditions. In situations where hands are impeded or needed for other tasks, eyes are busy attending to the environment, or tasks are sufficiently complex that ease of use of the interface becomes critical, spoken natural language dialog systems offer unique input and output modalities that can improve efficiency and safety. They also offer new capabilities that would not otherwise be available. For example, many NASA applications require astronauts to use computers in micro-gravity or while wearing space suits. Under these circumstances, command and control systems that allow users to issue commands or enter data in hands-and eyes-busy situations become critical. Speech recognition technology designed for current commercial applications limits the performance of the open-ended state-of-the-art dialog systems being developed at NASA. For example, today's recognition systems typically listen to user input only during short segments of the dialog, and user input outside of these short time windows is lost. Mistakes detecting the start and end times of user utterances can lead to mistakes in the recognition output, and the dialog system as a whole has no way to recover from this, or any other, recognition error. Systems also often require the user to signal when that user is going to speak, which is impractical in a hands-free environment, or only allow a system-initiated dialog requiring the user to speak immediately following a system prompt. In this project, SRI has developed software to enable speech recognition in a hands-free, open-microphone environment, eliminating the need for a push-to-talk button or other signaling mechanism. The software continuously captures a user's speech and makes it available to one or more recognizers. By constantly monitoring and storing the audio stream, it provides the spoken dialog manager extra flexibility to recognize the signal with no audio gaps between recognition requests, as well as to rerecognize portions of the signal, or to rerecognize speech with different grammars, acoustic models, recognizers, start times, and so on. SRI expects that this new open-mic functionality will enable NASA to develop better error-correction mechanisms for spoken dialog systems, and may also enable new interaction strategies.

Abrash, Victor↗

NASA NTRS1993

Satellite Radar Interferometry for Monitoring Ice-Sheet Motion: Application to an Antarctic Ice Stream

As a new means of monitoring the flow velocities and grounding-line positions of ice streams, which are indicators of response of the Antarctic and Greenland ice sheets to climatic change or internal instability, the method of satellite radar interferometry (SRI) is here proposed and applied to the Rutford Ice Stream, Antarctica. The method uses phase comparison of the radar signal obtained for a pair of SAR images taken a few days apart to plot an interferogram which directly displays relative ground motions that have occurred in the time interval between images. The detection limit is about 1.5 mm for vertical motions and about 4 mm for horizontal motions in the radar beam direction. In the Rutford Ice Stream, SRI velocities agree fairly well with earlier ground-truth data over a longitudinal interval of 29 km; the comparison suggests a secular decrease in velocity of about 2 percent from 1978-80 to 1992...

Goldstein, R. M.↗

NASA NTRS1993

Satellite Radar Interferometry for Monitoring Ice-Sheet Motion: Application to an Antarctic Ice Stream

Goldstein, R. M.↗

NASA NTRS2015

Integrated Assessments of the Impact of Climate Change on Agriculture: An Overview of AgMIP Regional Research in South Asia

South Asia encompasses a wide and highly varied geographic region, and includes climate zones ranging from the mountainous Himalayan territory to the tropical lowland and coastal zones along alluvial floodplains. The region's climate is dominated by a monsoonal circulation that heralds the arrival of seasonal rainfall, upon which much of the regional agriculture relies. The spatial and temporal distribution of this rainfall is, however, not uniform over the region. Northern South Asia, central India, and the west coast receive much of their rainfall during the southwest monsoon season, between June and September. These rains partly result from the moisture transport accompanying the monsoonal winds, which move in the southwesterly direction from the equatorial Indian Ocean. Regions further south, such as south/southeast India and Sri Lanka, may receive rains from both the southwest monsoon, and also during the northeast monsoon season between October and December (with northeasterly monsoon wind flow and moisture flux), which results in a bi- or multi-modal rainfall distribution. In addition, rainfall across South Asia displays a large amount of intraseasonal and interannual variability. Interannual variability is influenced by many drivers, both natural (e.g., El Ni-Southern Oscillation; ENSO) and man-made (e.g., rising temperatures due to increasing greenhouse gas concentrations), and it is challenging to obtaining accurate time-series of annual rainfall, even amongst various observed data products, which display inconsistencies amongst themselves. These climatic and rainfall variations can further complicate South Asia's agricultural and water management. Agriculture employs at least 65 of the workforce in most South Asian countries, and nearly 80 of South Asia's poor inhabit rural areas. Understanding the response of current agricultural production to climate variability and future climate change is of utmost importance in securing food and livelihoods for South Asia's growing population. In order to assess the future of food and livelihood security across South Asia, the Agricultural Model Intercomparison and Improvement Project (AgMIP) has undertaken integrated climate-crop-economic assessments of the impact of climate change on food security and poverty in South Asia, encompassing Bangladesh, India, Nepal, Pakistan, and Sri Lanka. AgMIP has funded, on a competitive basis, four South Asian regional research teams (RRTs) and one South Asian coordination team (CT) to undertake climate-crop-economic integrated assessments of food security for many districts in each of these countries, with the goal of characterizing the state of food security and poverty across the region, and projecting how these are subject to change under future climate change conditions.

mountains↗

NASA NTRSDate not supplied

Natural Language Processing for Extracting Rich Disease Data Aligned To Satellite Meteorological Data

Global climate change is redefining our understanding of how diseases spread. In Sri Lanka, vector-borne diseases such as dengue fever, encephalitis, and leptospirosis historically surged during the monsoon seasons when temperatures were high enough for mosquito eggs to hatch. Unfortunately, due to rising temperatures and more erratic rainfall patterns, mosquito eggs can now hatch year-round and are increasingly unpredictable, leading to an alarmingly increasing number of hospitalizations and deaths. More data is needed to adapt our response to these diseases in an increasingly warmer world. In the contemporary landscape, a wealth of disease information is available, yet accessibility remains limited due to unstructured data formats such as PDFs. Therefore, converting unstructured disease reports into structured formats is necessary for effectively leveraging data. This paper introduces a comprehensive framework for collecting unstructured disease reports and transforming them into analyzable formats. By creating separate models tailored to each data format, we can ensure accuracy compared to general models. These straightforward models enhance accessibility and empower other researchers to use our tools. The returned structured data can then be harnessed for analysis, statistical purposes, and informing evidence-based public health interventions, thus facilitating more informed decision-making in healthcare. We deploy this framework to produce geospatial data for Sri Lanka and Brazil for many different conditions and align these data with satellite environmental data, providing for the first time a structured, aligned powerful dataset for disease modeling.

Open Source Open Science↗

NASA NTRS1973

Estuarine and coastal water dynamics controlling sediment movement and plume development in Long Island Sound

The author has identified the following significant results. As the Connecticut River flows into Long Island Sound, large plumes develop during the mixing of ocean and estuarine waters. Plumes were delineated for July 28, October 8, October 27, and December 2, 1972, by analyzing ERTS-1 imagery with the SRI Electronic Satellite Image Analysis Console (ESIAC). Because the chemical and physical composition of the plume and ocean water were not too different, the ESIAC was utilized to expand the scenes and subject the transparencies to varying combinations of viewing techniques to identify and delineate the plumes. Best results were obtained when band 5 transparencies were used. Indications are, when the scene being analyzed is predominantly in the first two steps of the gray scale, it is best to use the negative transparencies. When the analysis is being done above the first two steps of the gray scale, it is best to use the positive transparencies.

Ruggles, F. H., Jr.↗

NASA NTRS1973

Plume development in Long Island Sound observed by remote sensing (ERTS-1)

As the Connecticut River flows into Long Island Sound, large plumes are developed during the mixing of ocean and estuarine waters. Plumes were delineated for July 28, October 8, October 27, and December 2, 1972, by analyzing ERTS-1 imagery with the SRI electronic satellite image analysis console (ESIAC). Insertion of MSS band 5 into the ESIAC produced the best result in this analysis. The four plumes that have been delineated provide the first input to a time-lapse analysis of circulation patterns at the eastern end of Long Island Sound.

Ruggles, F. H., Jr.↗

NASA NTRS1979

Formal methods for achieving reliable software

Requirements for reliable avionic systems are discussed in terms of the effectiveness of programming methodology. The need for methods to cope with the complexity of critical real-time systems is emphasized. Some general concepts about formal methods are presented and an example is given of the SRI hierarchical development methodology taken from the executive system of the SIFT fault tolerant computer. Formal methods with alternatives are compared and the prospects for introducing formal methods into practice are considered.

Goldberg, J.↗

NASA NTRS1979

Development program on a cold cathode electron gun

A prototype electron gun with a field emitter cathode capable of producing 95 mA in a 1/4 mm diameter beam at 12 kV was produced. Achievement of this goal required supporting studies in cathode fabrication, cathode performance, gun design, cathode mounting and gun fabrication. A series of empirical investigations advanced fabrication technology: More stable emitters were produced and multiple cone failure caused by chain reaction discharges were reduced. The cathode is capable of producing well over 95 mA, but a substantial collector development effort was required to demonstrate emission levels in the 100 mA region. Space charge problems made these levels difficult to achieve. Recommendations are made for future process and materials investigation. Electron gun designs were modeled and tested. A pair of two-electrode gun structures were fabricated and tested; one gun was delivered to NASA. Cathodes were pretested up to 100 mA at SRI and delivered to NASA for test in the gun structure.

Spindt, C. A.↗

NASA NTRS1980

Biomedical technology transfer. Applications of NASA science and technology

Ongoing projects described address: (1) intracranial pressure monitoring; (2) versatile portable speech prosthesis; (3) cardiovascular magnetic measurements; (4) improved EMG biotelemetry for pediatrics; (5) ultrasonic kidney stone disintegration; (6) pediatric roentgen densitometry; (7) X-ray spatial frequency multiplexing; (8) mechanical impedance determination of bone strength; (9) visual-to-tactile mobility aid for the blind; (10) Purkinje image eyetracker and stabilized photocoalqulator; (11) neurological applications of NASA-SRI eyetracker; (12) ICU synthesized speech alarm; (13) NANOPHOR: microelectrophoresis instrument; (14) WRISTCOM: tactile communication system for the deaf-blind; (15) medical applications of NASA liquid-circulating garments; and (16) hip prosthesis with biotelemetry. Potential transfer projects include a person-portable versatile speech prosthesis, a critical care transport sytem, a clinical information system for cardiology, a programmable biofeedback orthosis for scoliosis a pediatric long-bone reconstruction, and spinal immobilization apparatus.

Harrison, D. C.↗

NASA NTRS1982

Modeling of vegetation canopy reflectance: Status, issues and recommended future strategy

Various technical issues related to mapping of vegetative type, condition and stage of maturity, utilizing remotely sensed spectral data are reviewed. The existing knowledge base of models, especially of radiative properties of the vegetation canopy and atmosphere, is reviewed to establish the state of the art for addressing the problem of vegetation mapping. Activities to advance the state of the art are recommended. They include working on canopy reflectance and atmospheric scattering models, and field measurements of canopy reflectance as well as of canopy components. Leaf area index (LAI) and solar radiation interception (SRI) are identified as the two most important vegetation variables requiring further investigation. It is recommended that activities related to sensing them or understanding their relationships with measurable variables, should be encouraged and supported.

Goel, N. S.↗