Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Range Manual”

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.

394 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Some Aeronautical Communications Experiments

Classically there has existed an asymmetry between the computing and communicating sides of aerospace systems. Over the past few decades, this asymmetry has shifted to favoring communication link technologies, meaning that advancements in available central processing units (CPUs), storage devices, and internal data buses have stagnated. Indeed, the increased emphasis placed on refining subsystem performance such as with antenna bandwidth in phased arrays, amplifier power efficiency, software defined radio (SDR) flexibility and encoding for data compression and error correction has given rise to successful debuts of multi-gigabit-per-second data return from long space-link distances. These accomplishments are easily quantifiable through link budgets and illustrate what is possible, but also reveal the deficiencies in overall communications capabilities. In particular, the ever-accelerating presence of aerospace vehicles gives rise to newer and larger classes of challenges to address the needs of 21st century systems. Furthermore remote sensing and imaging capabilities have far outpaced our ability to transmit their products to the ground, so we are increasingly dependent on pre-processing and downselection to contend with the communications bottleneck. No longer may we depend upon the constrained logistics in delivering end-to-end data delivery through manual reconfigurations, static event scheduling and execution on a per-vehicle basis, for these methods do not scale and therefore must give way to dynamic, networked approaches with an overall systems view in mind. Emerging mission requirements exhibit a trend toward multiple smaller-scale vehicles working together to perform dissimilar observations. Such operations necessitate sensor fusion across a constellation, and where data processing may be distributed throughout a fairly disconnected network whose topology changes over time in non-deterministic manners. Individual communications link performance is still very relevant to deploying an effective communications system, but now must be embedded within a greater architecture of capability to optimally utilize the bandwidth available from each link to generate an ultimate end-to-end quality of service. The deleterious effects of timing uncertainty across the arrangement presents a challenge to measurement synchronization and delivery, so a successful deployed system needs to be tolerant to the delays inherent in time-of-light between elements and digital processing latencies existing at each node. In this presentation we share the flight test results from a high performance Gbps laser communications terminal evaluated with a suite of store and forward capabilities called High-rate Delay Tolerant Networking (HDTN). The communications payload is operated over Lake Erie across a range of configurations including several convergence layers, and is evaluated to determine recovery time after link disruptions, information loss, efficiency and speed. The effectiveness of utilizing a flying laboratory to increase the Technology Readiness Level (TRL) of an integrated system in relevant environments is discussed, as well as the value of conducting aeronautics experiments to retire risk for technology infusion into space missions. Upcoming flight campaigns will be presented, including opportunities to demonstrate secure command and control, data intensive hyperspectral imaging, quantum link characterization, 4k High Definition (HD) video streaming and internetworked space-ground-aero relay operations. These experiments will pave the way for future missions which will depend upon interoperability across disparate government and privately owned networks, involve contention with uncertain and dynamic timing, and require agility to autonomously configure optimal parameters across networks of ever-increasing size and complexity to ensure data delivery. https://www1.grc.nasa.gov/space/scan/acs/tech-studies/dtn/

Daniel Raible↗
NASA NTRSDate not supplied

Digitizing Named Entities Found Within Letters of Agreement

Letters of Agreement (LOAs) are text-based air traffic control documents that contain procedures and actions agreed upon by the different parties, typically two or more FAA facilities, that are subject to an agreement. The documents contain among other things generic constraints, which are explicit and implicit combinations of procedures that limit a flight’s trajectory and affects pilot actions. For example, a controller may be required, to assign a specific altitude to an aircraft crossing the boundary between two airspaces. Although LOA generic constraints directly impact the trajectory of an aircraft, they are not currently available in a digital form that can be used for (or directly ingested into automated) flight planning. Instead, the constraints are manually input into an onboard or ground based system. LOA documents are primarily stored at a controlling facility and the generic constraints are implemented by experienced air traffic controllers and pilots primarily using voice instructions. This increases the workload of the controllers, likelihood of error (e.g., due to noisy communication) and makes it impractical for implementation with unmanned aircraft. Therefore, steps must be taken to make existing constraints machine interpretable to enable e.g., automated handoffs which in turn would reduce controller workload. With recent advances in natural language processing, especially the rise in digitization of text documents (e.g., medical documents) and automated extraction of information therein, it is now possible to extract flight specific constraints from LOAs. The goal of this work is to digitize named entities through a combination of natural language processing tasks: named entity disambiguation, toponym resolution, and numeric parsing to extract general constraint components contained within LOAs, herein referred to as Entity Enhancement (EE). Starting with a small list of named entities (e.g., ARTCC, Tower, Altitude and Speed), EE can extract the named entities while simultaneously converting the string-based output into a digital format using an ensemble of processes like rule-based gazetteers and syntactic-lexical patterns. The digital format contains a diverse set of information based on the entity label in question, ranging from standardized facility names to units of measure (e.g., feet) and other numeric information. Upon validating our approach using a truth dataset, we show an overall F1-Score of 0.71 for the extraction process. Looking beyond entity enhancement, we are also working towards the goal of completely digitizing the general constraints by performing EE and fitting them into a standardized exchange model (XM) such as the Aeronautical Information Exchange Model (AIXM). This will allow for easy distribution and dissemination of LOA constraints to air users, better searchability within documents, and enable ingestion into automated flight planning. Finally, we show a preliminary version of the proposed XM architecture and demonstrate how the model can be populated from the EE output.

Stephen S. B. Clarke↗
NASA NTRS2006

Characterization of Space Shuttle Thermal Protection System (TPS) Materials for Return-to-Flight following the Shuttle Columbia Accident Investigation

