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,189 records · Page 66
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Toward Improving the Assimilation of IASI and CrIS Radiances Over Land Into the NASA GEOS: LST Inversion and Validation

Assimilating surface-sensitive radiances over land is still challenging for both infrared (IR) and microwave (WV) essentially because of the large uncertainties of the land physical surface emissivity model used in the CRTM and the uncertainties of land surface state properties. Currently very few IR radiances are assimilated over land in the NASA Goddard Earth Observing System (GEOS). Large number of radiances are rejected by the emissivity sensitivity check as well as the Cloud detection check. This study focuses on enhancing the assimilation of Infrared Atmospheric Sounding Interferometer (IASI) and Cross-track Infrared Sounder (CrIS) over land in the GEOS forecasting and data assimilation framework. To reach this goal, the Land surface Temperature (LST) is first inverted using IR radiances from IASI and CrIS selected channels to use it as surface boundary parameter for the assimilation of the rest of IASI and CrIS surface-sensitive channels. This work will present a full assessment of the quality of this LST by comparing it and its spatio-temporal variability to LST predicted by the GEOS model. The impacts on the quality of the resulting analysis and subsequent forecast will also be discussed.

Niama Boukachaba↗
NASA NTRS1981

Model verification studies using accurate measurements of spin up

The reliability and accuracy of the numerical code for spin up flows in a cylinder by comparing the numerical results against high resolution laser Doppler velocimeter (LDV) measurements of the azimuthal flows were checked. A computer code to generate numerical solution for axisymmetric rotating fluid in a cylinder was obtained and amended for routine use at MSFC. The numerical simulations used the Navier-Stokes equations in axisymmetric form and employed finite difference techniques on both constant and variable grids. The numerical solutions are analyzed to gain further insight into the fundamental questions analyzed in rotating fluid dynamics.

Hyun, J. M.↗
NASA NTRS2011

Examining Passenger Flow Choke Points at Airports Using Discrete Event Simulation

The movement of passengers through an airport quickly, safely, and efficiently is the main function of the various checkpoints (check-in, security. etc) found in airports. Human error combined with other breakdowns in the complex system of the airport can disrupt passenger flow through the airport leading to lengthy waiting times, missing luggage and missed flights. In this paper we present a model of passenger flow through an airport using discrete event simulation that will provide a closer look into the possible reasons for breakdowns and their implications for passenger flow. The simulation is based on data collected at Norfolk International Airport (ORF). The primary goal of this simulation is to present ways to optimize the work force to keep passenger flow smooth even during peak travel times and for emergency preparedness at ORF in case of adverse events. In this simulation we ran three different scenarios: real world, increased check-in stations, and multiple waiting lines. Increased check-in stations increased waiting time and instantaneous utilization. while the multiple waiting lines decreased both the waiting time and instantaneous utilization. This simulation was able to show how different changes affected the passenger flow through the airport.

Brown, Jeremy R.↗
DOE OSTI2025

Explainable discrepancy checker and diagnosis for digital Twin-based supervisory control system

By virtually representing a physical object and process, a digital twin (DT) enables optimal autonomous operations by combining classical and novel frameworks in sensors, state predictions, and multi-input/multi-output systems. A DT’s values depend on how well models estimate quantities of interest and on how uncertainty is handled. Moreover, DTs often combine physics-based and data-driven models with mixed fidelities, where classical uncertainty quantification (UQ) struggles with many sources of uncertainty and real-time constraints. Here, this work presents a UQ-based discrepancy checking and diagnosis tool for a DT-based supervisory control system. The tool is developed using metadata from an automated DT development process to learn correlations between sources of uncertainties and outcomes. During operation, it compares predictions with measurements, attributes discrepancies to dominant sources, and recommends parameter and configuration updates. We verify the workflow on a synthetic temperature-control problem and deploy it on a virtual Thermal Energy Delivery System, reducing mismatch and improving control robustness.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2018

