Search NASA⌕ Search

SEARCH · Search NASA

Results for “Proving”

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 271 records · Page 15

TPSAS-NF1676L-9990-DND

PVS (Prototype Veri cation System)1 is an interactive environment for the specification and verification of systems. PVS provides a strongly typed specification language, which is based on Higher-Order Logic. The type system of PVS supports: sub-typing, dependent-types, abstract data types, parametric types, records, unions, and tuples. The PVS theorem prover includes decision procedures for a variety of theories such as linear arithmetic, propositional logic, and temporal logic. This seminar will provide a gentle introduction to the basic and advanced features of PVS, including: theory interpretations, real number proving, batch proving, rapid prototyping, and strategy development. All these features are illustrated with simple examples and exercises.

César Muñoz↗

ALMA Spectral Line and Imaging Survey of a Low and a High Mass-Loss Rate AGB Star Between 335 and 362 GHz

Context. Low and intermediate mass stars are known to power strong stellar winds when evolving through the asymptotic giant branch (AGB) phase. Initial mass, luminosity, temperature, and composition determine the pulsation characteristics of the star and the dust species formed in the pulsating photospheric layers. Radiation pressure on these grains triggers the onset of a stellar wind. However, as of today, we still cannot predict the wind mass-loss rates and wind velocities from first principles neither do we know which species are the first to condense in the upper atmospheric regions. Aims. We aim to characterise the dominant physical, dynamical, and chemical processes in the inner wind region of two archetypical oxygen-rich (C/O<1) AGB stars, that is, the low mass-loss rate AGB star R Dor (M~ 1x10(exp 7) M☉/yr) and the high mass-loss rate AGB star IK Tau (M~5x10(exp 6) M☉/yr). The purpose of this study is to observe the key molecular species contributing to the formation of dust grains and to cross-link the observed line brightnesses of several species to the global and local properties of the star and its wind. Methods. A spectral line and imaging survey of IK Tau and R Dor was made with ALMA between 335 and 362 GHz (band 7) at a spatial resolution of ~150 mas, which corresponds to the locus of the main dust formation region of both targets. Results. Some two hundred spectral features from 15 molecules (and their isotopologues) were observed, including rotational lines in both the ground and vibrationally excited states (up to v=5 for SiO). Detected species include the gaseous precursors of dust grains such as SiO, AlO, AlOH, TiO, and TiO2.We present a spectral atlas for both stars and the parameters of all detected spectral features. A clear dichotomy for the sulphur chemistry is seen: while CS, SiS, SO, and SO2 are abundantly present in IK Tau, only SO and SO2 are detected in R Dor. Also other species such as NaCl, NS, AlO, and AlOH display a completely different behaviour. From some selected species, the minor isotopologues can be used to assess the isotopic ratios. The channel maps of many species prove that both large and small-scale inhomogeneities persist in the inner wind of both stars in the form of blobs, arcs, and/or a disk. The high sensitivity of ALMA allows us to spot the impact of these correlated density structures in the spectral line profiles. The spectral lines often display a half width at zero intensity much larger than expected from the terminal velocity, v1, previously derived for both objects (36 km/s versus v(∞)~17.7 km/s for IK Tau and 23 km/s versus v(∞)~5.5 km/s for R Dor). Both a more complex 3D morphology and a more forceful wind acceleration of the (underlying) isotropic wind can explain this trend. The formation of fractal grains in the region beyond _400 mas can potentially account for the latter scenario. From the continuum map, we deduce a dust mass of ~3.7 x 10(exp 7) M☉ and ~2 x 10(ex0 8) M☉ for IK Tau and R Dor, respectively. Conclusions. The observations presented here provide important constraints on the properties of these two oxygen-dominated AGB stellar winds. In particular, the ALMA data prove that both the dynamical and chemical properties are vastly different for this high mass-loss rate (IK Tau) and low mass-loss rate (R Dor) star.

Stars: AGB and post-AGB, Stars: mass loss, Stars: ↗

ALMA Spectral Line and Imaging Survey of a Low and a High Mass-Loss Rate AGB Star Between 335 and 362 GHz

