Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Resource Size”

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 721 records · Page 40

EFRC-MUSE: Multi-Scale Fluid-Solid Interactions in Architected and Natural Materials

Phase interactions and fluid properties in geological and other environments are critical in applications ranging from hydrogen production and geologic storage and recovery, carbon dioxide storage and sequestration, and the sustainable use of water resources. The four goals of EFRC-MUSE: Multi-Scale Fluid-Solid Interactions in Architected and Natural Materials were based on the priority directions articulated in the Basic Research Needs documents, and the scientific needs in nanoscience. 1. Develop a fundamental understanding of confinement and surface interactions in mesoscale media with nanometer-sized pores on the phase behavior, thermodynamic and multiphase flow properties of multicomponent fluid mixtures. 2. Examine the impact of mineralogy and material heterogeneity on mechanical properties to better understand chemo-mechanical interactions in material failure. 3. Determine in-operando cross-scale structural and nanostructural material properties with fluids in confinement and flow under realistic condi

58 GEOSCIENCES↗

Characterization of spacecraft and environmental disturbances on a SmallSat

The objective of this study is to model the on-orbit vibration environment encountered by a SmallSat. Vibration control issues are common to the Earth observing, imaging, and microgravity communities. A spacecraft may contain dozens of support systems and instruments each a potential source of vibration. The quality of payload data depends on constraining vibration so that parasitic disturbances do not affect the payload's pointing or microgravity requirement. In practice, payloads are designed incorporating existing flight hardware in many cases with nonspecific vibration performance. Thus, for the development of a payload, designers require a thorough knowledge of existing mechanical devices and their associated disturbance levels. This study evaluates a SmallSat mission and seeks to answer basic questions concerning on-orbit vibration. Payloads were considered from the Earth observing, microgravity, and imaging communities. Candidate payload requirements were matched to spacecraft bus resources of present day SmallSats. From the set of candidate payloads, the representative payload GLAS (Geoscience Laser Altimeter System) was selected. The requirements of GLAS were considered very stringent for the 150 - 500 kg class of payloads. Once the payload was selected, a generic SmallSat was designed in order to accommodate the payload requirements (weight, size, power, etc.). This study seeks to characterize the on-orbit vibration environment of a SmallSat designed for this type of mission and to determine whether a SmallSat can provide the precision pointing and jitter control required for earth observing payloads.

Johnson, Thomas A.↗

The Effectiveness of TAG or Guard-Gates in SET Suppression Using Delay and Dual-Rail Configurations at 0.35 microns

Design options for decreasing the susceptibility of integrated circuits to Single Event Upset (SEU) fall into two categories: (1) increasing the critical charge to cause an upset at a particular node, and (2) employing redundancy to mask or correct errors. With decreasing device sizes on an Integrated Circuit (IC), the amount of charge required to represent a logic state has steadily reduced. Critical charge methods such as increasing drive strength or increasing the time required to change state as in capacitive or resistive hardening or delay based approaches extract a steadily increasing penalty as a percentage of device resources and performance. Dual redundancy is commonly assumed only to provide error detection with Triple Modular Redundancy (TMR) required for correction, but less well known methods employ dual redundancy to achieve full error correction by voting two inputs with a prior state to resolve ambiguity. This requires special circuits such as the Whitaker latch [1], or the guard-gate [2] which some of us have called a Transition AND Gate (TAG) [3]. A 2-input guard gate is shown in Figure 1. It is similar to a Muller Completion Element [4] and relies on capacitance at node "out" to retain the prior state when inputs disagree, while eliminating any output buffer which would be susceptible to radiation strikes. This paper experimentally compares delay based and dual rail flip-flop designs wherein both types of circuits employ guard-gates to optimize layout and performance, and draws conclusions about design criteria and suitability of each option. In both cases a design goal is protection against Single Event Transients (SET) in combinational logic as well as SEU in the storage elements. For the delay based design, it is also a goal to allow asynchronous clear or preset inputs on the storage elements, which are often not available in radiation tolerant designs.

Shuler, Robert L.↗

Evolution of a Reconfigurable Processing Platform for a Next Generation Space Software Defined Radio

