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 685 records · Page 38

Heating from free-free absorption and the mass-loss rate of the progenitor stars to supernovae

An accurate determination of the mass-loss rate of the progenitor stars to core-collapse supernovae is often limited by uncertainties pertaining to various model assumptions. It is shown that under conditions when the temperature of the circumstellar medium is set by heating due to free-free absorption, observations of the accompanying free-free optical depth allow a direct determination of the mass-loss rate from observed quantities in a rather model-independent way. The temperature is determined self-consistently, which results in a characteristic time dependence of the free-free optical depth. This can be used to distinguish free-free heating from other heating mechanisms. Since the importance of free-free heating is quite model dependent, this also makes possible several consistency checks of the deduced mass-loss rate. It is argued that the free-free absorption observed in SN 1993J is consistent with heating from free-free absorption. The deduced mass-loss rate of the progenitor star is, approximately, 10{sup –5} M {sub ☉} yr{sup –1} for a wind velocity of 10 km s{sup –1}.

79 ASTRONOMY AND ASTROPHYSICS↗

Collective Risk Ranking of Highway Segments on the Basis of Severity-Weighted Crash Rates

This study is intended to focus on the major factors affecting traffic crash rates and severity levels, in addition to identifying crash-prone locations (i.e., black spots) based on the two indicators. The available crash data for different road segments used for the analysis were obtained from the Washington state database provided by the Highway Safety Information System (HSIS) for the years 2006 to 2011. A Random Forest (RF) classifier was used to predict the outcome level of crash severity, while crash rates were predicted by applying RF regressor. Certain features were selected for each model besides the abstraction of new features to check if there are unobserved correlations affecting the independent variables, such as accounting for the number and weight of crashes within 1 km2 area by implementing the Getis-Ord Gi∗ index. Moreover, to calculate the collective risk (CR) score, crash rates were adjusted to incorporate crash severity weights (cost per severity type) and regression-to-the-mean (RTM) bias via Empirical Bayes (EB) method. Finally, segments were ranked according to their CR score.

Li, Dawei↗

TestSNAP

TestSNAP is a stand-alone prototype of the SNAP force kernel used in the LAMMPS molecular dynamics code. It contains synthetic input data (neighbor atom positions) and reference output data (forces on atoms) for several different SNAP models. The prototype performs the force calculation repeatedly, checking the results against the reference data. At the end it reports the grind time [msec/atomstep] and RMS force error [eV/A]. This allows performance experts to quickly test new hardware and software strategies, obtain a realistic performance estimate and verify that the computation was performed correctly. SAND2019-12243 M Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy's National Nuclear Security Administration under contract DE-NA0003525.

Thompson, Aidan↗

Truth of Varying Shades: Analyzing Language in Fake News and Political Fact-Checking

We present an analytic study on the language of news media in the context of political fact-checking and fake news detection. We compare the language of real news with that of satire, hoax, and propaganda to find linguistic cues for untruthful text. To probe the feasibility of automatic political fact-checking, we present a case study based on PolitiFact.com using their factuality judgments on a 6-point scale. Experimental results show that while media fact-checking remains to be an open research question, stylistic cues can help determine the truthfulness of text.

fact-checking↗

Reducing Memory Consumption in Calico with Shared Memory

This document details the work to reduce memory consumption in Calico. Calico is SimTools’ Constructive Solid Geometry (CSG) and geometry painting library. It is primarily used to paint material volume fractions in the Eulerian meshes of the physics codes. Calico provides point-in-body checks for the geometry supplied by an Oso model, which are then aggregated by the host codes. In addition, Calico can be used to build Oso models and is used by Ingen for that purpose. Oso models, and thus Calico, provide support for various CSG primitives such as spheres, cylinders, surfaces generated by rotating tabular curve data, and STL files as well as binary combinations of those primitives. Prior to refactoring Calico will run out of memory on CTS-1 machines when 36 MPI ranks are used per node when reading STL models on the order of 1.5 GB. This limitation is a bottleneck in designer workflow. This problem has been alleviated through the use of data structures to both reduce memory consumption and to leverage MPI-3 shared memory. This report details the data structures targeted for refactoring in Calico, the methods and implementation details for reducing memory consumption and leveraging shared memory, and results for one test problem. Results show a memory reduction when loading a 1 GB STL file by a factor of 27.5, from 93.4 to 3.4 GB.

97 MATHEMATICS AND COMPUTING↗

An 810 ft/sec soil impact test of a 2-foot diameter model nuclear reactor containment system

