Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “hybrid programming model”

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 541 records · Page 30

Development of Experimental Icing Simulation Capability for Full-Scale Swept Wings: Hybrid Design Process, Years 1 and 2

This report presents the key results from the first two years of a program to develop experimental icing simulation capabilities for full-scale swept wings. This investigation was undertaken as a part of a larger collaborative research effort on ice accretion and aerodynamics for large-scale swept wings. Ice accretion and the resulting aerodynamic effect on large-scale swept wings presents a significant airplane design and certification challenge to air frame manufacturers, certification authorities, and research organizations alike. While the effect of ice accretion on straight wings has been studied in detail for many years, the available data on swept-wing icing are much more limited, especially for larger scales.

Aircraft icing↗

Hybrid Heat Pump Controls: Conventional Dual Fuel versus Seamlessly Fuel Flexible Heat Pump

This paper compares the performance of a novel seamlessly fuel flexible heat pump (SFFHP) and conventional dual fuel heat pump (DFHP) for space heating. The conventional dual fuel systems either run on the gas furnace or electric heat pump at any given moment, as a comparison, the proposed seamlessly fuel flexible heat pump simultaneously consumes gas and electricity by continuously optimizing the proportion of each. The process air flows across the heat pump condenser first and then flows across the furnace coil, therefore, the heat pump temperature lift is reduced. SFFHP delivers energy savings by allowing each subsystem, i.e., gas furnace and electric heat pump, to operate where it performs best.For DFHP, two operation control strategies, i.e., non-restricted control and restricted control, are available on market. For the non-restricted mode, the thermostat has a switching temperature-programmed according to the balancing point of heating load and capacity curve. Heat pump operates above the switching temperature, while the furnace takes over under the switching temperature. For the restricted control, the compressor of a heat pump is disabled below a predefined lockout outdoor temperature to let the furnace take over. For SFFHP, a model predictive control strategy is developed to continuously adjust the capacities of the electric heat pump and gas furnace based on the foreseen weather data, utility price signals, and marginal grid emission signals with the goal of minimizing the utility cost and CO2 emission while guaranteeing comfort requirements.In this paper, DFHP and SFFHP are simulated using high-fidelity heat pump performance curves generated from DOE/ORNL heat pump design model. Performance comparison of DFHP and SFFHP during 2019-2020 heating season in Los Angeles shows that SFFHP with model predictive control achieves 23% utility cost reduction and 17 % CO2 emission reduction. Case studies demonstrate that SFFHP can deliver significant reductions in peak demand, utility cost, and CO2 emission. As a result, SFFHP can deliver superior benefits for utility cost reduction and CO2 emission reduction over conventional dual fuel heat pump.

Li, Zhenning↗

FY25 Electric Grid Security Annual Report

Sandia’s Electric Grid Security program advances a national vision of energy dominance and accessibility, while applying our national security -emphasis on ensuring of a secure, resilient, and affordable electric system for all users. Our achievements reflect a strategic approach combining technology development; modeling, simulation, and data analytics; and partnered demonstrations and outreach to further the adoption of advanced grid and storage technologies. Our FY25 efforts leverage the strengths of our partnerships—spanning Sandia’s core science and technology competencies as well as external technology leaders—to develop the solutions today which enable the grid of tomorrow. Key accomplishments in this report that support our strategy span our technical program areas and include: • New open-source analytical tools for systems -level planning and optimization, including significant advances to the QuESt analytical environment; • Further advancement of artificial intelligence and machine learning to enhanced grid operations and planning as we rise to the challenge of new large loads; • Development of solid-state power conversion technologies and a new medium-voltage research lab; • New technologies to assess wildfire vulnerabilities and mitigate potential impacts; • Advanced applications of new cybersecurity technologies with industry partners; • Contributions to understanding the impacts of electromagnetic pulses and geomagnetic disturbances on grid components; and • Digital twin development for hybrid microgrids with multiple generators, storage, and loads. This report indicates key areas of research and engagement and summarizes the impact of Sandia’s contributions through notable accomplishments, journal publications, patents, and technical conferences and presentations. It is provided with the hope that readers discover ways we can further team to create our modern grid and apply the outcomes of our efforts. The bulk of work described herein is funded by several offices within the U.S. Department of Energy (USDOE), including the Office of Electricity (OE); Cybersecurity, Energy Security, and Emergency Response (CESER); former offices such as the Office of Energy Efficiency and Renewable Energy (EERE), the Grid Deployment Office (GDO), the Office of Clean Energy Demonstrations (OCED), and other key programs at USDOE. As we continue to state in these annual reports, the contributors to our successes are too numerous to name here, though our team wishes to express our deep gratitude to the numerous program and project sponsors at the US Department of Energy, who often function equally as technical collaborators; our many partners in industry, academia, utilities, and other national labs; and fellow researchers and business partners at Sandia whose leadership and creativity have enabled the accomplishments described herein.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Implementation of a Hybrid Edge Node-Centroid Node Approach for the Generation of Reduced Thermal Models

