Search NASA⌕ Search

SEARCH · Search NASA

Results for “Nature Run”

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 199 records · Page 11

A natural language interface to databases

The development of a Natural Language Interface which is semantic-based and uses Conceptual Dependency representation is presented. The system was developed using Lisp and currently runs on a Symbolics Lisp machine. A key point is that the parser handles morphological analysis, which expands its capabilities of understanding more words.

Ford, D. R.↗

A Powerful New Engine

Through Small Business Innovation Research (SBIR) funding from NASA's Glenn Research Center, Moller International created a new coating for rotary engines, which significantly improves the fuel consumption of a vehicle while reducing emissions. The new coatings are offered in the new Rotapower(R) engine, which is produced and distributed by Moller subsidiary, Freedom Motors, Inc. The coating allows the Rotapower engine to function smoother than other models, reducing wear and protecting the engine. The Rotapower engine has the ability to operate on a variety of fuels, including gasoline, natural gas, diesel, alcohol, and kerosene. A small and lightweight engine, it is projected to replace many of today's bulkier versions. The 10 horsepower model fits in the palm of one's hand, while the 160 horsepower model fits into a 5-gallon bucket. The clean running Rotapower engine is environmentally appealing, because it eliminates over 98 percent of the total emissions given off by traditional piston engines. Fewer pollutants are spewed into the air, making it especially attractive in areas where air pollution is a major problem. Due to the clean-burning nature of the engine, it meets the stringent standards set by the California Air Resources Board. The engine also has numerous commercial benefits in several types of recreational, industrial, and transportation applications, including personal watercraft, snowmobiles, portable generators. and pumps.

Source record↗

Analysis of pressure test results of tube fittings for the potential application in cryo systems for helium leak rate reduction

Due to the nature of Helium, it is notoriously difficult to maintain a closed system without experiencing helium inventory loss through leakage in large tubing and piping runs. There are two standard fitting options readily available for piping and tubing assemblies, welded fittings or Swagelok ® . Welding is the best option for leak rate reduction, but more costly than Swagelok ® . A new style of fitting has come to the attention of BNL C-AD Cryo group, and a pressure test and leak rate analysis were performed to evaluate the viability of incorporating this new style fitting into current engineering design of warm helium tubing runs for the purpose of leak rate reduction.

43 PARTICLE ACCELERATORS↗

Develop a Simulation Framework for Understanding Physico-Chemical Processes and Optimization of CHZ' Plastic Thermolyze Technology (CRADA Final Report)

Thermolyzer(TM) technology is a third-generation, multi-reactor, oxygen-free, low pressure, slow pyrolysis process. It has proven to be remarkably versatile in successfully processing all types of hydrocarbon waste. These include all seven types of plastics, tires, auto shredder residue, carpet, electronic waste, and composites. Working with the IACMI, Thermolyzer(TM) technology has recovered the glass and carbon fibers from wind turbine blades for reuse into new applications. Its primary output is a synthesis gas that is rich in H 2 , CH 4 , and small amounts of C 2-4 aliphatic hydrocarbons. Other components are CO and CO 2 . Three unique features set Thermolyzer(TM) apart from other pyrolysis systems: the syngas is clean enough to run in Siemens or Solar gas turbines or IC engines without fouling, clean, salable, byproducts are produced, and CO 2 emissions are lower than natural gas power plants. Research results have been obtained from an operating 7 ton/day facility. A 44 ton/day plant has successfully operated as noted above. The process works because it makes use of the recoverable embodied energy in the feedstock. Surprisingly, a pound of some plastics has the same recoverable energy content as a pound of gasoline. Thus, it is imperative to develop a process that economically converts scrap plastics (including ocean plastics) into energy and thereby conserve the non-renewable fossil fuels for future generations. The Thermolyzer(TM) technology can also be used to create liquid fuels like gasoline and diesel from hydrocarbon wastes. Because of the high hydrogen content of the synthesis gas, hydrogen can be recovered more inexpensively than the current solar or wind energy being used to electrolyze water. That hydrogen can be used for fuel cell powered vehicles or converted into ammonia for agriculture or as a hydrogen storage medium. Extension of this technology to other wastes such as tires, auto shredder residue or wood wastes would expand the circular economy.

