Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Software Construction”

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 1,315 records · Page 73

Oxygen plant breadboard design, and techniques for improving mission figure-of-merit

A breadboard oxygen plant to process anaerobic carbon dioxide is designed and constructed; the objective is not only to produce a key propellant component extraterrestrially, but also to develop the important technologies that are necessary for a successful operation of in-situ materials utilization hardware. The solid electrolytic cells are supplied to specifications by an established vendor. The cell thermal control, electrical control, and flow control are installed after detailed designs. Extensive data are obtained that characterize the operation of the plant as the input parameters are varied. The initial mass, energy, and volume-needs provide the input to a figure-of-merit software program to calculate the impact of various candidate technologies upon the overall mission. The desirability of studies on storage and high-density propellants is shown. This task dovetails into other tasks that are evaluating alternative cell materials, catalysis for compactness, and smart sensors for effective control.

Ramohalli, Kumar↗

Video System for Viewing From a Remote or Windowless Cockpit

A system of electronic hardware and software synthesizes, in nearly real time, an image of a portion of a scene surveyed by as many as eight video cameras aimed, in different directions, at portions of the scene. This is a prototype of systems that would enable a pilot to view the scene outside a remote or windowless cockpit. The outputs of the cameras are digitized. Direct memory addressing is used to store the data of a few captured images in sequence, and the sequence is repeated in cycles. Cylindrical warping is used in merging adjacent images at their borders to construct a mosaic image of the scene. The mosaic-image data are written to a memory block from which they can be rendered on a head-mounted display (HMD) device. A subsystem in the HMD device tracks the direction of gaze of the wearer, providing data that are used to select, for display, the portion of the mosaic image corresponding to the direction of gaze. The basic functionality of the system has been demonstrated by mounting the cameras on the roof of a van and steering the van by use of the images presented on the HMD device.

Banerjee, Amamath↗

From Bricks to Clicks: Mapping the White Space in Building Innovation

It is a critical national imperative to transform the buildings sector, yet innovation is impeded by deployment failures that leave promising technologies stranded. Conventional market reports and techno-economic analysis provide an insufficient understanding of markets and resource allocation for emerging building technologies. They omit crucial commercialization factors such as ecosystem maturity and adoption friction, where the coordinated participation of a network of suppliers, contractors, financiers, regulators, and integrators is required to scale solutions. This study addresses these gaps by introducing an evaluation framework grounded in front-line data from six years of the DOE's IMPEL incubator, comprising experience from 300 building-sector innovators and the adjacent, complex ecosystem. Our methodology synthesizes top-down market analysis with bottom-up, practitioner-level data across five megatrends: (M1) Affordable materials and industrialized construction; (M2) Healthy and efficient mechanical systems; (M3) Intelligent building operations; (M4) Buildings as grid assets; and (M5) High-density power and cooling for data centers and therein identify twelve "white space" technology opportunities. Next, we develop a multi-criteria scoring rubric to rank these opportunities based on parameters, i.e., Affordability, Quality of Life, Reliability, and Security, yielding composite ‘Demand’ and ‘Maturity’ indices. Our results indicate that the most significant white spaces may not be incremental products but a new class of ‘Ecosystem Enablers’, such as logistics platforms, orchestration layers, and automated compliance software that solve structural deployment gaps. This paper summarizes this transparent, evidence-based, practitioner-informed evaluation framework for policymakers and investors to re-evaluate policy and resource allocation and unlock scalable market transformation.

Singh, Reshma↗

Embedded Real-Time Linux for Instrument Control and Data Logging

