Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “model checking”

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,045 records · Page 58
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Modeling Transverse Space Charge effects in IOTA with pyORBIT

The role and mitigation of space charge effects are important aspects of the beam physics research to be performed at the Integrable Optics Test Accelerator (IOTA) at Fermilab. The impact of nonlinear integrability (partial and complete) on space charge driven incoherent and coherent resonances will be a new feature of this accelerator and has the potential to influence the design of future low energy proton synchrotrons. In this report we model transverse space charge effects using the PIC code pyORBIT. First we benchmark the single particle tracking results against MADX with checks on symplecticity, tune footprints, and dynamic aperture in a partially integrable lattice realized with a special octupole string insert. Our space charge calculations begin with an examination of the 4D symplecticity. Short term tracking is done first with the initial bare lattice and then with a matching of the rms values with space charge. Next, we explore slow initialization of charge as a technique to establish steady state and reduce emittance growth and beam loss following injection into a mismatched lattice. We establish values of space charge simulation parameters so as to ensure numerical convergence. Finally, we compare the simulated space charge induced tune shifts and footprints against theory.

43 PARTICLE ACCELERATORS↗
NASA NTRS1973

OAO battery data analysis

Summary, consolidation and analysis of specifications, manufacturing process and test controls, and performance results for OAO-2 and OAO-3 lot 20 Amp-Hr sealed nickel cadmium cells and batteries are reported. Correlation of improvements in control requirements with performance is a key feature. Updates for a cell/battery computer model to improve performance prediction capability are included. Applicability of regression analysis computer techniques to relate process controls to performance is checked.

Gaston, S.↗
NASA NTRS1987

Steady and transient least square solvers for thermal problems

This paper develops a hierarchical least square solution algorithm for highly nonlinear heat transfer problems. The methodology's capability is such that both steady and transient implicit formulations can be handled. This includes problems arising from highly nonlinear heat transfer systems modeled by either finite-element or finite-difference schemes. The overall procedure developed enables localized updating, iteration, and convergence checking as well as constraint application. The localized updating can be performed at a variety of hierarchical levels, i.e., degree of freedom, substructural, material-nonlinear groups, and/or boundary groups. The choice of such partitions can be made via energy partitioning or nonlinearity levels as well as by user selection. Overall, this leads to extremely robust computational characteristics. To demonstrate the methodology, problems are drawn from nonlinear heat conduction. These are used to quantify the robust capabilities of the hierarchical least square scheme.

Padovan, Joe↗
NASA NTRS1992

Light-element abundances in Population II dwarfs

This paper reviews the abundances of the light elements lithium, beryllium, and boron in main-sequence and subgiant, Population II stars. Li is important to cosmology because it is synthesized in the Big Bang, but is also used to study stellar structure. Beryllium is useful for studying galactic chemical evolution because its formation in the interstellar medium involves different physics to stellar nucleosynthesis, and it thus provides independent data on the evolution of the halo. Some (though not all) inhomogeneous Big Bang nucleosynthesis codes predict a significant primordial component to this element, so its observed abundance may constrain such models. Boron, observations of which became feasible with the operation of the Hubble Space Telescope, provides complementary data to Be, helping check the element ratios predicted by calculations of spallation reactions in the interstellar medium, and will indicate whether the observed Be abundance has an excess over the expected spallation component, indicating a possible primordial component.

Ryan, Sean G.↗
NASA NTRS1992

Variable-complexity aerodynamic-structural design of a high-speed civil transport wing

A variable-complexity strategy of combining simple and detailed analysis methods is presented for the design optimization of a high-speed civil transport (HSCT) wing. Two sets of results are shown: the aerodynamic design of the wing using algebraic weight equations for structural considerations, and optimization results of the internal wing structure for a fixed wing configuration. We show example results indicating that using simple analysis methods alone for the calculation of a critical constraint can allow an optimizer to exploit weaknesses in the analysis. The structural optimization results provide a valuable check for the weight equations used in the aerodynamic design. In addition, these results confirm the need for using simple, algebraic models in conjunction with more detailed analysis methods. A strategy of interlaced aerodynanic-structural design is proposed.