36 MATERIALS SCIENCE↗

Development of a prototype commonality analysis tool for use in space programs

A software tool to aid in performing commonality analyses, called Commonality Analysis Problem Solver (CAPS), was designed, and a prototype version (CAPS 1.0) was implemented and tested. The CAPS 1.0 runs in an MS-DOS or IBM PC-DOS environment. The CAPS is designed around a simple input language which provides a natural syntax for the description of feasibility constraints. It provides its users with the ability to load a database representing a set of design items, describe the feasibility constraints on items in that database, and do a comprehensive cost analysis to find the most economical substitution pattern.

Yeager, Dorian P.↗

A Natural Language Interface to Databases

The development of a Natural Language Interface (NLI) is presented which is semantic-based and uses Conceptual Dependency representation. The system was developed using Lisp and currently runs on a Symbolics Lisp machine.

Ford, D. R.↗

matsim-agents v1.0

matsim-agents is a multi-agent AI framework for atomistic materials simulation and discovery. It orchestrates large language models (LLMs), machine-learned interatomic potentials (MLIPs), and DFT codes into a single agentic loop running on laptops and DOE leadership-class supercomputers. MULTI-AGENT ORCHESTRATION A LangGraph state machine with three nodes: a Planner that converts a natural-language research objective into structured tasks; an Executor that dispatches atomistic tools and loops until the queue is empty; and an Analyst that summarizes results into a human-readable report. State is checkpointed after every step and human-in-the-loop gates can be inserted at any edge. HYPOTHESIS-DRIVEN DISCOVERY CHAT An interactive REPL (matsim-agents chat) that couples LLM dialogue with atomistic simulation. Chemical formulas are automatically detected in conversation turns and trigger a full crystal-phase exploration: structure generation → relaxation → stability scoring → result injection back into the conversation, creating a closed hypothesis-refinement loop. CRYSTAL PHASE ENUMERATION Given a composition, the phase explorer enumerates prototypes by stoichiometry: elemental (fcc/bcc/hcp/sc/diamond), binary 1:1 (rocksalt/CsCl/zincblende/ wurtzite/fluorite/rutile), ternary 1:1:3 (cubic perovskite), ternary 1:2:4 (perovskite + spinel), quaternary 1:1:2:6 (Fm-3m double perovskite). 2-D prototypes (graphene, h-BN, MoS2 2H/1T) and multilayer stacking are also supported via --include-2d and --num-layers. SUPERCELL GENERATION AND SITE DECORATION Auto-tiling to a minimum atom count (--min-atoms), explicit NxNxN tiling (--supercell), symmetry-distinct site decorations (--n-orderings), and isotropic lattice-scale sweeps (--lattice-scales) for volume bracketing. MLFF RELAXATION AND STABILITY SCORING HydraGNN (multi-headed GNN) drives structure relaxation via ASE with FIRE, BFGS, or BFGSLineSearch. Stability output: delta-E/atom ranking across phases and a max-residual-force dynamical-stability proxy. Other MLIPs (MACE, NequIP, Orb) can be plugged in through the same interface. DFT BACKENDS Quantum ESPRESSO pw.x and VASP 6.6 are first-class labellers. Both have validated GPU builds and SLURM/PBS launchers for three DOE platforms: Frontier (AMD MI250X, ROCm), Aurora (Intel PVC, oneAPI), Perlmutter (NVIDIA A100, CUDA). QE produces ~100 binaries (pw.x, ph.x, epw.x, ...). VASP supports scf, relax, vc-relax, and vc-relax-shape run types. ACTIVE-LEARNING LOOP matsim-agents al run CONFIG.yaml drives an iterative HydraGNN-DFT loop: MD generates candidates → ensemble/MC-dropout uncertainty selects the most informative → DFT labels them in parallel inside one allocation → dataset grows → HydraGNN retrains → repeat. DFT backend is a single YAML toggle (dft.backend: vasp | qe). LLM-generated seed structures are supported (no curated POSCAR library needed). Config uses ${VAR}, ${VAR:-default}, ${VAR:?msg} shell-style substitution for cross-user/cross-site portability. LLM BACKENDS Ollama (local, default), vLLM (HPC multi-GPU serving), OpenAI, Anthropic, HuggingFace Transformers+Accelerate. Selected at runtime via flag or env var with no code changes. HPC PORTABILITY Same Python entry points run on Frontier (ROCm 7.2), Aurora (oneAPI), and Perlmutter (CUDA 12). DFT and ML stacks are never co-loaded in the same shell; they couple through the scheduler and filesystem. Advanced multi-node launchers (serve, discovery-chat, single-relaxation, active-learning, QE warm-start) are provided for all three platforms. CODABENCH COMPETITION BUNDLE A self-contained benchmark: 159 atomistic test structures across 11 material classes, 5 tasks (formation energy, forces, ML relaxation, AI-DFT relaxation, phase stability ranking), public/private leaderboard split (30/70), and four ready-to-run baselines: MACE-MP-0, HydraGNN, UMA, AllScAIP.