A soil impact test was conducted on a 880-pound 2-foot diameter sphere model. The impact area consisted of back filled desert earth and rock. The impact generated a crater 5 feet in diameter by 5 feet deep. It buried itself a total of 15 feet - as measured to the bottom of the model. After impact the containment vessel was pressure checked. No leaks were detected nor cracks observed.

Puthoff, R. L.↗

Rolling moments in a trailing vortex flow field

Pressure distributions are presented which were measured on a wing in close proximity to a tip vortex of known structure generated by a larger, upstream semispan wing. Overall loads calculated by integration of these pressures are checked by independent measurements made with an identical model mounted on a force balance. Several conventional methods of wing analysis are used to predict the loads on the following wing. Strip theory is shown to give uniformly poor results for loading distribution, although predictions of overall lift and rolling moment are sometimes acceptable. Good results are obtained for overall coefficients and loading distribution by using linearized pressures in vortex-lattice theory in conjunction with a rectilinear vortex. The equivalent relation from reverse-flow theory that can be used to give economic predictions for overall loads is presented.

Mcmillan, O. J.↗

Rolling moments in a trailing vortex flow field

Pressure distributions are presented which were measured on a wing in close proximity to a tip vortex of known structure generated by a larger, upstream semispan wing. Overall loads calculated by integration of these pressures are checked by independent measurements made with an identical model mounted on a force balance. Several conventional methods of wing analysis are used to predict the loads on the following wing. Strip theory is shown to give uniformly poor results for loading distribution, although predictions of overall lift and rolling moment are sometimes acceptable. Good results are obtained for overall coefficients and loading distribution by using linearized pressures in vortex-lattice theory in conjunction with a rectilinear vortex. The equivalent relation from reverse-flow theory that can be used to give economic predictions for overall loads is presented.

Mcmillan, O. J.↗

Dynamics of an experimental two bladed horizontal axis wind turbine with blade cyclic pitch variation

The turbine under study incorporates the combination of two features: the application of blade cyclic pitch variation; and the use of yaw angle control for rotor speed and torque regulation. Due to its emasculation by passive cyclic pitch variation the rotor can be rapidly yawed without encountering gyroscopic and aerodynamic hub moments and without noticeable out of plane excursions. The two bladed upwind rotor is vane stabilized and of very simple and rugged design. The principle was first checked out with a small scale wind tunnel model and then tested in the atmosphere with a 7.6 meter diameter experimental fully instrumented wind turbine driving a 3 phase alternator. The test results are summarized with respect to structural dynamics and yaw dynamics.

Hotenemser, K. H.↗

Subsonic pressure distributions near a wing-fin juncture on a supersonic arrow-wing configuration with wing-mounted vertical fins

A generic supersonic arrow-wing configuration has been extensively studied to develop a consistent experimental data base to aid in verifying analytical prediction methods. One of the wing configurations studied was a twisted and cambered wing with wing-mounted vertical fins and trailing-edge flaps. The pressure data obtained on that configuration was limited in the wing-fin juncture region, and no pressures were obtained on the fin itself. However, detailed data in the juncture region and on the fin are essential to check out the analytical prediction methods. Therefore, the model was modified to provide details of the juncture pressure field as well as pressures on the fin. The results of this experimental investigation showed that the addition of a fin helped improve the wing pressure distribution outboard of the fin. Deflection of the trailing-edge flap did not adversely affect this trend. The pressure distributions on the vertical fin were generally affected more by change in angle of attack than by flap deflection. The spanwise pressure distribution on the fin itself indicated a load reversal with angle of attack.

Huffman, J. K.↗

Calculation of secondary electron trajectories in multistage depressed collectors for microwave amplifiers

Computational procedures are reported for treating power losses due to secondary electrons in multistage depressed collectors (MDC) for traveling wave tubes (TWT) and other O-type electron tubes. The MDC is modeled with an advanced, multidimensional computer program. Representative beams of secondary electrons are then injected at the points of impact of the primary beams. Separate programs are used to calculate representative beams of high-energy primary electron beams and of low-energy true secondaries. The recomputation of the MDC model including the true secondary beam allows determination of the secondary emission losses, and, if necessary, redesign of the MDC to improve performance. Recomputation of the MDC model including the primary beams is used to check on possible backstreaming from the MDC to the RF interaction structure of the tube. A comparison with experimentally measured values of TWT and MDC efficiencies is made.

Force, Dale A.↗

Advanced electromagnetic methods for aerospace vehicles

