Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “User Behavior”

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 235 records · Page 13

The PAWS and STEM reliability analysis programs

The PAWS and STEM programs are new design/validation tools. These programs provide a flexible, user-friendly, language-based interface for the input of Markov models describing the behavior of fault-tolerant computer systems. These programs produce exact solutions of the probability of system failure and provide a conservative estimate of the number of significant digits in the solution. PAWS uses a Pade approximation as a solution technique; STEM uses a Taylor series as a solution technique. Both programs have the capability to solve numerically stiff models. PAWS and STEM possess complementary properties with regard to their input space; and, an additional strength of these programs is that they accept input compatible with the SURE program. If used in conjunction with SURE, PAWS and STEM provide a powerful suite of programs to analyze the reliability of fault-tolerant computer systems.

Butler, Ricky W.↗

The SURE approach to reliability analysis

The SURE computer program, a reliability-analysis tool for ultrareliable computer-system architectures, provides rapid computational capability for semi-Markov models useful in describing the fault-handling behavior of fault-tolerant computer systems. The basic mathematics of SURE and its user interface are described, including a sample interactive session. The basis of the SURE model-pruning capability is presented, and the SURE loop-truncation method is justified. The techniques used to develop a semi-Markov model of a fault-tolerant computer system are also reviewed.

Butler, Ricky W.↗

Programs Help Create And Evaluate Markov Models

Pade Approximation With Scaling (PAWS) and Scaled Taylor Exponential Matrix (STEM) computer programs provide flexible, user-friendly, language-based interface for creation and evaluation of Markov models describing behaviors of fault-tolerant reconfigurable computer systems. Produce exact solution for probabilities of system failures and provide conservative estimates of numbers of significant digits in solutions. Also offer as part of bundled package with SURE and ASSIST, two other reliable analysis programs developed by Systems Validation Methods group at Langley Research Center.

Butler, Ricky W.↗

High-Performance Monitoring Architecture for Large-Scale Distributed Systems Using Event Filtering

Monitoring is an essential process to observe and improve the reliability and the performance of large-scale distributed (LSD) systems. In an LSD environment, a large number of events is generated by the system components during its execution or interaction with external objects (e.g. users or processes). Monitoring such events is necessary for observing the run-time behavior of LSD systems and providing status information required for debugging, tuning and managing such applications. However, correlated events are generated concurrently and could be distributed in various locations in the applications environment which complicates the management decisions process and thereby makes monitoring LSD systems an intricate task. We propose a scalable high-performance monitoring architecture for LSD systems to detect and classify interesting local and global events and disseminate the monitoring information to the corresponding end- points management applications such as debugging and reactive control tools to improve the application performance and reliability. A large volume of events may be generated due to the extensive demands of the monitoring applications and the high interaction of LSD systems. The monitoring architecture employs a high-performance event filtering mechanism to efficiently process the large volume of event traffic generated by LSD systems and minimize the intrusiveness of the monitoring process by reducing the event traffic flow in the system and distributing the monitoring computation. Our architecture also supports dynamic and flexible reconfiguration of the monitoring mechanism via its Instrumentation and subscription components. As a case study, we show how our monitoring architecture can be utilized to improve the reliability and the performance of the Interactive Remote Instruction (IRI) system which is a large-scale distributed system for collaborative distance learning. The filtering mechanism represents an Intrinsic component integrated with the monitoring architecture to reduce the volume of event traffic flow in the system, and thereby reduce the intrusiveness of the monitoring process. We are developing an event filtering architecture to efficiently process the large volume of event traffic generated by LSD systems (such as distributed interactive applications). This filtering architecture is used to monitor collaborative distance learning application for obtaining debugging and feedback information. Our architecture supports the dynamic (re)configuration and optimization of event filters in large-scale distributed systems. Our work represents a major contribution by (1) survey and evaluating existing event filtering mechanisms In supporting monitoring LSD systems and (2) devising an integrated scalable high- performance architecture of event filtering that spans several kev application domains, presenting techniques to improve the functionality, performance and scalability. This paper describes the primary characteristics and challenges of developing high-performance event filtering for monitoring LSD systems. We survey existing event filtering mechanisms and explain key characteristics for each technique. In addition, we discuss limitations with existing event filtering mechanisms and outline how our architecture will improve key aspects of event filtering.