When I moved to the west. coast to take a job at NASA's Ames Research Center in Mountain View, CA, I was impressed with the variety of equipment and software which scientists at the center use to conduct their research. was happy to find that I was just as likely to see a machine running Lenox as one running Windows in the offices and laboratories of NASA Ames (although many people seem to use Moos around here). I was especially happy to find that the particular group with whom I was going to work, the Atmospheric Physics Branch at Ames, relied almost entirely on Lenox machines for their day-to-day work. So it was no surprise that when it was time to construct a new control system for one of their most important pieces of hardware, a switch from an unpredictable DOS-based platform to an Embedded Linux-based one was a decision easily made. The system I am working on is called the Solar Spectral Flux Radiometer (SSFR), a PC-104 based system custom-built by Dr. Warren Gore at Ames. Dr. Gore, Dr. Peter Pilewskie, Dr. Maura Robberies and Larry Pezzolo use the SSFR in their research. The team working on the controller project consists of Dr. Gore, John Pommier, and myself. The SSFR is used by the ,cities Atmospheric Radiation Group to measure solar spectral irradiance at moderate resolution to determine the radiative effect of clouds, aerosols, and gases on climate, and also to infer the physical properties of aerosols and clouds. Two identical SSFR's have been built and successfully deployed in three field missions: 1) the Department of Energy Atmospheric Radiation Measurement (ARM) Enhanced Shortwave Experiment (ARESE) II in February/March, 2000; 2) the Puerto Rico Dust Experiment (PRIDE) in July, 2000; and 3) the South African Regional Science Initiative (SAFARI) in August/September, 2000. Additionally, the SSFR was used to acquire water vapor spectra using the Ames Diameter base-path multiple-reflection absorption cell in a laboratory experiment.

Clanton, Sam↗

A feasibility study of dynamic adaptive radiotherapy for nonsmall cell lung cancer

Purpose: The final state of the tumor at the end of a radiotherapy course is dependent on the doses given in each fraction during the treatment course. This study investigates the feasibility of using dynamic adaptive radiotherapy (DART) in treating lung cancers assuming CBCT is available to observe midtreatment tumor states. DART adapts treatment plans using a dynamic programming technique to consider the expected changes of the tumor in the optimization process. Methods: DART is constructed using a stochastic control formalism framework. It minimizes the total expected number of tumor cells at the end of a treatment course, which is equivalent to maximizing tumor control probability, subject to the uncertainty inherent in the tumor response. This formulation allows for nonstationary dose distributions as well as nonstationary fractional doses as needed to achieve a series of optimal plans that are conformal to the tumor over time, i.e., spatiotemporally optimal plans. Sixteen phantom cases with various sizes and locations of tumors and organs-at-risk (OAR) were generated using in-house software. Each case was planned with DART and conventional IMRT prescribing 60 Gy in 30 fractions. The observations of the change in the tumor volume over a treatment course were simulated using a two-level cell population model. Monte Carlo simulations of the treatment course for each case were run to account for uncertainty in the tumor response. The same OAR dose constraints were applied for both methods. The frequency of replanning was varied between 1, 2, 5 (weekly), and 29 times (daily). The final average tumor dose and OAR doses have been compared to quantify the potential dosimetric benefits of DART. Results: The average tumor max, min, mean, and D95 doses using DART relative to these using conventional IMRT were 124.0%–125.2%, 102.1%–114.7%, 113.7%–123.4%, and 102.0%–115.9% (range dependent on the frequency of replanning). The average relative maximum doses for the cord and esophagus, mean doses for the heart and lungs, and D05 for the unspecified tissue resulting 84%–102.4%, 99.8%–106.9%, 66.9%–85.6%, 58.2%–78.8%, and 85.2%–94.0%, respectively. Conclusions: It is feasible to apply DART to the treatment of NSCLC using CBCT to observe the midtreatment tumor state. Potential increases in the tumor dose and reductions in the OAR dose, particularly for parallel OARs with mean or dose–volume constraints, could be achieved using DART compared to nonadaptive IMRT.

60 APPLIED LIFE SCIENCES↗

Initial Development of A Digital Twin Model for an Electrified Aircraft Propulsion Emulation Rig

