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 721 records · Page 40

Systems cost/performance analysis; study 2.3. Volume 3: Programmer's manual and user's guide

The implementation of the entire systems cost/performance model as a digital computer program was studied. A discussion of the operating environment in which the program was written and checked, the program specifications such as discussions of logic and computational flow, the different subsystem models involved in the design of the spacecraft, and routines involved in the nondesign area such as costing and scheduling of the design were covered. Preliminary results for the DSCS-2 design are also included.

Source record↗

A model for the analysis of fault-tolerant signal processing architectures

This paper develops a new model, using matrices, for the analysis of fault-tolerant multiprocessor systems. The relationship between processors computing useful data, the output data, and the check processors is defined in terms of matrix entries. Unlike the matrix-based models proposed previously for the analysis of digital systems, this model uses only numerical computations rather than logical operations for the analysis of a system. Algorithms to evaluate the fault detection and location capability of the system are proposed which are much less complex than the existing ones. The new model is used to analyze some fault-tolerant architectures proposed for signal-processing applications.

Nair, V. S. S.↗

Resilient co-expansion planning between gas and electric distribution networks against natural disasters

Resiliently designed and constructed integrated gas-electric distribution networks (GEDNs) against natural disasters are crucial to social welfare. In this study, a two-stage robust optimisation-based co-expansion planning model is proposed to attain an integrated GEDN with a given resilience level, by optimising the investment strategies of hardening and selective expansion of power distribution feeders and natural gas pipelines, as well as the location and capacity of natural-gas-fired distributed generation. In the first stage, the overall annual investment and operation cost is minimised under normal operation conditions while in the second stage, the feasibility of the investment decisions under the identified worst-case natural disaster scenario is checked with an adjustable load shedding cost criterion. The proposed model is formulated as a mixed integer second-order cone programming problem with the column and constraint generation algorithm employed to seek the optimal solution. Case studies on two integrated GEDNs demonstrate the performance of the proposed methodology.

Zou, Bo↗

Detailed assessment of global transport-energy models’ structures and projections

This paper focuses on comparing the frameworks and projections from four major global transportation models with considerable transportation technology and behavioral detail. We analyze and compare the modeling frameworks, underlying data, assumptions, intermediate parameters, and projections to identify the sources of divergence or consistency, as well as key knowledge gaps. We find that there are significant differences in the base-year data and key parameters for future projections, especially for developing countries. These include passenger and freight activity, mode shares, vehicle ownership rates, and even energy consumption by mode, particularly for shipping, aviation and trucking. This may be due in part to a lack of previous efforts to do such consistency-checking and “bench-marking.” We find that the four models differ in terms of the relative roles of various mitigation strategies to achieve a 2°C / 450 ppm CO2e target: the economics-based integrated assessment models favor the use of low carbon fuels as the primary mitigation option followed by efficiency improvements, whereas transport-only and expert-based models favor efficiency improvements of vehicles followed by mode shifts. We offer recommendations for future modeling improvements focusing on (1) reducing data gaps; (2) translating the findings from this study into relevant policy implications such as feasibility of current policy goals, additional policy targets needed, regional vs. global reductions, etc.; (3) modeling strata of demographic groups to improve understanding of vehicle ownership levels, travel behavior, and urban vs. rural considerations; and (4) conducting coordinated efforts in aligning input assumptions and historical data, policy analysis, and modeling insights.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

3D Morphological Analysis and Synthesis of Industrial Materials Surfaces

We present the original results pertaining to understanding topographical features on real industrial alloy surfaces. Quite often, such materials are subjected to different thermomechanical treatments with the goal of improving their yield strength, ductility, corrosion resistance, and other properties. Operations of casting, rolling, extruding, and stretching metal invariably leave their distinct “signatures” on the processed materials’ surfaces. It is highly desirable to be able to perform their characterization not in terms of the numerous surface roughness and/or waviness parameters, but rather in terms of the distinctive contributions of such operations. Indeed, if such a quantitative characterization were possible, it would be much easier to introduce corrective actions into the appropriate chain of production operations. We provide such possibility with the “morphological analysis and synthesis” techniques described in the paper. The results can be quantified either using surface topography measurements or studying light scattering from such surfaces. This last capability also gives a quick check of the “morphological similarity” of the “real” and modeled surfaces (images), which is important, e.g., in phase-field simulations. All calculations were performed using the MorphoHawk© software developed by the author and colleagues.

36 MATERIALS SCIENCE↗

Simulation and fitting of complex reaction network TPR: The key is the objective function