Reduced thermal models are often required for delivery to organizations that manage models at the highest levels of assembly. The effort to generate/verify these models against their detailed counterparts is a challenge not yet conclusively solved. Higher level organizations often place a limit on the node count for delivered models, assuming smaller models result in faster computation. The burden of producing and verifying the accuracy of reduced models is primarily on the lower-level organizations, which consumes resources to produce these models. Limiting the number of allowable nodes may prevent users from taking full advantage of software capabilities that allow for faster generation of models, such as finite elements, which require more nodes than centroid based models. A methodology using Thermal Desktop was described in 2010 using: (1) finite elements and edge nodes for the conduction matrix, (2) centroid nodes for capacitance and radiative computations, and (3) the super network feature to produce a conduction matrix based only on the centroid nodes. While the methodology was clear, the implementation would have had to be done manually; with the inclusion of the OpenTD Application Programming Interface, this methodology can now be implemented programmatically and be a viable approach for the generation of reduced models. The approach was implemented at NASA-Goddard for the Capture-Containment-and-Return-System (CCRS) payload, resulting in the TCYEE tool. CCRS requires delivery with node limitations through the European Space Agency to its contractors. TCYEE generated the reduced model for delivery and the predictions compared favorably to the detailed model. Furthermore, TCYEE is being explored for potential use on the Roman Space Telescope (RST) for the generation of reduced models for delivery to the launch provider, which also has node limit requirements. This paper describes the methodology, implementation, and the performance of reduced models compared to their detailed counterparts.

Computer Programming and Software↗

Materials for Advanced Ultrasupercritical Steam Turbines Task 4: Cast Superalloy Development