Lupo Pasini, Massimiliano [Oak Ridge National Labo↗

]Space Shuttle Independent Assessment Team

The Shuttle program is one of the most complex engineering activities undertaken anywhere in the world at the present time. The Space Shuttle Independent Assessment Team (SIAT) was chartered in September 1999 by NASA to provide an independent review of the Space Shuttle sub-systems and maintenance practices. During the period from October through December 1999, the team led by Dr. McDonald and comprised of NASA, contractor, and DOD experts reviewed NASA practices, Space Shuffle anomalies, as well as civilian and military aerospace experience. In performing the review, much of a very positive nature was observed by the SIAT, not the least of which was the skill and dedication of the workforce. It is in the unfortunate nature of this type of review that the very positive elements are either not mentioned or dwelt upon. This very complex program has undergone a massive change in structure in the last few years with the transition to a slimmed down, contractor-run operation, the Shuttle Flight Operations Contract (SFOC). This has been accomplished with significant cost savings and without a major incident. This report has identified significant problems that must be addressed to maintain an effective program. These problems are described in each of the Issues, Findings or Observations summarized, and unless noted, appear to be systemic in nature and not confined to any one Shuttle sub-system or element. Specifics are given in the body of the report, along with recommendations to improve the present systems.

Source record↗

Solid-State Mixed-Potential Electrochemical Sensors for Natural Gas Leak Detection and Quality Control (Final Technical Report)

