Search NASA⌕ Search

SEARCH · Search NASA

Results for “Programming models”

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 505 records · Page 28

Reliability Analysis Model

RAM program determines probability of success for one or more given objectives in any complex system. Program includes failure mode and effects, criticality and reliability analyses, and some aspects of operations, safety, flight technology, systems design engineering, and configuration analyses.

Source record↗

Computing the Power-Density Spectrum for an Engineering Model

Computer program for calculating of power-density spectrum (PDS) from data base generated by Advanced Continuous Simulation Language (ACSL) uses algorithm that employs fast Fourier transform (FFT) to calculate PDS of variable. Accomplished by first estimating autocovariance function of variable and then taking FFT of smoothed autocovariance function to obtain PDS. Fast-Fourier-transform technique conserves computer resources.

Dunn, H. J.↗

Theoretical interpretation of the HEAO-3 observations of Cygnus X-3 under the HEAO-3 Guest Investigator Program

A model of the galactic X-ray source Cygnus X-3 (Cyg X-3) is presented which deviates from previous models by positing that the X-rays originate in a jet rather than a binary system consiting of an ordinary star and a collapsed object. In the new model, the 4.8 hour period of Cyg X-3 is caused by variable absorption which occurs as the jet precesses. The primary role of the accretion disk corona (ADC) in modulating Cyg X-3 radiation is to make the observed intensity of a blob of material in a jet appear dimmer by absorption. The needed derivation of the positional dependence of the density of the ADC is freed of some complications by assuming that only the inner regions of the disk are precessing, with a period shorter than 4.8 hours. This model permits the secondary star to be a supergiant, as indicated by the luminosity of the system. The model is especially helpful in interpreting production of radio outbursts and very high energy gamma rays.

Marscher, Alan P.↗

Using Space Weather Variability in Evaluating the Environment Design Specifications for NASA'S Constellation Program

Spectral models of solar particle events and trapped radiation belts are necessary for the design requirements of total ionizing radiation dose, single event effects, and spacecraft charging. Space radiation and plasma environment specifications for hardware design are necessarily conservative to assure system robustness for a wide range of space environments.

Coffey, Victoria N.↗

The Role of Theory and Modeling in the International Living with a Star Program

Today, theory and modeling play a critical role in our quest to understand the connection between solar eruptive phenomena, and their impacts in interplanetary space and in the near-Earth space environment. This new role is based on two developments, one related to the goal of basic physical understanding, and the other to space weather-related applications. When targeting physical our focus is shifting away from investigations aiming at basic discoveries, to missions and studies that address our basic understanding of processes we know to be important. For these studies, theory and models provide physical explanations that need to be verified or falsified by empirical evidence. Within this paradigm, a much more tight integration between theory modeling, and space flight mission design and execution is not only beneficial, but essential. One of the prime objectives of space weather research, on the other hand, is the prediction of space environmental conditions for the benefit of humans and their assets in near-Earth space and on the ground, as well as on solar system bodies like Mars that are of interest to exploration by humans. By its very nature, prediction requires modeling, which, in turn, requires understanding. We will present an overview of the role of theory and modeling within the International Living With a Star program. Specifically, we will focus on an assessment of present-day and future capabilities, as well as on strategies for tight integration of theory and modeling in space science investigations.

Hesse, M.↗

Rationale for NASA Planetary Exploration Program

The Planetary Mission Model, NASA's program of future solar system exploration for the years 1973-1990, is presented. The model is based on a continuation of the balanced exploration philosophy, tempered by a conception of the realities of technology availability and fiscal constraints. It envisions the continued use of existing spacecraft technology (i.e., Mariner, Viking, and Pioneer) with only evolutionary changes, but with the introduction of atmospheric probe technology in the late 70's. The Titan/Centaur vehicle would be in use through 1980, and solar-electric propulsion (SEP) capability would be introduced in about 1979. Beyond 1980, shuttle capability is assumed. A brief explanation of the rationale behind the sequences at the following targets is presented: Mercury, Venus, Mars, the outer planets, and comets and asteroids.

Rasool, I.↗

Three-dimensional axisymmetric ball model for the PC-TAP program

Spherical-geometry solids' thermal modeling is presently undertaken with a three-dimensional FEM method that can be used in conjunction with the IBM-PC Thermal Analyzer Program (TAP). The elements of the model's nodal network are spherical triangles having approximately equivalent volumes for transient cases, thereby decreasing computer run times. Attention is given to results for the three test cases to which the model has been applied, which are compared with results from analytical closed-form solutions. Absolute temperature errors not greater than 1 percent are indicated by the comparisons.

Pidcoke, L. H.↗