Hutchison, M. G.↗
NASA NTRS1937

Universal logarithmic law of velocity distribution as applied to the investigation of boundary layer and drag of streamline bodies at large Reynolds number

In the present paper we shall consider a figure of revolution, so that the formulas applicable to the more simple cases as, for example, a wing or flat plate will follow from our equations as corollaries. For checking the results of our theory, we made use of the data derived from the tests of Freeman on a 1/40-scale model of the airship "Akron" conducted in the large NACA wind tunnel. In the first part we shall derive the fundamental equation for a body of revolution according to the Karman theory in its original form, and in the second part we shall give all the comparisons of the results of tests with the modified theory.

Gurjienko, G↗
NASA NTRS1994

Reanalysis of X-ray emission from M87. 2: The multiphase medium

In a previous paper, we showed that a single-phase model for the gas around M87 simultaneously explained most available X-ray data. Total enclosed masses derived from the model, however, fell well below the determinations from optical measurements. In this paper, we consider possible solutions to the inconsistency, including two multiphase medium models for the gas and the consequences of systematic errors of the Einstein Focal Point Crystal Spectrometer (FPCS). First, we find that when constraints from optical mass determinations are not considered, the best-fit model to the X-ray data is always the single-phase model. Multiphase models or consideration of FPCS systematic errors are required only when optical mass constraints are included. We find that the cooling time model of White & Sarazin adequately explains the available X-ray data and predicts total masses which agree with optical measurements. An ad hoc power-law multiphase does not. This shows both that the existence of mass dropping out of the ambient phase is consistent with the data and that the cooling-time model gives a reasonable parameterization of the dropout rate. Our derived mass accretion rate is similar to previous determinations. The implications of this result for cluster mass determinations in general are discussed. We then consider 'self absorbing' models where we assume that material dropping out of the ambient medium goes completely into X-ray absorbing gas. The resulting internal absorption is small compared to Galactic absorption at most radii. The models are therefore indistinguishable from models with only Galactic absorption. We finally show that it is alternatively possible to simultaneously fit optical mass measurements and X-ray data with a single-phase model if some of the observed FPCS line fluxes are too high by the maximum systematic error. This possiblity can be checked with new data from satellites such as ASCA.

Tsai, John C.↗
NASA NTRS2009

Integrated System Health Management: Foundational Concepts, Approach, and Implementation

Implementation of integrated system health management (ISHM) capability is fundamentally linked to the management of data, information, and knowledge (DIaK) with the purposeful objective of determining the health of a system. It is akin to having a team of experts who are all individually and collectively observing and analyzing a complex system, and communicating effectively with each other in order to arrive to an accurate and reliable assessment of its health. This paper presents concepts, procedures, and a specific approach as a foundation for implementing a credible ISHM capability. The capability stresses integration of DIaK from all elements of a subsystem. The intent is also to make possible implementation of on-board ISHM capability, in contrast to a remote capability. The information presented is the result of many years of research, development, and maturation of technologies, and of prototype implementations in operational systems (rocket engine test facilities). The paper will address the following topics: ISHM Model of a system; detection of anomaly indicators; determination and confirmation of anomalies; diagnostic of causes and determination of effects; consistency checking cycle; sharing of health information; sharing of display information; storage and retrieval of health information; and example implementation.

Figueroa, Fernando↗
NASA NTRS2010

Integration Process for the Habitat Demonstration Unit