The Steam Turbine critical stationary structural components are high integrity Large Shell and Valve Casing heavy section Castings, containing high temperature steam under high pressures. Hence to support the development of advanced materials technology for use in an AUSC steam turbine capable of operating with steam conditions of 760°C (1400°F) and 35 Mpa (5000 psia), Casting alloy selection and evaluation of mechanical, metallurgical properties and castability with robust manufacturing methods are mandated. Alloy down select from Phase 1 based on producability criteria and creep rupture properties tested by NETL-Albany and ORNL directed the consortium to investigate cast properties of Haynes 282 and Haynes 263. The goals of Task 4 in Phase 2 are to understand a broader range of mechanical properties, the impact of manufacturing variables on those properties. Scale up the size of heats to production levels to facilitate the understanding of the impact of heat and component weight, on metallurgical and mechanical behavior. GE Power & Water Materials and Processes Engineering for the Phase 2, Task 4.0 Castings work, systematically designed and executed casting material property evaluation, multiple test programs. Starting from 15 lbs. cylinder castings to world’s first 17,000 lbs. poured weight, heavy section large steam turbine partial valve Haynes 282 super alloy casting. This has demonstrated scalability of the material for steam Turbine applications. Activities under Task 4.0, Investigated and characterized various mechanical properties of Cast Haynes 282 and Cast Nimonic 263. The development stages involved were: 1) Small Cast Evaluation: 4 inch diam. Haynes 282 and Nimonic 263 Cylinders. This provided effects of liquidus super heat range and first baseline mechanical data on cast versions of conventional vacuum re-melted and forged Ni based super alloys. 2) Step block castings of 300 lbs. and 600 lbs. Haynes 282 from 2 foundry heats were evaluated which demonstrated the importance of proper heat treat cycles for Homogenization, and Solutionizing parameters selection and implementation. 3) Step blocks casting of Nimonic 263: Carried out casting solidification simulation analysis, NDT inspection methods evaluation, detailed test matrix for Chemical, Tensile, LCF, stress rupture, CVN impact, hardness and J1C Fracture toughness section sensitivity data and were reported. 4) Centrifugal Casting of Haynes 282, weighing 1400 lbs. with hybrid mold (half Graphite and half Chromite sand) mold assembly was cast using compressor casing production tooling. This test provided Mold cooling rates influence on centrifugally cast microstructure and mechanical properties. Graphite mold section out performs sand mold across all temperatures for 0.2% YS; %Elongation, %RA, UTS at 1400°F. Both Stress-LMP and conditional Fracture toughness plots data were in the scatter band of the wrought alloy. 5) Fundamental Studies on Cooling rates and SDAS test program. Evaluated the influence of 6 mold materials Silica, Chromite, Alumina, Silica with Indirect Chills, Zircon and Graphite on casting solidification cooling rates. Actual Casting cooling rates through Liquidus to Solidus phase transition were measured with 3 different locations based thermocouples placed in each mold. Compared with solidification simulation cooling rates and measurement of SDAS, microstructure features were reported. The test results provided engineered casting potential methods, applicable for heavy section Haynes 282 castings for optimal properties, with foundry process methods and tools. 6) Large casting of Haynes 282 Drawings and Engineering FEM models and supplemental requirements with applicable specifications were provided to suppliers for the steam turbine proto type feature valve casing casting. Molding, melting and casting pouring completed per approved Manufacturing Process Plan during 2014 Q4. The partial valve casing was successfully cast after casting methods were validated with solidification simulation analysis and the casting met NDT inspection and acceptance criteria. Heat treated and sectioned to extract trepan samples at different locations comparing with cast on coupons test data. Material properties requisite for design, such as tensile, creep/rupture, LCF, Fracture Toughness, Charpy V-notch chemical analysis testing were carried out. The test results will be presented in the final report. The typical Haynes 282 large size Steam Turbine production casting from Order to Delivery foundry schedule with the activity break up is shown in Figures 107 and 108. • From Purchase Order placement to Casting pouring ~ 26 weeks. 1. Sales and commercial review 3 2. Engineering Drawings/models review 4 3. Pattern and core box manufacturing 6 4. Casting process engineering review 4 5. FEM and solidification simulation analysis 4 6. Gating & Feeder Attachments, Ceramic tiling 2 7. Molding and coremaking production scheduling 6 8. Melting planning and schedule 3 9. Pouring, cooling and shake out 2 • From Pouring to casting Delivery ~ 29 weeks 10. Shot blast and riser cutting, gates removal 3 11. Homogenizing , solutionizing HT furnace prep 4 12. Grinding, Fettling 2 13. Aging HT Cycle, cooling 2 14. VT and LPT NDT inspections 2 15. Radiographic inspection 4 16. Mechanical testing, Chemical analysis test certs 4 17. Casting weld repair upgrades and Aging PWHT 4 18. NDT after weld repairs and casting upgrades 3 19. Casting Final Inspection and test certifications 3 20. Package and delivery 2 Hence the Total Lead time from P.O to Casting delivery is approximately 55 weeks. The Task 4.2 and Task 4.3 activities and reporting completed.

Thangirala, Mani↗

Comparison of Anthropomorphic Test Device and human Volunteer Responses in Landing Impact Tests of U.S. Space Vehicles

