Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “sequential”

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 577 records · Page 32

High-Throughput, Adaptive FFT Architecture for FPGA-Based Spaceborne Data Processors

Exponential growth in microelectronics technology such as field-programmable gate arrays (FPGAs) has enabled high-performance spaceborne instruments with increasing onboard data processing capabilities. As a commonly used digital signal processing (DSP) building block, fast Fourier transform (FFT) has been of great interest in onboard data processing applications, which needs to strike a reasonable balance between high-performance (throughput, block size, etc.) and low resource usage (power, silicon footprint, etc.). It is also desirable to be designed so that a single design can be reused and adapted into instruments with different requirements. The Multi-Pass Wide Kernel FFT (MPWK-FFT) architecture was developed, in which the high-throughput benefits of the parallel FFT structure and the low resource usage of Singleton s single butterfly method is exploited. The result is a wide-kernel, multipass, adaptive FFT architecture. The 32K-point MPWK-FFT architecture includes 32 radix-2 butterflies, 64 FIFOs to store the real inputs, 64 FIFOs to store the imaginary inputs, complex twiddle factor storage, and FIFO logic to route the outputs to the correct FIFO. The inputs are stored in sequential fashion into the FIFOs, and the outputs of each butterfly are sequentially written first into the even FIFO, then the odd FIFO. Because of the order of the outputs written into the FIFOs, the depth of the even FIFOs, which are 768 each, are 1.5 times larger than the odd FIFOs, which are 512 each. The total memory needed for data storage, assuming that each sample is 36 bits, is 2.95 Mbits. The twiddle factors are stored in internal ROM inside the FPGA for fast access time. The total memory size to store the twiddle factors is 589.9Kbits. This FFT structure combines the benefits of high throughput from the parallel FFT kernels and low resource usage from the multi-pass FFT kernels with desired adaptability. Space instrument missions that need onboard FFT capabilities such as the proposed DESDynl, SWOT (Surface Water Ocean Topography), and Europa sounding radar missions would greatly benefit from this technology with significant reductions in non-recurring cost and risk.

NguyenKobayashi, Kayla↗

Estimating Model Error Using Observation Residuals

This presentation discusses an approach to estimate model error using observation residuals. Based on the sequential fixed-lag smoother; we introduce a diagnostic procedure to allow estimating model error over a dense observing system. Optimality considerations are examined in light of the sequential results. The procedure is re-interpreted in the language of variational assimilation, such as 4d-Var. Illustrations of the approach are given by studying both identical-twin and fraternal-twin experimental settings for a system governed by Lorenz-type dynamics. Preliminary results by looking at observation residual statistics for the ECMWF data assimilation system are also shown. The presentation will be part of a series of discussions on issues related to four-dimensional data assimilation under weak-constraint and methodologies to estimate model error.

Todling, Ricardo↗

Approaches for Achieving Broadband Achromatic Phase Shifts for Visible Nulling Coronagraphy

Visible nulling coronagraphy is one of the few approaches to the direct detection and characterization of Jovian and Terrestrial exoplanets that works with segmented aperture telescopes. Jovian and Terrestrial planets require at least 10(exp -9) and 10(exp -10) image plane contrasts, respectively, within the spectral bandpass and thus require a nearly achromatic pi-phase difference between the arms of the interferometer. An achromatic pi-phase shift can be achieved by several techniques, including sequential angled thick glass plates of varying dispersive materials, distributed thin-film multilayer coatings, and techniques that leverage the polarization-dependent phase shift of total-internal reflections. Herein we describe two such techniques: sequential thick glass plates and Fresnel rhomb prisms. A viable technique must achieve the achromatic phase shift while simultaneously minimizing the intensity difference, chromatic beam spread and polarization variation between each arm. In this paper we describe the above techniques and report on efforts to design, model, fabricate, align the trades associated with each technique that will lead to an implementations of the most promising one in Goddard's Visible Nulling Coronagraph (VNC).

Bolcar, Matthew R.↗

Quaternion-Based Control Architecture for Determining Controllability/Maneuverability Limits