During the Space Shuttle Columbia Accident Investigation, it was determined that a large chunk of polyurethane insulating foam (= 1.67 lbs) on the External Tank (ET) came loose during Columbia's ascent on 2-1-03. The foam piece struck some of the protective Reinforced Carbon-Carbon (RCC) panels on the leading edge of Columbia's left wing in the mid-wing area. This impact damaged Columbia to the extent that upon re-entry to Earth, superheGed air approaching 3,000 F caused the vehicle to break up, killing all seven astronauts on board. A paper after the Columbia Accident Investigation highlighted thermal analysis testing performed on External Tank TPS materials (1). These materials included BX-250 (now BX-265) rigid polyurethane foam and SLA-561 Super Lightweight Ablator (highly-filled silicone rubber). The large chunk of foam from Columbia originated fiom the left bipod ramp of the ET. The foam in this ramp area was hand-sprayed over the SLA material and various fittings, allowed to dry, and manually shaved into a ramp shape. In Return-to-Flight (RTF) efforts following Columbia, the decision was made to remove the foam in the bipod ramp areas. During RTF efforts, further thermal analysis testing was performed on BX-265 foam by DSC and DMA. Flat panels of foam about 2-in. thick were sprayed on ET tank material (aluminum alloys). The DSC testing showed that foam material very close to the metal substrate cured more slowly than bulk foam material. All of the foam used on the ET is considered fully cured about 21 days after it is sprayed. The RTF culminated in the successful launch of Space Shuttle Discovery on 7-26-05. Although the flight was a success, there was another serious incident of foam loss fiom the ET during Shuttle ascent. This time, a rather large chunk of BX-265 foam (= 0.9 lbs) came loose from the liquid hydrogen (LH2) PAL ramp, although the foam did not strike the Shuttle Orbiter containing the crew. DMA testing was performed on foam samples taken fiom a simulated PAL ramp panel. It was found that the smooth rind on the foam facing the cable tray did significantly affect the properties of foam at the PAL ramp surface. The smooth rind increased the storage modulus E' of the foam as much as 20- 40% over a temperature range of -145 to 95 C. Because of foam loss fiom the PAL ramp, future Shuttle flights were grounded indefinitely to allow further testing to better understand foam properties. The decision was also made to remove foam from the LH2 PAL, ramp. Other RTF efforts prior to the launch of Discovery included

Wingard, Doug↗
NASA NTRS2014

Exercise Effects on the Course of Gray Matter Changes Over 70 Days of Bed Rest

Long duration spaceflight affects posture control, locomotion, and manual control. The microgravity environment is an important causal factor for spaceflight induced sensorimotor changes through direct effects on peripheral changes that result from reduced vestibular stimulation and body unloading. Effects of microgravity on sensorimotor function have been investigated on earth using bed rest studies. Long duration bed rest serves as a space-flight analogue because it mimics microgravity in body unloading and bodily fluid shifts. It has been hypothesized that the cephalad fluid shift that has been observed in microgravity could potentially affect central nervous system function and structure, and thereby indirectly affect sensorimotor or cognitive functioning. Preliminary results of one of our ongoing studies indeed showed that 70 days of long duration head down-tilt bed rest results in focal changes in gray matter volume from pre-bed rest to various time points during bed rest. These gray matter changes that could reflect fluid shifts as well as neuroplasticity were related to decrements in motor skills such as maintenance of equilibrium. In consideration of the health and performance of crewmembers both inand post-flight we are currently conducting a study that investigates the potential preventive effects of exercise on gray matter and motor performance changes that we observed over the course of bed rest. Numerous studies have shown beneficial effects of aerobic exercise on brain structure and cognitive performance in healthy and demented subjects over a large age range. We therefore hypothesized that an exercise intervention in bed rest could potentially mitigate or prevent the effects of bed rest on the central nervous system. Here we present preliminary outcomes of our study.

Koppelmans, V.↗
NASA NTRS2012

Integrating Engineering Data Systems for NASA Spaceflight Projects

NASA has a large range of custom-built and commercial data systems to support spaceflight programs. Some of the systems are re-used by many programs and projects over time. Management and systems engineering processes require integration of data across many of these systems, a difficult problem given the widely diverse nature of system interfaces and data models. This paper describes an ongoing project to use a central data model with a web services architecture to support the integration and access of linked data across engineering functions for multiple NASA programs. The work involves the implementation of a web service-based middleware system called Data Aggregator to bring together data from a variety of systems to support space exploration. Data Aggregator includes a central data model registry for storing and managing links between the data in disparate systems. Initially developed for NASA's Constellation Program needs, Data Aggregator is currently being repurposed to support the International Space Station Program and new NASA projects with processes that involve significant aggregating and linking of data. This change in user needs led to development of a more streamlined data model registry for Data Aggregator in order to simplify adding new project application data as well as standardization of the Data Aggregator query syntax to facilitate cross-application querying by client applications. This paper documents the approach from a set of stand-alone engineering systems from which data are manually retrieved and integrated, to a web of engineering data systems from which the latest data are automatically retrieved and more quickly and accurately integrated. This paper includes the lessons learned through these efforts, including the design and development of a service-oriented architecture and the evolution of the data model registry approaches as the effort continues to evolve and adapt to support multiple NASA programs and priorities.

Carvalho, Robert E.↗
NASA NTRSDate not supplied

Micrometer to Atomic Scale Characterisation of Primitive Astromaterials Using A Novel Method, Metis-Fa: A Coordinated Atom Probe Tomography, Transmission Electron Microscopy and NanoSIMS Approach