United States (U.S.) crewed vehicles are being designed to support the National Aeronautics and Space Administration’s (NASA’s) human spaceflight programs. Vehicles must be designed to meet NASA’s occupant protection requirements including landing injury assessment with anthropomorphic test devices (ATDs) and analytical models. However, these tools are limited in capturing all injuries that might occur during spacecraft landings. A NASA study of injuries during Soyuz vehicle landings has shown that analytical models are underpredicting occupant injury. Because of the inherent limitations with our analytical tools, human volunteer impact testing was employed to validate the safety of U.S. crewed vehicles. A total of 84 human volunteer tests in 11 different test orientations and g-levels were completed as part of this effort in collaboration with the Air Force Research Laboratory (AFRL) at Wright-Patterson Air Force Base and the vehicle development companies. Human subjects were tested at various realistic landing loads and in the highest fidelity seat and suit components that were available at the time of testing for two U.S. vehicles. Matched-pair ATD tests in the same test conditions were also conducted with small female and midsized male Hybrid III ATDs. ATDs were fully instrumented. Head accelerations and subjective responses were recorded in human subjects. In some cases, chest accelerations were captured. Responses of the ATDs and humans in matched-pair tests were compared. No ATD tests showed evidence for risk of injury based on NASA occupant protection requirements. Human subjects reported 17 cases of discomfort or pain, 1 human subject was diagnosed with a minor injury that was not evident in the ATD tests. These results provide evidence that ATDs do not capture all potential injury risks, namely lower severity injuries, discomfort, pain, and fit issues. Overall, human testing is beneficial to understanding the true risk of injury to crewmembers during Earth landings.

Teresa Reiber↗

A Massively Parallel Implementation of the CCSD(T) Method Using the Resolution-of-the-Identity Approximation and a Hybrid Distributed/Shared Memory Parallelization Model

In this work, a parallel algorithm is described for the coupled-cluster singles and doubles method augmented with a perturbative correction for triple excitations [CCSD(T)] using the resolution-of-the-identity (RI) approximation for two-electron repulsion integrals (ERIs). The algorithm bypasses the storage of four-center ERIs by adopting an integral-direct strategy. The CCSD amplitude equations are given in a compact quasi-linear form by factorizing them in terms of amplitude-dressed three-center intermediates. A hybrid MPI/OpenMP parallelization scheme is employed, which uses the OpenMP-based shared memory model for intranode parallelization and the MPI-based distributed memory model for internode parallelization. Parallel efficiency has been optimized for all terms in the CCSD amplitude equations. Two different algorithms have been implemented for the rate-limiting terms in the CCSD amplitude equations that entail and -scaling computational costs, where N O and N V denote the number of correlated occupied and virtual orbitals, respectively. One of the algorithms assembles the four-center ERIs requiring N V 4 and N O 2 N V 2 -scaling memory costs in a distributed manner on a number of MPI ranks, while the other algorithm completely bypasses the assembling of quartic memory-scaling ERIs and thus largely reduces the memory demand. It is demonstrated that the former memory-expensive algorithm is faster on a few hundred cores, while the latter memory-economic algorithm shows a better strong scaling in the limit of a few thousand cores. The program is shown to exhibit a near-linear scaling, in particular for the compute-intensive triples correction step, on up to 8000 cores. The performance of the program is demonstrated via calculations involving molecules with 24–51 atoms and up to 1624 atomic basis functions. As the first application, the complete basis set (CBS) limit for the interaction energy of the π-stacked uracil dimer from the S66 data set has been investigated. This work reports the first calculation of the interaction energy at the CCSD(T)/aug-cc-pVQZ level without local orbital approximation. The CBS limit for the CCSD correlation contribution to the interaction energy was found to be -8.01 kcal/mol, which agrees very well with the value -7.99 kcal/mol reported by Schmitz, Hättig, and Tew [ Phys. Chem. Chem. Phys. 2014 , 16 , 22167-22178]. The CBS limit for the total interaction energy was estimated to be -9.64 kcal/mol.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Market Assessment of Forward-Looking Turbulence Sensing Systems

