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 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Towards Behavioral Reflexion Models

Software architecture has become essential in the struggle to manage today s increasingly large and complex systems. Software architecture views are created to capture important system characteristics on an abstract and, thus, comprehensible level. As the system is implemented and later maintained, it often deviates from the original design specification. Such deviations can have implication for the quality of the system, such as reliability, security, and maintainability. Software architecture compliance checking approaches, such as the reflexion model technique, have been proposed to address this issue by comparing the implementation to a model of the systems architecture design. However, architecture compliance checking approaches focus solely on structural characteristics and ignore behavioral conformance. This is especially an issue in Systems-of- Systems. Systems-of-Systems (SoS) are decompositions of large systems, into smaller systems for the sake of flexibility. Deviations of the implementation to its behavioral design often reduce the reliability of the entire SoS. An approach is needed that supports the reasoning about behavioral conformance on architecture level. In order to address this issue, we have developed an approach for comparing the implementation of a SoS to an architecture model of its behavioral design. The approach follows the idea of reflexion models and adopts it to support the compliance checking of behaviors. In this paper, we focus on sequencing properties as they play an important role in many SoS. Sequencing deviations potentially have a severe impact on the SoS correctness and qualities. The desired behavioral specification is defined in UML sequence diagram notation and behaviors are extracted from the SoS implementation. The behaviors are then mapped to the model of the desired behavior and the two are compared. Finally, a reflexion model is constructed that shows the deviations between behavioral design and implementation. This paper discusses the approach and shows how it can be applied to investigate reliability issues in SoS.

Ackermann, Christopher↗
DOE OSTI2014

Effective-medium model of wire metamaterials in the problems of radiative heat transfer

In the present work, we check the applicability of the effective medium model (EMM) to the problems of radiative heat transfer (RHT) through so-called wire metamaterials (WMMs)—composites comprising parallel arrays of metal nanowires. It is explained why this problem is so important for the development of prospective thermophotovoltaic (TPV) systems. Previous studies of the applicability of EMM for WMMs were targeted by the imaging applications of WMMs. The analogous study referring to the transfer of radiative heat is a separate problem that deserves extended investigations. We show that WMMs with practically realizable design parameters transmit the radiative heat as effectively homogeneous media. Existing EMM is an adequate tool for qualitative prediction of the magnitude of transferred radiative heat and of its effective frequency band.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2017

A Quantitative Model for the Prediction of Sooting Tendency from Molecular Structure

Particulate matter emissions negatively affect public health and global climate, yet newer fuel-efficient gasoline direct injection engines tend to produce more soot than their port-fuel injection counterparts. Fortunately, the search for sustainable biomass-based fuel blendstocks provides an opportunity to develop fuels that suppress soot formation in more efficient engine designs. However, as emissions tests are experimentally cumbersome and the search space for potential bioblendstocks is vast, new techniques are needed to estimate the sooting tendency of a diverse range of compounds. In this study, we develop a quantitative structure-activity relationship (QSAR) model of sooting tendency based on the experimental yield sooting index (YSI), which ranks molecules on a scale from n-hexane, 0, to benzene, 100. The model includes a rigorously defined applicability domain, and the predictive performance is checked using both internal and external validation. Model predictions for compounds in the external test set had a median absolute error of ~3 YSI units. An investigation of compounds that are poorly predicted by the model lends new insight into the complex mechanisms governing soot formation. Predictive models of soot formation can therefore be expected to play an increasingly important role in the screening and development of next-generation biofuels.

09 BIOMASS FUELS↗
DOE OSTI2024

IDAES-PSE 2.5.0 Release

