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,117 records · Page 62

Theory of exciton transfer and diffusion in conjugated polymers

We describe a theory of Förster-type exciton transfer between conjugated polymers. The theory is built on three assumptions. First, we assume that the low-lying excited states of conjugated polymers are Frenkel excitons coupled to local normal modes, and described by the Frenkel-Holstein model. Second, we assume that the relevant parameter regime is ℏω < J, i.e., the adiabatic regime, and thus the Born-Oppenheimer factorization of the electronic and nuclear degrees of freedom is generally applicable. Finally, we assume that the Condon approximation is valid, i.e., the exciton-polaron wavefunction is essentially independent of the normal modes. The resulting expression for the exciton transfer rate has a familiar form, being a function of the exciton transfer integral and the effective Franck-Condon factors. The effective Franck-Condon factors are functions of the effective Huang-Rhys parameters, which are inversely proportional to the chromophore size. The Born-Oppenheimer expressions were checked against DMRG calculations, and are found to be within 10% of the exact value for a tiny fraction of the computational cost. This theory of exciton transfer is then applied to model exciton migration in conformationally disordered poly(p-phenylene vinylene). Key to this modeling is the assumption that the donor and acceptor chromophores are defined by local exciton ground states (LEGSs). Since LEGSs are readily determined by the exciton center-of-mass wavefunction, this theory provides a quantitative link between polymer conformation and exciton migration. Our Monte Carlo simulations indicate that the exciton diffusion length depends weakly on the conformation of the polymer, with the diffusion length increasing slightly as the chromophores became straighter and longer. This is largely a geometrical effect: longer and straighter chromophores extend over larger distances. The calculated diffusion lengths of ∼10 nm are in good agreement with experiment. The spectral properties of the migrating excitons are also investigated. The emission intensity ratio of the 0-0 and 0-1 vibronic peaks is related to the effective Huang-Rhys parameter of the emitting state, which in turn is related to the chromophore size. The intensity ratios calculated from the effective Huang-Rhys parameters are in agreement with experimental spectra, and the time-resolved trend for the intensity ratio to decrease with time was also reproduced as the excitation migrates to shorter, lower energy chromophores as a function of time. In addition, the energy of the exciton state shows a logarithmic decrease with time, in agreement with experimental observations.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Advanced Numerical Model for Irradiated Concrete

In this report, we establish a numerical model for concrete exposed to irradiation to address these three critical points. The model accounts for creep in the cement paste and its coupling with damage, temperature and relative humidity. The shift in failure mode with the loading rate is also properly represented. The numerical model for creep has been validated and calibrated against different experiments in the literature [Wittmann, 1970, Le Roy, 1995]. Results from a simplified model are shown to showcase the ability of numerical homogenization to simulate irradiation effects in concrete. In future works, the complete model will be applied to the analysis of the irradiation experiments of Elleuch et al. [1972] and Kelly et al. [1969]. This requires a careful examination of the experimental environmental conditions as in both cases certain critical information are missing, including the relative humidity history. A sensitivity analysis will be conducted to provide lower and upper bounds of the concrete expansion under irradiation, and check if the scatter in the simulated results matches the one found in experiments. The numerical and experimental results will be compared in terms of expansion and loss of mechanical stiffness and strength. Both effects should be captured accordingly by the model to validate it. Once the model has been validated on these two experiments, it can be applied to simulate concrete from nuclear power plants. To do so, the materials used in these concrete must be as well characterized as possible. The main parameters required are the mechanical properties of each constituent in the concrete (aggregates, cement paste), namely the elastic modulus, the creep properties, the tensile and compressive strength, the thermal expansion coefficient, and the drying shrinkage. These can be either measured experimentally, estimated from the initial composition in the case of cement paste, or back-calculated from mechanical tests on concrete. If some are unknown, a sensitivity analysis must be carried out to provide lower and upper bounds of the material behaviour. Finally, the model can be used as a basis to formulate a macroscopic material model for concrete subject to irradiation, which later can be used in structural analyses to estimate the structural impact of irradiation on nuclear power plants.

36 MATERIALS SCIENCE↗

DYNA3D/ParaDyn Regression Test Suite Inventory