In recognition of the importance of turbulence mitigation as a tool to improve aviation safety, NASA's Aviation Safety Program developed a Turbulence Detection and Mitigation Sub-element. The objective of this effort is to develop highly reliable turbulence detection technologies for commercial transport aircraft to sense dangerous turbulence with sufficient time warning so that defensive measures can be implemented and prevent passenger and crew injuries. Current research involves three forward sensing products to improve the cockpit awareness of possible turbulence hazards. X-band radar enhancements will improve the capabilities of current weather radar to detect turbulence associated with convective activity. LIDAR (Light Detection and Ranging) is a laser-based technology that is capable of detecting turbulence in clear air. Finally, a possible Radar-LIDAR hybrid sensor is envisioned to detect the full range of convective and clear air turbulence. To support decisions relating to the development of these three forward-looking turbulence sensor technologies, the objective of this study was defined as examination of cost and implementation metrics. Tasks performed included the identification of cost factors and certification issues, the development and application of an implementation model, and the development of cost budget/targets for installing the turbulence sensor and associated software devices into the commercial transport fleet.

Kauffmann, Paul↗

Cost-Optimal Pathways to 75% Fuel Reduction in Remote Alaskan Villages: Preprint

There are thousands of isolated, diesel-powered microgrids that deliver energy to remote communities around the world at very high energy costs. The Remote Communities Renewable Energy program aims to help these communities reduce their fuel consumption and lower their energy costs through the use of high penetration renewable energy. As part of this program, the REopt modeling platform for energy system integration and optimization was used to analyze cost-optimal pathways toward achieving a combined 75% reduction in diesel fuel and fuel oil consumption in a select Alaskan village. In addition to the existing diesel generator and fuel oil heating technologies, the model was able to select from among wind, battery storage, and dispatchable electric heaters to meet the electrical and thermal loads. The model results indicate that while 75% fuel reduction appears to be technically feasible it may not be economically viable at this time. When the fuel reduction target was relaxed, the results indicate that by installing high-penetration renewable energy, the community could lower their energy costs by 21% while still reducing their fuel consumption by 54%.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Viability Study for an Unattended UF 6 Cylinder Verification Station: Phase I Final Report

In recent years, the International Atomic Energy Agency (IAEA) has pursued innovative techniques and an integrated suite of safeguards measures to address the verification challenges posed by the front end of the nuclear fuel cycle. Among the unattended instruments currently being explored by the IAEA is an Unattended Cylinder Verification Station (UCVS) that could provide automated, independent verification of the declared relative enrichment, 235 U mass, total uranium mass and identification for all declared UF 6 cylinders in a facility (e.g., uranium enrichment plants and fuel fabrication plants). Under the auspices of the United States and European Commission Support Programs to the IAEA, a project was undertaken to assess the technical and practical viability of the UCVS concept. The US Support Program team consisted of Pacific Northwest National Laboratory (PNNL, lead), Los Alamos National Laboratory (LANL), Oak Ridge National Laboratory (ORNL) and Savanah River National Laboratory (SRNL). At the core of the viability study is a long-term field trial of a prototype UCVS system at a Westinghouse fuel fabrication facility. A key outcome of the study is a quantitative performance evaluation of two nondestructive assay (NDA) methods being considered for inclusion in a UCVS: Hybrid Enrichment Verification Array (HEVA), and Passive Neutron Enrichment Meter (PNEM). This report provides context for the UCVS concept and the field trial: potential UCVS implementation concepts at an enrichment facility; an overview of UCVS prototype design; field trial objectives and activities. Field trial results and interpretation are presented, with a focus on the performance of PNEM and HEVA for the assay of over 200 “typical” Type 30B cylinders, and the viability of an “NDA Fingerprint” concept as a high-fidelity means to periodically verify that the contents of a given cylinder are consistent with previous scans. A modeling study, combined with field-measured instrument uncertainties, provides an assessment of the partial-defect sensitivity of HEVA and PNEM for both one-time assay and (repeated) NDA Fingerprint verification scenarios. The findings presented in this report represent a significant step forward in the community’s understanding of the strengths and limitations of the PNEM and HEVA NDA methods, and the viability of the UCVS concept in front-end fuel cycle facilities. This experience will inform Phase II of the UCVS viability study, should the IAEA pursue it.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Comparison of Anthropomorphic Test Device and Human Volunteer Responses in Simulated Landing Impact Tests of U.S. Space Vehicles

