SEARCH · Engineering Papers

Results for “Observing System Simulation”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 739 records · Page 41

All sources NASA NTRS DOE OSTI

NASA NTRS2010

TERRA Battery Thermal Control Anomaly - Simulation and Corrective Actions

The TERRA spacecraft was launched in December 1999 from Vandenberg Air Force Base, becoming the flagship of NASA's Earth Observing System program to gather data on how the planet's processes create climate. Originally planned as a 5 year mission, it still provides valuable science data after nearly 10 years on orbit. On October 13th, 2009 at 16:23z following a routine inclination maneuver, TERRA experienced a battery cell failure and a simultaneous failure of several battery heater control circuits used to maintain cell temperatures and gradients within the battery. With several cells nearing the minimum survival temperature, preventing the electrolyte from freezing was the first priority. After several reset attempts and power cycling of the control electronics failed to reestablish control authority on the primary side of the controller, it was switched to the redundant side, but anomalous performance again prevented full heater control of the battery cells. As the investigation into the cause of the anomaly and corrective action continued, a battery thermal model was developed to be used in determining the control ability remaining and to simulate and assess corrective actions. Although no thermal model or detailed reference data of the battery was available, sufficient information was found to allow a simplified model to be constructed, correlated against pre-anomaly telemetry, and used to simulate the thermal behavior at several points after the anomaly. It was then used to simulate subsequent corrective actions to assess their impact on cell temperatures. This paper describes the rapid development of this thermal model, including correlation to flight data before and after the anomaly., along with a comparative assessment of the analysis results used to interpret the telemetry to determine the extent of damage to the thermal control hardware, with near-term corrective actions and long-term operations plan to overcome the anomaly.

Grob, Eric W.↗

NASA NTRS2003

Correction to "Asian chemical Outflow to the Pacific in Spring: Origins, Pathways, and Budgets" by Isabelle Bey et al.

We analyze the Asian outflow of CO, ozone, and nitrogen oxides (NOx) to the Pacific in spring by using the GEOS-CHEM global three-dimensional model of tropospheric chemistry and simulating the Pacific Exploratory Mission-West (PEM-West B) aircraft mission in February-March 1994. The GEOS-CHEM model uses assimilated meteorological fields from the NASA Goddard Earth Observing System (GEOS). It reproduces relatively well the main features of tropospheric ozone, CO, and reactive nitrogen species observed in PEM-West B, including latitudinal and vertical gradients of the Asian pollution outflow over the western Pacific although simulated concentrations of CO tend to be too low (possibly because biogenic sources are underestimated). We use CO as a long-lived tracer to diagnose the processes contributing to the outflow. The highest concentrations in the outflow are in the boundary layer (0-2 km), but the strongest outflow fluxes are in the lower free troposphere (2-5 km) and reflect episodic lifting of pollution over central and eastern China ahead of eastward moving cold fronts. This frontal lifting, followed by westerly transport in the lower free troposphere, is the principal process responsible for export of both anthropogenic and biomass burning pollution from Asia. Anthropogenic emissions from Europe and biomass burning emissions from Africa make also major contributions to the Asian outflow over the western Pacific; European sources dominate in the lower troposphere north of 40 degrees N, while African sources are important in the upper troposphere at low latitudes. For the period of PEM-West B (February-March) we estimate that fossil fuel combustion and biomass burning make comparable contributions to the budgets of CO, ozone, and NO, in the Asian outflow. We find that 13% of NO, emitted in Asia is exported as NO, or PAN, a smaller fraction than for the United States because of higher aerosol concentrations that promote heterogeneous conversion of NOx to HNO3. Production and export of ozone from Asia in spring is much greater than from the United States because of the higher photochemical activity.

Bey, Isabelle↗

NASA NTRSDate not supplied

Enabling in-time Prognostics with Surrogate Modeling through Physics-enhanced Dynamic Mode Decomposition Method

