Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “test approach”

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 307 records · Page 17

Reverse scaling of a bonded-sphere DEM model: Formulation and application to lignocellulosic biomass microstructures

We explore scaling laws for adapting a bonded-sphere discrete element method (BS-DEM) model developed for woody structural mechanics at the millimeter scale to model the mechanics of realistic lignocellulosic biomass microstructures. Two scaling approaches, i.e., the reverse coarse graining (RCG) and equivalent bulk behavior (EBB), are proposed based on the classical mechanics principles and assessed in the single-particle compression and rectangular cuboid block tension tests. The EBB approach is recommended for BS-DEM models with general 3D geometries and is applied to simulate the microindentation test on a realistic microscale pinewood specimen. Simulations are performed to elucidate the impact of specimen thickness and loading position on the specimen’s force–deformation behavior. Furthermore, the range of Young’s modulus obtained from the calibrated BS-DEM simulations can match the experimental measurements. This is the first-of-its-kind study that has explored scale-bridging modeling approaches in biomass micromechanics and has proposed solutions based on BS-DEM models in the microscale.

59 BASIC BIOLOGICAL SCIENCES↗

Water Sorption Study of Various Polymers and Polymeric Composites

In the formulations of many composite materials, polymeric materials are often used as binder materials to enhance processability, functionality, and safety during manufacturing. For instance, poly(ester urethane), such as Estane® 5703, is used in the formulation of PBX 9501, and vinyl copolymer elastomer (VCE) is used in the formulation of VCE/filler compos ites. The stability of these binders directly impacts the overall stability and performance of their composites. Estane and VCE are prone to hydrolytic degradation, with water sorption behavior playing a significant role in their long-term stability and aging behavior. Hence, it is critical to study their water sorption behavior under various humidity and tempera ture conditions. To improve the accuracy and reduce labor-intensive work involved in water sorption experiments, an automated Dynamic Vapor Sorption (DVS) system was employed, which can generate large datasets. To efficiently process and analyze these datasets, Python scripts were developed. These scripts not only streamlined data processing, but also accu rately derived the Arrhenius parameters related to water diffusion and sorption properties for the tested materials. This approach offers a robust framework for evaluating water trans port and sorption processes in polymeric materials and adds valuable capabilities to future water sorption testing efforts.

36 MATERIALS SCIENCE↗

Scoping Study for Fast Flux Testing in the Advanced Test Reactor

