Search NASA⌕ Search

SEARCH · Search NASA

Results for “model specification”

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 NTRS1982

Creep-fatigue life prediction for engine hot section materials (isotropic)

The objectives of this program are the investigation of fundamental approaches to high temperature crack initiation life prediction, identification of specific modeling strategies and the development of specific models for component relevant loading conditions. A survey of the hot section material/coating systems used throughout the gas turbine industry is included. Two material/coating systems will be identified for the program. The material/coating system designated as the base system shall be used throughout Tasks 1-12. The alternate material/coating system will be used only in Task 12 for further evaluation of the models developed on the base material. In Task II, candidate life prediction approaches will be screened based on a set of criteria that includes experience of the approaches within the literature, correlation with isothermal data generated on the base material, and judgements relative to the applicability of the approach for the complex cycles to be considered in the option program. The two most promising approaches will be identified. Task 3 further evaluates the best approach using additional base material fatigue testing including verification tests. Task 4 consists of technical, schedular, financial and all other reporting requirements in accordance with the Reports of Work clause.

Moreno, V.↗
NASA NTRS1994

(abstract) A Comparison Between Measurements of the F-layer Critical Frequency and Values Derived from the PRISM Adjustment Algorithm Applied to Total Electron Content Data in the Equatorial Region

The Parametrized Real-Time Ionosphere Specification Model (PRISM) is a global ionospheric specification model that can incorporate real-time data to compute accurate electron density profiles. Time series of computed and measured data are compared in this paper. This comparison can be used to suggest methods of optimizing the PRISM adjustment algorithm for TEC data obtained at low altitudes.

total electron content TEC PRISM electron content ↗
NASA NTRS2011

Systems, methods and apparatus for modeling, specifying and deploying policies in autonomous and autonomic systems using agent-oriented software engineering

Systems, methods and apparatus are provided through which in some embodiments, an agent-oriented specification modeled with MaCMAS, is analyzed, flaws in the agent-oriented specification modeled with MaCMAS are corrected, and an implementation is derived from the corrected agent-oriented specification. Described herein are systems, method and apparatus that produce fully (mathematically) tractable development of agent-oriented specification(s) modeled with methodology fragment for analyzing complex multiagent systems (MaCMAS) and policies for autonomic systems from requirements through to code generation. The systems, method and apparatus described herein are illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming systems, method and apparatus described herein may provide faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.

Hinchey, Michael G.↗
NASA NTRSDate not supplied

State-Specific Kinetic Modeling for Predictions of Radiative Heating in H 2 /He Entry Flows

A 23-species State-to-State (StS) thermochemical model for H 2 /He mixtures is developed and used to simulate 1-D shocks at conditions relevant for ice and gas giant entry flows. To implement this StS model, a literature review of the state-specific excitation and ionization rates of atomic H is first performed. While electron impact rates from various sources are found to be in relatively good agreement, large discrepancies are found in the limited data available on heavy particle impact rates. To investigate the impact of these discrepancies on the predicted shock and radiance profiles, simulations are performed for three different versions of the kinetic model, each with a different set of heavy particle impact rates from the literature. Of these three models, two are found to over-predict and one is found to under-predict the radiance values seen in corresponding experimental data from the NASA Ames Electric Arc Shock Tube (EAST) facility. A sensitivity analysis to the electron and heavy particle impact rates is then performed, from which an improved kinetic model with modified rates is proposed. This modified kinetic model is found to reproduce the total integrated radiance seen in the EAST experiments accurately. This suggests that the associated radiative heating that would be encountered by an entry probe in these environments would be well predicted by this kinetic model. However, some discrepancies are still found i the relative contributions to the total radiance from different spectral features, suggesting that additional improvements to the kinetic model still need to be made.

Outer Planet↗
NASA NTRS2010

Slicing AADL Specifications for Model Checking