The National Aeronautics and Space Administration (NASA)Harris Ka-Band Software Defined Radio (SDR) is the first, fully reprogrammable space-qualified SDR operating in the Ka-Band frequency range. Providing exceptionally higher data communication rates than previously possible, this SDR offers in-orbit reconfiguration, multi-waveform operation, and fast deployment due to its highly modular hardware and software architecture. Currently in operation on the International Space Station (ISS), this new paradigm of reconfigurable technology is enabling experimenters to investigate navigation and networking in the space environment.The modular SDR and the NASA developed Space Telecommunications Radio System (STRS) architecture standard are the basis for Harris reusable, digital signal processing space platform trademarked as AppSTAR. As a result, two new space radio products are a synthetic aperture radar payload and an Automatic Detection Surveillance Broadcast (ADS-B) receiver. In addition, Harris is currently developing many new products similar to the Ka-Band software defined radio for other applications. For NASAs next generation flight Ka-Band radio development, leveraging these advancements could lead to a more robust and more capable software defined radio.The space environment has special considerations different from terrestrial applications that must be considered for any system operated in space. Each space mission has unique requirements that can make these systems unique. These unique requirements can make products that are expensive and limited in reuse. Space systems put a premium on size, weight and power. A key trade is the amount of reconfigurability in a space system. The more reconfigurable the hardware platform, the easier it is to adapt to the platform to the next mission, and this reduces the amount of non-recurring engineering costs. However, the more reconfigurable platforms often use more spacecraft resources. Software has similar considerations to hardware. Having an architecture standard promotes reuse of software and firmware. Space platforms have limited processor capability, which makes the trade on the amount of amount of flexibility paramount.

Telecommunication↗

A System to Provide Deterministic Flight Software Operation and Maximize Multicore Processing Performance: The Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) Datapath

A method and design are described for a system that processes multiple data streams, utilizing a multicore asymmetric processing architecture, that eliminates data interrupts to the application processors. The design supports a deterministic environment for flight software in NASA’s Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) project. The SPLICE project develops sensor, algorithm, and compute technologies for Precision Landing and Hazard Avoidance (PL&HA) capabilities. The compute technology for SPLICE is the Descent and Landing Computer (DLC). The DLC hosts several SPLICE algorithms with high computational resource requirements that must be executed in a real-time and deterministic manner. The software runs on a custom Single Board Computer (SBC), with a Xilinx Ultrascale+ Multiprocessor System-on-a-Chip (MPSoC). Input data for the flight software is from a variety of sensors, unique with respect to data rate and packet size. A data path between the SPLICE sensors and algorithms is designed to efficiently deliver this data to the flight software using the MPSoC asymmetric processing cores and Field Programmable Gate Array (FPGA) fabric. This is implemented in a manner that isolates the application processors running the flight software from interrupts associated with the input data. By leveraging real-time processors on the MPSoC, and a structure with the appropriate interfaces in the shared memory on the SBC, the flight software can use the full set of application processors. The available utilization for each processor in this set is also maximized for the SPLICE applications, providing a sufficiently deterministic execution environment without the cost and overhead of a real-time operating system.

heterogeneous processing system↗

A System to Provide Deterministic Flight Software Operation and Maximize Multicore Processing Performance: The Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) Datapath

A method and design are described for a system that processes multiple data streams, utilizing a multicore asymmetric processing architecture, that eliminates data interrupts to the application processors. The design supports a deterministic environment for flight software in NASA’s Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) project. The SPLICE project develops sensor, algorithm, and compute technologies for Precision Landing and Hazard Avoidance (PL&HA) capabilities. The compute technology for SPLICE is the Descent and Landing Computer (DLC). The DLC hosts several SPLICE algorithms with high computational resource requirements that must be executed in a real-time and deterministic manner. The software runs on a custom Single Board Computer (SBC), with a Xilinx Ultrascale+ Multiprocessor System-on-a-Chip (MPSoC). Input data for the flight software is from a variety of sensors, unique with respect to data rate and packet size. A data path between the SPLICE sensors and algorithms is designed to efficiently deliver this data to the flight software using the MPSoC asymmetric processing cores and Field Programmable Gate Array (FPGA) fabric. This is implemented in a manner that isolates the application processors running the flight software from interrupts associated with the input data. By leveraging real-time processors on the MPSoC, and a structure with the appropriate interfaces in the shared memory on the SBC, the flight software can use the full set of application processors. The available utilization for each processor in this set is also maximized for the SPLICE applications, providing a sufficiently deterministic execution environment without the cost and overhead of a real-time operating system.

