Search NASA⌕ Search

SEARCH · Search NASA

Results for “regularization”

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 415 records · Page 23

Evaluating Long-Term Changes in Atmospheric Ozone

Ozonesondes have made inexpensive, accurate measurements of ozone from the ground to 30km for more than 50 years. The data are used extensively for trend analyses and for evaluation of satellite and model data products, and are also part of climatologies that are used as a priori data for satellite retrievals. They are essential as a transfer standard when merging shorter satellite-derived time series, and are the most important source of trend-quality long-term records below about 18 km. The importance of long-term ozonesonde records as a stable reference has led to increased attention to quantifying uncertainties and changes in ozonesonde data. Based on past intercomparison data, ECC sondes show a modest (~1-5%) high bias with respect to UV-absorption measurements (including MOZAIC-IAGOS) in the troposphere, with an uncertainty of 5%, but no evidence of a change with time. Other sonde types show an increase of 5-20% in sensitivity to tropospheric ozone from 1970-1995. Agreement in the stratosphere is much better. In the past 20 years ozonesonde precision has improved by a factor of 2, primarily through the adoption of strict standard operating procedures. In addition, many of the most important ozonesonde records have been re-evaluated and corrected, and detailed estimates made of their biases and uncertainties. Corrections to historical data for known issues may reduce biases but simultaneously introduce additional uncertainties. The uncertainty budget for the ozone partial pressure reading has contributions from stoichiometry, cell background current, pump efficiency and temperature, sensing solution type and volume. The much-discussed “background current” has recently been shown to be primarily related to reaction stoichiometry. Several quality assurance issues remain, but are tractable problems that can be addressed with further research. This will be required if the present goal of better than 5% overall uncertainty throughout the global ozonesonde network is to be achieved. Finally, the importance of regular sonde intercomparisons, employing UV photometers traceable to the modern UV-absorption standard, and of regular comparison of operational station records with multiple satellite sensors, is emphasized.

Ozonesondes↗

Improving Flood and Drought Management in Agricultural River Basins: An Application to the Mun River Basin in Thailand

Agriculture productivity is regularly affected by floods and droughts, and the severity is likely to increase in the future. Even if significant efforts are spent on water development projects, ineffective project planning often means that they continue to occur or are only partly mitigated, for example, in the Mun River Basin, Thailand, where 1000s of water projects have been implemented. Despite this, the basin regularly experiences floods and droughts. In this study, an analysis of the adverse impacts of basin-scale floods and droughts on rice cultivation in the Mun River Basin is conducted, and an estimation of the coping capacity of existing measures. The results demonstrate that while the total storage capacity of in-situ and ongoing projects would be sufficient to tackle both hazards, it can only be achieved if the projects are effectively utilised. Based on this, proposed solutions for the region include small farm ponds, a subsurface floodwater harvesting system, and oxbow lake reconnections. The suggested measures are practicable, economical, environmentally low-impact, and their implementation (if executed with appropriate care) would reduce flood and drought problems in the basin. Notably, the measures and calculation methods proposed for this basin can also be applied to other crops and regions.

Farm pond↗

Lessons Learned from the Airborne Particulate Monitor ISS Payload

Particulate monitoring on spacecraft has not been undertaken for air quality purposes for the first twenty years of human habitation on the International Space Station (ISS). The Airborne Particulate Monitor (APM) is a reference-quality instrument technology demonstration that characterized the airborne particles in the ISS cabin in real-time. Onboard aerosols have been measured with this higher fidelity instrument, so future miniaturized low-power aerosol instruments can be reliably compared in future ISS experiments. Several issues were encountered during the payload operations that are a result of the unique environment on ISS, which could not have been anticipated or eliminated by ground testing. First, the ISS had very small amounts of particulate matter in the particle measurement size range of the APM, which was unexpected. Second, despite the measured ‘clean’ environment, larger debris such as lint accumulated regularly on the cleanable inlet screen, which required regular inspection and crew time. The third issue is that particle emissions measured on ISS depend only on the activities in the immediate vicinity of the particle instrument and total particle concentrations cannot be generalized for the entire module. Finally, the sampling efficiency of APM on ISS is unknown because aisle-deployed instruments attached to wall panels of ISS are in the boundary layer of the large-scale ventilation flow of the modules. These issues are discussed and potential solutions for future particulate monitors are presented.

