Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “modeling framework”

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 721 records · Page 40

Improved representation of the global dust cycle using observational constraints on dust properties and abundance

Even though desert dust is the most abundant aerosol by mass in Earth's atmosphere, atmospheric models struggle to accurately represent its spatial and temporal distribution. These model errors are partially caused by fundamental difficulties in simulating dust emission in coarse-resolution models and in accurately representing dust microphysical properties. Here we mitigate these problems by developing a new methodology that yields an improved representation of the global dust cycle. We present an analytical framework that uses inverse modeling to integrate an ensemble of global model simulations with observational constraints on the dust size distribution, extinction efficiency, and regional dust aerosol optical depth. We then compare the inverse model results against independent measurements of dust surface concentration and deposition flux and find that errors are reduced by approximately a factor of 2 relative to current model simulations of the Northern Hemisphere dust cycle. The inverse model results show smaller improvements in the less dusty Southern Hemisphere, most likely because both the model simulations and the observational constraints used in the inverse model are less accurate. On a global basis, we find that the emission flux of dust with a geometric diameter up to 20 µm (PM20) is approximately 5000 Tg yr−1, which is greater than most models account for. This larger PM20 dust flux is needed to match observational constraints showing a large atmospheric loading of coarse dust. We obtain gridded datasets of dust emission, vertically integrated loading, dust aerosol optical depth, (surface) concentration, and wet and dry deposition fluxes that are resolved by season and particle size. As our results indicate that this dataset is more accurate than current model simulations and the MERRA-2 dust reanalysis product, it can be used to improve quantifications of dust impacts on the Earth system.

Dust cycle↗

A conceptual framework for intelligent real-time information processing

By combining artificial intelligence concepts with the human information processing model of Rasmussen, a conceptual framework was developed for real time artificial intelligence systems which provides a foundation for system organization, control and validation. The approach is based on the description of system processing terms of an abstraction hierarchy of states of knowledge. The states of knowledge are organized along one dimension which corresponds to the extent to which the concepts are expressed in terms of the system inouts or in terms of the system response. Thus organized, the useful states form a generally triangular shape with the sensors and effectors forming the lower two vertices and the full evaluated set of courses of action the apex. Within the triangle boundaries are numerous processing paths which shortcut the detailed processing, by connecting incomplete levels of analysis to partially defined responses. Shortcuts at different levels of abstraction include reflexes, sensory motor control, rule based behavior, and satisficing. This approach was used in the design of a real time tactical decision aiding system, and in defining an intelligent aiding system for transport pilots.

Schudy, Robert↗

Abstraction and Assume-Guarantee Reasoning for Automated Software Verification

Compositional verification and abstraction are the key techniques to address the state explosion problem associated with model checking of concurrent software. A promising compositional approach is to prove properties of a system by checking properties of its components in an assume-guarantee style. This article proposes a framework for performing abstraction and assume-guarantee reasoning of concurrent C code in an incremental and fully automated fashion. The framework uses predicate abstraction to extract and refine finite state models of software and it uses an automata learning algorithm to incrementally construct assumptions for the compositional verification of the abstract models. The framework can be instantiated with different assume-guarantee rules. We have implemented our approach in the COMFORT reasoning framework and we show how COMFORT out-performs several previous software model checking approaches when checking safety properties of non-trivial concurrent programs.

Chaki, S.↗

Conditions of early chemical processing of matter - Explosive exhalations of supernovae

The chemical and isotopic stratifications of supernova exhalations are discussed, with reference to a number of theoretical estimates. Particular attention is given to the theoretical models of the major chemical zones of explosive exhalation of isotopes of Mg, Si, and Ti in intermediate size supernovae. The contribution of supernova exhalations to oxygen anomalies in the solar system is also discussed within the framework of the theoretical models of Clayton et al. (1977, 1978, 1979, 1981). The initial stratigraphy of the major elements in the explosive exhalation of a progenitor star of 25 solar mass is illustrated in a graph, on the basis of the theoretical estimates of Waver et al. (1978), and Weaver and Woolsey (1980).

Heymann, D.↗

Toward a computational theory for motion understanding: The expert animators model

Artificial intelligence researchers claim to understand some aspect of human intelligence when their model is able to emulate it. In the context of computer graphics, the ability to go from motion representation to convincing animation should accordingly be treated not simply as a trick for computer graphics programmers but as important epistemological and methodological goal. In this paper we investigate a unifying model for animating a group of articulated bodies such as humans and robots in a three-dimensional environment. The proposed model is considered in the framework of knowledge representation and processing, with special reference to motion knowledge. The model is meant to help setting the basis for a computational theory for motion understanding applied to articulated bodies.

Mohamed, Ahmed S.↗

Genetic Algorithms and Local Search

