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,027 records · Page 57

Digital Analytics, Causal Knowledge Acquisition and Reasoning for Technical Language Processing

Complex engineering systems such as nuclear power plants (NPPs) generate and collect large amounts of equipment reliability (ER) data elements that contain information on the status of components, assets, and systems. Some of this information is textual in form and can be found in documents such as incident reports (IRs) and work orders (WOs). Analyses of textual data in current NPPs-using natural language processing (NLP) methods-have been expanded over the last decade, and it is only recently that the true potential of such analyses has emerged. So far, applications of NLP methods have mostly been limited to classification and prediction, the goal being to identify the nature of the textual element (e.g., safety or non-safety related). Here, we target a more complex problem: automatically extracting knowledge from a textual element in order to assist system engineers in conducting system health assessments. Knowledge extraction is a very broad concept, and its definition may vary depending on the application context. Our methods are a blend of both rule-based and machine learning (ML) algorithms. For our purposes, knowledge extraction means identifying the systems or assets mentioned in a given textual element, as well as the type of event described (e.g., component failure or maintenance activity). In addition, we want to capture details such as measured quantities and the temporal/cause-effect relations between events. In this tool, we also demonstrate how textual data elements are preprocessed in order to handle typos, acronyms, and abbreviations. One main feature of these methods is that they are not based solely on data, but are in fact model-based. In other words, they also rely on MBSE models that are designed to capture-from a functional point of view-the architecture of the systems/assets under consideration. The main purpose of such models is to digitally emulate system engineers' knowledge of system and asset architecture and to identify dependencies among systems, assets, and components. Provided these models, analyses of textual and numeric ER data can be performed by first identifying the OPM model elements to which the ER data elements are referring. The relationships between ER data elements are then identified by checking for any temporal or logical dependencies.