Introduction: Presolar grains preserve isotopic, chemical and microstructural records of physical and chemical processing, and formation mechanisms within a vast range of evolved stellar systems, the interstellar medium, solar nebula and their parent bodies. These evolutionary records are preserved at the micrometric to atomic scale, requiring coordinated studies to expand our understanding of evolutionary processes occurringthroughout ours and external stellar systems [1]. NanoSIMS enabled rapid in situ identification and isotopic characterisation of presolar grains and their stellar origins using 17O/16O and 18O/16O, and 13C/12C isotopic ratios [1]. Coordination with transmission electron microscopy (TEM) revealed crystallographic and localised contextual relationships and quantitively constrained their major and minor compositions [1]. However, trace elements cannot be quantified, the most sensitive geochemical tracers of environmental conditions, essential to unravelling the chemical record of their evolutionary pathway and parent stellar systems [2-3] . Furthermore, owing to the combination of technical limitations (only 5 – 7 isotopes can be measured per NanoSIMS run) and their small grain sizes of 100 nm < 3 μm (with rare exceptions in nanodiamonds (2 nm ≤) and SiC (< 40 μm)), the number of measurable isotopes per grain volume is limited [1,3] . Through more comprehensive isotopic studies of presolar grains, NanoSIMS studies have shown the importance of the latter, identifying Fe and Mg as important indicators of nuclear synthetic processing and their stellar origins, respectively [4- 5]. Coordination of NanoSIMS and Atom Probe Tomography (APT) revealed morphological signatures, and isotopic and chemical signatures at major to trace levels without requirements for preselection of elements [6]. However, crystallographic signatures in localized contextual relationships cannot be measured. Consequently, coordination of NanoSIMS, TEM and APT is essential to gain access to almost all contextual, structural and geochemical signatures within each presolar grain.Transmission electron microscopy requires a 100 nm thin lamella which is unstable in APT and would not produce any viable data. Atom probe tomography requires a needle-shaped specimen which when measured in TEM removes the local context, impacts the quality of the TEM diffraction images due to the shank angle of the needle, and can alter the chemistry of beam sensitive materials from the higher degree of surface exposure at the tip. To address these issues, we developed METIS-Fa (Multi-technical measurements of Electron Transparent materials using an Indium Sandwich - a FIB approach). A novel method which enables coordination of NanoSIMS, TEM and APT for generalized and targeted studies of individual grains, including beam sensitive materials, without compromising sample preparation requirements for TEM and APT. This method requires only indium and a Focus Ion Beam (FIB), minimizing the movement of fragile materials while still enabling preparation of TEM lamella into APT needles. Samples: Initial experimental development and testing of the method occurred at Astromaterials Research and Exploration Science (ARES), Johnson Space Centre (JSC), NASA and APT measurements and needle preparation occurred at JdLC, Curtin University. Synthetic silicate samples were used as analogs for presolar silicates when performing a trial run of the method. Samples were extracted from a polished thin section created at JSC, NASA, comprised of 38 wt.% Si, 17 wt.% FeO, 13 wt.% MgO, 12 wt.% Al, 11 wt.% Ca based on electron microprobe analysis (EMPA) [8] . Experimental details, pressure and temperature conditions were presented in [8] and references therein. Testing of the capability to target individual grains in mineral matrices using this method for acquisition in APT, measured matrix regions in meteoritic thin sections of primitive meteorites. These meteorites and their identified presolar grains for future targeted studies are detailed in [9]. Techniques: The TEM-FIB lamella were prepared using a FIB. An e-beam assisted pt deposition was used as a protective coating for the synthetic and meteoritic samples. When targeting individual grains, a secondary e-beam assisted pt deposition button is placed over the desired grain before the protective coating to denote its location. A JEOL 2500SE field-emission TEM was used for high-resolution imaging, energy-dispersive X-ray (EDX) and electron diffraction data.TheMETIS-Fa method was experimentally designed, tested and executed using a FIB at ARES, JSCNASA. Needles for APT were prepared using the Tescan Lyra3 GM Dual Beam Focus Ion Beam (FIB) Field Emission SEM (FE-SEM) at the JdLC, Curtin University. Atom probe tomography measurements were conducted using a CAMECA Local Electrode Atom Probe, LEAP 4000X HR. Two pure indium needles were analyzed initially to constraining acquisition parameters and stability under the beam. Manual acquisition was required to maintain evaporation of specimen’s at the apex and monitor interactions with measurement parameters. Experimental Design: Indium foil is pressed onto an Al stub with a pneumatic press and mounted into the FIB adjacent to the TEM-FIB lamella of interest. Using a FIB, two indium slices (5 μm x ~300 nm x 3 μm) are extracted from indium foil and aligned with the TEM-FIB lamella before touching the TEM-FIB lamella. Each slice is then attached through cold welding to the FIB-TEM lamella. This approach eliminates the need for chemical treatments and proved effective for aligning the Indium within the region of interest for APT, holding it in place for up to 4 days during testing.Once both indium slices are attached within their pre-determined region per grain targeting requirements, they are gradually melted onto the FIB-TEM lamella.When targeting a specific grain, measurements should be taken of the pt button and its distance from edge to edge of the lamella before and after sandwiching. A secondary button should be placed over the same region after the Indium slices have been attached to improve precision when preparing APT needles. Results: Figure 1 shows two indium slices melted onto a FIB-TEM lamella, adding additional bulk for preparation into APT needles as shown in Figure 2 [7] . The latter was essential so samples could be measured in TEM and APT without compromising sample preparation requirements and consequently data quality and acquisition stability. METIS-Fa proved effective forimproving geometry. Figure 3 shows a successful APTrun of the synthetic silicate. EMPA, TEM and APTshowed no chemical alterations. During targetingtesting, a solar silicate grain was successfully identifiedand measured in TEM, and prepared into an APTneedle. However, the indium was melted too long during sample preparation, causing expansion andformation of internal porosity leading to sample loss.Conclusion: METIS-Fa greatly expands the number of isotopic and chemical signatures measured per grain volume, and enables measurements of contextual, structural, crystallographic, isotopic and geochemical signatures within individual grains. Gaining access to such a vast range of evolutionary signatures required for expanding our understanding of external stellar and planetary systems and the evolution of our solar system. This method was designed for application to a vast range of phases including being sensitive materials and thus provides a way for coordination of NanoSIMS, TEM and APT not just for the study of presolar grains and by extension primitive astromaterials, but studies in a vast range of other fields including the geosciences and material sciences.Acknowledgments: Thankyou to ARES, JSC, NASA; JdLC Curtin University and Space Science Technology Centre for the use of laboratory facilities and funding [confirm].