The value of fast spectrum reactors remains prominent in the nuclear technology portfolio. The performance of these reactors can be maximized with advancements in nuclear fuel technologies, but development of these technologies is currently held back by lack of fast spectrum test reactors available to the United States. Spectral modification of experiment positions in the thermal spectrum Advanced Test Reactor (ATR) has long been used to support fast reactor fuel development, but these methods have not been progressed to their full potential. This study investigated the use of concentric rings of aluminum-clad fuel plates in ATR flux traps and thermal neutron absorbing filters to increase fast neutron flux on test specimens. This concept was termed the Boosted Energy Advanced Spectrum Test (BEAST). This approach will enable irradiation of advanced fuel designs in prototypic-length fuel pins and representative flux environment to support post irradiation exams, enable transient testing, and produce the type of data that will permit lead test assembly irradiations in true Sodium Fast Reactors (SFRs) when they become available. Neutronic predictions were performed to investigate BEAST design options and thermal hydraulic models were produced to ensure feasibility of BEAST. Two versions were considered based on the geometric limitations of ATR’s small and large flux traps. The small version was found to be preferable due to slightly higher fast flux and fast-to-thermal neutron ratio. Perhaps more influentially, the small flux trap option was also preferred to avoid conflict with ongoing very high temperature reactor fuel irradiation programs in ATR’s large northeast flux trap. The small flux trap option provided less than half the test volume of the large version, but still had adequate volume for seven SFR pins in cross section which could be stacked two-high in ATR’s 1.2m long core to accommodate up to 14 EBR-II size pins. The preference for the small flux trap configuration should be revisited if additional collaborative test programs emerge with the need to irradiate a significant volume of additional specimens. Calculations were performed regarding a lithium deuteride ring to convert thermal neutrons into 14 MeV fusion neutrons. At the time this report was written these calculations were partially complete and it remains to be seen whether the concept would be worth including in BEAST. Given the preference for the small flux trap option, which does not afford enough room for the 14 MeV ring, it was concluded to defer future work on the lithium deuteride ring. This decision could be revisited if fusion material research programs emerge for collaborative testing in BEAST. A cadmium-lined specimen holder design was found to be adequate in filtering thermal neutrons and preferred over other neutron absorbers based on past experience with cadmium baskets. It was acknowledged that cadmium-bearing hardware would become depleted and need to be replaced occasionally, which appeared feasible from a mechanical design perspective. Neutronic studies investigated different enrichment levels in the booster fuel using uranium-molybdenum alloy dispersion fuel which has performed well in past ATR irradiations. Both options were able to drive fuel pins to SFR-like fission heating rates. The high enriched booster fuel option outperformed the low enriched option by ~20% on key metrics including fast flux and fast-to-thermal ratio, but the low enriched option was favored in order to broaden options for potential fuel suppliers. The preferred BEAST design options including cadmium filter with low enriched booster fuel in the small flux trap configuration was predicted to achieve 6.2E14 n/cm2sec fast flux (>0.1 MeV) with a fast-to-thermal ratio of 44.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

5.5 Hybrid Additively Manufactured Tooling for Large Composite Structures

This program sought to lower tooling costs for tightly toleranced, large composite aerostructures by using large format additive manufacturing (LFAM). LFAM tooling has the potential to lower tooling costs, but the large and unpredictable thermal expansion of polymer-based tooling did not previously allow for the production of large structures made with high performance resins requiring 350 deg F cures. Geometric tolerance issues and demolding concerns continued to arise. The proposed approach for this work was to print a thin shell via additive manufacturing that would be used as a scaffold for a conventional tooling prepreg. The prepreg would be laminated and cured onto both sides of the shell, creating a tool with a sandwich construction. The cured prepreg would then be machined and serve as the tooling surface. In addition to providing a clean, pit-free surface, the prepreg stiffness and low thermal expansion would physically restrain the AM shell and prevent it from expanding during thermal cycling, thus preventing any geometric mismatch between the nominal and actual part dimensions. A stair-step approach was taken to prove out this approach. Coupon level testing was done to ensure a good bond was possible between the AM shell and the tooling prepreg. These samples were also used to determine the amount of prepreg needed to achieve the desired coefficient of thermal expansion (CTE). The project team than progressed to a subscale tool measuring two feet in length. The geometry used was a C-section spar from Airbus’ Wing of Tomorrow program. A hybrid tool, using the AM shell and tooling prepreg, was made, and a composite part was fabricated with the tool. Dimensional scans of the tool and part indicated that the desired CTE was achieved with the tool. A second tooling approach was taken to reduce risk. In this approach, a subscale tool of the same geometry as previously mentioned was created, but the tool was entirely constructed of the tooling prepreg. AM was used to print a “master” that was then used to fabricate the tool by creating a splash off of the master using tooling prepreg. The innovation was that the master was not machined, but rather, was used right off the printer after a small amount of surface preparation. Removing this machining step was thought to make this approach economically viable when compared to conventional master fabrication. As before, the tool was used to fabricate a part and tested for dimensional accuracy. For the conclusion of the program, a ten-foot tool was created using the hybrid tool approach. The geometry also came from the Airbus C-section spar previously mentioned. Some difficulty arose in accurately predicting the geometry of the tool after laminating the tooling prepreg, resulting in multiple material additions and a tool geometry change. A part was fabricated in an autoclave using the tool. A cost savings of almost 50% was achieved on the subscale tool in both the hybrid and master-style tool, but the savings dropped considerably as the tool length increased in the full-scale tool. Given the less than expected cost savings and added complexity of the tool construction, it is suggested that the master-style tool is best for immediate commercialization for larger tools (although it may be appropriate for smaller, table-top size tools). Since its construction is very similar to conventionally made composite tooling, there already exists a broad supply chain for building the tool, and project partner Additive Engineering Solutions (AES) is well acquainted with the design and build of the AM master needed.

