Results for “active state model” — Page 4

DOE OSTI2025

Plutonium Oxidation State Distribution under WIPP Relevant Conditions (Rev. 2)

The oxidation state of plutonium in the Waste Isolation Pilot Plant (WIPP) environment has been a topic of interest since the initial compliance certification application. Plutonium (Pu) was initially expected to be present primarily as Pu(IV), but since the presence of Pu(III) could not be ruled out, it was also included in performance assessment (PA) calculations. The redox of the other variant actinides, uranium (U) and neptunium (Np), are also coupled to the plutonium redox. This led to a position in performance assessment calculations that is commonly referred to as “50/50”. In which half of the PA realizations assume solubility is dominated by the low oxidation state [U(IV), Np(IV), Pu(III)] and the other half assume solubility is dominated by the higher oxidation state [U(VI), Np(V), Pu(IV)]. Recently, a joint group of WIPP project participants from Los Alamos National Laboratory (LANL), Sandia National Laboratories (SNL), and the Department of Energy’s Carlsbad Field Office (DOE-CBFO) agreed on a new path forward for the oxidation state model in PA which will decouple the redox active actinides and will instead consider their redox as a function of E h . This will take the current binary approach and turn it into a system with four possible redox states.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRSDate not supplied

Model-Based Systems Engineering, Real-Time Operations, and Autonomy

Model-Based Systems Engineering has been enabled by the development of the SysML language and software tools to create systems models. Systems models described in SysML incorporate frames (Diagrams) that represent behaviors (activities, sequences, state machines, use cases), requirements, and structure (definitions, internal structure, parametric formulation, and packaging). The SysML models are, in turn, used by applications to do analysis and studies of the designs and operational capabilities. These uses of the model are based on simulations, and do not include hardware. This paper presents a software environment and processes that enables more comprehensive systems models for MBSE, and use of these rich models for real-time operations. The paper describes a software platform that enables creation of comprehensive models, beyond what is now possible with SysML and related software tools, called the NASA Platform for Autonomous Systems (NPAS). The platform encapsulates a paradigm and infrastructure for creating systems models with complexity levels comparable to the ones handled by SysML software tools, but with additional fidelity that includes detailed design diagrams encompassing sensors, components, and design topologies. Furthermore, NPAS enables incorporation of data, information, and knowledge (DIaK) to implement autonomy and Integrated System Health Management (ISHM) and the inherent integration of content encompassing SysML structure and behavior diagrams throughout the NPAS modelAnd lastly, the NPAS models are used in real-time operations, taking advantage of the fidelity and complexity encompassed in the models in order to implement “thinking” ISHM and/or autonomous operations. . Incorporation of SysML model content into an NPAS model is briefly discussed.

MBSE↗

NASA NTRS1995

An approach to verification and validation of a reliable multicasting protocol

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or off-nominal behaviors predicted by the current model. If the execution of a test was different between the model and implementation, then the differences helped identify inconsistencies between the model and implementation. The dialogue between both teams drove the co-evolution of the model and implementation. Testing served as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP.

Callahan, John R.↗

NASA NTRS1994

An Approach to Verification and Validation of a Reliable Multicasting Protocol

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or offnominal behaviors predicted by the current model. If the execution of a test was different between the model and implementation, then the differences helped identify inconsistencies between the model and implementation. The dialogue between both teams drove the co-evolution of the model and implementation. Testing served as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP.

Callahan, John R.↗

DOE OSTI2022

Influence of weather on gobbling activity of male wild turkeys

Gobbling activity of Eastern wild turkeys (Meleagris gallopavo silvestris; hereafter, turkeys) has been widely studied, focusing on drivers of daily variation. Weather variables are widely believed to influence gobbling activity, but results across studies are contradictory and often equivocal, leading to uncertainty in the relative contribution of weather variables to daily fluctuations in gobbling activity. Previous works relied on road-based auditory surveys to collect gobbling data, which limits data consistency, duration, and quantity due to logistical difficulties associated with human observers and restricted sampling frames. Development of new methods using autonomous recording units (ARUs) allows researchers to collect continuous data in more locations for longer periods of time, providing the opportunity to delve into factors influencing daily gobbling activity. We used ARUs from 1 March to 31 May to detail gobbling activity across multiple study sites in the southeastern United States during 2014–2018. We used state-space modeling to investigate the effects of weather variables on daily gobbling activity. Our findings suggest rainfall, greater wind speeds, and greater temperatures negatively affected gobbling activity, whereas increasing barometric pressure positively affected gobbling activity. Therefore, when using daily gobbling activity to make inferences relative to gobbling chronology, reproductive phenology, and hunting season frameworks, stakeholders should recognize and consider the potential influences of extended periods of inclement weather.