To combat the state-space explosion problem in model checking larger systems, abstraction techniques can be employed. Here, methods that operate on the system specification before constructing its state space are preferable to those that try to minimize the resulting transition system as they generally reduce peak memory requirements. We sketch a slicing algorithm for system specifications written in (a variant of) the Architecture Analysis and Design Language (AADL). Given a specification and a property to be verified, it automatically removes those parts of the specification that are irrelevant for model checking the property, thus reducing the size of the corresponding transition system. The applicability and effectiveness of our approach is demonstrated by analyzing the state-space reduction for an example, employing a translator from AADL to Promela, the input language of the SPIN model checker.

Odenbrett, Maximilian↗
NASA NTRS2004

Model-Drive Architecture for Agent-Based Systems

The Model Driven Architecture (MDA) approach uses a platform-independent model to define system functionality, or requirements, using some specification language. The requirements are then translated to a platform-specific model for implementation. An agent architecture based on the human cognitive model of planning, the Cognitive Agent Architecture (Cougaar) is selected for the implementation platform. The resulting Cougaar MDA prescribes certain kinds of models to be used, how those models may be prepared and the relationships of the different kinds of models. Using the existing Cougaar architecture, the level of application composition is elevated from individual components to domain level model specifications in order to generate software artifacts. The software artifacts generation is based on a metamodel. Each component maps to a UML structured component which is then converted into multiple artifacts: Cougaar/Java code, documentation, and test cases.

Gradanin, Denis↗
NASA NTRS2015

Landform Evolution Modeling of Specific Fluvially Eroded Physiographic Units on Titan

Several recent studies have proposed certain terrain types (i.e., physiographic units) on Titan thought to be formed by fluvial processes acting on local uplands of bedrock or in some cases sediment. We have earlier used our landform evolution models to make general comparisons between Titan and other ice world landscapes (principally those of the Galilean satellites) that we have modeled the action of fluvial processes. Here we give examples of specific landscapes that, subsequent to modeled fluvial work acting on the surfaces, produce landscapes which resemble mapped terrain types on Titan.

crenulated terrain↗
NASA NTRS2003

Airport Choice in Sao Paulo Metropolitan Area: An Application of the Conditional Logit Model

Using the conditional LOGIT model, this paper addresses the airport choice in the Sao Paulo Metropolitan Area. In this region, Guarulhos International Airport (GRU) and Congonhas Airport (CGH) compete for passengers flying to several domestic destinations. The airport choice is believed to be a result of the tradeoff passengers perform considering airport access characteristics, airline level of service characteristics and passenger experience with the analyzed airports. It was found that access time to the airports better explain the airport choice than access distance, whereas direct flight frequencies gives better explanation to the airport choice than the indirect (connections and stops) and total (direct plus indirect) flight frequencies. Out of 15 tested variables, passenger experience with the analyzed airports was the variable that best explained the airport choice in the region. Model specifications considering 1, 2 or 3 variables were tested. The model specification most adjusted to the observed data considered access time, direct flight frequencies in the travel period (morning or afternoon peak) and passenger experience with the analyzed airports. The influence of these variables was therefore analyzed across market segments according to departure airport and flight duration criteria. The choice of GRU (located neighboring Sao Paulo city) is not well explained by the rationality of access time economy and the increase of the supply of direct flight frequencies, while the choice of CGH (located inside Sao Paulo city) is. Access time was found to be more important to passengers flying shorter distances while direct flight frequencies in the travel period were more significant to those flying longer distances. Keywords: Airport choice, Multiple airport region, Conditional LOGIT model, Access time, Flight frequencies, Passenger experience with the analyzed airports, Transportation planning

Moreno, Marcelo Baena↗
NASA NTRS2000

International Reference Ionosphere (IRI): Task Force Activity 2000

