Search NASA⌕ Search

SEARCH · Search NASA

Results for “Time Based Flow Management”

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 217 records · Page 12

NASA's Water Solutions Using Remote Sensing

NASA Water Resources works within Earth sciences to leverage investments of space-based observation, model results, and development and deployment of enabling technologies, systems, and capabilities into water resources management decision support tools for the sustainable use of water. Earth science satellite observations and modelling products provide a huge volume of valuable data in both near-real-time and extended back nearly 50 years about the Earth's land surface conditions such as land cover type, vegetation type and health, precipitation, snow, soil moisture, and water levels and radiation. Observations of this type combined with models and analysis enable satellite-based assessment of the water cycle. With increasing population pressure and water usage coupled with climate variability and change, water issues are being reported by numerous groups as the most critical environmental problems facing us in the 21st century. Competitive uses and the prevalence of river basins and aquifers that extend across boundaries engender political tensions between communities, stakeholders and countries. The NASA Water Resources Program has the objective to provide NASA products to help deal with these issues with the goal for the sustainable use of water. The Water Resources program organizes its projects under five functional themes: 1) stream-flow and flood forecasting; 2) water consumptive use (includes evapotranspiration) and irrigation; 3) drought; 4) water quality; and 5) climate and water resources. NASA primarily works with national and international groups such as other US government agencies (NOAA, EPA, USGS, USAID) and various other groups to maximize the widest use of the water products. A summary of NASA's water activities linked to helping solve issues for developing countries will be highlighted.

Toll, David↗

Web Application Software for Ground Operations Planning Database (GOPDb) Management

A Web application facilitates collaborative development of the ground operations planning document. This will reduce costs and development time for new programs by incorporating the data governance, access control, and revision tracking of the ground operations planning data. Ground Operations Planning requires the creation and maintenance of detailed timelines and documentation. The GOPDb Web application was created using state-of-the-art Web 2.0 technologies, and was deployed as SaaS (Software as a Service), with an emphasis on data governance and security needs. Application access is managed using two-factor authentication, with data write permissions tied to user roles and responsibilities. Multiple instances of the application can be deployed on a Web server to meet the robust needs for multiple, future programs with minimal additional cost. This innovation features high availability and scalability, with no additional software that needs to be bought or installed. For data governance and security (data quality, management, business process management, and risk management for data handling), the software uses NAMS. No local copy/cloning of data is permitted. Data change log/tracking is addressed, as well as collaboration, work flow, and process standardization. The software provides on-line documentation and detailed Web-based help. There are multiple ways that this software can be deployed on a Web server to meet ground operations planning needs for future programs. The software could be used to support commercial crew ground operations planning, as well as commercial payload/satellite ground operations planning. The application source code and database schema are owned by NASA.

Lanham, Clifton↗

Prediction of Weather Impacts on Airport Arrival Meter Fix Capacity

This paper introduces a data driven model for predicting airport arrival capacity with a look-ahead time 2-8 hour forecast. The model is suitable for air traffic flow management by explicitly investigating the impact of convective weather on airport arrival meter fix throughput. Estimation of the arrival airport capacity under arrival meter fix flow constraints due to severe weather is an important part of Air Traffic Management (ATM). Airport arrival capacity can be reduced if one or more airport arrival meter fixes are partially or completely blocked by convective weather. When the predicted airport arrival demands exceed the predicted available airport's arrival capacity for a sustained period, Ground Delay Program (GDP) operations will be triggered by ATM system. Serious imbalances between demand and capacity occur most frequently when the airport capacity is severely degraded due to either bad airport terminal surface weather or inclement convective weather around airport arrival fixes. A model that predicts the weather-impacted airport arrival meter fix throughput may help ATM personnel to plan GDP operations more efficiently. This paper identifies the characteristics of air traffic flow across arrival meter fixes at Newark Liberty International Airport (EWR). The proposed approach, based on machine-learning methods, is developed to predict the weather impacted EWR arrival Meter Fix (MF) throughput. Sector forecast coverage is used to envision the weather impact on airport arrival MF flow, and the validation is accomplished by using Convective Weather Avoidance Model (CWAM) 0.5 to 2-hour and Collaborative Convective Forecast Product (CCFP) 4 to 8-hour look-ahead forecast data for the period of April-September in 2014. Furthermore, the regression tree ensemble learning of random forests approach for translating a sector forecast coverage model to an EWR arrival meter fix throughput model is examined. The results suggest that ATM decision makers in charge of MF flow control and GDP planning may benefit from adopting the airport arrival meter capacity prediction models to estimate the inclement weather impacts.