60 APPLIED LIFE SCIENCES↗

NASA NTRS1999

Control Design Strategies to Enhance Long-Term Aircraft Structural Integrity

Over the operational lifetime of both military and civil aircraft, structural components are exposed to hundreds of thousands of low-stress repetitive load cycles and less frequent but higher-stress transient loads originating from maneuvering flight and atmospheric gusts. Micro-material imperfections in the structure, such as cracks and debonded laminates, expand and grow in this environment, reducing the structural integrity and shortening the life of the airframe. Extreme costs associated with refurbishment of critical load-bearing structural components in a large fleet, or altogether reinventoring the fleet with newer models, indicate alternative solutions for life extension of the airframe structure are highly desirable. Increased levels of operational safety and reliability are also important factors influencing the desirability of such solutions. One area having significant potential for impacting crack growth/fatigue damage reduction and structural life extension is flight control. To modify the airframe response dynamics arising from command inputs and gust disturbances, feedback loops are routinely applied to vehicles. A dexterous flight control system architecture senses key vehicle motions and generates critical forces/moments at multiple points distributed throughout the airframe to elicit the desired motion characteristics. In principle, these same control loops can be utilized to influence the level of exposure to harmful loads during flight on structural components. Project objectives are to investigate and/or assess the leverage control has on reducing fatigue damage and enhancing long-term structural integrity, without degrading attitude control and trajectory guidance performance levels. In particular, efforts have focused on the effects inner loop control parameters and architectures have on fatigue damage rate. To complete this research, an actively controlled flexible aircraft model and a new state space modeling procedure for crack growth have been utilized. Analysis of the analytical state space model for crack growth revealed the critical mathematical factors, and hence the physical mechanism they represent, that influenced high rates of airframe crack growth. The crack model was then exercised with simple load inputs to uncover and expose key crack growth behavior. To characterize crack growth behavior, both "short-term" laboratory specimen test type inputs and "long-term" operational flight type inputs were considered. Harmonic loading with a single overload revealed typical exponential crack growth behavior until the overload application, after which time the crack growth was retarded for a period of time depending on the overload strength. An optimum overload strength was identified which leads to maximum retardation of crack growth. Harmonic loading with a repeated overload of varying strength and frequency again revealed an optimum overload trait for maximizing growth retardation. The optimum overload strength ratio lies near the range of 2 to 3 with dependency on frequency. Experimental data was found to correlate well with the analytical predictions.

Newman, Brett A.↗

NASA NTRS2006

Lessons Learned from Daily Uplink Operations during the Deep Impact Mission

The daily preparation of uplink products (commands and files) for Deep Impact was as problematic as the final encounter images were spectacular. The operations team was faced with many challenges during the six-month mission to comet Tempel One of the biggest difficulties was that the Deep Impact Flyby and Impactor vehicles necessitated a high volume of uplink products while also utilizing a new uplink file transfer capability. The Jet Propulsion Laboratory (JPL) Multi-Mission Ground Systems and Services (MGSS) Mission Planning and Sequence Team (MPST) had the responsibility of preparing the uplink products for use on the two spacecraft. These responsibilities included processing nearly 15,000 flight products, modeling the states of the spacecraft during all activities for subsystem review, and ensuring that the proper commands and files were uplinked to the spacecraft. To guarantee this transpired and the health and safety of the two spacecraft were not jeopardized several new ground scripts and procedures were developed while the Deep Impact Flyby and Impactor spacecraft were en route to their encounter with Tempel-1. These scripts underwent several adaptations throughout the entire mission up until three days before the separation of the Flyby and Impactor vehicles. The problems presented by Deep Impact's daily operations and the development of scripts and procedures to ease those challenges resulted in several valuable lessons learned. These lessons are now being integrated into the design of current and future MGSS missions at JPL.

uplink↗

NASA NTRS2013

Formal Validation of Fault Management Design Solutions