The first part of this presentation is a tutorial level introduction to the principles of genetic search and models of simple genetic algorithms. The second half covers the combination of genetic algorithms with local search methods to produce hybrid genetic algorithms. Hybrid algorithms can be modeled within the existing theoretical framework developed for simple genetic algorithms. An application of a hybrid to geometric model matching is given. The hybrid algorithm yields results that improve on the current state-of-the-art for this problem.

Whitley, Darrell↗

A Large Dataset of Fluvial Hydraulic and Geometry Attributes Derived From USGS Field Measurement Records

Accurate representation of river channel geometry is important for hydrologic and hydraulic modeling of fluvial systems. Often, channel geometry is estimated using simple rating curves that can be applied across various spatial scales. However, such methods are limited to power law relations that do not employ many potentially relevant catchment and river attributes. This paper introduce a new dataset, IFMHA (Inventory of Field Measurement of Hydraulic Attributes), to enable research studies on channel geometry and streamflow characteristics. IFMHA is derived from the National Water Information System (NWIS) site inventory for surface water field measurements and stream attributes from the National Hydrography Dataset (NHD). IFMHA includes 2,802,532 records from 10,050 sites (NWIS streamgaging stations). The dataset utility is demonstrated here by presenting a series of conceptual models for estimating channel geometry parameters (i.e., channel mean depth, channel maximum depth, wetted perimeter, and roughness) based on the available field attributes within IFMHA. Such a dataset and attributed channel geometry parameters can enhance the performance of operational flood forecasting frameworks (e.g. National Water Model) by providing more accurate initial conditions used in hydrologic and hydraulic routing models.

Hydrology↗

Regional scale hydrology with a new land surface processes model

Through the CaPE Hydrometeorology Project, we have developed an understanding of some of the unique data quality issues involved in assimilating data of disparate types for regional-scale hydrologic modeling within a GIS framework. Among others, the issues addressed here include the development of adequate validation of the surface water budget, implementation of the STATSGO soil data set, and implementation of a remote sensing-derived landcover data set to account for surface heterogeneity. A model of land surface processes has been developed and used in studies of the sensitivity of surface fluxes and runoff to soil and landcover characterization. Results of these experiments have raised many questions about how to treat the scale-dependence of land surface-atmosphere interactions on spatial and temporal variability. In light of these questions, additional modifications are being considered for the Marshall Land Surface Processes Model. It is anticipated that these techniques can be tested and applied in conjunction with GCIP activities over regional scales.

Laymon, Charles↗

Investigating Sensitivity to Saharan Dust in Tropical Cyclone Formation Using Nasa's Adjoint Model

As tropical cyclones develop from easterly waves coming of the coast of Africa they interact with dust from the Sahara desert. There is a long standing debate over whether this dust inhibits or advances the developing storm and how much influence it has. Dust can surround the storm and absorb incoming solar radiation, cooling the air below. As a result an energy source for the system is potentially diminished, inhibiting growth of the storm. Alternatively dust may interact with clouds through micro-physical processes, for example by causing more moisture to condense, potentially increasing the strength. As a result of climate change, concentrations and amount of dust in the atmosphere will likely change. It it is important to properly understand its effect on tropical storm formation. The adjoint of an atmospheric general circulation model provides a very powerful tool for investigating sensitivity to initial conditions. The National Aeronautics and Space Administration (NASA) has recently developed an adjoint version of the Goddard Earth Observing System version 5 (GEOS-5) dynamical core, convection scheme, cloud model and radiation schemes. This is extended so that the interaction between dust and radiation is also accounted for in the adjoint model. This provides a framework for examining the sensitivity to dust in the initial conditions. Specifically the set up allows for an investigation into the extent to which dust affects cyclone strength through absorption of radiation. In this work we investigate the validity of using an adjoint model for examining sensitivity to dust in hurricane formation. We present sensitivity results for a number of systems that developed during the Atlantic hurricane season of 2006. During this period there was a significant outbreak of Saharan dust and it is has been argued that this outbreak was responsible for the relatively calm season. This period was also covered by an extensive observation campaign. It is shown that the adjoint can provide insight into the sensitivity and reveals a relatively low sensitivity to dust compared to, for example, the thermodynamic variables. However a secondary sensitivity though moisture is seen. If dust dries the air it can significantly reduce the cyclone intensity through the moisture.

Tropical Cyclones↗

Progress towards computer simulation of NiH2 battery performance over life