36 MATERIALS SCIENCE↗

Evaluating Transfer and Pumping of Slurries from Pulsed Jet Mixed Vessels

Due to gravity, solids in slurries will settle if density differences between the solids and liquid are positive (i.e., particle has a negative buoyant force) unless rheological properties and flow conditions are adequate to overcome the gravitational effects. The rate of settling depends on the force balance of the particle, which includes the surface forces associated with fluid rheology. Given the same fluid and solid properties, particles that are larger and denser tend to settle faster. When pumping slurry into a vessel at concentrations precluding hindered settling with insufficient mixing, particle and density distributions can result in preferential settling, creating stratification in the solids concentration within the vessel. For vessels with transfer line inlets located in the lower portion of the tank, the stratified solids concentration may be detrimental to the transfer system performance. Elevated concentrations of solids in the slurry entrained at the inlet to the transfer line can result in the effective viscosity or slurry bulk density exceeding the design limits of the pump. These conditions could result in plugging of the transfer line or onset of cavitation of the pumps because of excessive pressure drop. These conditions can be exacerbated with periodic inlet conditions existing at the transfer line inlet. Periodic conditions can result when vessel mixing is intermittent such as with pulsed jet mixers (PJM). The transfer line inlet conditions are impacted by the periodic nature of the PJM operations with respect to suspension of solids and their transport to the inlet of the transfer line. A scaling approach is presented, and corresponding test requirements are developed for assessing the prevention of plugging the pipeline. Line plugging mechanisms are addressed that do not include plugging due to steady-state high-density slurry entering the transfer line and reducing the net positive suction head available (NPSHA) at the pump inlet to below that required for pump operation. Items considered include the transition to reduced relative flow velocities, such that the critical pipe velocity for solids deposition, Ucd, is not maintained, and segregation of heavy solids during the transport. The recommended requirements to prevent plugging include: • Limits for viscosity and density for entrained slurry to prevent the pressure drop in the pipeline from exceeding pump capacity. • Limits for viscosity and density for entrained slurry to prevent the net positive suction head available (NPSHA) from falling below the net positive suction head required (NPSHR) for operating the pump. • Transfer line velocity and flow rate requirements to maintain solids in suspension, while avoiding line plugging that results from deposition of solids within the transfer line. This paper describes the development of the scaling and testing requirements to verify that proposed approaches for transfer and pump out are appropriately developed

periodic flow, mixing, pipeline plugging, scaling,↗

Defining Detection Limits for Continuous Monitoring Systems for Methane Emissions at Oil and Gas Facilities

Networks of fixed-point continuous monitoring systems are becoming widely used in the detection and quantification of methane emissions from oil and gas facilities in the United States. Regulatory agencies and operators are developing performance metrics for these systems, such as minimum detection limits. Performance characteristics, such as minimum detection limits, would ideally be expressed in emission rate units; however, performance parameters such as detection limits for a continuous monitoring system (CMS) will depend on meteorological conditions, the characteristics of emissions at the site where the CMS is deployed, the positioning of CMS devices in relation to the emission sources, and the amount of time allowed for the CMS to detect an emission source. This means that certifying the performance of a CMS will require test protocols with well-defined emission rates and durations; initial protocols are now being used in field tests. Field testing results will vary, however, depending on meteorological conditions and the time allowed for detection. This work demonstrates methods for evaluating CMS performance characteristics using dispersion modeling and defines an approach for normalizing test results to standard meteorological conditions using dispersion modeling.