United States (U.S.) crewed vehicles are being designed to support the National Aeronautics and Space Administration’s (NASA’s) human spaceflight programs. Vehicles must be designed to meet NASA’s occupant protection requirements including landing injury assessment with anthropomorphic test devices (ATDs) and analytical models. However, these tools are limited in capturing all injuries that might occur during spacecraft landings. A NASA study of injuries during Soyuz vehicle landings has shown that analytical models are underpredicting occupant injury. Because of the inherent limitations with our analytical tools, human volunteer impact testing was employed to assess flight-like landing conditions of U.S. crewed vehicles. A total of 84 human volunteer tests in 11 different test orientations and g-levels were completed as part of this effort in collaboration with the Air Force Research Laboratory (AFRL) at Wright-Patterson Air Force Base and U.S. vehicle development companies. Human subjects were tested at various realistic landing loads and in the highest fidelity seat and suit components that were available at the time of testing for two U.S. vehicles. Matched-pair ATD tests in the same test conditions were also conducted with small female and midsized male Hybrid III ATDs. ATDs were fully instrumented. Head accelerations and subjective responses were recorded for human subjects. In some cases, chest accelerations were captured. Responses of the ATDs and humans in matched-pair tests were compared. No ATD tests showed evidence for risk of injury based on NASA occupant protection requirements. Human subjects reported 17 cases of discomfort or pain, and 1 human subject was diagnosed with a minor injury that was not evident in the ATD tests. These results provide evidence that ATDs do not capture all potential injury risks, namely lower severity injuries, discomfort, pain, and fit issues. Overall, human testing is beneficial to understanding the true risk of injury to crewmembers during Earth landings.

Teresa M Reiber↗

Comparison of Anthropomorphic Test Device and Human Volunteer Responses in Simulated Landing Impact Tests of U.S. Space Vehicles

United States (U.S.) crewed vehicles are being designed to support the National Aeronautics and Space Administration’s (NASA’s) human spaceflight programs. Vehicles must be designed to meet NASA’s occupant protection requirements including landing injury assessment with anthropomorphic test devices (ATDs) and analytical models. However, these tools are limited in capturing all injuries that might occur during spacecraft landings. A NASA study of injuries during Soyuz vehicle landings has shown that analytical models are underpredicting occupant injury. Because of the inherent limitations with our analytical tools, human volunteer impact testing was employed to assess flight-like landing conditions of U.S. crewed vehicles. A total of 84 human volunteer tests in 11 different test orientations and g-levels were completed as part of this effort in collaboration with the Air Force Research Laboratory (AFRL) at Wright-Patterson Air Force Base and U.S. vehicle development companies. Human subjects were tested at various realistic landing loads and in the highest fidelity seat and suit components that were available at the time of testing for two U.S. vehicles. Matched-pair ATD tests in the same test conditions were also conducted with small female and midsized male Hybrid III ATDs. ATDs were fully instrumented. Head accelerations and subjective responses were recorded for human subjects. In some cases, chest accelerations were captured. Responses of the ATDs and humans in matched-pair tests were compared. No ATD tests showed evidence for risk of injury based on NASA occupant protection requirements. Human subjects reported 17 cases of discomfort or pain, and 1 human subject was diagnosed with a minor injury that was not evident in the ATD tests. These results provide evidence that ATDs do not capture all potential injury risks, namely lower severity injuries, discomfort, pain, and fit issues. Overall, human testing is beneficial to understanding the true risk of injury to crewmembers during Earth landings.