Computational models provide essential quantitative tools for assessing and predicting the health and performance of physical systems. However, high-fidelity models are rarely used in real-time operations or large optimization loops, due to their time-intensive nature. A common approach to improving computational efficiency of prognosis is to employ surrogate models. Such models can significantly decrease computation time for some accuracy loss. In this context, use of Dynamic Mode Decomposition (DMD) is proposed to generate surrogate models for lithium-ion (Li-ion) battery discharge. DMD has been suggested and used successfully in the area of fluid dynamics for over a decade, but it has not been applied to the PHM domain, where far-ahead prediction of nonlinear behavior is crucial to propagate faults or predict Remaining Useful Life (RUL). For Li-ion battery health management, the standard application of DMD using only the observable quantities of interest was unable to capture the nonlinear discharge of batteries exhibited in lab testing. The Koopman theory, however, provides a mechanism to tradeoff low dimensional nonlinear models with high-dimensional linear ones in a DMD framework, by augmenting nonlinear state variables into the system representation. In this way, DMD allows for configurable simulation accuracy dependent on the dimensionality of the Koopman operator. For battery health management, we augmented the observable variables with the hidden states of a higher-fidelity physics model to build the DMD surrogate. In comparison to a high-fidelity model, the surrogate improved computational efficiency with only a minimal loss of accuracy, and enabled long-term prognostics horizons. A generalized method for this was implemented in the prog models python package.

prognostics and health management↗

NASA NTRS2019

Spectroscopic Behavior of Composite, Black Thermal Paint, Solar Cell, and Multi-layered Insulation Materials in a GEO Simulated Environment

Materials currently populating Earth orbital regimes can be distinguished by comparing remote observational data to that of optical material measurements obtained in the laboratory. Experimentation for this research primarily involved the acquisition of spectroscopic measurements on materials of interest to the telescopic observational community for enhanced space situational awareness. Common spacecraft materials worthy of preeminent analysis for this investigation include a carbon-carbon (c-c) matrix composite, various black thermal paints, a GPS solar cell and three different cover glass components. These materials were subjected to a simulated geosynchronous Earth orbit (GEO) space environment with the intent of observing material optical property behavior over quantitative exposure time. The aforementioned materials have been measured in their pristine and GEO simulated exposed conditions. A reflectance spectrometer and a bi-directional reflectance distribution function (BRDF) optical system have been operated to perform material characterization, optical property analysis, and to further compare such data to telescopic observational data acquired on equal materials.

Reyes, Jacqueline A.↗

NASA NTRS2010

Genesis of Pre-Hurricane Felix (2007): The Role of the Easterly Wave Critical Layer - Part 1

The formation of pre Hurricane Felix (2007) in a tropical easterly wave is examined in a two-part study using the Weather Research and Forecasting (WRF) model with a high-resolution nested grid configuration that permits the representation of cloud system processes. The simulation commences during the wave stage of the precursor African easterly-wave disturbance. Here the simulated and observed developments are compared, while in Part II of the study various large-scale analyses, physical parameterizations, and initialization times are explored to document model sensitivities. In this first part the authors focus on the wave/vortex morphology, its interaction with the adjacent intertropical convergence zone complex, and the vorticity balance in the neighborhood of the developing storm. Analysis of the model simulation points to a bottom-up development process within the wave critical layer and supports the three new hypotheses of tropical cyclone formation proposed recently by Dunkerton, Montgomery, and Wang. It is shown also that low-level convergence associated with the ITCZ helps to enhance the wave signal and extend the "wave pouch" from the jet level to the top of the atmospheric boundary layer. The region of a quasi-closed Lagrangian circulation within the wave pouch provides a focal point for diabatic merger of convective vortices and their vortical remnants. The wave pouch serves also to protect the moist air inside from dry air intrusion, providing a favorable environment for sustained deep convection. Consistent with the authors' earlier findings, the tropical storm forms near the center of the wave pouch via system-scale convergence in the lower troposphere and vorticity aggregation. Components of the vorticity balance are shown to be scale dependent, with the immediate effects of cloud processes confined more closely to the storm center than the overturning Eliassen circulation induced by diabatic heating, the influence of which extends to larger radii.

Wang, Zhuo↗

NASA NTRS2021

Recent Improvements in the Dart Model for Atmosphere, Topography, Large Landscape, Chlorophyll Fluorescence, Satellite Image Inversion