Wang, Yao X.↗

STAT7 v1.2 User Guide: The STAT7 Code for Statistical Propagation of Uncertainties in Steady-State Thermal Hydraulics Analysis of Plate-Fueled Reactors

The STAT7 software was developed to perform steady-state, single-phase thermal hydraulics analysis of plate-fueled reactors based on statistical propagation of uncertainties. Application of the software is for non-power research and test reactors, including conversion to low-enriched uranium fuel of U.S. High-Performance Research Reactors such as Massachusetts Institute of Technology Research Reactor. Since it can be necessary to repeat analysis during fuel reloading, STAT7 accommodates flexibility in analyzing many realistic aspects of reactor fuel management. STAT7 uses a Monte Carlo approach to model uncertainty in common fuel fabrication parameters and other key reactor operating parameters required for thermal hydraulics analyses of research and test reactors. These safety calculations are ultimately intended to protect against high fuel plate temperatures due to critical heat flux, or onset of flow instability. STAT7 supports water properties based on the IAPWS-IF97 functions (The International Association for the Properties of Water and Steam Industrial Formulation 1997 for the Thermodynamic Properties of Water and Steam) in addition to the fit functions. STAT7 predicts axial profiles of fuel, cladding, and coolant temperature along a lateral stripe that runs the full length of the fuel plate from the bottom to the top. STAT7 can simultaneously analyze all of the axial nodes of all of the fuel plates and all of the coolant channels for one latera stripe of a fuel element. Power splits are calculated for each axial node of each plate to determine how much of the power goes out each face of the plate. By running STAT7 multiple times, full core analysis can be performed by analyzing the margin to onset of nucleate boiling and onset of flow instability for each axial node of each stripe of each plate of each fuel element in the core.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Health Management Applications for International Space Station

Traditional mission and vehicle management involves teams of highly trained specialists monitoring vehicle status and crew activities, responding rapidly to any anomalies encountered during operations. These teams work from the Mission Control Center and have access to engineering support teams with specialized expertise in International Space Station (ISS) subsystems. Integrated System Health Management (ISHM) applications can significantly augment these capabilities by providing enhanced monitoring, prognostic and diagnostic tools for critical decision support and mission management. The Intelligent Systems Division of NASA Ames Research Center is developing many prototype applications using model-based reasoning, data mining and simulation, working with Mission Control through the ISHM Testbed and Prototypes Project. This paper will briefly describe information technology that supports current mission management practice, and will extend this to a vision for future mission control workflow incorporating new ISHM applications. It will describe ISHM applications currently under development at NASA and will define technical approaches for implementing our vision of future human exploration mission management incorporating artificial intelligence and distributed web service architectures using specific examples. Several prototypes are under development, each highlighting a different computational approach. The ISStrider application allows in-depth analysis of Caution and Warning (C&W) events by correlating real-time telemetry with the logical fault trees used to define off-nominal events. The application uses live telemetry data and the Livingstone diagnostic inference engine to display the specific parameters and fault trees that generated the C&W event, allowing a flight controller to identify the root cause of the event from thousands of possibilities by simply navigating animated fault tree models on their workstation. SimStation models the functional power flow for the ISS Electrical Power System and can predict power balance for nominal and off-nominal conditions. SimStation uses realtime telemetry data to keep detailed computational physics models synchronized with actual ISS power system state. In the event of failure, the application can then rapidly diagnose root cause, predict future resource levels and even correlate technical documents relevant to the specific failure. These advanced computational models will allow better insight and more precise control of ISS subsystems, increasing safety margins by speeding up anomaly resolution and reducing,engineering team effort and cost. This technology will make operating ISS more efficient and is directly applicable to next-generation exploration missions and Crew Exploration Vehicles.

Alena, Richard↗

NASA Tech Briefs, October 2013