Nicole D Nevill↗
NASA NTRSDate not supplied

Quality Control Methods of Tower Data at Kennedy Space Center’s Launch Complex 39-B and the USAF Cape Canaveral 500 Foot Tower

The National Aeronautics and Space Administration (NASA) has long used meteorological data from weather towers located at Kennedy Space Center (KSC) and the United States Air Force’s Eastern Range(ER) in support of their various launch vehicles and climate studies. Some of the most valuable data is gathered at the Launch Complex 39-B (LC39-B) and the 500 foot tower located approximately two miles west of LC39-B and three miles north of the Vehicle Assembly Building (VAB). The data from LC39-B gives NASA Space Launch System (SLS) engineers valuable insight into the weather the vehicle can expect at the pad, while the 500 foot tower has a longer period of record and has been used by the Shuttle and SLS programs. However, numerous data quality (DQ) control issues have arisen when utilizing this data for analysis. In addition, instrumentation tends to deteriorate faster than normal due to the corrosive nature of the high salt content in the air. NASA’s Natural Environments branch has developed several QC databases of these towers, but these studies were for fixed periods of records. EV44 identified a need for a continually updated and QC’ed database of tower data not only to provide along term QC’ed database for vehicle and climate analyses, but also to provide the capability to investigate recent weather events such as downbursts and other high wind events. This study follows the methods developed in prior Natural Environment QC tower databases, which includes variable specific QC thresholds and checks used to generate QC flags. However, this study developed new techniques such as the development and design of the graphical user interface (GUI) for manual verification, and the creation of the final monthly QC files.

Quality Control↗
NASA NTRS2013

A Framework for Robust Multivariable Optimization of Integrated Circuits in Space Applications

Application Specific Integrated Circuit (ASIC) design for space applications involves multiple challenges of maximizing performance, minimizing power and ensuring reliable operation in extreme environments. This is a complex multidimensional optimization problem which must be solved early in the development cycle of a system due to the time required for testing and qualification severely limiting opportunities to modify and iterate. Manual design techniques which generally involve simulation at one or a small number of corners with a very limited set of simultaneously variable parameters in order to make the problem tractable are inefficient and not guaranteed to achieve the best possible results within the performance envelope defined by the process and environmental requirements. What is required is a means to automate design parameter variation, allow the designer to specify operational constraints and performance goals, and to analyze the results in a way which facilitates identifying the tradeoffs defining the performance envelope over the full set of process and environmental corner cases. The system developed by the Mixed Signal ASIC Group (MSAG) at the Goddard Space Flight Center is implemented as framework of software modules, templates and function libraries. It integrates CAD tools and a mathematical computing environment, and can be customized for new circuit designs with only a modest amount of effort as most common tasks are already encapsulated. Customization is required for simulation test benches to determine performance metrics and for cost function computation. Templates provide a starting point for both while toolbox functions minimize the code required. Once a test bench has been coded to optimize a particular circuit, it is also used to verify the final design. The combination of test bench and cost function can then serve as a template for similar circuits or be re-used to migrate the design to different processes by re-running it with the new process specific device models. The system has been used in the design of time to digital converters for laser ranging and time-of-flight mass spectrometry to optimize analog, mixed signal and digital circuits such as charge sensitive amplifiers, comparators, delay elements, radiation tolerant dual interlocked (DICE) flip-flops and two of three voter gates.

DuMonthier, Jeffrey↗
NASA NTRS2010

Improving Realism in Reduced Gravity Simulators

Since man was first determined to walk on the moon, simulating the lunar environment became a priority. Providing an accurate reduced gravity environment is crucial for astronaut training and hardware testing. This presentation will follow the development of reduced gravity simulators to a final comparison of environments between the currently used systems. During the Apollo program era, multiple systems were built and tested, with several NASA centers having their own unique device. These systems ranged from marionette-like suspension devices where the subject laid on his side, to pneumatically driven offloading harnesses, to parabolic flights. However, only token comparisons, if any, were made between systems. Parabolic flight allows the entire body to fall at the same rate, giving an excellent simulation of reduced gravity as far as the biomechanics and physical perceptions are concerned. While the effects are accurate, there is limited workspace, limited time, and high cost associated with these tests. With all mechanical offload systems only the parts of the body that are actively offloaded feel any reduced gravity effects. The rest of the body still feels the full effect of gravity. The Partial Gravity System (Pogo) is the current ground-based offload system used to training and testing at the NASA Johnson Space Center. The Pogo is a pneumatic type system that allows for offloaded motion in the z-axis and free movement in the x-axis, but has limited motion in the y-axis. The pneumatic system itself is limited by cylinder stroke length and response time. The Active Response Gravity Offload System (ARGOS) is a next generation groundbased offload system, currently in development, that is based on modern robotic manufacturing lines. This system is projected to provide more z-axis travel and full freedom in both the x and y-axes. Current characterization tests are underway to determine how the ground-based offloading systems perform, how they compare to parabolic flights, and which of the systems is preferable for specific uses. These tests were conducted with six degree of freedom robots and manual inputs. Initial results show a definitive difference in abilities of the two offload systems.