Implications of CMS analysis of photon-photon interactions for photon PDFs

As part of a recent analysis of exclusive two-photon production of W + W – pairs at the LHC, the CMS experiment used di-lepton data to obtain an “effective” photon-photon luminosity. We show how the CMS analysis on their 8 TeV data, along with some assumptions about the likelihood for events in which the proton breaks up to pass the selection criteria, can be used to significantly constrain the photon parton distribution functions, such as those from the CTEQ, MRST, and NNPDF collaborations. We compare the data with predictions using these photon distributions, as well as the new LUXqed photon distribution. We study the impact of including these data on the NNPDF2.3QED, NNPDF3.0QED and CT14QEDinc fits. We find that these data place a useful and complementary cross-check on the photon distribution, which is consistent with the LUXqed prediction while suggesting that the NNPDF photon error band should be significantly reduced. Additionally, we propose a simple model for describing the two-photon production of W + W – at the LHC. In conclusion, using this model, we constrain the number of inelastic photons that remain after the experimental cuts are applied.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1976

Shuttle autoland support program

The results of the space shuttle automatic landing support program studies performed from November 1, 1975 to March 31, 1976 were summarized. The following subjects were discussed: (1) software definition review (TAEM pre-final and Autoland only), (2) software definition review (KPIT scheduling), (3) deletion of air data, (4) June 1975 aero data update and check runs, (5) flat turn study, (6) guidance mode switching study, (7) flat turn study-additional data, (8) trajectory shaping study, (9) aero data tolerances, and (10) turbulence model study.

Source record↗
NASA NTRS1991

Computing Temperatures In Optically Pumped Laser Rods

Computer program presents new model solving temperature-distribution problem for laser rods of finite length and calculates both radial and axial components of temperature distributions in these rods. Contains several self-checking schemes to prevent over-writing of memory blocks and to provide simple tracing of information in case of trouble. Written in Microsoft FORTRAN 77.

Farrukh, Usamah O.↗
NASA NTRS1983

Nuclear Plant Inspection

Engineers from the Power Authority of the State of New York use a Crack Growth Analysis Program supplied by COSMIC (Computer Software Management and Information Center) in one stage of nuclear plant inspection. Welds of the nuclear steam supply system are checked for cracks; radiographs, dye penetration and visual inspections are performed to locate cracks in the metal structure and welds. The software package includes three separate crack growth analysis models and enables necessary repairs to be planned before serious problems develop.

Source record↗
NASA NTRS2016

NASA Operational Simulator for Small Satellites: Tools for Software Based Validation and Verification of Small Satellites

The NASA Operational Simulator for Small Satellites (NOS3) is a suite of tools to aid in areas such as software development, integration test (IT), mission operations training, verification and validation (VV), and software systems check-out. NOS3 provides a software development environment, a multi-target build system, an operator interface-ground station, dynamics and environment simulations, and software-based hardware models. NOS3 enables the development of flight software (FSW) early in the project life cycle, when access to hardware is typically not available. For small satellites there are extensive lead times on many of the commercial-off-the-shelf (COTS) components as well as limited funding for engineering test units (ETU). Considering the difficulty of providing a hardware test-bed to each developer tester, hardware models are modeled based upon characteristic data or manufacturers data sheets for each individual component. The fidelity of each hardware models is such that FSW executes unaware that physical hardware is not present. This allows binaries to be compiled for both the simulation environment, and the flight computer, without changing the FSW source code. For hardware models that provide data dependent on the environment, such as a GPS receiver or magnetometer, an open-source tool from NASA GSFC (42 Spacecraft Simulation) is used to provide the necessary data. The underlying infrastructure used to transfer messages between FSW and the hardware models can also be used to monitor, intercept, and inject messages, which has proven to be beneficial for VV of larger missions such as James Webb Space Telescope (JWST). As hardware is procured, drivers can be added to the environment to enable hardware-in-the-loop (HWIL) testing. When strict time synchronization is not vital, any number of combinations of hardware components and software-based models can be tested. The open-source operator interface used in NOS3 is COSMOS from Ball Aerospace. For testing, plug-ins are implemented in COSMOS to control the NOS3 simulations, while the command and telemetry tools available in COSMOS are used to communicate with FSW. NOS3 is actively being used for FSW development and component testing of the Simulation-to-Flight 1 (STF-1) CubeSat. As NOS3 matures, hardware models have been added for common CubeSat components such as Novatel GPS receivers, ClydeSpace electrical power systems and batteries, ISISpace antenna systems, etc. In the future, NASA IVV plans to distribute NOS3 to other CubeSat developers and release the suite to the open-source community.