Topics include: A Short-Range Distance Sensor with Exceptional Linearity; Miniature Trace Gas Detector Based on Microfabricated Optical Resonators; Commercial Non-Dispersive Infrared Spectroscopy Sensors for Sub-Ambient Carbon Dioxide Detection; Fast, Large-Area, Wide-Bandgap UV Photodetector for Cherenkov Light Detection; Mission Data System Java Edition Version 7; Adaptive Distributed Environment for Procedure Training (ADEPT); LEGEND, a LEO-to-GEO Environment Debris Model; Electronics/Computers; Millimeter-Wave Localizers for Aircraft-to-Aircraft Approach Navigation; Impedance Discontinuity Reduction Between High-Speed Differential Connectors and PCB Interfaces; SpaceCube Version 1.5; High-Pressure Lightweight Thrusters; Non-Magnetic, Tough, Corrosion- and Wear-Resistant Knives From Bulk Metallic Glasses and Composites; Ambient Dried Aerogels; Applications for Gradient Metal Alloys Fabricated Using Additive Manufacturing; Passivation of Flexible YBCO Superconducting Current Lead With Amorphous SiO2 Layer; Propellant-Flow-Actuated Rocket Engine Igniter; Lightweight Liquid Helium Dewar for High-Altitude Balloon Payloads; Method to Increase Performance of Foil Bearings Through Passive Thermal Management; Unibody Composite Pressurized Structure; JWST Integrated Science Instrument Module Alignment Optimization Tool; Radar Range Sidelobe Reduction Using Adaptive Pulse Compression Technique; Digitally Calibrated TR Modules Enabling Real-Time Beamforming SweepSAR Architectures; Electro-Optic Time-to-Space Converter for Optical Detector Jitter Mitigation; Partially Transparent Petaled Mask/Occulter for Visible-Range Spectrum; Educational NASA Computational and Scientific Studies (enCOMPASS); Coarse-Grain Bandwidth Estimation Scheme for Large-Scale Network; Detection of Moving Targets Using Soliton Resonance Effect; High-Efficiency Nested Hall Thrusters for Robotic Solar System Exploration; High-Voltage Clock Driver for Photon-Counting CCD Characterization; Development of the Code RITRACKS; and Enabling Microliquid Chromatography by Microbead Packing of Microchannels.

Source record↗

Watershed response of the Feather River Basin, California, United States of America to future climate changes

Increasing mean annual temperatures under climate change are expected to reduce seasonal snowpack, increase evapotranspiration (ET), and alter summer baseflow in headwater watersheds worldwide. Strong regional variability in hydrologic responses highlights the need for catchment-scale, physically based models to assess future flood risk and water availability. This study examines climate-driven changes in the hydrologic response of the Upper Feather River watershed in the Sierra Nevada Mountains, California. Four priority climate models and two representative concentration pathways (RCP4.5 and RCP8.5) are used to evaluate future hydrologic responses of the watershed. Hydrologic processes are simulated using an objectively calibrated Soil and Water Assessment Tool Plus model for a historical baseline (1986–2005) and a future period 2070–2099), driven by observed and projected precipitation and temperature. Results indicate a declining contribution of snowfall to annual precipitation, with peak snowfall and water yield shifting 1–3 months earlier. Long-term annual maximum flows are projected to increase considerably, whereas low-flow responses are mixed, with both increases and decreases projected by the end of the century. These findings highlight the need for adaptive watershed management to enhance flood protection, water storage, and drought resilience. Future water resource planning should also account for one-to-three-month shifts in peak water yield and surface runoff due to changes in snowmelt timing and a lower snowfall-to-rainfall ratio under climate change. The modeling framework and insights are transferable to other snow-dominated headwater watersheds experiencing climate-driven change.

Tigabu, T [UC Davis]↗

Design and Testing of Non-Toxic RCS Thrusters for Second Generation Reusable Launch Vehicle