Context. Low and intermediate mass stars are known to power strong stellar winds when evolving through the asymptotic giant branch (AGB) phase. Initial mass, luminosity, temperature, and composition determine the pulsation characteristics of the star and the dust species formed in the pulsating photospheric layers. Radiation pressure on these grains triggers the onset of a stellar wind. However, as of today, we still cannot predict the wind mass-loss rates and wind velocities from first principles neither do we know which species are the first to condense in the upper atmospheric regions. Aims. We aim to characterise the dominant physical, dynamical, and chemical processes in the inner wind region of two archetypical oxygen-rich (C/O < 1) AGB stars, that is, the low mass-loss rate AGB star R Dor (M’ ∼ 1 × 10(exp −7) M/yr) and the high mass-loss rate AGB star IK Tau (M’ ∼ 5 × 10(exp −6) M/yr). The purpose of this study is to observe the key molecular species contributing to the formation of dust grains and to cross-link the observed line brightnesses of several species to the global and local properties of the star and its wind. Methods. A spectral line and imaging survey of IK Tau and R Dor was made with ALMA between 335 and 362 GHz (band 7) at a spatial resolution of ∼150 mas, which corresponds to the locus of the main dust formation region of both targets. Results. Some two hundred spectral features from 15 molecules (and their isotopologues) were observed, including rotational lines in both the ground and vibrationally excited states (up to v = 5 for SiO). Detected species include the gaseous precursors of dust grains such as SiO, AlO, AlOH, TiO, and TiO2. We present a spectral atlas for both stars and the parameters of all detected spectral features. A clear dichotomy for the sulphur chemistry is seen: while CS, SiS, SO, and SO2 are abundantly present in IK Tau, only SO and SO2 are detected in R Dor. Also other species such as NaCl, NS, AlO, and AlOH display a completely different behaviour. From some selected species, the minor isotopologues can be used to assess the isotopic ratios. The channel maps of many species prove that both large and small-scale inhomogeneities persist in the inner wind of both stars in the form of blobs, arcs, and/or a disk. The high sensitivity of ALMA allows us to spot the impact of these correlated density structures in the spectral line profiles. The spectral lines often display a half width at zero intensity much larger than expected from the terminal velocity, v∞, previously derived for both objects (36 km/s versus v(∞) ∼ 17.7 km/s for IK Tau and 23 km/s versus v(∞) ∼ 5.5 km/s for R Dor). Both a more complex 3D morphology and a more forceful wind acceleration of the (underlying) isotropic wind can explain this trend. The formation of fractal grains in the region beyond ∼400 mas can potentially account for the latter scenario. From the continuum map, we deduce a dust mass of ∼3.7 × 10(exp −7) Mand ∼2 × 10(exp −8) M for IK Tau and R Dor, respectively. Conclusions. The observations presented here provide important constraints on the properties of these two oxygen-dominated AGB stellar winds. In particular, the ALMA data prove that both the dynamical and chemical properties are vastly different for this high mass-loss rate (IK Tau) and low mass-loss rate (R Dor) star.

L. Decin↗

An Affordable Lunar Architecture Emphasizing Commercial and International Partnering Opportunities

Since the cancellation of the Constellation Program, NASA officially has been focused on Mars as the next step for human exploration. Yet many in the space community believe that returning humans to the moon is more logical. Often-cited reasons for this include: (1) should Nature prove to be favorable, the moon could be the basis for expanding the space economy through Off-Earth Mining (OEM) and other commercial endeavors; (2) the moon is scientifically interesting and could serve as a platform for scientific facilities; and (3) useful experience could be gained there for the human journey to Mars. With this in mind, JPL’s A-Team (Architecture Team) was tasked with developing conceptual lunar surface architectures that could simultaneously provide “living on another world” proving ground experience, but would also be affordable and offer truly significant commercial and international partnering opportunities. The task also required that the resulting architectures must eventually lead to and flow seamlessly into planning for human missions to Mars in the 2030s/2040s, if “things go well.” This aspect has been critically missing in other lunar architecture proposals.

Elliott, John↗

A Fecal Processing Technology Trade Study for Water Recovery in Various Mission Duration Scenarios