Chen, Qining (ORCID:0000000316908091)↗

Preliminary Test Design and Plan for a Canister Deposition Field Demonstration

This report provides a high-level test plan for deploying three commercial 32PTH2 spent nuclear fuel (SNF) canisters inside NUHOMS Advanced Horizontal Storage Modules (AHSM) from Orano (formerly Transnuclear Inc.). The details contained in this report represent the best designs and approaches explored for testing as of this publication. Given the rapidly developing nature of this test program, some of these plans may change to accommodate new objectives or adapt in response to conflicting requirements. The goal of the testing is to collect highly defensible and detailed surface deposition measurements from the surface of dry storage systems in a marine coastal environment to guide chloride-induced stress corrosion crack (CISCC) research. To facilitate surface sampling, the otherwise highly prototypic dry storage systems will not contain SNF but rather will be electrically heated to mimic the thermal-hydraulic environment. Instrumentation throughout the canister, storage module, and environment will provide an extensive amount of information for the use of model validation. Manual sampling over a comprehensive portion of the canister surface at regular time intervals will offer a high-fidelity quantification of the conditions experienced in a harsh yet realistic environment.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Online Monitoring of Medium Voltage Cable Systems with Spread Spectrum Time Domain and Frequency Domain Reflectometry

In-service failures of wave energy convertor (WEC) cable systems can have a significant cost and power availability impact. Close parallel research 2019 data showed > 1B£ and 9 Terra-Watt-Hours associated with global off-shore wind (OSW) cable failures (Strang-Moran 2020). OSW is a closely related technology but currently is significantly cheaper than WEC technology. For wave energy to compete, the problem of reliable cable transmission must be mitigated. This project develops isolation technology to allow online high frequency reflectometry testing of medium voltage cables (1 to 10 kV and higher) without arcing or damage to the test instrument. Online spread spectrum time domain reflectometry (SSTDR) testing has been established for low voltage cable systems in the aircraft and rail industry and the ability to detect and locate cable flaws of interest is well understood. Extending reflectometry testing to medium voltage systems could enable detection of cable damage before failures occur thereby allowing repair and replacement of damaged cable segments to be scheduled and managed. The seedling project succeeded to pass and receive high frequency SSTDR signals onto a cable up to 1 kV using a parallel trace isolation circuit board that can be connected onto the test cable. The approach used a novel circuit design for which an invention disclosure has been filed. A proposed sapling project would extend the technology toward the higher operating voltages used by WEC systems, thereby enabling online SSTDR cable monitoring. The goal of the seedling project was to extend the capability of the ARENA cable/motor test bed to address medium voltages and to develop a high pass filter isolation architecture to protect the reflectometry instrument from the low frequency (DC – 60 Hz) line voltage while allowing the high frequency diagnostic signal to pass to and from the test instrument to the live line. Initial efforts focused on passive LCR filter circuits to reduce 60 Hz levels below 10 volts from a 10 kV line while allowing the MHz high frequency chirps to pass onto the cables and for mV signals to be detected. We discovered that the parasitic loss behavior of real high voltage components precluded this approach from working. An alternate approach was adapted for the electric field to couple between two parallel traces on a printed circuit board much like a radio-frequency coupler. The challenge here was and is to have the parallel traces close enough to each other to effectively pass the high frequency chirp onto the live line and receive any reflected signal from any encountered impedance change along the cable. This reflected signal will be in the mV range. The traces however must be far enough apart to not allow arcing on the board. A design with 3 mm spacing was determined to allow the high frequency signal to pass onto the live line and receive the mV signal back into the instrument while reducing the 60 Hz voltage amplitude by >80 dB (more than a factor of 10,000) without allowing arcing from across the parallel traces. This was confirmed by simulation and test.

16 TIDAL AND WAVE POWER↗

X-Ray Microtomography Measurements of Coevolving Particle Size and Shape