Mandelli, Diego [Idaho National Laboratory (INL), ↗

Laboratory studies on cometary crust formation: The importance of sintering

It is demonstrated by experiments and theoretical considerations that sintering processes, so far used to describe the densification of metal and ceramic powders, are relevant for icy materials and therefore probably also for comets. A theoretical model is presented which describes the evolution of so called sinter necks, the contact zone between ice particles. With this model the strength increase of a porous, loosley packed icy body is calculated in which the sinter necks grow by evaporation and condensation of water vapor at a constant temperature. Experiments with ice powders validate the model qualitatively. An increase in strength up to a factor of four is observed during isothermal sintering. In order to check the relevance of the experimental results and the basic theoretical ideas with respect to real comets, more exact theories and improved experiments taking into account additional mass transport mechanisms are needed.

Ratke, L.↗

A Scanning Hartmann Focus Test for the EUVI Telescopes aboard STEREO

The Solar TErrestrial RElations Observatory (STEREO), the third mission in NASA's Solar Terrestrial Probes program, was launched in 2006 on a two year mission to study solar phenomena. STEREO consists of two nearly identical satellites, each carrying an Extreme Ultraviolet Imager (EUVI) telescope as part of the Sun Earth Connection Coronal and Heliospheric Investigation instrument suite. EUVI is a normal incidence, 98mm diameter, Ritchey-Chretien telescope designed to obtain wide field of view images of the Sun at short wavelengths (17.1-30.4nm) using a CCD detector. The telescope entrance aperture is divided into four quadrants by a mask near the secondary mirror spider veins. A mechanism that rotates another mask allows only one of these sub-apertures to accept light over an exposure. The EUVI contains no focus mechanism. Mechanical models predict a difference in telescope focus between ambient integration conditions and on-orbit operation. We describe an independent check of the ambient, ultraviolet, absolute focus setting of the EUVI telescopes after they were integrated with their respective spacecraft. A scanning Hartmann-like test design resulted from constraints implied by the EUVI aperture select mechanism. This inexpensive test was simultaneously coordinated with other NASA integration and test activities in a high-vibration, clean room environment. The total focus test error was required to be better than +/-0.05 mm. We describe the alignment and test procedure, sources of statistical and systematic error, and then the focus determination results using various algorithms. The results are consistent with other tests of focus alignment and indicate that the EUVI telescopes meet the ambient focus offset requirements. STEREO is functioning well on-orbit and the EUVI telescopes meet their on-orbit image quality requirements.

Ohl, Ray↗

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 previously served as a test bed for testing technologies and sub-systems in a terrestrial surface environment. in 2010 in the Pressurized Excursion Module (PEM) configuration. Due to the amount of work involved to make the HDU project successful, the HDU project has required a team to integrate a variety of contributions from NASA centers and outside collaborators The size of the team and number of systems involved With the HDU makes Integration a complicated process. However, because the HDU shell manufacturing is complete, the team has a head start on FY--11 integration activities and can focus on integrating upgrades to existing systems as well as integrating new additions. To complete the development of the FY-11 HDU from conception to rollout for operations in July 2011, a cohesive integration strategy has been developed to integrate the various systems of HDU and the payloads. The highlighted HDU work for FY-11 will focus on performing upgrades to the PEM configuration, adding the X-Hab as a second level, adding a new porch providing the astronauts a larger work area outside the HDU for EVA preparations, and adding a Hygiene module. Together these upgrades result in a prototype configuration of the Deep Space Habitat (DSH), an element under evaluation by NASA's Human Exploration Framework Team (HEFT) Scheduled activates include early fit-checks and the utilization of a Habitat avionics test bed prior to 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, sub-system interface length estimation and human factors analysis. Decision processes on integration and use of all new subsystems will be defined early in the project to maximize the efficiency of both integration and field operations. In addition a series of tailored design reviews are utilized to quickly define the systems and their integration into the DSH configuration. These processes are necessary to ensure activities, such as partially reversing integration of the X-Hab second story of the HDU and deploying and stowing the new work porch for transportation to the JSC Rock Yard and to the Arizona Black Point Lava Flow Site are performed with minimal or no complications. In addition, incremental test operations leading up to an Integrated systems test allows for an orderly systems test program. For FY-11 activities, the HDU DSH will act as a laboratory utilizing a new X-Hab inflatable second floor with crew habitation features. In addition to the day to day operations involving maintenance of the HDU and exploring the surrounding terrain, testing and optimizing the use of the new X-Hab, work porch, Hygiene Module, and other sub-system enhancements will be the focus of the FY-11 test objectives. The HDU team requires a successful integration strategy using a variety of tools and approaches to prepare the DSH for these test objectives. In a challenging environment where the prototyping influences the system design, as well as Vice versa, results of the HDU DSH field tests will influence future designs of habitat systems.

Gill, Tracy↗

Bias by default? A means for a priori interface measurement

Systems have biases. Their interfaces naturally guide a user toward specific patterns of action. For example, modern word-processors and spreadsheets are both capable of taking word wrapping, checking spelling, storing tables, and calculating formulas. You could write a paper in a spreadsheet or could do simple business modeling in a word-processor. However, their interfaces naturally communicate which function they are designed for. Visual analytic interfaces also have biases. In this paper, we outline why simple Markov models are a plausible tool for investigating that bias and how they might be applied. We also discuss some anticipated difficulties in such modeling and touch briefly on what some Markov model extensions might provide.

Cottam, Joseph A.↗

I-125 ROPES eye plaque dosimetry: Validation of a commercial 3D ophthalmic brachytherapy treatment planning system and independent dose calculation software with GafChromic{sup ®} EBT3 films

Purpose: The purpose of this study was to measure the dose distributions for different Radiation Oncology Physics and Engineering Services, Australia (ROPES) type eye plaques loaded with I-125 (model 6711) seeds using GafChromic{sup ®} EBT3 films, in order to verify the dose distributions in the Plaque Simulator™ (PS) ophthalmic 3D treatment planning system. The brachytherapy module of RADCALC{sup ®} was used to independently check the dose distributions calculated by PS. Correction factors were derived from the measured data to be used in PS to account for the effect of the stainless steel ROPES plaque backing on the 3D dose distribution.Methods: Using GafChromic{sup ®} EBT3 films inserted in a specially designed Solid Water™ eye ball phantom, dose distributions were measured three-dimensionally both along and perpendicular to I-125 (model 6711) loaded ROPES eye plaque's central axis (CAX) with 2 mm depth increments. Each measurement was performed in full scatter conditions both with and without the stainless steel plaque backing attached to the eye plaque, to assess its effect on the dose distributions. Results were compared to the dose distributions calculated by Plaque Simulator™ and checked independently with RADCALC{sup ®}.Results: The EBT3 film measurements without the stainless steel backing were found to agree with PS and RADCALC{sup ®} to within 2% and 4%, respectively, on the plaque CAX. Also, RADCALC{sup ®} was found to agree with PS to within 2%. The CAX depth doses measured using EBT3 film with the stainless steel backing were observed to result in a 4% decrease relative to when the backing was not present. Within experimental uncertainty, the 4% decrease was found to be constant with depth and independent of plaque size. Using a constant dose correction factor of T= 0.96 in PS, where the calculated dose for the full water scattering medium is reduced by 4% in every voxel in the dose grid, the effect of the plaque backing was accurately modeled in the planning system. Off-axis profiles were also modeled in PS by taking into account the three-dimensional model of the plaque backing.Conclusions: The doses calculated by PS and RADCALC{sup ®} for uniformly loaded ROPES plaques in full and uniform scattering conditions were validated by the EBT3 film measurements. The stainless steel plaque backing was observed to decrease the measured dose by 4%. Through the introduction of a scalar correction factor (0.96) in PS, the dose homogeneity effect of the stainless steel plaque backing was found to agree with the measured EBT3 film measurements.

61 RADIATION PROTECTION AND DOSIMETRY↗

Validation of Numerical Models of the Offshore Wind Turbine from the Alpha Ventus Wind Farm Against Full-Scale Measurements Within OC5 Phase III: Preprint

The main objective of the Offshore Code Comparison Collaboration Continuation, with Correlation (OC5) project, is validation of aero-hydro-servo-elastic simulation tools for offshore wind turbines (OWTs) through comparison of simulated results to the response data of physical systems. Phase III of the OC5 project validates OWT models against the measurements recorded on Senvion 5M wind turbine supported by the OWEC Quattropod from the alpha ventus offshore wind farm. The following operating conditions of the wind turbine were chosen for the validation: (1) Idling below the cut-in wind speed; (2) Rotornacelle assembly (RNA) rotation maneuver below the cut-in wind speed; (3) Power production below and above the rated wind speed; and (4) Shut-down. A number of validation load cases were defined based on these operating conditions. The following measurements were used for validation: (1) Strains and accelerations recorded on the support structure; (2) Pitch, yaw, and azimuth angles, generator speed, and electrical power recorded from the RNA. Strains were not directly available from the majority of the OWT simulation tools. Therefore, strains were calculated based on out-of-plane bending moments, axial forces, and geometrical properties of the structural members. Also, a number of issues arose during the validation: (1) The need for a thorough quality check of sensor measurements; (2) The sensitivity of the turbine loads to the controller and airfoil properties, which were only approximated in the modeling approach; (3) The importance of estimating and applying an appropriate damping value for the structure; and (4) The importance of wind characteristics beyond turbulence on the loads. The simulation results and measurements were compared in terms of time series, discrete Fourier transforms (DFTs), power spectral densities (PSDs), probability density functions (PDFs) of strains and accelerometers. A good match was achieved between the measurements and models set up by OC5 Phase III participants.

17 WIND ENERGY↗

Validation of Numerical Models of the Offshore Wind Turbine From the Alpha Ventus Wind Farm Against Full-Scale Measurements Within OC5 Phase III

The main objective of the Offshore Code Comparison Collaboration Continuation, with Correlation (OC5) project is validation of aero-hydro-servo-elastic simulation tools for offshore wind turbines (OWTs) through comparison of simulated results to the response data of physical systems. Phase III of the OC5 project validates OWT models against the measurements recorded on a Senvion 5M wind turbine supported by the OWEC Quattropod from the alpha ventus offshore wind farm. The following operating conditions of the wind turbine were chosen for the validation: (1) Idling below the cut-in wind speed; (2) Rotor-nacelle assembly (RNA) rotation maneuver below the cut-in wind speed; (3) Power production below and above the rated wind speed; and (4) Shutdown. A number of validation load cases were defined based on these operating conditions. The following measurements were used for validation: (1) Strains and accelerations recorded on the support structure; (2) Pitch, yaw, and azimuth angles, generator speed, and electrical power recorded from the RNA. Strains were not directly available from the majority of the OWT simulation tools. Therefore, strains were calculated based on out-of-plane bending moments, axial forces, and cross-sectional properties of the structural members. Also, a number of issues arose during the validation: (1) The need for a thorough quality check of sensor measurements; (2) The sensitivity of the turbine loads to the controller and airfoil properties, which were only approximated in the modeling approach; (3) The importance of estimating and applying an appropriate damping value for the structure; and (4) The importance of wind characteristics beyond turbulence on the loads. The simulation results and measurements were compared in terms of time series, discrete Fourier transforms, power spectral densities, probability density functions of strains and accelerometers. A good match was achieved between the measurements and models set up by OC5 Phase III participants.

17 WIND ENERGY↗

A perturbative approach to the redshift space power spectrum: beyond the Standard Model

We develop a code to produce the power spectrum in redshift space based on standard perturbation theory (SPT) at 1-loop order. The code can be applied to a wide range of modified gravity and dark energy models using a recently proposed numerical method by A.Taruya to find the SPT kernels. This includes Horndeski's theory with a general potential, which accommodates both chameleon and Vainshtein screening mechanisms and provides a non-linear extension of the effective theory of dark energy up to the third order. Focus is on a recent non-linear model of the redshift space power spectrum which has been shown to model the anisotropy very well at relevant scales for the SPT framework, as well as capturing relevant non-linear effects typical of modified gravity theories. We provide consistency checks of the code against established results and elucidate its application within the light of upcoming high precision RSD data.

79 ASTRONOMY AND ASTROPHYSICS↗

Thermal X-ray spectral tools. I. Parameterizing impulsive X-ray heating with a cumulative initial temperature (CIT) distribution

In collisional ionization equilibrium, the X-ray spectrum from a plasma depends on the differential emission measure (DEM), distributed over temperature. Due to the well-known ill conditioning problem, no precisely resolved DEM can be inverted directly from the spectrum, so often only a gross parameterization of the DEM is used to approximate the data, in hopes that the parameterization can provide useful model-independent constraints on the heating process. However, ill conditioning also introduces ambiguity into the various different parameterizations that could approximate the data, which may spoil the perceived advantages of model independence. Thus, this paper instead suggests a single parameterization for both the heating mechanism and the X-ray sources, based on a model of impulsive heating followed by radiative cooling. This approach is similar to a 'cooling flow' approach but allows injection at multiple initial temperatures and applies even when the steady state is a distribution of different shock strengths, as for a standing shock with a range of obliquities, or for embedded stochastic shocks that are only steady in a statistical sense. This produces an alternative parameterization for X-ray spectra that is especially streamlined for higher density plasmas with efficient radiative cooling and minimal thermal conduction and mixing. The method also provides some internal consistency checks on the validity of its assumptions. A heuristic general version is then applied over a wide range of astrophysical applications to schematically explore potential alternative models for these phenomena.

79 ASTRONOMY AND ASTROPHYSICS↗

Halo Properties and Mass Functions of Groups/Clusters from the DESI Legacy Imaging Surveys DR9

Abstract Based on a large group/cluster catalog recently constructed from the DESI Legacy Imaging Surveys DR9 using an extended halo-based group finder, we measure and model the group–galaxy weak-lensing signals for groups/clusters in a few redshift bins within redshift range 0.1 ≤ z < 0.6. Here, the background shear signals are obtained based on the DECaLS survey shape catalog, derived with the F ourier _Q uad method. We divide the lens samples into five equispaced redshift bins and seven mass bins, which allow us to probe the redshift and mass dependence of the lensing signals, and hence the resulting halo properties. In addition to these sample selections, we also check the signals around different group centers, e.g., the brightest central galaxy, the luminosity-weighted center, and the number-weighted center. We use a lensing model that includes off-centering to describe the lensing signals that we measure for all mass and redshift bins. The results demonstrate that our model predictions for the halo masses, biases, and concentrations are stable and self-consistent among different samples for different group centers. Taking advantage of the very large and complete sample of groups/clusters, as well as the reliable estimations of their halo masses, we provide measurements of the cumulative halo mass functions up to redshift z = 0.6, with a mass precision at 0.03 ∼ 0.09 dex.

79 ASTRONOMY AND ASTROPHYSICS↗

Reduction of the effects of the communication delays in scientific algorithms on message passing MIMD architectures

The efficient implementation of algorithms on multiprocessor machines requires that the effects of communication delays be minimized. The effects of these delays on the performance of a model problem on a hypercube multiprocessor architecture is investigated and methods are developed for increasing algorithm efficiency. The model problem under investigation is the solution by red-black Successive Over Relaxation YOUN71 of the heat equation; most of the techniques described here also apply equally well to the solution of elliptic partial differential equations by red-black or multicolor SOR methods. Methods for reducing communication traffic and overhead on a multiprocessor are identified and results of testing these methods on the Intel iPSC Hypercube reported. Methods for partitioning a problem's domain across processors, for reducing communication traffic during a global convergence check, for reducing the number of global convergence checks employed during an iteration, and for concurrently iterating on multiple time-steps in a time-dependent problem. Empirical results show that use of these models can markedly reduce a numewrical problem's execution time.

Saltz, J. H.↗

The Meteoroid Fluence at Mars Due to Comet C/2013 A1 (Siding Spring)

Long-period comet C/2013 A1 (Siding Spring) will experience a close encounter with Mars on 2014 Oct 19. A collision between the comet and the planet has been ruled out, but the comet's coma may envelop Mars and its man-made satellites. By the time of the close encounter, five operational spacecraft will be present near Mars. Characterizing the coma is crucial for assessing the risk posed to these satellites by meteoroid impacts. We present an analytic model of cometary comae that describes the spatial and size distributions of cometary dust and meteoroids. This model correctly reproduces, to within an order of magnitude, the number of impacts recorded by Giotto near 1P/Halley [1] and by Stardust near comet 81P/Wild 2 [2]. Applied to Siding Spring, our model predicts a total particle fluence near Mars of 0.02 particles per square meter. In order to determine the degree to which Siding Spring's coma deviates from a sphere, we perform numerical simulations which take into account both gravitational effects and radiative forces. We take the entire dust component of the coma and tail continuum into account by simulating the ejection and evolution of dust particles from comet Siding Spring. The total number of particles simulated is essentially a free parameter and does not provide a check on the total fluence. Instead, these simulations illustrate the degree to which the coma of Siding Spring deviates from the perfect sphere described by our analytic model (see Figure). We conclude that our analytic model sacrifices less than an order of magnitude in accuracy by neglecting particle dynamics and radiation pressure and is thus adequate for order-of-magnitude fluence estimates. Comet properties may change unpredictably and therefore an analytic coma model that enables quick recalculation of the meteoroid fluence is highly desirable. NASA's Meteoroid Environment Office is monitoring comet Siding Spring and taking measurements of cometary brightness and dust production. We will discuss our coma model and nominal fluence taking the latest observations into account.

Moorhead, A.↗

A cross impact methodology for the assessment of US telecommunications system with application to fiber optics development, volume 1

A cross impact model of the U.S. telecommunications system was developed. It was necessary to prepare forecasts of the major segments of the telecommunications system, such as satellites, telephone, TV, CATV, radio broadcasting, etc. In addition, forecasts were prepared of the traffic generated by a variety of new or expanded services, such as electronic check clearing and point of sale electronic funds transfer. Finally, the interactions among the forecasts were estimated (the cross impact). Both the forecasts and the cross impacts were used as inputs to the cross impact model, which could then be used to stimulate the future growth of the entire U.S. telecommunications system. By varying the inputs, technology changes or policy decisions with regard to any segment of the system could be evaluated in the context of the remainder of the system. To illustrate the operation of the model, a specific study was made of the deployment of fiber optics throughout the telecommunications system.

Martino, J. P.↗

SU-F-T-467: A Cross-Checking Approach for Dosimetric Verification of Beam- Matched Elekta Linear Accelerators

Purpose: To verify the similarity of the dosimetric characteristics between two Elekta linear accelerators (linacs) in order to treat patients interchangeably on these two machines without re-planning. Methods: To investigate the viability of matching the 6 MV flattened beam on an existing linac (Elekta Synergy with Agility head) with a recently installed new linca (Elekta Versa HD), percent depth doses (PDD), flatness and symmetry output factors were compared for both machines. To validate the beam matching among machines, we carried out two approaches to cross-check the dosimetrical equivalence: 1) the prior treatment plans were re-computed based on the newly built Versa HD treatment planning system (TPS) model without changing the beam control points; 2) The same plans were delivered on both machines and the radiation dose measurements on a MapCheck2 were compared with TPS calculations. Three VMAT plans (Head and neck, lung, and prostate) were used in the study. Results: The difference between the PDDs for 10×10 cm{sup 2} field at all depths was less than 0.8%. The difference of flatness and symmetry for 30×30 cm{sup 2} field was less than 0.8%, and the measured output factors varies by less than 1% for each field size ranging from 2×2 cm2 to 40×40 cm{sup 2}. For the same plans, the maximum difference of the two calculated dose distributions is 2% of prescription. For the QA measurements, the gamma index passing rates were above 99% for 3%/3mm criteria with 10% threshold for all three clinical plans. Conclusion: A beam modality matching between two Elekta linacs is demonstrated with a cross-checking approach.

43 PARTICLE ACCELERATORS↗

First results of electron temperature measurements by the use of multi-pass Thomson scattering system in GAMMA 10

A multi-pass Thomson scattering (TS) has the advantage of enhancing scattered signals. We constructed a multi-pass TS system for a polarisation-based system and an image relaying system modelled on the GAMMA 10 TS system. We undertook Raman scattering experiments both for the multi-pass setting and for checking the optical components. Moreover, we applied the system to the electron temperature measurements in the GAMMA 10 plasma for the first time. The integrated scattering signal was magnified by approximately three times by using the multi-pass TS system with four passes. The electron temperature measurement accuracy is improved by using this multi-pass system.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing

The goal of the project was to develop a programming model that would significantly improve productivity in the high-performance computing domain by bringing together three components: a) Automated equivalence checking, b) Sketch-based program synthesis, and c) Autotuning. The report provides an executive summary of the research accomplished through this project. At the end of the report is appended a paper that describes in more detail the key technical accomplishments from this project, and which was published in SC 2014.

97 MATHEMATICS AND COMPUTING↗