Cowley, Matthew↗
NASA NTRS2011

Integrated Lens Antennas for Multi-Pixel Receivers

Future astrophysics and planetary experiments are expected to require large focal plane arrays with thousands of detectors. Feedhorns have excellent performance, but their mass, size, fabrication challenges, and expense become prohibitive for very large focal plane arrays. Most planar antenna designs produce broad beam patterns, and therefore require additional elements for efficient coupling to the telescope optics, such as substrate lenses or micromachined horns. An antenna array with integrated silicon microlenses that can be fabricated photolithographically effectively addresses these issues. This approach eliminates manual assembly of arrays of lenses and reduces assembly errors and tolerances. Moreover, an antenna array without metallic horns will reduce mass of any planetary instrument significantly. The design has a monolithic array of lens-coupled, leaky-wave antennas operating in the millimeter- and submillimeter-wave frequencies. Electromagnetic simulations show that the electromagnetic fields in such lens-coupled antennas are mostly confined in approximately 12 15 . This means that one needs to design a small-angle sector lens that is much easier to fabricate using standard lithographic techniques, instead of a full hyper-hemispherical lens. Moreover, this small-angle sector lens can be easily integrated with the antennas in an array for multi-pixel imager and receiver implementation. The leaky antenna is designed using double-slot irises and fed with TE10 waveguide mode. The lens implementation starts with a silicon substrate. Photoresist with appropriate thickness (optimized for the lens size) is spun on the substrate and then reflowed to get the desired lens structure. An antenna array integrated with individual lenses for higher directivity and excellent beam profile will go a long way in realizing multi-pixel arrays and imagers. This technology will enable a new generation of compact, low-mass, and highly efficient antenna arrays for use in multi-pixel receivers and imagers for future planetary and astronomical instruments. These antenna arrays can also be used in radars and imagers for contraband detection at stand-off distances. This will be enabling technology for future balloon-borne, smaller explorer class mission (SMEX), and other missions, and for a wide range of proposed planetary sounders and radars for planetary bodies.

Lee, Choonsup↗
NASA NTRS2005

Formal Safety Certification of Aerospace Software

In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (t.e., they rely on the "heroic proof"). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code. In this paper, we describe a tool for formally demonstrating safety-relevant aspects of aerospace software, which largely circumvents these problems. We focus on safely properties because it has been observed that safety violations such as out-of-bounds memory accesses or use of uninitialized variables constitute the majority of the errors found in the aerospace domain. In our approach, safety means that the program will not violate a set of rules that can range for the simple memory access rules to high-level flight rules. These different safety properties are formalized as different safety policies in Hoare logic, which are then used by a verification condition generator along with the code and logical annotations in order to derive formal safety conditions; these are then proven using an automated theorem prover. Our certification system is currently integrated into a model-based code generation toolset that generates the annotations together with the code. However, this automated formal certification technology is not exclusively constrained to our code generator and could, in principle, also be integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

Denney, Ewen↗
NASA NTRSDate not supplied

Recent Developments to the Porous Microstructure Analysis (PuMA) Software

Introduction The Porous Microstructure Analysis (PuMA) software is an open source framework for image-based simulation, primarily used to determine effective properties based on material microstructure. PuMA was originally developed for the study of NASA thermal protection materials; however, many of the solvers in PuMA have applicability to a broad range of materials science applications. PuMA version 3.2 computes material surface area, pore diameters, effective thermal conductivity, continuum and rarefied tortuosity, and permeability. For anisotropic materials, PuMA can estimate material orientation and compute anisotropic thermal conductivity and elasticity. In this talk, a brief overview of the PuMA software and underlying methods will be presented, as well as some recent and ongoing developments, including the use of immersed boundary methods for image-based simulation and the development of a new weave segmentation tool, called TomoSAM. Cut-Cell method for heat and mass transfer For simulations on complex microstructures, traditional unstructured meshing techniques often prove to be difficult and time-intensive. Voxel-based solvers, which represent the surface as a staircase structure, are relatively simple to implement but can lose accuracy when feature resolution is poor. In this work, we present a novel 3D cut-cell method for solving the variable coefficient Poisson equation on complex microstructures, suitable for the determination of effective thermal conductivity or tortuosity of a material. The method uses a Marching Cubes/Marching Squares surface reconstruction to create cut-cells and determine geometric quantities. A flux-correction method is extended to 3D, with least squares gradient reconstruction, to solve for the boundary fluxes in the cut-cells. Verification cases show the solver achieves globally 2nd order accuracy on complex microstructures. TomoSAM TomoSAM, a module of the PuMA software, has been developed as a plugin for 3D Slicer, a software platform used for 3D image processing and visualization. It utilizes the Segment Anything Model (SAM), a deep learning model capable of identifying objects and generating image masks based on minimal user input. This feature enables efficient segmentation of complex 3D datasets, particularly of woven materials, from tomography or similar imaging methods, reducing the need for manual segmentation.

Tomography↗
NASA NTRSDate not supplied

Recent Developments to the Porous Microstructure Analysis (PuMA) Software

