Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematics & Computing”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS2013

Robust Multivariable Optimization and Performance Simulation for ASIC Design

Application-specific-integrated-circuit (ASIC) design for space applications involves multiple challenges of maximizing performance, minimizing power, and ensuring reliable operation in extreme environments. This is a complex multidimensional optimization problem, which must be solved early in the development cycle of a system due to the time required for testing and qualification severely limiting opportunities to modify and iterate. Manual design techniques, which generally involve simulation at one or a small number of corners with a very limited set of simultaneously variable parameters in order to make the problem tractable, are inefficient and not guaranteed to achieve the best possible results within the performance envelope defined by the process and environmental requirements. What is required is a means to automate design parameter variation, allow the designer to specify operational constraints and performance goals, and to analyze the results in a way that facilitates identifying the tradeoffs defining the performance envelope over the full set of process and environmental corner cases. The system developed by the Mixed Signal ASIC Group (MSAG) at the Goddard Space Flight Center is implemented as a framework of software modules, templates, and function libraries. It integrates CAD tools and a mathematical computing environment, and can be customized for new circuit designs with only a modest amount of effort as most common tasks are already encapsulated. Customization is required for simulation test benches to determine performance metrics and for cost function computation.

DuMonthier, Jeffrey↗
NASA NTRS2020

A Systems Analysis Approach to Understanding the Physiological Adaptation to Spaceflight

This book is a summary of interdisciplinary research (physiology, space medicine, engineering, computer science, mathematics) that spans two decades (1972-1992). The research was an attempt to use systems analysis, mathematical modeling, computer simulations, and database systems to integrate the biomedical spaceflight data that was being collected during this period. The goal of the effort was to achieve a better understanding of the human physiological response to short-term and long-term space travel. The activity was primarily devoted to analyzing the biomedical results of Skylab (1973-74), a series of three space missions which is still ranked as the most comprehensive of all long-term biomedical space studies to date. This work was begun as a coordinated effort between the National Aeronautics and Space Administration (Johnson Space Center) and the General Electric Company’s Space Division (Houston, TX). It was the intent that this multidisciplined, integrative approach could reveal aspects of the then-new science of microgravity adaptation that were not obvious by adhering to the traditional methodology of examining each organ system in isolation. Some joint work with the Russians, including the Apollo-Soyez test project and a joint bedrest study was also supported during this period. In the 1980’s the systems analysis group’s effort was redirected to support the science management of human and animal experiments on the Space Shuttle. A few examples from this era are also included in the book. Parts of this work have been published elsewhere, presented at technical meetings, and documented in reports with limited distribution. These publications will be referenced throughout the text and the interested reader is advised to use these as resource material where additional details are desired. The intent of this book is not to reproduce these documents but rather to present a coherent view of the integrative analysis under one cover. This volume contains the first detailed publication (other than in internal reports) of an extensive metabolic balance analysis of Skylab data, the development and validation of the “Whole-Body Algorithm,” and simulation studies of diverse hypogravic environments. An analysis of cardiovascular deconditioning and a description of the calcium regulatory model are also new. A long period has passed between the completion of the main body of work represented in this book and its publication in this form. It was inevitable that new research efforts would lead to developments related to the spaceflight problems addressed and thereby make some of our biomedical conclusions obsolete. Although in some cases reference to more recent work have been included, for the most part this book should be considered an historical summary demonstrating the approach and utility of systems analysis and computer modeling in the NASA Life Sciences program at the time the studies were conducted.

Leonard, Joel I.↗
DOE OSTI2019

Expanded Use of ISOCS Characterization Techniques for WIPP Certification at the Idaho Clean-up Project - 19623