Maly, K.↗

Applications of Automation Methods for Nonlinear Fracture Test Analysis

As fracture mechanics material testing evolves, the governing test standards continue to be refined to better reflect the latest understanding of the physics of the fracture processes involved. The traditional format of ASTM fracture testing standards, utilizing equations expressed directly in the text of the standard to assess the experimental result, is self-limiting in the complexity that can be reasonably captured. The use of automated analysis techniques to draw upon a rich, detailed solution database for assessing fracture mechanics tests provides a foundation for a new approach to testing standards that enables routine users to obtain highly reliable assessments of tests involving complex, non-linear fracture behavior. Herein, the case for automating the analysis of tests of surface cracks in tension in the elastic-plastic regime is utilized as an example of how such a database can be generated and implemented for use in the ASTM standards framework. The presented approach forms a bridge between the equation-based fracture testing standards of today and the next generation of standards solving complex problems through analysis automation.

Allen, Phillip A.↗

Slag Management of Carbon Feedstock Used in Gasification FY17 TCF between Eastman Chemical and NETL (Final Report)

NETL, in collaboration with Eastman Chemical Corp (Kingsport, TN), targeted the joint evaluation and refinement of a slag management program developed by NETL (NETL IP, patent applied for) to control gasifier slag properties formed from ash in individual or combinations of different coal-based carbon feedstock materials and specific slag modifiers used in gasification. Slag forms from mineral or organic-metallic impurities in the carbon feedstock that melt at the high temperatures of gasification, coalescing to form a liquid (slag) that must flow from the gasifier. Slag additives, also known as slag modifiers, are often added to the carbon feedstock to modify the ash chemistry and achieve desired slag flow properties at target temperatures used in gasification. If slag does not flow from a gasifier, its buildup within the gasification chamber will cause either gasifier shutdown to physically remove the slag (consuming time and damaging the protective refractory lining), or the gasification temperature must be increased to lower slag viscosity so it can flow from the gasifier, leading to greater refractory wear/corrosion, along with increased fouling and downstream component wear. Because of these issues, gasification is typically targeted at the lowest temperature possible where slag will flow in a controlled manner (a temperature range called T100 for the lowest temperature, with T250 being the highest temperature where the slag has achieved the desired fluidity). That temperature range also needs to yield a desired syngas composition, highlighting the importance of knowing and being able to control carbon feedstock slag viscosity and the temperature of thermal breakdown of the carbon feedstock. Slag viscosity varies with changes in the gasification chamber temperature, oxygen partial pressure, and slag chemistry. The slag model work with Eastman Chemical targeted predicting and controlling molten coal ash slag behavior at specific gasification conditions. The final goal of the refined model was to develop/refine the NETL slag model so a gasifier operator would be able to predict slag behavior prior to purchasing or using a carbon feedstock and control slag properties once a carbon feedstock is being gasified, allowing a gasifier user to determine what mineral additives or blends of different carbon materials would be needed to achieve desired slag properties at targeted gasification conditions. For a given carbon feedstock and desired gasification condition, the actual gasification cost and slag behavior would be able to be predicted using the slag management program in advance of purchasing or using the carbon feedstock – allowing accurate control of slag ash behavior in real time. As part of the TCF project work with Eastman Chemical, the viscosity of several ash compositions of interest to them would be measured and used to populate the slag model, along with a large database of historical slag temperature, chemistry, and viscosity information they possess – information that would in-crease the predictive accuracy of the slag management model with slag ash chemistry of interest to them. As part of the model evaluation and refinement, the predictive model and its database will be installed on computers at Eastman Chemical and used to manage slag properties in a gasifier during real-time operation of their gasifier. In summary, success of the slag management program at Eastman Chemical would support its use by other gasifier operators to manage slag chemistry and properties over other desired gasification temperature ranges, allowing greater process control and efficiency of their carbon feedstock conversion during gasification.