The current NASA Space Shuttle auxiliary propulsion system utilizes nitrogen tetroxide (NTO) and monomethylhydrazine (MMH), hypergolic propellants. This use of these propellants has resulted in high levels of maintenance and precautions that contribute to costly launch operations. By employing alternate propellant combinations, those less toxic to humans, the hazards and time required between missions can be significantly reduced. Use of alternate propellants can thereby increase the efficiency and lower the cost in launch operations. In support of NASA's Space Launch Initiative (SLI), TRW proposed a three-phase project structured to significantly increase the technology readiness of a high-performance reaction control subsystem (RCS) thruster using non-toxic propellant for an operationally efficient and reusable auxiliary propulsion system (APS). The project enables the development of an integrated primary/vernier thruster capable of providing dual-thrust levels of both 1000-lbf class thrust and 25-lbf thrust. The intent of the project is to reduce the risk associated with the development of an improved RCS flight design that meets the primary NASA objectives of improved safety and reliability while reducing systems operations and maintenance costs. TRW proposed two non-toxic auxiliary propulsion engine designs, one using liquid oxygen and liquid hydrogen and the other using liquid oxygen and liquid ethanol, as candidates to meet the goals of reliability and affordability at the RCS level. Both of these propellant combinations offer the advantage of a safe environment for maintenance, while at the same time providing adequate to excellent performance for a conventional liquid propulsion systems. The key enabling technology incorporated in both TRW thrusters is the coaxial liquid on liquid pintle injector. This paper will concentrate on only the design and testing of one of the thrusters, the liquid oxygen (LOX) and liquid hydrogen (LH2) thruster. The LOX/LH2 thruster design includes a LOX-centered pintle injector, consisting of two rows of slots that create a radial spoke spray pattern in the combustion chamber. The main fuel injector creates a continuous sheet of LH2 originating upstream of the LOX pintle injector. The two propellants impinge at the pintle slots, where the resulting momentum ratio and spray pattern determines the combustion efficiency and thermal effects on the hardware. Another enabling technology used in the design of this thruster is fuel film cooling through a duct, lining the inner wall of the combustion chamber barrel section. The duct is also acts as a secondary fuel injection point. The variation in the amount of LH2 used for the duct allows for adjustments in the cooling capacity for the thruster. The Non-Toxic LOX-LH2 RCS Workhorse Thruster was tested at the NASA Marshall Space Flight Center's Test Stand 500. Hot-fire tests were conducted between March 08, 2002 and April 05, 2002. All testing during the program base period were performed at sea-level conditions. During the test program, 7 configurations were tested, including 2 combustion chambers, 3 LOX injector pintle tips, and 4 LH2 injector stroke settings. The operating conditions that were surveyed varied thrust levels, mixture ratio and LH2 duct cooling flow. The copper heat sink chamber was used for 16 burns, each burn lasting from 0.4 to 10 seconds, totaling 51.4 seconds, followed by Haynes chamber testing ranging from 0.9 to 120 seconds, totaling 300.9 seconds. The total accumulated burn time for the test program is 352.3 seconds. C* efficiency was calculated and found to be within expectable limits for most operating conditions. The temperature on the Haynes combustion chamber remained below established material limits, with the exception of one localized hot spot. The test results demonstrate that both the coaxial liquid-on-liquid pintle injector design and fuel duct concepts are viable for the intended application. The thruster head-e design maintained cryogenic injection temperatures while firing, which validates the concept for minimal heat soak back. By injecting fuel into the duct, the throat temperatures were manageable, yet the split of fuel through the cooling duct does not compromise the overall combustion efficiency, which indicates that, provided proper design refinement, such a concept can be applied to a high-performance version of the thruster. These hot fire tests demonstrate the robustness of the duct design concept and good capability to withstand off-nominal operating conditions without adversely impacting the thermal response of the engine, a key design feature for a cryogenic thruster.

Calvignac, Jacky↗

Single Drop Cytometry Onboard the International Space Station