This study measures simultaneous changes in particle size and shape during grain crushing and proposes quantitative metrics to track their coevolving statistical distribution. Idealized granular materials with widely different initial particle shapes (i.e., spheres, quasi-ellipsoids, plates, and rods) are compressed oedometrically at vertical stress levels sufficient to induce particle breakage. X-ray microtomography and digital image analysis are then used to track changes in particle-scale characteristics. The observations indicate that more irregular particles tend to exhibit a higher degree of breakage compared to more spherical grains subjected to an equivalent stress level. Despite these differences, the measurements also indicate that all the tested particle sets approach a common attractor (expressed in terms of aspect ratio, flatness, and elongation), regardless of their initial morphology. A new shape evolution index is proposed to quantify such trends. With this new metric, it is shown that in all the tested materials, the particle shape evolves faster than size, especially for the more regular morphologies, thus implying that the shape tends to reach its attractor point before the grading reaches its ultimate particle size distribution. Furthermore, this finding underpins an ultimate stage of crushing-driven compression that occurs with particle size reduction but minimal shape changes (i.e., self-replicating shapes due to fractures).

Oedometric compression↗

COVID-19: Spatiotemporal social data analytics and machine learning for pandemic exploration and forecasting

This task focused on developing a preliminary approach to use machine learning (ML) to explore the relationship between county-level societal variables and COVID-19 parameters, including COVID-19 cases rates and counts and COVID-19 death rates and counts. The objective was to develop and test a prototype approach for linking COVID-19 and county-level data. The task focused on enhancing and applying existing LANL ML techniques to COVID-19. Our novel ML methods have been a subject of a recently approved U.S. patent. The codes based on these methods are already open-source released. Our ML tools (NMFk/NTFk) are applied to extract hidden features (signals, waves) in the analyzed datasets and automatically identify their optimal number. The features are extracted by identifying counties that have similarities between the county-level societal variables and the COVID-19 parameters. These demonstration analyses will facilitate the ongoing pandemic simulations and predictions performed by Los Alamos other institutions, as well as lay the groundwork for future work.

60 APPLIED LIFE SCIENCES↗

Testing the 10 spectrograph units for DESI: approach and results

The recently commissioned Dark Energy Spectroscopic Instrument (DESI) will measure the expansion history of the Universe using the Baryon Acoustic Oscillation technique. The spectra of 35 million galaxies and quasars over 14000 sqdeg will be measured during the life of the experiment. A new prime focus corrector for the KPNO Mayall telescope delivers light to 5000 fiber optic positioners. The fibers in turn feed ten broad-band spectrographs. A consortium of Aix-Marseille University (AMU) and CNRS laboratories (LAM, OHP and CPPM) together with LPNHE (CNRS, IN2P3, Sorbonne Université and Université de Paris) and the WINLIGHT Systems company based in Pertuis (France), were in charge of integrating and validating the performance requirements of the ten full spectrographs, equipped with their cryostats, shutters and other mechanisms. We present a summary of our activity which allowed an efficient validation of the systems in a short-time schedule. We detail the main results. We emphasize the benefits of our approach and also its limitations.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Experimental Validation of Subsystem Models for a Novel Variable Displacement Hydraulic Motor

A novel, variable displacement, low-speed high-torque hydraulic motor is being developed that is expected to be highly efficient across a broad operating range. To ensure the final hardware achieves the expected performance, the models used in the development of the motor must be experimentally validated and revised, as necessary. The specific focus in this work is on mechanical energy loss models that were used to guide the design of a single-cylinder motor prototype and on experimental tests used for model validation. Ideally each model, whether friction loss in a piston/cylinder interface or energy loss due to leakage in a valve , would be individually validated by an independent test. This granular approach would remove any question of where the error lies and result in highly accurate models. However, many motor components have multiple forms of energy loss, creating difficulty in validating individual losses. Additionally, it is not physically realizable to divide many components into an individual model equivalent test. Testing the motor as a full assembly is possible, but pinpointing the source of discrepancies between the model and the hardware becomes difficult with dozens of models potentially being partially responsible. A compromise was found by separating the motor into functional component groups that are characterized by the type of loss and ability to test each subcomponent independently. By checking for correlation between test observations and model predictions, revisions could be implemented into the models. This allows future solutions to be more accurately predicted in the design phase to drive the design of better machines.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Short-wavelength-sensitive 2 (Sws2) visual photopigment models combined with atomistic molecular simulations to predict spectral peaks of absorbance