Dynamic inversion has often been used in the simulation environment to rapidly prototype controls for the full flight envelope, because of its capacity for assessing a vehicle s maneuver performance and proper sizing of control surfaces. Generally, the architectures involve either a direct inversion of the entire set of equations of motion or a sequential set of inversions exploiting time scale separation in the vehicle dynamics where faster parameters are considered as controls for slower varying parameters. The proposed architecture builds on the latter using a quaternion formulation that provides singularity free tracking. Of interest, the proposed architecture simplifies the sequential approach by exploiting a simpler kinematic inversion in place of a more difficult inversion typically used. This kinematic relationship accurately describes the angular rate required to drive some reference frame of interest to a desired attitude at some desired quaternion error rate. A simple PID control is used to define the desired quaternion error rate. The paper develops the theoretical framework for the approach, and shows results in tracking a desired trajectory.

Bacon, Barton J↗

Risk-Constrained Dynamic Programming for Optimal Mars Entry, Descent, and Landing

A chance-constrained dynamic programming algorithm was developed that is capable of making optimal sequential decisions within a user-specified risk bound. This work handles stochastic uncertainties over multiple stages in the CEMAT (Combined EDL-Mobility Analyses Tool) framework. It was demonstrated by a simulation of Mars entry, descent, and landing (EDL) using real landscape data obtained from the Mars Reconnaissance Orbiter. Although standard dynamic programming (DP) provides a general framework for optimal sequential decisionmaking under uncertainty, it typically achieves risk aversion by imposing an arbitrary penalty on failure states. Such a penalty-based approach cannot explicitly bound the probability of mission failure. A key idea behind the new approach is called risk allocation, which decomposes a joint chance constraint into a set of individual chance constraints and distributes risk over them. The joint chance constraint was reformulated into a constraint on an expectation over a sum of an indicator function, which can be incorporated into the cost function by dualizing the optimization problem. As a result, the chance-constraint optimization problem can be turned into an unconstrained optimization over a Lagrangian, which can be solved efficiently using a standard DP approach.

Ono, Masahiro↗

Regression Verification Using Impact Summaries

Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

Backes, John↗

GFEChutes Lo-Fi

NASA needed to provide a software model of a parachute system for a manned re-entry vehicle. NASA has parachute codes, e.g., the Descent Simulation System (DSS), that date back to the Apollo Program. Since the space shuttle did not rely on parachutes as its primary descent control mechanism, DSS has not been maintained or incorporated into modern simulation architectures such as Osiris and Antares, which are used for new mission simulations. GFEChutes Lo-Fi is an object-oriented implementation of conventional parachute codes designed for use in modern simulation environments. The GFE (Government Furnished Equipment), low-fidelity (Lo-Fi) parachute model (GFEChutes Lo-Fi) is a software package capable of modeling the effects of multiple parachutes, deployed concurrently and/or sequentially, on a vehicle during the subsonic phase of reentry into planetary atmosphere. The term "low-fidelity" distinguishes models that represent the parachutes as simple forces acting on the vehicle, as opposed to independent aerodynamic bodies. GFEChutes Lo-Fi was created from these existing models to be clean, modular, certified as NASA Class C software, and portable, or "plug and play." The GFE Lo-Fi Chutes Model provides basic modeling capability of a sequential series of parachute activities. Actions include deploying the parachute, changing the reefing on the parachute, and cutting away the parachute. Multiple chutes can be deployed at any given time, but all chutes in that case are assumed to behave as individually isolated chutes; there is no modeling of any interactions between deployed chutes. Drag characteristics of a deployed chute are based on a coefficient of drag, the face area of the chute, and the local dynamic pressure only. The orientation of the chute is approximately modeled for purposes of obtaining torques on the vehicle, but the dynamic state of the chute as a separate entity is not integrated - the treatment is simply an approximation. The innovation in GFEChutes Lo-Fi is to use an object design that closely followed the mechanical characteristics and structure of a physical system of parachutes and their deployment mechanisms. Software objects represent the components of the system, and use of an object hierarchy allows a progression from general component outlines to specific implementations. These extra chutes were not part of the baseline deceleration sequence of drogues and mains, but still had to be simulated. The major innovation in GFEChutes Lo-Fi is the software design and architecture.

Gist, Emily↗

High-Efficiency Power Module

One or more embodiments of the present invention pertain to an all solid-state microwave power module. The module includes a plurality of solid-state amplifiers configured to amplify a signal using a low power stage, a medium power stage, and a high power stage. The module also includes a power conditioner configured to activate a voltage sequencer (e.g., bias controller) when power is received from a power source. The voltage sequencer is configured to sequentially apply voltage to a gate of each amplifier and sequentially apply voltage to a drain of each amplifier.

Simons, Rainee N↗

Biomarker Sensors and Method for Multi-Color Imaging and Processing of Single-Molecule Life Signatures