The Advanced Mixed Waste Treatment Project (AMWTP) has been retrieving, treating, characterizing, and shipping legacy Transuranic (TRU) waste for disposal since 2003 as part of the overall Idaho Cleanup Project (ICP) in support of the US Department of Energy. As the ICP has progressed, over 700 containers have been identified that cannot be successfully assayed using the current suite of non-destructive assay (NDA) instruments. To meet this challenge, Fluor Idaho, LLC, and Mirion Technologies (formerly Canberra Industries) have teamed to deploy the In-Situ Object Counting System (ISOCS) to supplement the current NDA capabilities. ISOCS has long been used in various radioactive waste management applications, but never has the ISOCS ability to perform intrinsic efficiency modeling of discrete waste containers been employed to characterize and certify TRU waste for disposal at the Waste Isolation Pilot Plant (WIPP), near Carlsbad, New Mexico. Since the primary disposal facility for this waste is the WIPP, the characterization processes for determining the quantity of radioactive material entrained in the waste are subject to WIPP Waste Acceptance Criteria (WAC) quality requirements and associated performance criteria. Until now, the Carlsbad Field Office (CBFO) WIPP-certified NDA equipment has utilized pre-defined efficiency calibrations for fixed geometries. However, due to the radioactive material content, activity levels, waste stream matrix, and/or the geometries of various size drums, boxes and other-odd-shaped containers or container integrity issues, it may not be suitable to characterize these containers with any of the existing WIPP-certified NDA equipment located at the AMWTP. Therefore, advanced technologies are needed to complete characterization of these problematic waste containers. The July 5, 2016 release of the WIPP WAC, DOE/WIPP-02-3122, Revision 8.0, Appendix A, 'Radioassay Requirements for Transuranic Waste,' was expanded to include several newer concepts such as American Society for Testing and Materials (ASTM) approved methods for efficiency-based calibrations and the use of mathematical computer modeling techniques for calibration. This change prompted AMWTP to pursue obtaining WIPP certification authority for expanded ISOCS techniques to deal with the remaining challenging waste containers and the development and implementation of Mirion's Figures of Merit (FOM) evaluations. These vital FOM evaluations enhance the ISOCS's modeling capabilities by optimizing the dynamic efficiency calibration for each object and reducing the assay's Total Measurement Uncertainty (TMU) budget. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2014

Applicability of ICRP 116 dose conversion coefficients to Korean pediatric population exposed to external photons - Paper 25

In the event of a radiological accident or attack, the estimation of organ dose is crucial to determine the possible health effect to general public. To that end, International Commission on Radiological Protection (ICRP) published a comprehensive set of organ dose conversion coefficients derived from the adult stylized (or mathematical) computational phantoms. More recently, ICRP updated the conversion coefficients based on their new reference computational phantoms, adult male and female voxel phantoms, exposed to a variety of radiation types and irradiation geometries. The adult voxel phantoms represent the organ mass and body dimensions of the Caucasian population. It is known that children generally receive greater radiation dose to organs compared to adults for external irradiation due to their smaller body size. that may provide less shielding to internal organs than adults. However, only a few studies investigated if the organ dose conversion coefficients developed for adults can be used for children and how much dose discrepancy needs to be expected. In this study, we adopted a Korean 7-year-old whole body voxel phantom to calculate a comprehensive organ dose conversion coefficients when the phantom is exposed to external photon irradiation geometries. We also compared the results with the data provided in the ICRP Publication 116, which is based on the ICRP adult voxel phantoms. (authors)

61 RADIATION PROTECTION AND DOSIMETRY↗
NASA NTRS1981

Mathematical modeling and computer simulation of isoelectric focusing with electrochemically defined ampholytes

A mathematical model of isoelectric focusing at the steady state has been developed for an M-component system of electrochemically defined ampholytes. The model is formulated from fundamental principles describing the components' chemical equilibria, mass transfer resulting from diffusion and electromigration, and electroneutrality. The model consists of ordinary differential equations coupled with a system of algebraic equations. The model is implemented on a digital computer using FORTRAN-based simulation software. Computer simulation data are presented for several two-component systems showing the effects of varying the isoelectric points and dissociation constants of the constituents.

Palusinski, O. A.↗
NASA NTRS1981

Proceedings, Conference on the Computing Environment for Mathematical Software

Recent advances in software and hardware technology which make it economical to create computing environments appropriate for specialized applications are addressed. Topics included software tools, FORTRAN standards activity, and features of languages, operating systems, and hardware that are important for the development, testing, and maintenance of mathematical software.

Source record↗
NASA NTRS1989

Computer simulation of the mathematical modeling involved in constitutive equation development: Via symbolic computations

