Search NASA⌕ Search

SEARCH · Search NASA

Results for “Hierarchical”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Hierarchical Screening for Li-Based Solid Electrolytes Using Fast, Interpretable Machine-Learned Potentials

Li-based solid-state electrolyte materials enable safer, all-solid-state batteries but the computational search for candidates with favorable stability and Li-ion conductivity is challenging due to the size of the search space and the cost of evaluating transport properties with ab initio methods. The prohibitive cost of high-throughput screening with DFT has lead to the development of surrogate models using geometric analysis, empirical potentials, and descriptors for ionic transport. Here, I will discuss a hierarchical screening approach for identifying promising materials using a combination of density functional theory, bond-valence methods, and machine learning potentials generated with the Ultra-Fast Force Fields (UF3) framework. We show how the inexpensive bond-valence method can be used to guide the generation of training samples for machine learning, in addition to filtering candidates.

Materials discovery↗
NASA NTRS2023

Accounting for Dose Uncertainty in Dose-Response Curve Estimation Using Hierarchical Bayes Models

As part of their development of the technology for low-boom supersonic flight, the National Aeronautics and Space Administration (NASA) is planning to conduct a set of supersonic aircraft annoyance surveys in select communities in the United States, to measure public perception of the reduced sonic boom. The relationship between a noise exposure level of a supersonic flight event and the probability of an individual being highly annoyed by the event is quantified by a dose-response curve, which is usually based on logistic regression modeling. Unavoidable amounts of estimation error are expected in the upcoming noise measurements, which can bias the results of the logistic regression if ignored. Hence, the development of an estimation approach that accounts for such error when estimating the dose-response curve is imperative. In this paper, an evaluation study is conducted to assess the impact of measurement error on dose-response curve estimation. For this, hierarchical Bayes models using different specifications are fit to data collected by NASA in 2018, as part of a risk-reduction study of supersonic flights affecting Galveston, Texas. It is observed that the estimated dose-response curve appears sensitive to uncertainty in dose measurements, being subject to attenuation bias.

community response↗
NASA NTRS1972

Hierarchical hybrid control of manipulators: Artificial intelligence in large scale integrated circuits

Both in practical engineering and in control of muscular systems, low level subsystems automatically provide crude approximations to the proper response. Through low level tuning of these approximations, the proper response variant can emerge from standardized high level commands. Such systems are expressly suited to emerging large scale integrated circuit technology. A computer, using symbolic descriptions of subsystem responses, can select and shape responses of low level digital or analog microcircuits. A mathematical theory that reveals significant informational units in this style of control and software for realizing such information structures are formulated.

Greene, P. H.↗
NASA NTRS1973

Proposal for hierarchical description of software systems

The programming of digital computers has developed into a new dimension full of diffculties, because the hardware of computers has become so powerful that more complex applications are entrusted to computers. The costs of software development, verification, and maintenance are outpacing those of the hardware and the trend is toward futher increase of sophistication of application of computers and consequently of sophistication of software. To obtain better visibility into software systems and to improve the structure of software systems for better tests, verification, and maintenance, a clear, but rigorous description and documentation of software is needed. The purpose of the report is to extend the present methods in order to obtain a documentation that better reflects the interplay between the various components and functions of a software system at different levels of detail without losing the precision in expression. This is done by the use of block diagrams, sequence diagrams, and cross-reference charts. In the appendices, examples from an actual large sofware system, i.e. the Marshall System for Aerospace Systems Simulation (MARSYAS), are presented. The proposed documentation structure is compatible to automation of updating significant portions of the documentation for better software change control.

Thauboth, H.↗
NASA NTRS1973

Hierarchical hybrid control of manipulators - Artificial intelligence in LSI.