In support of aviation fuel burn and emission reduction goals, NASA is pursing high-payoff research investments that promise to transform aviation. This includes investments in Electrified Aircraft Propulsion (EAP), which relies on the generation, storage, transmission, and use of electrical power for producing thrust and optimizing propulsion system efficiency. Multiple technology challenges must be addressed to unlock the full potential of EAP. This includes advances in propulsion controls, which will be vital for ensuring coordinated efficient operation of the complex integrated subsystems that comprise EAP architectures. To support EAP controls research, the NASA Glenn Research Center has developed the Hybrid Propulsion Emulation Rig (HyPER). The HyPER laboratory hardware includes shaft-mounted electric machines, power converters, power supplies, power distribution cables, and an energy storage device that can be reconfigured to represent a variety of EAP architectures. It also includes an integrated real-time computer system that hosts developed EAP control software and turbomachinery simulations. This enables the electrical system and rotating shafts of EAP designs to be implemented in actual hardware and integrated with turbomachinery simulations and system-level EAP control logic implemented in software. In this form, the HyPER laboratory provides a partially simulated, partially hardware-in-the-loop test environment enabling the initial development and evaluation of EAP control technology. A prerequisite for the development of EAP control designs is the availability of a system model that accurately reflects the operation of the electrical system hardware. To support this need, a digital twin model of the HyPER electrical system hardware is under development. This model is being coded in the MATLAB Simulink environment and uses the NASA-developed Electrical Modeling and Thermal Analysis Toolbox (EMTAT) to construct a digital twin framework. EMTAT contains generic electrical component building blocks that are simulated at turbomachinery timescales. Associated inputs and outputs allow the blocks to be combined to model complete electrical systems. The EMTAT blocks also contain adjustable internal maps and parameters that can be set to reflect the operation of a specific electrical component. For the HyPER digital twin, the settings of these EMTAT block internal maps and parameters is determined through machine learning approaches applied to characterization run data collected from the laboratory. During characterization runs the laboratory electrical system hardware is subjected to a full range of torque, speed, and power settings. Acquired data is then used to estimate EMTAT block parameters using a variety of machine learning techniques. The resulting digital twin model is found to match the operation of actual HyPER hardware with an accuracy suitable for control development purposes. It also holds promise for other applications including modeling the performance of HyPER laboratory reconfigurations and model-based anomaly detection. Planned follow-on work to automate post-processing of acquired laboratory data to update the HyPER digital twin model will also be presented and discussed.

Electrified Aircraft Propulsion↗

Temporal Analysis and Scene Change Detection in Multispectral Overhead Imagery

Scene change detection can be a tedious and time consuming process especially when concerning large geographical areas, and the process can be even more cumbersome when analyzing changes in an area over large spans of time. Developing a useful way to help analysts recognize at what points in time significant changes to a scene have occurred can allow them to better focus their efforts in characterizing events. Applications include: Facility monitoring, Construction chronology, Monitoring of vehicle/aircraft activity, Characterization of larger sequences of events. In large areas exceeding hundreds to thousands of square kilometers in size, it can be difficult localizing when scene changes have occurred. Analysts can spend hours going through imagery to try to identify new construction, monitor facility activities, monitor vehicle movement, etc. where the object of interest may only be a few square meters. Our goal is to help cut down this time by giving analysts change maps with hot spots of change, allowing them to focus on regions that have experienced actual change in time frames they're interested in. Additionally, by combining these change maps into layers within a data cube, analysts can examine the change maps from a temporal perspective, allowing events to be characterized over spans of time. By opening the data cube in an imaging software capable of separating the layers, we can analyze the change maps sequentially, allowing us to examine scene changes occurring over time. As an example, we examined overhead imagery from Planet Labs of what appears to be a parking lot on Fort Irwin over the course of a year using ENVI, a geospatial satellite imagery analysis software. Using ENVI, we generate a graph of changes over time, and notice a particular segment near the end of our analysis window where no changes are detected. Examination of the actual satellite imagery reveals that during this time span, the parking lot was empty. This could be due to facility shutdown for maintenance or upgrades, or possibly even total workforce/vehicle fleet movement. Information like this could help analysts better characterize events, as well as to help create clearer timelines in larger sequences of events. Workflow steps: - Collect multiple maps of the same AOI (Area of Interest) during a time span of interest; - Generate change maps from AOI maps; - Generate data cube from change maps. An analyst can use the data cube to help inspect an AOI for activities within a time span of interest. If an event of interest is discovered, the analyst can then refer to the maps corresponding to the appropriate dates and times in the data cube to see precisely what is transpiring. The biggest objective being worked on is improving the change detection methodology employed. We currently use PCA-EM (Principal Component Analysis with Expectation Maximization), but we are currently focusing on implementing IR-MAD (Iteratively Reweighted Multivariate Alteration Detection) to be used in conjunction with PCA-EM in an effort to decrease false positivity and noise in the change maps we generate.