Development of new material models for describing the high temperature constitutive behavior of real materials represents an important area of research in engineering disciplines. Derivation of mathematical expressions (constitutive equations) which describe this high temperature material behavior can be quite time consuming, involved and error prone; thus intelligent application of symbolic systems to facilitate this tedious process can be of significant benefit. A computerized procedure (SDICE) capable of efficiently deriving potential based constitutive models, in analytical form is presented. This package, running under MACSYMA, has the following features: partial differentiation, tensor computations, automatic grouping and labeling of common factors, expression substitution and simplification, back substitution of invariant and tensorial relations and a relational data base. Also limited aspects of invariant theory were incorporated into SDICE due to the utilization of potentials as a starting point and the desire for these potentials to be frame invariant (objective). Finally not only calculation of flow and/or evolutionary laws were accomplished but also the determination of history independent nonphysical coefficients in terms of physically measurable parameters, e.g., Young's modulus, was achieved. The uniqueness of SDICE resides in its ability to manipulate expressions in a general yet predefined order and simplify expressions so as to limit expression growth. Results are displayed when applicable utilizing index notation.

Arnold, S. M.↗
NASA NTRS1991

Application of technology developed for flight simulation at NASA. Langley Research Center

In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simulation, computer processing operations including mathematical model computation and data input/output to the simulators must be deterministic and be completed in as short a time as possible. Personnel at NASA's Langley Research Center are currently developing the use of supercomputers for simulation mathematical model computation for real-time simulation. This, coupled with the use of an open systems software architecture, will advance the state-of-the-art in real-time flight simulation.

Cleveland, Jeff I., II↗
DOE OSTI2014

yStreX: yeast stress expression database

Over the past decade genome-wide expression analyses have been often used to study how expression of genes changes in response to various environmental stresses. Many of these studies (such as effects of oxygen concentration, temperature stress, low pH stress, osmotic stress, depletion or limitation of nutrients, addition of different chemical compounds, etc.) have been conducted in the unicellular Eukaryal model, yeast Saccharomyces cerevisiae. However, the lack of a unifying or integrated, bioinformatics platform that would permit efficient and rapid use of all these existing data remain an important issue. To facilitate research by exploiting existing transcription data in the field of yeast physiology, we have developed the yStreX database. It is an online repository of analyzed gene expression data from curated data sets from different studies that capture genome-wide transcriptional changes in response to diverse environmental transitions. The first aim of this online database is to facilitate comparison of cross-platform and cross-laboratory gene expression data. Additionally, we performed different expression analyses, meta-analyses and gene set enrichment analyses; and the results are also deposited in this database. Lastly, we constructed a user-friendly Web interface with interactive visualization to provide intuitive access and to display the queried data for users with no background in bioinformatics.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2016

Large-scale inference of gene function through phylogenetic annotation of Gene Ontology terms: case study of the apoptosis and autophagy cellular processes

We previously reported a paradigm for large-scale phylogenomic analysis of gene families that takes advantage of the large corpus of experimentally supported Gene Ontology (GO) annotations. This ‘GO Phylogenetic Annotation’ approach integrates GO annotations from evolutionarily related genes across 100 different organisms in the context of a gene family tree, in which curators build an explicit model of the evolution of gene functions. GO Phylogenetic Annotation models the gain and loss of functions in a gene family tree, which is used to infer the functions of uncharacterized (or incompletely characterized) gene products, even for human proteins that are relatively well studied. Here, we report our results from applying this paradigm to two well-characterized cellular processes, apoptosis and autophagy. This revealed several important observations with respect to GO annotations and how they can be used for function inference. Notably, we applied only a small fraction of the experimentally supported GO annotations to infer function in other family members. The majority of other annotations describe indirect effects, phenotypes or results from high throughput experiments. In addition, we show here how feedback from phylogenetic annotation leads to significant improvements in the PANTHER trees, the GO annotations and GO itself. Thus GO phylogenetic annotation both increases the quantity and improves the accuracy of the GO annotations provided to the research community. We expect these phylogenetically based annotations to be of broad use in gene enrichment analysis as well as other applications of GO annotations.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2018

FAIR principles and the IEDB: short-term improvements and a long-term vision of OBO-foundry mediated machine-actionable interoperability

