Search NASA⌕ Search

SEARCH · Search NASA

Results for “application example”

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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Detection of global state predicates

The problem addressed here arises in the context of Meta: how can a set of processes monitor the state of a distributed application in a consistent manner? For example, consider the simple distributed application as shown here. Each of the three processes in the application has a light, and the control processes would each like to take an action when some specified subset of the lights are on. The application processes are instrumented with stubs that determine when the process turns its lights on or off. This information is disseminated to the control processes, each of which then determines when its condition of interest is met. Meta is built on top of the ISIS toolkit, and so we first built the sensor dissemination mechanism using atomic broadcast. Atomic broadcast guarantees that all recipients receive the messages in the same order and that this order is consistent with causality. Unfortunately, the control processes are somewhat limited in what they can deduce when they find that their condition of interest holds.

Marzullo, Keith↗
NASA NTRS2004

Survey of Software Assurance Techniques for Highly Reliable Systems

This document provides a survey of software assurance techniques for highly reliable systems including a discussion of relevant safety standards for various industries in the United States and Europe, as well as examples of methods used during software development projects. It contains one section for each industry surveyed: Aerospace, Defense, Nuclear Power, Medical Devices and Transportation. Each section provides an overview of applicable standards and examples of a mission or software development project, software assurance techniques used and reliability achieved.

Nelson, Stacy↗
NASA NTRS2010

Visual Data Comm: A Tool for Visualizing Data Communication in the Multi Sector Planner Study

Data comm is a new technology proposed in future air transport system as a potential tool to provide comprehensive data connectivity. It is a key enabler to manage 4D trajectory digitally, potentially resulting in improved flight times and increased throughput. Future concepts with data comm integration have been tested in a number of human-in-the-loop studies but analyzing the results has proven to be particularly challenging because future traffic environment in which data comm is fully enabled has assumed high traffic density, resulting in data set with large amount of information. This paper describes the motivation, design, current and potential future application of Visual Data Comm (VDC), a tool for visualizing data developed in Java using Processing library which is a tool package designed for interactive visualization programming. This paper includes an example of an application of VDC on data pertaining to the most recent Multi Sector Planner study, conducted at NASA s Airspace Operations Laboratory in 2009, in which VDC was used to visualize and interpret data comm activities

Lee, Hwasoo Eric↗
NASA NTRS1979

Optimal singular control with applications to trajectory optimization

The switching conditions are expressed explicitly in terms of the derivatives of the Hamiltonians at the two ends of the switching. A new expression of the Kelley-Contensou necessary condition for the optimality of a singular arc is given. Some examples illustrating the application of the theory are presented.

Vinh, N. X.↗
NASA NTRS1980

An application of software design and documentation language

The software design and documentation language (SDDL) is a general purpose processor to support a lanugage for the description of any system, structure, concept, or procedure that may be presented from the viewpoint of a collection of hierarchical entities linked together by means of binary connections. The language comprises a set of rules of syntax, primitive construct classes (module, block, and module invocation), and language control directives. The result is a language with a fixed grammar, variable alphabet and punctuation, and an extendable vocabulary. The application of SDDL to the detailed software design of the Command Data Subsystem for the Galileo Spacecraft is discussed. A set of constructs was developed and applied. These constructs are evaluated and examples of their application are considered.

Callender, E. D.↗
NASA NTRS2010

Supporting the Use of Unmanned Aircraft Systems(UAS) for Global Science Observations in Civil and Segregated Airspace