42 ENGINEERING↗

Analysis, testing, and operation of the MAGI thermal control system

The Aerospace Corporation has completed the development of the Mineral and Gas Identifier (MAGI) sensor - an airborne multi-spectral infrared instrument that is designed to discriminate surface composition and to detect gas emissions from the environment. Sensor performance was demonstrated in a series of flights aboard a Twin Otter aircraft in December 2011 as a stepping stone to a future satellite sensor design. To meet sensor performance requirements the thermal control system was designed to operate the HgCdTe focal plane array (FPA) at 50 K with a 1.79 W heat rejection load to a 44.7 K sink and the optical assembly at 100 K with a 7.5 W heat load to a 82.3 K sink. Two commercial off-theshelf (COTS) Sunpower Stirling cryocoolers were used to meet the instrument’s cooling requirements. A thermal model constructed in Thermal Desktop was used to run parametric studies that guided the mechanical design and sized the two cryocoolers. This paper discusses the development, validation, and operation of the MAGI thermal control system. Detailed energy balances and temperature predictions are presented for various test cases to demonstrate the utility and accuracy of the thermal model. Model inputs included measured values of heat lift as a function of input power and cold tip temperature for the two cryocoolers. These measurements were also used to make predictions of the cool-down behavior from ambient conditions. Advanced heater software was developed to meet unique requirements for both sensor cool-down rate and stability at the set point temperatures.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Report on activities and findings under DOE grant “Collaborative research. An Interactive Multi-Model for Consensus on Climate Change”

The project takes a hierarchical approach. The supermodeling scheme was first studied exhaustively with simple systems of ordinary differential equations. Results were described in detail in the previous report. The principal findings were that 1) for highly non-linear systems, such as Lorenz-63, including systems which describe phenomena on very different (atmosphere/ocean) times scales, supermodeling is far superior to any form of output-averaging; 2) negative coefficients can be used to advantage in situations where all models err in the same way, but to different degrees; 3) an interesting variant of supermodeling, “weighted supermodeling”, is the limiting case where inter-model nudging coefficients in the originally conceived “connected supermodel” become infinite, but with fixed ratios, corresponding to a direct combination of the tendencies that appear in corresponding equations for the alternative models; 4) noise is useful for avoiding local optima in training the inter-model coefficients in the supermodel. The supermodeling scheme was then investigated with simple quasigeostrophic (QG) models. As described in the previous report, it was found that QG models on a sphere can be coupled most efficaciously by working in a basis which captures the most variance, rather than the most instability, a somewhat unexpected result that still deserves scrutiny in a broader context. Further studies (since the last report) with QG channel models addressed the central question of when supermodeling is superior to output averaging in situations where nonlinearites are less extreme than with the ODEs initially studied. It was found that for realistic variations in a parameter in the QG model, output averaging is sufficient to capture all but the most subtle quantitative and qualitative behavior. Supermodeling helps when qualitative differences between the models result from unrealistically large parameter differences, or when very detailed spatial structure of the modes of variability are of interest. Therefore, the scheme may still be useful in the case of full climate models with qualitatively different parametrization schemes. A supermodel was constructed from the intermediate-complexity SPEEDO model, a primitive equation model with ocean and land. Versions defined by different parameter choices, in a realistic range, were connected and the coefficients trained. Some improvement was found as compared to output averaging. The learning algorithm used thus far gives sub-optimal, but still useful results when the CO 2 level and other parameters are varied. Spatial structure remains to be studied. The first use of supermodeling with full climate models has been with variants of the ECHAM model that use different convection schemes. As yet the models are only connected at the ocean-atmosphere interface, where weighted combinations of fluxes from the two atmospheres are passed to a common ocean, and the weights adapted during a training period. The supermodel was surprisingly successful at avoiding unrealistic features such as the double-ITCZ (Intertropical Convergence Zone), a problem that arises in both of the two models run separately. The supermodels constructed thus far have not identified dynamical regime shifts in future climate. Thus the planned connection with the work of Tsonis on the relationship between regime shifts and synchronization/de-synchronization among the major climate modes (see U. Wisconsin report) has not yet been made. However the network analysis of the climate system, in observations and models, that was done in conjunction with that study, shows that models differ strongly from one another and from observations in regard to the dynamical structure described by correlation networks [Steinhaeuser and Tsonis 2013], providing a further justification for supermodeling. Toward a general software framework for supermodeling, three versions of CAM (the Community Atmosphere Model) at NCAR were configured for inter-model nudging using the DART (Data Assimilation Research Testbed) capability to stop and re-start models in synchrony. It was clearly established that the inter-model nudging adds almost no computational burden to the runs, but there appears to be a problem with the re-initialization software that is still being debugged. Publications: Several papers were published on the basic idea of the interactive multi-model (supermodel) including demonstrations with low-order ODEs. The last of these, a semi-philosophical review paper on the relevance of synchronization generally, encountered considerable resistance but was finally published in Entropy [Duane 2015]. A paper on the ECHAM/COSMOS supermodel, containing the most promising results so far [Shen et al. 2015] is presently under review.