The Porous Microstructure Analysis (PuMA) software is an open source framework for image-based simulation, primarily used to determine effective properties based on material microstructure. PuMA was originally developed for the study of NASA thermal protection materials; however, many of the solvers in PuMA have applicability to a broad range of materials science applications. PuMA version 3.2 computes material surface area, pore diameters, effective thermal conductivity, continuum and rarefied tortuosity, and permeability. For anisotropic materials, PuMA can estimate material orientation and compute anisotropic thermal conductivity and elasticity. In this talk, a brief overview of the PuMA software and underlying methods will be presented, as well as some recent and ongoing developments, including the use of immersed boundary methods for image-based simulation and the development of a new weave segmentation tool, called TomoSAM. Cut-Cell method for heat and mass transfer For simulations on complex microstructures, traditional unstructured meshing techniques often prove to be difficult and time-intensive. Voxel-based solvers, which represent the surface as a staircase structure, are relatively simple to implement but can lose accuracy when feature resolution is poor. In this work, we present a novel 3D cut-cell method for solving the variable coefficient Poisson equation on complex microstructures, suitable for the determination of effective thermal conductivity or tortuosity of a material. The method uses a Marching Cubes/Marching Squares surface reconstruction to create cut-cells and determine geometric quantities. A flux-correction method is extended to 3D, with least squares gradient reconstruction, to solve for the boundary fluxes in the cut-cells. Verification cases show the solver achieves globally 2nd order accuracy on complex microstructures. TomoSAM TomoSAM, a module of the PuMA software, has been developed as a plugin for 3D Slicer, a software platform used for 3D image processing and visualization. It utilizes the Segment Anything Model (SAM), a deep learning model capable of identifying objects and generating image masks based on minimal user input. This feature enables efficient segmentation of complex 3D datasets, particularly of woven materials, from tomography or similar imaging methods, reducing the need for manual segmentation.

Tomography↗
NASA NTRSDate not supplied

Evaluation of Markerless Motion Capture for Monitoring Sensorimotor Performance

BACKGROUND Astronauts returning from long-duration exposure to microgravity frequently exhibit alterations in sensorimotor function leading to postural imbalance, impaired locomotion, and operational challenges to manual control. Mission duration and individual responses often influence both the severity of performance decrements and the variability in adaptation timelines. Postflight disruptions during functional tasks are often detected through body-worn inertial measurement unit (IMU) devices. While IMU sensors are relatively compact, the long-term wear may lead to discomfort, displacement of the sensors on the body, and restrictions in movement or crew behavior. Although IMU data offers valuable insights from a research standpoint, interpreting changes in pre- and post-flight measures can be difficult for crew support personnel beyond the research domain, which can hinder the application for medical assessments and rehabilitation. Finally, the availability of inertial sensors in-flight is limited. There is a need for unobtrusive monitoring tools to improve our ability to monitor adaptation following gravitational transitions in various postflight evaluations and rehabilitation settings. Markerless motion capture (MMC) is an evolving unobtrusive technology that builds upon decades of research with marker-based motion capture systems to provide 3D human pose estimation from multiple synchronized 2D camera views using deep learning algorithms. Markerless technology can revolutionize how data is captured pre- and post-flight and potentially in-flight during intravehicular activity by enabling pose estimation of multiple crew members from onboard camera hardware. METHODS The following presents the initial evaluation of a state-of-the-art commercial-off-the-shelf MMC system, Theia Markerless, compared to IMU devices during various ground-based functional tasks and environmental conditions. The featured functional tasks include assessments from Human Research Program (HRP) funded studies such as Sensorimotor Standard Measures and Sensorimotor Assessments. Synchronous data collected using both motion capture and IMUs are analyzed for six male and female subjects of varying anthropometry. The analysis includes limited assessments of clothing, capture volume configurations, and the tool's sensitivity to detecting performance changes after a spaceflight analog centrifuge exposure. The development of visualization tools to enhance the application of the pose estimation output is also presented. RESULTS Initial results demonstrate comparable root mean square error (RMSE) to existing literature evaluating markerless and marker-based motion capture systems. Considering the relative functional range of motion of the cervical spine, normalized error values for the markerless system’s accuracy of the head was 0.032 in pitch, 0.025 in roll, and 0.018 in yaw plane of motion across a subset of functional tasks. The raw RMSE values were 3.49, 2.25, and 2.81 degrees respectively. For the torso, results suggest normalized errors of 0.469 in pitch, 0.191 in roll, and 0.307 in yaw planes of motion and raw RMSE values of 3.52, 1.53, and 3.07 degrees respectively. The data suggests the functional demands of a particular task influences the estimation accuracy of the MMC system where more dynamic motion and cases where subjects are not upright may introduce diminished tracking accuracy. DISCUSSION The following work lays the foundation for future implementations leveraging markerless motion capture to assess the time course of recovery and provide insight for rehabilitation protocols to enhance crew readiness for the resumption of daily activities. These tools offer effective methods for anonymizing sensitive crew data, facilitating numerous applications across research, medical, and rehabilitation groups. Collaborations with the Anthropometry and Biomechanics Facility will provide further comparisons of the Markerless system to a marker-based system. ACKNOWLEDGEMENT</ This work is supported by NASA’s Exploration Systems Development Mission Directorate Mars Campaign Office Crew Health Countermeasures.

Hannah M. Weiss↗
NASA NTRSDate not supplied

In-Lab Rapid Analytical Detection of Lunar Volatiles By Universal Gas Analyzer With Comparison to GC-MS System