aerosol↗

An exact solution of an augmented Burgers equation and amplitude-dependent acoustic propagation speed

Nonlinear sound propagation in the atmosphere is usually modeled using an augmented Burgers equation accounting for a weak nonlinearity and atmospheric absorption. Because the absorption includes the molecular vibrational relaxation, such a Burgers equation is more complex than the regular Burgers equation that only accounts for the thermoviscous dissipation in the absorption. Although an exact solution of the regular Burgers equation has long been derived using the Cole- Hopf transform, an exact solution of the augmented Burgers equation has not been derived previously. Thus, this paper presents an exact solution of the augmented Burgers equation. This novel solution is shown to be equivalent to the solution using the Cole-Hopf transform when the absorption only involves thermoviscous dissipation. It can also be reduced to the known solution of an N-wave when the absorption is ignored. The augmented Burgers equation is an approximation valid for weak nonlinearity. However, this assumption may not be accurate for acoustic signals propagating from the lower atmosphere and which are subsequently refracted downward from the upper atmosphere (e.g., stratosphere and thermosphere) due to the decreasing air density with increasing altitude [Lonzaga, et al., Geophysical Journal International, 200(3), pp.1347-1361]. Consequently, the current paper also discusses the effects of a strong nonlinearity that lead to an amplitude-dependent increase in signal propagation speed. For an impulsive signal such as a sonic boom, these effects cause a dispersion of the signal similar to the observed dispersion of acoustic signals from supersonic Concorde as well as from large explosions.

Joel B Lonzaga↗

Robustness of Vegetation Optical Depth Retrievals Based on L-Band Global Radiometry

Microwave vegetation optical depth (VOD) and soil moisture (SM) can be simultaneously retrieved based on L-band radiometry with polarization information. VOD is indicative of the vegetation water content (VWC) because it captures the extinction of land surface emission. If the connectivity of VOD to VWC is robust, the pair of VWC-SM observations can be viable bases for understanding soil–plant–atmosphere water relations, providing new perspectives on ecosystem science. Simultaneous SM–VOD retrievals are feasible by inverting the τ−ω model with two independent datasets in dual-channel algorithms. However, given correlated satellite vertical and horizontal brightness temperatures (TBs; TB v and TB h ), an ill-posed inverse problem arises where TB errors result in high uncertainties of retrievals. In this study, we apply the degrees-of-information (DoI) metric and propose a signal-to-noise ratio (SNR) metric to assess the “retrievability” of VOD given the Soil Moisture Active Passive (SMAP) TB v –TB h linear dependence. The application of these metrics allows determining where the VOD retrievals are robust and reliable. This is a necessary step in supporting the applications of VOD in ecology and hydrology. Results show that regions with mainly nonwoody vegetation have the best potential for VOD retrievals, though regularization is necessary. We then assess VOD time variations from two regularization products that reduce the impact of underdetermined inversions: the L3 dual-channel algorithm (L3-DCA) and the multitemporal dual-channel algorithm (MTDCA), which constrain VOD time dynamics with and without using a priori VOD climatology, respectively. Though they both reduce noise, especially in the VOD retrievals, they result in differences in VOD seasonal amplitude and coupling to SM at high frequencies as we outline here.

Microwave↗

Calibration Inter-Comparison of MODIS and VIIRS Reflective Solar Bands Using Lunar Observations