To achieve long endurance human space missions such as a trip to Mars, a fully recycled or “closed loop” water system is almost essential. Even for shorter duration missions in Earth orbit, lunar orbit, or on the surface of the moon, recovering and recycling water from as many sources as possible may prove beneficial. One source of water that has not been exploited to date is human solid waste. Herein, a trade study is performed to evaluate the ability of several fecal processing technologies to recover >80% of the water content within the waste. Human solid waste (feces) contains approximately 75% water by mass, which upon quantification, translates to ~170 g of recoverable water per crewmember per day and can scale to values of ~680 kg for a crew of 4 persons on a 1,000-day long exploration mission. Several fecal processing technologies (i.e., steam reforming, vacuum drying, freeze-drying, pyrolysis, ultrasonic drying, etc.) are analyzed using an equivalent system mass (ESM) approach to assess and compare the estimated cost for recovering fecal water – in terms of mass, power, and volume equivalents – against the water recovery mass savings for each technology. Post-use volume is also used as a secondary metric for comparison to quantify the benefits of volume reduction resulting from the fecal drying process. From said analysis, clear patterns and benefits emerge that may prove helpful for future fecal processing technology development and application to space exploration missions.

Trade study↗

Results from the ASTERIA CubeSat Extended Mission Experiments

Over the past two years, JPL has used the ASTERIA (Arcsecond Space Telescope Enabling Research In Astrophysics) CubeSat as an in-flight test platform during extended missions. ASTERIA successfully completed its prime mission in early 2018, and continued to operate in low Earth orbit (LEO) for an additional twenty months. This paper describes demonstrations that were performed on the spacecraft and on the ground-based testbed during the extended mission. These demonstrations fall into three categories: Autonomy technology maturation, hardware characterization, and science discovery. Autonomy technology maturation supported three development efforts. The first shifted the spacecraft commanding paradigm from time-based sequences to Task Networks (tasknets), which allow simpler commanding and more robust onboard execution. The second demonstrated onboard orbit determination in Low Earth Orbit (LEO) without GPS. This activity used a fully-independent means of spacecraft orbit determination for Earth orbiters using only passive imaging. The third technology provided in situ hardware health state estimation using a model-based reasoning technique. These three technologies were demonstrated either in flight or on the testbed individually, and then were combined to demonstrate the capability to perform autonomous navigation on board without ground intervention, even in the presence of anomalies. Hardware characterization involved both onboard and ground-based activities. On board, nonstandard attitude control modes were commanded to characterize the spacecraft pointing jitter as a function of target brightness, reaction wheel speed, controller gain, and the number of guide stars. The results provide insights into the contribution of jitter to the ASTERIA photometry and inform the feasibility of future astrophysics small satellite missions for which jitter control is an enabling technology. On the ground, the ASTERIA Operations Team coordinated with Amazon Web Services (AWS) to configure their new ground stations to communicate with ASTERIA to prove out their viability. ASTERIA used AWS ground stations for nominal operations for the last four months of the mission. Finally, ASTERIA continued to perform exoplanet science as the spacecraft was well-suited to execute long-term monitoring of stars such as alpha Centauri to search for small transiting planets. The science team also imaged a number of interesting objects including a comet, an asteroid, cities at night, and the moon, and coordinated with other projects on Targets of Opportunity for follow-up confirmations and co-observations. Throughout the prime and the extended missions, the ASTERIA spacecraft proved to be a mighty platform that “will go into history as an innovative milestone.”[1 - Zurbuchen]

Doran, Patrick↗

Predicting Two-Dimensional Airfoil Performance Using Graph Neural Networks

Computer simulations require the use of meshes to simulate geometries. These meshes capture important geometric features of the design and can be used in machine learning modeling. This report explores the use of graph neural networks (GNNs) to learn features from two-dimensional (2D) airfoil designs represented as a set of nodes connected using edges. This type of network is common in aerospace applications: most geometries are represented as a mesh in order to perform analysis. The objective of this work is to use GNNs to predict the performance of 2D airfoils generated using the program XFOIL. The predicted performance parameters include bulk quantities such as coefficients of lift (C L ), drag (C d , C dp ), moment (C m ), and node-specific quantities such as coefficient of pressure (C p ). In this report, a spline convolutional graph-based neural network is compared with deep learning neural networks to predict both bulk and node-specific quantities. The findings indicate the GNNs are able to predict bulk quantities quite well; however, when the number of outputs is increased, the deep neural network (DNN) proves to be better in its prediction capability. Two different normalization strategies were compared in the training of both GNNs and DNNs: minmax and standard deviation. In both types of networks, standard deviation scaling proved to be the best.

