Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,225 records · Page 68
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Cooling of rocket thrust chambers with liquid oxygen

Rocket engines using high pressure liquid oxygen (LOX) and kerosene (RP-1) as the propellants have been considered for future launch vehicle propulsion. Generally, in regeneratively cooled engines, the fuel is used to cool the combustion chamber. However, hydrocarbons such as RP-1 are limited in their cooling capability at high temperatures and pressures. Therefore, LOX is being considered as an alternative coolant. However, there has been concern as to the effect on the integrity of the chamber liner if oxygen leaks into the combustion zone through fatigue cracks that may develop between the cooling passages and the hot-gas side wall. To address this concern, an investigation was previously conducted with simulated fatigue cracks upstream of the thrust chamber throat. When these chambers were tested, an unexpected melting in the throat region developed which was not in line with the simulated fatigue cracks. The current experimental program was conducted in order to determine the cause for the failure in the earlier thrust chambers and to further investigate the effects of cracks in the thrust chamber liner upstream of the throat. The thrust chambers were tested at oxygen-to-fuel mixture ratios from 1.5 to 2.86 at a nominal chamber pressure of 8.6 MPa. As a result of the test series, the reason for the failure occurring in the earlier work was determined to be injector anomalies. The LOX leaking through the simulated fatigue cracks did not affect the integrity of the chambers.

Armstrong, Elizabeth S.↗
NASA NTRS1990

Cooling of rocket thrust chambers with liquid oxygen

Rocket engines using high pressure liquid oxygen (LOX) and kerosene (RP-1) as the propellants have been considered for future launch vehicle propulsion. Generaly, in regeneratively cooled engines, thefuel is used to cool the combustion chamber. However, hydrocarbons such as RP-1 are limited in their cooling capability at high temperatures and pressures. Therefore, LOX is being considered as an alternative coolant. However, there has been concern as to the effect on the integrity of the chamber liner if oxygen leaks into the combustion zone through fatigue cracks that may develop between the cooling passages and the hot-gas side wall. To address this concern, an investigation was previously conducted with simulated fatigue cracks upstream of the thrust chamber throat. When these chambers were tested, an unexpected melting in the throat region developed which was not in line with the simulated fatigue cracks. The current experimental program was conducted in order to determine the cause for the failure in the earlier thrust chambers and to further investigate the effects of cracks in the thrust chamber liner upstream of the throat. The thrust chambers were tested at oxygen-to-fuel mixture ratios from 1.5 to 2.86 at a nominal chamber pressure of 8.6 MPa. As a result of the test series, the reason for the failure occurring in the earlier work was determined to be injector anomalies. The LOX leaking through the simulated fatigue cracks did not affect the integrity of the chambers.

Armstrong, Elizabeth S.↗
NASA NTRS1990

A concurrent distributed system for aircraft tactical decision generation

A research program investigating the use of AI techniques to aid in the development of a tactical decision generator (TDG) for within visual range (WVR) air combat engagements is discussed. The application of AI programming and problem-solving methods in the development and implementation of a concurrent version of the computerized logic for air-to-air warfare simulations (CLAWS) program, a second-generation TDG, is presented. Concurrent computing environments and programming approaches are discussed, and the design and performance of prototype concurrent TDG system (Cube CLAWS) are presented. It is concluded that the Cube CLAWS has provided a useful testbed to evaluate the development of a distributed blackboard system. The project has shown that the complexity of developing specialized software on a distributed, message-passing architecture such as the Hypercube is not overwhelming, and that reasonable speedups and processor efficiency can be achieved by a distributed blackboard system. The project has also highlighted some of the costs of using a distributed approach to designing a blackboard system.

Mcmanus, John W.↗
NASA NTRS1994

Task network models in the prediction of workload imposed by extravehicular activities during the Hubble Space Telescope servicing mission

In a joint effort with Brooks AFB, Texas, the Flight Crew Support Division at JSC has begun a computer simulation and performance modeling program directed at establishing the predictive validity of software tools for modeling human performance during spaceflight. This paper addresses the utility of task network modeling for predicting the workload that astronauts are likely to encounter in extravehicular activities (EVA) during the Hubble Space Telescope (HST) repair mission. The intent of the study was to determine whether two EVA crewmembers and one intravehicular activity (IVA) crewmember could reasonably be expected to complete HST Wide Field/Planetary Camera (WFPC) replacement in the allotted time. Ultimately, examination of the points during HST servicing that may result in excessive workload will lead to recommendations to the HST Flight Systems and Servicing Project concerning (1) expectation of degraded performance, (2) the need to change task allocation across crewmembers, (3) the need to expand the timeline, and (4) the need to increase the number of EVA's.