During this period the research program addressed the following three topics: (1) composite materials; (2) precipitation static (P-Static); and (3) antenna technology. On the topic of Composite Materials our main efforts were directed toward making measurements on several new samples of composite materials made available to ASU by Stanford Research Institute (SRI) through the efforts of Mr. Frank Casler of AVRADA. These samples can be classified into three distinct materials with each material having its own distinct electrical properties. In addition, attempts were made to make predictions of the effects on antenna patterns by composite materials. This will take a greater emphasis in the next reporting period. In Precipitation Static (P-Static), the main effort was devoted toward developing a Voltage Finite-Difference Time-Domain computer code to account for the voltage variation on a conducting body as the primary source of corona discharge, instead of the electric field. Due to complexities stemming from the interactions between the potentials, the fields, and current sources, the decision was made to begin with a simple two-dimensional problem without the corona discharge and check our programs in a series of simple models, culminating in the full corona discharge problem. This report deals with the first stage of such development. During this reporting period, the main effort in Antenna Technology was toward the design, fabrication, and testing of a cavity-backed slot antenna using ferrite material. Using the ferrite material available to us during this period, the resonances of this antenna were around 5 and 8 GHz. Attempts will be made to model such an antenna and to lower its resonance down into the VHF and UHF bands.

Balanis, Constantine A.↗

Installed Transonic 2D Nozzle Nacelle Boattail Drag Study

The Transonic Nozzle Boattail Drag Study was initiated in 1995 to develop an understanding of how external nozzle transonic aerodynamics effect airplane performance and how strongly those effects are dependent on nozzle configuration (2D vs. axisymmetric). MDC analyzed the axisymmetric nozzle. Boeing subcontracted Northrop-Grumman to analyze the 2D nozzle. AU participants analyzed the AGARD nozzle as a check-out and validation case. Once the codes were checked out and the gridding resolution necessary for modeling the separated flow in this region determined, the analysis moved to the installed wing/body/nacelle/diverter cases. The boat tail drag validation case was the AGARD B.4 rectangular nozzle. This test case offered both test data and previous CFD analyses for comparison. Results were obtained for test cases B.4.1 (M=0.6) and B.4.2 (M=0.938) and compared very well with the experimental data. Once the validation was complete a CFD grid was constructed for the full Ref. H configuration (wing/body/nacelle/diverter) using a combination of patched and overlapped (Chimera) grids. This was done to ensure that the grid topologies and density would be adequate for the full model. The use of overlapped grids allowed the same grids from the full configuration model to be used for the wing/body alone cases, thus eliminating the risk of grid differences affecting the determination of the installation effects. Once the full configuration model was run and deemed to be suitable the nacelle/diverter grids were removed and the wing/body analysis performed. Reference H wing/body results were completed for M=0.9 (a=0.0, 2.0, 4.0, 6.0 and 8.0), M=1.1 (a=4.0 and 6.0) and M=2.4 (a=0.0, 2.0, 4.4, 6.0 and 8.0). Comparisons of the M=0.9 and M=2.4 cases were made with available wind tunnel data and overall comparisons were good. The axi-inlet/2D nozzle nacelle was analyzed isolated. The isolated nacelle data coupled with the wing/body result enabled the interference effects of the installed nacelles to be determined. Isolated nacelle mm were made at M=0.9 and M=1.1 for both the supersonic and transonic nozzle settings. AU of the isolated nacelle cases were run at alpha=0. Full configuration runs were to be made at Mach numbers of 0.9, 1.1, and 2.4 (the same as the wing/body and isolated nacelles). Both the isolated nacelles and installed nacelles were run with inlet conditions designed to give zero spillage. This was to be done in order to isolate the boattail effects as much as possible. Full configuration runs with the supersonic nozzles were completed for M=0.9 and 1.1 at a=4.0 and 6.0 (4 runs total) and with the transonic nozzles at M=0.9 and 1.1 at a=2.0, 4.0 and 6.0 (6 runs total). Drag breakdowns were completed for the M=0.9 and M= 1.1 showing favorable interference drag for both cases.

Malone, Michael B.↗

Development and Validation of High Performance Unshrouded Centrifugal Impeller