58 GEOSCIENCES↗

PaRSEC: A Software Framework for Performance and Productivity on Hybrid, Manycore Platforms

As the era of computer architectures dominated by serial processors ends, the convergence of several unprecedented challenges suggests that closing the longstanding "application–architecture performance gap" will become more challenging than ever. To address this problem, the Parallel Runtime Scheduling and Execution Control (PaRSEC) project created a modular software framework that achieved two major objectives: first, it built a task-based runtime capable of delivering portable performance to a wide range of science and engineering applications at all levels of the platform pyramid, including the upcoming 100 Pflop/s systems and then exascale; and second, it supported and facilitated the work of developers in migrating their legacy codes and writing entirely new ones for the emerging hybrid and massively parallel manycore processor system designs. PaRSEC will support multiple domain-specific languages capable of increasing the developers' productivity while also providing the runtime with the constructs and flexibility necessary to exploit the maximal parallelism from parallel applications. Extensive preliminary research in dense linear algebra showed convincingly that a parameterized task graph representation that symbolically describes the algorithm content can achieve the project's twofold objective within that domain. The research also strongly suggested that this powerful method could be generalized to a far-wider variety of applications.

97 MATHEMATICS AND COMPUTING↗

Development of a quadrupole-based Secondary-Ion Mass Spectrometry (SIMS) system at Lewis Research Center

The design, construction, and initial use of an ion microprobe to carry out secondary ion mass spectrometry (SIMS) of solid samples is reported. The system is composed of a differentially pumped custom-made UHV (Ultra High Vacuum) chamber, a quadrupole mass spectrometer and a telefocus A-DIDA ion gun with the capability of producing beams of Cesium, as well as inert and reactive gases. The computer control and acquisition of the data were designed and implemented using a personal computer with plug-in boards, and external circuitry built as required to suit the system needs. The software is being developed by using a FORTH-like language. Initial tests aimed at characterizing the system, as well as preliminary surface and depth-profiling studies are presently underway.

Vargas-Aburto, Carlos↗

Robot Electronics Architecture

An electronics architecture has been developed to enable the rapid construction and testing of prototypes of robotic systems. This architecture is designed to be a research vehicle of great stability, reliability, and versatility. A system according to this architecture can easily be reconfigured (including expanded or contracted) to satisfy a variety of needs with respect to input, output, processing of data, sensing, actuation, and power. The architecture affords a variety of expandable input/output options that enable ready integration of instruments, actuators, sensors, and other devices as independent modular units. The separation of different electrical functions onto independent circuit boards facilitates the development of corresponding simple and modular software interfaces. As a result, both hardware and software can be made to expand or contract in modular fashion while expending a minimum of time and effort.