David K. Rutishauser↗

National Modeling of Geothermal District Energy Systems with Ambient-Temperature Loops Using dGeo: Preprint

Geothermal district energy systems (DES) with ambient-temperature loops, also known as thermal energy networks, are one option for decarbonizing space heating and cooling loads. Geothermal fifth-generation DES include an "ambient" temperature thermal loop that connects heat pumps at each building with thermal balancing sources such as geothermal borehole fields. Heating and cooling are provided via a water-source heat pump at each end-user. This project seeks to analyze the nationwide potential for ambient-temperature loop districts by creating a new module within the Distributed Geothermal Market Demand Model (dGeo). dGeo is an agent-based modeling tool for distributed geothermal resources; it can investigate potential on a nationwide or statewide scale using geospatial data for all 50 states and thermal demands for existing buildings. This process allows for high-level estimates of technical and economic potential for ambient-temperature loop districts across the United States. Using GHEDesigner, a lookup table was created to size borehole fields for different thermal loads and ground conditions experienced across the country. A cost and financing structure, along with incentives, were applied. Cost estimates include costs for the distribution network, borehole field installation and operation, and circulation pump operation, while savings are calculated based on agent energy bills. This newly developed module can be used for assessing which areas of the country have the highest potential for agent benefits from ambient-temperature loop installation and assess the impact of different costing and pricing future scenarios. While the code is still under development and nationwide simulations are ongoing, initial results for two states are provided. Future work includes expanding the module to consider mixed residential and commercial districts and considering multiple costing scenarios.

ambient temperature loop↗

National Modeling of Geothermal District Energy Systems with Ambient-Temperature Loops Using dGeo

Geothermal district energy systems (DES) with ambient-temperature loops, also known as thermal energy networks, are one option for decarbonizing space heating and cooling loads. Geothermal fifth-generation DES include an "ambient" temperature thermal loop that connects heat pumps at each building with thermal balancing sources such as geothermal borehole fields. Heating and cooling are provided via a water-source heat pump at each end-user. This project seeks to analyze the nationwide potential for ambient-temperature loop districts by creating a new module within the Distributed Geothermal Market Demand Model (dGeo). dGeo is an agent-based modeling tool for distributed geothermal resources; it can investigate potential on a nationwide or statewide scale using geospatial data for all 50 states and thermal demands for existing buildings. This process allows for high-level estimates of technical and economic potential for ambient-temperature loop districts across the United States. A lookup table was created using GHEDesigner to size borehole fields for different thermal loads and ground conditions experienced across the country. A cost and financing structure, along with incentives, were applied. Cost estimates include costs for the distribution network, borehole field installation and operation, and circulation pump operation, while savings are calculated based on energy bills for building owners (agents). This newly developed module can be used for assessing which areas of the country have the highest potential for agent benefits from ambient-temperature loop installation and assess the impact of future cost and price scenarios. Initial results for statewide analysis (for Vermont) and nationwide (for United States) are provided. Future work includes expanding the module to consider mixed residential and commercial districts as well as evaluating multiple cost scenarios.

ambient-temperature loop↗

National population mapping from sparse survey data: A hierarchical Bayesian modeling framework to account for uncertainty

Population estimates are critical for government services, development projects, and public health campaigns. Such data are typically obtained through a national population and housing census. However, population estimates can quickly become inaccurate in localized areas, particularly where migration or displacement has occurred. Some conflict-affected and resource-poor countries have not conducted a census in over 10 y. We developed a hierarchical Bayesian model to estimate population numbers in small areas based on enumeration data from sample areas and nationwide information about administrative boundaries, building locations, settlement types, and other factors related to population density. We demonstrated this model by estimating population sizes in every 10- m grid cell in Nigeria with national coverage. These gridded population estimates and areal population totals derived from them are accompanied by estimates of uncertainty based on Bayesian posterior probabilities. The model had an overall error rate of 67 people per hectare (mean of absolute residuals) or 43% (using scaled residuals) for predictions in out-of-sample survey areas (approximately 3 ha each), with increased precision expected for aggregated population totals in larger areas. This statistical approach represents a significant step toward estimating populations at high resolution with national coverage in the absence of a complete and recent census, while also providing reliable estimates of uncertainty to support informed decision making.