Multispectral band observations from Terra and Aqua MODIS, launched in December 1999 and May 2002, respectively, and from SNPP and NOAA-20 VIIRS, launched in November 2011 and October 2017, respectively, have continuously enabled a broad range of applications and studies of the Earth system and its changes via a set of geophysical and environmental parameters. The quality of MODIS and VIIRS science and environmental data products relies strongly on the calibration accuracy and stability of individual sensors, as well as their calibration consistency, especially for the data products generated using observations from sensors across different platforms. Both MODIS and VIIRS instruments carry a similar set of on-board calibrators for their on-orbit calibration. Besides, lunar observations are regularly scheduled and implemented in support of their reflective solar bands (RSB) calibration, especially their long-term stability monitoring. In this paper, we provide an overview of MODIS and VIIRS solar and lunar calibration methodologies applied for the RSB on-orbit calibration, and describe the approach developed for their calibration inter-comparisons using lunar observations, including corrections for the effects caused by differences in the relative spectral response and adopted solar spectra between individual sensors. The MODIS and VIIRS calibration inter-comparison results derived from their regularly scheduled lunar observations are presented and discussed, including associated uncertainties and a comparison with those derived using the Earth-view targets. Also discussed are remaining challenges in lunar calibration and inter-comparison for the Earth-observing sensors, as well as on-going efforts for future improvements.

Multispectral band↗

Recent Advancements in Electrical Capacitance Mass Gauging for Cryogenic PropellantTanks

The current lack of unsettled mass gauging is a key roadblock for many space activities, such as orbital refueling, missions to the Moon and Mars, and nuclear thermal and nuclear electric propulsion technologies. Liquid can form any one of an infinite number of configurations in microgravity, such as floating in globs or accumulating on tank surfaces in discontiguous volumes, or both. Capacitive sensing requires no moving parts and dissipates close to zero heat, making it an ideal candidate for cryogenic fluid mass gauging in settled and unsettled configurations. Capacitive sensing has a history of proven use in space propellant tanks, including tanks on the space shuttle, Saturn V, and the Apollo Lunar Excursion Module. Modern capacitive sensor technology allows using the entire tank as the capacitor volume by placing electrodes on the tank walls and propellant management surfaces. Capacitance is directly related to density, and therefore to mass for fixed volumes. In this presentation, we discuss the concepts behind whole-tank capacitance mass gauging and associated engineering challenges. We describe recent efforts to develop a micro-g unsettled cryogenic mass gauge using whole-tank capacitance sensing, including the development of test beds, electronics, and algorithms. We describe several mathematical processing techniques, including empirical-based averaging, electrical capacitance volume tomography, and spatial regularization. A modeling study, performed using settled configurations in gravity and no gravity, and with a set of 100 random fluid configurations, has indicated that spatial regularization, in which capacitance measurements are weighted to account for non-uniform electric fields, yields a mass fraction accuracy of 8% for any fluid configuration. Such a sensor is expected to operate in real time with a sampling frequency of at least 1 kHz.

cryogenic↗

Modeling of Condensations in Coronal Loops Produced by Nanoflares with Variable Frequency and Location

The presence of condensations in active regions has the potential to be an important diagnostic of coronal heating. We present the results of models of nanoflare heated coronal loops using the 1-D hydrodynamic ARGOS code. The nanoflares are modeled by discrete pulses of energy along the loop. We explore the occurrence of cold condensations due to the effective equivalent of thermal non-equilibrium (TNE) in loops with steady heating, and examine its dependence on nanoflare timing and intensity and also nanoflares location along the loop, including of randomized distributions of nanoflares. We find that randomizing nanoflare distributions, both in time/intensity and location, tends to diminish the likelihood of condensations compared to regularly occurring nanoflares with the same average properties, but that condensations can sometimes occur in regimes where regular nanoflares would not produce TNE. Also, the condensations stay in the loop for a shorter amount of time when the nanoflares distributions are random. These properties can be used in the future to investigate diagnostics of coronal heating mechanisms.

T A Kucera↗

Overview of Commercial High-Speed Market Studies and NASA’s Hypersonic Technology Project

