Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Formal analysis”

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,081 records · Page 60
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

MaROS Strategic Relay Planning and Coordination Interfaces

The Mars Relay Operations Service (MaROS) is designed to provide planning and analysis tools in support of ongoing Mars Network relay operations. Strategic relay planning requires coordination between lander and orbiter mission ground data system (GDS) teams to schedule and execute relay communications passes. MaROS centralizes this process, correlating all data relevant to relay coordination to provide a cohesive picture of the relay state. Service users interact with the system through thin-layer command line and web user interface client applications. Users provide and utilize data such as lander view periods of orbiters, Deep Space Network (DSN) antenna tracks, and reports of relay pass performance. Users upload and download relevant relay data via formally defined and documented file structures including some described in Extensible Markup Language (XML). Clients interface with the system via an http-based Representational State Transfer (ReST) pattern using Javascript Object Notation (JSON) formats. This paper will provide a general overview of the service architecture and detail the software interfaces and considerations for interface design.

Allard, Daniel A.↗
NASA NTRS1991

Does CRM training work?

Formal cockpit resource management training in crew coordination concepts increases the percentage of crews rated as above average in performance and decreases the percentage of crews rated as below average.

NASA Discipline Space Human Factors↗
NASA NTRS1977

Space Resources and Space Settlements

This publication contains the technical papers from the five task groups that took part in the 1977 Ames Summer Study on Space Settlements and Industrialization Using Nonterrestrial Materials. The study was sponsored by the following NASA Headquarters organizations: Office of Space Science, Office of Aeronautics and Space Technology, and Office of Space Transportation Systems. The NASA Ames Research Center hosted the study and provided administrative support through its Life Sciences Directorate. Expert assistance in the many aspects of the study came from NASA Headquarters, NASA centers, universities, industry, and from individual consultants. This summer study was the largest and most comprehensive investigation of space manufacturing and habitation to date; forty senior research workers and ten students participated. The six-week study was preceded by several months of planning and preparation, and was followed by extensive work on manuscript checking, review, and assembly. The study topics reflected the research areas requiring the most intensive attention as ofrnid-1977; they were: Group I: Regenerative life-support systems and controlled environment agriculture. Group II: Parametric studies of efficient habitats in space. Time and cost analysis of a space manufacturing program plan. Group III: Detection and analysis of special classes of asteroids suitable as material resources for space manufacturing; studies of retrieval missions. Group IV: Electromagnetic mass drivers for use as interorbital engines, as devices to launch lunar material into space, and as tugs for the retrieval of asteroidal material. Group V: Chemical processing of non terrestrial material in space; manufacture of metals and glass fibers, beneficiation, and design of processing plants. These five task groups each produced two or more technical papers, signed by the contributing members. The papers were subjected to independent peer review by scientists not connected with the study. During the course of the study, frequent formal and informal exchanges of information occurred between task groups, so that the entire effort evolved in a coherent fashion and was directed toward common goals. However, each group remained responsible for the choice of its topics and for its conclusions. A listing of all the participants is given on pages vii-x. It would be inappropriate for me to single out particular people or groups for special mention, since all involved applied their skills with dedication and enthusiasm. Instead, I thank everyone for their contributions to the success of the study, and also for making it a united and warmly cooperative personal experience.

John Billingham↗
NASA NTRS2011

US Spacesuit Knowledge Capture

The ability to learn from both the mistakes and successes of the past is vital to assuring success in the future. Due to the close physical interaction between spacesuit systems and human beings as users, spacesuit technology and usage lends itself rather uniquely to the benefits realized from the skillful organization of historical information; its dissemination; the collection and identification of artifacts; and the education of those in the field. The National Aeronautics and Space Administration (NASA), other organizations and individuals have been performing United States (U.S.) Spacesuit Knowledge Capture since the beginning of space exploration. Avenues used to capture the knowledge have included publication of reports; conference presentations; specialized seminars; and classes usually given by veterans in the field. More recently the effort has been more concentrated and formalized whereby a new avenue of spacesuit knowledge capture has been added to the archives in which videotaping occurs engaging both current and retired specialists in the field presenting technical scope specifically for education and preservation of knowledge. With video archiving, all these avenues of learning can now be brought to life with the real experts presenting their wealth of knowledge on screen for future learners to enjoy. Scope and topics of U.S. spacesuit knowledge capture have included lessons learned in spacesuit technology, experience from the Gemini, Apollo, Skylab and Shuttle programs, hardware certification, design, development and other program components, spacesuit evolution and experience, failure analysis and resolution, and aspects of program management. Concurrently, U.S. spacesuit knowledge capture activities have progressed to a level where NASA, the National Air and Space Museum (NASM), Hamilton Sundstrand (HS) and the spacesuit community are now working together to provide a comprehensive closed-looped spacesuit knowledge capture system which includes