Unmanned Aircraft Systems (UAS) are growing more popular within the earth science community as a way to augment measurements currently made with manned aircraft. UAS arc uniquely suited for applications that require long dwell times and/or in locations that are generally too dangerous for manned aircraft. Environmental monitoring in areas like the Arctic or obtaining data within a hurricane are just a couple of examples of many applications to which UAS are ideally suited. However, UAS are not without their challenges. Most unmanned aircraft are unable to meet current airspace regulations that are in place for manned aircraft, and specific airspace standards and regulations for unmanned aircraft do not exist. As a result, gaining access to civil airspace for flights is very difficult around the world. Under Term of Reference 48 within the ISPRS Commission 1, WGI/I: Standardization of Aircraft Interfaces, efforts have been made to understand and quantify the current state of UAS airspace access on a global scale. The results of these efforts will be presented along with examples of successful science missions that have been conducted internationally during the past year.

Mulac, B. L.↗
NASA NTRS1974

Application of antiresonance theory to helicopters

Antiresonance theory is the principle underlying nonresonant nodes in a structure, and covers both nonresonant nodes occurring naturally and those introduced by devices such as dynamic absorbers and antiresonant isolators. The dynamic antiresonant vibration isolator (DAVI) and the nodale module are examples of the applications of transfer antiresonances. It is shown that antiresonances are eigenvalues, and that they can be determined by matrix iteration. Applications of antiresonance theory to helicopter engineering problems, using the antiresonant eigenvalue equation are suggested.

Bartlett, F. D., Jr.↗
NASA NTRS1981

Identification and evaluation of software measures

A large scale, systematic procedure for identifying and evaluating measures that meaningfully characterize one or more elements of software development is described. The background of this research, the nature of the data involved, and the steps of the analytic procedure are discussed. An example of the application of this procedure to data from real software development projects is presented. As the term is used here, a measure is a count or numerical rating of the occurrence of some property. Examples of measures include lines of code, number of computer runs, person hours expended, and degree of use of top down design methodology. Measures appeal to the researcher and the manager as a potential means of defining, explaining, and predicting software development qualities, especially productivity and reliability.

Card, D. N.↗
NASA NTRS1985

Aerospace applications of PMR polyimide composites

The current status of the novel class of processable, addition-type polyimides known as PMR (for in situ polymerization of monomer reactants) polyimides, developed by NASA at the Lewis Research Center, is reviewed. Highlights of PMR technology studies conducted at NASA Lewis are presented. Several examples of industrial applications of PMR-15 polyimide composites to aerospace structural components are examined.

Serafini, T. T.↗
NASA NTRS1995

(abstract) Recent Developments in Active Microwave Systems at JPL

This paper provides an overview of some of the recent developments in active microwave systems at JPL. The first section summarizes the engineering and scientific results that were obtained from the two recent flights of the Spaceborne Imaging Radar-C/X-band Synthetic Aperture Radar (SIR-C/X-SAR) on the Shuttle Endeavor. Specific examples of the applications of these data to various scientific disciplines will be discussed. The second section of the paper describes the recent progress in the development of an interferometric SAR system for high-resolution digital topography mapping. Examples of measurements from this technique over areas with earthquakes will be shown. The final section of the paper addresses development of meteorological radars for rain and cloud measurements. The design of an airborne rain mapping radar that was developed to support the Tropical Rain Measuring Mission is summarized. The technical design challenges for this high-frequency radar system will be described.

radar↗
NASA NTRS1973

Application of NASA ERTS-1 satellite imagery in coastal studies

There are no author-identified significant results in this report. Review of ERTS-1 imagery indicates that it contains information of great value in coastal engineering studies. A brief introduction is given to the methods by which imagery is generated, and examples of its application to coastal engineering. Specific applications discussed include study of the movement of coastal and nearshore sediment-laden water masses and information for planning and construction in remote areas of the world.

Magoon, O. T.↗
DOE OSTI2025

Controlled gate networks: theory and application to eigenvalue estimation