Diaz, Manuel F.↗
NASA NTRS1995

Collection Efficiency and Ice Accretion Calculations for a Sphere, a Swept MS(1)-317 Wing, a Swept NACA-0012 Wing Tip, an Axisymmetric Inlet, and a Boeing 737-300

Collection efficiency and ice accretion calculations have been made for a sphere, a swept MS(1)-317 wing, a swept NACA-0012 wing tip, an axisymmetric inlet, and a Boeing 737-300 inlet using the NPARC flow solver and the NASA Lewis LEWICE3D grid based ice accretion code. Euler flow solutions for the geometries were generated using the NPARC flow solver. The LEWICE3D grid based ice accretion program was used to calculate the impingement efficiencies and ice shapes. Ice shapes specifying rime and mixed icing conditions were generated for a 30 minute hold condition. All calculations were performed on an SGI Model Power Challenge Computer. The results have been compared to experimental flow and impingement data. In general, the calculated flow and collection efficiencies compared well with experiment, and the ice shapes looked reasonable and appeared representative of the rime and mixed icing conditions for which they were calculated.

Bidwell, Colin S.↗
NASA NTRS1999

Lunar Observatories: Why, Where, and When?

The value of Moon-based astronomical instruments has been repeatedly supported by several major studies and conferences, such as the "Astrophysics from the Moon" meeting held in Annapolis, Maryland, in 1990 (Mumma and Smith, 1990). A comprehensive review of the advantages of lunar observatories was published in the same year by Burns et al. (1990). However, the decade since then has seen a number of major developments bearing on the topic of lunar observatories, including the following. Two space astronomy programs have been outstandingly successful since 1990: the Cosmic Background Explorer ((COBE) and the Hubble Space Telescope (HST). These instruments have shown for the first time the structure of the universe in the first stages of its creation, i.e., the "Big Bang." One result of these discoveries has been to focus new space astronomy programs on fundamental problems such as shape of the universe, evolution of galaxies, and the nature of "dark" matter. Since these questions involve the very earliest stages of the history of the universe, to study them requires observation of extremely distant objects. Because of the expansion of the universe, all radiation from such objects is greatly redshifted, into the infrared region of the spectrum. For this reason, the Next Generation Space Telescope, the successor to HST, will be an infrared telescope.

Lowman, D. Paul, Jr.↗
NASA NTRS2000

Modeling Natural Space Ionizing Radiation Effects on External Materials

Predicting the effective life of materials for space applications has become increasingly critical with the drive to reduce mission cost. Programs have considered many solutions to reduce launch costs including novel, low mass materials and thin thermal blankets to reduce spacecraft mass. Determining the long-term survivability of these materials before launch is critical for mission success. This presentation will describe an analysis performed on the outer layer of the passive thermal control blanket of the Hubble Space Telescope. This layer had degraded for unknown reasons during the mission, however ionizing radiation (IR) induced embrittlement was suspected. A methodology was developed which allowed direct comparison between the energy deposition of the natural environment and that of the laboratory generated environment. Commercial codes were used to predict the natural space IR environment model energy deposition in the material from both natural and laboratory IR sources, and design the most efficient test. Results were optimized for total and local energy deposition with an iterative spreadsheet. This method has been used successfully for several laboratory tests at the Marshall Space Flight Center. The study showed that the natural space IR environment, by itself, did not cause the premature degradation observed in the thermal blanket.

Alstatt, Richard L.↗
NASA NTRS2003

Fuzzy Logic Trajectory Design and Guidance for Terminal Area Energy Management

The second generation reusable launch vehicle will leverage many new technologies to make flight to low earth orbit safer and more cost effective. One important capability will be completely autonomous flight during reentry and landing, thus making it unnecessary to man the vehicle for cargo missions with stringent weight constraints. Implementation of sophisticated new guidance and control methods will enable the vehicle to return to earth under less than favorable conditions. The return to earth consists of three phases--Entry, Terminal Area Energy Management (TAEM), and Approach and Landing. The Space Shuttle is programmed to fly all three phases of flight automatically, and under normal circumstances the astronaut-pilot takes manual control only during the Approach and Landing phase. The automatic control algorithms used in the Shuttle for TAEM and Approach and Landing have been developed over the past 30 years. They are computationally efficient, and based on careful study of the spacecraft's flight dynamics, and heuristic reasoning. The gliding return trajectory is planned prior to the mission, and only minor adjustments are made during flight for perturbations in the vehicle energy state. With the advent of the X-33 and X-34 technology demonstration vehicles, several authors investigated implementing advanced control methods to provide autonomous real-time design of gliding return trajectories thus enhancing the ability of the vehicle to adjust to unusual energy states. The bulk of work published to date deals primarily with the approach and landing phase of flight where changes in heading angle are small, and range to the runway is monotonically decreasing. These benign flight conditions allow for model simplification and fairly straightforward optimization. This project focuses on the TAEM phase of flight where mathematically precise methods have produced limited results. Fuzzy Logic methods are used to make onboard autonomous gliding return trajectory design robust to a wider energy envelope, and the possibility of control surface failures, thus increasing the flexibility of unmanned gliding recovery and landing.

Burchett, Bradley↗
NASA NTRS2004

Toward Synthesis, Analysis, and Certification of Security Protocols

Implemented security protocols are basically pieces of software which are used to (a) authenticate the other communication partners, (b) establish a secure communication channel between them (using insecure communication media), and (c) transfer data between the communication partners in such a way that these data only available to the desired receiver, but not to anyone else. Such an implementation usually consists of the following components: the protocol-engine, which controls in which sequence the messages of the protocol are sent over the network, and which controls the assembly/disassembly and processing (e.g., decryption) of the data. the cryptographic routines to actually encrypt or decrypt the data (using given keys), and t,he interface to the operating system and to the application. For a correct working of such a security protocol, all of these components must work flawlessly. Many formal-methods based techniques for the analysis of a security protocols have been developed. They range from using specific logics (e.g.: BAN-logic [4], or higher order logics [12] to model checking [2] approaches. In each approach, the analysis tries to prove that no (or at least not a modeled intruder) can get access to secret data. Otherwise, a scenario illustrating the &tack may be produced. Despite the seeming simplicity of security protocols ("only" a few messages are sent between the protocol partners in order to ensure a secure communication), many flaws have been detected. Unfortunately, even a perfect protocol engine does not guarantee flawless working of a security protocol, as incidents show. Many break-ins and security vulnerabilities are caused by exploiting errors in the implementation of the protocol engine or the underlying operating system. Attacks using buffer-overflows are a very common class of such attacks. Errors in the implementation of exception or error handling can open up additional vulnerabilities. For example, on a website with a log-in screen: multiple tries with invalid passwords caused the expected error message (too many retries). but let the user nevertheless pass. Finally, security can be compromised by silly implementation bugs or design decisions. In a commercial VPN software, all calls to the encryption routines were incidentally replaced by stubs, probably during factory testing. The product worked nicely. and the error (an open VPN) would have gone undetected, if a team member had not inspected the low-level traffic out of curiosity. Also, the use secret proprietary encryption routines can backfire, because such algorithms often exhibit weaknesses which can be exploited easily (see e.g., DVD encoding). Summarizing, there is large number of possibilities to make errors which can compromise the security of a protocol. In today s world with short time-to-market and the use of security protocols in open and hostile networks for safety-critical applications (e.g., power or air-traffic control), such slips could lead to catastrophic situations. Thus, formal methods and automatic reasoning techniques should not be used just for the formal proof of absence of an attack, but they ought to be used to provide an end-to-end tool-supported framework for security software. With such an approach all required artifacts (code, documentation, test cases) , formal analyses, and reliable certification will be generated automatically, given a single, high level specification. By a combination of program synthesis, formal protocol analysis, certification; and proof-carrying code, this goal is within practical reach, since all the important technologies for such an approach actually exist and only need to be assembled in the right way.

Schumann, Johann↗
NASA NTRSDate not supplied

NASA's Efforts to Commercialize Communications Services for Mission in Near-Earth Space

The National Aeronautics and Space Administration (NASA) Space Communications and Navigation (SCaN)Program enables high speed, robust, secure and cost-effective space communications and navigation services to current and future science and exploration missions. Consistent with National Space Policy, NASA is pursuing the use of demonstrated commercial services for all its future near-Earth requirements through a flexible, multi-provider approach that minimizes risks to the user missions and ensures costs to user missions are reasonable. Progress toward this goal is advancing in multiple key areas including direct to Earth (DTE), space-based relay, technology investments, required spectrum regulatory changes and mission engagement and infusion. The transition to commercial DTE services is already underway, with a target for transition by 2024. The primary functions to execute SCaN’s DTE strategy include increasing commercial service allocations by leveraging current commercial network providers and enabling seamless onboarding of additional providers into the network. Furthermore, moving away from government DTE services will allow operational costs to be optimized. A more gradual approach is planned for the transition to commercial space-based relay services to allow for demonstration and operationalization of commercial services for future users by 2030. In June of 2022, six American SATCOM vendors were awarded a combined $278.5 million through Funded Space Act Agreements (FSAAs) for the first cycle of demonstration and validation activities. The end-to-end service capabilities being targeted are based on existing NASA mission operational needs. Accordingly, each company has proposed a technical approach to lower costs, increase flexibility, and improve performance for a broad range of missions. Successful user mission transition to commercial services, both DTE and space-based relay, are dependent on the technologies and capabilities that address gaps in commercial capability. NASA is investing in technology development and pursuing a new strategic approach to the creation or adoption of space communications standards to move the agency toward a commercial paradigm. Wideband and multi-lingual user terminals are being developed to bridge differences in industry services. Building on ground demonstrations completed in 2021, the Johns Hopkins Applied Physics Lab (APL) will be flight testing a multi-lingual wideband terminal (payload) and demonstrating connectivity to both government and commercial relay services. NASA holds a leadership role in multiple civil space standards bodies and international coordination groups to ensure that standards supporting interoperability are developed with defined functions, interfaces, and performance. However, to successfully meet commercialization objectives, NASA seeks to collaborate with industry, and as applicable adopt or adapt to commercially defined standards. As such, NASA joined the 3rd Generation Partnership Project (3GPP) as an official member in 2021 to advocate for the inclusion of space missions as a unique user segment in future 5G non-terrestrial networks, and to better understand the scope of 3GPP releases and implications for space users. Further, engagement in Spectrum regulatory bodies is being undertaken to augment existing space-Earth and inter-satellite frequency allocations available for both government and commercial space systems. This paper addresses the recent progress toward NASA’s commercial space communications transition objectives and how key challenges are being navigated.

Gregory W Heckler↗
NASA NTRSDate not supplied

An Overview of the Artemis I Navigation Performance

The goal of NASA’s Artemis Program is to explore the Moon and beyond. The Artemis I Mission which flew in late 2022 was the uncrewed test flight whose goal was to exercise the entire navigation system in an extended duration flight and evaluate its performance over the entire mission, from pre-launch to post-landing. This paper provides an overview of the Artemis I navigation system architecture, examines the reasoning behind the design, and showcases the navigation performance. In particular, it presents systems-level performance of the navigation filters, sensors, and fault detection/isolation/recovery (FDIR). Also provided are glimpses into the lessons-learned during the flight, the run-up to the mission, and the post-flight analyses. Of particular interest are the four navigation Extended Kalman Filters (EKFs): the Atmospheric EKF (ATMEKF), the Earth Orbit EKF (EOEKF), the Attitude EKF (ATTEKF) and the Cislunar EKF (CLEKF). Whereas only the ATMEKF is a coupled translation/rotation filter, the other three are either translation-only (EOEKF, CLEKF) or rotation-only (ATTEKF). Also presented is an overview of the Optical Navigation system performance.

Greg N Holt↗
NASA NTRS2024

Enabling America on the Space Frontier: The Evolution of NASA’s Commercial Space Development Toolkit

Throughout NASA’s history, the Agency has supported the development and growth of the U.S. commercial space sector via various mechanisms that have nurtured the technology, companies, people, and ideas driving an industry that today is a significant contributor to the American and global economies. This report identifies 17 such mechanisms and qualitatively examines how they have been applied across four distinct periods in NASA’s history: 1915–1960, which covers NASA’s predecessor, the National Advisory Committee on Aeronautics (NACA), and NASA’s pre-Apollo years; 1961–1980, the Apollo era; 1981–2010, the Space Shuttle era; and 2011–present, the post-Shuttle commercial era. These eras are defined by dominant technologies, programs, or economic trends. Not all 17 mechanisms were applied during each era; some are relatively recent conceptions, while others have been used throughout the history of NASA and NACA. Additionally, there is inevitably some overlap between the mechanisms; this overlap adds an element of subjectivity to the categorizations in this report. In most eras, and for most mechanisms, there are far more examples than can reasonably be summarized in a single document. Therefore, this report should not be considered an exhaustive review of every iteration of any given mechanism’s implementation. Finally, with many of these mechanisms, such as contracts, commercial space capabilities sometimes resulted as a serendipitous by-product rather than a planned outcome.

economic policy↗
DOE OSTI2019

A mathematical programming approach for the optimal placement of flame detectors in petrochemical facilities

Flame detectors provide an important layer of protection for personnel in petrochemical plants, but effective placement can be challenging. A mixed-integer nonlinear programming formulation is proposed for optimal placement of flame detectors while considering non-uniform probabilities of detection failure. We show that this approach allows for the placement of fire detectors using a fixed sensor budget and outperforms models that do not account for imperfect detection. In this study, we develop a linear relaxation to the formulation and an efficient solution algorithm that achieves global optimality with reasonable computational effort. We integrate this problem formulation into the Python package, Chama, and demonstrate the effectiveness of this formulation on a small test case and on two real-world case studies using the fire and gas mapping software, Kenexis Effigy.

47 OTHER INSTRUMENTATION↗
DOE OSTI2015

Study of Compatibility of Stainless Steel Weld Joints with Liquid Sodium-Potassium Coolants for Fission Surface Power Reactors for Lunar and Space Applications

To make a manned mission to the surface of the moon or to Mars with any significant residence time, the power requirements will make a nuclear reactor the most feasible source of energy. To prepare for such a mission, NASA has teamed with the DOE to develop Fission Surface Power technology with the goal of developing viable options. The Fission Surface Power System (FSPS) recommended as the initial baseline design includes a liquid metal reactor and primary coolant system that transfers heat to two intermediate liquid metal heat transfer loops. Each intermediate loop transfers heat to two Stirling heat exchangers that each power two Stirling converters. Both the primary and the intermediate loops will use sodium-potassium (NaK) as the liquid metal coolant, and the primary loop will operate at temperatures exceeding 600°C. The alloy selected for the heat exchangers and piping is AISI Type 316L stainless steel. The extensive experience with NaK in breeder reactor programs and with earlier space reactors for unmanned missions lends considerable confidence in using NaK as a coolant in contact with stainless steel alloys. However, the microstructure, chemical segregation, and stress state of a weld leads to the potential for corrosion and cracking. Such failures have been experienced in NaK systems that have operated for times less than the eight year goal for the FSPS. For this reason, it was necessary to evaluate candidate weld techniques and expose welds to high-temperature, flowing NaK in a closed, closely controlled system. The goal of this project was to determine the optimum weld configuration for a NaK system that will withstand service for eight years under FSPS conditions. Since the most difficult weld to make and to evaluate is the tube to tube sheet weld in the intermediate heat exchangers, it was the focus of this research. A pumped loop of flowing NaK was fabricated for exposure of candidate weld specimens at temperatures of 600°C, the expected temperature within the intermediate heat exchangers. Since metal transfer from a high-temperature region to a cooler region is a predominant mode of corrosion in liquid metal systems, specimens were placed at zones in the loop at the above temperature to evaluate the effects of both alloy component leaching and metal deposition. Microstructural analysis was performed to evaluate weld performance on control weld specimens. The research was coordinated with Oak Ridge National Laboratory (ORNL) where most of the weld samples were prepared. In addition, ORNL participated in the loop operation to assist in keeping the testing relevant to the project and to take advantage of the extensive experience in liquid metal research at ORNL.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2017

PIPER: Performance Insight for Programmers and Exascale Runtimes: Guiding the Development of the Exascale Software Stack

The PIPER project set out to develop methodologies and software for measurement, analysis, attribution, and presentation of performance data for extreme-scale systems. Goals of the project were to support analysis of massive multi-scale parallelism, heterogeneous architectures, multi-faceted performance concerns, and to support both post-mortem performance analysis to identify program features that contribute to problematic performance and on-line performance analysis to drive adaptation. This final report summarizes the research and development activity at Rice University as part of the PIPER project. Producing a complete suite of performance tools for exascale platforms during the course of this project was impossible since both hardware and software for exascale systems is still a moving target. For that reason, the project focused broadly on the development of new techniques for measurement and analysis of performance on modern parallel architectures, enhancements to HPCToolkit’s software infrastructure to support our research goals or use on sophisticated applications, engaging developers of multithreaded runtimes to explore how support for tools should be integrated into their designs, engaging operating system developers with feature requests for enhanced monitoring support, engaging vendors with requests that they add hardware measure- ment capabilities and software interfaces needed by tools as they design new components of HPC platforms including processors, accelerators and networks, and finally collaborations with partners interested in using HPCToolkit to analyze and tune scalable parallel applications.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Small Modular Reactor and Microreactor Security-by-Design Lessons Learned: Integrated PPS Designs

U.S. nuclear power facilities face increasing challenges in meeting dynamic security requirements caused by evolving and expanding threats while keeping costs reasonable to make nuclear energy competitive. The past approach has often included implementing security features after a facility has been designed and without attention to optimization, which can lead to cost overruns. Incorporating security into the design process can provide robust, cost-effective, and sufficient physical protection systems. The purpose of this report is to capture lessons learned by the Advanced Reactor Safeguards and Security (ARSS) program that may be beneficial for other advanced and small modular reactor (SMR) vendors to use when developing security systems and postures. This report will capture relevant information that can be used in the security-by-design (SeBD) process for SMR and microreactor vendors.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2020

DISCo-microbe: design of an identifiable synthetic community of microbes

Microbiomes are extremely important for their host organisms, providing many vital functions and extending their hosts’ phenotypes. Natural studies of host-associated microbiomes can be difficult to interpret due to the high complexity of microbial communities, which hinders our ability to track and identify individual members along with the many factors that structure or perturb those communities. For this reason, researchers have turned to synthetic or constructed communities in which the identities of all members are known. However, due to the lack of tracking methods and the difficulty of creating a more diverse and identifiable community that can be distinguished through next-generation sequencing, most such in vivo studies have used only a few strains. To address this issue, we developed DISCo-microbe, a program for the design of an identifiable synthetic community of microbes for use in in vivo experimentation. The program is composed of two modules; (1) create, which allows the user to generate a highly diverse community list from an input DNA sequence alignment using a custom nucleotide distance algorithm, and (2) subsample, which subsamples the community list to either represent a number of grouping variables, including taxonomic proportions, or to reach a user-specified maximum number of community members. As an example, we demonstrate the generation of a synthetic microbial community that can be distinguished through amplicon sequencing. The synthetic microbial community in this example consisted of 2,122 members from a starting DNA sequence alignment of 10,000 16S rRNA sequences from the Ribosomal Database Project. We generated simulated Illumina sequencing data from the constructed community and demonstrate that DISCo-microbe is capable of designing diverse communities with members distinguishable by amplicon sequencing. Using the simulated data we were able to recover sequences from between 97–100% of community members using two different post-processing workflows. Furthermore, 97–99% of sequences were assigned to a community member with zero sequences being misidentified. We then subsampled the community list using taxonomic proportions to mimic a natural plant host–associated microbiome, ultimately yielding a diverse community of 784 members. DISCo-microbe can create a highly diverse community list of microbes that can be distinguished through 16S rRNA gene sequencing, and has the ability to subsample (i.e., design) the community for the desired number of members and taxonomic proportions. Although developed for bacteria, the program allows for any alignment input from any taxonomic group, making it broadly applicable. The software and data are freely available from GitHub and Python Package Index (PYPI).

16S rRNA↗
NASA NTRS2001

A Miniaturized Seismometer for Subsurface Probing on Mars

Seismology is one of the most powerful tools for investigating the subsurface structure of a planet. The mechanical structure information derived from seismic measurements is complementary to other methods of probing the subsurface (such as gravity and electromagnetics), both in terms of spatial and depth resolution and the relevant types of material properties being sensed. In the near-surface, the propagation of seismic waves is especially sensitive to density and degree of compaction. In addition, interfaces between layer with contrasting properties can be relatively easily delineated. The subsurface of Mars provides an obvious target for seismic investigations. Searching for the presence of water is among the highest priority goals of the Mars Exploration Program, but there are many other important science questions that could be addressed by a seismic profile of the upper layers of the crust. We have developed an extremely small, lightweight, low-power seismometer for planetary applications which is ideally suited for use on Mars. This instrument has previously been proposed and selected for use on a comet (on the Rosetta Lander, subsequently deselected for programmatic reasons) and Mars (on the NetLander mission, with an emphasis on global structure determination).

Banerdt, W. B.↗