01 COAL, LIGNITE, AND PEAT↗

Dissecting Tensor Cores via Microbenchmarks: Latency, Throughput and Numeric Behaviors

Tensor Cores have been an important unit to accelerate Fused Matrix Multiplication Accumulation (MMA) in all NVIDIA GPUs since Volta Architecture. To program Tensor Cores, users have to use either legacy wmma APIs or current mma APIs. Legacy wmma APIs are more easy-to-use but can only exploit limited features and power of Tensor Cores. Specifically, wmma APIs support fewer operand shapes and can not leverage the new sparse matrix multiplication feature of the newest Ampere Tensor Cores. However, the performance of current programming interface has not been well explored. Furthermore, the computation numeric behaviors of low-precision floating points (TF32, BF16, and FP16) supported by the newest Ampere Tensor Cores are also mysterious. In this paper, we explore the throughput and latency of current programming APIs. Further, we intuitively study the numeric behaviors of Tensor Cores MMA and profile the intermediate operations including multiplication, addition of inner product, and accumulation. All codes used in this work can be found in https://github.com/sunlex0717/DissectingTensorCores.

97 MATHEMATICS AND COMPUTING↗

FORCE Regression Testing

Via programs including the Light Water Reactor Sustainability and Integrated Energy Systems, the U.S. Department of Energy has invested in the Framework for Optimization of ResourCes and Economics (FORCE) software framework (Idaho National Laboratory 2024a) for the technical and economic analysis of nuclear-integrated energy systems (IES). Nuclear IES expand the use of nuclear from traditional baseload electricity generation to a flexible and adaptive source of combined heat and power. Nuclear heat can be used in the production of a variety of energy currencies such as hydrogen and ammonia as well as other heat applications including water desalination and district heating. FORCE is designed with the intent to provide interconnected analysis tools that enable the accurate technical and economic assessment of specific nuclear IES configurations for individual energy markets. FORCE consists of three main analysis pathways: HYBRID (Idaho National Laboratory 2024b), which contains high-resolution physical models for IES; Holistic Energy Resource Optimization Network (HERON) (Idaho National Laboratory 2024c), which analyzes IES long-term economic viability; and Optimization of Real-time Capacity Allocation (ORCA) (Idaho National Laboratory 2024d), designed for real-time control of IES via digital twins and optimal decision making, including autonomous and remote operation research. Development of the FORCE ecosystem is guided by three pillars: capability, which assures that the computational requirements of IES analysis are met by the software tools; reliability, which provides for consistent code performance and expected behaviors; and accessibility, which lowers the barrier to entry for using the software and accelerates analysis by users beyond the FORCE primary developers. Reliability of the FORCE ecosystem is established according to the American Nuclear Society?s Nuclear Quality Assurance (NQA-1) program [American Society of Mechanical Engineers 1982], with specific levels of software quality assurance (SQA) within NQA-1 applied to each software tool in FORCE. As the tools within FORCE have matured, some integration algorithms to accurately connect the software tools for holistic analysis have been developed and deployed within the FORCE software repository. In accordance with NQA-1 standards, regression tests are required to guarantee the software performs consistently even when new capabilities are added to the software. In this report, we document the deployment of both unit tests, which test the consistent behavior of small pieces of the FORCE code base, as well as integration tests, which test the consistent performance of full use cases for the FORCE integration algorithms. We further document the encapsulation of these tests within a test harness, which collectively checks for each successful test completion on demand. Finally, we document the automation of the test harness using GitHub Actions [GitHub 2024], which require all tests succeed before any new capability or other changes can be added to the FORCE integration software

97 MATHEMATICS AND COMPUTING↗

Dynamic Black-Level Correction and Artifact Flagging in the Kepler Data Pipeline