The Institute for the Design of Advanced Energy Systems (IDAES) Integrated Platform is a versatile computational environment offering extensive process systems engineering (PSE) capabilities for optimizing the design and operation of complex, interacting technologies and systems. IDAES enables users to efficiently search vast, complex design spaces to discover the lowest cost, most environmentally sustainable solutions while supporting the full process modeling lifecycle, from conceptual design to dynamic optimization and control. The extensible, open platform empowers users to create models of novel processes and rapidly develop custom analyses, workflows, and end-user applications. IDAES-PSE 2.5.0 Release Highlights Upcoming Changes IDAES will be switching to the new Pyomo solver interface in the next release. Whilst this will hopefully be a smooth transition for most users, there are a few important changes to be aware of. The new solver interface uses a different version of the IPOPT writer (“ipopt_v2”) and thus any custom configuration options you might have set for IPOPT will not carry over and will need to be reset. By default, the new Pyomo linear presolver will be activated with ipopt_v2. Whilst are working to identify any bugs in the presolver, it is possible that some edge cases will remain. IDAES will begin deploying a new set of scaling tools and APIs over the next few releases that make use of the new solver writers. The old scaling tools and APIs will remain for backward compatibility but will begin to be deprecated. New Models, Tools and Features New diagnostics check for near-parallel variables and constraints. New diagnostics tools for identifying causes of infeasibility in models. New example for creating a custom model of a liquid-liquid extractor unit operation. Bug Fixes Fixed bug in Gibbs reactor that caused it to appear to have additional spurious degrees of freedom. Fixed bug in the Modular Property Framework that would cause errors when trying to use phase-based material balances with phase equilibria. Fixed bug in Modular Properties Framework that caused errors when initializing models with non-vapor-liquid phase equilibria. Testing and Robustness Deployed the IDAES Diagnostics Toolbox to confirm that there are no structural or numerical issues in the core model libraries. Additional robustness tests for core model, and some associated improvements in the converge tester class. Fixed a number of issues that were causing unexpected warnings to be emitted during testing. Deprecations and Removals Removed examples for RIPE tool which has not been supported for a number of releases.

AS↗
NASA NTRS1975

A linear feedback guidance law for an Aeromaneuvering Orbit-to-Orbit Shuttle

The sensitivity of the trajectory of an Aeromaneuvering Orbit-to-Orbit Shuttle (AMOOS) to unpredictable variations in atmospheric density is shown and a compensating guidance law is developed. The sensitivity was determined using a varying atmosphere model whose statistical properties matched those of actual atmosphere data. This study showed that a compensating guidance law is crucial to the feasibility of AMOOS. Using an optimal regulator approach, a linear feedback law for bank angle was developed and checked out with the atmosphere model. This law uses the altitude profile of the trajectory to control the amount of energy dissipated within the atmosphere.

Rehder, J. J.↗
DOE OSTI2019

Novel Radiometry for In-Pipe Robotic Inspection of Holdup Deposits in Gaseous Diffusion Piping - 19503

This paper details the first complete, DOE approved, deployed and operational radiometry for robotic nondestructive assay (NDA) of holdup deposits in gaseous diffusion piping. Some features, like peak-finding, Compton correction, detector efficiency, and material properties are characteristic of typical manual methods. Most features are specific to in-pipe robotic deployment. These include in-motion radiometry, self-determined location, geometric modeling of thick deposits, bounding of self-attenuation thickness and auto-checking of replicate measurements. Significant are the means for determining all the properties, equations, and constants for automatically computing and displaying all the quantities, uncertainties and information needed for NDA reporting, analysis, and review. Earlier work by this team demonstrated rudimentary but convincing robotic in-pipe NDA of holdup deposits in pipes. Cold testing with high-enrichment mat sources and hot tests with low U-235 loadings together succeeded to exhibit convincing proof-of-principle. This research-grade radiometry implementation lacked accurate odometry, efficiency calibration, high-fidelity detector modeling, attenuation modeling, forward geometric modeling, auto-segmenting, uncertainty modeling, replicate checking, deconvolution and much more. This work explains the technical basis behind robotic in-pipe NDA. It includes discussion of a new method for modeling of self-attenuation using in-pipe deposit geometry information, detail of the method's total measurement uncertainty, and explanation of calibration methods and results. Beyond development of automation-specific radiometric elements, the paper highlights analyses, testing, and technical bases specific to and supportive of the methodology. Examples include collimation characterization, detector efficiency determination, auto-calibration methodology, and odometric replicate-checking. Results of this methodology are formalized in a DOE EM Technical Basis Document, implemented in software, formally verified in review and acceptance testing and proceduralized as a means for D and D NDA at the Portsmouth enrichment facility. Measurement of U-235 quantity is a well-known cost and schedule driver in D and D of every defunct gaseous diffusion enrichment facility in the world. The radiometry methodologies and results detailed in this paper were the high hurdles. Having established the technical basis for this automated NDA, the opportunity is to apply this to many sizes and robot forms for addressing holdup deposit NDA throughout the D and D community. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS1986