99 GENERAL AND MISCELLANEOUS↗

AI ATAC 1: An Evaluation of Prominent Commercial Malware Detectors

This work presents an evaluation of six prominent commercial endpoint malware detectors, a network malware detector, and a file-conviction algorithm from a cyber technology vendor. The evaluation was administered as the first of the Artificial I ntelligence Applications t o Autonomous Cybersecurity (AI ATAC) prize challenges, funded by / completed in service of the US Navy. The experiment employed 100K files (50/50% benign/malicious) with a stratified distribution of file types, including ~1K zero-day program executables (increasing experiment size two orders of magnitude over previous work). We present an evaluation process of delivering a file to a fresh virtual machine donning the detection technology, waiting 90s to allow static detection, then executing the file and waiting another period for dynamic detection; this allows greater fidelity in the observational data than previous experiments, in particular, resource and time-to-detection statistics. To execute all 800K trials (100K files × 8 tools), a software framework is designed to choreograph the experiment into an automated, time-synced, and reproducible workflow with substantial parallelization. Software with base classes for this framework are provided. A cost-benefit model was configured to integrate the tools’ detection statistics into a comparable quantity by simulating costs of use. This provides a ranking methodology for cyber competitions and a lens for reasoning about the varied statistical results. The results provide insights on state of commercial malware detection.

Bridges, Robert↗

Solar@Scale: A Local Government Guidebook for Improving Large-Scale Solar Development Outcomes (Third Edition)

The purpose of the Solar@Scale guidebook is to help local government practitioners—including planners, economic development professionals, local government managers, and elected and appointed officials—make decisions that improve large-scale solar development outcomes. Given the variation between state and regional contexts and priorities in the United States, the guidebook avoids a “one-size-fits-all” approach. Rather, users will need to apply the guidebook’s key points to the social, political, environmental, and economic situations in their community or the communities they serve. This guidebook contains eight related, but semi-independent, modules and each concludes with key takeaways and a list of references and links to supplemental resources.

14 SOLAR ENERGY↗

Propulsion Design With Freeform Fabrication (PDFF)

The nation is challenged to decrease the cost and schedule to develop new space transportation propulsion systems for commercial, scientific, and military purposes. Better design criteria and manufacturing techniques for small thrusters are needed to meet current applications in missile defense, space, and satellite propulsion. The requirements of these systems present size, performance, and environmental demands on these thrusters that have posed significant challenges to the current designers and manufacturers. Designers are limited by manufacturing processes, which are complex, costly, and time consuming, and ultimately limited in their capabilities. The PDFF innovation vastly extends the design opportunities of rocket engine components and systems by making use of the unique manufacturing freedom of solid freeform rapid prototype manufacturing technology combined with the benefits of ceramic materials. The unique features of PDFF are developing and implementing a design methodology that uses solid freeform fabrication (SFF) techniques to make propulsion components with significantly improved performance, thermal management, power density, and stability, while reducing development and production costs. PDFF extends the design process envelope beyond conventional constraints by leveraging the key feature of the SFF technique with the capability to form objects with nearly any geometric complexity without the need for elaborate machine setup. The marriage of SFF technology to propulsion components allows an evolution of design practice to harmonize material properties with functional design efficiency. Reduced density of materials when coupled with the capability to honeycomb structure used in the injector will have significant impact on overall mass reduction. Typical thrusters in use for attitude control have 60 90 percent of its mass in the valve and injector, which is typically made from titanium. The combination of material and structure envisioned for use in an SFF thruster design could reduce thruster weight by a factor of two or more. The thrust-to-weight ratios for such designs can achieve 1,000:1 or more, depending on chamber pressure. The potential exists for continued development in materials, size, speed, accuracy of SFF techniques, which can lead to speculative developments of PDFF processes such as fabrication of custom human interface devices like masks, chairs, and clothing, and advanced biomedical application to human organ reconstruction. Other potential applications are: higher fidelity lower cost test fixtures for probes and inspection, disposable thrusters, and ISRU (in situ resource utilization) for component production in space or on Lunar and Martian missions, and application for embedding MEMS (microelectromechanical systems) during construction process of form changing aerostructure/dynamic structures.