The Habitat Demonstration Unit (HDU) is an experimental exploration habitat technology and architecture test platform designed for analog demonstration activities The HDU project has required a team to integrate a variety of contributions from NASA centers and outside collaborators and poses a challenge in integrating these disparate efforts into a cohesive architecture To complete the development of the HDU from conception in June 2009 to rollout for operations in July 2010, a cohesive integration strategy has been developed to integrate the various systems of HDU and the payloads, such as the Geology Lab, that those systems will support The utilization of interface design standards and uniquely tailored reviews have allowed for an accelerated design process Scheduled activities include early fit-checks and the utilization of a Habitat avionics test bed prior to equipment installation into HDU A coordinated effort to utilize modeling and simulation systems has aided in design and integration concept development Modeling tools have been effective in hardware systems layout, cable routing and length estimation, and human factors analysis Decision processes on the shell development including the assembly sequence and the transportation have been fleshed out early on HDU to maximize the efficiency of both integration and field operations Incremental test operations leading up to an integrated systems test allows for an orderly systems test program The HDU will begin its journey as an emulation of a Pressurized Excursion Module (PEM) for 2010 field testing and then may evolve to a Pressurized Core Module (PCM) for 2011 and later field tests, depending on agency architecture decisions The HDU deployment will vary slightly from current lunar architecture plans to include developmental hardware and software items and additional systems called opportunities for technology demonstration One of the HDU challenges has been designing to be prepared for the integration of presently unanticipated systems Results of the HDU field tests will influence future designs of habitat systems.

Gill, Tracy↗
NASA NTRS2011

Ares I Scale Model Acoustic Tests Instrumentation for Acoustic and Pressure Measurements

The Ares I Scale Model Acoustic Test (ASMAT) was a development test performed at the Marshall Space Flight Center (MSFC) East Test Area (ETA) Test Stand 116. The test article included a 5% scale Ares I vehicle model and tower mounted on the Mobile Launcher. Acoustic and pressure data were measured by approximately 200 instruments located throughout the test article. There were four primary ASMAT instrument suites: ignition overpressure (IOP), lift-off acoustics (LOA), ground acoustics (GA), and spatial correlation (SC). Each instrumentation suite incorporated different sensor models which were selected based upon measurement requirements. These requirements included the type of measurement, exposure to the environment, instrumentation check-outs and data acquisition. The sensors were attached to the test article using different mounts and brackets dependent upon the location of the sensor. This presentation addresses the observed effect of the sensors and mounts on the acoustic and pressure measurements.

Vargas, Magda B.↗
NASA NTRSDate not supplied

Formal Methods in the Development of Highly Assured Software for Unmanned Aircraft Systems

In traditional software development methodologies, operational and functional requirements of systems are often specified in structured natural language notations. These restricted notations provide good documentation support, but only provide limited support for semantic analysis. These notations are generally not rich enough to unambiguously specify the requirements of safety-critical systems that, for example, involve complex numerical computations or that interact with the physical environment. Examples of these safety-critical systems are autonomous vehicles such as unmanned aircraft systems. This talk advocates the use of expressive formal logics, such as higher-order logic, to specify the operational and functional requirement of unmanned systems and to prove the correctness of these requirements. Semantic analysis of requirements written in higher-order logic is supported through the use of interactive theorem provers. Formal models serve as ideal reference implementations of functional requirements. Hence, formal logics enable software validation techniques where software implementations can be checked against functional requirements in a mechanical way. The Formal Methods group in the Safety-Critical Avionics Systems Branch at NASA Langley Research Center has conducted research on the development and application of formal verification techniques to safety-critical applications of interest to NASA for more than 30 years. This talk illustrates the use of formal methods in the development of highly-assured autonomous unmanned aircraft systems.

Formal Methods↗
DOE OSTI2023

Lorentz symmetry and IR structure of the BFSS matrix model

The BFSS matrix model relates flat space M-theory to a large N limit of matrix quantum mechanics describing N non-relativistic D0-branes. M-theory, being a theory of gravity in flat space, has a rich infrared structure that includes various soft theorems and an infinite set of conserved charges associated to asymptotic symmetries. In this work, we ask: to what extent is this infrared structure present in BFSS? We find that all the salient features concerning the infrared structure of M-theory carry over naturally to the quantum mechanics dual. Moreover, we demonstrate that the dual statement of the soft graviton theorem in the matrix model implies that D0-brane scattering amplitudes in BFSS enjoy the full 11d Lorentz symmetry of M-theory, a claim which has been long anticipated. We also offer several first-principle consistency checks for our findings, including a computation of the soft theorem which does not presuppose the BFSS duality and a non-trivial match between several known symmetries of M-theory and BFSS that appear naturally in this formalism. These calculations give non-perturbative evidence in support of the BFSS duality as a model of flat space holography.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