We introduce a new scheme for quantum circuit design called controlled gate networks. Rather than trying to reduce the complexity of individual unitary operations, the new strategy is to toggle between all of the unitary operations needed with the fewest number of gates. We present the general theory of controlled gate networks and show that, under quite general conditions, it can significantly reduce the number of two-qubit gates needed to produce linear combinations of unitary operators. The first example we consider is a variational subspace calculation for a two-qubit system. The second example is estimating the eigenvalues of a two-qubit Hamiltonian via the rodeo algorithm (Choi et al. in Phys Rev Lett 127(4):040505, 2021. https://doi.org/10.1103/PhysRevLett.127.040505) using operators that we call controlled reversal gates. We use the Quantinuum H1-2 and IBM Perth devices to realize the quantum circuits. The third example is the application of controlled gate networks to the controlled time evolution of a free nucleon on a three-dimensional lattice. For all of the examples, we show very substantial reductions in the number of two-qubit gates required. Our work demonstrates that controlled gate networks are a useful tool for reducing gate complexity in quantum algorithms for quantum many-body problems such as those relevant to nuclear physics.

Bee-Lindgren, Max [Georgia Institute of Technology↗
NASA NTRS1991

Concept of nondestructive evaluation

The history of nondestructive evaluation, a recently evolved basic testing philosophy, and some application of NDE are examined with emphasis on aerospace applications. The discussion covers the definition of NDE, chronological development, NDE methods and systems, the use of NDE for process control, NDE for ceramics and composites, NDE for fracture control in glass, and science aspects of NDE. Specific examples of NDE applications are given.

Chern, E. J.↗
NASA NTRS1974

A summary of ERTS data applications in Alaska

ERTS has proven to be an exceedingly useful tool for the preparation of urgently needed resource surveys in Alaska. For this reason the wide utilization of ERTS data by federal, state and industrial agencies in Alaska is increasingly directed toward the solution of operational problems in resource inventories, environmental surveys, and land use planning. Examples of some applications are discussed in connection with surveys of potential agricultural lands; mapping of predicted archaeological sites; permafrost terrain and aufeis mapping; snow melt enhancement from Prudhoe Bay roads; geologic interpretations correlated ith possible new petroleum fields, with earthquake activity, and with plate tectonic motion along the Denali fault system; hydrology in monitoring surging glaciers and the break-up characteristics of the Chena River watershed; sea-ice morphology correlated with marine mammal distribution; and coastal sediment plume circulation patterns.

Miller, J. M.↗
NASA NTRS1973

Study of application of ERTS-A imagery to fracture-related mine safety hazards in the coal mining industry

The author has identified the following significant results. The Mined Land Inventory map of Pike, Gibson, and Warrick Counties, Indiana, prepared from ERTS-1 imagery, was included in the 1973 Annual Report of the President's Council on Environmental Quality as an example of ERTS applications to mined lands. Increasing numbers of inquiries have been received from coal producing states and coal companies interested in the Indiana Program.

Wier, C. E.↗
NASA NTRS1992

Applications of the Analytical Electron Microscope to Materials Science

In the last 20 years, the analytical electron microscope (AEM) as allowed investigators to obtain chemical and structural information from less than 50 nanometer diameter regions in thin samples of materials and to explore problems where reactions occur at boundaries and interfaces or within small particles or phases in bulk samples. Examples of the application of the AEM to materials science problems are presented in this paper and demonstrate the usefulness and the future potential of this instrument.

Goldstein, J. I.↗
NASA NTRS1974

Applications of ERTS data to resource surveys of Alaska

ERTS data affords a unique opportunity to perform urgently needed resource surveys and land use planning at a critical juncture in the history of Alaska's social and economic development. The available facilities for photographic, optical and digital processing of ERTS data are described, along with the interpretive techniques which have been developed. Examples of the applications of these facilities and techniques are given for three environmental disciplines: vegetation mapping for potential archeological sites; marine and sea ice surveys on the Alaskan continental shelf for the determination of surface circulation and sedimentation patterns and their effects on navigation, pollution assessment, fisheries, location of habors and construction of off-shore structures; snow surveys for inventories of water resources and flood potential in Alaska watersheds.

Belon, A. E.↗