The long-term performance of rechargeable battery cells has traditionally been verified through life-testing, a procedure that generally requires significant commitments of funding and test resources. In the situation of nickel hydrogen battery cells, which have the capability of providing extremely long cycle life, the time and cost required to conduct even accelerated testing has become a serious impediment to transitioning technology improvements into spacecraft applications. The utilization of computer simulations to indicate the changes in performance to be expected in response to design or operating changes in nickel hydrogen cells is therefore a particularly attractive tool in advanced battery development, as well as for verifying performance in different applications. Computer-based simulations of the long-term performance of rechargeable battery cells have typically had very limited success in the past. There are a number of reasons for the lack in progress in this area. First, and probably most important, all battery cells are relatively complex electrochemical systems, in which performance is dictated by a large number of interacting physical and chemical processes. While the complexity alone is a significant part of the problem, in many instances the fundamental chemical and physical processes underlying long-term degradation and its effects on performance have not even been understood. Second, while specific chemical and physical changes within cell components have been associated with degradation, there has been no generalized simulation architecture that enables the chemical and physical structure (and changes therein) to be translated into cell performance. For the nickel hydrogen battery cell, our knowledge of the underlying reactions that control the performance of this cell has progressed to where it clearly is possible to model them. The recent development of a relative generalized cell modelling approach provides the framework for translating the chemical and physical structure of the components inside a cell into its performance characteristics over its entire cycle life. This report describes our approach to this task in terms of defining those processes deemed critical in controlling performance over life, and the model architecture required to translate the fundamental cell processes into performance profiles.

Zimmerman, Albert H.↗

Hydroclimatic Controls over Global Variations in Phenology and Carbon Flux

The connection between phenological and hydroclimatological variations are quantified through joint analyses of global NDVI, LAI, and precipitation datasets. The global distributions of both NDVI and LAI in the warm season are strongly controlled by three quantities: mean annual precipitation, the standard deviation of annual precipitation, and Budyko's index of dryness. Upon demonstrating that these same basic (if biased) relationships are produced by a dynamic vegetation model (the dynamic vegetation and carbon storage components of the NCAR Community Land Model version 4 combined with the water and energy balance framework of the Catchment Land Surface Model of the NASA Global Modeling and Assimilation Office), we use the model to perform a sensitivity study focusing on how phenology and carbon flux might respond to climatic change. The offline (decoupled from the atmosphere) simulations show us, for example, where on the globe a given small increment in precipitation mean or variability would have the greatest impact on carbon uptake. The analysis framework allows us in addition to quantify the degree to which climatic biases in a free-running GCM are manifested as biases in simulated phenology.

Koster, Randal↗

Fifteen Years of Laboratory Astrophysics at Ames

Tremendous strides have been made in our understanding of interstellar material over the past fifteen years thanks to significant, parallel developments in two closely related areas: observational astronomy and laboratory astrophysics. Fifteen years ago the composition of interstellar dust was largely guessed at, the concept of ices in dense molecular clouds ignored, and the notion of large, abundant, gas phase, carbon-rich molecules widespread throughout the interstellar medium (ISM) considered impossible. Today the composition of dust in the diffuse ISM is reasonably well constrained to cold refractory materials comprised of amorphous and crystalline silicates mixed with an amorphous carbonaceous material containing aromatic structural units and short, branched aliphatic chains. In the dense ISM, these cold dust particles are coated with mixed-molecular ices whose compositions are very well known. Lastly, the signature of carbon-rich polycyclic aromatic hydrocarbons (PAHs), shockingly large molecules by early interstellar chemistry standards, is widespread throughout the ISM. This great progress has only been made possible by the close collaboration of laboratory experimentalists with observers and theoreticians, all with the goal of applying their skills to astrophysical problems of direct interest to NASA programs. Such highly interdisciplinary collaborations ensure fundamental, in depth coverage of the wide-ranging challenges posed by astrophysics. These challenges include designing astrophysically focused experiments and data analysis, tightly coupled with astrophysical searches spanning 2 orders of magnitude in wavelength, and detailed theoretical modeling. The impact of our laboratory has been particularly effective as there is constant cross-talk and feedback between quantum theorists; theoretical astrophysicists and chemists; experimental physicists; organic, physical and petroleum chemists; and infrared and UV/Vis astronomers. In this paper, two examples of the Ames Program will be given. We have been involved in identifying 9 out of the 14 interstellar pre-cometary ice species known, determined their abundances and the physical nature of the ice structure. Details on our ice work are given in the paper by Sandford et al. Our group is among the pioneers of the PAH model. We built the theoretical framework, participated in the observations and developed the experimental techniques needed to test the model. We demonstrated that the ubiquitous infrared emission spectrum associated with many interstellar objects can be matched by laboratory spectra of neutral and positively charged PAHs and that PAHs were excellent candidates for the diffuse interstellar band (DIB) carriers. See Salama et al. and Hudgins et al.

Allamandola, L. J.↗

Robustness of Observing System Simulation Experiments