Presenting a 40-minute Throughout the history of aviation, there has been a continual desire to develop aircraft that can go higher, faster, and farther. Within each of these broad goals, significant achievements have been made in aeronautics over the decades. Specialized military aircraft can reach the edges of the atmosphere and regularly fly at supersonic speeds, with the Concorde bringing transatlantic supersonic flight to the public. In addition, commercial subsonic aircraft regularly fly nonstop flights of over 7000 nautical miles with flight times lasting over 15 hours. Each of these achievements have been enabled by research and development on the technologies required to overcome these barriers. As major technical challenges for high-speed/hypersonic flight have been overcome, the next questions that arise relate to what precisely is a viable commercial high-speed/hypersonic vehicle and what is the market for it. In 2020, NASA funded two studies to provide an independent assessment of the economic viability of high-speed/hypersonic transportation and some high level guidance on the design requirements of such a vehicle. Results from these market studies will be presented as well as insight into how these results are being used to inform ongoing strategic planning efforts in this research area within NASA’s Hypersonic Technology project.

High-Speed Independent Market Studies↗

Insights Into the Size-Resolved Dust Emission From Field Measurements in the Moroccan Sahara

The particle size distribution (PSD) of mineral dust has a strong effect on the impacts of dust on climate. However, our understanding of the emitted dust PSD, including its variability and the fraction of super-coarse dust (diameter >10 µm), remains limited. Here, we provide new insights into the size-resolved dust emission process based on a field campaign performed in the Moroccan Sahara in September 2019 in the context of the FRontiers in dust minerAloGical coMposition and its Effects upoN climaTe (FRAGMENT) project. The obtained dust concentration and diffusive flux PSDs show significant dependencies upon the friction velocity (u*), wind direction and type of event (regular events versus haboob events). For instance, the number fraction of sub-micrometre particles increases with u*, along with a large decrease in the mass fraction of super-coarse dust. We identify dry deposition, which is modulated by u* and fetch length, as a potential cause for this PSD variability. Using a resistance model constrained with field observations to estimate the dry deposition flux and thereby also the emitted dust flux, we show that deposition could represent up to ∼90 % of the emission of super-coarse particles (>10 µm) and up to ∼65 % of the emission of particles as small as ∼5 µm in diameter. Importantly, removing the deposition component significantly reduces the variability with u* in the PSD of the emitted dust flux compared with the diffusive flux, particularly for super-coarse dust. The differences between regular and haboob event concentration and diffusive flux PSDs are suspected to result from a smaller and variable dust source fetch during the haboob events, and/or an increased resistance of soil aggregates to fragmentation associated with the observed increase in relative humidity along the haboob outflow. Finally, compared to the invariant emitted dust flux PSD estimated based on brittle fragmentation theory, we obtain a substantially higher proportion of super-micrometre particles in the dust flux. Overall, our results suggest that dry deposition needs to be adequately considered to estimate the emitted PSD, even in studies limited to the fine and coarse size ranges (<10 µm).

particle size distribution↗

Diverse Responses of Multiple Satellite-Derived Vegetation Greenup Onsets to Dry Periods in the Amazon

Satellite-derived vegetation greenness and seasonal dynamics in the Amazon have generated considerable academic debate over the past two decades. Despite this, the phenological timing of Amazon forests and, in particular their responses to dry periods, remain poorly understood. Here we explicitly identify the diverse timing of vegetation canopy greenup onsets from 10-min geostationary satellite observations, and compute the timing of both the start and end of dry periods from daily precipitation data. We, for the first time, reveal that the Amazon vegetation canopy regularly experiences two cycles of greenup onsets during a year. The occurrence of greenup onset varies diversely from the start to end of the dry periods, but demonstrates regular shifts in local areas, although irregular shifts across the region. The multiple greenup onsets show complex spatial shifts, which closely follow the spatial movement of dry periods. The results provide a new insight into our understanding of the complexity of Amazonian vegetation canopy dynamics during dry periods, which could significantly improve the simulation of carbon and water cycles.

Satellite-Derived Vegetation↗

Tracking Community Building in Open Science