Relativistic strange stars in Tolman–Kuchowicz spacetime

Highlights: • We study relativistic strange star using Tolman–Kuchowicz metric. • Bag constant (55–75) MeV/fm{sup 3} remains within the predicted range for stable strange star. • Using observed values for mass and radius, we calculate different physical parameters. • This model satisfies energy conditions, TOV equations and all other stability criteria. • Solutions are completely free from any singularity and give stable stellar system. - Abstract: In this article we propose a relativistic model of a static spherically symmetric anisotropic strange star with the help of Tolman–Kuchowicz (TK) metric potentials (Tolman, 1939 and Kuchowicz, 1968). The form of the potentials are λ(r)=ln(1+ar{sup 2}+br{sup 4}) and ν(r)=Br{sup 2}+2lnC where a, b, B and C are constants which we have to evaluate using boundary conditions. We also consider the simplest form of the phenomenological MIT bag equation of state (EOS) to represent the strange quark matter (SQM) distribution inside the stellar system. Here, the radial pressure p{sub r} relates with the density profile ρ as follows, p{sub r}(r)=(1/3)[ρ(r)−4B{sub g}], where B{sub g} is the Bag constant. To check the physical acceptability and stability of the stellar system based on the obtained solutions, we have performed various physical tests. It is shown that the model satisfies all the stability criteria, including nonsingular nature of the density and pressure, implies stable nature. Here, the Bag constant for different strange star candidates are found to be (68–70) MeV/fm{sup 3} which satisfies all the acceptability criteria and remains in the experimental range.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1991

Development of a CFD Code for Analysis of Fluid Dynamic Forces in Seals

The aim is to develop a 3-D computational fluid dynamics (CFD) code for the analysis of fluid flow in cylindrical seals and evaluation of the dynamic forces on the seals. This code is expected to serve as a scientific tool for detailed flow analysis as well as a check for the accuracy of the 2D industrial codes. The features necessary in the CFD code are outlined. The initial focus was to develop or modify and implement new techniques and physical models. These include collocated grid formulation, rotating coordinate frames and moving grid formulation. Other advanced numerical techniques include higher order spatial and temporal differencing and an efficient linear equation solver. These techniques were implemented in a 2D flow solver for initial testing. Several benchmark test cases were computed using the 2D code, and the results of these were compared to analytical solutions or experimental data to check the accuracy. Tests presented here include planar wedge flow, flow due to an enclosed rotor, and flow in a 2D seal with a whirling rotor. Comparisons between numerical and experimental results for an annular seal and a 7-cavity labyrinth seal are also included.

Athavale, Mahesh M.↗
DOE OSTI2016

Investigation of methodology for uncertainty quantification of model parameters

Quantifying the uncertainty contributors of best-estimate thermal hydraulic code is getting more and more attention in safety analysis of nuclear industry during recent decades. Yet for uncertainties of certain model parameters which may not be directly measured, the quantification process is usually subjective and inaccurate. This paper investigates the statistical methodologies in order to get the probability density function (pdf) of model parameters more objectively based on observed experimental responses. The simplification of mathematical model is described for the parameter estimation, and solutions based on Bayesian theorem and Maximum Likelihood Estimation (MLE) are classified and demonstrated for both deterministic approach and stochastic approach. As an application, the uncertainties of model parameters related to reflood phenomena implemented in RELAP5 code are quantified. It is indicated that the statistical method which is independent of best-estimate code is feasible and easy to apply. And through the check of uncertainty propagation, it demonstrates that the uncertainty bands can envelope most of the experiment measurement with advantage of accuracy. (authors)

42 ENGINEERING↗
NASA NTRS1988

Application of a Comprehensive Analytical Model of Rotor Aerodynamics and Dynamics (CAMRAD) to the McDonnell Douglas AH-64A helicopter

