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,225 records · Page 68

Stress analysis of 27% scale model of AH-64 main rotor hub

Stress analysis of an AH-64 27% scale model rotor hub was performed. Component loads and stresses were calculated based upon blade root loads and motions. The static and fatigue analysis indicates positive margins of safety in all components checked. Using the format developed here, the hub can be stress checked for future application.

Hodges, R. V.↗

Software development predictors, error analysis, reliability models and software metric analysis

The use of dynamic characteristics as predictors for software development was studied. It was found that there are some significant factors that could be useful as predictors. From a study on software errors and complexity, it was shown that meaningful results can be obtained which allow insight into software traits and the environment in which it is developed. Reliability models were studied. The research included the field of program testing because the validity of some reliability models depends on the answers to some unanswered questions about testing. In studying software metrics, data collected from seven software engineering laboratory (FORTRAN) projects were examined and three effort reporting accuracy checks were applied to demonstrate the need to validate a data base. Results are discussed.

Basili, Victor↗

Computation of turbulent flow in a thin liquid layer of fluid involving a hydraulic jump

Numerically computed flow fields and free surface height distributions are presented for the flow of a thin layer of liquid adjacent to a solid horizontal surface that encounters a hydraulic jump. Two kinds of flow configurations are considered: two-dimensional plane flow and axisymmetric radial flow. The computations used a boundary-fitted moving grid method with a k-epsilon model for the closure of turbulence. The free surface height was determined by an optimization procedure which minimized the error in the pressure distribution on the free surface. It was also checked against an approximate procedure involving integration of the governing equations and use of the MacCormack predictor-corrector method. The computed film height also compared reasonably well with previous experiments. A region of recirculating flow was found to be present adjacent to the solid boundary near the location of the jump, which was caused by a rapid deceleration of the flow.

Rahman, M. M.↗

Development of biomechanical models for human factors evaluations

Computer aided design (CAD) techniques are now well established and have become the norm in many aspects of aerospace engineering. They enable analytical studies, such as finite element analysis, to be performed to measure performance characteristics of the aircraft or spacecraft long before a physical model is built. However, because of the complexity of human performance, CAD systems for human factors are not in widespread use. The purpose of such a program would be to analyze the performance capability of a crew member given a particular environment and task. This requires the design capabilities to describe the environment's geometry and to describe the task's requirements, which may involve motion and strength. This in turn requires extensive data on human physical performance which can be generalized to many different physical configurations. PLAID is developing into such a program. Begun at Johnson Space Center in 1977, it was started to model only the geometry of the environment. The physical appearance of a human body was generated, and the tool took on a new meaning as fit, access, and reach could be checked. Specification of fields-of-view soon followed. This allowed PLAID to be used to predict what the Space Shuttle cameras or crew could see from a given point.

Woolford, Barbara↗

BIO-Plex Information System Concept

This paper describes a suggested design for an integrated information system for the proposed BIO-Plex (Bioregenerative Planetary Life Support Systems Test Complex) at Johnson Space Center (JSC), including distributed control systems, central control, networks, database servers, personal computers and workstations, applications software, and external communications. The system will have an open commercial computing and networking, architecture. The network will provide automatic real-time transfer of information to database server computers which perform data collection and validation. This information system will support integrated, data sharing applications for everything, from system alarms to management summaries. Most existing complex process control systems have information gaps between the different real time subsystems, between these subsystems and central controller, between the central controller and system level planning and analysis application software, and between the system level applications and management overview reporting. An integrated information system is vitally necessary as the basis for the integration of planning, scheduling, modeling, monitoring, and control, which will allow improved monitoring and control based on timely, accurate and complete data. Data describing the system configuration and the real time processes can be collected, checked and reconciled, analyzed and stored in database servers that can be accessed by all applications. The required technology is available. The only opportunity to design a distributed, nonredundant, integrated system is before it is built. Retrofit is extremely difficult and costly.

Jones, Harry↗

The Habitat Demonstration Unit System Integration

The Lunar Surface System Habitat Demonstration Unit (HDU) will require the project team to integrate a variety of contributions from NASA centers and potential outside collaborators and poses a challenge in integrating these disparate efforts into a cohesive architecture. To accomplish the development of the HDU from conception in June 2009 to rollout for operations in July 2010, the HDU team is using several strategies to mitigate risks and bring the separate efforts together. First, a set of design standards is being developed to define the interfaces between the various systems of HDU and to the payloads, such as the Geology Lab, that those systems will support. Scheduled activities such as early fit-checks and the utilization of a Habitat avionics test bed prior to equipment installation into HDU. A coordinated effort to establish simplified Computer Aided Design standards and the utilization of a modeling and simulation systems will aid in design and integration concept development. Finally, 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.