Open Science is enabled by a vibrant community of researchers who regularly engage with the data, from its production to its organization, curation, archiving, dissemination, analysis, and publication. This presentation will examine community building in open science. The NASA Open Science Data Repository (OSDR) makes data available to the public following the FAIR (Findability, Accessibility, Interoperability, and Reusability) principles. OSDR takes open science further with the OS Analysis Working Groups (AWGs) that facilitate community development and promotion. The primary activity of each AWG is to establish and validate analytical processes to generate higher-order data from data housed in OSDR. There are a number of these groups on various topics, including the Animal AWG, Plant AWG, Microbial AWG, Multi-Omics AWG, AI/ML AWG, and the Ames Life Sciences Data Archive (ALSDA) AWG. The international volunteers participating in these AWGs come from academia, citizen science initiatives, industry, and government. They include researchers, principal investigators, professors, trained hobbyists, and students from various domains and disciplines. Anyone may request to join the AWGs, and membership requests are vetted monthly by the group organizers before granting admission. Core to membership is demonstrated expertise through records of training, integrity, work in the professed domain(s), and good community standing. Regular virtual meetings are held for each AWG, with a varying cadence depending on the group's needs and goals. AWG communities share their expertise in research including cutting edge tools, software, frameworks, data formats, and libraries accelerating research collectively. This collaborative approach helps community members cross technology gaps and identify emerging challenges. These diverse communities encompass a wide range of individuals hailing from various sectors within the Science Mission Directorate and beyond. They serve as a means to promote and enhance transparency, accessibility, and inclusion. An annual AWG Symposium brings contributors together in person. Participation in AWGs can be synchronous or asynchronous, with some groups performing most of their work in off hours. Participants gain valuable skills and connections that allow them to add value to their communities and new organizations that they join, resulting in an expanded return on investment for the space life science community. Open science is increasingly a federal mandate and initiatives like NASA's Transform to Open Science and instruments like the Decadal Survey of Biological and Physical Sciences in Space demonstrate the need to carefully consider best practices in this domain. Here, we present greater detail about the makeup and participation metrics of the various AWGs affiliated with OSDR and details of successful peer-reviewed publication campaigns.

Christina M Johnson↗

Deep Space navigation for the BioSentinel spacecraft science orbit

BioSentinel is an astrobiology small spacecraft mission. The payload consists of two parts, the first has optical and microfluidics sensors, and the second is a Linear Energy Transfer spectrometer that has the objective to measure deep space radiation from events such as coronal mass ejections. The goal of the mission is to observe potential DNA damage due to the radiation in heliocentric space on the living organism Saccharomyces cerevisiae, which is a budding yeast. Two types of this living organism are included in the payload. The first is a natural type that is more radiation tolerant, while the second is a mutant strain that has a deficiency in a gene that allows DNA repair once damage occurs. The impact caused by the radiation on the DNA is compared to an identical sample aboard the International Space Station, as well as another identical sample at a laboratory on the ground. The BioSentinel mission consists of a 6U CubeSat currently ,as of January 2024, active in heliocentric orbit. The spacecraft was launched aboard the first SLS flight as part of the Artemis-I campaign in November 2022. After successful deployment from the launch vehicle, it performed a lunar flyby with an altitude of 406 km. The delta-V imparted by the flyby provided the necessary energy to achieve a heliocentric orbit, in an Earth-trailing pattern. The navigation analysis consisted of a Kalman-filter that utilized data from the Deep Space Network and the ESA Estrack network. All those antennas were needed since the Artemis-1 campaign included the deployment of several other cubesats, therefore the scheduling process required more antenna assets than usual due to simultaneous demands from various missions. The processed tracking data was later also refined with a smoother in order to obtain a more accurate solution. The type of tracking data included TCP, Sequential Range, Doppler and Range formats. The solar radiation pressure coefficient, as well as the delta-V from the deployment and the flyby were modeled to obtain suitable solutions that could decrease the position and velocity uncertainties at several steps along the mission concept of operations. The final product each time resulted in updated ephemeris files that were used by the mission and the antenna networks as the mission progressed. Once in the final science orbit, the utilized antennas are only from the DSN network and the data format is bounded to just TCP. Regular orbit determination is performed, every two weeks. The spacecraft is in a nominal well-known orbit, performing regular operations. This paper includes an analysis of the final science orbit, the techniques and procedures utilized to perform orbit determination and a description of the overall navigation campaign produced during the mission and, more specifically, during the final science operations in Deep Space.