The annual IRI Task Force Activity was held at the Abdus Salam International Center for Theoretical Physics in Trieste, Italy from July 10 to July 14. The participants included J. Adeniyi (University of Ilorin, Nigeria), D. Bilitza (NSSDC/RITSS, USA), D. Buresova (Institute of Atmospheric Physics, Czech Republic), B. Forte (ICTP, Italy), R. Leitinger (University of Graz, Austria), B. Nava (ICTP, Italy), M. Mosert (University National Tucuman, Argentina), S. Pulinets (IZMIRAN, Russia), S. Radicella (ICTP, Italy), and B. Reinisch (University of Mass. Lowell, USA). The main topic of this Task Force Activity was the modeling of the topside ionosphere and the development of strategies for modeling of ionospheric variability. Each day during the workshop week the team debated a specific modeling problem in the morning during informal presentations and round table discussions of all participants. Ways of resolving the specific modeling problem were devised and tested in the afternoon in front of the computers of the ICTP Aeronomy and Radiopropagation Laboratory using ICTP s computer networks and internet access.

Bilitza, D.↗
NASA NTRS1997

Estimating the Effects of the Terminal Area Productivity Program

The report describes methods and results of an analysis of the technical and economic benefits of the systems to be developed in the NASA Terminal Area Productivity (TAP) program. A runway capacity model using parameters that reflect the potential impact of the TAP technologies is described. The runway capacity model feeds airport specific models which are also described. The capacity estimates are used with a queuing model to calculate aircraft delays, and TAP benefits are determined by calculating the savings due to reduced delays. The report includes benefit estimates for Boston Logan and Detroit Wayne County airports. An appendix includes a description and listing of the runway capacity model.

Lee, David A.↗
NASA NTRS2019

MRAC with Time-Varying Reference Model from Convex Combination

An extension of model reference adaptive control is presented that accommodates use of a time-varying reference model. Specifically, the reference model is taken to be a time-varying convex combination of two linear, time-invariant models. The design is intended to act as a way to smoothly transition between two different reference models without resorting to a scheduled switch. It also provides the ability to use an interpolated reference model when the plant is operating between design points. The time variation of the combination must satisfy some requirements to ensure stability but is otherwise user choice. Subject to these requirements, bounded tracking error behavior is demonstrated via Lyapunov stability analysis for the single-input, single-output, output feedback case. Tracking error convergence is asymptotic when time variation ceases. The proposed design is demonstrated in simulation of a numerical model.

Hashemi, Kelley E.↗
NASA NTRS2003

Cell output, cell cycle duration and neuronal specification: a model of integrated mechanisms of the neocortical proliferative process

The neurons of the neocortex are generated over a 6 day neuronogenetic interval that comprises 11 cell cycles. During these 11 cell cycles, the length of cell cycle increases and the proportion of cells that exits (Q) versus re-enters (P) the cell cycle changes systematically. At the same time, the fate of the neurons produced at each of the 11 cell cycles appears to be specified at least in terms of their laminar destination. As a first step towards determining the causal interrelationships of the proliferative process with the process of laminar specification, we present a two-pronged approach. This consists of (i) a mathematical model that integrates the output of the proliferative process with the laminar fate of the output and predicts the effects of induced changes in Q and P during the neuronogenetic interval on the developing and mature cortex and (ii) an experimental system that allows the manipulation of Q and P in vivo. Here we show that the predictions of the model and the results of the experiments agree. The results indicate that events affecting the output of the proliferative population affect both the number of neurons produced and their specification with regard to their laminar fate.

Evaluation Studies↗
NASA NTRS2005

An Ensemble Approach to Building Mercer Kernels with Prior Information