Real-time lab analysis is needed to support clinical decision making and research on human missions to the Moon and Mars. Powerful laboratory instruments, such as flow cytometers, are generally too cumbersome for spaceflight. Here, we show that scant test samples can be measured in microgravity, by a trained astronaut, using a miniature cytometry-based analyzer, the rHEALTH ONE, modified specifically for spaceflight. The base device addresses critical spaceflight requirements including minimal resource utilization and alignment-free optics for surviving rocket launch. To fully enable reduced gravity operation onboard the space station, we incorporated bubble-free fluidics, electromagnetic shielding, and gravity-independent sample introduction. We show microvolume flow cytometry from 10 μL sample drops, with data from five simultaneous channels using 10 μs bin intervals during each sample run, yielding an average of 72 million raw data points in approximately 2 minutes. We demonstrate the device measures each test sample repeatably, including correct identification of a sample that degraded in transit to the International Space Station. This approach can be utilized to further our understanding of spaceflight biology and provide immediate, actionable diagnostic information for management of astronaut health without the need for Earth-dependent analysis.

Daniel J. Rea↗

Experimental Evaluation of CTAS/FMS Integration in TRACON Airspace

A CTAS/FMS integration project at Ames Research Center addresses extensions to the CTAS air traffic management concept, among them the introduction of arrival routes specially designed for the use with a Flight Management System. These FMS arrival routes shall allow for the use of the INS' lateral and vertical navigation capabilities throughout the arrival until final approach. For the use in this project CTAS controller support tools that compliment the concept have been created. These tools offer controllers access to CTAS' prediction and planning capabilities in terms of speed and route advisories. The objective is to allow for a more strategic way of controlling aircraft. Expected benefits are an increase in arrival rate and a reduction of average travel times through TRACER airspace. A real time simulation is being conducted at Ames to investigate how FMS arrivals and approach transitions - with and without the support of CTAS tools - effect the flow of arriving traffic within TRACER airspace and the controllers' task performance. Four conditions will be investigated and compared to today's technique of controlling traffic with tactical vectoring: 1. FMS arrivals and approach transitions are available for controllers to issue to equipped aircraft - traffic permitting; 2. Speed advisories that match CTAS' runway balancing and sequencing plan are displayed to Feeder controllers; 3. Approach transition advisories (e.g., location of the base turn point) are displayed to Final controllers for tactical clearances ("Turn base now"); and 4. Approach transition advisories (voice and data link) are generated by CTAS and displayed to final controllers for strategic voice clearances ("Turn base five miles after waypoint xyz") or prepared in terms of a trajectory description for strategic data link clearance. Scenarios used in the study will represent current traffic and vary in density of arriving traffic and the kind and mix of equipage of arriving aircraft. Data will be collected from experiment runs with active TRACON controllers on the final approach spacing, the aircraft's speed profiles, the controllers interaction with CTAS tools, and number and timing of pilot controllers communications under the described conditions.

Romahn, Stephen↗

NASA Space Launch System Operations Outlook

The National Aeronautics and Space Administration's (NASA) Space Launch System (SLS) Program, managed at the Marshall Space Flight Center (MSFC), is working with the Ground Systems Development and Operations (GSDO) Program, based at the Kennedy Space Center (KSC), to deliver a new safe, affordable, and sustainable capability for human and scientific exploration beyond Earth's orbit (BEO). Larger than the Saturn V Moon rocket, SLS will provide 10 percent more thrust at liftoff in its initial 70 metric ton (t) configuration and 20 percent more in its evolved 130-t configuration. The primary mission of the SLS rocket will be to launch astronauts to deep space destinations in the Orion Multi- Purpose Crew Vehicle (MPCV), also in development and managed by the Johnson Space Center. Several high-priority science missions also may benefit from the increased payload volume and reduced trip times offered by this powerful, versatile rocket. Reducing the lifecycle costs for NASA's space transportation flagship will maximize the exploration and scientific discovery returned from the taxpayer's investment. To that end, decisions made during development of SLS and associated systems will impact the nation's space exploration capabilities for decades. This paper will provide an update to the operations strategy presented at SpaceOps 2012. It will focus on: 1) Preparations to streamline the processing flow and infrastructure needed to produce and launch the world's largest rocket (i.e., through incorporation and modification of proven, heritage systems into the vehicle and ground systems); 2) Implementation of a lean approach to reach-back support of hardware manufacturing, green-run testing, and launch site processing and activities; and 3) Partnering between the vehicle design and operations communities on state-of-the-art predictive operations analysis techniques. An example of innovation is testing the integrated vehicle at the processing facility in parallel, rather than sequentially, saving both time and money. These themes are accomplished under the context of a new cross-program integration model that emphasizes peer-to-peer accountability and collaboration towards a common, shared goal. Utilizing the lessons learned through 50 years of human space flight experience, SLS is assigning the right number of people from appropriate backgrounds, providing them the right tools, and exercising the right processes for the job. The result will be a powerful, versatile, and capable heavy-lift, human-rated asset for the future human and scientific exploration of space.