The necessity for a new parameterization of an empirical model for wind/ocean scatterometry

Difficulties related to the paucity of weather observation data regarding oceans were potentially alleviated for three summer months in 1978 when NASA's Seasat telemetered data from three wind-measuring instruments. The present study is concerned with one of these instruments, the Seasat A Scatterometer System (SASS). Attention is given to an internal consistency check of the SASS 1 model, comparisons of SASS 1 and other model-predicted winds with in situ winds, and a brief summary of the principal findings. It is found that a new wind retrieval system is required if SASS wind data are to be globally applicable and, at the same time, are to meet the required performance specifications. The sum-of-squares (SOS) technique for inverting SASS NRCS (normalized radar cross section) measurements results in the discarding of valuable data in low-speed areas and for higher incidence angles.

Woiceshyn, P. M.↗
NASA NTRS2008

The Solid Rocket Motor Slag Population: Results of a Radar-based Regressive Statistical Evaluation

Solid rocket motor (SRM) slag has been identified as a significant source of man-made orbital debris. The propensity of SRMs to generate particles of 100 m and larger has caused concern regarding their contribution to the debris environment. Radar observation, rather than in-situ gathered evidence, is currently the only measurable source for the NASA/ODPO model of the on-orbit slag population. This simulated model includes the time evolution of the resultant orbital populations using a historical database of SRM launches, propellant masses, and estimated locations and times of tail-off. However, due to the small amount of observational evidence, there can be no direct comparison to check the validity of this model. Rather than using the assumed population developed from purely historical and physical assumptions, a regressional approach was used which utilized the populations observed by the Haystack radar from 1996 to present. The estimated trajectories from the historical model of slag sources, and the corresponding plausible detections by the Haystack radar, were identified. Comparisons with observational data from the ensuing years were made, and the SRM model was altered with respect to size and mass production of slag particles to reflect the historical data obtained. The result is a model SRM population that fits within the bounds of the observed environment.

Horstman, Matthew F.↗
NASA NTRS1992

Reanalysis of x ray emission from M87 II: Multiphase models

In a previous paper by the authors (hereafter TB), it was shown that the hot intracluster gas around M87 could not be adequately explained in terms of a spherically symmetric, single phase model. It was found that although data from the Einstein satellite High Resolution Imager (HRI), Imaging Proportional Counter (IPC), and Focal Point Crystal Spectrometer (FPCS) could indeed be simultaneously explained by a single phase model, data from the Solid State Spectrometer (SSS) and optically determined mass estimates could not be similarly explained. A qualitative discussion was then given to indicate how the adoption of a specific multiphase model could plausibly improve upon the single phase model, but a detailed discussion was delayed until now. The x ray data is reanalyzed for the gas around M87 in the same spirit as the work in TB. That is, by assuming several cooling flow models, the shortcomings are improved upon. The procedure of TB was adopted and the data reanalyzed in the following manner: a multiphase model is assumed which can compute the surface brightness as seen by HRI and IPC. Also, the line fluxes can be computed of the lines seen by the FPCS and the mass profile after assuming hydrostatic equilibrium. The parameters of the model are then adjusted to fit the data. A check is then made to see whether the resulting model is consistent with the SSS spectrum and the equivalent width of the 7 keV complex of Fe lines as seen by large field of view instruments.