The work presented in this paper describes an approach used to develop SysML modeling patterns to express the behavior of fault protection, test the model's logic by performing fault injection simulations, and verify the fault protection system's logical design via model checking. A representative example, using a subset of the fault protection design for the Soil Moisture Active-Passive (SMAP) system, was modeled with SysML State Machines and JavaScript as Action Language. The SysML model captures interactions between relevant system components and system behavior abstractions (mode managers, error monitors, fault protection engine, and devices/switches). Development of a method to implement verifiable and lightweight executable fault protection models enables future missions to have access to larger fault test domains and verifiable design patterns. A tool-chain to transform the SysML model to jpf-Statechart compliant Java code and then verify the generated code via model checking was established. Conclusions and lessons learned from this work are also described, as well as potential avenues for further research and development.

Statechart↗

NASA NTRS1995

An approach to verification and validation of a reliable multicasting protocol: Extended Abstract

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. This initial version did not handle off-nominal cases such as network partitions or site failures. Meanwhile, the V&V team concurrently developed a formal model of the requirements using a variant of SCR-based state tables. Based on these requirements tables, the V&V team developed test cases to exercise the implementation. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or off-nominal behaviors predicted by the current model. If the execution of a test in the model and implementation agreed, then the test either found a potential problem or verified a required behavior. However, if the execution of a test was different in the model and implementation, then the differences helped identify inconsistencies between the model and implementation. In either case, the dialogue between both teams drove the co-evolution of the model and implementation. We have found that this interactive, iterative approach to development allows software designers to focus on delivery of nominal functionality while the V&V team can focus on analysis of off nominal cases. Testing serves as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP. Although RMP has provided our research effort with a rich set of test cases, it also has practical applications within NASA. For example, RMP is being considered for use in the NASA EOSDIS project due to its significant performance benefits in applications that need to replicate large amounts of data to many network sites.

Callahan, John R.↗

DOE OSTI2025

Toward a Unified Kinetic Model of Nitrogenase Catalysis

The microbial enzyme nitrogenase catalyzes the MgATP-dependent reduction of N 2 to 2NH 3 , a transformation central to the global nitrogen cycle. While the canonical Thorneley−Lowe (TL) kinetic model has long served as a mechanistic framework, it does not incorporate several recent insights. Here, we present an updated kinetic model for Monitrogenase that incorporates these new findings. A significant insight is that electron transfer (ET) from the reduced Fe protein to the FeMo-cofactor is gated by MgATP-dependent conformational transitions and can be described as a probabilistic event that is dependent on the ligand bound to the active-site metallocofactor. The updated kinetic model quantitatively reproduces steady-state product formation rates across a broad range of experimental conditions, yielding revised estimates for key rate constants. It is demonstrated that under N 2 turnover, the probability of productive ET to the active site decreases by ∼60%, resulting in a significant fraction of Fe protein cycles that are unproductive for electron delivery. This mechanistic feature explains the observed rate limitation in N 2 reduction and implies a revised minimum energetic cost of approximately 25 MgATP per N 2 reduced. Integrating these new features into the revised kinetic model provides a more complete and usable foundation for understanding nitrogenase catalysis.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA NTRS1981

Design for active and passive flutter suppression and gust alleviation

Analytical design techniques for active and passive control of aeroelastic systems are based on a rational approximation of the unsteady aerodynamic loads in the entire Laplace domain, which yields matrix equations of motion with constant coefficients. Some existing schemes are reviewed, the matrix Pade approximant is modified, and a technique which yields a minimal number of augmented states for a desired accuracy is presented. The state-space aeroelastic model is used to design an active control system for simultaneous flutter suppression and gust alleviation. The design target is for a continuous controller which transfers some measurements taken on the vehicle to a control command applied to a control surface. Structural modifications are formulated in a way which enables the treatment of passive flutter suppression system with the same procedures by which active control systems are designed.

Karpel, M.↗

NASA NTRS1983

Transport and the seasonal variation of ozone

The transport mechanisms responsible for the seasonal behavior of total ozone are deduced from the comparison of model results to stratospheric data. The seasonal transport is dominated by a combination of the diabatic circulation and transient planetary wave activity acting on a diffusively and photochemically determined background state. The seasonal variation is not correctly modeled as a diffusive process. The buildup of total ozone at high latitudes during winter is dependent upon transient planetary wave activity of sufficient strength to cause the breakdown of the polar vortex. While midwinter warmings are responsible for enhanced ozone transport to high latitudes, the final warming marking the transition from zonal mean westerlies to zonal mean easterlies is the most important event leading to the spring maximum. The final warming is not followed by reacceleration of the mean flow; so that the ozone transport associated with this event is more pronounced than that associated with midwinter warmings.