Hefner, William Keith↗

Coupled Aerodynamic-Thermal-Structural (CATS) Analysis

Coupled Aerodynamic-Thermal-Structural (CATS) Analysis is a focused effort within the Numerical Propulsion System Simulation (NPSS) program to streamline multidisciplinary analysis of aeropropulsion components and assemblies. Multidisciplinary analysis of axial-flow compressor performance has been selected for the initial focus of this project. CATS will permit more accurate compressor system analysis by enabling users to include thermal and mechanical effects as an integral part of the aerodynamic analysis of the compressor primary flowpath. Thus, critical details, such as the variation of blade tip clearances and the deformation of the flowpath geometry, can be more accurately modeled and included in the aerodynamic analyses. The benefits of this coupled analysis capability are (1) performance and stall line predictions are improved by the inclusion of tip clearances and hot geometries, (2) design alternatives can be readily analyzed, and (3) higher fidelity analysis by researchers in various disciplines is possible. The goals for this project are a 10-percent improvement in stall margin predictions and a 2:1 speed-up in multidisciplinary analysis times. Working cooperatively with Pratt & Whitney, the Lewis CATS team defined the engineering processes and identified the software products necessary for streamlining these processes. The basic approach is to integrate the aerodynamic, thermal, and structural computational analyses by using data management and Non-Uniform Rational B-Splines (NURBS) based data mapping. Five software products have been defined for this task: (1) a primary flowpath data mapper, (2) a two-dimensional data mapper, (3) a database interface, (4) a blade structural pre- and post-processor, and (5) a computational fluid dynamics code for aerothermal analysis of the drum rotor. Thus far (1) a cooperative agreement has been established with Pratt & Whitney, (2) a Primary Flowpath Data Mapper has been prototyped and delivered to General Electric Aircraft Engines and Pratt & Whitney for evaluation, (3) a collaborative effort has been initiated with the National Institute of Standards and Testing to develop a Standard Data Access Interface, and (4) a blade tip clearance capability has been implemented into the Structural Airfoil Blade Engineering Routine (SABER) program. We plan to continue to develop the data mappers and data management tools. As progress is made, additional efforts will be made to apply these tools to propulsion system applications.

Source record↗

NASA Space Launch System Operations Outlook

The National Aeronautics and Space Administration's (NASA) Space Launch System (SLS) Program, managed at the Marshall Space Flight Center (MSFC), is working with the Ground Systems Development and Operations (GSDO) Program, based at the Kennedy Space Center (KSC), to deliver a new safe, affordable, and sustainable capability for human and scientific exploration beyond Earth's orbit (BEO). Larger than the Saturn V Moon rocket, SLS will provide 10 percent more thrust at liftoff in its initial 70 metric ton (t) configuration and 20 percent more in its evolved 130-t configuration. The primary mission of the SLS rocket will be to launch astronauts to deep space destinations in the Orion Multi-Purpose Crew Vehicle (MPCV), also in development and managed by the Johnson Space Center. Several high-priority science missions also may benefit from the increased payload volume and reduced trip times offered by this powerful, versatile rocket. Reducing the life-cycle costs for NASA's space transportation flagship will maximize the exploration and scientific discovery returned from the taxpayer's investment. To that end, decisions made during development of SLS and associated systems will impact the nation's space exploration capabilities for decades. This paper will provide an update to the operations strategy presented at SpaceOps 2012. It will focus on: 1) Preparations to streamline the processing flow and infrastructure needed to produce and launch the world's largest rocket (i.e., through incorporation and modification of proven, heritage systems into the vehicle and ground systems); 2) Implementation of a lean approach to reachback support of hardware manufacturing, green-run testing, and launch site processing and activities; and 3) Partnering between the vehicle design and operations communities on state-ofthe- art predictive operations analysis techniques. An example of innovation is testing the integrated vehicle at the processing facility in parallel, rather than sequentially, saving both time and money. These themes are accomplished under the context of a new cross-program integration model that emphasizes peer-to-peer accountability and collaboration towards a common, shared goal. Utilizing the lessons learned through 50 years of human space flight experience, SLS is assigning the right number of people from appropriate backgrounds, providing them the right tools, and exercising the right processes for the job. The result will be a powerful, versatile, and capable heavy-lift, human-rated asset for the future human and scientific exploration of space.