Chullen, Cinda↗
NASA NTRS2000

Development of a Composite Tailoring Procedure for Airplane Wings

The quest for finding optimum solutions to engineering problems has existed for a long time. In modern times, the development of optimization as a branch of applied mathematics is regarded to have originated in the works of Newton, Bernoulli and Euler. Venkayya has presented a historical perspective on optimization in [1]. The term 'optimization' is defined by Ashley [2] as a procedure "...which attempts to choose the variables in a design process so as formally to achieve the best value of some performance index while not violating any of the associated conditions or constraints". Ashley presented an extensive review of practical applications of optimization in the aeronautical field till about 1980 [2]. It was noted that there existed an enormous amount of published literature in the field of optimization, but its practical applications in industry were very limited. Over the past 15 years, though, optimization has been widely applied to address practical problems in aerospace design [3-5]. The design of high performance aerospace systems is a complex task. It involves the integration of several disciplines such as aerodynamics, structural analysis, dynamics, and aeroelasticity. The problem involves multiple objectives and constraints pertaining to the design criteria associated with each of these disciplines. Many important trade-offs exist between the parameters involved which are used to define the different disciplines. Therefore, the development of multidisciplinary design optimization (MDO) techniques, in which different disciplines and design parameters are coupled into a closed loop numerical procedure, seems appropriate to address such a complex problem. The importance of MDO in successful design of aerospace systems has been long recognized. Recent developments in this field have been surveyed by Sobieszczanski-Sobieski and Haftka [6].

Chattopadhyay, Aditi↗
NASA NTRSDate not supplied

Anisotropic Goal-Based Mesh Adaptation Metric Clarification and Development

Adaptive unstructured mesh techniques have a limited, but growing impact on production analysis workflows to control discretization error for reliable simulation results. Multiple independent implementations of flow solvers, anisotropic metric construction methods, and anisotropic mesh adaptation mechanics have matured. Goal-based metrics target estimated error in output functions, such as lift and drag, through the guidance of an adjoint solution. A unification of goal-based anisotropic metrics is presented for steady viscous flows, which is an active area of research. These goal-based metrics drive robust and efficient anisotropic mesh adaptation for the calculation of output functions. The super-convergent functional output error behavior of stabilized finite-element methods is exploited without a formal proof, and evidence of super-convergence is shown in numerical experiments. Mesh adapted drag and lift outputs for two simple bodies in compressible viscous flow show convergence of error to less than a single drag count. Asymptotic behavior established for relatively coarse meshes shows the efficiency of this goal-based metric when compared to solution interpolation error control and expert-guided meshing. Anisotropic mesh adaptation techniques are applied to a transport aircraft in a high-lift configuration where variation between approaches decreases with mesh refinement, but asymptotic behavior is not observed with available resources.

goal-based↗
NASA NTRS1990

Probabilistic simulation of uncertainties in thermal structures

Development of probabilistic structural analysis methods for hot structures is a major activity at NASA-Lewis, and consists of five program elements: (1) probabilistic loads, (2) probabilistic finite element analysis, (3) probabilistic material behavior, (4) assessment of reliability and risk, and (5) probabilistic structural performance evaluation. Attention is given to quantification of the effects of uncertainties for several variables on High Pressure Fuel Turbopump blade temperature, pressure, and torque of the Space Shuttle Main Engine; the evaluation of the cumulative distribution function for various structural response variables based on assumed uncertainties in primitive structural variables; evaluation of the failure probability; reliability and risk-cost assessment; and an outline of an emerging approach for eventual hot structures certification. Collectively, the results demonstrate that the structural durability/reliability of hot structural components can be effectively evaluated in a formal probabilistic framework. In addition, the approach can be readily extended to computationally simulate certification of hot structures for aerospace environments.