Rood, R. B.↗

NASA NTRS1977

Active flutter control using generalized unsteady aerodynamic theory

This paper describes the application of generalized unsteady aerodynamic theory to the problem of active flutter control. The controllability of flutter modes is investigated. It is shown that the response of aeroelastic systems is composed of a portion due to a rational transform and a portion due to a nonrational transform. The oscillatory response characteristic of flutter is due to the rational portion, and a theorem is given concerning the construction of a linear, finite-dimensional model of this portion of the system. The resulting rational model is unique and does not require state augmentation. Active flutter control designs using optimal regulator synthesis are presented.

Edwards, J. W.↗

NASA NTRS2018

NASA ACC High Energy Dynamic Impact Methodology and Outcomes

For High Energy Dynamic Impact (HEDI) events, testing to evaluate the structural response of primary aircraft structure for design and certification is both expensive and time consuming. This paper discusses current work seeking to assess, develop, and validate appropriate analytical models that accurately predict physical response, damage, and failure modes for large scale composite structures in HEDI events. Four state-of-the-art Progressive Damage Analysis (PDA) methods were employed for this phased project: LS-DYNA MAT162, LS-DYNA MAT261, Smoothed Particle Galerkin (SPG), and EMU Peridynamics. Multiple material systems were considered, namely T700/5208 textile-infusion triaxial braid, T800/AMD-825 textile-infusion triaxial braid, IM7/8552 uni-directional tape, and SPG 196-PW/8552 plain-weave fabric. Extensive ballistic impact testing was performed to support this activity and measured results were compared to predictive models for assessment using panel delamination, panel displacement, force at the load cells, and threshold velocity as measures. Ultimately, the work under this activity provided significant progress in advancing the state-of-the-art in the use of PDA for HEDI events. Each material model had favorable performance comparing to test in some parameters and needed improvement in others. With the lessons learned from this activity, significant progress was made in the ability to predict panel behavior for a more general case beyond the flat panel in a ballistic impact event. Subsequent Phase II of the NASA ACC HEDI effort will continue to build on the coupon testing, flat panel ballistic impact testing, and analysis performed to-date with application of the PDA methods for intended material selections to test articles with greater complexity of configuration, curvature, and scale. It is not the intention of this paper to present a full set of data, but rather to give an overview of the NASA HEDI effort and show a small representative subset of the test and analysis results.

Hunziker, Kenneth J.↗

NASA NTRS2005

The SMART Theory and Modeling Team: An Integrated Element of Mission Development and Science Analysis

When targeting physical understanding of space plasmas, our focus is gradually shifting away from discovery-type investigations to missions and studies that address our basic understanding of processes we know to be important. For these studies, theory and models provide physical predictions that need to be verified or falsified by empirical evidence. Within this paradigm, a tight integration between theory, modeling, and space flight mission design and execution is essential. NASA's Magnetospheric MultiScale (MMS) mission is a pathfinder in this new era of space research. The prime objective of MMS is to understand magnetic reconnection, arguably the most fundamental of plasma processes. In particular, MMS targets the microphysical processes, which permit magnetic reconnection to operate in the collisionless plasmas that permeate space and astrophysical systems. More specifically, MMS will provide closure to such elemental questions as how particles become demagnetized in the reconnection diffusion region, which effects determine the reconnection rate, and how reconnection is coupled to environmental conditions such as magnetic shear angles. Solutions to these problems have remained elusive in past and present spacecraft missions primarily due to instrumental limitations - yet they are fundamental to the large-scale dynamics of collisionless plasmas. Owing to the lack of measurements, most of our present knowledge of these processes is based on results from modern theory and modeling studies of the reconnection process. Proper design and execution of a mission targeting magnetic reconnection should include this knowledge and have to ensure that all relevant scales and effects can be resolved by mission measurements. The SMART mission has responded to this need through a tight integration between instrument and theory and modeling teams. Input from theory and modeling is fed into all aspects of science mission design, and theory and modeling activities are tailored to SMART needs during mission development and science analysis. In this presentation, we will present an overview of SMART theory and modeling team activities. In particular, we will provide examples of science objectives derived from state-of-the art models, and of recent research results that continue to be utilized in SMART mission development.

Hesse, Michael↗

DOE OSTI2022

Multiscale Aerosol Modeling Across Space and Composition (Final Report)