For many species, vision is one of the most important sensory modalities for mediating essential tasks that include navigation, predation and foraging, predator avoidance, and numerous social behaviors. The vertebrate visual process begins when photons of the light interact with rod and cone photoreceptors that are present in the neural retina. Vertebrate visual photopigments are housed within these photoreceptor cells and are sensitive to a wide range of wavelengths that peak within the light spectrum, the latter of which is a function of the type of chromophore used and how it interacts with specific amino acid residues found within the opsin protein sequence. Minor differences in the amino acid sequences of the opsins are known to lead to large differences in the spectral peak of absorbance (i.e. the λ max value). In our prior studies, we developed a new approach that combined homology modeling and molecular dynamics simulations to gather structural information associated with chromophore conformation, then used it to generate statistical models for the accurate prediction of λ max values for photopigments derived from Rh1 and Rh2 amino acid sequences. In the present study, we test our novel approach to predict the λ max of phylogenetically distant Sws2 cone opsins. To build a model that can predict the λ max using our approach presented in our prior studies, we selected a spectrally-diverse set of 11 teleost Sws2 photopigments for which both amino acid sequence information and experimentally measured λ max values are known. The final first-order regression model, consisting of three terms associated with chromophore conformation, was sufficient to predict the λ max of Sws2 photopigments with high accuracy. This study further highlights the breadth of our approach in reliably predicting λ max values of Sws2 cone photopigments, evolutionary-more distant from template bovine RH1, and provided mechanistic insights into the role of known spectral tuning sites.

59 BASIC BIOLOGICAL SCIENCES↗

Operator evolution from the similarity renormalization group and the Magnus expansion

The Magnus expansion is an efficient alternative to solving similarity renormalization group (SRG) flow equations with high-order, memory-intensive ordinary differential equation solvers. The numerical simplifications it offers for operator evolution are particularly valuable for in-medium SRG calculations, though challenges remain for difficult problems involving intruder states. Here we test the Magnus approach in an analogous but more accessible situation, which is the free-space SRG treatment of the spurious bound states arising from a leading-order chiral effective field theory (EFT) potential with very high cutoffs. In this work, we show that the Magnus expansion passes these tests and then use the investigations as a springboard to address various aspects of operator evolution that have renewed relevance in the context of the scale and scheme dependence of nuclear processes. These aspects include SRG operator flow with band- versus block-diagonal generators, universality for chiral EFT Hamiltonians and associated operators with different regularization schemes, and the impact of factorization arising from scale separation. Implications for short-range correlations physics and the possibilities for reconciling high- and low-resolution treatments of nuclear structure and reactions are discussed.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Exploration of multifidelity UQ sampling strategies for computer network applications.