Chamis, C. C.↗
DOE OSTI2021

DOE Deep Energy Retrofit Cost Survey

A survey was conducted by the Lawrence Berkeley National Laboratory on deep energy retrofit (DER) market drivers, opportunities, and challenges. The survey was part a research study sponsored by the U.S. Department of Energy to gather information on the costs of DER from home performance contractors and stakeholders. Cost data was gathered from DER projects that use a comprehensive, whole-home approach to drastically reduce energy use and improve performance. DER projects often aim at reducing energy use by 50% or more. In addition, these projects can improve home comfort and potentially benefiting occupant health. Yet, market adoption of DER has been limited. Major limiting factors include complex projects, high costs, perceived risks, extensive disruption, and unfamiliar work scopes to some contractors. In order to better understand what motivates and deters DER projects in today’s market, a survey was conducted to gather this information, and to learn about promising approaches and technologies from the industry perspective. Past surveys on homeowners and home energy performance professionals have studied the motivations and barriers of energy efficiency retrofits. Two surveys of home energy performance professionals were conducted in recent years. The Resources for the Future (RFF) Home Energy Audit and Retrofit Survey was conducted in 2011 by recruiting energy auditors and retrofit installers through members of Efficiency First and Building Performance Institute (BPI) accredited contractors. The survey asked about the business and services that respondents provide, how often homeowners follow their recommendations to retrofit their homes, and the respondents’ opinion on barriers faced by the industry. The survey found that not enough homeowners know about energy audits, but more importantly, it is the high cost of retrofits compared to low energy prices that is responsible for few energy audits and retrofits being completed. The RESNET Deep Retrofit Industry Stakeholder Survey was conducted shortly after launching of the EnergySmart Home Performance Team program. The EnergySmart Team program involves a formal agreement among allied contractors who are engaged in high performance retrofits. Using this allied team approach, teams can pool their expertise and provide each other with customer referrals. The survey asked EnergySmart Team members and outside stakeholders on questions about market and technical barriers in performing home energy retrofits. Survey respondents identified lack of consumer awareness and lack of affordable financing for consumers as the leading market barriers to home energy retrofits. In their written comments, many survey respondents also echoed that the high costs of retrofit compared to low energy prices is a market barrier. Respondents found “certain housing characteristics that prevent effective retrofit” and “energy analysis software inaccuracy or limitations” are the two leading technical barriers. Their choices for technical barriers were reflective of the energy rater/auditor role played by the majority (78%) of the survey respondents. In comparison to past surveys, this work aimed to gather inputs from a broader segment of the home performance industry to identify the opportunities and barriers faced by DERs from all perspectives. The survey asks for project costs to help breakdown the high costs of DERs. This survey is also motivated by a need to better understand the role of DERs in reducing energy use by the residential sectors and meeting climate goals. The survey is designed towards obtaining more substantive inputs from survey respondents by encouraging written comments, rather than setting the goal to reach a large number of respondents. We took this approach because DER is currently still a niche market, so it is more valuable to gather in-depth inputs from individuals who are performing this work rather than getting to the masses.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS1985

'Meatball searching' - The adversarial approach to online information retrieval

It is proposed that the different styles of online searching can be described as either formal (highly precise) or informal with the needs of the client dictating which is most applicable at a particular moment. The background and personality of the searcher also come into play. Particular attention is focused on meatball searching which is a form of online searching characterized by deliberate vagueness. It requires generally comprehensive searches, often on unusual topics and with tight deadlines. It is most likely to occur in search centers serving many different disciplines and levels of client information sophistication. Various information needs are outlined as well as the laws of meatball searching and the adversarial approach. Traits and characteristics important to sucessful searching include: (1) concept analysis, (2) flexibility of thinking, (3) ability to think in synonyms and (4) anticipation of variant word forms and spellings.

Jack, R. F.↗
DOE OSTI2023

Epitaxial growth of hexagonal BaNi O 3–δ thin films on SrTi O 3 (111) substrates