Observing System Simulation Experiments (OSSEs) are used to investigate the potential performance of proposed new instruments on numerical weather prediction (NWP). As OSSEs involve a framework in which the atmosphere and observations are all completely simulated, it is necessary to perform validation of the OSSE to ensure that it is sufficiently realistic to provide useful experimental results. A common issue that affects the forecast skill and observation impacts is the tendency of OSSEs to have insufficient model error compared to NWP in the real world. In this work, two versions of the National Aeronautics and Space Administration Global Modeling and Assimilation Office (NASA/GMAO) NWP OSSE framework are compared, with the newer framework having more simulated forecast model error than the older framework due to changes to the NWP system. The performance of the updated OSSE is validated against corresponding behavior of the same NWP system in the real world in terms of the simulated observations, the analysis increments, forecast error, and observation impacts. OSSE results of analysis and forecast impacts for three proposed new observation systems are also compared between the older and newer frameworks to evaluate the robustness of the OSSE experiments and the role of model error in observation impacts. These three new instruments are the Geostationary eXtended Observations (GeoXO) hyperspectral infrared sounder (GXS), the Midwave Infrared Sounding of Temperature and humidity in a Constellation for Winds (MISTiC Winds) atmospheric motion vectors, and additional Global Navigation Satellite System Radio Occultations (GNSS-RO).

Observing System Simulation Experiments↗

A Design Framework for Thick and Thin Tow-Steered Composites Using Mechanics of Structure Genome

The design of tow-steered composites is one of the most popular and promising topics under the class of variable stiffness structures. In this work, the authors propose a new design framework and tool for the optimization of tow-steered composites. Mechanics of structure genome (MSG) provides accurate computation of plate/shell section properties including thick and highly curved structures. The computed section properties can be directly used in commercial computer-aided engineering tools. Tow-steered composites are modeled through a design framework wherein tow paths are parameterized in a general way and projected onto a finite element mesh, and MSG calculates the local shell/plate properties. The result is a complete workflow from design parameter input to structural performance evaluation. An open-source optimization software package is used to enable constrained optimization of structural stiffness for the broad tow-steered composite design space. Numerical examples are provided to demonstrate the capabilities of this tool and the promise and potential of tow-steered designs that optimize structural performance while satisfying manufacturing constraints.

Su Tian↗

A Design Framework for Thick and Thin Tow-Steered Composites Using Mechanics of Structure Genome

The design of tow-steered composites is one of the most popular and promising topics under the class of variable stiffness structures. In this work, the authors propose a new design framework and tool for the optimization of tow-steered composites. Mechanics of structure genome (MSG) provides accurate computation of plate/shell section properties including thick and highly curved structures. The computed section properties can be directly used in commercial computer-aided engineering tools. Tow-steered composites are modeled through a design framework wherein tow paths are parameterized in a general way and projected onto a finite element mesh, and MSG calculates the local shell/plate properties. The result is a complete workflow from design parameter input to structural performance evaluation. An open-source optimization software package is used to enable constrained optimization of structural stiffness for the broad tow-steered composite design space. Numerical examples are provided to demonstrate the capabilities of this tool and the promise and potential of tow-steered designs that optimize structural performance while satisfying manufacturing constraints.

Su Tian↗

Discrete Rotational Energy for Polyatomic Molecules in Direct Simulation Monte Carlo

Accurate prediction of aerothermodynamic loads in thermal non-equilibrium flows requires precise modeling of internal energy exchange. While previous direct simulation Monte Carlo frameworks have successfully implemented discrete rotational energy models for diatomic species, the treatment of polyatomic molecules has traditionally relied on continuous energy assumptions that break down at low temperatures and neglect critical high-temperature corrections. This study extends the discrete rotational energy models of Boyd and Gimelshein to fully encompass polyatomic molecules. The proposed framework implements quantized rotational energy level sampling for linear, spherical, and symmetric/asymmetric top rotors. Crucially, the model incorporates centrifugal distortion to address the limitations of the rigid-rotor assumption at hypersonic temperatures, and accounts for nuclear spin parity, which dictates the permissible rotational states and macroscopic specific heats at low temperatures. The model is verified through equilibrium sampling procedures, demonstrating agreement with theoretical quantum Boltzmann distributions and accurately reproducing thermophysical properties across a wide range of temperatures.

DSMC↗

Reduced Vector Preisach Model

A new vector Preisach model, called the Reduced Vector Preisach model (RVPM), was developed for fast computations. This model, derived from the Simplified Vector Preisach model (SVPM), has individual components that like the SVPM are calculated independently using coupled selection rules for the state vector computation. However, the RVPM does not require the rotational correction. Therefore, it provides a practical alternative for computing the magnetic susceptibility using a differential approach. A vector version, using the framework of the DOK model, is implemented. Simulation results for the reduced vector Preisach model are also presented.

Patel, Umesh D.↗