The following table constitutes an initial assessment of feature coverage across the regression test suite used for DYNA3D and ParaDyn. It documents the regression test suite at the time of preliminary release 16.1 in September 2016. The columns of the table represent groupings of functionalities, e.g., material models. Each problem in the test suite is represented by a row in the table. All features exercised by the problem are denoted by a check mark (√) in the corresponding column. The definition of “feature” has not been subdivided to its smallest unit of user input, e.g., algorithmic parameters specific to a particular type of contact surface. This represents a judgment to provide code developers and users a reasonable impression of feature coverage without expanding the width of the table by several multiples. All regression testing is run in parallel, typically with eight processors, except problems involving features only available in serial mode. Many are strictly regression tests acting as a check that the codes continue to produce adequately repeatable results as development unfolds; compilers change and platforms are replaced. A subset of the tests represents true verification problems that have been checked against analytical or other benchmark solutions. Users are welcomed to submit documented problems for inclusion in the test suite, especially if they are heavily exercising, and dependent upon, features that are currently underrepresented.

97 MATHEMATICS AND COMPUTING↗

On the image of AGS 3 He 2+ $\vec{n}$ 0 in the blue

This note addresses the transport of Helion spin $\vec{n}$ 0 vector, from its periodic orientation in the AGS to RHIC Blue ring injection kicker, via the AGS extraction system and the AtR line. The goal is to investigate optimal injection energy into RHIC, in the matter of Helion spin matching, in the hypothesis of equal warm and cold snake strengths in the AGS. The study uses recently computed OPERA 3-D field maps of the AGS cold snake, including possibility of independent solenoid and helix settings (as discussed in Tech. Note C-A/AP/485), together with the machinery of the AGS and AtR models developed in the stepwise ray-tracing code Zgoubi. Computing tools and methods employed are discussed as well, in order to facilitate possible further checks or investigations. They are however similar to those used in an earlier study regarding the image in RHIC Blue and Yellow of AGS $\vec{n}$ 0 via the AtR in the case of proton beam (Tech. Note C-A/AP/502), which can be referred to for additional details.

43 PARTICLE ACCELERATORS↗

Using the Criticality Accident Alarm System modeling capabilities in SCALE [Slides]

The following is a summary of advice for CAAS modeling in SCALE. Refer to the SCALE Criticality Safety and Radiation Shielding training slides or to the SCALE manual for exact syntax. Use a mesh for the fission source that is the most adequate for the problem to solve (coarse/fine). Don’t spend unnecessary resources; simplify the model if it does not impact the final results of interest. Be careful to deactivate secondary fissions in MAVRIC or the calculation may never end. Check that k eff and $\overline{\upsilon}$ calculated results are logical. Between KENO and MAVRIC, cross section libraries, materials, geometry, and mesh grid can be the same or different. Iterative calculations are usually complex problems that need variance reduction. It will be hard to find the best solving parameters in the first attempt; expert judgement is needed. Check each step separately. Use Fulcrum to visualize fission source, mesh source, and spatial/energy distributions to find potential errors or impactful imprecisions.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Trust in News as Moderated by Known Truth Assessments and Source

Disinformation has become a problem in various spaces, from social media to organizations. Given the lack of evidence and transparency surrounding organizational disinformation, we aim to understand issue of information exposure effect and source trust from the lens of traditional information consumption online. Using an online experiment and multi-level mixed-effects modeling, we find that the exposure effect exists even over only two exposures to a headline, as long as participants are not shown fact-checking. Fact-checking can be effective in reducing the impact of the exposure effect. Additionally, we find that participants trusted sources significantly more before seeing the headlines. The possible presence of disinformation reduces trust in sources, even when considered highly neutral and reputable. These findings can inform simulations of agent interactions with misinformation as well as future experimental designs focused on evaluations of belief and trust based on recognizability of a source.

99 GENERAL AND MISCELLANEOUS↗

Does Explosive Nuclear Burning Occur in Tidal Disruption Events of White Dwarfs by Intermediate-mass Black Holes?

We investigate nucleosynthesis in tidal disruption events (TDEs) of white dwarfs (WDs) by intermediate-mass black holes. We consider various types of WDs with different masses and compositions by means of three-dimensional (3D) smoothed particle hydrodynamics (SPH) simulations. We model these WDs with different numbers of SPH particles, N , from a few 10{sup 4} to a few 10{sup 7} in order to check mass resolution convergence, where SPH simulations with N > 10{sup 7} (or a space resolution of several 10{sup 6} cm) have unprecedentedly high resolution in this kind of simulation. We find that nuclear reactions become less active with increasing N and that these nuclear reactions are excited by spurious heating due to low resolution. Moreover, we find no shock wave generation. In order to investigate the reason for the absence of a shock wave, we additionally perform one-dimensional (1D) SPH and mesh-based simulations with a space resolution ranging from 10{sup 4} to 10{sup 7} cm, using a characteristic flow structure extracted from the 3D SPH simulations. We find shock waves in these 1D high-resolution simulations, one of which triggers a detonation wave. However, we must be careful of the fact that, if the shock wave emerged in an outer region, it could not trigger the detonation wave due to low density. Note that the 1D initial conditions lack accuracy to precisely determine where a shock wave emerges. We need to perform 3D simulations with ≲10{sup 6} cm space resolution in order to conclude that WD TDEs become optical transients powered by radioactive nuclei.