Instrument-induced artifacts in the raw Kepler pixel data include time-varying crosstalk from the fine guidance sensor (FGS) clock signals, manifestations of drifting moiré pattern as locally correlated nonstationary noise and rolling bands in the images which find their way into the calibrated pixel time series and ultimately into the calibrated target flux time series. Using a combination of raw science pixel data, full frame images, reverse-clocked pixel data and ancillary temperature data the Keplerpipeline models and removes the FGS crosstalk artifacts by dynamically adjusting the black level correction. By examining the residuals to the model fits, the pipeline detects and flags spatial regions and time intervals of strong time-varying blacklevel (rolling bands ) on a per row per cadence basis. These flags are made available to downstream users of the data since the uncorrected rolling band artifacts could complicate processing or lead to misinterpretation of instrument behavior as stellar. This model fitting and artifact flagging is performed within the new stand-alone pipeline model called Dynablack. We discuss the implementation of Dynablack in the Kepler data pipeline and present results regarding the improvement in calibrated pixels and the expected improvement in cotrending performances as a result of including FGS corrections in the calibration. We also discuss the effectiveness of the rolling band flagging for downstream users and illustrate with some affected light curves.

Clarke, B. D.↗

An Analysis of the Macroscopic Tensile Behavior of a Nonlinear Nylon Reinforced Elastomeric Composite System Using MAC/GMC

A special class of composite laminates composed of soft rubbery matrices and stiff reinforcements made of steel wires or synthetic fibers is examined, where each constituent behaves in a nonlinear fashion even in the small strain domain. Composite laminates made of piles stacked at alternating small orientation angles with respect to the applied axial strain are primarily dominated by the nonlinear behavior of the reinforcing fibers. However; composites with large ply orientations or those perpendicular to the loading axis, will approximate the behavior of the matrix phase and respond in even a more complex fashion for arbitrarily stacked piles. The geometric nonlinearity due to small cord rotations during loading was deemed here to have a second order effect and consequently dropped from any consideration. The user subroutine USRMAT within the Micromechanics Analysis Code with the Generalized Method of Cells (MAC/GMC), was utilized to introduce the constituent material nonlinear behavior. Stress-strain behavior at the macro level was experimentally generated for single and multi ply composites comprised of continuous Nylon-66 reinforcements embedded in a carbon black loaded rubbery matrix. Comparisons between the predicted macro composite behavior and experimental results are excellent when material nonlinearity is included in the analysis. In this paper, a brief review of GMC is provided, along with a description of the nonlinear behavior of the constituents and associated constituent constitutive relations, and the improved macro (or composite) behavior predictions are documented and illustrated.

Assaad, Mahmoud↗

HILIGT, Upper Limit Servers II - Implementing the Data Servers

The High-Energy Light curve Generator(HILIGT) is a new web-based tool which allows the user to generate long-term light curves of X-ray sources. It provides historical data and calculates upper limits from image data in real-time. HILIGT utilizes data from twelve satellites, both modern missions such as XMM-Newton and Swift, and earlier facilities such as ROSAT, EXOSAT, Einstein or Ariel V. Together, this enables the user to query 50 years of X-ray data and, for instance, study outburst behavior of transient sources. In this paper we focus on the individual back-end servers for each satellite, detailing the software layout, database design, catalog calls, and image footprints. We compile all relevant calibration information of these missions and provide an in-depth summary of the details of X-ray astronomical instrumentation and data.

Ole Konig↗

V and V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