Transition metal oxides containing nickel species in oxidation states higher than 3+ often exhibit high catalytic activity, which makes them promising for applications as advanced electrocatalysts for water splitting and fuel cells. Here, we examine the structure and properties of BaNiO 3 (BNO) thin films, containing formally Ni 4+ , grown on SrTiO 3 (111) substrates using oxygen-plasma–assisted molecular beam epitaxy. X-ray diffraction and scanning transmission electron microscopy measurements reveal that BNO films have a hexagonal structure with $c$- and $a$-axes of mixed textures showing epitaxial relationships BNO (0001) ∥ SrTiO 3 (111) and BNO (10$\overline{1}$0) ∥ SrTi O 3 (111), respectively. The formation of the $a$-axis texture is dominant due to the smaller lattice mismatch with the substrate. Here, density functional theory calculations confirm that the hexagonal BNO film with the $a$-axis texture is energetically more favorable than the competing $c$-axis texture. Detailed spectroscopy data analysis indicates that hexagonal BNO films contain mixtures of Ni 2+ , Ni 3+ , and Ni 4+ species, with Ni 4+ being dominant. Our study provides insights into stabilizing Ni 4+ in complex oxides, which is important for further exploration of the potential of materials containing Ni 4+ .

36 MATERIALS SCIENCE↗
NASA NTRS2011

Estimation of Smoothing Error in SBUV Profile and Total Ozone Retrieval

Data from the Nimbus-4, Nimbus-7 Solar Backscatter Ultra Violet (SBUV) and seven of the NOAA series of SBUV/2 instruments spanning 41 years are being reprocessed using V8.6 algorithm. The data are scheduled to be released by the end of August 2011. An important focus of the new algorithm is to estimate various sources of errors in the SBUV profiles and total ozone retrievals. We discuss here the smoothing errors that describe the components of the profile variability that the SBUV observing system can not measure. The SBUV(/2) instruments have a vertical resolution of 5 km in the middle stratosphere, decreasing to 8 to 10 km below the ozone peak and above 0.5 hPa. To estimate the smoothing effect of the SBUV algorithm, the actual statistics of the fine vertical structure of ozone profiles must be known. The covariance matrix of the ensemble of measured ozone profiles with the high vertical resolution would be a formal representation of the actual ozone variability. We merged the MLS (version 3) and sonde ozone profiles to calculate the covariance matrix, which in general case, for single profile retrieval, might be a function of the latitude and month. Using the averaging kernels of the SBUV(/2) measurements and calculated total covariance matrix one can estimate the smoothing errors for the SBUV ozone profiles. A method to estimate the smoothing effect of the SBUV algorithm is described and the covariance matrixes and averaging kernels are provided along with the SBUV(/2) ozone profiles. The magnitude of the smoothing error varies with altitude, latitude, season and solar zenith angle. The analysis of the smoothing errors, based on the SBUV(/2) monthly zonal mean time series, shows that the largest smoothing errors were detected in the troposphere and might be as large as 15-20% and rapidly decrease with the altitude. In the stratosphere above 40 hPa the smoothing errors are less than 5% and between 10 and 1 hPa the smoothing errors are on the order of 1%. We validate our estimated smoothing errors by comparing the SBUV ozone profiles with other ozone profiling sensors.

Kramarova, N. A.↗
NASA NTRS2020

Credible practice of modeling and simulation in healthcare: ten rules from a multidisciplinary perspective

The complexities of modern biomedicine are rapidly increasing. Thus, modeling and simulation have become increasingly important as a strategy to understand and predict the trajectory of pathophysiology, disease genesis, and disease spread in support of clinical and policy decisions. In such cases, inappropriate or ill-placed trust in the model and simulation outcomes may result in negative outcomes, and hence illustrate the need to formalize the execution and communication of modeling and simulation practices. Although verification and validation have been generally accepted as significant components of a model’s credibility, they cannot be assumed to equate to a holistic credible practice, which includes activities that can impact comprehension and in-depth examination inherent in the devel-opment and reuse of the models. For the past several years, the Committee on Credible Practice of Modeling and Simulation in Healthcare, an interdisciplinary group seeded from a U.S. interagency initiative, has worked to codify best practices. Here, we provide Ten Rules for credible practice of modeling and simulation in healthcare developed from a comparative analysis by the Committee’s multidisciplinary membership, followed by a large stakeholder com-munity survey. These rules establish a unified conceptual framework for modeling and simulation design, implementation, evaluation, dissemination and usage across the modeling and simulation life-cycle. While biomedical science and clinical care domains have somewhat different requirements and expectations for credible practice, our study converged on rules that would be useful across a broad swath of model types. In brief, the rules are: (1) Define context clearly. (2) Use contextually appropriate data. (3) Evaluate within context. (4) List limitations explicitly. (5) Use version control. (6) Document appropriately. (7) Disseminate broadly. (8) Get independent reviews. (9) Test competing imple-mentations. (10) Conform to standards. Although some of these are common sense guidelines, we have found that many are often missed or misconstrued, even by seasoned practitioners. Computational models are already widely used in basic science to generate new biomedical knowledge. As they penetrate clinical care and healthcare policy, contributing to personalized and precision medicine, clinical safety will require established guidelines for the credible practice of modeling and simulation in healthcare.