Garrett, Michael↗

Prefabricated High-Strength Rebar Systems with High-Performance Concrete for Accelerated Construction of Nuclear Concrete Structures

This project aimed to reduce the field construction times and fabrication costs of reinforced concrete (RC) nuclear structures through the use of: 1) high-strength steel deformed reinforcing bar (rebar); 2) prefabricated high-strength rebar (HSR) assemblies with headed anchorages; and 3) high-strength concrete (HSC). The focus of the project was not to develop new innovations on materials, but rather to fill a major knowledge gap on the effectiveness, code conformity, and viability (i.e., practicality, commercial availability) of existing high-strength materials in nuclear structures, especially in shear walls, their connections/joints, and around penetrations. These advances promote the Nuclear Energy Enabling Technologies Advanced Methods for Manufacturing (NEET-1) goals of accelerating deployment schedules by at least 6 months and reducing component fabrication costs by 20% or more. Toward this vision, the following objectives were identified and completed: Develop limit-benefit and cost-benefit analysis frameworks: The structural and economic limits and benefits of HSR and HSC in nuclear walls were evaluated. Importantly, it was found that modest increases in concrete strength up to 10.0 ksi and rebar yield strength up to 100 ksi result in the most economic designs and improved structural performance (Barbachyn et al., 2017a and Barbachyn et al., 2017b). Also, an industry survey was distributed to determine the cost benefits associated with prefabrication. Importantly, on-site worker-hours are significantly reduced, allowing for significantly accelerated construction schedules (Devine et al. 2018b). Develop an optimization methodology for structural design: An optimization study was deemed not necessary since the trivial solution with maximized use of high-strength materials and prefabrication always resulted in the largest cost and time savings. Instead, the benefits (and limits) of high-strength materials and prefabrication on construction costs and on-site construction time were investigated through a parametric study. Cost-reductions through the use of HSR and HSC were found to be greater than 40%. Also, on-site construction time of nuclear shear walls can be reduced by up to 83% through the use of prefabricated rebar assemblies. Conduct experimental evaluations of nuclear shear walls and wall-foundation joints: A large scale experimental program was completed on shear-critical RC cantilever deep beams. From these experiments, it was demonstrated that increasing rebar yield strength had a greater effect on increasing lateral strength than increasing the concrete compressive strength. Further, using HSR together with HSC resulted in the highest lateral strength and displacement ductility (Devine et al. 2018a). Additionally, large-scale reversed-cyclic lateral load tests were conducted on RC shear walls. It was demonstrated that through the utilization of HSR and HSC, a wall with 55% reduced vertical and horizontal rebar area was able to achieve 91% of the peak lateral strength of a conventional wall using state-of-practice materials with the same geometry. Further, trim reinforcement with headed anchorages around the penetrations proved to be effective. Develop validated numerical simulation models: Numerical modeling was completed in two phases during this project using 3 different finite element software packages. The first phase used existing measured data from previous experimental studies on stocky RC walls to validate simplified predictive models. Models using two different programs were validated based on a database of 38 stocky walls (Barbachyn et al., 2017a). The second phase occurred after experimental testing using a third and more detailed finite element package. Prediction improvements for the initial stiffness, lateral deformations, damage propagation, and failure mechanisms were targeted. The resulting detailed models more accurately predicted the peak lateral strength, initial and secant stiffnesses, lateral deformations, and cracking patterns of the wall test specimens subjected to reversed-cyclic lateral loading as compared to the simplified pretest models. Develop validated design procedures, tools, and criteria: This project evaluated the accuracy of existing closed-form design equations from U.S. building design standards and previous research (Barbachyn et al. 2017a and Devine et al. 2018a). It was shown that the current predictive equations for shear strength capacity need to be revisited as they provide significant scatter and gross overestimates, indicating the potential for unconservative designs. Further, for both the deep beam and shear wall specimens, the numerical models and flexural capacity predictions provided the most accurate strength predictions. Develop cost-effective field construction procedures: To promote the use of prefabricated rebar assemblies, the following construction conditions where prefabrication would be used instead of in-place rebar tying were identified from an industry survey: 1) to save on construction schedule; 2) to improve safety and/or quality control; 3) for areas with heavy rebar congestion; and 4) for structures with significant repetition in rebar layout. All of these conditions directly apply and benefit nuclear construction where construction costs and schedules are extensive, safety and quality are of utmost importance, the reinforcement is extremely dense, and the reinforcement layout is repetitive in many regions of the shear walls. Additionally, an experimental study was conducted to investigate the changes in bar spacing (with respect to code-required rebar spacing and placement tolerances) when a horizontally assembled prefabricated two-dimensional (2D) rebar mat or three-dimensional (3D) rebar cage is lifted (or tripped) to a vertical position. It was found that the bars involved in both the lateral translation of the rebar assemblies (i.e., movement of the assembly in its horizontal position) and the tripping process were most susceptible to large spacing changes, and thus, their positions within the assembly would need to be checked after the placement of the assembly in place within the formwork. Importantly, the spacings of all of the other bars in the assembly were not affected significantly by the lateral translation and tripping process, thereby eliminating the need to recheck their positions within the assembly (Devine et al. 2018b).