The feasibility of using a two-stage unshrouded impeller turbopump to replace the current three-stage reusable launch vehicle engine shrouded impeller hydrogen pump has been evaluated from the standpoint of turbopump weight reduction and overall payload improvement. These advantages are a by-product of the higher tip speeds that an unshrouded impeller can sustain. The issues associated with the effect of unshrouded impeller tip clearance on pump efficiency and head have been evaluated with one-dimensional tools and full three-dimensional rotordynamic fluid reaction forces and coefficients have been established through time dependent computational fluid dynamics (CFD) simulation of the whole 360 degree impeller with different rotor eccentricities and whirling ratios. Unlike the shrouded impeller, the unshrouded impeller forces are evaluated as the sum of the pressure forces on the blade and the pressure forces on the hub using the CFD results. The turbopump axial thrust control has been optimized by adjusting the first stage impeller backend wear ring seal diameter and diverting the second stage backend balance piston flow to the proper location. The structural integrity associated with the high tip speed has been checked by analyzing a 3D-Finite Element Model at maximum design conditions (6% higher than the design speed). This impeller was fabricated and tested in the NASA Marshall Space Flight Center water-test rig. The experimental data will be compared with the analytical predictions and presented in another paper. The experimental data provides validation data for the numerical design and analysis methodology. The validated numerical methodology can be used to help design different unshrouded impeller configurations.

Chen, Wei-Chung↗

Information Extraction for System-Software Safety Analysis: Calendar Year 2008 Year-End Report

This annual report describes work to integrate a set of tools to support early model-based analysis of failures and hazards due to system-software interactions. The tools perform and assist analysts in the following tasks: 1) extract model parts from text for architecture and safety/hazard models; 2) combine the parts with library information to develop the models for visualization and analysis; 3) perform graph analysis and simulation to identify and evaluate possible paths from hazard sources to vulnerable entities and functions, in nominal and anomalous system-software configurations and scenarios; and 4) identify resulting candidate scenarios for software integration testing. There has been significant technical progress in model extraction from Orion program text sources, architecture model derivation (components and connections) and documentation of extraction sources. Models have been derived from Internal Interface Requirements Documents (IIRDs) and FMEA documents. Linguistic text processing is used to extract model parts and relationships, and the Aerospace Ontology also aids automated model development from the extracted information. Visualizations of these models assist analysts in requirements overview and in checking consistency and completeness.

Malin, Jane T.↗

Automation for System Safety Analysis

This presentation describes work to integrate a set of tools to support early model-based analysis of failures and hazards due to system-software interactions. The tools perform and assist analysts in the following tasks: 1) extract model parts from text for architecture and safety/hazard models; 2) combine the parts with library information to develop the models for visualization and analysis; 3) perform graph analysis and simulation to identify and evaluate possible paths from hazard sources to vulnerable entities and functions, in nominal and anomalous system-software configurations and scenarios; and 4) identify resulting candidate scenarios for software integration testing. There has been significant technical progress in model extraction from Orion program text sources, architecture model derivation (components and connections) and documentation of extraction sources. Models have been derived from Internal Interface Requirements Documents (IIRDs) and FMEA documents. Linguistic text processing is used to extract model parts and relationships, and the Aerospace Ontology also aids automated model development from the extracted information. Visualizations of these models assist analysts in requirements overview and in checking consistency and completeness.

Malin, Jane T.↗

Automating a human factors evaluation of graphical user interfaces for NASA applications: An update on CHIMES

Capturing human factors knowledge about the design of graphical user interfaces (GUI's) and applying this knowledge on-line are the primary objectives of the Computer-Human Interaction Models (CHIMES) project. The current CHIMES prototype is designed to check a GUI's compliance with industry-standard guidelines, general human factors guidelines, and human factors recommendations on color usage. Following the evaluation, CHIMES presents human factors feedback and advice to the GUI designer. The paper describes the approach to modeling human factors guidelines, the system architecture, a new method developed to convert quantitative RGB primaries into qualitative color representations, and the potential for integrating CHIMES with user interface management systems (UIMS). Both the conceptual approach and its implementation are discussed. This paper updates the presentation on CHIMES at the first International Symposium on Ground Data Systems for Spacecraft Control.

Jiang, Jian-Ping↗

The Sizing and Optimization Language, (SOL): Computer language for design problems

The Sizing and Optimization Language, (SOL), a new high level, special purpose computer language was developed to expedite application of numerical optimization to design problems and to make the process less error prone. SOL utilizes the ADS optimization software and provides a clear, concise syntax for describing an optimization problem, the OPTIMIZE description, which closely parallels the mathematical description of the problem. SOL offers language statements which can be used to model a design mathematically, with subroutines or code logic, and with existing FORTRAN routines. In addition, SOL provides error checking and clear output of the optimization results. Because of these language features, SOL is best suited to model and optimize a design concept when the model consits of mathematical expressions written in SOL. For such cases, SOL's unique syntax and error checking can be fully utilized. SOL is presently available for DEC VAX/VMS systems. A SOL package is available which includes the SOL compiler, runtime library routines, and a SOL reference manual.

Lucas, Stephen H.↗