Teresa M Reiber↗

Comparison of Anthropomorphic Test Device and Human Volunteer Responses in Simulated Landing Impact Tests of U.S. Space Vehicles

United States (U.S.) crewed vehicles are being designed to support the National Aeronautics and Space Administration’s (NASA’s) human spaceflight programs. Vehicles must be designed to meet NASA’s occupant protection requirements including landing injury assessment with anthropomorphic test devices (ATDs) and analytical models. However, these tools are limited in capturing all injuries that might occur during spacecraft landings. A NASA study of injuries during Soyuz vehicle landings has shown that analytical models are underpredicting occupant injury. Because of the inherent limitations with our analytical tools, human volunteer impact testing was employed to assess flight-like landing conditions of U.S. crewed vehicles. A total of 84 human volunteer tests in 11 different test orientations and g-levels were completed as part of this effort in collaboration with the Air Force Research Laboratory (AFRL) at Wright-Patterson Air Force Base and U.S. vehicle development companies. Human subjects were tested at various realistic landing loads and in the highest fidelity seat and suit components that were available at the time of testing for two U.S. vehicles. Matched-pair ATD tests in the same test conditions were also conducted with small female and midsized male Hybrid III ATDs. ATDs were fully instrumented. Head accelerations and subjective responses were recorded for human subjects. In some cases, chest accelerations were captured. Responses of the ATDs and humans in matched-pair tests were compared. No ATD tests showed evidence for risk of injury based on NASA occupant protection requirements. Human subjects reported 17 cases of discomfort or pain, and 1 human subject was diagnosed with a minor injury that was not evident in the ATD tests. These results provide evidence that ATDs do not capture all potential injury risks, namely lower severity injuries, discomfort, pain, and fit issues. Overall, human testing is beneficial to understanding the true risk of injury to crewmembers during Earth landings.

Teresa M Reiber↗

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗

Evolution of CMS Workload Management Towards Multicore Job Support

The successful exploitation of multicore processor architectures is a key element of the LHC distributed computing system in the coming era of the LHC Run 2. High-pileup complex-collision events represent a challenge for the traditional sequential programming in terms of memory and processing time budget. The CMS data production and processing framework is introducing the parallel execution of the reconstruction and simulation algorithms to overcome these limitations. CMS plans to execute multicore jobs while still supporting singlecore processing for other tasks difficult to parallelize, such as user analysis. The CMS strategy for job management thus aims at integrating single and multicore job scheduling across the Grid. This is accomplished by employing multicore pilots with internal dynamic partitioning of the allocated resources, capable of running payloads of various core counts simultaneously. An extensive test programme has been conducted to enable multicore scheduling with the various local batch systems available at CMS sites, with the focus on the Tier-0 and Tier-1s, responsible during 2015 of the prompt data reconstruction. Scale tests have been run to analyse the performance of this scheduling strategy and ensure an efficient use of the distributed resources. This paper presents the evolution of the CMS job management and resource provisioning systems in order to support this hybrid scheduling model, as well as its deployment and performance tests, which will enable CMS to transition to a multicore production model for the second LHC run.

Perez-Calero Yzquierdo, A.↗

Advanced Colloids Experiment (ACE) Science Overview