In this research, a method has been developed for finding improved fits during simulation and fitting of data from complex reaction network temperature programmed reactions (CRN-TPR). It was found that simulation and fitting of CRN-TPR presents additional challenges relative to simulation and fitting of simpler TPR systems. The method used here can enable checking the plausibility of proposed chemical mechanisms and kinetic models. The most important finding was that when choosing an objective function, use of an objective function that is based on integrated production provides more utility in finding improved fits when compared to an objective function based on the rate of production. The response surface produced by using the integrated production is monotonic, suppresses effects from experimental noise, requires fewer points to capture the response behavior, and can be simulated numerically with smaller errors. For CRN-TPR, there is increased importance (relative to simple reaction network TPR) in resolving of peaks prior to fitting, as well as from weighting of experimental data points. Using an implicit ordinary differential equation solver was found to be inadequate for simulating CRN-TPR. Lastly, the method employed here was capable of attaining improved fits in simulation and fitting of CRN-TPR when starting with a postulated mechanism and physically realistic initial guesses for the kinetic parameters.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Dark energy survey year 3 results: cosmological constraints from the analysis of cosmic shear in harmonic space

ABSTRACT We present cosmological constraints from the analysis of angular power spectra of cosmic shear maps based on data from the first three years of observations by the Dark Energy Survey (DES Y3). Our measurements are based on the pseudo-Cℓ method and complement the analysis of the two-point correlation functions in real space, as the two estimators are known to compress and select Gaussian information in different ways, due to scale cuts. They may also be differently affected by systematic effects and theoretical uncertainties, making this analysis an important cross-check. Using the same fiducial Lambda cold dark matter model as in the DES Y3 real-space analysis, we find ${S_8 \equiv \sigma _8 \sqrt{\Omega _{\rm m}/0.3} = 0.793^{+0.038}_{-0.025}}$, which further improves to S8 = 0.784 ± 0.026 when including shear ratios. This result is within expected statistical fluctuations from the real-space constraint, and in agreement with DES Y3 analyses of non-Gaussian statistics, but favours a slightly higher value of S8, which reduces the tension with the Planck 2018 constraints from 2.3σ in the real space analysis to 1.5σ here. We explore less conservative intrinsic alignments models than the one adopted in our fiducial analysis, finding no clear preference for a more complex model. We also include small scales, using an increased Fourier mode cut-off up to $k_{\rm max}={5}\, {h}\, {\rm Mpc}^{-1}$, which allows to constrain baryonic feedback while leaving cosmological constraints essentially unchanged. Finally, we present an approximate reconstruction of the linear matter power spectrum at present time, found to be about 20 per cent lower than predicted by Planck 2018, as reflected by the lower S8 value.

79 ASTRONOMY AND ASTROPHYSICS↗

SU-F-T-479: Estimation of the Accuracy in Respiratory-Gated Radiotherapy

Purpose: Irregular respiratory patterns affects dose outputs in respiratorygated radiotherapy and there is no commercially available quality assurance (QA) system for it. We designed and developed a patient specific QA system for respiratory-gated radiotherapy to estimate irradiated output. Methods: Our in-house QA system for gating was composed of a personal computer with the USB-FSIO electronic circuit connecting to the linear accelerator (ONCOR-K, Toshiba Medical Systems). The linac implements a respiratory gating system (AZ-733V, Anzai Medical). During the beam was on, 4.2 V square-wave pulses were continually sent to the system. Our system can receive and count the pulses. At first, our system and an oscilloscope were compared to check the performance of our system. Next, basic estimation models were generated when ionization-chamber measurements were performed in gating using regular sinusoidal wave patterns (2.0, 2.5, 4.0, 8.0, 15 sec/cycle). During gated irradiation with the regular patterns, the number of the pulses per one gating window was measured using our system. Correlation between the number of the pulses per one gating and dose per the gating window were assessed to generate the estimation model. Finally, two irregular respiratory patterns were created and the accuracy of the estimation was evaluated. Results: Compared to the oscilloscope, our system worked similarly. The basic models were generated with the accuracy within 0.1%. The results of the gated irradiations with two irregular respiratory patterns show good agreement within 0.4% estimation accuracy. Conclusion: Our developed system shows good estimation for even irregular respiration patterns. The system would be a useful tool to verify the output for respiratory-gated radiotherapy.

60 APPLIED LIFE SCIENCES↗

SYS-5620-Project - Achieving Robust Laser Performance utilizing Historical Shot Experiments - A Systems Engineering Proposal