Barnes, Daudi↗

Conversion of CO 2 from power plant into CaCO 3 nanoparticles

Carbon dioxide (CO 2 ), a main composition of flue gas, represents a significant and largely untapped carbon resource. Herein, mediated by glycine (Gly), we captured and converted CO 2 into CaCO 3 nanoparticles using real flue gas from a power plant, demonstrating for the first time the feasibility of using amino acid to convert CO 2 from power plant flue gasses. The method did not require extraneous energy and CaCO 3 nanoparticles with a size of ∼25 nm were obtained. Moreover, the potential toxicity of CO 2 -converted nanoparticles was investigated. It appeared that both the initial CO 2 loading and the carbamate percentage significantly influence the shape and size of the CaCO 3 particles. Our method was also proven effective for flue gas with varying CO 2 concentrations (4 %, 12 %, and 20 %). By tuning flue gas bubbling time and flow rate to achieve consistent CO 2 loading and carbamate levels, we produced CaCO 3 nanoparticles with similar shapes and sizes across all CO 2 concentrations studied. In addition, our data indicated that although real flue gas contains small amounts of gases like oxygen and CO, they insignificantly influence the shape and size of our nanoparticles but did impact the phase component of CaCO 3 . In conclusion, the toxicity experiments found that CaCO 3 nanoparticles produced from both real flue gas and simulated flue gas exhibited concentration- and time-dependent effects on cell viability.

36 MATERIALS SCIENCE↗

Computational techniques for the analysis of small signals in high-statistics neutrino oscillation experiments

The current and upcoming generation of Very Large Volume Neutrino Telescopes – collecting unprecedented quantities of neutrino events – can be used to explore subtle effects in oscillation physics, such as (but not restricted to) the neutrino mass ordering. The sensitivity of an experiment to these effects can be estimated from Monte Carlo simulations. With the high number of events that will be collected, there is a trade-off between the computational expense of running such simulations and the inherent statistical uncertainty in the determined values. In such a scenario, it becomes impractical to produce and use adequately-sized sets of simulated events with traditional methods, such as Monte Carlo weighting. In this work we present a staged approach to the generation of expected distributions of observables in order to overcome these challenges. By combining multiple integration and smoothing techniques which address limited statistics from simulation it arrives at reliable analysis results using modest computational resources.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Autonomous organic synthesis for redox flow batteries via flexible batch Bayesian optimization

Traditional trial-and-error methods for materials discovery are inefficient to meet the urgent demands posed by the rapid progression of climate change. This urgency has driven the increasing interest in integrating robotics and machine learning into materials research to accelerate experimental learning. However, idealized decision-making frameworks to achieve maximum sampling efficiency are not always compatible with high-throughput experimental workflows inside a laboratory. For multi-step chemical processes, differences in hardware capacities can complicate the digital framework by introducing constraints on the maximum number of samples in each step of the experiment, hence causing varying batch sizes in variable selection within the same batch. Therefore, designing flexible sampling algorithms is necessary to accommodate the multi-step synthesis with practical constraints unique to each high-throughput workflow. In this work, we designed and employed three strategies on a high-throughput robotic platform to optimize the sulfonation reaction of redox-active molecules used in flow batteries. Our strategies adapt to the multi-step experimental workflow, where their formulation and heating steps are separate, causing varying batch size requirements. By strategically sampling using clustering and mixed-variable batch Bayesian optimization, we were able to iteratively identify optimal conditions that maximize the yields. Our work presents a flexible approach that allows tailoring the machine learning decision-making to suit the practical constraints in individual high-throughput experimental platforms, followed by performing resource-efficient yield optimization using available open-source Python libraries.