BioSentinel↗

Tracking Community Building in Open Science

Open Science is enabled by a vibrant community of researchers who regularly engage with the data, from its production to its organization, curation, archiving, dissemination, analysis, and publication. This presentation will examine community building in open science. The NASA Open Science Data Repository (OSDR) makes data available to the public following the FAIR (Findability, Accessibility, Interoperability, and Reusability) principles. OSDR takes open science further with the OS Analysis Working Groups (AWGs) that facilitate community development and promotion. The primary activity of each AWG is to establish and validate analytical processes to generate higher-order data from data housed in OSDR. There are a number of these groups on various topics, including the Animal AWG, Plant AWG, Microbial AWG, Multi-Omics AWG, AI/ML AWG, and the Ames Life Sciences Data Archive (ALSDA) AWG. The international volunteers participating in these AWGs come from academia, citizen science initiatives, industry, and government. They include researchers, principal investigators, professors, trained hobbyists, and students from various domains and disciplines. Anyone may request to join the AWGs, and membership requests are vetted monthly by the group organizers before granting admission. Core to membership is demonstrated expertise through records of training, integrity, work in the professed domain(s), and good community standing. Regular virtual meetings are held for each AWG, with a varying cadence depending on the group's needs and goals. AWG communities share their expertise in research including cutting edge tools, software, frameworks, data formats, and libraries accelerating research collectively. This collaborative approach helps community members cross technology gaps and identify emerging challenges. These diverse communities encompass a wide range of individuals hailing from various sectors within the Science Mission Directorate and beyond. They serve as a means to promote and enhance transparency, accessibility, and inclusion. An annual AWG Symposium brings contributors together in person. Participation in AWGs can be synchronous or asynchronous, with some groups performing most of their work in off hours. Participants gain valuable skills and connections that allow them to add value to their communities and new organizations that they join, resulting in an expanded return on investment for the space life science community. Open science is increasingly a federal mandate and initiatives like NASA's Transform to Open Science and instruments like the Decadal Survey of Biological and Physical Sciences in Space demonstrate the need to carefully consider best practices in this domain. Here, we present greater detail about the makeup and participation metrics of the various AWGs affiliated with OSDR and details of successful peer-reviewed publication campaigns.

Christina M Johnson↗

Caffeine Consumption Aboard the International Space Station

INTRODUCTION: Caffeine is the most widely used performance-enhancing drug on Earth and astronaut crews have access to liquid coffee. While caffeine is a potent countermeasure to improve alertness and performance, it can also interfere with sleep. This can lead to performance deficits on the following day, driving a cycle of caffeine use to counter the effects of caffeine-induced sleep disruption. Caffeine availability may be limited during future Artemis and/or Mars missions. Accordingly, it is important that we 1) determine the prevalence of caffeine use among astronauts, 2) characterize the impact of caffeine on performance, and 3) characterize the impact of caffeine on sleep. Our aim in this study is to describe the use of caffeine aboard the ISS and begin to examine the relationship between caffeine use and sleep and performance outcomes. METHODS: Daily caffeine consumption was determined from food and beverage intake tracking for 25 astronauts on 6 month International Space Station (ISS) missions. Data were recorded using the ISS Food Intake Tracker iPad App or other detailed recording technique. On average, crew recorded dietary intake on 179.7±68.6 (mean±SD) days inflight. RESULTS: Astronauts consumed 97±92 mg caffeine per day. All astronauts (25/25) in this study consumed caffeine at some point during flight, though the frequency, amounts, and regularity differed across crewmembers. Approximately a quarter of crewmembers were regular caffeine consumers (6/25), i.e., they ingested at least 90 mg caffeine (equivalent to one cup of coffee) on 90% of inflight days.