The National Ignition Facility (NIF) at Lawrence Livermore National Laboratory precisely guides, amplifies, reflects, and focuses 192 powerful laser beams into a target about the size of a pencil eraser in a few billionths of a second, delivering more than 2 million joules of ultraviolet energy and 500 trillion watts of peak power. A crucial goal of the system is to trigger precise implosions of fuel capsules. This is achieved by delivering all 192 beams at user-specified times and locations on the target, minimizing any deviation from the requested performance. Power requirements can vary substantially on each experiment and the facility supports numerous amplifier pumping configurations and their attendant nonlinear effects. To achieve the tight performance required across such a broad array of configurations, constant comparison of measured and requested power delivery are tracked and long-term trends analyzed as a guide to understanding future performance. A very common question asked is given the current state of the laser today – how well would a similar experiment from the past perform today? Additionally, if one were to specify an alternate amplifier configuration using today’s model would and damage limits be exceeded and would there be an increase in performance. The physics model used to make these predictions and equipment protection checks is called the Virtual Beamline (VBL). VBL is used with an incoming desired pulse shape and energy to be delivered on target, and then does an iterative solve to predict the needed injected pulse in the front-end of the system to achieve this result. To effectively guide and predict future NIF experiment performance, laser scientists explore current amplifier configurations and compare them with historical data utilizing a tool called the Reverify Toolbox.

42 ENGINEERING↗

A Joint Search for Muon Neutrino Disappearance with the Short-Baseline Neutrino Program Using the SPINE Deep Learning-Based Reconstruction Package

We present the status of a joint search for muon neutrino disappearance in the Booster Neutrino Beam at Fermilab using the Short-Baseline Neutrino (SBN) Program's two-detector configuration, SBND and ICARUS. Charged-current interactions consistent with muon neutrinos and containing only a muon and at least one proton in the final state are reconstructed and selected using the SPINE deep learning-based particle reconstruction package. To exploit proton multiplicity information and enhance sensitivity to modeling effects, the selected sample is partitioned into exclusive channels with exactly one reconstructed proton and with more than one reconstructed proton. Comprehensive systematic uncertainties from the neutrino flux, interaction, and detector response are incorporated into the analysis, and the coverage of these systematic uncertainty models is validated using data from both detectors, including checks of near-far consistency in key kinematic and topology-sensitive observables. This analysis is intended for inclusion in SBN's first oscillation result.

Mueller, Justin [Fermilab]↗

Hypersonic research engine project. Phase 2: Structures and cooling development

The structures assembly model (SAM) was installed, and wind tunnel systems were checked out. The first run, with hydrogen cooling and SAM inserted in the wind tunnel stream (M = 7.7, P sub TOTAL = 900 psia, T sub TOTAL = 2500 deg R), was accomplished. The condition of the SAM after the run was satisfactory, with no visible signs or data indications of overheating or overloading.

Jilly, L. F.↗

Anode heat transfer in a constricted tube arc.

The complex energy exchange mechanisms occurring on the most severely heated component of an arc constrictor, the anode, have been investigated. Measurements performed to determine the anode heat flux for a cascade, atmospheric argon arc of the Maecker type are described. The results are used to check the validity of an existing anode heat transfer model.

Lukens, L. A.↗

A dynamic motion simulator for future European docking systems

Europe's first confrontation with docking in space will require extensive testing to verify design and performance and to qualify hardware. For this purpose, a Docking Dynamics Test Facility (DDTF) was developed. It allows reproduction on the ground of the same impact loads and relative motion dynamics which would occur in space during docking. It uses a 9 degree of freedom, servo-motion system, controlled by a real time computer, which simulates the docking spacecraft in a zero-g environment. The test technique involves and active loop based on six axis force and torque detection, a mathematical simulation of individual spacecraft dynamics, and a 9 degree of freedom servomotion of which 3 DOFs allow extension of the kinematic range to 5 m. The configuration was checked out by closed loop tests involving spacecraft control models and real sensor hardware. The test facility at present has an extensive configuration that allows evaluation of both proximity control and docking systems. It provides a versatile tool to verify system design, hardware items and performance capabilities in the ongoing HERMES and COLUMBUS programs. The test system is described and its capabilities are summarized.

Brondino, G.↗

Application of thermal life prediction model to high-temperature aerospace alloys B1900+Hf and Haynes 188

The results of the application of a newly proposed thermomechanical fatigue (TMF) life prediction method to a series of laboratory TMF results on two high-temperature aerospace engine alloys are presented. The method, referred to as TMF/TS-SRP, is based on three relatively recent developments: the total strain version of the method of Strainrange Partitioning (TS-SRP), the bithermal testing technique for characterizing TMF behavior, and advanced viscoplastic constitutive models. The high-temperature data reported in a companion publication are used to evaluate the constants in the model and to provide the TMF verification data to check its accuracy. Predicted lives are in agreement with the experimental lives to within a factor of approximately 2.

Halford, Gary R.↗

Application of a thermal fatigue life prediction model to high-temperature aerospace alloys B1900 + Hf and Haynes 188