Introduction: The curation of permanently shadowed regions (PSRs) [1] on the lunar surface is centered around studies based upon the observed volatiles from the LCROSS mission [2]. The rapid detection of important volatile gases and vapors present in planetary bodies and Astromaterials by a standalone analytical device is an area of intense research interest in our group and Planetary Exploration & Astromaterials Research Laboratory (PEARL) facility and this work is relevant to the future preparation of viable lunar simulants for testing curation efforts down the road. The groundbreaking results obtained from the LCROSS Mission [2] open the requirements for the direct detection of volatiles present in regolith materials collected from the lunar surface. The mass spectrometry of volatile chemicals is a general technique that utilizes a set of instruments that creates charged ions from a gaseous chemical species and measures the intensities vs. mass-to-charge ratio (m/z) [3]. In this context, we discuss in-lab experimental results and procedures for rapid qualitative analysis of main LCROSS volatiles (water, H2S, NH3, CO2, and CH3OH) by a Universal Gas Analyzer (UGA) instrument. Additionally, the instrument performance was evaluated by measuring the isotopic abundance ratio of atmospheric Ar-40 to Ar-36 present in room air since, argon is a relevant gas in planetary studies as it can provide an insight and reference point to isotope studies [4]. Additional, cross comparisons were attempted and made between the two instruments to develop a robust analytical technique by comparing mass spectral data for H2S headspace samples with a Trace-1310/ ISQ 7000 (ThermoFisher Scientific.) GC-MS system. Background: The benchtop UGA System is equipped with an SRS UGA 300 quadrupole mass spectrometer designed and built by Stanford Research Systems [5]. This system can be configured for several types of gaseous chemical analysis. The inlet line continuously samples gases at low flow rates (several milliliters per minute) through a capillary limiting the intake pressure making the instrument ideal for online analysis of select gases and/or room atmosphere. Moreover, in our current UGA system, a change in composition at the inlet can be detected in about 200 milliseconds and a complete spectrum is acquired (for a range of 1-100 amu) in under 45 sec with masses measured at rates up to 25 msec per point [5]. This system provides a quick upstream analytical data that we can then compare to results obtained by our GC-MS system. Sample Preparation: Small volume (2-4 mL) of analyte sample was taken in a 10 mL glass vial and sealed with a crimped cap and purged with pure Ar or N2 gas to displace air from the top. The headspace sample was scanned by the UGA instrument at analog, histogram, and pressure vs. time modes. The isotopic abundance ratio for 40Ar-to-36Ar was estimated by measuring partial pressure vs. time scans and setting the mass at 40 and 36 respectively. Results and Discussions: In this work, we have investigated the applicability of the UGA system by qualitative analysis of a series of LCROSS volatiles measured individually. Fig. 1 demonstrates a set of vertically offset spectra for the partial pressures measured as a function of mass-to-charge (m/z) ratios. The average acquisition time for each spectrum was less than a minute suggesting that the UGA system is ideal for quick analysis of geochemical volatiles. For the cross-comparison, we analyzed an H2S headspace sample by a Trace-1310/ISQ-7000 system and compared mass spectral data with previously measured UGA histogram scan data (Fig. 2). In both cases, major peak positions are the same, however, the intensities of fragment ions ([1H132S]+ and [32S]+) are higher for UGA suggesting that the fragment ionization process is stronger in UGA compared to that of GC-MS. To investigate how the integrated area under each chromatogram varies with the headspace sample volume, a set of five H2S headspace samples with increasing volumes was analyzed by the GC-MS system (Fig. 3, inset). A small volume (e.g., 200 to 1000 µL) of H2S/H2O vapor was withdrawn from a 20 mL stock sample vial containing ~5 mL of 0.4% H2S in water by a gas-tight syringe and added to another 20 mL vial filled with argon and analyzed by the GC-MS system. Finally, the UGA detector sensitivity was evaluated by calculating the atmospheric 40Ar-to-36Ar isotopic abundance ratio in room air by running a partial pressure vs. time scan with setting the atomic mass at 40, and 36. Fig. 4(a) shows a ~25 min duration “P vs. time” scan for 40Ar (plot for 36Ar is not shown). The partial pressure values (~100 points) were corrected by subtracting the corresponding background pressure value for 37Ar and utilized to calculate 40Ar-to-36Ar isotopic abundance ratios as shown by Fig. 4b. The average isotopic abundance ratio is ~306 with a 2*STDEV ~13. This abundance ratio is significantly close to the previously reported value of 298.56 [6] and the ratio obtained by our GC-MS system (303 for a UHP grade Ar sample). Conclusions: Our study strongly evidenced that the benchtop UGA system is a valuable analytical tool for the detection of major LCROSS volatiles. The rapid scanning capability, the inexpensiveness of the whole system, and impressive detection sensitivity prove its worthiness as an essential device for advanced geochemical applications. Moreover, cross comparisons with the GC-MS provide important bridges into advanced curatorial efforts into the future. References: [1] Bickel, V.T., et al. (2021) Nat Commun 12, 5607. [2] Colaprete, A., et al. (2010) Science, 330, 463-468. [3] Glavin, D. P. et al. (2012) 2012 IEEE Aerospace Conference, 1-11. [4] Willett, C. D., et al. (2022) Geochimica et Cosmochimica Acta 329, 119-134. [5] Operation Manual and Programming Reference. (2018) Universal gas Analyzers, Stanford Research Systems. [6] Lee, J. Y., et al. (2006) Geochimica et Cosmochimica Acta 70, 4507–4512. Notes: (4 figures are attached with text as shown by the attached file)

Curation↗
NASA NTRSDate not supplied

Applicability of Micro X-Ray Fluorescence Spectroscopy to Astromaterials Curation and Research