Mitigation of methane emissions are a critical factor to limiting the impact of the natural gas industry on global climate change. Throughout the period of 2020-2024, the University of New Mexico and its commercialization partner and subcontractor, SensorComm Technologies, Inc. (SCT), have worked together to develop a low-cost Artificial Intelligence (AI)-driven Internet of Things (IoT)-based multi-gas sensor platform for methane emissions detection. In the final year of the project, we extended this work to include hydrogen detection in support of a transition to a hydrogen economy where hydrogen could be transported through existing natural gas infrastructure. Mixed potential electrochemical sensors were first prototyped by ceramic additive manufacturing and then transitioned to conventional ceramic manufacturing tape casting and screen-printing technologies in preparation for mass production. Demonstrated limits of detection of 5 ppm of methane in natural gas and 1 ppm of hydrogen were measured. These limits of detection are among the lowest of solid-state electrochemical sensors that have been reported in the literature or available in the industry. Machine learning algorithms were developed to identify natural gas mixtures with > 98% accuracy level and quantify methane concentrations at 97% accuracy. The presence of hydrogen could also be identified, and its concentration quantified at these accuracy levels. These algorithms were optimized for running on portable computing hardware which enabled > 1 Hz processing rates. A portable packaged IoT system was integrated with the electrochemical sensor in collaboration with SCT. The package consists of readout electronics with < 1 mV resolution, sensor temperature control, and data transmission over cellular wireless and/or Wi-Fi networks. Field testing was performed in two rounds at Colorado State University’s Methane Emissions Technology Evaluation Center (CSU METEC). The first round of testing demonstrated successful measurements of methane from an underground natural gas leak of 20 standard liters per minute (SLPM), which agreed with previously published literature using more sophisticated and expensive analytical equipment. The second round of testing showed that an above ground leak of 2 SLPM of hydrogen could be detected at 32 ft. This project has resulted in six published peer reviewed journal articles, over ten presentations at professional conferences, and one full patent application filed in 2023. Future work on this project includes increased sensitivity, higher production yields, and applications in the hydrogen safety and flare emissions monitoring spaces.

03 NATURAL GAS↗

Testing- and Model- Based Optimization of Coal-fired Primary Heater Design for Indirect Supercritical CO 2 Power Cycles (Final Scientific and Technical Report)

The overall objective of this project was to perform the R&D necessary to mitigate the risk associated with the design of a primary heat exchanger for a solid-fired combustion system coupled with an indirect-fired closed-loop Brayton Cycle utilizing supercritical CO 2 . The key technological hurdle was the coupling of a solid-fuel firing system with the primary heater, which poses a singular challenge, which is the management of burner performance and operational conditions in a way to manage heat exchanger tube metal temperatures and temperature ramp rates in the absence of fluid phase change on the inside of the tubes. We designed and built the first ever pseudo power system employing a simple recuperated supercritical CO 2 closed-loop Brayton Cycle coupled to a solid-fuel fired system. Advanced coupled CFD and process modeling were used to design the primary heat exchanger (PHX), which consisted of both radiative and convective sections, to limit tube metal temperatures resulting from the heat release profile of the solid fuel flame near the radiative tubes. The heat exchanger was designed to produce finished CO 2 temperatures of 600 °C a pressure of 20.7 MPa and CO 2 flow of 5.5 kg/s. The constructed PHX was capable of 1.2 MWth heat uptake. During design of the PHX, the modeling showed that most variables influencing flame shape (burner stoichiometric ratio and register velocities and swirl) were not suitable to manage heat flux to the metal surfaces. This is because they substantially increased adiabatic flame temperature through the influence of localized stoichiometric ratio. Excess air and firing rate were the two most powerful variables that could be used to control tube surface temperatures. The coupled system was operated for a total of 407 hours, with the longest continuous run of 248 hours. For 62% of the operational time, the unit was unmanned and in automatic control. The fuels used for the testing included natural gas, two Utah Bituminous coals, woody biomass, and bagasse. During the testing we were able to verify the 1.2 MWth heat uptake and we operated at a finished CO 2 temperature of 607 °C and a pressure of 20.3 MPa simultaneously. The real-time corrosion rate of the Super 304H tube CO 2 surface in the region of the radiative section of the PHX were measured, at an approximate temperature of 550 °C. The two key variables related to corrosion rate are the pressure and flow rate of the CO 2 . A technoeconomic analysis was performed at a scale of 120 MWE. The updated analysis showed that the efficiency of an sCO 2 power producing plant will be related to the pressure drop of the PHX.

01 COAL, LIGNITE, AND PEAT↗

Optimal source codes for geometrically distributed integer alphabets

An approach is shown for using the Huffman algorithm indirectly to prove the optimality of a code for an infinite alphabet if an estimate concerning the nature of the code can be made. Attention is given to nonnegative integers with a geometric probability assignment. The particular distribution considered arises in run-length coding and in encoding protocol information in data networks. Questions of redundancy of the optimal code are also investigated.