Kennedy, Kriss J.↗

LCMSNet v. 3.0

LCMSnet communicates with, controls and orchestrates devices for high pressure liquid chromatography. In developing cutting edge chromatographic methods it was apparent that components from different manufacturers were required. Autosamplers, valves, and pumps all had to be controlled and configured to run unattended and in the highest throughput possible. The power of LCMSnet is the ability so build methods in a simple step by step fashion and then the software uses a scheduling algorithm to run the devices as efficiently as possible without crashing critical functions. This latest iteration of the software allows for modeling of the valves and incorporates logic that will report if a fluid path is undesirable. LCMSnet has reduced method development time from days to minutes and allows the ability to check configurations before any valves or pumps are connected.

Source record↗

Development of a high fidelity model of the CROCUS experimental reactor

Measurements of scalar flux distributions with fine spatial and energy resolutions are needed to remedy one of the validation shortcomings of the novel neutronics full core solvers, such as MPACT and nTRACER. While a very detailed resolution of the flux can be calculated with such codes, only a limited experimental data set is available to check their accuracy. Such type of measurements are on-going at the zero power reactor CROCUS, operated at the Laboratory for Reactor Physics and System Behaviours of the EPFL, thanks to the development of advanced miniature neutron detection systems. This kind of experimental data would provide the community with a suitable benchmark for the validation of high fidelity neutronics solvers. In parallel, a multi-physics solver for steady-state and transient analysis of nuclear reactors, named GeN-Foam, has been developed. Based on the finite-volume OpenFOAM library, GeN-Foam provides us with enough flexibility to analyze non-conventional reactor geometries such as that of CROCUS. While CROCUS heterogeneities cannot be modeled by MPACT and nTRACER for the moment, GeN-Foam offers a unique opportunity to build a high fidelity model which mimics these codes' method to reach sub-pin simulation resolution. This document aims at describing the work achieved to get from the existing GeN-Foam model of the CROCUS reactor based on a structured mesh and using the neutron diffusion, the first high-fidelity model using discrete ordinates method as an approximation to neutron transport and an unstructured mesh for inter lattice water gap description and sub-pin heterogeneous modeling. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Light resonances and the low-q2 bin of RK*$$ {R}_{K^{*}} $$

LHCb has reported hints of lepton-flavor universality violation in the rare decays $B \to K^{(*)} \ell^+\ell^-$, both in high- and low-$q^2$ bins. Although the high-$q^2$ hint may be explained by new short-ranged interactions, the low-$q^2$ one cannot. We thus explore the possibility that the latter is explained by a new light resonance. We find that LHCb's central value of $R_{K^*}$ in the low-$q^2$ bin is achievable in a restricted parameter space of new-physics scenarios in which the new, light resonance decays preferentially to electrons and has a mass within approximately $10$ MeV of the di-muon threshold. Interestingly, such an explanation can have a kinematic origin and does not require a source of lepton-flavor universality violation. A model-independent prediction is a narrow peak in the differential $B \to K^* e^+e^-$ rate close to the di-muon threshold. If such a peak is observed, other observables, such as the differential $B \to K e^+e^-$ rate and $R_K$, may be employed to distinguish between models. However, if a low-mass resonance is not observed and the low-$q^2$ anomaly increases in significance, then the case for an experimental origin of the lepton-flavor universality violating anomalies would be strengthened. Finally, to further explore this, we also point out that, in analogy to $J/\psi$ decays, $e^+e^-$ and $\mu^+\mu^-$ decays of $\phi$ mesons can be used as a cross check of lepton-flavor universality by LHCb with $5$ fb$^{-1}$ of integrated luminosity.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Low-energy effective field theory below the electroweak scale: operators and matching

The gauge-invariant operators up to dimension six in the low-energy effective field theory below the electroweak scale are classified. There are 70 Hermitian dimension-five and 3631 Hermitian dimension-six operators that conserve baryon and lepton number, as well as ΔB = ±ΔL = ±1, ΔL = ±2, and ΔL = ±4 operators. The matching onto these operators from the Standard Model Effective Field Theory (SMEFT) up to order 1/Λ 2 is computed at tree level. SMEFT imposes constraints on the coefficients of the low-energy effective theory, which can be checked experimentally to determine whether the electroweak gauge symmetry is broken by a single fundamental scalar doublet as in SMEFT. Furthermore our results, when combined with the one-loop anomalous dimensions of the low-energy theory and the one-loop anomalous dimensions of SMEFT, allow one to compute the low-energy implications of new physics to leading-log accuracy, and combine them consistently with high-energy LHC constraints.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Fluid Flow, Dissolution, and Mixing Phenomena in Argon-Stirred Steel Ladles