machine learning↗

LIPA: Lunar Ice Perception Algorithm

The highest concentration of Lunar water-ice stores exists within the Permanently Shadowed Regions (PSRs) of the Lunar South Pole. As such, the ability to locate in situ water-ice stores in an accurate, systematic, and safe manner will prove vital for future Lunar activities which rely on hydrogen-based resources. Here we show how the strong absorptive properties of ice can be exploited (by coupling robotics, infrared imaging techniques, and machine learning) so that surface frost located in PSRs can be easily differentiated from the surrounding frozen regolith. Testbeds which simulate an icy lunar landscape were created and then imaged using a mid-wave infrared (MWIR) camera system mounted to a robotic arm (UR5e). Testbeds were imaged under two filter modes (1) wide band mode: whereby imagery captured filled a spectral range of 3.0 - 5.0 μm and (2) narrow band mode: whereby imagery captured were confined to a single central wavelength (CWL) of 3.15 ± 0.03 μm. A CWL of 3.15 μm was chosen due to the highly absorptive nature of ice at that specific wavelength. Images produced under both camera modes were processed in MATLAB. Narrow band images (NB) were subtracted from their wide band (WB) counterparts to produce differenced images (DI) which clearly demonstrated the spatial extent of ice (e.g., WB – NB = DI). Differenced images were used to train a Microsoft Azure model to discriminate between frozen regolith which did and did not contain ice. These works prove promising for future in situ resource utilization (ISRU) missions which employ robotics in combination with camera systems to advance science objectives (e.g., locate water-ice in frozen regolith) on the lunar surface.

Ane Slabic↗

National Campaign (NC)-1 Strategic Conflict Management Simulation (X4) Community Based Rules

Projected demand for transportation services in the urban environment has led to the development of several Concepts of Operation for Urban Air Mobility, or UAM. UAM is a concept for the transportation of people and goods in the metropolitan environment using small, efficient aircraft over short distances as part of an expanding multimodal transportation network. UAM will leverage emerging technologies including electric Vertical Takeoff and Landing (eVTOL) aircraft, increasing levels of automation and a new operational paradigm in dense airspace where a set of agreed-upon rules govern the procedures and interactions defining a cooperative environment in which operators are entrusted with a range of functions typically conducted by Air Traffic Control (ATC). These rules, proposed in the FAA NextGen Office’s UAM Concept of Operations [1], were originally termed Community Based Rules or Community Business Rules (CBRs), and will in the future termed Cooperative Operating Practices (COPs); this document uses the original term, CBR. CBRs are a set of rules, developed by the UAM community and (where necessary) approved by the FAA that govern the interactions between UAM entities and limit the need for ATC services including, but not limited to, separation control by ATC, addressing a fundamental challenge to scaling UAM operations. UAM community development of CBRs is anticipated to accelerate the adoption of new practices while retaining the regulatory authority of the FAA within required domains (e.g., NAS safety, security and equal access). However, there currently exists no agreed industry forum or defined procedures for CBR development. Investigation of best practices for the development of UAM CBRs was identified by NASA and the FAA NextGen Office as a research need. In collaboration with seven industry partners, NASA participated in a series of simulations that investigated elements of the envisioned UAM operations, with a primary focus on Strategic Conflict Management (SCM). The development and conduct of cooperative UAM simulations with seven industry partners provided a unique opportunity to investigate CBR development practices. Development of CBRs for the UAM SCM simulations was conducted in parallel with simulation capability development and was closely related to requirements definition for the simulations. As such, the CBR development effort presented herein had two objectives: explore CBR development practices in collaboration with the industry partners and develop an initial set of UAM CBRs to support simulation requirements definition and development. Consensus was achieved among NASA and the industry partners on 24 CBRs that were developed to support the cooperative simulation operations across five topic areas: General (related to test requirements), Operational Intent, Conformance Monitoring, Demand Capacity Balancing, and Airspace Constraint Management. Additional topic areas and CBRs were discussed but were deemed outside the scope of the simulation; these are included in the appendices. A collaborative, iterative process was employed for developing the CBRs engaging both NASA and Industry; because CBR development is envisioned to be community-driven, opportunities were sought that provided industry partners leadership roles in developing CBRs. The following key observations and recommendations may aid the UAM industry in future CBR development efforts: - The lack of a defined process proved challenging initially. Stakeholder engagement in the early stages of CBR development was intermittent and may have been due to the lack of a clear definition of roles and responsibilities of those involved in the effort. - Industry leadership of CBR topic areas proved successful. Discussions in these topic areas were engaging, with alternate viewpoints freely discussed and detailed CBRs resulting. This points to the importance of identifying the best-suited leadership in technical areas for CBR development. - Discussions within a CBR topic area were typically dominated by only a few participants. Whereas all industry partners contributed to CBR development, within each topic area, technical leadership was evident even when not formally established. This observation may indicate that smaller, focused groups may be more effective in initial CBR development than an open forum or large standards development effort (although both maybe required prior to FAA review and approval for some CBRs). - Identifying suitable forums for initial UAM CBR development and identifying the most effective industry participants and leadership will be crucial for successful CBR development. Although the operational need for UAM CBRs may not be immediate, establishing the forums and leadership to define the processes for CBR development is a prudent early step to UAM realization.