The invention is a device including array of active regions for use in reacting one or more species in at least two of the active regions in a sequential process, e.g., sequential reactions. The device has a transparent substrate member, which has a surface region and a silane material overlying the surface region. A first active region overlies a first portion of the silane material. The first region has a first dimension of less than 1 micron in size and has first molecules capable of binding to the first portion of the silane material. A second active region overlies a second portion of the silane material. The second region has a second dimension of less than 1 micron in size, second molecules capable of binding to the second portion of the active region, and a spatial distance separates the first active region and the second active region.

Wade, Lawrence A.↗

High-Efficiency Power Module

One or more embodiments of the present invention pertain to an all solid-state microwave power module. The module includes a plurality of solid-state amplifiers configured to amplify a signal using a low power stage, a medium power stage, and a high power stage. The module also includes a power conditioner configured to activate a voltage sequencer (e.g., bias controller) when power is received from a power source. The voltage sequencer is configured to sequentially apply voltage to a gate of each amplifier and sequentially apply voltage to a drain of each amplifier.

Simons, Rainee N.↗

Simulation of Inflated Pahoehoe Lava Flows

A new stochastic model simulates late-stage pahoehoe lobes where random processes dominate emplacement. The model prescribes probabilistic rules for determining where and when parcels of lava move within the lobe. Unlike a classical Brownian motion random walk, the model allows individual parcels to remain dormant, but fluid, for multiple time steps. The randomness of parcel volume transfers within the lobe interior as well as at the margins qualitatively reflects inflation processes observed in the field. The fraction of inflated volume to total volume increases with the total volume, with greater than 75% of the lobe volume contributed through inflation for typical lobes. The influence on planform shape and topographic cross-sectional profiles of total volume, source area and shape, topographic confinement, and sequential breakouts at the lobe margins, are all explored with the stochastic model. Each of these factors influences the overall lobe thickness and width. The model provides a means for assessing the relative importance of these processes through comparisons with field data. For the first time, Gaussian and parabolic functions are quantitatively fit to field measurements of pahoehoe lobes. Both functional forms provide adequate description of the cross-sectional flow shapes. When comparing simulated lobes to field data, sequential breakouts at the lobe margins are found to be an important process controlling the final topographic distribution of observed pahoehoe lobes.

modeling↗

Model Order Reduction of Aeroservoelastic Model of Flexible Aircraft

This paper presents a holistic model order reduction (MOR) methodology and framework that integrates key technological elements of sequential model reduction, consistent model representation, and model interpolation for constructing high-quality linear parameter-varying (LPV) aeroservoelastic (ASE) reduced order models (ROMs) of flexible aircraft. The sequential MOR encapsulates a suite of reduction techniques, such as truncation and residualization, modal reduction, and balanced realization and truncation to achieve optimal ROMs at grid points across the flight envelope. The consistence in state representation among local ROMs is obtained by the novel method of common subspace reprojection. Model interpolation is then exploited to stitch ROMs at grid points to build a global LPV ASE ROM feasible to arbitrary flight condition. The MOR method is applied to the X-56A MUTT vehicle with flexible wing being tested at NASA/AFRC for flutter suppression and gust load alleviation. Our studies demonstrated that relative to the fullorder model, our X-56A ROM can accurately and reliably capture vehicles dynamics at various flight conditions in the target frequency regime while the number of states in ROM can be reduced by 10X (from 180 to 19), and hence, holds great promise for robust ASE controller synthesis and novel vehicle design.

aeroelasticity↗

Simulated Space Radiation: Murine Skeletal Responses During Recovery and with Mechanical Stimulation