fatigue↗

Observational Model for Precision Astrometry with the Space Interferometry Mission

The Space Interferometry Mission (SIM) is a space-based 10-m baseline Michelson optical interferometer operating in the visible waveband that is designed to achieve astrometric accuracy in the single digits of the microarcsecond domain. Over a narrow field of view SIM is expected to achieve a mission accuracy of 1 microarcsecond. In this mode SIM will search for planetary companions to nearby stars by detecting the astrometric "wobble" relative to a nearby reference star. In its wide-angle mode, SIM will provide 4 microarcsecond precision absolute position measurements of stars, with parallaxes to comparable accuracy, at the end of its 5-year mission. The expected proper motion accuracy is around 3 microarcsecond/year, corresponding to a transverse velocity of 10 m/ s at a distance of 1 kpc. The basic astrometric observable of the SIM instrument is the pathlength delay. This measurement is made by a combination of internal metrology measurements that determine the distance the starlight travels through the two arms of the interferometer, and a measurement of the white light stellar fringe to find the point of equal pathlength. Because this operation requires a non-negligible integration time, the interferometer baseline vector is not stationary over this time period, as its absolute length and orientation are time varying. This paper addresses how the time varying baseline can be "regularized" so that it may act as a single baseline vector for multiple stars, as required for the solution of the astrometric equations.

TILE OBSERVATIONS↗

A Tool for Intersecting Context-Free Grammars and Its Applications

This paper describes a tool for intersecting context-free grammars. Since this problem is undecidable the tool follows a refinement-based approach and implements a novel refinement which is complete for regularly separable grammars. We show its effectiveness for safety verification of recursive multi-threaded programs.

Context Free Grammar↗

LATERAL-RANGE AND HYPERSONIC LIFT-DRAG-RATIO REQUIREMENTS FOR EFFICIENT FERRY SERVICE FROM A NEAR-EARTH MANNED SPACE STATION

The operation of any long-term manned space station will require some type of ferry vehicle to transport men and equipment to and from the station with regularity and reliability. Such a vehicle, designed for entry at near-orbital speeds, could also be useful in the return from any deeper space mission if either an earth-orbit rendezvous terminal maneuver or a maneuver combining atmospheric braking and a near-earth parking orbit is used. This study was undertaken to determine the class of vehicle which could be most efficiently used as a ferry vehicle between a near-earth space station and the earth. One measure of this efficiency is the ability of the vehicle to reach pre-chosen landing sites with some prescribed frequency. In considering this frequency of return it is necessary to consider not only the normal mode of operation in which only infrequent returns are scheduled at desirable times, but also operation under various degrees of emergency, which dictate quick or even immediate return to earth. In extreme emergencies, when immediate return to earth is necessary, choice of landing site becomes impractical. In most cases, however, although it might be required to abandon the station quickly, the ferry vehicle could remain in orbit for some time before initiating reentry in order to land at a prechosen site. The allowable delay time in orbit would be determined primarily by the capabilities of the ferry life-support system. This paper will examine the geometry of the ferry ranging problem, that is, the lateral ranges required to reach chosen landing sites from various near-earth orbits, and will investigate and compare several means of achieving these ranges. The particular case considered is that of returning from a space station which is in a circular orbit at an altitude of 200 statute miles, but the results obtained are not sensitive to orbit altitude for orbits within a few hundred miles of the surface. From this orbit, the vehicle will retro and reenter at very close to satellite velocity. The downrange problem can be handled by proper timing of the retrofiring , and the desired lateral range can be achieved by aerodynamics, space propulsion to change orbit plane, atmospheric propulsion, or combinations of these methods. The relative cost in terms of weight of using these different methods to achieve lateral range will be discussed.

Hypersonic vehicle↗