In the current study, the multiphase fluid flow in argon-stirred steel ladles is simulated using an Eulerian–Lagrangian two-phase approach. The momentum source and the turbulent kinetic energy source due to the motion of the bubble are considered for the liquid phase. Argon bubbles are treated as discrete phase particles, and the interfacial forces between the bubbles and the liquid phase; the dependence of the gas density and the bubble diameter on the temperature and the static pressure; and the bubble size distribution are considered. When the fluid flow reaches the quasi-steady state, the ferroalloy melting and mixing phenomena is also modeled. The melting time and the trajectory length of each ferroalloy particle are recorded using a user-defined function (UDF). Local mixing time is predicted in the entire computational domain by checking the mixing criteria in every cell. The effects of gas flow rate, porous plug location, and separation angle of two porous plugs on the fluid flow and the mixing phenomena are investigated. The results show that the flow intensity increases, and the mixing time decreases with the increasing gas flow rate. The optimal porous plug’s radial position with one porous plug is 0.50R for its best mixing condition. When two porous plugs are adopted, the separation angle of 90 deg is recommended to improve the flow field and mixing phenomena.

42 ENGINEERING↗

A Verification Suite of Test Cases for the Barotropic Solver of Ocean Models

Abstract The development of any atmosphere or ocean model warrants a suite of test cases (TCs) to verify its spatial and temporal discretizations, order of accuracy, stability, reproducibility, portability, scalability, etc. In this paper, we present a suite of shallow water TCs designed to verify the barotropic solver of atmosphere and ocean models. These include the non‐dispersive coastal Kelvin wave; the dispersive inertia‐gravity wave; the dispersive planetary and topographic Rossby waves; the barotropic tide; and a non‐linear manufactured solution. These TCs check the implementation of the linear pressure gradient term; the linear constant or variable‐coefficient Coriolis and bathymetry terms; and the non‐linear advection terms. Simulation results are presented for a variety of time‐stepping methods as well as two spatial discretizations: a mimetic finite volume method based on the TRiSK scheme, and a high‐order discontinuous Galerkin spectral element method. The experimental procedure for conducting these numerical experiments is detailed. It underscores several key considerations that vary depending on the chosen spatial discretization method. Finally, convergence studies of every TC are conducted with refinement in both space and time, only in space, and only in time. The convergence slopes match the expected theoretical predictions.

54 ENVIRONMENTAL SCIENCES↗

Cyber Security Analysis for Nuclear Reactor Control Systems (Final Technical Report)

This project investigated the cyber-security impacts of moving from an all analog, point-to-point, instrumentation and control (I&C) system to a digital I&C system based on Modbus and a shared communication medium. A formalism called a hybrid attack graph was expanded to support the nuclear research reactor system. The hybrid attack graph allows one to check a system for vulnerabilities, in this case cyber-security vulnerabilities, and to document the attack vectors (scenarios) causing those vulnerabilities. In parallel, a simulation of the system was developed to model both the physical reactor parameters and operations, as well as the network interconnects and communications. This simulation platform was modeled on the nuclear research reactor located at Washington State University. The simulation platform provided a sandbox to evaluate and quantify the impact of identified and proposed vulnerabilities in the system and to determine the effectiveness of countermeasures at stopping these attacks. The simulation and hybrid attack graph tools were integrated to provide a streamlined process of generating attack scenarios, playing those scenarios out in the simulation, and then analyzing the results to correlate system state to states in the hybrid attack graph. This process was used to (1) quantify the impact of attack scenarios and (2) to determine if the system moved through the hybrid attack graph as anticipated. The hybrid attack graph tool was extended and customized to produce a tool to automatically identify critical assets (CAs) and critical digital assets (CDAs) as defined by NRC Regulatory Guide 5.71. This tool was verified using the nuclear research reactor at Washington State University. Finally, a series of educational modules covering the findings of the different aspects of this research have been created.

97 MATHEMATICS AND COMPUTING↗

Skylab orbital lifetime prediction and decay analysis

A record (from preflight planning to earth impact) of skylab's orbital lifetime predictions, its actual decay and analysis are presented. Skylab provided a unique opportunity to develop, confirm and check out procedures and computer programs used for predicting lifetime and reentry. It provided verification of aerodynamic environment which was predicted for several aerodynamic configurations. It also provided data on the density model's reaction to rapidly changing solar flux over relatively short time periods. The effects of solar flux (and the uncertainty in the solar flux predictions) on orbital lifetime are discussed.