The results of the application of a newly proposed thermomechanical fatigue (TMF) life prediction method to a series of laboratory TMF results on two high-temperature aerospace engine alloys are presented. The method, referred to as TMF/TS-SRP, is based on three relatively recent developments: the total strain version of the method of Strain Range Partitioning (TS-SRP), the bithermal testing technique for characterizing TMF behavior, and advanced viscoplastic constitutive models. The high-temperature data reported in a companion publication are used to evaluate the constants in the model and to provide the TMF verification data to check its accuracy. Predicted lives are in agreement with the experimental lives to within a factor of approximately 2.

Halford, G. R.↗

On Geomagnetism and Paleomagnetism I

A partial description of Earth's broad scale, core-source magnetic field has been developed and tested three ways. The description features an expected, or mean, spatial magnetic power spectrum that is approximately inversely proportional to horizontal wavenumber atop Earth's core. This multipole spectrum describes a magnetic energy range; it is not steep enough for Gubbins' magnetic dissipation range. Temporal variations of core multipole powers about mean values are to be expected and are described statistically, via trial probability distribution functions, instead of deterministically, via trial solution of closed transport equations. The distributions considered here are closed and neither require nor prohibit magnetic isotropy. The description is therefore applicable to, and tested against, both dipole and low degree non-dipole fields. In Part 1, a physical basis for an expectation spectrum is developed and checked. The description is then combined with main field models of twentieth century satellite and surface geomagnetic field measurements to make testable predictions of the radius of Earth's core. The predicted core radius is 0.7% above the 3480 km seismological value. Partial descriptions of other planetary dipole fields are noted.

Voorhies, Coerte V.↗

Preliminary Characterizations of Altair Lunar Lander Slosh Dynamics and Some Implications for TVC Design

During thrust maneuvers, the sloshing of fuel in partially filled tanks could interact with the controlled system in such a way as to cause the overall system to be unstable. This failure mode could be a result of poor coordination between systems engineers of Structures, Propulsion, GN&C, Mission Operations, and other subsystems. Attentions to the following is a minimum: Placements of fuel tanks, Tank shapes and baffle designs, Separation of TVC BW from slosh mode frequencies, Adequacy of excursion range of engine gimbal actuators in all engine burns, BW of sensors (e.g., gyroscopes) and actuators (e.g., engine gimbal), Structural frequencies of spacecraft and engine mounts, Prediction of S/C's c.m. location, canting of gimbal null axis, others. Check overall TVC performance via validated simulation test bed. Modeling fuel slosh during spacecraft thrusting maneuvers • Placement of fuel tanks to guarantee stable interactions between fuel slosh mode and the S/C rigid-body mode • Estimation of slosh frequencies (as a function of mission phases): – Estimation of slosh mode damping • Some implications for Thrust Vector Control design: – Selection of TVC controller bandwidth – Adequacy of the excursion range of engine gimbal actuator • TVC system design: Complex Interactions between GN&C, Propulsion, Structure, and Other Subsystems

Thrust vector control↗

Herschel Observations of the Debris Disc Around HIP 92043

Context: Typical debris discs are composed of particles ranging from several micron sized dust grains to kilometer-sized asteroidal bodies, and their infrared emission peaks at wavelengths 60-100 microns. Recent Herschel DUNES (Dust Around Nearby Stars) observations have identified several debris discs around nearby Sun-like stars (F, G and K spectral type) with significant excess emission only at 160 microns. Aims: We observed HIP 92043 (110 Her, HD 173667) at far-infrared and sub-millimetre wavelengths with Herschel PACS (Photodetector Array Camera and Spectrometer) and SPIRE (Spectral and Photometric Imaging Receiver).Identification of the presence of excess emission from HIP 92043 and the origin and physical properties of any excess was undertaken through analysis of its spectral energy distribution (SED) and the PACS images. Methods: The PACS and SPIRE images were produced using the HIPE (Herschel Interactive Processing Environment) photProject map maker routine. Fluxes were measured using aperture photometry. A stellar photosphere model was scaled to optical and near infrared photometry and subtracted from the far-infared and sub-mm fluxes to determine the presence of excess emission. Source radial profiles were fitted using a 2D Gaussian and compared to a PSF (Point Spread Function) model based on Herschel observations of alpha Boo to check for extended emission. Results: Clear excess emission from HIP 92043 was observed at 70 and 100 microns. Marginal excess was observed at 160 and 250 microns.Analysis of the images reveals that the source is extended at 160 microns. A fit to the source SED is inconsistent with a photosphere and single temperature black body. Conclusions: The excess emission from HIP 92043 is consistent with the presence of an unresolved circumstellar debris disc at 70and 100 microns, with low probability of background contamination. The extended 160 micron emission may be interpreted as an additional cold component to the debris disc or as the result of background contamination along the line of sight. The nature of the 160 micron excess cannot be determined absolutely from the available data, but we favour a debris disc interpretation, drawing parallels with previously identified cold disc sources in the DUNES sample.

debris discs↗