Tsai, John C.↗
NASA NTRS2010

IT Research Services: Powerful Tools to Track a Fast Moving Industry

Research services change and evolve over time, sometimes suddenly, in their focus, topics, formats, service model, etc. You have to check in often. Some offer products that you can customize to your environment, others not so much. You will find a variation in customer management practices (e.g., when and how they share information) ...can sometimes be annoying. Assess your needs carefully. Each research service has a very different service model. Explore ways to share or lower the cost. Someone out there may share the expense when that is an option. Make sure you read the small print. It can work for you as well as against you. When in doubt, ask your Vendor's POC. Set up Research Service "gurus or SME's." Not to violate the copyright agreement of course, just have someone who knows what's there. After you subscribe, reassess.Get the most out of your investment. Some early enthusiasts will fade, and there will be others who don't know it's there and can use it.

Hunter, Paul↗
NASA NTRS1990

Dynamic Analysis and Control of Lightweight Manipulators with Flexible Parallel Link Mechanisms

The objective is the theoretical analysis and the experimental verification of dynamics and control of a two link flexible manipulator with a flexible parallel link mechanism. Nonlinear equations of motion of the lightweight manipulator are derived by the Lagrangian method in symbolic form to better understand the structure of the dynamic model. The resulting equation of motion have a structure which is useful to reduce the number of terms calculated, to check correctness, or to extend the model to higher order. A manipulator with a flexible parallel link mechanism is a constrained dynamic system whose equations are sensitive to numerical integration error. This constrained system is solved using singular value decomposition of the constraint Jacobian matrix. Elastic motion is expressed by the assumed mode method. Mode shape functions of each link are chosen using the load interfaced component mode synthesis. The discrepancies between the analytical model and the experiment are explained using a simplified and a detailed finite element model.

Lee, Jeh Won↗
DOE OSTI2018

Resource Analysis for Deep Direct-Use Feasibility Study in East Texas

The National Renewable Energy Laboratory, Southern Methodist University Geothermal Laboratory, Eastman Chemical, Turbine Air Systems, and the Electric Power Research Institute are evaluating the feasibility of using geothermal heat to improve the efficiency of natural gas power plants. The area of interest is the Eastman Chemical plant in Longview, Texas, which is on the northwestern margin of the Sabine Uplift. The study is focused on determining the potential for a geothermal reservoir within a 10 km radius of the site as defined by data from existing geological studies and cross-sections within the depths of 2,100 to 3,400 meters. Wells within a 20 km radius are included for broader geological comparison to determine the heat flow, temperature-at-depth, and oil and gas field porosity and permeability. The geothermal reservoir model is based on the multiple formation top data sources, published literature data, and well log interpretations within the 10 km radius. Area thickness estimates, reservoir extent bounding parameters, potential flow rates, and temperatures are combined to calculate a reservoir productivity index and develop a reservoir production model. Historical fluid volumes production data are used as an independent check for the reservoir productivity index and production model results. The reservoir parameters calculated here are being used for the surface engineering model to determine the economic viability of using geothermal fluids for a deep direct use application at this site. The data files are submitted as separate workbooks in 'content model' format, including: Well Fluid Production, Heat Flow, and Geologic Reservoir.

15 GEOTHERMAL ENERGY↗
NASA NTRS1990

Plan, formulate, and discuss a NASTRAN finite element model of the UH-60A helicopter airframe