Network modeling is a powerful tool to enable rapid analysis of complex systems that can be challenging to study directly using physical testing. Here, two approaches are considered: emulation and simulation. The former runs real software on virtualized hardware, while the latter mimics the behavior of network components and their interactions in software. Although emulation provides an accurate representation of physical networks, this approach alone cannot guarantee the characterization of the system under realistic operative conditions. Operative conditions for physical networks are often characterized by intrinsic variability (payload size, packet latency, etc.) or a lack of precise knowledge regarding the network configuration (bandwidth, delays, etc.); therefore uncertainty quantification (UQ) strategies should be also employed. UQ strategies require multiple evaluations of the system with a number of evaluation instances that roughly increases with the problem dimensionality, i.e., the number of uncertain parameters. It follows that a typical UQ workflow for network modeling based on emulation can easily become unattainable due to its prohibitive computational cost. In this paper, a multifidelity sampling approach is discussed and applied to network modeling problems. The main idea is to optimally fuse information coming from simulations, which are a low-fidelity version of the emulation problem of interest, in order to decrease the estimator variance. By reducing the estimator variance in a sampling approach it is usually possible to obtain more reliable statistics and therefore a more reliable system characterization. Several network problems of increasing difficulty are presented. For each of them, the performance of the multifidelity estimator is compared with respect to the single fidelity counterpart, namely, Monte Carlo sampling. For all the test problems studied in this work, the multifidelity estimator demonstrated an increased efficiency with respect to MC.

97 MATHEMATICS AND COMPUTING↗

Advancing Cyber-Attack Detection in Power Systems: A Comparative Study of Machine Learning and Graph Neural Network Approaches

This paper explores the detection and localization of cyber-attacks on power systems, focusing on comparing conventional machine learning (ML) and deep learning methods, and graph neural network (GNN)-based techniques. We assess the detection accuracy of these approaches and their potential to pinpoint the locations of specific buses under attack. Given the demonstrated success of GNNs in other time series anomaly detection applications, we aim to evaluate their performance within the context of power systems cyber-attack. Utilizing the IEEE 68-bus system, we simulated four types of attacks to test the selected approaches. Our results indicate that GNN-based methods outperform conventional machine learning and deep learning models in detection. Additionally, GNNs show promise in accurately localizing attacks for simple scenarios, although they still face challenges in more complex cases.

artificial intelligence↗

Resilience Through Data-Driven, Intelligent Designed Control: A Formal Methods Approach

The PNNL and GTRI team developed a strategy to integrate temporal logic rule specification for detection of cyber-intrusion in the source code and control algorithms of CPS using advanced cyber-data. The GTRI team utilized its capabilities in rule synthesis and temporal logic specifications for software assurance and verification to detect and predict impact of cyber-intrusions and malware in the computational and control algorithms of cyber-physical systems. The team also developed a testing and verification approach that could be used to validate the suggested approach against a realistic use-case CPS showcasing improvements in system impact prediction performance. Temporal logic offers a compact expression of events in absolute and relative time and has a formalized translation to state machines. As such, temporal logic rules can feasibly be synthesized to any system as a rule engine, with the process being formally verified to be correct. The goal here is to utilize temporal logic rules to detect cyber-attacks and manipulations in the computational algorithms and provide real-time software assurance and verification guarantees.

97 MATHEMATICS AND COMPUTING↗

Status Update for the Canister Deposition Field Demonstration

This report updates the high-level test plan for evaluating surface deposition on three commercial 32PTH2 spent nuclear fuel (SNF) canisters inside NUTECH Horizontal Modular Storage (NUHOMS) Advanced Horizontal Storage Modules (AHSM) from Orano (formerly Transnuclear Inc.) and provides a description of the surface characterization activities that have been conducted to date. The details contained in this report represent the best designs and approaches explored for testing as of this publication. Given the rapidly developing nature of this test program, some of these plans may change to accommodate new objectives or requirements. The goal of the testing is to collect highly defensible and detailed surface deposition measurements from the surface of dry storage canisters in a marine coastal environment to guide chloride-induced stress corrosion crack (CISCC) research. To facilitate surface sampling, the otherwise highly prototypic dry storage systems will not contain SNF but rather will be electrically heated to mimic the thermal-hydraulic-environment. Instrumentation throughout the canister, storage module, and environment will provide an extensive amount of information for the use of model validation. Manual sampling over a comprehensive portion of the canister surface at regular time intervals will offer a high-fidelity quantification of the conditions experienced in a harsh yet realistic environment.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