During early phases of the development of an interactive system, future system properties are identified (through interaction with end users in the brainstorming and prototyping phase of the application, or by other stakehold-ers) imposing requirements on the final system. They can be specific to the application under development or generic to all applications such as usability principles. Instances of specific properties include visibility of the aircraft altitude, speed… in the cockpit and the continuous possibility of disengaging the autopilot in whatever state the aircraft is. Instances of generic properties include availability of undo (for undoable functions) and availability of a progression bar for functions lasting more than four seconds. While behavioral models of interactive systems using formal description techniques provide complete and unambiguous descriptions of states and state changes, it does not provide explicit representation of the absence or presence of properties. Assessing that the system that has been built is the right system remains a challenge usually met through extensive use and acceptance tests. By the explicit representation of properties and the availability of tools to support checking these properties, it becomes possible to provide developers with means for systematic exploration of the behavioral models and assessment of the presence or absence of these properties. This paper proposes the synergistic use two tools for checking both generic and specific properties of interactive applications: Petshop and Java PathFinder. Petshop is dedicated to the description of interactive system behavior. Java PathFinder is dedicated to the runtime verification of Java applications and as an extension dedicated to User Interfaces. This approach is exemplified on a safety critical application in the area of interactive cockpits for large civil aircrafts.

human-computer interface↗

Exploring impacts of electricity tariff on charging infrastructure planning: An activity-based approach

In the past decade, electric vehicles (EVs) have gained popularity for their efficiency and environmental benefits. Advances in battery technology and charging equipment have yielded long-range EVs and fast-charging. However, many major cities lack adequate charging infrastructure for daily EV use. This study addresses this gap by integrating activity-based modeling, charging behavior simulation, and charging infrastructure optimization. The research utilizes the POLARIS agent-based transportation model to accurately capture user activities, trip patterns, and traffic flows. Additionally, the study investigates the impact of fixed and spatiotemporal electricity rate distributions on optimal charging infrastructure deployment. The framework is applied to the Chicago regional area network and analyzed under various EV ownership scenarios. Further, the results reveal significant impacts of the charging pricing strategy on user decision-making and charging demand distribution. There is also a need for consistent pricing policies in charging infrastructure planning and operational phases to avoid drops in service quality.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Statistical Estimation of EV Driver Charging Behavior and Influential Factors

INL received data collected via telematics from battery electric vehicles (BEVs), and these vehicles were owned by retail customers who had entered into a telematics user agreement. The goal of analyzing these data was to develop mathematical models to characterize how different sets of BEV drivers use charging infrastructure at home and away from home (i.e., public charging) and quantify how various factors influence BEV drivers’ decision to charge and use available infrastructure. The data used in this analysis are unique because they provide real world BEV driving and charging behavior at the individual driving and parking event level. In this study we seek to leverage this data to quantify BEV charging and driving metrics to help inform models that predict quantities like the specific times when loads are imposed on the electrical grid due to BEV charging. Most models that have been developed to predict electrical grid load due to BEV charging, use simulations of BEV driving events and rely on assumptions such as every vehicle charges every night. Using a statistical modelling framework, we seek to investigate BEV charging behavior and quantitatively assess these common assumptions of BEV charging behavior.

33 - ADVANCED PROPULSION SYSTEMS↗

Residential Demand Flexibility: Modeling Occupant Behavior using Sociodemographic Predictors

Demand flexibility (DF) has the potential to increase the saturation of renewables in the grid and reduce operating costs for both utilities and customers. However, less than 8% of U.S. residential electric customers are enrolled in DF programs. A major research gap on this topic is an uneven understanding of behavioral drivers of electricity use and DF program participation at the household level. In this study, we employ machine learning models to predict residential occupant behavior in activities relevant to DF. We model occupants' extensive decisions (i.e., choice of action) and intensive behaviors (i.e., amount of time spent) during peak and off-peak time periods using the publicly available American Time Use Survey, which includes activities data for approximately 200,000 respondents. In our machine learning models, predictions for both extensive and intensive behavior fell within a +/-20% error margin at the aggregate level. We identify 13 key sociodemographic predictors of DF-related intensive behavior using LASSO inference and beta coefficient ranking. However, these top predictors differ by activity, suggesting potential scope for differential user targeting for DF events and technologies during program design. This work also contributes to understanding when and who might adopt these DF technologies based on their daily routine activities.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Portable C++ Code that can Look and Feel Like Fortran Code with Yet Another Kernel Launcher (YAKL)