36 MATERIALS SCIENCE↗

Multiscale Modeling and Uncertainty Quantification for Nuclear Fuel Performance

In this project, we will address the challenges associated with constructing high fidelity multiscale models of nuclear fuel performance. We (*) propose a novel approach for coupling mesoscale and macroscale models, (*) devise efficient numerical methods for simulating the coupled system, and (*) devise and analyze effective numerical approaches for error and uncertainty quantification for the coupled multiscale system. As an integral part of the project, we will carry out analysis of the effects of upscaling and downscaling, investigate efficient methods for stochastic sensitivity analysis of the individual macroscale and mesoscale models, and carry out a posteriori error analysis for computed results. We will pursue development and implementation of solutions in software used at Idaho National Laboratories on models of interest to the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Autonomous Image Analysis for Future Mars Missions

To explore high priority landing sites and to prepare for eventual human exploration, future Mars missions will involve rovers capable of traversing tens of kilometers. However, the current process by which scientists interact with a rover does not scale to such distances. Specifically, numerous command cycles are required to complete even simple tasks, such as, pointing the spectrometer at a variety of nearby rocks. In addition, the time required by scientists to interpret image data before new commands can be given and the limited amount of data that can be downlinked during a given command cycle constrain rover mobility and achievement of science goals. Experience with rover tests on Earth supports these concerns. As a result, traverses to science sites as identified in orbital images would require numerous science command cycles over a period of many weeks, months or even years, perhaps exceeding rover design life and other constraints. Autonomous onboard science analysis can address these problems in two ways. First, it will allow the rover to preferentially transmit "interesting" images, defined as those likely to have higher science content. Second, the rover will be able to anticipate future commands. For example, a rover might autonomously acquire and return spectra of "interesting" rocks along with a high-resolution image of those rocks in addition to returning the context images in which they were detected. Such approaches, coupled with appropriate navigational software, help to address both the data volume and command cycle bottlenecks that limit both rover mobility and science yield. We are developing fast, autonomous algorithms to enable such intelligent on-board decision making by spacecraft. Autonomous algorithms developed to date have the ability to identify rocks and layers in a scene, locate the horizon, and compress multi-spectral image data. We are currently investigating the possibility of reconstructing a 3D surface from a sequence of images acquired by a robotic arm camera. This would then allow the return of a single completely in focus image constructed only from those portions of individual images that lie within the camera's depth of field. Output from these algorithms could be used to autonomously obtain rock spectra, determine which images should be transmitted to the ground, or to aid in image compression. We will discuss these algorithms and their performance during a recent rover field test.

Gulick, V. C.↗

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software