Hefner, William Keith↗

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

Interaction Between Strategic and Local Traffic Flow Controls

The loosely coordinated sets of traffic flow management initiatives that are operationally implemented at the national- and local-levels have the potential to under, over, and inconsistently control flights. This study is designed to explore these interactions through fast-time simulations with an emphasis on identifying inequitable situations in which flights receive multiple uncoordinated delays. Two operationally derived scenarios were considered in which flights arriving into the Dallas/Fort Worth International Airport were first controlled at the national-level, either with a Ground Delay Program or a playbook reroute. These flights were subsequently controlled at the local level. The Traffic Management Advisor assigned them arrival scheduling delays. For the Ground Delay Program scenarios, between 51% and 53% of all arrivals experience both pre-departure delays from the Ground Delay Program and arrival scheduling delays from the Traffic Management Advisor. Of the subset of flights that received multiple delays, between 5.7% and 6.4% of the internal departures were first assigned a pre-departure delay by the Ground Delay Program, followed by a second pre-departure delay as a result of the arrival scheduling. For the playbook reroute scenario, Dallas/Fort Worth International Airport arrivals were first assigned pre-departure reroutes based on the MW_2_DALLAS playbook plan, and were subsequently assigned arrival scheduling delays by the Traffic Management Advisor. Since the airport was operating well below capacity when the playbook reroute was in effect, only 7% of the arrivals were observed to receive both rerouting and arrival scheduling delays. Findings from these initial experiments confirm field observations that Ground Delay Programs operated in conjunction with arrival scheduling can result in inequitable situations in which flights receive multiple uncoordinated delays.

Grabbe, Son↗

Engineered Multifunctional Surfaces for Fluid Handling

Designs incorporating variations in capillary geometry and hydrophilic and/or antibacterial surface properties have been developed that are capable of passive gas/liquid separation and passive water flow. These designs can incorporate capillary grooves and/or surfaces arranged to create linear and circumferential capillary geometry at the micro and macro scale, radial fin configurations, micro holes and patterns, and combinations of the above. The antibacterial property of this design inhibits the growth of bacteria or the development of biofilm. The hydrophilic property reduces the water contact angle with a treated substrate such that water spreads into a thin layer atop the treated surface. These antibacterial and hydrophilic properties applied to a thermally conductive surface, combined with capillary geometry, create a novel heat exchanger capable of condensing water from a humid, two-phase water and gas flow onto the treated heat exchanger surfaces, and passively separating the condensed water from the gas flow in a reduced gravity application. The overall process to generate the antibacterial and hydrophilic properties includes multiple steps to generate the two different surface properties, and can be divided into two major steps. Step 1 uses a magnetron-based sputtering technique to implant the silver atoms into the base material. A layer of silver is built up on top of the base material. Completion of this step provides the antibacterial property. Step 2 uses a cold-plasma technique to generate the hydrophilic surface property on top of the silver layer generated in Step 1. Completion of this step provides the hydrophilic property in addition to the antibacterial property. Thermally conductive materials are fabricated and then treated to create the antibacterial and hydrophilic surface properties. The individual parts are assembled to create a condensing heat exchanger with antibacterial and hydrophilic surface properties and capillary geometry, which is capable of passive phase separation in a reduced gravity application. The plasma processes for creating antibacterial and hydrophilic surface properties are suitable for applications where water is present on an exposed surface for an extended time, such that bacteria or biofilms could form, and where there is a need to manage the water on the surface. The processes are also suitable for applications where only the hydrophilic property is needed. In particular, the processes are applicable to condensing heat exchangers (CHXs), which benefit from the antibacterial properties as well as the hydrophilic properties. Water condensing onto the control surfaces of the CHX will provide the moist conditions necessary for the growth of bacteria and the formation of biofilms. The antibacterial properties of the base layer (silver) will mitigate and prevent the growth of bacteria and formation of biofilms that would otherwise reduce the CHX performance. In addition, the hydrophilic properties reduce the water contact angle and prevent water droplets from bridging between control surfaces. Overall, the hydrophilic properties reduce the pressure drop across the CHX.