This paper introduces the Yet Another Kernel Launcher (YAKL) C++ portability library, which strives to enable user-level code with the look and feel of Fortran code. The intended audience includes both C++ developers and Fortran developers unfamiliar with C++. The C++ portability approach is briefly explained, YAKL’s main features are described, and code examples are given that demonstrate YAKL’s usage. YAKL fills a niche capability important particularly to scientific applications seeking to port Fortran code quickly to a portable C++ library. YAKL places heavy emphasis on simplicity, readability, and productivity with performance mainly emphasizing Graphics Processing Units (GPUs). Central to YAKL’s ability to allow Fortran-like user-level code are three features: (1) a multi-dimensional Array class that allows Fortran behavior; (2) a limited library of Fortran intrinsic functions; and (3) an efficient pool allocator that transparently enables cheap frequent allocations and deallocations of YAKL Arrays. While YAKL allows Fortran-style code, it also allows Arrays that exhibit C-like behavior as well, including row-major index ordering and lower bounds of “0”. YAKL currently supports CPUs, CPU threading, and Nvidia, AMD, and Intel GPUs.

97 MATHEMATICS AND COMPUTING↗

Cell Extracts from Bacteria and Yeast Retain Metabolic Activity after Extended Storage and Repeated Thawing

Cell-free synthetic biology enables rapid prototyping of biological parts and synthesis of proteins or metabolites in the absence of cell growth constraints. Cell-free systems are frequently made from crude cell extracts, where composition and activity can vary significantly based on source strain, preparation and processing, reagents, and other considerations. This variability can cause extracts to be treated as black boxes for which empirical observations guide practical laboratory practices, including a hesitance to use dated or previously thawed extracts. To better understand the robustness of cell extracts over time, we assessed the activity of cell-free metabolism during storage. As a model, we studied conversion of glucose to 2,3-butanediol. We found that cell extracts from Escherichia coli and Saccharomyces cerevisiae subjected to an 18-month storage period and repeated freeze-thaw cycles retain consistent metabolic activity. Here this work gives users of cell-free systems a better understanding of the impacts of storage on extract behavior.

59 BASIC BIOLOGICAL SCIENCES↗

BOILER Experiment Material Characterization and HFIR Irradiation Status

Pre-oxidized alumina-forming austenitic (AFA) steels have been previously identified as candidate alloys for structural components in lead-cooled fast reactors (LFRs). They offer compatibility with liquid Pb, high-temperature strength, formability, and cost advantages. However, variations in Ni content can affect the formation and stability of the Al 2 O 3 layer, influencing compatibility with liquid Pb. The effect of fast neutron irradiation on Al 2 O 3 stability in liquid Pb also requires evaluation. Therefore, understanding how Ni concentrations impacts pre-oxidized AFAs under combined extremes of irradiation and liquid metal corrosion is essential before safe deployment. The Behavior Of In-situ Lead Environments & Radiation (BOILER) experiment was developed under the Nuclear Science User Facilities (NSUF) program to integrate alloy development, irradiation experiment design, and irradiated materials characterization. In this effort, two pre-oxidized AFA steels with 20 wt% and 25 wt% Ni, hereinafter referred to as GA05-20Ni and GA05-25Ni, were produced. An irradiation experiment was then planned for the High Flux Isotope Reactor (HFIR), designed for passive heating of irradiation rabbit capsules from gamma heating in the HFIR flux trap (1 × 10 15 n/cm 2 ·s, >0.1 MeV). This heating melts Pb and exposes the pre-oxidized AFA steel specimens to nominal temperatures of 400 and 650°C. Detailed neutronics and thermal analyses were performed, though based on nominal design rather than as-built, as-irradiated conditions. This report documents further characterization of the pre-oxidized AFAs in the unirradiated condition. It also includes as-built thermal analysis using measured component dimensions, updated fill gas concentrations, and actual HFIR irradiation positions. Finally, the report summarizes capsule fabrication, current irradiation status, projected completion, estimated damage accumulation, and initial plans for post-irradiation examination plans.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