79 ASTRONOMY AND ASTROPHYSICS↗

A criterion based on an information theoretic measure for goodness of fit between classifier and data base

A criterion for characterizing an iteratively trained classifier is presented. The criterion is based on an information theoretic measure that is developed from modeling classifier training iterations as a set of cascaded channels. The criterion is formulated as a figure of merit and as a performance index to check the appropriateness of application of the characterized classifier to an unknown data base and for implementing classifier updates and data selection respectively.

Eigen, D. J.↗

A criterion based on an information theoretic measure for goodness of fit between classifier and data base

A criterion for characterizing an iteratively trained classifier is presented. The criterion is based on an information theoretic measure that is developed from modeling classifier training iterations as a set of cascaded channels. The criterion is formulated as a figure of merit and as a performance index to check the appropriateness of application of the characterized classifier to an unknown data base and for implementing classifier updates and data selection, respectively.

Eigen, D. J.↗

A cooperative program to stimulate student involvement through the MIT Undergraduate Research Opportunity Program

Flow characteristics in the low speed Wright Brothers Wind Tunnel were studied. Calculations to check the precision of the tunnel were conducted. A program for generating computational grids around an airfoil was developed and compared with the wind tunnel model. Low Reynolds number flow phenomenon of periodic vortex shedding in a wake were also studied by applying a hot-wire anomemeter.

Source record↗

Mathematical models for space shuttle ground systems

Math models are a series of algorithms, comprised of algebraic equations and Boolean Logic. At Kennedy Space Center, math models for the Space Shuttle Systems are performed utilizing the Honeywell 66/80 digital computers, Modcomp II/45 Minicomputers and special purpose hardware simulators (MicroComputers). The Shuttle Ground Operations Simulator operating system provides the language formats, subroutines, queueing schemes, execution modes and support software to write, maintain and execute the models. The ground systems presented consist primarily of the Liquid Oxygen and Liquid Hydrogen Cryogenic Propellant Systems, as well as liquid oxygen External Tank Gaseous Oxygen Vent Hood/Arm and the Vehicle Assembly Building (VAB) High Bay Cells. The purpose of math modeling is to simulate the ground hardware systems and to provide an environment for testing in a benign mode. This capability allows the engineers to check out application software for loading and launching the vehicle, and to verify the Checkout, Control, & Monitor Subsystem within the Launch Processing System. It is also used to train operators and to predict system response and status in various configurations (normal operations, emergency and contingent operations), including untried configurations or those too dangerous to try under real conditions, i.e., failure modes.

Tory, E. G.↗

Warm neutral halos around molecular clouds. VI - Physical and chemical modeling

A combined physical and chemical modeling of the halos around molecular clouds is presented, with special emphasis on the H-to-H2 transition. On the basis of H I 21 cm observations, it is shown that the halos are extended. A physical model is employed in conjunction with a chemistry code to provide a self-consistent description of the gas. The radiative transfer code provides a check with H I, CO, and OH observations. It is concluded that the warm neutral halos are not gravitationally bound to the underlying molecular clouds and are isobaric. It is inferred from the observed extent of the H I envelopes and the large observed abundance of OH in them that the generally accepted rate for H2 information on grains is too large by a factor of two to three.

Andersson, B.-G.↗

Integrated System Health Management: Foundational Concepts, Approach, and Implementation.

Implementation of integrated system health management (ISHM) capability is fundamentally linked to the management of data, information, and knowledge (DIaK) with the purposeful objective of determining the health of a system. It is akin to having a team of experts who are all individually and collectively observing and analyzing a complex system, and communicating effectively with each other in order to arrive to an accurate and reliable assessment of its health. We present concepts, procedures, and a specific approach as a foundation for implementing a credible ISHM capability. The capability stresses integration of DIaK from all elements of a system. The intent is also to make possible implementation of on-board ISHM capability, in contrast to a remote capability. The information presented is the result of many years of research, development, and maturation of technologies, and of prototype implementations in operational systems (rocket engine test facilities). The paper will address the following topics: 1. ISHM Model of a system 2. Detection of anomaly indicators. 3. Determination and confirmation of anomalies. 4. Diagnostic of causes and determination of effects. 5. Consistency checking cycle. 6. Management of health information 7. User Interfaces 8. Example implementation ISHM has been defined from many perspectives. We define it as a capability that might be achieved by various approaches. We describe a specific approach that has been matured throughout many years of development, and pilot implementations. ISHM is a capability that is achieved by integrating data, information, and knowledge (DIaK) that might be distributed throughout the system elements (which inherently implies capability to manage DIaK associated with distributed sub-systems). DIaK must be available to any element of a system at the right time and in accordance with a meaningful context. ISHM Functional Capability Level (FCL) is measured by how well a system performs the following functions: (1) detect anomalies, (2) diagnose causes, (3) predict future anomalies/failures, and (4) provide the user with an integrated awareness about the condition of every element in the system and guide user decisions.