Community Based Rules↗

LIPA: Lunar Ice Perception Algorithm

Introduction: The highest concentration of Lu-nar water-ice stores exists within the Permanently Shadowed Regions (PSRs) of the Lunar South Pole [1-3]. As such, the ability to locate in situ water-ice stores in an accurate, systematic, and safe manner will prove vital for future Lunar activities which rely on hydrogen-based resources. Here we show how the strong absorptive properties of ice can be exploited so that surface ice located in PSRs can be easily differentiated from the surrounding frozen regolith. Testbeds which simulate an icy lunar landscape were created and then systematically imaged using a mid-wave infrared (MWIR) camera system. Testbeds were imaged under two filter modes (1) high-absorption (high-abs) mode: whereby imagery captured were confined to a single central wave-length (CWL) of 3.15 ± 0.03 μm and (2) low-absorption (low-abs) mode: whereby imagery cap-tured were confined to a single CWL of 3.80 ± 0.04 μm (Figure 1). High- and low-absorption modes are related to the absorptive properties of ice at each selected wavelength, respectively. Corresponding images from each filter mode were differenced (i.e., pixels were subtracted) to enhance contrast between ice-bearing and non-ice-bearing pixels, and then fed into a semantic segmen-tation model. The model was trained to detect and differentiate between water, ice, shadows, and lunar regolith. Results: Modeling results accurately discrimi-nated ice from other materials (such as frozen lunar regolith) and were used to visually resolve the spa-tial extent of surface ice. Further, outputs produced through semantic segmentation were used to estimate water-ice contents in collected imagery [(Pixels with Class = “Water Ice”)/(Sum of Pixels)*100]. Summary: These works prove promising for future in situ resource utilization (ISRU) missions which employ robotics in combination with infrared camera systems to advance science objectives (e.g., locate water-ice in frozen regolith) on the lunar sur-face. References: [1] Cannon K. M., Deutsch A. N., Head J. W., and Britt D. T. (2020) Geophysical Re-search Letters, 46, e2020GL088920. [2] Honniball C. I. et al. (2021) Nature Astronomy 5, no. 2, 121-127. [3] Li S. et al. (2018) Proceedings of the National Academy of Sciences, 115(36), 8907-8912.

A. Slabic↗

Radiation and Nuclear Technology in Planetary Cave Environments