Credibility↗
DOE OSTI2020

The hidden geometry of particle collisions

We establish that many fundamental concepts and techniques in quantum field theory and collider physics can be naturally understood and unified through a simple new geometric language. The idea is to equip the space of collider events with a metric, from which other geometric objects can be rigorously defined. Our analysis is based on the energy mover’s distance, which quantifies the “work” required to rearrange one event into another. This metric, which operates purely at the level of observable energy flow information, allows for a clarified definition of infrared and collinear safety and related concepts. A number of well-known collider observables can be exactly cast as the minimum distance between an event and various manifolds in this space. Jet definitions, such as exclusive cone and sequential recombination algorithms, can be directly derived by finding the closest few-particle approximation to the event. Several area- and constituent-based pileup mitigation strategies are naturally expressed in this formalism as well. Finally, we lift our reasoning to develop a precise distance between theories, which are treated as collections of events weighted by cross sections. In all of these various cases, a better understanding of existing methods in our geometric language suggests interesting new ideas and generalizations.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2026

Impact of impurities on peeling–ballooning modes and turbulence in tokamak plasmas

This study investigates the impact of various impurity species on peeling–ballooning (PB) modes and microturbulence in tokamak plasmas through the extension of traditional two-fluid and gyro-landau-fluid (GLF) models. By incorporating finite Larmor radius (FLR) effects, the analysis provides a comprehensive understanding of impurity-driven impact and its interaction with plasma turbulence. Depending on charge state and local plasma conditions, heavy impurities may exhibit gyro-radii larger than those of main ions, which are captured in the extended GLF model presented. Following the presentation of modified two-fluid equations incorporating impurity effects, we systematically analyze the distinctions between impurity and main ion dynamics and their resultant feedback mechanisms on plasma behavior. Derivation of the linear dispersion relation enables quantification of impurity-mediated modifications to: plasma vorticity, diamagnetic drift and gyroviscous effects, electron Hall physics, and FLR effects. BOUT++ – based linear simulations corroborate this formalism, demonstrating systematic stabilization of PB modes upon impurity seeding. And then operational implications for practical impurity control strategies in tokamak devices are proposed. The results underscore the necessity of impurity management to maintain stability and optimize plasma confinement, with specific focus on how FLR effects contribute to transport dynamics. This work paves the way for enhanced modeling and simulation efforts, supporting the development of strategies to control impurity-induced turbulence and improve overall reactor performance.

BOUT++ simulation↗
NASA NTRS2000

VLBI Contribution to ITRF2000

The VLBI data set spanning Aug. 1919 to the present is a major constituent of ITRF2000 because of the time span, the geometric strength and the accuracy of the modeling. Formal velocity errors for the best stations are less than 0.3 mm/yr while the probable frame definition error for station velocities is approximately 0.4 mm/yr. The primary systematic errors are the troposphere and tidal loading (solid Earth and ocean). However, the scale of the VLBI TRF is probably only weakly affected because of continued improvements in the tropospheric mapping function and gradient estimation. There are some weaknesses in the spatial distribution of data, particularly in the southern hemisphere, and the quality of the mobile VLBI results is now suboptimal. The deployment of the TIGO system to Chile will improve the geometric coverage. The current state of the art of VLBI analysis will be discussed.

Ma, Chopo↗
NASA NTRS2002

Synthesizing Certified Code

Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