This paper presents a new methodology for automatic knowledge driven data mining based on the theory of Mercer Kernels, which are highly nonlinear symmetric positive definite mappings from the original image space to a very high, possibly dimensional feature space. we describe a new method called Mixture Density Mercer Kernels to learn kernel function directly from data, rather than using pre-defined kernels. These data adaptive kernels can encode prior knowledge in the kernel using a Bayesian formulation, thus allowing for physical information to be encoded in the model. Specifically, we demonstrate the use of the algorithm in situations with extremely small samples of data. We compare the results with existing algorithms on data from the Sloan Digital Sky Survey (SDSS) and demonstrate the method's superior performance against standard methods. The code for these experiments has been generated with the AUTOBAYES tool, which automatically generates efficient and documented C/C++ code from abstract statistical model specifications. The core of the system is a schema library which contains templates for learning and knowledge discovery algorithms like different versions of EM, or numeric optimization methods like conjugate gradient methods. The template instantiation is supported by symbolic-algebraic computations, which allows AUTOBAYES to find closed-form solutions and, where possible, to integrate them into the code.

Srivastava, Ashok N.↗
NASA NTRS1990

Probabilistic failure assessment with application to solid rocket motors

A quantitative methodology is being developed for assessment of risk of failure of solid rocket motors. This probabilistic methodology employs best available engineering models and available information in a stochastic framework. The framework accounts for incomplete knowledge of governing parameters, intrinsic variability, and failure model specification error. Earlier case studies have been conducted on several failure modes of the Space Shuttle Main Engine. Work in progress on application of this probabilistic approach to large solid rocket boosters such as the Advanced Solid Rocket Motor for the Space Shuttle is described. Failure due to debonding has been selected as the first case study for large solid rocket motors (SRMs) since it accounts for a significant number of historical SRM failures. Impact of incomplete knowledge of governing parameters and failure model specification errors is expected to be important.

Jan, Darrell L.↗
NASA NTRS2007

Applying MDA to SDR for Space to Model Real-time Issues

NASA space communications systems have the challenge of designing SDRs with highly-constrained Size, Weight and Power (SWaP) resources. A study is being conducted to assess the effectiveness of applying the MDA Platform-Independent Model (PIM) and one or more Platform-Specific Models (PSM) specifically to address NASA space domain real-time issues. This paper will summarize our experiences with applying MDA to SDR for Space to model real-time issues. Real-time issues to be examined, measured, and analyzed are: meeting waveform timing requirements and efficiently applying Real-time Operating System (RTOS) scheduling algorithms, applying safety control measures, and SWaP verification. Real-time waveform algorithms benchmarked with the worst case environment conditions under the heaviest workload will drive the SDR for Space real-time PSM design.

Blaser, Tammy M.↗
NASA NTRS1984

Considerations for damage analysis of gas turbine hot section components

The hot flowpath of a gas turbine engine contains static and rotating components operating in a very hostile environment. Since the reliable operation of these components is critical to the safe and efficient performance of the engine, structural life analysis of these members is carried out with great care. However, the complex nature of the strain-temperature-time cycle affecting the engine makes a general analysis procedure difficult and usually leads to separating the damage into regimes where one damage mode dominates. In particular, cycle dependent, time dependent, and thermomechanical fatigue regimes have been identified and some general considerations of each region are discussed. This discussion includes both the damage models themselves and the application of the models. Specific examples of several models are given and important factors affecting each are presented.

Cook, T. S.↗
NASA NTRS1990

Model compilation: An approach to automated model derivation

An approach is introduced to automated model derivation for knowledge based systems. The approach, model compilation, involves procedurally generating the set of domain models used by a knowledge based system. With an implemented example, how this approach can be used to derive models of different precision and abstraction is illustrated, and models are tailored to different tasks, from a given set of base domain models. In particular, two implemented model compilers are described, each of which takes as input a base model that describes the structure and behavior of a simple electromechanical device, the Reaction Wheel Assembly of NASA's Hubble Space Telescope. The compilers transform this relatively general base model into simple task specific models for troubleshooting and redesign, respectively, by applying a sequence of model transformations. Each transformation in this sequence produces an increasingly more specialized model. The compilation approach lessens the burden of updating and maintaining consistency among models by enabling their automatic regeneration.

Keller, Richard M.↗