Tamura, Clara [Univ. of Washington, Seattle, WA (U↗

Accelerating Flash-X Simulations with Asynchronous I/O

Most high-fidelity physics simulation codes, such as Flash-X, need to save intermediate results (checkpoint files) to restart or gain insights into the evolution of the simulation. These simulation codes save such intermediate files synchronously, where computation is stalled while the data is written to storage. Depending on the problem size and computational requirements, this file write time can be a substantial portion of the total simulation time. In order to hide the I/O latency of checkpointing, asynchronous I/O methods have been introduced. These methods use background threads for performing I/O while the main threads continue with the simulation. The usage of background threads can compete for resources on the node as well as with communication. In this paper, we evaluate the overheads and the overall benefit of asynchronous I/O in HDF5 to simulations. Results from real-world high-fidelity simulations on the Summit supercomputer show that I/O operation is overlapped with application communication or computation or both, effectively hiding some or all of the I/O latency. Our evaluation shows that while using asynchronous I/O adds overhead to the application, the I/O time reduction is more significant, resulting in overall up to 1.5X performance speedup.

Jain, Rajeev↗

Evaluation of the NASA Artemis Regions of Interest for ISRU Water Mine Potential

The NASA Artemis Campaign has a stated goal to return to the Moon to maintain a sustainable presence; In-Situ Resource Utilization (ISRU) is a key part of sustainability. The regions of interest identified for the Artemis campaign are at Lunar the South Pole where water ice, a valuable resource for ISRU, has been identified. As such, a preliminary evaluation of the ISRU ice mining potential has been performed for of these regions of interest. A set of ground rules for this evaluation were developed to align with current assumptions for customer needs, hardware capabilities, an initially limited infrastructure, and lunar environments/terrain. These ground rules, and the evaluation of six regions of interest, are presented here. The site selections (ISRU and customer assets) and their associated traverses are notional and were intended only to provide a broad preliminary evaluation of the water ISRU potential of the regions. Evaluation of these regions are subject to change as decisions regarding utilization are made. Water ISRU is possible at all regions, though the degree to which each criterion are met is variable. The two regions near Shackleton ranked highest in this evaluation, while the de Gerlache region presented the most difficulties meeting the current criteria. The regions were not explicitly ranked due to the nuances associated with the high number of variables but evaluation summaries of each are presented. It should also be noted that all ISRU ‘mine’ sites in this analysis focused on smaller (few kilometer) size permanently shadowed regions (PSRs). This was necessary to meet proximity requirements between these PSRs and the highly illuminated regions needed for customers and ISRU processing. The areas identified in this study are meant to focus exploration and reconnaissance efforts needed to better evaluate the ISRU potential.

In-situ resource utilization↗

An ISRU Propellant Production System to Fully Fuel a Mars Ascent Vehicle

ISRU of Mars resources was base lined in 2009 Design Reference Architecture (DRA) 5.0, but only for Oxygen production using atmospheric CO2The Methane (LCH4) needed for ascent propulsion of the Mars Ascent Vehicle (MAV) would need to be brought from Earth. HOWEVER: Extracting water from the Martian Regolith enables the production of both Oxygen and Methane from Mars resources Water resources could also be used for other applications including: Life support, radiation shielding, plant growth, etc. Water extraction was not base lined in DRA5.0 due to perceived difficulties and complexity in processing regolith. The NASA Evolvable Mars Campaign (EMC) requested studies to look at the quantitative benefits and trades of using Mars water ISRU Phase 1: Examined architecture scenarios for regolith water retrieval. Completed October 2015Phase 2: Deep dive of one architecture concept to look at end-to-end system size, mass, power of a LCH4LO2 ISRU production system.Evolvable Mars CampaignPre-deployed Mars ascent vehicle (MAV)4 crew membersPropellants: Oxygen MethaneGenerate a system model to roll up mass power of a full ISRU system and enable parametric trade studies. Leverage models from previous studies and technology development programs Anchor with mass power performance from existing hardware. Whenever possible used reference-able (published) numbers for traceability.Modular approach to allow subsystem trades and parametric studies. Propellant mass needs taken from most recently published MAV study:Polsgrove, T. et al. (2015), AIAA2015-4416MAV engines operate at mixture ratios (oxygen: methane) between 3:1 and 3.5:1, whereas the Sabatier reactor produces at a 4:1 ratio. Therefore:Methane production is the driving requirement-Excess Oxygen will be produced.

Mars surface↗