Simulated space radiation at doses similar to those of solar particle events or a round-trip sojourn to Mars (1-2Gy) may cause skeletal tissue degradation and deplete stem/progenitor cell pools throughout the body. We hypothesized that simulated space radiation (SSR) causes late, time-dependent deficits in bone structure and bone cell function reflected by changes in gene expression in response to anabolic stimuli. We used a unique sequential dual ion exposure (proton and iron) for SSR to investigate time-dependence of responses in gene expression, cell function, and microarchitecture with respect to radiation and an anabolic stimulus of axial loading (AL). Male 16-wk C57BL6/J mice (n=120 total) were exposed to 0Gy (Sham, n=10), 56Fe (2Gy, positive control dose, n=10), or sequential ions for SSR (1Gy 1H/56Fe/1H, n=10) by total body irradiation (IR), and the tissues were harvested 2 or 6 mo. later. Further, to assess the response to anabolic stimuli, we subjected additional Sham-AL (n=15) and SSR-AL (n=15) groups to rest-inserted tibial axial loading (AL) starting at 1 and 5 months post-IR (-9N, 60 cycles/day, 3 days/wk, 4 wks). Exposure to 56Fe caused a significant reduction in cancellous bone volume fraction (BV/TV) compared to Sham (-34%) and SSR (-20%) in the proximal tibia metaphysis at 2-months post-IR; however BV/TV for SSR group was not different than Sham. Both 56Fe and SSR caused significant reduction in trabecular number (Tb.N) compared to Sham (-33% and -16%, respectively). Further, Tb.N for 56Fe (2Gy) was significantly lower than SSR (-21%). Ex vivo culture of marrow cells to assess growth and differentiation of osteoblast lineage cells 6 months post-IR showed that both 56Fe and SSR exposures significantly impaired colony formation compared to Sham (-66% and -54%, respectively), as well as nodule mineralization (-90% and -51%, respectively). Two-way analysis of variance showed that both mechanical loading and radiation reduced BV/TV, mechanical loading reduced trabecular thickness (Tb.Th), and radiation reduced Tb.N, at both time points. To assess acute response to mechanical stimuli, samples were harvested from a subset of Sham-AL (n=5) and SSR-AL (n=5) to measure changes in gene expression levels. Preliminary results indicate that axial loading increased expression of the antioxidant response gene Nfe2l2 and the osteoprogenitor-associated marker Runx2 in the bone marrow cells, and there was an interaction effect between axial loading and radiation at 2-months post-IR. Additional analyses of gene expression levels in the mineralized tissue are in progress. Results indicate that SSR caused persistent impairment of osteoblast colony formation and nodule mineralization 6-mo post-IR. Contrary to our hypothesis, simulated space radiation did not impair the ability of cancellous bone to respond to a mechanical anabolic stimulus, consistent with our previous findings [1]. Hence, compressive loading may be a potential countermeasure against spaceflight-induced bone loss.

Bone Loss↗

Simulated Space Radiation: Murine Skeletal Responses During Recovery and with Mechanical Stimulation

Simulated space radiation at doses similar to those of solar particle events or a round-trip sojourn to Mars (1-2Gy) may cause skeletal tissue degradation and deplete stem/progenitor cell pools throughout the body. We hypothesized that simulated space radiation (SSR) causes late, time-dependent deficits in bone structure and bone cell function reflected by changes in gene expression in response to anabolic stimuli. We used a unique sequential dual ion exposure (proton and iron) for SSR to investigate time-dependence of responses in gene expression, cell function, and microarchitecture with respect to radiation and an anabolic stimulus of axial loading (AL). Male 16-wk C57BL6/J mice (n=120 total) were exposed to 0Gy (Sham, n=10), 56Fe (2Gy, positive control dose, n=10), or sequential ions for SSR (1Gy 1H/56Fe/1H, n=10) by total body irradiation (IR), and the tissues were harvested 2 or 6 mo. later. Further, to assess the response to anabolic stimuli, we subjected additional Sham-AL (n=15) and SSR-AL (n=15) groups to rest-inserted tibial axial loading (AL) starting at 1 and 5 months post-IR (-9N, 60 cycles/day, 3 days/wk, 4 wks). Exposure to 56Fe caused a significant reduction in cancellous bone volume fraction (BV/TV) compared to Sham (-34%) and SSR (-20%) in the proximal tibia metaphysis at 2-months post-IR; however BV/TV for SSR group was not different than Sham. Both 56Fe and SSR caused significant reduction in trabecular number (Tb.N) compared to Sham (-33% and -16%, respectively). Further, Tb.N for 56Fe (2Gy) was significantly lower than SSR (-21%). Ex vivo culture of marrow cells to assess growth and differentiation of osteoblast lineage cells 6 months post-IR showed that both 56Fe and SSR exposures significantly impaired colony formation compared to Sham (-66% and -54%, respectively), as well as nodule mineralization (-90% and -51%, respectively). Two-way analysis of variance showed that both mechanical loading and radiation reduced BV/TV, mechanical loading reduced trabecular thickness (Tb.Th), and radiation reduced Tb.N, at both time points. To assess acute response to mechanical stimuli, samples were harvested from a subset of Sham-AL (n=5) and SSR-AL (n=5) to measure changes in gene expression levels. Preliminary results indicate that axial loading increased expression of the antioxidant response gene Nfe2l2 and the osteoprogenitor-associated marker Runx2 in the bone marrow cells, and there was an interaction effect between axial loading and radiation at 2-months post-IR. Additional analyses of gene expression levels in the mineralized tissue are in progress. Results indicate that SSR caused persistent impairment of osteoblast colony formation and nodule mineralization 6-mo post-IR. Contrary to our hypothesis, simulated space radiation did not impair the ability of cancellous bone to respond to a mechanical anabolic stimulus, consistent with our previous findings. Hence, compressive loading may be a potential countermeasure against spaceflight-induced bone loss.