Whalen, Michael↗
DOE OSTI2024

Versatile stochastic model for predictive KMC simulation of fcc metal nanostructure evolution with realistic kinetics

Stochastic lattice-gas models provide the natural framework for analysis of the surface diffusion-mediated evolution of crystalline metal nanostructures on the appropriate time scale (often 10 1 –10 4 s) and length scale. Model behavior can be precisely assessed by kinetic Monte Carlo simulation, typically incorporating a rejection-free algorithm to efficiently handle the broad range of Arrhenius rates for hopping of surface atoms. The model should realistically prescribe these rates, or the associated barriers, for a diversity of local surface environments. However, commonly used generic choices for barriers fail, even qualitatively, to simultaneously describe diffusion for different low-index facets, for terrace vs step edge diffusion, etc. We introduce an alternative Unconventional Interaction–Conventional Interaction formalism to prescribe these barriers, which, even with few parameters, can realistically capture most aspects of behavior. Here, the model is illustrated for single-component fcc metal systems, mainly for the case of Ag. It is quite versatile and can be applied to describe both the post-deposition evolution of 2D nanostructures in homoepitaxial thin films (e.g., reshaping and coalescence of 2D islands) and the post-synthesis evolution of 3D nanocrystals (e.g., reshaping of nanocrystals synthesized with various faceted non-equilibrium shapes back to 3D equilibrium Wulff shapes).

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS2007

Astrobiological Significance of Microbial Extremophiles

The microflora of the cryosphere of planet Earth provides the best analogs for life forms that might be found in the permafrost or polar ice caps of Mars, near the surface of the cometary nuclei, or in the liquid water beneath and the ice crusts of icy moons of Jupiter and Saturn. The importance of study alkaliphilic microorganisms for astrobiology was enhanced by the findings of abundant carbonates and carbonate globules rimmed with possibly biogenic magnetites in association with the putative microfossils in the ALH84001 meteorite. Although the ALH84001 "nanofossils" were to small and simple to be unambiguously recognized as biogenic, they stimulated Astrobiology research and studies of microbial extremophiles and biomarkers in ancient rocks and meteorites. Recent studies of CI and CM carbonaceous meteorites have resulted in the detection of the well-preserved mineralized remains of coccoidal and filamentous microorganisms in cyanobacterial mats. Energy Dispersive X-ray Analysis has shown anomalous biogenic element ratios clearly indicating they are not recent biological contaminants. This paper reviews microbial extremophiles in context of their significance to Astrobiology. The study of halophilic microorganisms was started from work with saline soils and lakes, and one of the record of good growth for Haloferax mediterranei was shown at 30 percent NaC1. Although alkali-tolerant nitrifying bacteria had previously been reported, the first described alkaliphilic microorganism was the bacterium Streptococcus faecalis. Halophilic and alkaliphilic forms are relevant to conditions that might be found in closed impact basins and craters on Mars filled with evaporite deposits. The first obligately acidophilic bacterium described was Acidithiobacillus ferrooxydans (formally Thiobacillus ferrooxidans). Later thermophilic lithotrophic acidophiles were found, and the hyperacidophilic moderately thermophilic species of the genus Picrophilus were found to grow at negative pH. The epoch of study of thermophilic microorganisms starts with the discovery of Thermus aquaticus, and presently the maximum temperature for growth at 113 C was found for Pyrolobus fumarii. The microorganisms capable of growth at high temperatures and in hyperacidic environments on Earth are good analogs for life that might be able to survive in hot acidic droplets in the upper regimes of the atmosphere of Venus. The study of barophiles was made possible by engineering achievements leading to the development of the submersible crafts used to study the Black Smokers of the Deep-sea Hydrothermal vents. The first described radioresistant bacterium Deinococcus radiodurans can survive ionizing irradiation and other DNA-damaging assaults at doses that are lethal to all other organisms. These microbes are models for life that might endure high radiation environments in the ice near the surface of comets or on the icy moons of Jupiter and Saturn and in the seafloor deep beneath icy crusts Europa and Enceladus. This paper presents ESEM and FESEM images showing intact microbes preserved in the deep ice cores extracted from just above Lake Vostok, Antarctica that are considered analogs for life forms that might survive on comets and icy moons.

Pikuta, Elena V.↗