Model-based development and automated code generation are increasingly used for production code in safety-critical applications, but since code generators are typically not qualified, the generated code must still be fully tested, reviewed, and certified. This is particularly arduous for mathematical and control engineering software which requires reviewers to trace subtle details of textbook formulas and algorithms to the code, and to match requirements (e.g., physical units or coordinate frames) not represented explicitly in models or code. Both tasks are complicated by the often opaque nature of auto-generated code. We address these problems by developing a verification-driven approach to traceability and documentation. We apply the AUTOCERT verification system to identify and then verify mathematical concepts in the code, based on a mathematical domain theory, and then use these verified traceability links between concepts, code, and verification conditions to construct a natural language report that provides a high-level structured argument explaining why and how the code uses the assumptions and complies with the requirements. We have applied our approach to generate review documents for several sub-systems of NASA s Project Constellation.

Denney, Ewen W.↗

A Virtual Laboratory for Aviation and Airspace Prognostics Research

Integration of Unmanned Aerial Vehicles (UAVs), autonomy, spacecraft, and other aviation technologies, in the airspace is becoming more and more complicated, and will continue to do so in the future. Inclusion of new technology and complexity into the airspace increases the importance and difficulty of safety assurance. Additionally, testing new technologies on complex aviation systems and systems of systems can be challenging, expensive, and at times unsafe when implementing real life scenarios. The application of prognostics to aviation and airspace management may produce new tools and insight into these problems. Prognostic methodology provides an estimate of the health and risks of a component, vehicle, or airspace and knowledge of how that will change over time. That measure is especially useful in safety determination, mission planning, and maintenance scheduling. In our research, we develop a live, distributed, hardware- in-the-loop Prognostics Virtual Laboratory testbed for aviation and airspace prognostics. The developed testbed will be used to validate prediction algorithms for the real-time safety monitoring of the National Airspace System (NAS) and the prediction of unsafe events. In our earlier work1 we discussed the initial Prognostics Virtual Laboratory testbed development work and related results for milestones 1 & 2. This paper describes the design, development, and testing of the integrated tested which are part of milestone 3, along with our next steps for validation of this work. Through a framework consisting of software/hardware modules and associated interface clients, the distributed testbed enables safe, accurate, and inexpensive experimentation and research into airspace and vehicle prognosis that would not have been possible otherwise. The testbed modules can be used cohesively to construct complex and relevant airspace scenarios for research. Four modules are key to this research: the virtual aircraft module which uses the X-Plane simulator and X-PlaneConnect toolbox, the live aircraft module which connects fielded aircraft using onboard cellular communications devices, the hardware in the loop (HITL) module which connects laboratory based bench-top hardware testbeds and the research module which contains diagnostics and prognostics tools for analysis of live air traffic situations and vehicle health conditions. The testbed also features other modules for data recording and playback, information visualization, and air traffic generation. Software reliability, safety, and latency are some of the critical design considerations in development of the testbed.

LVC-DE↗

Waste Water Brine Purification through Electrodialysis Ion Exchange

Reutilizing resources onboard the International Space Station (ISS) and for future deep space missions are critical for mission longevity and sustainability. Waste water brine produced from water recovery systems contain chemical species that could be processed into a potential fertilizer for future plant systems.Fertilizer production can be achieved through a process called electrodialysis ion exchange. Waste water containing inorganic salt components are fed through a series of ion exchange membranes to produce fertilizer (a phosphate rich stream), electrolysis-grade water, and other useful commodities.A test bed was constructed to conduct controlled experiments and an experimental design procedure developed to determine the feasibility of the process. Conductivity and pH probes were utilized to determine the ion concentration in each of the product streams, along with ion chromatography (IC) to define the exact concentration of each ion in every stream throughout the experiment. This is crucial in order to convey the effectiveness of ion removal from the incoming waste water stream.The waste water and electrolyte streams were prepared in the lab prior to experimentation. Additionally, the ion exchange membrane configurations were developed and Opto 22 data analysis software incorporated to conduct measurements in real time.Ions successfully diffused across their respective membranes into the concentrate, acid, and base streams. This resulted in pure water, a phosphate rich stream, and a separate anion/hydrogen and cation/hydroxide stream.

Hancock, Matthew L.↗