A model of the AH-64A helicopter was generated in a Comprehensive Analytical Model of Rotorcraft Aerodynamics and Dynamics (CAMRAD) in an effort to validate its analytical capabilities for modeling a current advanced Army helicopter. The initial phase of the effort involved the generation of CAMRAD input files necessary for the complete aerodynamic, structural, and dynamic definition of the production AH-64A helicopter. The input files were checked by making comparisons of CAMRAD full helicopter trim and main rotor blade natural frequency predictions with those of full helicopter trim program, Blade Element Trim (BETRIM), and dynamic analysis code, Dynamic Analysis Research Tool (DART), respectively. The main thrust concerned the application of the AH-64A CAMRAD model thus developed and verified for main rotor blade structural loads predictions and comparison with DART analytical results. The investigation provided insight not only into the usefulness of CAMRAD for the AH-64A performance and dynamics prediction, but also into the limitations of the program for modeling advanced rotor and fuselage systems. The model development effort is discussed, the results of the CAMRAD correlation studies presented, and some general conclusions are offered on the applicability of CAMRAD for rotor aeroelastic loads prediction for current and future rotorcraft configurations.

Callahan, Cynthia B.↗
DOE OSTI2017

Two-loop free energy of three-dimensional antiferromagnets in external magnetic and staggered fields

Using a model-independent low-energy effective field theory, we calculate the free energy of three-dimensional antiferromagnets in a combination of mutually perpendicular external magnetic and staggered fields at the next-to-next-to-leading, two-loop order. Renormalization is carried out analytically, and the renormalization group invariance of the result is checked explicitly. The free energy is thus expressed solely in terms of temperature, the external fields, and a set of low-energy coupling constants, to be determined by experiment or by matching to the microscopic model of a given concrete material.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Atacama Cosmology Telescope: DR6 gravitational lensing and SDSS BOSS cross-correlation measurement and constraints on gravity with the 𝐸 𝐺 statistic

We derive new constraints on the 𝐸 𝐺 statistic as a test of gravity, combining the cosmic microwave background (CMB) lensing map estimated from Data Release 6 (DR6) of the Atacama Cosmology Telescope with Sloan Digital Sky Survey III Baryon Oscillation Spectroscopic Survey (SDSS BOSS) CMASS and LOWZ galaxy data. We develop an analysis pipeline to measure the cross-correlation between CMB lensing maps and galaxy data, following a blinding policy and testing the approach through null and consistency checks. By testing the equivalence of the spatial and temporal gravitational potentials, the 𝐸 𝐺 statistic can distinguish Λ⁢ CDM from alternative models of gravity. We find 𝐸 𝐺 ⁡(𝑧 eff = 0.555) = 0.3⁢1$^{+0.06}_{−0.05}$ for Atacama Cosmology Telescope (ACT) and CMASS data at 68.28% confidence level, and 𝐸 𝐺 ⁡(𝑧 eff = 0.316) = 0.4⁢9$^{+0.14}_{−0.11}$ for the ACT and LOWZ. Systematic errors are estimated to be 3% and 4%, respectively. Including CMB lensing information from Planck PR4 results in 𝐸 𝐺 ⁡(𝑧 eff = 0.555) = 0.3⁢4$^{+0.05}_{−0.05}$ with CMASS and 𝐸 𝐺 ⁡(𝑧 eff = 0.316) = 0.4⁢3$^{+0.11}_{−0.09}$ with LOWZ. These are consistent with predictions for the Λ⁢ CDM model that best fits the Planck CMB anisotropy and SDSS BOSS baryon acoustic oscillations (BAO), where 𝐸$^{GR}_{𝐺⁡}$(𝑧 eff =0.555) =0.401 ± 0.005 for CMB lensing combined with CMASS and 𝐸$^{GR}_{𝐺}$⁡(𝑧 eff = 0.316) = 0.452 ± 0.005 combined with LOWZ. We also find 𝐸 𝐺 to be scale independent, with probability to exceed >5%, as predicted by general relativity. The methods developed in this work are also applicable to improved future analyses with upcoming spectroscopic galaxy samples and CMB lensing measurements.

79 ASTRONOMY AND ASTROPHYSICS↗