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 1,189 records · Page 66

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.↗

Sizing Energy Storage System for Energy Arbitrage in Extreme Fast Charging Station

This paper proposes a non-linear programming (NLP) model to optimally size the energy storage system (ESS) and obtain an optimal energy management for energy arbitrage of an extreme fast charging station (XFCS) for electric vehicles (EVs), with minimized total cost of XFCS operation and ESS investment. Different from most reported work on sizing the ESS for EV charging stations, this paper proposes a pragmatic approach to model the ESS life degradation and accurately count the ESS cycles. Moreover, this work incorporates the peak demand charges in the operational cost of the charging station which are often overlooked in the literature. The proposed model is formulated and solved using AIMMS. Finally, a thorough sensitivity analysis is performed to offer insights into how different input parameters impact the ESS sizing and savings from the energy arbitrage perspective.

25 ENERGY STORAGE↗

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.↗

The overview in safety review of human factors engineering and control room design in chinese AP1000 nuclear power plant - 174

The first AP1000 nuclear power plant is constructed in Sanmen county in Zhejiang Province in China, which has creative and distinctive design characteristics. Human factors engineering disciplines are applied to the design of the AP1000. In addition to the elements of the program review model(including human factors engineering program management, operating experience review, functional requirements analysis and allocation, task analysis, staffing, integration of human reliability analysis with human factors engineering, human system interface design, procedure development, training program development, human system interface verification and validation, design implementation, human performance monitoring),the minimum inventory of controls, displays, and alarms present in the main control room and at the remote shutdown workstation. These contents mentioned above are reviewed according to standards, rules and regulations. This article introduces review process, and several important issues during the reviewing are described in detail. These issues include many elements, such as operating experience review, task analysis, human system interface design, verification and validation,and so on. This paper emphasizes on the main control room design(including environment and layout). Background noise in the actual main control room may exceed too much to design value. Another important issue is about main control room habitability systems(VES) changes to satisfy post-actuation performance requirements in AP1000 design change proposal. All the wall panel displays will be closed in this design change proposal. Review process and proposal are described in the paper. Since the AP1000 unit in China is the first constructed all over the world, verification and validation are especially important and necessary. The plan of verification and validation, the results summary report of verification and validation, the report of human engineering discrepancies are focus attention. Verification and validation in human factors engineering include HSI task support verification, HFE design verification and integrated system validation. This paper introduces the review process of verification and validation, the issues found in verification and validation. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

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↗