Under a rotorcraft structural dynamics program sponsored by the NASA Langley Research Center, Sikorsky Aircraft, together with the other major helicopter airframe manufacturers, is engaged in a study to improve the use of finite element analysis to predict the dynamic behavior of helicopter airframes. This program, which was designated DAMVIBS (Design Analysis Methods for VIBrationS), includes activities in the areas of: planning, creating, and documenting finite element models of helicopter airframes; the performance of ground vibration tests; and the correlation of test and analysis. The work performed at Sikorsky Aircraft for planning, creating, and documenting a finite element model of the UH-60A BLACK HAWK helicopter airframe is summarized. A complete description of the components of the helicopter which are to be represented in the model is presented and includes: the structural arrangement, the identification of primary and secondary structure, the components of the drive and power trains, and the attachment of large weight items to the structure. Also presented are the techniques which were used to formulate the structural finite element model for static analysis, for forming the mass and vibration models for dynamic analysis, and the procedures which were used to check out and verify the integrity of the model. Initial predictions for the vibration modes for the helicopter are included.

Dinyovszky, P.↗
NASA NTRS1992

The production and escape of nitrogen atoms on Mars

The lack of agreement between our previously computed values and those measured by Viking of the N-15:N-14 isotope enhancement ratio has led us to reevaluate our model of the Martian ionosphere. In previous models, we were unable to reproduce the ion profiles measured by the RPA on Viking using electron temperatures that were higher that the ion temperatures. When we increased the electron temperatures to 2500-3000 K and with a zero flux upper boundary condition, the ion densities at high altitudes exceeded the measured values by a large factor. We found that we can better fit the observed profiles if we impose a loss process at the upper boundary of our model. If the horizontal fluxes of ions do not constitute a net loss of ions, then the escape of N due to dissociative recombination is also inhibited and better agreement with the measured isotope ratio is found. The production of escaping nitrogen atoms is closely related to the production of thermospheric odd nitrogen; therefore, the densities of NO measured by Viking provide a convenient check on our nitrogen escape model. Our standard model NO densities are less that the measured values by a factor of 2-3, as are those of previous models. We find that reasonable agreement can be obtained by assuming that the rate coefficient for loss of odd nitrogen in the reaction of N with NO is smaller at temperatures that prevail in the lower Martian thermosphere than the standard value, which applies to temperatures of 200-400 K. Other aspects of this investigation are presented.

Fox, J. L.↗
DOE OSTI2017

Institutional Transformation Version 2.5 Modeling and Planning.

Reducing the resource consumption and emissions of large institutions is an important step toward a sustainable future. Sandia National Laboratories' (SNL) Institutional Transformation (IX) project vision is to provide tools that enable planners to make well-informed decisions concerning sustainability, resource conservation, and emissions reduction across multiple sectors. The building sector has been the primary focus so far because it is the largest consumer of resources for SNL. The IX building module allows users to define the evolution of many buildings over time. The module has been created so that it can be generally applied to any set of DOE-2 ( http://doe2.com ) building models that have been altered to include parameters and expressions required by energy conservation measures (ECM). Once building models have been appropriately prepared, they are checked into a Microsoft Access (r) database. Each building can be represented by many models. This enables the capability to keep a continuous record of models in the past, which are replaced with different models as changes occur to the building. In addition to this, the building module has the capability to apply climate scenarios through applying different weather files to each simulation year. Once the database has been configured, a user interface in Microsoft Excel (r) is used to create scenarios with one or more ECMs. The capability to include central utility buildings (CUBs) that service more than one building with chilled water has been developed. A utility has been created that joins multiple building models into a single model. After using the utility, several manual steps are required to complete the process. Once this CUB model has been created, the individual contributions of each building are still tracked through meters. Currently, 120 building models from SNL's New Mexico and California campuses have been created. This includes all buildings at SNL greater than 10,000 sq. ft., representing 80% of the energy consumption at SNL. SNL has been able to leverage this model to estimate energy savings potential of many competing ECMs. The results helped high level decision makers to create energy reduction goals for SNL. These resources also have multiple applications for use of the models as individual buildings. In addition to the building module, a solar module built in Powersim Studio (r) allows planners to evaluate the potential photovoltaic (PV) energy generation potential for flat plate PV, concentrating solar PV, and concentration solar thermal technologies at multiple sites across SNL's New Mexico campus. Development of the IX modeling framework was a unique collaborative effort among planners and engineers in SNL's facilities division; scientists and computer modelers in SNL's research and development division; faculty from Arizona State University; and energy modelers from Bridger and Paxton Consulting Engineers Incorporated.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS2002