Introduction: The Astromaterials Acquisition and Curation Office at NASA’s Johnson Space Center (JSC) curates NASA’s astromaterial sample collections which includes: Apollo samples, Luna samples, Ant-arctic meteorites, cosmic dust particles, microparticle impacts into space-flown materials, Genesis solar wind atoms, Stardust comet Wild-2 particles, Stardust inter-stellar particles, Hayabusa asteroid Itokawa particles, Hayabusa 2 asteroid Ryugu particles, and future OSIRIS-Rex asteroid Bennu particles (landing in Sep-tember, 2023) [1–3]. To enhance JSC’s advanced cu-ration capabilities, we have recently installed a high-performance micro-X-ray fluorescence (µXRF) spec-trometer to assist in sample characterization through rapid, non-destructive, in-situ elemental analyses that do not require the sample preparation protocols (i.e., polishing and carbon-coating) commonly needed for electron beam analyses. With this new instrument, we are capable of detecting all elements down to carbon in a variable-pressure or He-purged chamber for anal-ysis of a wide range of sample types. Here we describe the instrumental set-up, capabilities, and applicability of µXRF analysis to astromaterials curation and re-search. Instrumentation and Methodology: The X-ray fluorescence and computed tomography lab (X-FaCT) lab at JSC is now equipped with a Bruker M4 Tornado Plus µXRF (Fig. 1). This system is an energy-dispersive x-ray spectrometer equipped with two 60 mm2 silicon drift detectors (SDD) that are able to be used simulta-neously for output count rates ~500,000 cps. New light element windows allow detecting and analyzing the entire elemental range from carbon to americium. Two x-ray tubes (micro-focus Rh with polycapillary lenses and W with collimators of 0.5, 1.0, 2.0, and 4.5 mm) with max excitation parameters of 50 kV, 30 W and 50 kV, 40 W, respectively, allow for more flexibility of the analysis of high energy lines. The motorized X-Y-Z stage has a mapping range of 190 x 160 mm and can support samples up to 7 kg (~15.5 lbs) and a height of 120 mm [4]. Analytical modes include elemental analysis (down to ~20 µm spot size) via point, line, or area of bulk materials (rock surfaces, thin sections, thick sections, etc.) as well as coating analysis (determination of thickness and composition) of samples. This system has a variable vacuum chamber (1 mbar to 1 atm) that is also equipped with a He-purge system which accommodates vacuum sensitive samples while still allowing detection of light elements at atmospheric pressure. Utility and Applicability of µXRF in Astro-materials research and exploration science (ARES): Elemental analysis using µXRF is commonly em-ployed for both terrestrial and planetary geological science disciplines [5]. It is especially useful for analy-sis of astromaterials given the limited sample prepara-tion required, which is not feasible for certain materi-als. Here we show select applications of µXRF anal-yses of astromaterials that can, have, and will be done at JSC’s X-FaCT lab. Point analysis: In-situ spot analyses (~20 µm spot size) on a cut slab of Martian meteorite NWA 10922 allowed for the discovery, qualitative elemental analy-sis and determination of different feldspar minerals [6]. These point analyses served as an effective prelim-inary step for subsequent quantitative analyses. Ana-lytical standards can be employed for more accurate quantification of µXRF spot analyses. Area analysis: This analytical mode measures all detectable elements (from C to Am) at each pixel (>5 µm pixel size) in a user-defined area. The results are shown as elemental maps which can be extracted as 16-bit TIFF’s for further data processing. In Fig. 2. we show elemental distribution maps of the high-Ti basalt 73001,531 that have been processed using ImageJ software. From these maps you can accurately and quickly (this map took ~50 mins.) identify mineral components, such as pyroxene, plagioclase, oxides, and phosphates, compositional zoning, and mineral textures. Detection of high-Z phases: µXRF techniques are es-pecially effective at analyzing trace minerals with high-atomic-number (high-Z) elements because the high-energy characteristic X-rays used (relative to SEM EDS) allow for mapping of K lines in elements up to La (typically SEM maps use L X-ray lines for elements >Zn, and these can often have interferences). Thus, µXRF is especially suited for identifying minerals like zircon, baddeleyite, REE-rich phosphates, Fe-rich met-als, oxides, sulfides, and phosphides [4]. In Fig. 3 we show elemental distribution maps for 73001,530 where we are able to correlate the original video image with, Zr, Si, Y and Hf elemental maps together identi-fying the location of a zircon. In this location you would expect lower Si compared to surrounding mate-rial, as well as higher Zr, Y, and Hf content compared to surrounding material, all of which is confirmed by our XRF ele-mental distribution maps (Figure 2.) Conclusions: The new M4 Tornado Plus µXRF within the Astromaterials Acquisition and Curation office at NASA JSC allows for rapid and non-destructive elemental analysis of astromaterials with limited or no sample preparation. µXRF analyses pro-vide crucial compositional knowledge for the prelimi-nary examination and curation of astromaterials. This instrument enhances the advanced curation capabili-ties in the X-FaCT laboratory at JSC by allowing pro-ductive, cohesive, and non-destructive multi-modal x-ray analyses on astromaterial samples, which is neces-sary for the comprehensive curation and study of our current and future astromaterial collections. Addition-ally, µXRF can provide complimentary information to researchers for studies on astromaterials. References: [1] Allen, C. et al., (2011). Chemie De Erde Geochemistry, 71, 1-20. [2] McCubbin, F. M. et al., (2016) 47th LPSC, abstract #2668 [3] Zeigler, R. A. et al., (2017) 48th LPSC, abstract #2772 [4] Bruker User Manual [5] Young et al., (2016) Appl. Geochemistry, 72, 77-87 [6] Mor-ris, R. V. et al., (2023) 54th LPSC.

E W O'Neal↗