Verification↗
NASA NTRSDate not supplied

Virtual Fit Assessment: Validation using Historical Spacesuit Fit Data

Virtual fit tests using 3D body scans have provided a cost-effective means to predictively assess spacesuit fit for the current and future astronaut population. However, fit is a complex issue influenced by physical interferences, subjective preference, and many other factors. Fit can substantially differ between the type of hardware, environmental conditions, and tasks being performed. Namely, fit changes across different contexts, such as 3D printed mockup evaluations, pressurized one-g suited test events, neutral buoyancy and other training events, and flight extravehicular activities (EVA). These challenges make it difficult to validate virtual fit frameworks to physical suit sizing. This study proposes a new method of validation using the wealth of historically archived suit fit data. Physically Assessed Fit (PAF) data was assessed from astronauts and test volunteers who wore the legacy Extravehicular Mobility Unit (EMU). The data was collected during the past decades at NASA and considered to be most reliable and dependable. Each participant was 3D scanned for body shape and spacesuit-critical dimensions were measured per NASA guidelines. The participants’ size preference for hard upper torso (HUT) assembly was retrieved from their pressurized suit fit check records. Fit assessments were also updated after one-g EVA training, neutral buoyancy training, and EVA flights. Virtually Assessed Fit (VAF) was done by overlaying the CAD model of a HUT with the 3D body scans of the PAF participants. Each body scan was iteratively adjusted for the position inside the HUT to minimize the suit-to-body contact interference while satisfying a set of prescribed requirements. Then the residual contact area, depth, and volume were quantified as VAF metrics. This process was repeated for the different HUT sizes, including medium, large, and extra-large. Statistical modeling is currently in progress and will be presented at the conference. A statistical classifier will be developed to predict a fit probability for different HUT sizes as a function of the corresponding person’s VAF metrics. The HUT size with the highest fit probability will constitute the most likely size selection for the person, and the prediction will be compared against the corresponding PAF data. The participant data will be randomly pre-grouped into either a model development or validation subset. While the model development subset will be used to build the probability model, the validation subset will be used to assess the model accuracy. Also, the locations and magnitudes of suit-body-contacts will be estimated from VAF. This information can identify the critical suit geometry and body shape features that influence suit fit. The variations found in PAF size selections by subjects with similar VAF metrics will allow for investigations into subjective preferences, for example, tight versus loose fit. Overall, this study is expected to provide a structured validation of a virtual suit fit framework, which has not been possible in the past. The outcome can also provide useful insights and potential limitations for interpreting virtual fit tests for future spacesuit designs and population accommodation.

Han Kim↗
DOE OSTI2016

Characteristics Analysis of SGTR accidents under the Shutdown Conditions

The Steam Generator Tube Rupture (SGTR) accident is one of design basis accidents that could result in undesirable radiation release as it bypasses the containment. According to Ref. [1], SGTRs have been experienced in several nuclear power plants and Ulchin 4 of Korea is one of them. Basically, SGTR analysis assumes that it occurs at full power, the SGTR at Ulchin 4 in 2002, was in the shutdown condition. Therefore, the transient behavior was different from the cases in full power conditions and especially, the effectiveness of Emergency Operating Procedure (EOP) needs to be checked if it is also applicable to the shutdown conditions, because EOP is prepared for full power conditions. In this paper, we set up a MARS-KS code model for Ulchin 4 unit and simulated the SGTR accident for benchmarking the model to the actual plant behavior during the accident. And then, several case studies were done to investigate the consequence of SGTR and the effectiveness of the EOP, focusing on the amount of the primary to secondary discharge flow which was influenced by operator actions. At the end, we'll discuss about the EOP for the shutdown conditions. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS1976