The need for remotely controlled manipulators and explorers, coupled with emerging large-scale integrated (LSI) circuit technology, foreshadow the dominant role of a style of hybrid control. Systems having many degrees of freedom should be guided and regulated by controllers to which commands are given in purpose-oriented form, to be converted into appropriate machine-oriented signals to effectors for achieving the purpose. In particular, numerical tabulations of functions should be replaced by low-level analog microcircuit realizations of the functions, particularly when feedback can keep errors from piling up. The study is concerned with new problems and organizations that arise in attempting to exploit obvious principles to the fullest degree.

Greene, P. H.↗
NASA NTRS1975

Hierarchical models of very large problems, dilemmas, prospects, and an agenda for the future

Interdisciplinary approaches to the modeling of global problems are discussed in terms of multilevel cooperation. A multilevel regionalized model of the Lake Erie Basin is analyzed along with a multilevel regionalized world modeling project. Other topics discussed include: a stratified model of interacting region in a world system, and the application of the model to the world food crisis in south Asia. Recommended research for future development of integrated models is included.

Richardson, J. M., Jr.↗
NASA NTRS1981

An hierarchical system architecture for automated design, fabrication, and repair

The architecture of an automated system which has the following properties is described: (1) if it is presented with a final product specification (within its capabilities) it will do the detailed design (all the way down to the raw materials if need be) and then produce that product; (2) if a faulty final product is presented to the system, it will repair it. Interesting extensions of this architecture would be the ability to add fabricator nodes when required and the ability to add entire ranks when required. This sort of system would be a useful component of a self-replicating system (used in space exploration).

Cliff, R. A.↗
NASA NTRS1984

Set-point changes in hierarchically-arranged thermogenic systems

Rats acclimated to either 23 or 5 C were concurrently exposed to cold and hypergravic fields to test the proposal that mammals have parallel controllers for thermoregulation. The two groups of rats were used to evaluate the different relative contributions of shivering and nonshivering thermogenesis to the increased oxygen consumption of the cold-exposed rats in hypergravic fields. The lower magnitude of the cold-induced oxygen consumption observed when cold-exposed rats are moved from 1 G to hypergravic fields is probably due to an inactivation of shivering rather than nonshivering thermogenesis. The observation that shivering, but not nonshivering thermogenesis, appears to be impaired by hypergravic fields is consistent with the representation of central thermoregulation by multiple controllers.

Horowitz, J. M.↗
NASA NTRS1983

The Hierarchical Specification and Mechanical Verification of the SIFT Design

The formal specification and proof methodology employed to demonstrate that the SIFT computer system meets its requirements are described. The hierarchy of design specifications is shown, from very abstract descriptions of system function down to the implementation. The most abstract design specifications are simple and easy to understand, almost all details of the realization were abstracted out, and are used to ensure that the system functions reliably and as intended. A succession of lower level specifications refines these specifications into more detailed, and more complex, views of the system design, culminating in the Pascal implementation. The section describes the rigorous mechanical proof that the abstract specifications are satisfied by the actual implementation.

Source record↗
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 NTRS1985

Hierarchical structure of stratospheric wind fluctuations

In order to verify the gravity-wave-breaking theories, high resolution observations of middle-stratospheric winds were carried out by balloon-borne anemometers. The observed features were summarized, the parameters of waves generating the turbulence were estimated, and the effect on the general circulation and the transport process were discussed.

Yamanaka, M. D.↗
NASA NTRS1986

Dynamic resource allocation in a hierarchical multiprocessor system: A preliminary study

An integrated system approach to dynamic resource allocation is proposed. Some of the problems in dynamic resource allocation and the relationship of these problems to system structures are examined. A general dynamic resource allocation scheme is presented. A hierarchial system architecture which dynamically maps between processor structure and programs at multiple levels of instantiations is described. Simulation experiments were conducted to study dynamic resource allocation on the proposed system. Preliminary evaluation based on simple dynamic resource allocation algorithms indicates that with the proposed system approach, the complexity of dynamic resource management could be significantly reduced while achieving reasonable effective dynamic resource allocation.

Ngai, Tin-Fook↗