The objective of this project was to harness the capabilities of our unique particle-resolved aerosol model PartMC as an integrating tool between models and measurements across scales. This particle-resolved model explicitly resolves aerosol aging processes that must be approximated in large-scale models, making it ideal for quantifying structural uncertainty and rigorously deriving simplified parameterizations (“coarse graining”) to be used in large-scale models. It also directly connects with laboratory and field measurements at both particle and bulk scales. The significant accomplishments of this project are as follows: 1. Advancing the state of the art in particle-resolved modeling; 2. Connecting modeling with ASR/ARM measurements; 3. Bridging from the process level to aerosol impacts on the global scale; 4. Community engagement through leading and participating in ASR program activities and publishing a review paper on aerosol mixing state that synthesizes experimental and modeling perspectives.

58 GEOSCIENCES↗

NASA NTRS2018

Active Sensing of CO2 Emissions over Nights, Days, and Seasons (ASCENDS): Final Report of the ASCENDS Ad Hoc Science Definition Team

Improved remote sensing observations of atmospheric carbon dioxide (CO2) are critically needed to quantify, monitor, and understand the Earth's carbon cycle and its evolution in a changing climate. The processes governing ocean and terrestrial carbon uptake remain poorly understood,especially in dynamic regions with large carbon stocks and strong vulnerability to climate change,for example, the tropical land biosphere, the northern hemisphere high latitudes, and the Southern Ocean. Because the passive spectrometers used by GOSAT (Greenhouse gases Observing SATellite) and OCO-2 (Orbiting Carbon Observatory-2) require sunlit and cloud-free conditions,current observations over these regions remain infrequent and are subject to biases. These short comings limit our ability to understand and predict the processes controlling the carbon cycle on regional to global scales.In contrast, active CO2 remote-sensing techniques allow accurate measurements to be taken day and night, over ocean and land surfaces, in the presence of thin or scattered clouds, and at all times of year. Because of these benefits, the National Research Council recommended the National Aeronautics and Space Administration (NASA) Active Sensing of CO2 Emissions over Nights,Days, and Seasons (ASCENDS) mission in the 2007 report Earth Science and Applications from Space: National Imperatives for the Next Decade and Beyond. The ability of ASCENDS to collect low-bias observations in these key regions is expected to address important gaps in our knowledge of the contemporary carbon cycle.The ASCENDS ad hoc Science Definition Team (SDT), comprised of carbon cycle modeling and active remote sensing instrument teams throughout the United States (US), worked to develop the mission's requirements and advance its readiness from 2008 through 2018. Numerous scientific investigations were carried out to identify the benefit and feasibility of active CO2 remote sensing measurements for improving our understanding of CO2 sources and sinks. This report summarizes their findings and recommendations based on mission modeling studies, analysis of ancillary meteorological data products, development and demonstration of candidate technologies, anddesign studies of the ASCENDS mission concept.

Kawa, S. Randolph↗

DOE OSTI2025

Stratigraphy‐Induced Localization of Microseismicity During CO 2 Injection in Illinois Basin

Abstract Subsurface fluid injection stimulates complex hydromechanical interaction, necessitating the integration of geomechanical data across spatial and temporal scales to consider the sophisticated behavior. Induced seismic response is usually associated with the complex reservoir architecture and pre‐existing features that are three‐dimensional, such as local stratigraphy, fractures, faults, and other discontinuities. This study encompasses laboratory characterization of the coupled hydromechanical response of cores extracted from rock formations in Illinois Basin: reservoir ‐ Mt. Simon sandstone, basal seal ‐ Argenta sandstone, and crystalline basement ‐ Precambrian rhyolite. High‐resolution numerical modeling allows considering the three‐dimensional complexity of the Illinois Basin Decatur Project with spatial resolution comparable to one of the active seismic surveys. A detailed reconstruction of the evolving state of stress in formations lacking direct stress measurements is achieved by numerical modeling that integrated laboratory‐derived hydromechanical properties, a porosity‐permeability relationship, active seismic data, and an inverted three‐dimensional porosity distribution. It appears that the microseismic clusters, mainly observed in the crystalline basement during the injection, are linked to zones experiencing more critically stressed conditions prior to injection. These zones have a potential for reactivation during the injection and are attributed to the specific local stratigraphy of the injection site, as well as transfer of triggering perturbations during the injection.

Bondarenko, N. [University of Illinois Urbana‐Cham↗