Dreher, P. E.↗

DSS 14 64-meter antenna. Computed RF pathlength changes under gravity loadings

Using a computer model of the reflector structure and its supporting assembly of the 64-m antenna rotating about the elevation axis, the radio frequency (RF) pathlengths changes resulting from gravity loadings were computed. A check on the computed values was made by comparing the computed foci offsets with actual field readings of the Z or axial focussing required for elevation angle changes.

Katow, M. S.↗

Preliminary calibration and test results from the National Transonic Facility

The National Transonic Facility (NTF) was operated to design condition of 120 million Reynolds number at a Mach number of 1.0. All systems were checked out except plenum isolation valves; modifications are being made to heaters on the actuators. Initial steady-state calibration indicates excellent steady flow characteristics. The first test of the Pathfinder 1 model indicated significant Reynolds number effects. Some effect of temperature on instrumentation were obtained. The cause of these effects is being evaluated.

Mckinney, Linwood W.↗

Geometrically Nonlinear Finite Element Analysis of a Composite Space Reflector

Lightweight aerospace structures, such as low areal density composite space reflectors, are highly flexible and may undergo large deflection under applied loading, especially during the launch phase. Accordingly, geometrically nonlinear analysis that takes into account the effect of finite rotation may be needed to determine the deformed shape for a clearance check and the stress and strain state to ensure structural integrity. In this study, deformation of the space reflector is determined under static conditions using a geometrically nonlinear solid shell finite element model. For the solid shell element formulation, the kinematics of deformation is described by six variables that are purely vector components. Because rotational angles are not used, this approach is free of the limitations of small angle increments. This also allows easy connections between substructures and large load increments with respect to the conventional shell formulation using rotational parameters. Geometrically nonlinear analyses were carried out for three cases of static point loads applied at selected points. A chart shows results for a case when the load is applied at the center point of the reflector dish. The computed results capture the nonlinear behavior of the composite reflector as the applied load increases. Also, they are in good agreement with the data obtained by experiments.

Lee, Kee-Joo↗

X-Ray Absorbed, Broad-Lined, Red AGN and the Cosmic X-Ray Background

We have obtained XMM spectra for five red, 2MASS AGN, selected from a sample observed by Chandra to be X-ray bright and to cover a range of hardness ratios. Our results confirm the presence of substantial absorbing material in three sources which have optical classifications ranging from Type 1 to Type 2, with an intrinsically flat (hard) power law continuum indicated in the other two. The presence of both X-ray absorption and broad optical emission lines with the usual strength suggests either a small (nuclear) absorber or a favored viewing angle so as to cover the X-ray source but not the broad emission line region (BELR). A soft excess is detected in all three Type 1 sources. We speculate that this soft X-ray emission may arise in an extended region of ionized gas, perhaps linked with the polarized (scattered) light which is a feature of these sources. The spectral complexity revealed by XMM emphasizes the limitations of the low S/N Chandra data. Overall, the new XMM results strengthen our conclusions (Wilkes et al. 2002) that the observed X-ray continua of red AGN are unusually hard at energies greater than 2 keV. Whether due to substantial line-of-sight absorption or to an intrinsically hard or reflection-dominated spectrum, these 'red' AGN have an observed spectral form consistent with contributing significantly to the missing had absorbed population of the Cosmic X-ray Background (CXRB). When absorption and or reflection is taken into account, all these AGN have power law slopes typical of broad-line (Type 1) AGN (Gamma approximately 1.9). This appears to resolve the spectral paradox which for so long has existed between the CXRB and the AGN thought to be the dominant contributors. It also suggests two scenarios whereby Type 1 AGN/QSOs may be responsible for a significant fraction of the CXRB at energies above 2 keV: 1) X-ray absorbed AGN/QSOs with visible broad emission lines; 2) AGN/QSOs with complex spectra whose hardness greater than 2 keV is not detectable in the typically low S/N data of X-ray surveys. Even if absorption is present in only half of the population, the large number of 'red' AGN suggests a development of unification models, where the continuum source is surrounded, over a substantial solid angle, by the wind or atmosphere of an accretion disk/torus. X-ray observations of such AGN not only provide a check on the presence of absorption, but also a unique probe of the absorbing material. Improved information on their space density, in particular as a function of redshift, will soon be provided by Spitzer-Chandra wide area surveys, allowing better estimates of both the importance of red AGN to the full AGN population and their contribution to the CXRB.

Mushotzky, Richard↗