The Immune Epitope Database (IEDB), at www.iedb.org, has the mission to make published experimental data relating to the recognition of immune epitopes easily available to the scientific public. By presenting curated data in a searchable database, we have liberated it from the tables and figures of journal articles, making it more accessible and usable by immunologists. Recently, the principles of Findability, Accessibility, Interoperability and Reusability have been formulated as goals that data repositories should meet to enhance the usefulness of their data holdings. We here examine how the IEDB complies with these principles and identify broad areas of success, but also areas for improvement. We describe short-term improvements to the IEDB that are being implemented now, as well as a long-term vision of true ‘machine-actionable interoperability’, which we believe will require community agreement on standardization of knowledge representation that can be built on top of the shared use of ontologies.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2018

MetaHCR: a web-enabled metagenome data management system for hydrocarbon resources

The ever-increasing metagenomic data necessitate appropriate cataloguing in a way that facilitates the comparison and better contextualization of the underlying investigations. To this extent, information associated with the sequencing data as well as the original sample and the environment where it was obtained from is crucial. To date, there are not any publicly available repositories able to capture environmental metadata pertaining to hydrocarbon-rich environments. As such, contextualization and comparative analysis among sequencing datasets derived from these environments is to a certain degree hindered or cannot be fully evaluated. The metagenomics data management system for hydrocarbon resources (MetaHCRs) enables the capturing of marker gene and whole metagenome sequencing data as well as over 300 contextual attributes associated with samples, organisms, environments and geological properties, among others. Moreover, MetaHCR implements the Minimum Information about any Sequence–hydrocarbon resource specification from the Genomic Standards Consortium; it integrates a user-friendly web interface and relational database model, and it enables the generation of complex custom search. MetaHCR has been tested with 36 publicly available metagenomic studies, and its modular architecture can be easily customized for other types of environmental and metagenomics studies.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2017

Physiological fidelity or model parsimony? The relative performance of reverse-toxicokinetic modeling approaches

Physiologically-based toxicokinetic (PBTK) models are often developed to facilitate in vitro to in vivo extrapolation (IVIVE) using a top-down, compartmental approach, favoring architectural simplicity over physiological fidelity despite the lack of general guidelines relating model design to dynamical predictions. Here we explore the impact of design choice (high vs. low fidelity) on chemical distribution throughout an animal’s organ system. Results We contrast transient dynamics and steady states of three previously proposed PBTK models of varying complexity in response to chemical exposure. The steady states for each model were determined analytically to predict exposure conditions from tissue measurements. Steady state whole-body concentrations differ between models, despite identical environmental conditions, which originates from varying levels of physiological fidelity captured by the models. These differences affect the relative predictive accuracy of the inverted models used in exposure reconstruction to link effects-based exposure data with whole-organism response thresholds obtained from in vitro assay measurements. Conclusions Our results demonstrate how disregarding physiological fideltiy in favor of simpler models affects the internal dynamics and steady state estimates for chemical accumulation within tissues, which, in turn, poses significant challenges for the exposure reconstruction efforts that underlie many IVIVE methods. Developing standardized systems-level models for ecological organisms would not only ensure predictive consistency among future modeling studies, but also ensure pragmatic extrapolation of in vivo effects from in vitro data or modeling exposure-response relationships.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1973

Research in mathematical theory of computation

Research progress in the following areas is reviewed: (1) new version of computer program LCF (logic for computable functions) including a facility to search for proofs automatically; (2) the description of the language PASCAL in terms of both LCF and in first order logic; (3) discussion of LISP semantics in LCF and attempt to prove the correctness of the London compilers in a formal way; (4) design of both special purpose and domain independent proving procedures specifically program correctness in mind; (5) design of languages for describing such proof procedures; and (6) the embedding of ideas in the first order checker.

Mccarthy, J.↗
NASA NTRS1982

Description of a mathematical model and computer simulation of separation of the nose cap from the solid rocket booster

A system of equations which models the motion of the Solid Rocket Booster Nose Cap upon separation is described. The computer program which utilizes these equations to generate nose cap trajectories is described in detail. Application of the program to simulate a rocket sled test of the nose cap separation is discussed and the results of the applications are presented. With the information given a user should be able to exercise the computer program with a minimum of effort.

Schwaniger, A. J., Jr.↗
NASA NTRS1990

Research in progress in applied mathematics, numerical analysis, and computer science

Research conducted at the Institute in Science and Engineering in applied mathematics, numerical analysis, and computer science is summarized. The Institute conducts unclassified basic research in applied mathematics in order to extend and improve problem solving capabilities in science and engineering, particularly in aeronautics and space.

Source record↗