ISS SGANT Group Level Offloading Test Mechanism

The International Space Station (ISS) Space-to-Ground Antenna (SGANT) is used for ISS communication with earth through the Tracking and Data Relay Satellite (TDRSS). Due to the different speeds of travel between earth, ISS and TDRSS, a steerable SGANT was required on the ISS. The mechanical design of SGANT is an unbalanced mechanism with insufficient strength and driving torque to support and drive itself in a 1G environment. For ground testing, a specially designed offloading mechanism is required. Basically, the test mechanism must offload the SGANT in a two-axis operation, allowing the SGANT to move within a specific range, speed and acceleration; therefore the SGANT can move from elevation 0 to 90 deg and be tested at both the 0 and 90 deg positions. The load introduced by the test equipment should be less than 10.17 N-m (7.5 ft-lbf). The on-ground group level tracking test is quite challenging due to the unbalanced antenna mechanical design and tough specification requirements. This paper describes the detailed design, fabrication, and calibration of the test mechanism, and how the above requirements are met. The overall antenna is simplified to a mass model in order to facilitate the offloading mechanism design and analysis. An actual SGANT mass dummy was made to calibrate the system. This paper brings together the theoretical analysis and the industrial experience that were relied upon to meet the above-mentioned requirements for the ground test. The lessons learned during the calibration phase are extremely important for future double or multiple offloading system designs. The ISS SGANT QM and FM units passed their ground test and the SGANT/Boom fit check successfully, and the Flight Model (FM) was delivered to SSPF in April 1998. It is now installed on ISS and functioning well.

Zhang, Xi-Lin↗
NASA NTRS1984

A Model for the Effectiveness of Aircraft Alerting and Warning Systems

The effectiveness of an alerting system with a single alert was analyzed. The pilot's decision behavior is modeled by the theory of signal detection and therefore accounts for different strengths of cross check information and different pilot criteria. The model includes the effects of the alerting and warning system (CAWS) error rate; the pilot's past experience with the CAWS accuracy; his reliance on the CAWS rather than independent monitoring; missed alerts; and adoption of a minimum error or Neyman-Pearson objective rather than minimum cost objective. It is showwn that for rare events: (1) the expected cost is greatly increased if the pilot ignores the a posteriori information in the existence of an alert; (2) the expected cost is insensitive to CAWS Type 1 errors; and (3) the expected cost is sensitive to CAWS type 2 errors only when the cross check information is ambiguous.

Curry, R. E.↗
DOE OSTI2015

Interaction of a weak shock wave with a discontinuous heavy-gas cylinder

The interaction between a cylindrical inhomogeneity and a weak planar shock wave is investigated experimentally and numerically, and special attention is given to the wave patterns and vortex dynamics in this scenario. A soap-film technique is realized to generate a well-controlled discontinuous cylinder (SF{sub 6} surrounded by air) with no supports or wires in the shock-tube experiment. The symmetric evolving interfaces and few disturbance waves are observed in a high-speed schlieren photography. Numerical simulations are also carried out for a detailed analysis. The refracted shock wave inside the cylinder is perturbed by the diffracted shock waves and divided into three branches. When these shock branches collide, the shock focusing occurs. A nonlinear model is then proposed to elucidate effects of the wave patterns on the evolution of the cylinder. A distinct vortex pair is gradually developing during the shock-cylinder interaction. The numerical results show that a low pressure region appears at the vortex core. Subsequently, the ambient fluid is entrained into the vortices which are expanding at the same time. Based on the relation between the vortex motion and the circulation, several theoretical models of circulation in the literature are then checked by the experimental and numerical results. Most of these theoretical circulation models provide a reasonably good prediction of the vortex motion in the present configuration.

42 ENGINEERING↗