Correlation with flight of some aeroelastic model studies in the NASA Langley transonic dynamics tunnel

The NASA Langley transonic dynamics tunnel, which has a variable density Freon-12 (or air) test medium, was designed specifically for the study of dynamics and aeroelastic problems of aerospace vehicles. During the 15 years of operation of this facility, there have been various opportunities to compare wind tunnel and flight test results. Some of these opportunities arise from routine flight checks of the prototypes; others, from carefully designed comparative wind-tunnel and flight experiments. Such data obtained from various published and unpublished sources are presented. The topics covered are: gust and buffet response, control surface effectiveness, flutter, and active control of aeroelastic effects. Some benefits and shortcomings of Freon-12 as a test medium are also discussed. Although areas of uncertainty are evident and there is a continuing need for improvements in model simulation and testing techniques, the results presented indicate that predictions from aeroelastic model tests are, in general, substantiated by full scale flight tests.

Reed, W. H., III↗
NASA NTRS1984

Reliability considerations for the total strain range version of strainrange partitioning

A proposed total strainrange version of strainrange partitioning (SRP) to enhance the manner in which SRP is applied to life prediction is considered with emphasis on how advanced reliability technology can be applied to perform risk analysis and to derive safety check expressions. Uncertainties existing in the design factors associated with life prediction of a component which experiences the combined effects of creep and fatigue can be identified. Examples illustrate how reliability analyses of such a component can be performed when all design factors in the SRP model are random variables reflecting these uncertainties. The Rackwitz-Fiessler and Wu algorithms are used and estimates of the safety index and the probablity of failure are demonstrated for a SRP problem. Methods of analysis of creep-fatigue data with emphasis on procedures for producing synoptic statistics are presented. An attempt to demonstrate the importance of the contribution of the uncertainties associated with small sample sizes (fatique data) to risk estimates is discussed. The procedure for deriving a safety check expression for possible use in a design criteria document is presented.

Wirsching, P. H.↗
NASA NTRS1999

Check-Up of Planet Earth at the Turn of the Millennium: Contribution of EOS-Terra to a New Phase in Earth Sciences

Langley's remarkable solar and lunar spectra collected from Mt. Whitney inspired Arrhenius to develop the first quantitative climate model in 1896. In 1999, NASA's Earth Observing AM Satellite (EOS-Terra) will repeat Langley's experiment, but for the entire planet, thus pioneering a wide array of calibrated spectral observations from space of the Earth System. Conceived in response to real environmental problems, EOS-Terra, in conjunction with other international satellite efforts, will fill a major gap in current efforts by providing quantitative global data sets with a resolution of few kilometers on the physical, chemical and biological elements of the earth system. Thus, like Langley's data, EOS-Terra can revolutionize climate research by inspiring a new generation of climate system models and enable us to assess the human impact on the environment. In the talk I shall review the historical developments that brought to the Terra mission, its objectives and example of application to biomass burning.

Kaufman, Yoram↗
NASA NTRSDate not supplied

NTF Test 201 - FAVOR - F-111 Check Standard

Presentation of test process at the National Transonic Facility, Nasa Langley Research Center. The test showcased was part of a cooperative test effort between ARC, LaRC, GRC, and AEDC collecting aerodynamic and process data on the modified F-111 FAVOR model.

Michael D Treece↗
DOE OSTI2015

The Role of the CEBAF Element Database in Commissioning the 12GeV Accelerator Upgrade