MURINE SKELETAL↗

Microbiological Horticultural Internship Final Abstract

GMO dwarf plum (Prunus domestica) is being evaluated as a candidate food crop for long duration space flight missions. A project was undertaken to develop a protocol for transferring selected genetic lines of GMO plum (previously maintained in pots and propagated by cuttings at NASA's Kennedy Space Center in Florida) into in vitro tissue culture. In vitro culture may reduce the space, materials, and labor required to maintain the current lines of GMO plum and better preserve them for future study. Fresh plant material from three selected GMO plum lines (NASA-5, NASA-10, and NASA-11) and a non-modified control line (Control-5) were processed aseptically into in vitro culture on four separate occasions. The impact of multiple treatments on the successful growth of GMO plum tissue in vitro were tested: Parent explant tissue type (leaf petioles, stem nodes containing buds and internodes without buds), tissue sterilization method [soaking in 10 bleach only (5 min for petioles or 10 min for nodesinternodes), or soaking in 70 EtOH (30 sec) followed by 10 bleach (5 min for petioles and 10 min for nodesinternodes)], and media type [three Murashige and Skoog-based medias (SGM, SRM, and SRM+2,4-D) and one recipe containing woody plant media (WPM)]. 22.2 of the plates containing tissue sterilized with bleach alone developed microbial contamination after two weeks, while only 11.8 of plates containing tissue sterilized sequentially with EtOH and bleach developed contamination. Node bud tissue from all four genetic lines of plum produced leafy plantlets on SGM and SRM media after 4-6 weeks. The most numerous and well-developed plantlets were present on SGM. Upon reaching suitable size, plantlets were transferred to larger media containers for further growth. Some node bud growth occurred on SRM+2,4-D and WPM 2.5 weeks after plating, however as of yet no pieces on SRM+2,4-D have adequate development for transferring. Tissue pieces from NASA-5 plated on WPM are developing leaves and will be ready for transferring soon. Petioles and internode tissue lacking bud meristem failed to produce any plantlets on any plates, however petioles developed large masses of undifferentiated callus tissue on SRM+2,4-D media. These callused pieces were then transferred to SRM+TDZ media, which resulted in even larger callus growth but no differentiation. All four selected plum lines were successfully transitioned into in vitro culture. Nodes from NASA-5 and NASA-10 lines produced the most numerous and well-developed leafy plantlets in vitro, while those from NASA-11 and Control-5 were generally smaller, slower growing and less numerous. The best method overall was to use young stem node tissue with buds, surface sterilize the pieces sequentially with 70 EtOH and 10 bleach, and then plate them onto SGM media. Future areas of study will include introducing additional genetic lines of GMO plum into in vitro culture, attempting to induce shoot growth in petiole callus tissue, testing methods (such as cold storage) that extend the time interval between transferring explants into new media, and testing viability of plantlets transferred from in vitro culture back to traditional pot culture.

bioregenerative life support↗

Next Generation Aircraft Design Considering Airline Operations and Economics

Traditional approaches to design and optimization of a new system often use a system-centric objective and do not take into consideration how the operator will use this new system alongside other existing systems. When the new system design is incorporated into the broader group of systems, the performance of the operator-level objective can be sub-optimal due to the unmodeled interaction between the new system and the other systems. Among the few available references that describe attempts to address this disconnect, most follow an MDO (Multidisciplinary Design Optimization)-motivated sequential decomposition approach of first designing a very good system and then providing this system to the operator who, decides the best way to use this new system along with the existing systems. This paper addresses this issue by including aircraft design, airline operations, and revenue management "subspaces"; and presents an approach that could simultaneously solve these subspaces posed as a monolithic optimization problem rather than the traditional approach described above. The monolithic approach makes the problem an expensive Mixed Integer Non-Linear Programming problem, which are extremely difficult to solve. To address the problem, we use a recently developed optimization framework that simultaneously solves the subspaces to capture the "synergy" in the problem that the previous decomposition approaches did not exploit, addresses mixed-integer/discrete type design variables in an efficient manner, and accounts for computationally expensive analysis tools. This approach solves an 11-route airline network problem consisting of 94 decision variables including 33 integer and 61 continuous type variables. Simultaneously solving the subspaces leads to significant improvement in the fleet-level objective of the airline when compared to the previously developed sequential subspace decomposition approach.

Roy, Satadru↗

Distributed Spatiotemporal Motion Planning for Spacecraft Swarms in Cluttered Environments

This paper focuses on trajectory planning for spacecraft swarms in cluttered environments, like debris fields or the asteroid belt. Our objective is to reconfigure the spacecraft swarm to a desired formation in a distributed manner while minimizing fuel and avoiding collisions among themselves and with obstacles. In our prior work we proposed a novel distributed guidance algorithm for spacecraft swarms in static environments. In this paper, we present the Multi-Agent Moving-Obstacles Spherical Expansion and Sequential Convex Programming (MAMO SE-SCP) algorithm that extends our prior work to include spatiotemporal constraints such as time-varying, moving obstacles and desired time-varying terminal positions. In the MAMO SE-SCP algorithm, each agent uses a spherical-expansion-based sampling algorithm to cooperatively explore the time-varying environment, a distributed assignment algorithm to agree on the terminal position for each agent, and a sequential-convex-programming-based optimization step to compute the locally-optimal trajectories from the current location to the assigned time-varying terminal position while avoiding collision with other agents and moving obstacles. Simulation results demonstrate that the proposed distributed algorithm can be used by a spacecraft swarm to achieve a time-varying, desired formation around an object of interest in a dynamic environment with many moving and tumbling obstacles.

Bandyopadhyay, Saptarshi↗

NASA’s Galactic Cosmic Ray Simulator at Brookhaven National Laboratory: Enabling Human Exploration Missions to the Moon and Mars

With exciting new Agency plans for a sustainable return to the moon, astronauts will once again leave earth’s protective magnetosphere only to endure higher levels of radiation from galactic cosmic rays (GCR) and the possibility of a large solar particle event (SPE). Gateway, lunar landers, and surface habitats will be designed to protect crew against SPE’s with vehicle optimization, storm shelter concepts, and/or active dosimetry; however, the ever-penetrating GCR will continue to pose the most significant health risks especially as lunar missions increase in duration and as NASA sets its aspirations on Mars. The primary risks of concern include epithelial carcinogenesis and leukemia, central nervous system effects resulting in potential in-mission cognitive or behavioral impairment and/or late neurological disorders, degenerative tissue effects including cataracts, circulatory and heart disease, as well as, potential immune system decrements impacting multiple aspects of crew health. Characterization and mitigation of these risks requires a significant reduction in the large biological uncertainties of chronic (low-dose rate) heavy ion exposures and the validation of countermeasures in a relevant space environment. NASA has developed the “GCR Simulator” at Brookhaven National Laboratory to generate a spectrum of ion beams that approximates the primary and secondary GCR field experienced at human organ locations within a deep-space vehicle. The majority of the dose is delivered from protons (~65-75%) and alpha particles (~10-20%) with heavier ions (Z≤3) contributing the remainder. The “GCR Simulator” exposes state-of-the art cellular and animal model systems to 33 sequential beams including 4 proton energies plus degrader, 4 helium energies plus degrader, and the five heavy ions of C, O, Si, Ti, and Fe. A polyethylene degrader is used with the 100 MeV/n H and He beams to provide a nearly continuous distribution of low energy particles. A 500 mGy exposure, delivering doses from each of the 33 beams, requires 75-90 minutes. To more closely simulate the low dose rates found in space, sequential field exposures can be divided into daily fractions over 2-4 weeks, with individual fractions as low as 0.1-0.2 mGy. In the large beam configuration (60 x 60 cm(exp 2)), 54 special housing cages can accommodate 2-3 mice each for a 70-75 min duration or ~15 individually housed rats. Emerging research results from our 2018 runs utilizing mixed heavy ion fields and protracted space exposures are forthcoming and deepen our understanding of the numerous health risks faced by our astronauts. This paper discusses NASA’s innovative technology solution for a ground-based GCR simulator at the NASA Space Radiation Laboratory to enable future exploration missions.

Lisa C Simonsen↗