Many technological and environmental challenges must be resolved to enable successful lunar habitation and exploration, and to maximize scientific return. This presentation is intended as a preliminary discussion on three such areas of interest with the intent to identify likely areas of mutual benefit for collaboration and data sharing between the space nuclear and radiological disciplines with the planetary cave community. First is the previously identified and studied possible application of lunar lava tubes or pits to reduce the solar and cosmic radiation environment burden on crew health and hardware reliability. This is an area of continued interest, and should be kept in the forefront of discussion during the selection of sites for potential exploration or long-term habitation. In theory, the prospect of using existing morphology presents an enticing opportunity to reduce the requirements on landed mass or construction while also reducing dose or fluence of harmful natural radiation. However, such discussions should also include the practical implications of relocating habitation hardware and personnel from a landing site to a subsurface location. Inherent risks associated with landing in proximity to the relevant terrain must also be considered and weighed against those imposed by the natural radiation environment. Second is a discussion on the means by which a long-term habitation module or base of operations may be powered throughout the lunar day-night cycle. Fission surface power presents an opportunity to establish round-the-clock power in any lunar surface environment, including permanently shadowed regions where solar panels cannot operate, or in any other non-polar region where solar radiation is available for no more than two weeks per four-week cycle. Among the drawbacks of fission surface power is the need to either land and co-locate a heavy shield to minimize radiological consequences to personnel or equipment, land and operate construction equipment capable of restructuring the in-situ regolith to provide appropriate shielding, or to make use of existing topology features (e.g. craters or pits) to serve as pre-formed radiation barriers. A realistic assessment of the practicality of this third option should involve the selection of candidate features from existing surveys, and assess the effectiveness of the approach using modern radiation transport methodologies. Consideration must be made for the needs to reject waste heat in the thermal power conversion process, which typically requires the use of large area radiators. Energy must be exchanged from the reactor and power conversion system to such radiators, and the impacts on thermal efficiency and secondary scatter of nuclear radiation must be considered. Further consideration should be made for the implications of placement of a power source such that it does not sacrifice valuable scientific opportunity. Placement of a reactor is likely to thereafter prevent personnel access within that feature. Third is a discussion on the use of portable radioisotope power systems (RPS) within confined spaces, both with respect to the dose effects of emitted nuclear radiation and also performance associated with emitted thermal radiation. Radioisotope power systems provide a unique capability to power objects with no reliance upon solar radiance. However, their useable power production relies upon the flow of heat from ‘hot side’ (decaying radioisotope) to ‘cold side’ (radiators emitting heat to space). In the case of a confined volume in vacuum such as a lunar lava tube, that radiated energy will absorb into the wall, which is already above the ‘cold background’ temperature of dark space, and then gradually rises in temperature. That temperature rise, and its implications on availability of useable electrical power, will depend upon factors such as enclosure volume, thermal emissivity/absorptivity, and thermal conductivity through the depth of absorbing media. The advantages of nuclear technology may prove to enable unique scientific exploration opportunities, both above the lunar surface and below. In turn, the unique advantages of lunar lava tubes or pits may present unique opportunities to enhance the application of these technologies and to mitigate the effects of radiation from both natural and technological sources. A discussion on these pairings may prove to be valuable to all, in our endeavor to explore our neighboring worlds.

Radiation↗

Solid-State Thermodynamic Vent System for Control of Cryogenic Propellants

A Solid-State Thermodynamic Vent System (STVS) is a novel Cryogenic Fluid Management (CFM) technology for spacecraft cryogenic propellant tanks that may reduce boiloff while providing greater control over the propellent condition. By exploiting the vacuum-induced cryocooling potential of cryogen-saturated silica aerogel material, an internal STVS heat exchanger expels some sacrificial cryogenic propellant to the vacuum of space to produce cooling within the storage tank. This cooling is transferred directly to the stored fluid, thereby reducing boiloff and increasing hold times. The primary STVS project objective was to design and build a bespoke STVS heat exchanger that employed aerogel blanket material and perform a ground demonstration of the technology using liquid nitrogen (LN2) as the cryogenic propellant. This demonstration aimed to prove that an STVS can have a positive influence on the tank boiloff, shown through a reduction in mass flow rate out of the system during operation, and exercise control over the tank pressure. Testing proved the effectiveness of the concept by reducing the LN2 boiloff rate and tank pressure by roughly 70% and 77% respectively during a single pump-down cycle, which sacrificed around 1.8 kg of propellant.

Propellant Production↗

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↗

Enhancing Air Traffic Control Planning with Automatic Speech Recognition