Gallager, R. G.↗

Three-dimensional computer model for the atmospheric general circulation experiment

An efficient, flexible, three-dimensional, hydrodynamic, computer code has been developed for a spherical cap geometry. The code will be used to simulate NASA's Atmospheric General Circulation Experiment (AGCE). The AGCE is a spherical, baroclinic experiment which will model the large-scale dynamics of our atmosphere; it has been proposed to NASA for future Spacelab flights. In the AGCE a radial dielectric body force will simulate gravity, with hot fluid tending to move outwards. In order that this force be dominant, the AGCE must be operated in a low gravity environment such as Spacelab. The full potential of the AGCE will only be realized by working in conjunction with an accurate computer model. Proposed experimental parameter settings will be checked first using model runs. Then actual experimental results will be compared with the model predictions. This interaction between experiment and theory will be very valuable in determining the nature of the AGCE flows and hence their relationship to analytical theories and actual atmospheric dynamics.

Roberts, G. O.↗

A new programming metaphor for image processing procedures

Most image processing systems, besides an Application Program Interface (API) which lets users write their own image processing programs, also feature a higher level of programmability. Traditionally, this is a command or macro language, which can be used to build large procedures (scripts) out of simple programs or commands. This approach, a legacy of the teletypewriter has serious drawbacks. A command language is clumsy when (and if! it attempts to utilize the capabilities of a multitasking or multiprocessor environment, it is but adequate for real-time data acquisition and processing, it has a fairly steep learning curve, and the user interface is very inefficient,. especially when compared to a graphical user interface (GUI) that systems running under Xll or Windows should otherwise be able to provide. ll these difficulties stem from one basic problem: a command language is not a natural metaphor for an image processing procedure. A more natural metaphor - an image processing factory is described in detail. A factory is a set of programs (applications) that execute separate operations on images, connected by pipes that carry data (images and parameters) between them. The programs function concurrently, processing images as they arrive along pipes, and querying the user for whatever other input they need. From the user's point of view, programming (constructing) factories is a lot like playing with LEGO blocks - much more intuitive than writing scripts. Focus is on some of the difficulties of implementing factory support, most notably the design of an appropriate API. It also shows that factories retain all the functionality of a command language (including loops and conditional branches), while suffering from none of the drawbacks outlined above. Other benefits of factory programming include self-tuning factories and the process of encapsulation, which lets a factory take the shape of a standard application both from the system and the user's point of view, and thus be used as a component of other factories. A bare-bones prototype of factory programming was implemented under the PcIPS image processing system, and a complete version (on a multitasking platform) is under development.

Smirnov, O. M.↗

A Structural and Molecular Approach for the Study Biomarkers

Investigation of the nucleation and growth of crystals in both abiotic and biotic systems is critical to seemingly diverse disciplines of geology, biology, environmental science, and astrobiology. While there are abundant studies devoted to the determination of the structure and composition of inorganic crystals, as well as to the development of thermodynamic and kinetic models, it is only recently that research efforts have been directed towards understanding mineralization in biological systems (i.e., biomineralization). Biomineralization refers to the processes by which living organisms form inorganic solids. Studies of the processes of biomineralization under low temperature aqueous conditions have focused primarily on magnetite forming bacteria and shell forming marine organisms. Many of the biological building materials consist of inorganic minerals (calcium carbonate, calcium phosphate, silica or iron oxide) intricately combined with organic polymers (like proteins). More recently, efforts have been undertaken to explore the nature of biological activities in ancient rocks. In the absence of well-preserved microorganisms or genetic material required for the polmerase chain reaction (PCR) method in molecular phylogenetic studies, using biominerals as biomarkers offers an alternative approach for the recognition of biogenic activity in both terrestrial and extraterrestrial environments. The primary driving force in biomineralization is the interaction between organic and inorganic phases. Thus, the investigation of the ultrastructure and the nature of reactions at the molecular level occurring at the interface between inorganic and organic phases is essential to understanding the processes leading to the nucleation and growth of crystals. It is recognized that crystal surfaces can serve as the substrate for the organization of organic molecules that lead to the formation of polymers and other complex organic molecules, and in discussions of the origins of life, is referred to as organic synthesis on mineral surfaces. Furthermore, it is suggested that the interaction between mineral surfaces and simple organic molecules resulted in the formation of amino acids, RNA, and perhaps other more complex molecules such as proteins. On the other hand, in natural systems, it is recognized that functional groups on cell walls or membranes of microorganisms serve as sites of nucleation and crystallization. The precise replication of biominerals with controlled structure, morphology, size and texture is not confined to higher organisms as it also occurs in primitive prokaryotic cells such as magnetotactic bacteria and cyanobacteria. This suggests that the principal strategies of biomineralization were established early on in the evolutionary history of organisms. It is critical, therefore, to search for common mechanisms within diverse biological systems. One such common factor is the capability for organization and self-assembly. Organic macromolecules such as proteins and lipids can aggregate and polymerize forming membranes or extracellular matrix. At the organic-inorganic interface, several factors such as lattice geometry, polarity, stereochemistry and topography may act in concert to control nucleation and growth of crystals. Although several models have been proposed that discuss the significance of these factors for biomineralization, no comprehensive experimental data are available. In contrast to crystallization in exclusively inorganic systems, the kinetics of reaction and structural relationships between organic and inorganic phases in biominerals or biomimetic material is poorly understood. For example, it is not clear if the concept of epitactic growth (geometrical matching of unit cells at the interface of a secondary crystal growing on a primary crystal) applies to organic-inorganic systems. In contrast to inorganic templates that often have a smooth and rigid surface that promotes epitactic growth, biological substrates are usually rough and result in a large degree of mismatch. It is apparent that factors controlling the reaction at the crystal-matrix interface are strongly dependent upon the nature of the substrate. Therefore, characterization of the assembled organic surface and surface structure of the inorganic phase is crucial to understanding the processes of biomineralization. The focus of our research is the investigation of the processes leading to the nucleation and growth of crystals on both natural and synthetic systems through an interdisciplinary approach that integrates molecular biology, morphology and mineralogy using advanced preparation and analytical techniques. We have studied run-products, particularly magnetite, siderite and other carbonates, that resulted from extracellular biomineralization by extremophiles isolated from a variety of extreme environments ranging from permafrost to hydrothermal vent systems. The results of this study are critical to recognizing biomarkers in terrestrial and extraterrestrial environments.

Thomas-Keprta, Kathie↗

Development of Message Passing Routines for High Performance Parallel Computations

Computational Fluid Dynamics (CFD) calculations require a great deal of computing power for completing the detailed computations involved. In an effort shorten the time it takes to complete such calculations they are implemented on a parallel computer. In the case of a parallel computer some sort of message passing structure must be used to communicate between the computers because, unlike a single machine, each computer in a parallel computing cluster does not have access to all the data or run all the parts of the total program. Thus, message passing is used to divide up the data and send instructions to each machine. The nature of my work this summer involves programming the "message passing" aspect of the parallel computer. I am working on modifying an existing program, which was written with OpenMP, and does not use a multi-machine parallel computing structure, to work with Message Passing Interface (MPI) routines. The actual code is being written in the FORTRAN 90 programming language. My goal is to write a parameterized message passing structure that could be used for a variety of individual applications and implement it on Silicon Graphics Incorporated s (SGI) IRIX operating system. With this new parameterized structure engineers would be able to speed up computations for a wide variety of purposes without having to use larger and more expensive computing equipment from another division or another NASA center.

Summers, Edward K.↗

NASA GPM Status and Future Activities

The joint U.S.-Japan Global Precipitation Measurement (GPM) mission is approaching a decade of operations, and continues to pursue research, dataset production, and outreach related to precipitation. Key activities over the last year were the release of an improved “Version 07” of all GPM precipitation and latent heating products, boosting the orbit of the GPM Core Observatory (GPM CO) to 435 km, and improving quality control on precipitation retrievals from the GPM constellation of passive microwave satellites. This presentation summarizes key improvements to the GPM products and provides some examples of the changes between Versions 06 and 07 in algorithm performance. One important operational change that affected Version 07 is that the scanning strategy for the Ka-band radar channel changed in May 2018; all products that depend on Ka were revised to accommodate this change. For example, in Version 07 the Goddard Profiling (GPROF) algorithm has implemented improvements in regions where orographic enhancement and suppression take place and where the surface is snowy/icy, and again covers radiometers reaching back to 1987. The Combined Radar Radiometer Algorithm (CORRA) now incorporates modified drop-size distribution constraints that substantially reduce bias. Revisions to the Convective-Stratiform Heating (CSH) algorithm employ new radiative transfer retrievals as well as accounting for terrain in the vertical coordinates. Each algorithm was adjusted to ensure continuity for each product across the boundary in 2014 between the predecessor Tropical Rainfall Measuring Mission (TRMM) and the GPM CO. The U.S. Science Team’s Integrated Multi-satellitE Retrievals for GPM (IMERG) was upgraded to account for distortions in the probability density function of regional precipitation rates due to weighted averaging in the Kalman filter used for “morphing” the passive microwave data. Maintaining the GPM CO orbital altitude in the the current very active solar cycle has been forcing the use of more fuel than planned and consequently shortening the forecasted life of the mission from the early 2030's to the late 2020's. It was considered vital to regain some of this lifetime to ensure overlap with the upcoming Atmosphere Observing System mission to provide crosscalibration of instruments. To accomplish this, the orbital altitude was raised from 400 to 435 km on 7-8 November 2023. Thereafter, the primary GPM CO algorithms had to be revised to account for the change in observing parameters. By meeting time this action should be complete. Recently, a screening algorithm based on auto-encoding was developed that uncovered 162 orbits (out of the many thousands of orbits across all years and all satellites) of passive microwave retrievals that had highly anomalous values. Removing these defective retrievals has improved the integrity of both the GPROF and IMERG records. However, the nature of the IMERG processing interacted sufficiently badly with the now-discovered anomalous orbits that it was necessary to completely reprocess the IMERG Final Run record, now labeled Version 07B. The presentation also considers major issues that require continued attention, including the use of machine learning algorithms and the operational challenge of swarms of “small”, perhaps short-lived satellites.

GPM↗

A numerical study of the NOL large-scale test

The large-scale gap test was modeled numerically using the reactive hydrodynamics code 2DE with forest fire burn rates. The model gives good agreement between calculated and experimental critical gap values. The calibration of peak pressure in the gap versus gap length is obtained from these calculations, and is in good agreement with the published experiment curve. The two dimensional nature of the gap test is evident from the curvature of the shock wave in the gap and test sample, and from the observed distance of run to detonation in the test samples.

Bowan, A. L.↗

ARIES: Acquisition of Requirements and Incremental Evolution of Specifications

This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and Incremental Evolution of Specifications). ARIES provides assistance to requirements analysts for developing operational specifications of systems. This development begins with the acquisition of informal system requirements. The requirements are then formalized and gradually elaborated (transformed) into formal and complete specifications. ARIES provides guidance to the user in validating formal requirements by translating them into natural language representations and graphical diagrams. ARIES also provides ways of analyzing the specification to ensure that it is correct, e.g., testing the specification against a running simulation of the system to be built. Another important ARIES feature, especially when developing large systems, is the sharing and reuse of requirements knowledge. This leads to much less duplication of effort. ARIES combines all of its features in a single environment that makes the process of capturing a formal specification quicker and easier.

Roberts, Nancy A.↗