Improved scaling laws for stage inert mass space Propulsion systems. Volume 3: Propulsion synthesis program users and programmers manual

The analytical models developed for the Space Propulsion Automated Synthesis Modeling (SPASM) program are presented. Weight scaling laws developed during this study are incorporated into the program's scaling data bank. A detail listing, logic diagram and input/output formats are supplied for the SPASM program. Two test examples for one to four-stage vehicles performing different types of missions are shown to demonstrate the program's capability and versatility.

Source record↗

Multi-Dimensional Quantum Effect Simulation Using a Density-Gradient Model and Script-Level Programming Techniques

A density-gradient (DG) model is used to calculate quantum-mechanical corrections to classical carrier transport in MOS (Metal Oxide Semiconductor) inversion/accumulation layers. The model is compared to measured data and to a fully self-consistent coupled Schrodinger and Poisson equation (SCSP) solver. Good agreement is demonstrated for MOS capacitors with gate oxide as thin as 21 A. It is then applied to study carrier distribution in ultra short MOSFETs (Metal Oxide Semiconductor Field Effect Transistor) with surface roughness. This work represents the first implementation of the DG formulation on multidimensional unstructured meshes. It was enabled by a powerful scripting approach which provides an easy-to-use and flexible framework for solving the fourth-order PDEs (Partial Differential Equation) of the DG model.

Rafferty, Connor S.↗

Reliability analysis of large, complex systems using ASSIST

The SURE reliability analysis program is discussed as well as the ASSIST model generation program. It is found that semi-Markov modeling using model reduction strategies with the ASSIST program can be used to accurately solve problems at least as complex as other reliability analysis tools can solve. Moreover, semi-Markov analysis provides the flexibility needed for modeling realistic fault-tolerant systems.

Johnson, Sally C.↗

CAPRI (Computational Analysis PRogramming Interface): A Solid Modeling Based Infra-Structure for Engineering Analysis and Design Simulations

CAPRI is a CAD-vendor neutral application programming interface designed for the construction of analysis and design systems. By allowing access to the geometry from within all modules (grid generators, solvers and post-processors) such tasks as meshing on the actual surfaces, node enrichment by solvers and defining which mesh faces are boundaries (for the solver and visualization system) become simpler. The overall reliance on file 'standards' is minimized. This 'Geometry Centric' approach makes multi-physics (multi-disciplinary) analysis codes much easier to build. By using the shared (coupled) surface as the foundation, CAPRI provides a single call to interpolate grid-node based data from the surface discretization in one volume to another. Finally, design systems are possible where the results can be brought back into the CAD system (and therefore manufactured) because all geometry construction and modification are performed using the CAD system's geometry kernel.

Haimes, Robert↗

Electrophoretic separator for purifying biologicals

Mathematical expressions were developed to describe the interrelationships between operating requirements (capabilities), cell parameters, and system constraints in terms of design criteria definition. The mathematical model was programmed for computer solution. The model was exercised to identify performance-limiting characteristics, and analyses were conducted to predict operation in space of an experiment involving separation of four components. An engineering model of a flowing electrophoretic separator was constructed. The design is directed toward verifying improvements in resolution and throughput of a thicker cell than can be used on earth.

Source record↗

Health Monitoring for Airframe Structural Characterization

This study established requirements for structural health monitoring systems, identified and characterized a prototype structural sensor system, developed sensor interpretation algorithms, and demonstrated the sensor systems on operationally realistic test articles. Fiber-optic corrosion sensors (i.e., moisture and metal ion sensors) and low-cycle fatigue sensors (i.e., strain and acoustic emission sensors) were evaluated to validate their suitability for monitoring aging degradation; characterize the sensor performance in aircraft environments; and demonstrate placement processes and multiplexing schemes. In addition, a unique micromachined multimeasure and sensor concept was developed and demonstrated. The results show that structural degradation of aircraft materials could be effectively detected and characterized using available and emerging sensors. A key component of the structural health monitoring capability is the ability to interpret the information provided by sensor system in order to characterize the structural condition. Novel deterministic and stochastic fatigue damage development and growth models were developed for this program. These models enable real time characterization and assessment of structural fatigue damage.

Munns, Thomas E.↗

Modeling with Scala

The activities and the associated formalisms for modeling and programming have many commonalities. In this paper we emphasize this point of view by modeling two examples in the programming language Scala, which have previously been modeled in the VDM specification language, and the Promela modeling language of the SPIN model checker respectively. The latter Scala model uses an internal DSL for hierarchical state machines, and a simple randomized testing framework exposing the same errors as found with SPIN. We believe, as the examples illustrate, that this use of a modern programming language for modeling is promising, especially if utilizing internal DSLs.

Joshi, Rajeev↗