The Advanced Colloids Experiment is being conducted on the International Space Station (ISS) using the Light Microscopy Module (LMM) in the Fluids Integrated Rack (FIR). Work to date will be discussed and future plans and opportunities will be highlighted. The LMM is a microscope facility designed to allow scientists to process, manipulate, and characterize colloidal samples in micro-gravity where the absence of gravitational settling and particle jamming enables scientists to study such things as:a.The role that disordered and ordered-packing of spheres play in the phase diagram and equation of state of hard sphere systems,b.crystal nucleation and growth, growth instabilities, and the glass transition, c.gelation and phase separation of colloid polymer mixtures,d.crystallization of colloidal binary alloys,e.competition between crystallization and phase separation,f.effects of anisotropy and specific interactions on packing, aggregation, frustration and crystallization,g.effects of specific reversible and irreversible interactions mediated in the first case by hybridization of complementary DNA strands attached to separate colloidal particles,h.Lock and key interactions between colloids with dimples and spheres which match the size and shape of the dimples,i.finding the phase diagrams of isotropic and interacting particles,j.new techniques for complex self-assembly including scenarios for self-replication, k.critical Casimir forces,l.biology (real and model systems) in microgravity,m.etc. By adding additional microscopy capabilities to the existing LMM, NASA will increase the tools available for scientists that fly experiments on the ISS enabling scientists to observe directly what is happening at the particle level. Presently, theories are needed to bridge the gap between what is being observed (at a macroscopic level when photographing samples) with what is happening at a particle (or microscopic) level. What is happening at a microscopic level will be directly accessible with the availability of the Light Microscopy Module (LMM) on ISS. To meet these goals, the ACE experiment is being built-up in stages, with the availability of confocal microscopy being the ultimate objective. Supported by NASAs Physical Sciences Research Program, ESAESTEC, and the authors respective governments.

Microgravity Biology Research↗

A Research Roadmap for Computation-Based Human Reliability Analysis

The United States (U.S.) Department of Energy (DOE) is sponsoring research through the Light Water Reactor Sustainability (LWRS) program to extend the life of the currently operating fleet of commercial nuclear power plants. The Risk Informed Safety Margin Characterization (RISMC) research pathway within LWRS looks at ways to maintain and improve the safety margins of these plants. The RISMC pathway includes significant developments in the area of thermalhydraulics code modeling and the development of tools to facilitate dynamic probabilistic risk assessment (PRA). PRA is primarily concerned with the risk of hardware systems at the plant; yet, hardware reliability is often secondary in overall risk significance to human errors that can trigger or compound undesirable events at the plant. This report highlights ongoing efforts to develop a computation-based approach to human reliability analysis (HRA). This computation-based approach differs from existing static and dynamic HRA approaches in that it: (i) interfaces with a dynamic computation engine that includes a full scope plant model, and (ii) interfaces with a PRA software toolset. The computation-based HRA approach presented in this report is called the Human Unimodels for Nuclear Technology to Enhance Reliability (HUNTER) and incorporates in a hybrid fashion elements of existing HRA methods to interface with new computational tools developed under the RISMC pathway. The goal of this research effort is to model human performance more accurately than existing approaches, thereby minimizing modeling uncertainty found in current plant risk models.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

TURBOMOLE: Modular program suite for ab initio quantum-chemical and condensed-matter simulations

TURBOMOLE is a collaborative, multi-national software development project aiming to provide highly efficient and stable computational tools for quantum chemical simulations of molecules, clusters, periodic systems, and solutions. The TURBOMOLE software suite is optimized for widely available, inexpensive, and resource-efficient hardware such as multi-core workstations and small computer clusters. TURBOMOLE specializes in electronic structure methods with outstanding accuracy–cost ratio, such as density functional theory including local hybrids and the random phase approximation (RPA), GW-Bethe–Salpeter methods, second-order Møller–Plesset theory, and explicitly correlated coupled-cluster methods. TURBOMOLE is based on Gaussian basis sets and has been pivotal for the development of many fast and low-scaling algorithms in the past three decades, such as integral-direct methods, fast multipole methods, the resolution-of-the-identity approximation, imaginary frequency integration, Laplace transform, and pair natural orbital methods. This review focuses on recent additions to TURBOMOLE’s functionality, including excited-state methods, RPA and Green’s function methods, relativistic approaches, high-order molecular properties, solvation effects, and periodic systems. A variety of illustrative applications along with accuracy and timing data are discussed. Moreover, available interfaces to users as well as other software are summarized. TURBOMOLE’s current licensing, distribution, and support model are discussed, and an overview of TURBOMOLE’s development workflow is provided. Challenges such as communication and outreach, software infrastructure, and funding are highlighted.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