Thomas, Chris↗

Datascope to Enable Earth Independent Medical Operations (EIMO)

BACKGROUND: NASA has amassed sixty years of knowledge and experience relevant to maintenance of crew health and performance in low earth orbit. The Apollo Program introduced the importance of ensuring progressively autonomous operational capability. Earth Independent Medical Operations (EIMO) will require a gradual shift in the balance of medical responsibility, management, and authority from terrestrial to space-based assets. Terrestrial assets will continue to be essential for pre-mission screening and planning in addition to maintenance of crew health and performance. However, new capabilities are needed to enable EIMO and the amount of data required to support these systems, and mitigate the impacts of data transmission delays and reduced bandwidth coupled with lack of cloud-like resources and on-board computing capacity that is currently unclear or operationally insufficient. OVERVIEW: The overall goal of EIMO is to develop artificial intelligence (AI)-based solutions to analyze crew health and performance data utilizing a clinical decision support system (CDSS) to provide crew medical officers (CMO) with the equivalent of real-time, on-board medical consults. The EIMO ecosystem is envisioned as a “system of systems” where embedded reference databases and real-time data streams from multiple input vectors continuously and seamlessly assess crew health and performance. EIMO will be designed to make recommendations to the CMO using multi-modal AI-based natural language processing and machine learning methods with interoperability to push/pull data within and between multiple vehicle and habitat architectures. DISCUSSION: Data flows and storage/retrieval capacity are severely constrained during space missions and the challenges will become even greater during exploration missions. Just as each past program from Mercury to the International Space Station (ISS) required rethinking the interaction between ground-based controllers and space-based crew, so too will future missions to the Moon and Mars. While the NASA High-Performance Spaceflight Computing Processor project aims to increase computational capacity by 100 times over current spaceflight computers, the projected deliverable still lags considerably behind what will be needed to enable an AI-driven CDSS. Restrictions in processing speed and data storage capacity, coupled with transmission bottlenecks and delays, necessitate definition and optimization of an integrated data architecture to enable a progressively autonomous medical capability.

Medical operations↗

Reliability and resilience of environmental flows under uncertainty: reconsidering water year types and inconsistent flow requirements in California

Abstract Environmental water allocation in California is a complex legal process involving various government agencies and stakeholders. E-flow requirements can be based on annual runoff typologies called water year types (WYTs), which dictate water volume, timing, and duration. In this study, we examined hydropower licensing documents of the major water and power projects in the Central Sierra Nevada to catalog e-flow requirements by WYT. In this study case, we identify how WYT classification systems and categories vary across and within different basins. Additionally, we assessed the impacts of climate change on hydrology, the frequency of WYTs identified, and the reliability and resilience of e-flows using future projections (2031–2060) of 10 Global Circulation Models (GCMs). We then propose a potential adaptation strategy using a 30 year moving percentiles approach to recalculate WYTs. We identified eight WYT classifications systems were identified, and their WYT distributions statistically significantly changes across all GCMs, even though most GCMs indicate no statistically significant change in hydrology. Disparities in future impacts are observed among and within hydropower projects, with some river reaches showing negative impacts on reliability and resilience. The adaptation strategy can generally boost resilience and improve reliability, but simply updating existing WYT thresholds without flexible regulatory frameworks reconsidering WYTs and e-flows thresholds, may not yield substantial improvements. Challenges in managing e-flows in California within regulatory and hydroclimatic contexts are intricate due to the lack of standardized approaches, leading to inconsistencies and potential conflicts among stakeholders, that will likely be exacerbated by climate change. Thus, we emphasize that targeted, site-specific, and adaptive management strategies are crucial, besides the need for a harmonized and consistent approach to defining and applying WYT categories and methods and/or e-flow assessments.

Environmental Sciences & Ecology↗