The CEBAF Element Database (CED) was first developed in 2010 as a resource to support model-driven configuration of the Jefferson Lab Continuous Electron Beam Accelerator (CEBAF). Since that time, its uniquely flexible schema design, robust programming interface, and support for multiple concurrent versions has permitted it to evolve into a more broadly useful operational and control system tool. The CED played a critical role before and during the 2013 startup and commissioning of CEBAF following its 18-month long shutdown and upgrade. Information in the CED about hardware components and their relations to one-another facilitated a thorough Hot Checkout process involving more than 18,000 system checks. New software relies on the CED to generate EDM screens for operators on-demand thereby ensuring that the information on those screens is correct and up-to-date. The CED also continues to fulfill its original mission of supporting model-driven accelerator setup. Using the new ced2elegant and eDT (elegant Download Tool), accelerator physicists have proven able to compute and apply energy-dependant set points with greater efficiency than ever before.

Larrieu, T.↗
NASA NTRS2019

Bit Error Rate and Frame Error Rate Data Processing for Space Communications and Navigation-Related Communication System Analysis Tools

One of the capabilities that the Space Communications and Navigation (SCaN) Strategic Center for Networking, Integration, and Communications (SCENIC) user interface (UI) web application intends to provide its users is the addition of network protocol and link encryption augmentations of communication system analyses. Before any of these analyses capabilities can be modeled, the simulations of bit error rate (BER) and frame error rate (FER) against signal-to-noise ratio (SNR) have been conducted, requiring parameters from several known coding types (low-density parity-check (LDPC), convolutional, etc.), signal modulations (binary phase shift keying (BPSK), quadrature phase shift keying (QPSK), etc.), coding rates (1/2, 1/3, etc.), and frame sizes (1,280, 3,580, etc.). However, in order to extract useful information from the results of these simulations, a curve fitting technique has been applied to each resulting dataset to extend and extrapolate the curve fit of BER and FER down to 10–30 using MATLAB® Curve Fitting Toolbox™ (The MathWorks, Inc.). This is a necessary step because simulations of BER and FER were only performed to around 10–9 due to the extensive simulation time that would be required to obtain significant simulation results at the error levels desired. Furthermore, the fitted curve results were applied to a finer resolution for the SNR at 0.01-dB interval instead of the 0.05-dB interval limitation used in the simulation. All the possible combinations of the coding types, signal modulations, coding rates, frame sizes, and the extension of BER and FER curves would enable users to capture a wide range of link performances that directly relates to the addition of higher level networking data encapsulated in a frame. The curve fitting results also led to the modeling of the optical link error rate performance by solving for coding gain, FER_BER SNR delta, coded optical BER-SNR, and coded optical FER–SNR.

Communication link analysis↗
DOE OSTI2025

Physical Interpretation of Early Battery Life Prediction Models

Early battery life prediction models are most useful for R&D if they help us understand the early changes in battery electrochemical response that correspond with long-term degradation and failure. Linear regression models such as Fused lasso and Partial Least Squares can fit coefficients directly to high-dimensional electrochemical data like capacity-voltage and ΔV–state-of-charge, i.e., Q(V) and ΔV(SOC) curves, learning coefficients that can be physically interpreted. We leverage the ISU-ILCC battery aging data set to learn high-dimensional coefficients for early battery life prediction from traditional slow-rate capacity check data, demonstrating learning on Q(V), d Q· d V −1 , and ΔV(SOC) curves. A thorough study on the dependence of coefficient values on train/test size and data preprocessing methods is made, demonstrating the reliability of high-dimensional regression approaches unless very small amounts of data are used for model training. For this data set, coefficients from Q(V) and d Q· d V −1 models highlight changes in electrode stoichiometry due to lithium loss, while ΔV(SOC) coefficients highlight changes in positive electrode diffusivity due to particle cracking as well as electrode stoichiometry shifts. By directly interpreting the coefficients of a regression model, we make physical insights into battery degradation mechanisms without requiring the assumptions of traditional battery data analysis methods.

25 ENERGY STORAGE↗