Search NASA⌕ Search

SEARCH · Search NASA

Results for “source feedback”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

The Influence of Ozone Precursor Emissions from Four World Regions on Tropospheric Composition and Radiative Climate Forcing

Ozone (O3) precursor emissions influence regional and global climate and air quality through changes in tropospheric O3 and oxidants, which also influence methane (CH4) and sulfate aerosols (SO4 (sup 2-)). We examine changes in the tropospheric composition of O3, CH4, SO4 (sup 2-) and global net radiative forcing (RF) for 20% reductions in global CH4 burden and in anthropogenic O3 precursor emissions (NOx, NMVOC, and CO) from four regions (East Asia, Europe and Northern Africa, North America, and South Asia) using the Task Force on Hemispheric Transport of Air Pollution Source-Receptor global chemical transport model (CTM) simulations, assessing uncertainty (mean plus or minus 1 standard deviation) across multiple CTMs. We evaluate steady state O3 responses, including long-term feedbacks via CH4. With a radiative transfer model that includes greenhouse gases and the aerosol direct effect, we find that regional NOx reductions produce global, annually averaged positive net RFs (0.2 plus or minus 0.6 to 1.7 2 mWm(sup -2)/Tg N yr(sup -1), with some variation among models. Negative net RFs result from reductions in global CH4 (-162.6 plus or minus 2 mWm(sup -2) for a change from 1760 to 1408 ppbv CH4) and regional NMVOC (-0.4 plus or minus 0.2 to 0.7 plus or minus 0.2 mWm(sup -2)/Tg C yr(sup -1) and CO emissions (-0.13 plus or minus 0.02 to -0.15 plus or minus 0.02 mWm(sup-2)/Tg CO yr(sup-1). Including the effect of O3 on CO2 uptake by vegetation likely makes these net RFs more negative by -1.9 to- 5.2 mWm(sup -2)/Tg N yr(sup -1), -0.2 to -0.7 mWm(sup -2)/Tg C yr(sup -1), and -0.02 to -0.05 mWm(sup -2)/ Tg CO yr(sup -1). Net RF impacts reflect the distribution of concentration changes, where RF is affected locally by changes in SO4 (sup -2), regionally to hemispherically by O3, and globally by CH4. Global annual average SO4 2 responses to oxidant changes range from 0.4 plus or minus 2.6 to -1.9 plus or minus 1.3 Gg for NOx reductions, 0.1 plus or minus 1.2 to -0.9 plus or minus 0.8 Gg for NMVOC reductions, and -0.09 plus or minus 0.5 to -0.9 plus or minus 0.8 Gg for CO reductions, suggesting additional research is needed. The 100-year global warming potentials (GWP(sub 100)) are calculated for the global CH4 reduction (20.9 plus or minus 3.7 without stratospheric O3 or water vapor, 24.2 plus or minus 4.2 including those components), and for the regional NOx, NMVOC, and CO reductions (18.7 plus or minus 25.9 to 1.9 plus or minus 8.7 for NOx, 4.8 plus or minus 1.7 to 8.3 plus or minus 1.9 for NMVOC, and 1.5 plus or minus 0.4 to 1.7 plus or minus 0.5 for CO). Variation in GWP(sub 100) for NOx, NMVOC, and CO suggests that regionally specific GWPs may be necessary and could support the inclusion of O3 precursors in future policies that address air quality and climate change simultaneously. Both global net RF and GWP100 are more sensitive to NOx and NMVOC reductions from South Asia than the other three regions.

ozone↗
NASA NTRSDate not supplied

Dynamical and Trace Gas Responses of the Quasi-Biennial Oscillation to Historical and Future Climate Change

The Quasi-Biennial Oscillation (QBO) dominates the variability of the tropical stratosphere. The QBO can be seen in stratospheric zonal wind, temperature, and composition, but it also has a number of teleconnections—including to the polar vortices, extratropical surface winter climate, and the Madden-Julian Oscillation. Thus, its future trends will have a signature on the surface. Recent multi-model investigations (Richter et al. 2019, Butchart et al. 2020) suggest that a weakening of the QBO amplitude is very likely, but changes to QBO period and stability remain unclear, due in part to its highly parameterized nature. We investigate these aspects using multiple configurations of the NASA Goddard Institute for Space Studies Model E2.2 (Rind et al., 2020; Orbe et al. 2020). As a high-top model with gravity wave drag partly sourced from (parameterized) convection, Model E2.2 includes key pathways for climate forcings to influence the QBO. Overall, both the period and amplitude decrease in response to increased CO2, with convection feedbacks critical for the period response, and ozone feedbacks enhancing the amplitude response. We use these results to interpret QBO trends in the historical and SSP integrations. Lastly, we examine the effect of volcanic eruptions on the QBO

Quasi-Biennial Oscillation↗
NASA NTRS2004

Laboratory Astrophysics using a Microcalorimeter and Bragg Crystal Spectrometer on an Electron Beam Ion Trap

When we last reported, our new microcalorimeter system was being prepared for delivery and permanent installation at the NIST EBIT. This occurred in June 2003 and check-out with the internal calibration source and EBIT plasma x-rays took place over the next several months during which time we modified several component parts to improve the performance. These changes included: 1) A redesign of the x-ray calibration source from a direct electron impact source to one that irradiates the microcalorimeter with fluorescent x-rays. The resulting calibration lines are free of bremsstrahlung background; 2) The microcalorimeter electronic circuit has been significantly improved to ensure long-term stability for the lengthy upcoming runs of the EBIT. Both the preamplifier feedback resistors were changed and the first stage of the preamplifier redesigned. Several photos of the new system are shown in slides 3 and 4. This microcalorimeter spectrometer only requires helium refills every three days (as opposed to every 24 hours in our earlier system) and it will hold a temperature of 65 mK for up to 48 hours (as opposed to 8 hours). Consequently, the efficiency of data acquisition will improve dramatically. The first x-ray spectra of the new calibration source made with the 4-element detector array is shown. An example of the temperature control capabilities of the ADR for a 23 hour interval is shown. The horizontal line shows the temperature stability (about +/- 3 micro kelvin). There are a few short-lived heating excursions caused by technical staff working on the EBIT machine simultaneously. During actual experimental runs these are absent. This temporal profile was interrupted to test additional components of the system; otherwise, the temperature controlling would have continued for another 24 hours.

Silver, Eric↗
NASA NTRS1994

Reionization in a cold dark matter universe: The feedback of galaxy formation on the intergalactic medium

We study the coupled evolution of the intergalactic medium (IGM) and the emerging structure in the universe in the context of the cold dark matter (CDM) model, with a special focus on the consequences of imposing reionization and the Gunn-Peterson constraint as a boundary condition on the model. We have calculated the time-varying density of the IGM by coupling our detailed, numerical calculations of the thermal and ionization balance and radiative transfer in a uniform, spatially averaged IGM of H and He, including the mean opacity of an evolving distribution of gas clumps which correspond to quasar absorption line clouds, to the linearized equations for the growth of density fluctuations in both the gaseous and dark matter components in a CDM universe. We use the linear growth equations to identify the fraction of the gas which must have collapsed out at each epoch, an approach similar in spirit to the so-called Press-Schechter formalism. We identify the IGM density with the uncollapsed baryon fraction. The collapsed fraction is postulated to be a source of energy injection into the IGM, by radiation or bulk hydrodynamical heating (e.g., via shocks) or both, at a rate which is marginally enough to satisfy the Gunn-Peterson constraint at z less than 5. Our results include the following: (1) We find that the IGM in a CDM model must have contained a substantial fraction of the total baryon density of the universe both during and after its reionization epoch. (2) As a result, our previous conclusion that the observed Quasi-Stellar Objects (QSOs) at high redshift are not sufficient to ionize the IGM enough to satisfy the Gunn-Peterson constraint is confirmed. (3) We predict a detectable He II Gunn-Peterson effect at 304(1 + z) A in the spectra of quasars at a range of redshift z greater than or approx. 3, depending on the nature of the sources of IGM reionization. (4) We find, moreover, that a CDM model with high bias parameter b (i.e., b greater than or approx. 2) cannot account for the baryon content of the universe at z approximately 3 observed in quasar absorption line gas unless Omega (sub B) significantly exceeds the maximum value allowed by big bang nucleocynthesis. (5) For a CDM model with bias parameter within the allowed range of (lower) values, the lower limit to Omega(sub B) imposed by big bang nucleosynthesis (Omega(sub B) h(sup 2) greater than or equal to 0.01) combines with our results to yield the minimum IGM density for the CDM fodel. For CDM with b = 1 (Cosmic Background Explorer (COBE) normalization), we find Omega(sub IGM)(sup min) (z approximately 4) approx. equal 0.02-0.03, and Omega(sub IGM)(sup min)(z approximately 0) approx. equal 0.005-0.03, depending upon the nature of the sources of IGM reionization. (6) In general, we find that self-consistent reionization of the IGM by the collapsed baryon fraction has a strong effect on the rate of collapse. (7) As a further example, we show that the feedback effect on the IGM of energy release by the collapsed baryon fraction may explain the slow evolution of the observed comoving QSO number density between z = 5 and z = 2, followed by the sharp decline after z = 2.

Shapiro, Paul R.↗
NASA NTRS2015

Inconsistent Strategies to Spin up Models in CMIP5: Implications for Ocean Biogeochemical Model Performance Assessment

During the fifth phase of the Coupled Model Intercomparison Project (CMIP5) substantial efforts were made to systematically assess the skill of Earth system models. One goal was to check how realistically representative marine biogeochemical tracer distributions could be reproduced by models. In routine assessments model historical hindcasts were compared with available modern biogeochemical observations. However, these assessments considered neither how close modeled biogeochemical reservoirs were to equilibrium nor the sensitivity of model performance to initial conditions or to the spin-up protocols. Here, we explore how the large diversity in spin-up protocols used for marine biogeochemistry in CMIP5 Earth system models (ESMs) contributes to model-to-model differences in the simulated fields. We take advantage of a 500-year spin-up simulation of IPSL-CM5A-LR to quantify the influence of the spin-up protocol on model ability to reproduce relevant data fields. Amplification of biases in selected biogeochemical fields (O2, NO3, Alk-DIC) is assessed as a function of spin-up duration. We demonstrate that a relationship between spin-up duration and assessment metrics emerges from our model results and holds when confronted with a larger ensemble of CMIP5 models. This shows that drift has implications for performance assessment in addition to possibly aliasing estimates of climate change impact. Our study suggests that differences in spin-up protocols could explain a substantial part of model disparities, constituting a source of model-to- model uncertainty. This requires more attention in future model intercomparison exercises in order to provide quantitatively more correct ESM results on marine biogeochemistry and carbon cycle feedbacks.

histories↗
NASA NTRS2007

General Mission Analysis Tool (GMAT) Architectural Specification. Draft

Early in 2002, Goddard Space Flight Center (GSFC) began to identify requirements for the flight dynamics software needed to fly upcoming missions that use formations of spacecraft to collect data. These requirements ranged from low level modeling features to large scale interoperability requirements. In 2003 we began work on a system designed to meet these requirement; this system is GMAT. The General Mission Analysis Tool (GMAT) is a general purpose flight dynamics modeling tool built on open source principles. The GMAT code is written in C++, and uses modern C++ constructs extensively. GMAT can be run through either a fully functional Graphical User Interface (GUI) or as a command line program with minimal user feedback. The system is built and runs on Microsoft Windows, Linux, and Macintosh OS X platforms. The GMAT GUI is written using wxWidgets, a cross platform library of components that streamlines the development and extension of the user interface Flight dynamics modeling is performed in GMAT by building components that represent the players in the analysis problem that is being modeled. These components interact through the sequential execution of instructions, embodied in the GMAT Mission Sequence. A typical Mission Sequence will model the trajectories of a set of spacecraft evolving over time, calculating relevant parameters during this propagation, and maneuvering individual spacecraft to maintain a set of mission constraints as established by the mission analyst. All of the elements used in GMAT for mission analysis can be viewed in the GMAT GUI or through a custom scripting language. Analysis problems modeled in GMAT are saved as script files, and these files can be read into GMAT. When a script is read into the GMAT GUI, the corresponding user interface elements are constructed in the GMAT GUI. The GMAT system was developed from the ground up to run in a platform agnostic environment. The source code compiles on numerous different platforms, and is regularly exercised running on Windows, Linux and Macintosh computers by the development and analysis teams working on the project. The system can be run using either a graphical user interface, written using the open source wxWidgets framework, or from a text console. The GMAT source code was written using open source tools. GSFC has released the code using the NASA open source license.

Hughes, Steven P.↗
NASA NTRS1973

Advanced Thermal Control Flight Experiment.

The advanced Thermal Control Flight Experiment on the Applications Technology Satellite (ATS-F) will evaluate, for the first time in a space environment, the performance of a feedback-controlled variable conductance heat pipe and a heat pipe thermal diode. In addition, the temperature control aspects of a phase-change material (PCM) will be demonstrated. The methanol/stainless steel feedback-controlled heat pipe uses helium control gas that is stored in a wicked reservoir. This reservoir is electrically heated through a solid state controller that senses the temperature of the heat source directly. The ammonia/stainless steel diode heat pipe uses excess liquid to block heat transfer in the reverse direction. The PCM is octadecane. Design tradeoffs, fabrication problems, and performance during qualification and flight acceptance tests are discussed.

Kirkpatrick, J. P.↗
NASA NTRS1976

Waves in active and passive periodic structures - A review

The theory and recent applications of waves in periodic structures are reviewed. Both the Floquet and coupled waves approach are analyzed in some detail. The theoretical part of the paper includes wave propagation in unbounded and bounded active or passive periodic media, wave scattering from periodic boundaries, source radiation (dipole, Cerenkov, transition, and Smith-Purcell) in periodic media, and pulse transmission through a periodic slab. The applications part covers the recent development in a variety of fields: distributed feedback oscillators, filters, mode converters, couplers, second-harmonic generators, deflectors, modulators, and transducers in the fields of integrated optics and integrated surface acoustics. Work on insect compound eyes, mechanical structures, ocean waves, pulse compressions, temperature waves, and cholesteric liquid crystals, and particles interaction with crystals is briefly reviewed, especially in the case of zeolite crystals and superlattices. Recent advances in fabrication techniques for very fine gratings are also covered.

Elachi, C.↗
NASA NTRS2008

How Very Massive Metal-Free Stars Start Cosmological Reionization

The initial conditions and relevant physics for the formation of the earliest galaxies are well specified in the concordance cosmology. Using ab initio cosmological Eulerian adaptive mesh refinement radiation hydrodynamical calculations, we discuss how very massive stars start the process of cosmological reionization. The models include nonequilibrium primordial gas chemistry and cooling processes and accurate radiation transport in the case B approximation using adaptively ray-traced photon packages, retaining the time derivative in the transport equation. Supernova feedback is modeled by thermal explosions triggered at parsec scales. All calculations resolve the local Jeans length by at least 16 grid cells at all times and as such cover a spatial dynamic range of approx.10(exp 6). These first sources of reionization are highly intermittent and anisotropic and first photoionize the small-scale voids surrounding the halos they form in, rather than the dense filaments they are embedded in. As the merging objects form larger, dwarf-sized galaxies, the escape fraction of UV radiation decreases and the H II regions only break out on some sides of the galaxies, making them even more anisotropic. In three cases, SN blast waves induce star formation in overdense regions that were formed earlier from ionization front instabilities. These stars form tens of parsecs away from the center of their parent DM halo. Approximately five ionizing photons are needed per sustained ionization when star formation in 10(exp 6) stellar Mass halos is dominant in the calculation. As the halos become larger than approx.10(exp 7) Stellar Mass, the ionizing photon escape fraction decreases, which in turn increases the number of photons per ionization to 15-50, in calculations with stellar feedback only. Radiative feedback decreases clumping factors by 25% when compared to simulations without star formation and increases the average temperature of ionized gas to values between 3000 and 10,000 K.

Wise, John H.↗
NASA NTRSDate not supplied

Enabling Space Biological Knowledge Discovery Through Image and Video Data Sharing

Increased biomedical risks associated with deep space crewed missions (cis-Lunar, Mars transit/surface) require development of health countermeasures, novel ecosystem support, risk modeling, and fundamental space biological knowledge discovery. Molecular-omics, physiological-phenotypic-behavioral, and environmental-radiation telemetry data from space biological and health studies are needed for reuse by scientists to address these tasks. The data as well as space-relevant biospecimens are being made more findable, accessible, interoperable, and reusable through NASA’s Open Science Data Repository (OSDR). This new OSDR umbrella grouping includes NASA GeneLab, the NASA Ames Life Sciences Data Archive (ALSDA), and the NASA Biological Institutional Scientific Collection. The OSDR system design appropriately handles metadata and processed-tabular results from ALSDA studies collected from space experiments. But raw and processed ALSDA bioimage and video datasets require an expansion of OSDR’s data architecture to handle ingestion, curation, and egress. The academic-industry bioimaging field saw a scientific renaissance in the past several years through leveraging open-source software, international collaborations, machine learning, and other open science/programming approaches. As crewed missions and more biological experiments are on the deep space horizon, OSDR is embracing data stewardship through listening to feedback from subject matter experts and designing an expanded architecture which is appropriate for NASA’s goals to enable analysis and reuse of bioimaging and video data for the public science community.Discovery Through Image and Video Data Sharing

space biology↗
NASA NTRS1994

An efficient system for reliably transmitting image and video data over low bit rate noisy channels

This research project is intended to develop an efficient system for reliably transmitting image and video data over low bit rate noisy channels. The basic ideas behind the proposed approach are the following: employ statistical-based image modeling to facilitate pre- and post-processing and error detection, use spare redundancy that the source compression did not remove to add robustness, and implement coded modulation to improve bandwidth efficiency and noise rejection. Over the last six months, progress has been made on various aspects of the project. Through our studies of the integrated system, a list-based iterative Trellis decoder has been developed. The decoder accepts feedback from a post-processor which can detect channel errors in the reconstructed image. The error detection is based on the Huber Markov random field image model for the compressed image. The compression scheme used here is that of JPEG (Joint Photographic Experts Group). Experiments were performed and the results are quite encouraging. The principal ideas here are extendable to other compression techniques. In addition, research was also performed on unequal error protection channel coding, subband vector quantization as a means of source coding, and post processing for reducing coding artifacts. Our studies on unequal error protection (UEP) coding for image transmission focused on examining the properties of the UEP capabilities of convolutional codes. The investigation of subband vector quantization employed a wavelet transform with special emphasis on exploiting interband redundancy. The outcome of this investigation included the development of three algorithms for subband vector quantization. The reduction of transform coding artifacts was studied with the aid of a non-Gaussian Markov random field model. This results in improved image decompression. These studies are summarized and the technical papers included in the appendices.

Costello, Daniel J., Jr.↗
NASA NTRS1987

High energy efficient solid state laser sources

Investigations continue of diode-laser-pumped solid-state laser oscillators and nonlinear processes using them as sources. Diode laser array pumped Nd:YAG and Nd:glass lasers have been demonstrated. Theoretical studies of non-planar oscillators have been advanced, producing new designs which should be more resistant to feedback and offer better frequency stability. A monolithic, singly resonant Optical Parametric Oscillator in MgO:LiNbO3 has been operated.

Byer, Robert L.↗
NASA NTRS2011

Global Precipitation Measurement: Methods, Datasets and Applications

This paper reviews the many aspects of precipitation measurement that are relevant to providing an accurate global assessment of this important environmental parameter. Methods discussed include ground data, satellite estimates and numerical models. First, the methods for measuring, estimating, and modeling precipitation are discussed. Then, the most relevant datasets gathering precipitation information from those three sources are presented. The third part of the paper illustrates a number of the many applications of those measurements and databases. The aim of the paper is to organize the many links and feedbacks between precipitation measurement, estimation and modeling, indicating the uncertainties and limitations of each technique in order to identify areas requiring further attention, and to show the limits within which datasets can be used.

Global Climate Models (GCM)↗
NASA NTRS2020

UAM Vision Concept of Operations (ConOps) UAM Maturity Level (UML) 4

This Vision ConOps is intended as a foundation to engage members of the UAM community and provide a consensus on the future vision of UAM operations. It provides a concept for more detailed discussion and a basis for the exploration of ideas using a common framework to inform the continued development and integration of UAM as part of the broader transportation system. Advanced Air Mobility (AAM) encompasses a range of innovative aviation technologies (small drones, electric aircraft, automated air traffic management, etc.) that are transforming aviation’s role in everyday life, including the movement of goods and people. Urban Air Mobility (UAM) represents one of the most exciting and complex AAM concepts with highly automated aircraft, providing commercial services to the public over densely populated cities. This concept has generated tremendous interest and industry investment. UAM envisages a future in which advanced technologies and new operational procedures enable practical, cost-effective air travel as an integral mode of transportation in metropolitan areas. It represents one of the most exciting and complex AAM concepts with highly automated aircraft providing commercial services to the public over densely populated cities. For this reason, the National Aeronautics and Space Administration (NASA) selected UAM as the initial goal of its AAM efforts and the focus of this Vision Concept of Operations (ConOps) document. UAM Community Vision ConOps: This Vision ConOps effort was led by experts from NASA’s Aeronautics Research Mission Directorate (ARMD) in collaboration with the Federal Aviation Administration (FAA) and Deloitte’s Ecosystem Advisory Group (a cohort of advisers with aviation, aerospace, and regulatory expertise). To develop this Vision ConOps, NASA, FAA, and Deloitte built upon the current body of aeronautical research and consulted with more than 100 stakeholder organizations. This UAM community includes entities ranging from legacy aviation leaders to innovators and new market entrants. Stakeholders consulted included the federal government, state and local government, aerospace original equipment manufacturers (OEMs), local transportation organizations, prospective UAM operators, academia, industry standards-setting bodies, airports, service suppliers, and others (as described in Appendix G). This input was captured through the following methods: • A series of more than two dozen interviews with industry experts, federal regulators, state and local governments, and industry trade groups provided insight into the challenges of UAM integration into the National Airspace System (NAS), as well as technology developments and a variety of perspectives as to how UAM systems will integrate. • A series of two-day community workshops enabling active, detailed engagement of nearly 100 industry, academic, federal, and state stakeholder individuals. These workshops, hosted by NASA and Deloitte, explored UAM concepts in detail, and stakeholders were invited to collaboratively analyze and propose solutions to some of the greatest conceptual challenges behind UAM at an intermediate state. • A review of more than 160 sources of UAM literature from across government, industry, and academia, which are listed in Appendix H. • The public sharing of workshop input and document drafts for review and input across the UAM community. Feedback in the form of more than 1,000 comments and inputs on the document was received from industry groups, individual companies, academia, and government (federal, state, and local), among others. Although effort was made to incorporate inputs from across the UAM stakeholder group, not all comments could ultimately be incorporated in this version. The team resolved conflicting comments or ideas while maintaining consistency with the known direction of regulators and ensuring the document was coherent and consistent. It is recognized that this is a rapidly evolving area and that concepts will likely change over time; as such, this Vision ConOps is a living document and is expected to evolve as concepts mature. The ConOps does, however, provide a vision of UAM concepts and solutions based on the broad insights from across the UAM stakeholder community at the time of its publication and is intended to serve as a UAM North Star for continued research and development of UAM. As a broad Vision ConOps, is not a detailed engineering document; rather, it focuses primarily on outlining a broad, high-level vision across all aspects of a UAM transportation system.

Urban Air Mobility↗
NASA NTRS2012

Intelligent Systems Approach for Automated Identification of Individual Control Behavior of a Human Operator

Results have been obtained using conventional techniques to model the generic human operator?s control behavior, however little research has been done to identify an individual based on control behavior. The hypothesis investigated is that different operators exhibit different control behavior when performing a given control task. Two enhancements to existing human operator models, which allow personalization of the modeled control behavior, are presented. One enhancement accounts for the testing control signals, which are introduced by an operator for more accurate control of the system and/or to adjust the control strategy. This uses the Artificial Neural Network which can be fine-tuned to model the testing control. Another enhancement takes the form of an equiripple filter which conditions the control system power spectrum. A novel automated parameter identification technique was developed to facilitate the identification process of the parameters of the selected models. This utilizes a Genetic Algorithm based optimization engine called the Bit-Climbing Algorithm. Enhancements were validated using experimental data obtained from three different sources: the Manual Control Laboratory software experiments, Unmanned Aerial Vehicle simulation, and NASA Langley Research Center Visual Motion Simulator studies. This manuscript also addresses applying human operator models to evaluate the effectiveness of motion feedback when simulating actual pilot control behavior in a flight simulator.

Zaychik, Kirill B.↗
NASA NTRS2020

Bridging the Gap Between Requirements and Simulink Model Analysis

Formal verification and simulation are powerful tools for the verification of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural language. There is a gap between such requirements and their software implementations.We present a framework that bridges this gap by supporting a tight integration and feedback loop between high-level requirements and their analysis against software artifacts. Our framework implements an analysis portal within the fret requirements elicitation tool, thus forming an end-to-end, open-source environment where requirements are written in an intuitive, structured natural language, and are verified automatically against Simulink models.

Mavridou, Anastasia↗
NASA NTRSDate not supplied

Bridging the Gap Between Requirements and Simulink Model Analysis

Formal veri fication and simulation are powerful tools for the veri fication of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural language. There is a gap between such requirements and their software implementations. We present a framework that bridges this gap by supporting a tight integration and feedback loop between high-level requirements and their analysis against software artifacts. Our framework implements an analysis portal within the fret requirements elicitation tool, thus forming an end-to-end, open-source environment where requirements are written in an intuitive, structured natural language, and are veri fied automatically against Simulink models.

FRET↗
NASA NTRS2021

Half of global methane emissions come from highly variable aquatic ecosystem sources

Atmospheric methane is a potent greenhouse gas that plays a major role in controlling the Earth’s climate. The causes of the renewed increase of methane concentration since 2007 are uncertain given the multiple sources and complex biogeochemistry. Here, we present a metadata analysis of methane fluxes from all major natural, impacted and human-made aquatic ecosystems. Our revised bottom-up global aquatic methane emissions combine diffusive, ebullitive and/or plant-mediated fluxes from 15 aquatic ecosystems. We emphasize the high variability of methane fluxes within and between aquatic ecosystems and a positively skewed distribution of empirical data, making global estimates sensitive to statistical assumptions and sampling design. We find aquatic ecosystems contribute (median) 41% or (mean) 53% of total global methane emissions from anthropogenic and natural sources. We show that methane emissions increase from natural to impacted aquatic ecosystems and from coastal to freshwater ecosystems. We argue that aquatic emissions will probably increase due to urbanization, eutrophication and positive climate feedbacks and suggest changes in land-use management as potential mitigation strategies to reduce aquatic methane emissions.

aquatic ecosystem↗