Physical models simulating the radiative budget (RB) and remote sensing (RS) observation of three-dimensional (3D) landscapes are critical to better understand human and natural components of the Earth system and further develop RS technology. DART is one of the most comprehensive 3D models of Earth-atmosphere optical radiative transfer (RT), from ultraviolet (UV) to thermal infrared (TIR). It simulates the optical signal of proximal, aerial and satellite imaging spectrometers and laser scanners, the 3D RB and solar induced chlorophyll fluorescence (SIF) signal, for any urban or natural landscape and any experimental or instrument configuration. It is freely available for research and teaching activities (https://dart.omp.eu). Here, five recent advances are presented. 1) Atmosphere RT. 2) RT in non repetitive topography. 3) Monte Carlo modelling for fast RS image simulation of large landscapes. 4) SIF modelling for vegetation simulated as facets and turbid cells. 5) RS image inversion for mapping the optical properties of urban material and the urban radiative budget.

DART↗

NASA NTRSDate not supplied

Observing and Projecting the Lasting Fate of the Hunga Eruption on Atmospheric Water Vapor and Hydroxyl Radical

On 15th Jan. 2022 the submarine Hunga volcano erupted injecting approximately 0.5 Tg of sulfur dioxide into the stratosphere, but more significantly added 150-170 Tg of water vapor to the stratospheric background (over a 10% perturbation) in a matter of several hours. The sulfur dioxide rapidly converted to sulfate aerosol and along with water vapor, was transported around the Southern Hemisphere sub-tropics into midlatitudes and beyond with some transport into the Northern Hemisphere. With a much longer lifetime than sulfate aerosol, measurable water vapor mass anomalies have persisted with only small losses over more than 2 years since the eruption and are likely to continue above background for the remainder of the decade. Satellite measurements from limb and nadir viewing observing instruments provide the information needed to reasonably initialize the Hunga eruption in the Goddard Earth Observing System (GEOS) model using the “replay” framework coupled to the Global Modeling Initiative (GMI) stratosphere-troposphere chemical mechanism for the recent past and have continued the simulations into the future with the free running chemistry climate model (CCM). Using a number of model ensemble members together with the satellite observations, we quantify how the Hunga eruption is perturbing atmospheric composition and climate and projecting the influences to come as the enhanced water vapor continues in the stratosphere with only very slow removal mechanisms. Modeling suggests that the water rich eruption enhanced stratospheric hydroxyl radiacal (OH) and is supported by the speed of the observed conversion of SO2 into sulfate aerosol. These simulations also suggest a significant reduction in tropospheric OH over the mid-high latitude Southern Hemisphere, which has implications for numerous species that are impacted by this radical. The Hunga eruption provides a useful test of chemistry climate models and an opportunity for observation-based process understanding and in making new connections.

Hunga volcano↗

NASA NTRS2018

Mt. Pinatubo's Impacts on the GEOS Forecasting System

The eruption of Mount Pinatubo in June 1991 had dramatic effects on the global climate, introducing a sudden and extreme forcing on the radiative budget. In this presentation we analyze the effects of the Mt. Pinatubo eruption on the seasonal forecast performed with Goddard Earth Observing System (GEOS), an Earth System Model that includes a bulk aerosol model coupled to radiation and an interactive ocean.We performed three ten-member ensembles of 12-month simulations (June 1991-May 1992). These simulations were performed with a 0.5 longitude by 0.5 latitude horizontal resolution. Out of the three ensembles, one excludes the eruption, representing the control experiment. The other two ensembles include the eruption of Mt. Pinatubo, varying in the effective radius of the volcanic sulfate: one assumed the effective radius to be equal to 0.35 micron (as for tropospheric aerosol) and the other has the effective radius set to 0.6 micron (closer to natural observation). Through the analysis of the aerosol forcing results derived from the two assumptions, we can show how this forcing acts on the seasonal forecast system. In particular, we will focus on the impacts to the surface and ocean temperatures and precipitation.

Mukherjee, Nikita↗

NASA NTRS2001

Stability Analysis of the Planetary System Orbiting Upsilon Andromedae: Simulations Using New Lick Observatory Fits - 2

We present results of long-term numerical orbital integrations designed to test the stability of the three-planet system orbiting upsilon Andromedae and short-term integrations to test whether mutual perturbations among the planets can be used to determine planetary masses. Our initial conditions are based on recent fits to the radial velocity data obtained by the planet search group at Lick Observatory. The new fits result in significantly more stable systems than did the initially announced planetary parameters. Our integrations using the 2000 February parameters show that if the system is nearly planar, then it is stable for at least 100 Myr for m(sub f) = 1/sin i less than or = 4. In some stable systems, the eccentricity of the inner planet experiences large oscillations. The relative periastra of the outer two planets' orbits librate about 0 deg. in most of the stable systems; if future observations imply that the periastron longitudes of these planets are very closely aligned at the present epoch, dynamical simulations may provide precise estimates for the masses and orbital inclinations of these two planets.

Lissauer, Jack J.↗

NASA NTRS1989

Diagnostic analysis of observed and numerically simulated cloud and precipitation structures during pre-ERICA

A preliminary 140-km simulation of a rapid cyclogenesis, using the Limited Area Mesoscale Prediction System (LAMPS) is discussed. A three-dimensional version of LAMPS used in the simulation is described, along with a trajectory model utilizing the three-hourly output history files from the LAMPS model. Preliminary integrations of the LAMPS code as well as passive microwave digital data from SSM/I aboard the DMSP satellite are used for exploring the evolving baroclinic structure and moisture field of the cyclone event. A trajectory analysis of the model histories reveals a significant role for preconditioning of the low-level upstream air, which is then drawn into the ascending warm conveyor belt ahead of the storm.

Perkey, Donald J.↗

NASA NTRS2019

Analyzing Machine Learning Predictions of Passive Microwave Brightness Temperature Spectral Difference Over Snow-Covered Terrain in High Mountain Asia

Snow is an important component of the terrestrial freshwater budget in high mountainAsia (HMA) and contributes to the runoff in Himalayan rivers through snowmelt. Despitethe importance of snow in HMA, considerable spatiotemporal uncertainty exists across the different estimates of snow water equivalent for this region. In order to better estimate snow water equivalent, radiative transfer models are often used in conjunction with microwave brightness temperature measurements. In this study, the efficacy of support vector machines (SVMs), a machine learning technique, to predict passive microwave brightness temperature spectral difference (1Tb) as a function of geophysical variables (snow water equivalent, snow depth, snow temperature, and snow density) is explored through a sensitivity analysis. The use of machine learning (as opposed to radiative transfer models) is a relatively new and novel approach for improving snow water equivalent estimates. The Noah-MP land surface model within the NASALand Information System framework is used to simulate the hydrologic cycle over HMA and model geophysical variables that are then used for SVM training. The SVMsserve as a nonlinear map between the geophysical space (modeled in Noah-MP) andthe observation space (1Tb as measured by the radiometer). Advanced MicrowaveScanning Radiometer-Earth Observing System measured passive microwave brightness temperatures over snow-covered locations in the HMA region are used as training data during the SVM training phase. Sensitivity of well-trained SVMs to each Noah-MP modeled state variable is assessed by computing normalized sensitivity coefficients. Sensitivity analysis results generally conform with the known first-order physics. Input states that increase volume scattering of microwave radiation, such as snow density and snow water equivalent, exhibit a plurality of positive normalized sensitivity coefficients. In general, snow temperature was the most sensitive input to the SVM predictions. The sensitivity of each state is location and time dependent. The signs of normalized sensitivity coefficients that indicate physical irrationality are ascribed to significant cross-correlation between Noah-MP simulated states and decreased SVM prediction capability at specific locations due to insufficient training data. SVM prediction pitfalls do exist that serve to highlight the limitations of this particular machine learning algorithm.

high mountain Asia↗

NASA NTRSDate not supplied

3D Phase-Field Simulations of Pattern Formation During Freeze Casting

We present the results of a combined experimental and phase-field modeling study of pattern formation during freeze casting. Those studies use unidirectional freezing of simple binary liquid mixtures of water and sugars (sucrose and trehalose) in a temperature gradient, which suffice to produce hierarchical templated structures similar to those observed in more complex multi-component freeze-cast systems including lamellae, undulated ridges, and more exotic “jellyfish-like” substructures. Multiscale 3D phase-field simulations reproduce remarkably well those structures quantitatively and identify key properties of the ice-water interface that control their formation. They further reveal that lamellae form as a result of a novel symmetry-breaking secondary instability of partially faceted cellular structures and pinpoint additional secondary instability mechanisms giving rise to smaller-scale substructures.

Kaihua Ji↗

NASA NTRSDate not supplied

3D Phase-Field Simulations of Pattern Formation During Freeze Casting

Kaihua Ji↗

NASA NTRS1994

Simulated ASTER data for Geologic Studies

The Advanced Spaceborne Thermal Emission and Reflectance Radiometer (ASTER) is a high spatial resolution imaging instrument, due to be launched on NASA's Earth Observing System AM-1 satellite platform in 1998. ASTER acquires data in 14 bands, spanning the wavelength region from the visible, near infrared, short wavelength infrared, and thermal infrared, with spatial resolution varying from 15 m to 90 m, depending on wavelength region. In order to evaluate our ability to use ASTER data for geological mapping, we used aircraft data over Cuprite, Nevada to create a simulated 14-band ASTER data set. The study site has sparse vegetation, and exposes a wide range of unaltered and hydrothermally altered volcanic rocks. The wide range of wavelengths covered by ASTER allowed us to recognize or separate iron oxide minerals, clay-bearing minerals, sulfate minerals, ammonia minerals, siliceous rocks, and carbonates. Combined with laboratory spectral measurements, we were able to identify these constituents. Based on both sets of information, we produced an alteration map showing the distribution of argillized rocks, opalized rocks with alunite, silicified rocks, and areas dominated by kaolinite and buddingtonite. The map was as accurate as published maps made by traditional field methods. ASTER promises to be a major improvement over existing satellite systems for geologic mapping.

Advanced↗

NASA NTRS1999

Modeling the Performance of Direct-Detection Doppler Lidar Systems in Real Atmospheres

Previous modeling of the performance of spaceborne direct-detection Doppler lidar systems has assumed extremely idealized atmospheric models. Here we develop a technique for modeling the performance of these systems in a more realistic atmosphere, based on actual airborne lidar observations. The resulting atmospheric model contains cloud and aerosol variability that is absent in other simulations of spaceborne Doppler lidar instruments. To produce a realistic simulation of daytime performance, we include solar radiance values that are based on actual measurements and are allowed to vary as the viewing scene changes. Simulations are performed for two types of direct-detection Doppler lidar systems: the double-edge and the multi-channel techniques. Both systems were optimized to measure winds from Rayleigh backscatter at 355 nm. Simulations show that the measurement uncertainty during daytime is degraded by only about 10-20% compared to nighttime performance, provided a proper solar filter is included in the instrument design.

McGill, Matthew J.↗

NASA NTRS2000

Numerical Simulation of Aircraft Trailing Vortices

The increase in air traffic is currently outpacing the development of new airport runways. This is leading to greater air traffic congestion, resulting in costly delays and cancellations. The National Aeronautics and Space Administration (NASA) under its Terminal Area Productivity (TAP) program is investigating new technologies that will allow increased airport capacity while maintaining the present standards for safety. As an element of this program, the Aircraft Vortex Spacing System (AVOSS) is being demonstrated in July 2000, at Dallas Ft-Worth Airport. This system allows reduced aircraft separations, thus increasing the arrival and departure rates, while insuring that wake vortices from a leading aircraft do not endanger trailing aircraft. The system uses predictions or wake vortex position and strength based on input from the current weather state. This prediction is accomplished by a semi-empirical model developed from theory, field observations, and relationships derived from numerical wake vortex simulations. Numerical experiments with a Large Eddy Simulation (LES) model are being conducted in order to provide guidance for the enhancement of these prediction algorithms. The LES Simulations of wake vortices are carried out with NASA's Terminal Area Simulation System (TASS). Previous wake vortex investigations with TASS are described. The primary objective of these numerical studies has been to quantify vortex transport and decay in relation to atmospheric variables. This paper summarizes many of the previous investigations with the TASS model and presents some new results regarding the onset of wake vortex decay.

Proctor, Fred H.↗

NASA NTRS2011

Overview of NASA's Carbon Monitoring System Flux-Pilot Project

NASA's space-based observations of physical, chemical and biological parameters in the Earth System along with state-of-the-art modeling capabilities provide unique capabilities for analyses of the carbon cycle. The Carbon Monitoring System is developing an exploratory framework for detecting carbon in the environment and its changes, with a view towards contributing to national and international monitoring activities. The Flux-Pilot Project aims to provide a unified view of land-atmosphere and ocean-atmosphere carbon exchange, using observation-constrained models. Central to the project is the application of NASA's satellite observations (especially MODIS), the ACOS retrievals of the JAXA-GOSAT observations, and the "MERRA" meteorological reanalysis produced with GEOS-S. With a primary objective of estimating uncertainty in computed fluxes, two land- and two ocean-systems are run for 2009-2010 and compared with existing flux estimates. An transport model is used to evaluate simulated CO2 concentrations with in-situ and space-based observations, in order to assess the realism of the fluxes and how uncertainties in fluxes propagate into atmospheric concentrations that can be more readily evaluated. Finally, the atmospheric partial CO2 columns observed from space are inverted to give new estimates of surface fluxes, which are evaluated using the bottom-up estimates and independent datasets. The focus of this presentation will be on the science goals and current achievements of the pilot project, with emphasis on how policy-relevant questions help focus the scientific direction. Examples include the issue of what spatio-temporal resolution of fluxes can be detected from polar-orbiting satellites and whether it is possible to use space-based observations to separate contributions to atmospheric concentrations of (say) fossil-fuel and biological activity

Pawson, Steven↗

NASA NTRS2018

The OpenSE Cookbook: A Practical, Recipe Based Collection of Patterns, Procedures, and Best Practices for Executable Systems Engineering for the Thirty Meter Telescope

The OpenSE Cookbook is an open-sourced collection of patterns, procedures, and best practices targeted for systems engineers who seek guidance on applying model-based and executable systems engineering (MBSE) using SysML. Its content has emerged from the system level modeling effort on the European Framework Program 6 (FP6) and the Thirty Meter Telescope (TMT). The TMT MBSE approach applied the Executable Systems Engineering Method (ESEM) and the open-source Engineering Environment (OpenMBEE) to specify, analyze, and verify requirements of TMT’s Alignment and Phasing System (APS) and the Narrow Field Infrared Adaptive Optics System (NFIRAOS). In these applications, implicit dependencies are made explicit in a formal model through the use of ESEM, OpenMBEE, and SysML modeling constructs. The value proposition for applying this MBSE approach was to establish precise requirements and fine-grained traceability to system designs, and to verify key requirements beginning early in development. The integration of ESEM and the OpenMBEE tooling infrastructure (providing linked-data and web-operability) is a significant added value for the MBSE approach. The APS is responsible for the overall pre-adaptive optics wavefront quality, using starlight to measure wavefront errors and align the TMT optics. In the formally integrated and executable SysML model, simulations are performed to analyze the impact of changed requirements and verify specified constraints for various operational scenarios. The APS team used several modeling patterns to capture information such as the requirements, the operational scenarios, involved subsystems and their interaction points, the estimated or required time durations, and the mass and power consumption. Adaptive optics systems are designed to sense real-time atmospheric turbulence and correct the telescope’s optical beam to remove its effect. The system model for the adaptive optics operational modes was developed to capture sequence behaviors and operational scenarios to run Monte-Carlo simulations for verifying acquisition time, observing efficiency, and operational behavior requirements. The model is particularly useful for investigating the effect of parallelization, identifying interface issues, and re-ordering sequence acquisition tasks. A former version of the Cookbook (which is now updated to MBSE challenges, goals, and lessons learned) included modeling guidelines and conventions for all system aspects, hierarchy levels, and views, which were developed during for the Active Phasing Experiment (APE), an opto-mechatronical system technology demonstrator for the Extremely Large Telescope (ELT). The Cookbook utilizes the above mentioned system models as real-world case-studies to demonstrate and document the applications of the recipes, providing also instructional examples and addressing the available tooling support. The Cookbook is accompanied by a number of SysML models and aodel libraries which facilitate model authoring and maintenance. The Cookbook covers the different aspects of Systems Engineering such as management of Requirements, Design (behavior and structure), Interfaces, Interdisciplinary Integration, Analysis, Trade Studies, and Technical Resources. This paper presents the background, motivation, architecture, and highlights some key content of the Cookbook. For example, interface management, error budget management, requirements verification, Monte Carlo driven analysis, and timing analysis of operational scenarios. The paper discusses how the capabilities of OpenMBEE contributed significantly to the adoption of executable systems engineering.

Brower, Eric↗