Figueroa, Fernando↗

Acoustic Absorption Characteristics of an Orifice With a Mean Bias Flow

The objective of the study reported here was to acquire acoustic and flow data for numerical validation of impedance models that simulate bias flow through perforates. The impedance model is being developed by researchers at High Technology Corporation. This report documents normal incidence impedance measurements a singular circular orifice with mean flow passing through it. All measurements are made within a 1.12 inch (28.5 mm) diameter impedance tube. The mean flow is introduced upstream of the orifice (with the flow and incident sound wave travelling in the same direction) with an anechoic termination downstream of the orifice. Velocity profiles are obtained upstream of the orifice to characterize the inflow boundary conditions. Velocity in the center of the orifice is also obtained. All velocity measurements are made with a hot wire anemometer and subsequent checked with mass flow measurements made concurrently. All impedance measurements are made using the Two-Microphone Method. Although we have left the analysis of the data to the developers of the impedance models that simulate bias flow through perforate, our initial examination indicates that our results follow the trends consistent with published theory on impedance of perforates with a steady bias flow.

Ahuja, K. K.↗

Optimal Estimation of Clock Values and Trends from Finite Data

We show how to solve two problems of optimal linear estimation from a finite set of phase data. Clock noise is modeled as a stochastic process with stationary dth increments. The covariance properties of such a process are contained in the generalized autocovariance function (GACV). We set up two principles for optimal estimation: with the help of the GACV, these principles lead to a set of linear equations for the regression coefficients and some auxiliary parameters. The mean square errors of the estimators are easily calculated. The method can be used to check the results of other methods and to find good suboptimal estimators based on a small subset of the available data.

stationary increments↗

Check-Up of Planet Earth at the Turn of the Millennium: Anticipated 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-AM) will repeat Langley's experiment, but for the entire planet, thus pioneering calibrated spectral observations from space. Conceived in response to real environmental problems, EOS-AM, 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-AM can revolutionize climate research by inspiring a new generation of climate system models and enable us to assess the human impact on the environment.

Kaufman, Y. J.↗

Check-Up of Planet Earth at the Turn of the Millennium Anticipated 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 named recently "Terra" (by Ms. Sasha Jones, a 17 year old student in St. Louis, MO) will repeat Langley's experiment, but for the entire planet, thus pioneering calibrated spectral observations from space. Conceived in response to real environmental problems, EOS-AM, 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-AM 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 this talk I shall a give a historical perspective for the need for this expensive mission, give examples of the science that we anticipate to achieve using Terra measurements and describe this exciting mission.

Kaufman, Yoram↗

Dissipative Bohmian mechanics within the Caldirola–Kanai framework: A trajectory analysis of wave-packet dynamics in viscid media

Classical viscid media are quite common in our everyday life. However, we are not used to find such media in quantum mechanics, and much less to analyze their effects on the dynamics of quantum systems. In this regard, the Caldirola–Kanai time-dependent Hamiltonian constitutes an appealing model, accounting for friction without including environmental fluctuations (as it happens, for example, with quantum Brownian motion). Here, a Bohmian analysis of the associated friction dynamics is provided in order to understand how a hypothetical, purely quantum viscid medium would act on a wave packet from a (quantum) hydrodynamic viewpoint. To this purpose, a series of paradigmatic contexts have been chosen, such as the free particle, the motion under the action of a linear potential, the harmonic oscillator, or the superposition of two coherent wave packets. Apart from their analyticity, these examples illustrate interesting emerging behaviors, such as localization by “quantum freezing” or a particular type of quantum–classical correspondence. The reliability of the results analytically determined has been checked by means of numerical simulations, which has served to investigate other problems lacking of such analyticity (e.g., the coherent superpositions). - Highlights: • A dissipative Bohmian approach is developed within the Caldirola–Kanai model. • Some simple yet physically insightful systems are then studied analytically. • Dissipation leads to spatial localization in free-force regimes. • Under the action of linear forces, dissipation leads to uniform motion. • In harmonic potentials, the system decays unavoidable to the well minimum.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