The decisions made during the Federal Aviation Administration Air Traffic Control System Command Center's planning teleconferences hold significant sway over the National Airspace System. Held every two hours, these teleconferences convene air traffic managers and stakeholders from across the nation to discuss airspace conditions, weather, and constraints, leading to the formulation and adjustment of traffic management initiatives. Given the critical nature of these decisions, the need for accurate and efficient record-keeping is paramount. In recent years, the application of automatic speech recognition has gained popularity across diverse industries, including aviation. While traditional applications focus on transcribing air traffic control communication, this paper explores a unique application of automatic speech recognition by converting the audio from planning teleconferences into text transcriptions. This innovative approach addresses key challenges in the field, presenting potential benefits for quality assurance, real-time participation, and downstream natural language processing tasks. A notable breakthrough in the machine learning community, namely the transformer neural network architecture, forms the backbone of the proposed solution in this paper. The transformer architecture's role in this research represents a paradigm shift in the efficiency of automatic speech recognition models. By reducing the amount of in-domain training data required, this architecture allows for the fine-tuning of such models like Whisper, originally pretrained on vast English speech datasets. The adaptability of the transformer architecture proves invaluable in capturing the nuances of aviation terminology and specific language used in planning teleconferences. Leveraging the Whisper model as a baseline, our research details the fine-tuning and validation using a dataset comprising 20 hours of meticulously transcribed planning teleconferences. Notably, the baseline pretrained Whisper model exhibited a word error rate of 18.77%. Through the fine-tuning process, the model achieved a substantial improvement, demonstrating an impressive performance with a reduced word error rate of 6.82%. This substantial decrease in WER not only highlights the effectiveness of the transformer architecture but also emphasizes the practical advancements achieved through the application of automatic speech recognition in this specific domain. The utilization of automatic speech recognition in planning teleconferences in this work introduces several novelties. Firstly, the creation of text transcriptions offers a valuable tool for quality assurance and facilitates the efficient review of teleconferences. This is an important aspect of the proposed solution, given the time-sensitive and high-stakes nature of decisions made during these meetings. Furthermore, text-searchable transcriptions provide a streamlined approach for locating and validating critical information, potentially saving hours of manual effort in searching through audio recordings. Moreover, our research identifies a key use case for external facilities and stakeholders. In situations where attendance at the planning teleconference is not feasible, having access to text transcriptions in real-time or shortly after the teleconference ends, proves to be a time-saving and informative resource. This feature enhances collaboration and ensures that stakeholders can stay abreast of important discussions and decisions even in their absence. Despite the efficiency gains facilitated by the transformer architecture in automatic speech recognition technology, it is essential to acknowledge the human factors in data creation. Subject matter experts play a crucial role in accurately transcribing planning teleconferences due to the specificity and complexity of the information discussed. The research dataset, consisting of 20 hours of transcribed planning teleconferences, forms the foundation for fine-tuning and validating the Whisper model. The achieved word error rate of 6.82% demonstrates promising advancements, particularly in recognizing essential aviation terminology within the teleconferences. In conclusion, this paper presents a comprehensive exploration of the application of automatic speech recognition in Air Traffic Control System Command Center planning teleconferences, leveraging the transformer architecture for enhanced efficiency. The novel contributions lie in the improved accessibility of decision-making records, real-time participation opportunities for external stakeholders, and the potential for downstream natural language processing advancements. As the aviation industry continues to evolve, the integration of automatic speech recognition technologies holds the promise of revolutionizing decision-making processes and contributing to the overall safety and efficiency of air traffic management.

ATM↗

Notes on System Theory, Volume VII

System theory - matrices, feedback control system, network synthesis, set theory, stability, shift registers, coding, theorem proving, polynomial roots, channels, and signal flow graphs

FEEDBACK CONTROL SYSTEM↗

Convergence in the mean

Theorem proving for orthogonal systems of functions relative to convergence in mean of series

SERIES EXPANSION↗

Survey of Verification and Validation Techniques for Small Satellite Software Development

The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification and validation. This document is not intended to promote a specific software assurance method. Rather, it seeks to present an unbiased survey of software assurance methods used to verify and validate small satellite software and to make mention of the benefits and value of each approach. These methods include simulation and testing, verification and validation with model-based design, formal methods, and fault-tolerant software design with run-time monitoring. Although the literature reveals that simulation and testing has by far the longest legacy, model-based design methods are proving to be useful for software verification and validation. Some work in formal methods, though not widely used for any satellites, may offer new ways to improve small satellite software verification and validation. These methods need to be further advanced to deal with the state explosion problem and to make them more usable by small-satellite software engineers to be regularly applied to software verification. Last, it is explained how run-time monitoring, combined with fault-tolerant software design methods, provides an important means to detect and correct software errors that escape the verification process or those errors that are produced after launch through the effects of ionizing radiation.

Small Satellite Technology↗