Search NASA⌕ Search

SEARCH · Search NASA

Results for “PELICAN”

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.

36 records · Page 2

Threatened and Endangered Species Survey for Patrick Air Force Base, Florida

A review of previous environmental work conducted at Patrick Air Force Base (PAFB) indicated that several threatened, endangered, or species of special concern occurred or had the potential to occur there. This study was implemented to collect more information on protected species at PAFB. A map of landcover types was prepared for PAFB using aerial photography, groundtruthing, and a geographic information system (GIS). Herbaceous vegetation was the most common vegetation type. The second most abundant vegetation type was disturbed shrubs/exotics. The beach and associated dune vegetation comprised 3.2% of the land area, but was the most extensive natural community within PAFB. A few isolated mangrove communities exist along the Banana River. Seventy-seven species of vascular plants occurred on the dunes, including four species listed by state agencies: spider lily (Hymenocallis latifolia), prickly pear cactus (Opuntia stricta), beach star (Remirea maritima), and inkberry (Scaevola plumien). Surveys of other habitats revealed eighty-four species of vascular plants including two state-listed species: spider lily and prickly pear cactus. Many of these areas are dominated by invasive, exotic species, particularly Brazilian pepper (Schinus terebinthifolius) and Australian pine (Casuarina equisetifolia), and native species of open or disturbed sites such as camphorweed (Heterotheca subaxillaris) and beardgrass (Andropogon spp.). Due to the isolation of PAFB from other natural areas, most exotic plant populations on the base are not an immediate threat to intact native plant communities. Dune habitat was surveyed for the southeastem beach mouse (Peromyscus polionotus niveiventris) by quarterly trapping along eight 100 m transects. No beach mice were found. The limited extent of dune habitat, its fragmented condition, and the isolation of PAFB from extant populations of the beach mouse probably accounts for its absence. Surveys of birds on PAFB found an avifauna characteristic of species that occur in the Indian River Lagoon system. Twenty-five species of waterbirds were observed during quarterly surveys on PAFB, including five species listed as species of special concern by the state of Florida: Snowy Egret (Egretta thula), Little Blue Heron (Egretta caerulea), Tricolored Heron (Egretta tricolo4, White Ibis (Eudocimus albus), and Brown Pelican (Pelecanus occidentalis). The Golf Course was used extensively by almost all species of waterbirds on PAFB. Twenty-two species of shorebirds were observed on PAFB. Although no listed species were observed, the potential exists for several protected species of shorebirds to use the beach at PAFB during some parts of the year. The Airfield runways and associated grass areas were important sites at PAFB for loafing and feeding for some shorebirds. Surveys of rooftop nesting by Least Terns (Stema antillarum) on PAFB found a large colony on a rooftop in the PAFB Industrial Area. This colony produced some independent young. Two rooftop Least Tern colonies reported from previous years were inactive during 1996. A small number of Black Skimmers (Rhynchops nigee attempted to nest at the Least Ten colony but were unsuccessful. Surveys for the gopher tortoise (Gopherus polyphemus) revealed burrows and tortoises only at the Waste Study Site; five burrows and three tortoises were observed. No Florida scrub lizards (Sceloporus woodi), eastern indigo snakes (Drymarchon corais couperl), or diamondback terrapins (Malademys terrapin terrapin) were observed. American alligators (Alligator mississippiensis) were observed on the Golf Course and using ditches, ponds, and areas along the Banana River. The amount of dune habitat could be expanded by not mowing areas adjacent to the dunes to allow dune species to colonize and expand. Planting dune species as part of the beach renourishment project will also increase this habitat. Exotic plants dominate several areas on the base and are used by threatened, endangered, and species of special concern. However, the use of native vegetation in landscaping projects throughout the base would improve habitat for wildlife, and invasive, exotic plants should not be used in any horticultural plantings. Water quality of ponds, ditches, and canals is important for waterbirds; it should be maintained and protected from contamination. Nesting Least Terns are sensitive to disturbance; rooftops used for nesting should be protected from disturbance. Monitoring of Least Tern and Black Skimmer nesting should be continued to determine what roofs are being used and whether nesting is successful. Furthermore, based on the large numbers of waterbirds observed on PAFB, continued monitoring of them is recommended.

Oddy, Donna M.↗

Temporal, Spatial, and Diurnal Patterns in Avian Activity at the Shuttle Landing Facility, John F. Kennedy Space Center, Florida, USA

Spatial and temporal patterns in bird abundance within the five-mile airspace at the Shuttle Landing Facility (SLF) on John F. Kennedy Space Center (KSC), Florida, USA were investigated for purposes of quantifying Bird Aircraft Strike Hazards (BASH). The airspace is surrounded by the Merritt Island National Wildlife Refuge (MINWR) which provides habitat for approximately 331 resident and migratory bird species. Potential bird strike hazards were greatest around sunrise and sunset for most avian taxonomic groups, including wading birds, most raptors, pelicans, gulls/terns, shorebirds, and passerines. Turkey Vultures and Black Vultures were identified as a primary threat to aircraft operations and were represented in 33% of the samples. Diurnal vulture activity varied seasonally with the development of air thermals in the airspace surrounding the SLF. Variation in the presence and abundance of migratory species was shown for American Robins, swallows, and several species of shorebirds. Analyses of bird activities provides for planning of avionics operations during periods of low-dsk and allows for risk minimization measures during periods of high-risk.

Larson, Vickie L.↗

In Situ Aerosol Size Distributions and Clear Column Radiative Closure During ACE-2

As part of the second Aerosol Characterization Experiment (ACE-2) during June and July of 1997, aerosol size distributions were measured on board the CIRPAS Pelican aircraft through the use of a DMA and two OPCS. During the campaign, the boundary layer aerosol typically possessed characteristics representative of a background marine aerosol or a continentally influenced aerosol, while the free tropospheric aerosol was characterized by the presence or absence of a Saharan dust layer. A range of radiative closure comparisons were made using the data obtained during vertical profiles flown on four missions. Of particular interest here are the comparisons made between the optical properties as determined through the use of measured aerosol size distributions and those measured directly by an airborne 14-wavelength sunphotometer and three nephelometers. Variations in the relative humidity associated with each of the direct measurements required consideration of the hygroscopic properties of the aerosol for size distribution based calculations. Simultaneous comparison with such a wide range of directly measured optical parameters not only offers evidence of the validity of the physicochemical description of the aerosol when closure is achieved, but also provides insight into potential sources of error when some or all of the comparisons result in disagreement. Agreement between the derived and directly measured optical properties varied for different measurements and for different cases. Averaged over the four case studies, the derived extinction coefficient at 525 nm exceeded that measured by the sunphotomoter by 2.5% in the clean boundary later, but underestimated measurements by 13% during pollution events. For measurements within the free troposphere, the mean derived extinction coefficient was 3.3% and 17% less than that measured by the sunphotometer during dusty and nondusty conditions, respectively. Likewise, averaged discrepancies between the derived and measured scattering coefficient were -9.6%, +4.7%, +17%, and -41% for measurements within the clean boundary layer, polluted boundary layer, free troposphere with a dust layer, and free troposphere without a dust layer, respectively. Each of these quantities, as well as the majority of the > 100 individual comparisons from which they were averaged, were within estimated uncertainties.

Collins, D. R.↗

Influence of Humidity on the Aerosol Scattering Coefficient and Its Effect on the Upwelling Radiance During ACE-2

Aerosol scattering coefficients (sigma(sub sp)) have been measured over the ocean at different relative humidities (RH) as a function of attitude in the region surrounding the Canary Islands during the Second Aerosol Characterization Experiment (ACE-2) in June and July 1997. The data were collected by the University of Washington passive humidigraph (UWPH) mounted on the Pelican research aircraft. Concurrently, particle size distributions absorption coefficients and aerosol optical depth were measured throughout 17 flights. A parameterization of sigma(sub sp) as a function of RH was utilized to assess the impact of aerosol hydration on the upwelling radiance (normalized to the solar constant and cosine of zenith angle). The top of the atmosphere radiance signal was simulated at wavelengths corresponding to visible and near-infrared bands or the EOS-AM ("Terra") detectors, MODIS and MISR. The UWPH measured (sigma(sub sp)) at 2 RHs, one below and the other above ambient conditions. Ambient (sigma(sub sp)) was obtained by interpolation of these 2 measurements. The data were stratified in terms of 3 types of aerosols: Saharan dust, clean marine (marine boundary layer background) and polluted marine aerosols (i.e., 2- or 1-day old polluted aerosols advected from Europe). An empirical relation for the dependence of (sigma(sub sp)) on RH, defined by (sigma(sub sp))(RH) = k. ((1 - RH/100)(exp -gamma), was used with the hygroscopic exponent gamma derived from the data. The following gamma values were obtained for the 3 aerosol types: gamma(dust) = 0.23 +/- 0.05, gamma(clean marine) = 0.69 +/- 0.06 and gamma(polluted marine) = 0.57 + 0.06. Based on the measured (gamma)(s), the above equation was utilized to derive aerosol models with different hygroscopicities. The satellite simulation signal code 6S was used to compute the upwelling radiance corresponding to each of those aerosol models at several ambient humidities. For the pre-launch estimated precision of the sensors and the assumed viewing geometry of the instrument, the simulations suggest that the spectral and angular dependence of the reflectance measured by MISR is not sufficient to distinguish aerosol models with various different combinations of values ror dry composition. y and ambient RH. A similar behavior is observed for MODIS at visible wavelengths. However, the 2100 nm band of MODIS appears to be able to differentiate between at least some aerosol models with different aerosol hygroscopicity given the MODIS calibration error requirements. This result suggests the possibility of retrieval of aerosol hygroscopicity by MODIS.

Gasso, B. S.↗

Clear-Sky Closure Studies of Lower Tropospheric Aerosol and Water Vapor During ACE-2 Using Airborne Sunphotometer, Airborne In-Situ, Space-Borne, and Ground-Based Measurements

We report on clear-sky column closure experiments (CLEARCOLUMN) performed in the Canary Islands during the second Aerosol Characterization Experiment (ACE-2) in June/July 1997. We present CLEARCOLUMN results obtained by combining airborne sunphotometer and in-situ (optical particle counter, nephelometer, and absorption photometer) measurements taken aboard the Pelican aircraft, space-borne NOAA/AVHRR data and ground-based lidar and sunphotometer measurements. During both days discussed here, vertical profiles flown in cloud-free air masses revealed 3 distinctly different layers: a marine boundary layer (MBL) with varying pollution levels, an elevated dust layer, and a very clean layer between the MBL and the dust layer. A key result of this study is the achievement of closure between extinction or layer aerosol optical depth (AOD) computed from continuous in-situ aerosol size-distributions and composition and those measured with the airborne sunphotometer. In the dust, the agreement in layer AOD (lambda = 380-1060 nm) is 3-8%. In the MBL there is a tendency for the in-situ results to be slightly lower than the sunphotometer measurements (10-17% at lambda = 525 nm), but these differences are within the combined error bars of the measurements and computations.

Schmid, Beat↗

North Atlantic Aerosol Single Scattering Albedos: TARFOX and ACE-2 Results and Their Relation to Radiative Effects Derived from Satellite Optical Depths

Bergstrom and Russell estimated direct solar radiative flux changes caused by atmospheric aerosols over the mid-latitude North Atlantic Ocean under cloud-free and cloudy conditions. They excluded African dust aerosols, primarily by restricting calculations to latitudes 25-60 N. As inputs they used midvisible aerosol optical depth (AOD) maps derived from AVHRR satellite measurements and aerosol intensive properties determined primarily in the 1996 IGAC Troposheric Aerosol Radiative Forcing Observational Experiment (TARFOX). Those aerosol intensive properties, which included optical depth wavelength dependence and spectra of single scattering albedo (SSA) and scattering asymmetry parameter, were also checked against initial properties from the 1997 North Atlantic Aerosol Characterization Experiment (ACE 2). Bergstrom and Russell investigated the sensitivity of their derived flux changes to assumed input parameters, including midvisible AOD, SSA, and scattering asymmetry parameter. Although the sensitivity of net flux change at the tropopause to SSA was moderate over the ocean (e.g., a SSA uncertainty of 0.07 produced a flux-change uncertainty of 21%), the sensitivity over common land surfaces can be much larger. Also, flux changes within and below the aerosol layer, which affect atmospheric stability, heating rates, and cloud formation and persistence, are quite sensitive to aerosol SSA. Therefore, this paper focuses on the question: "What have we learned from TARFOX and ACE 2 regarding aerosol single scattering albedo?" Three techniques were used in TARFOX to determine midvisible SSA. One of these derived SSA as a best-fit parameter in comparing radiative flux changes measured by airborne pyranometer to those computed from aerosol properties. Another technique combined airborne measurements of aerosol scattering and absorption by nephelometer and absorption photometer. A third technique obtained SSA from best-fit complex refractive indices derived by comparing vertical profiles of lidar backscatter, sunphotometer extinction, and relative size distribution. In ACE 2 midvisible SSA was determined both as a best-fit parameter in comparing measured and calculated flux changes at the surface and by combining nephelometer and absorption photometer measurements. The nephelometer/absorption-photometer results were obtained on the ACE 2 ship (10 m asl), at the Sagres, Portugal site at 50 m asl, and also on the Pelican aircraft. This paper presents and compares the TARFOX and ACE 2 SSA results from the above techniques for different situations (e.g., marine vs continental flows, "clean" vs polluted conditions). It also discusses the strengths and limitations of the techniques, including whether they describe the aerosol in its ambient state or as perturbed by sampling processes; whether they describe the aerosol at the surface, as a function of altitude, or integrated over a column; the ease of acquiring representative data sets; results obtained in tests of consistency with radiative flux changes, and the likelihood of various artifacts and errors.

Russell, P. B.↗

Clear-Sky Closure Studies of Tropospheric Aerosol and Water Vapor During ACE-2 Using Airborne Sunphotometer, Airborne In-Situ, Space-Borne, and Ground-Based Measurements

We report on clear-sky column closure experiments (CLEARCOLUMN) performed in the Canary Islands during the second Aerosol Characterization Experiment (ACE-2) in June/July 1997. We present CLEARCOLUMN results obtained by combining airborne sunphotometer and in-situ (a differential mobility analyzer, three optical particle counters, three nephelometers, and one absorption photometer) measurements taken aboard the Pelican aircraft, space-borne NOAA/AVHRR data and ground-based lidars. A wide range of aerosol types was encountered throughout the ACE-2 area, including background Atlantic marine, European pollution-derived, and (although less frequently than expected) African mineral dust. During the two days discussed here, vertical profiles flown in cloud free air masses revealed three distinctly different layers: a marine boundary layer (MBL) with varying pollution levels, an elevated dust layer, and a very clean layer between the MBL and the dust layer. Based on size-resolved composition information we have established an aerosol model that allows us to compute optical properties of the ambient aerosol using the optical particle counter results. In the dust, the agreement in layer AOD (lambda=380-1060 nm) is 3-8%. In the MBL there is a tendency for the in-situ results to be slightly lower than the sunphotometer measurements (10-17% at lambda=525 nm), but these differences are within the combined error bars of the measurements and computations. Aerosol size-distribudon closure based on in-situ size distributions and inverted sunphotometer extinction spectra has been achieved in the MBL (total surface area and volume agree within 0.2, and 7%, respectively) but not in the dust layer. The fact that the three nephelometers operated at three different relative humidities (RH) allowed to parameterize hygroscopic growth and to therefore estimate optical properties at ambient RH. The parameters derived for different aerosol types are themselves useful for the aerosol modeling community. The fact that the nephelometers and the absorption photometer sampled the aerosol through a cyclone make those measurements less useful for thee closure study carried out here. Large corrections (especially in the dust) had to be applied. Therefore, it is not surprising that closure with the sunphotometer was not always achieved. Agreement within 0.02 in AOD was achieved in the dust layer when the airorne sunphotometer extinction or AOD was compared to ground-based lidar measurements. We found that the presence of the elevated dust layers removes the good agreement between satellite and sunphotometer AOD usually found in the absence of the dust layer. We still compare the scattering phase functions used in the satellite retrieval with those obtained from the aerosol or the sunphotometer measurements.

Schmid, Beat↗

Airborne Solar Radiant Flux Measurements During ACE-2

Aerosol effects on atmospheric radiative fluxes provide a forcing function that can change the climate in potentially significant ways. This aerosol radiative forcing is a major source of uncertainty in understanding the climate change of the past century and predicting future climate. To help reduce this uncertainty, the 1996 Tropospheric Aerosol Radiative Forcing Observational Experiment (TARFOX) and the 1997 Aerosol Characterization Experiment (ACE-2) measured the properties and radiative effects of aerosols over the Atlantic Ocean. In the ACE 2 program the solar radiant fluxes were measured on the Pelican aircraft and the UK Met Office C130. This poster will show results from the measurements for the aerosol effects during the clear column days. We will compare the results with calculations of the radiant fluxes.

Bergstrom, Robert W.↗

Airborne Sunphotometer, Airborne in-situ, Space-borne, and Ground-Based Measurements of Troposoheric Aerosol in Ace-2

We report on clear-sky column closure experiments performed in the Canary Islands during the second Aerosol Characterization Experiment (ACE-2) in June/July 1997. We present results obtained by combining airborne sunphotometer and in-situ aerosol measurements taken aboard the Pelican aircraft, space-borne NOAA/AVHRR data and ground-based lidars A wide range of aerosol types was encountered throughout the ACE-2 area, including background Atlantic marine, European pollution-derived, and African mineral dust. During !he two days discussed here, vertical profiles flown in cloud free air masses revealed three distinctly different layers: a marine boundary layer (MBL) with varying pollution levels, an elevated dust layer, and a very clean layer between the MBL and the dust layer. We found that the presence of the elevated dust layer removes the good agreement between satellite and sunphotometer AOD usually found in the absence of the dust layer. Using size-resolved composition information we have computed optical properties of the ambient aerosol from the in-situ measurements and subsequently compared those to the sunphotometer results. In the dust, the agreement in layer aerosol optical depth (380-1060 nm) is 3-8%. In the MBL there is tendency for the in-situ results to be slightly lower than the sunphotometer measurements (10-17% at 525 nm), but these differences are within the combined error bars of the measurements and computations.

Schmid, Beat↗

Clear-Sky Closure Studies of Lower Tropospheric Aerosol and Water Vapor During ACE-2 Using Airborne Sunphotometer, Airborne In-Situ, Space-Borne, and Ground-Based Measurements

We report on clear-sky column closure experiments (CLEARCOLUMN) performed in the Canary Islands during the second Aerosol Characterization Experiment (ACE-2) in June/July 1997. We present CLEARCOLUMN results obtained by combining airborne sunphotometer and in-situ (optical particle counter, nephelometer, and absorption photometer) measurements taken aboard the Pelican aircraft, space-borne NOAA/AVHRR data and ground-based lidar and sunphotometer measurements. During both days discussed here, vertical profiles flown in cloud-free air masses revealed 3 distinctly different layers: a marine boundary layer (MBL) with varying pollution levels, an elevated dust layer, and a very clean layer between the MBL and the dust layer. A key result of this study is the achievement of closure between extinction or layer aerosol optical depth (AOD) computed from continuous in-situ aerosol size-distributions and composition and those measured with the airborne sunphotometer. In the dust, the agreement in layer AOD (lambda = 380-1060 nm) is 3-8%. In the MBL there is a tendency for the in-situ results to be slightly lower than the sunphotometer measurements (10-17% at lambda = 525 nm), but these differences are within the combined error bars of the measurements and computations.

Schmid, Beat↗

In Situ Aerosol-Size Distributions and Clear-Column Radiative Closure During ACE-2

As part of the second Aerosol Characterization Experiment (ACE-2) during June and July of 1997, aerosol-size distributions were measured on board the CIRPAS Pelican aircraft through the use of a Differential Mobility Analyzer (DMA) and 2 Optical Particle Counters (OPCs). During the campaign, the boundary-layer aerosol typically possessed characteristics representative of a background marine aerosol or a continentally influenced aerosol, while the free-tropospheric aerosol was characterized by the presence or absence of a Saharan dust layer. A range of radiative closure comparisons were made using the data obtained during vertical profiles flown on 4 missions. Of particular interest here are the comparisons made between the optical properties as determined through the use of measured aerosol-size distributions and those measured directly by an airborne 14-wavelength sunphotometer and 3 nephelometers. Variations in the relative humidity associated with each of the direct measurements required consideration of the hygroscopic properties of the aerosol for size-distribution-based calculations. Simultaneous comparison with such a wide range of directly-measured optical parameters not only offers evidence of the validity of the physicochemical description of the aerosol when closure is achieved, but also provides insight into potential sources of error when some or all of the comparisons result in disagreement. Agreement between the derived and directly-measured optical properties varied for different measurements and for different cases. Averaged over the 4 case studies, the derived extinction coefficient at 525 nm exceeded that measured by the sunphotometer by 2.5% in the clean boundary layer, but underestimated measurements by 13% during pollution events. For measurements within the free troposphere, the mean derived extinction coefficient was 3.3% and 17% less than that measured by the sunphotometer during dusty and non-dusty conditions, respectively. Likewise, averaged discrepancies between the derived and measured scattering coefficient were -9.6%, +4.7%, +17%, and -41% for measurements within the clean boundary layer, polluted boundary layer, free troposphere with a dust layer, and free troposphere without a dust layer, respectively. Each of these quantities, as well as the majority of the more than 100 individual comparisons from which they were averaged, were within estimated uncertainties.

Collins, R.↗

Influence of Humidity On the Aerosol Scattering Coefficient and Its Effect on the Upwelling Radiance During ACE-2

Aerosol scattering coefficients (sigma(sub sp)) have been measured over the ocean at different relative humidities (RH) as a function of altitude in the region surrounding the Canary Islands during the Second Aerosol Characterization Experiment (ACE-2) in June and July 1997. The data were collected by the University of Washington passive humidigraph (UWPH) mounted on the Pelican research aircraft. Concurrently, particle size distributions, absorption coefficients and aerosol optical depth were measured throughout 17 flights. A parameterization of sigma(sub sp) as a function of RH was utilized to assess the impact of aerosol hydration on the upwelling radiance (normalized to the solar constant and cosine of zenith angle). The top of the atmosphere radiance signal was simulated at wavelengths corresponding to visible and near-infrared bands of the EOS (Earth Observing System) AM-1 (Terra) detectors, MODIS (Moderate Resolution Imaging Spectroradiometer) and MISR (Multi-angle Imaging Spectroradiometer). The UWPH measured sigma(sub sp) at two RHs, one below and the other above ambient conditions. Ambient sigma(sub sp) was obtained by interpolation of these two measurements. The data were stratified in terms of three types of aerosols: Saharan dust, clean marine (marine boundary layer background) and polluted marine aerosols (i.e., two- or one-day old polluted aerosols advected from Europe). An empirical relation for the dependence of sigma(sub sp) on RH, defined by sigma(sub sp)(RH) = k.(1 - RH/100)(sup gamma), was used with the hygroscopic exponent gamma derived from the data. The following gamma values were obtained for the 3 aerosol types: gamma(dust) = 0.23 +/- 0.05, gamma(clean marine) = 0.69 +/- 0.06 and gamma(polluted marine) = 0.57 +/- 0.06. Based on the measured gammas, the above equation was utilized to derive aerosol models with different hygroscopicities. The satellite simulation signal code 6S was used to compute the upwelling radiance corresponding to each of those aerosol models at several ambient humidities. For the prelaunch estimated precision of the sensors and the assumed viewing geometry of the instrument, the simulations suggest that the spectral and angular dependence of the reflectance measured by MISR is not sufficient to distinguish aerosol models with various different combinations of values for dry composition, gamma and ambient RH. A similar behavior is observed for MODIS at visible wavelengths. However, the 2100 nm band of MODIS appears to be able to differentiate between at least same aerosol models with different aerosol hygroscopicity given the MODIS calibration error requirements. This result suggests the possibility of retrieval of aerosol hygroscopicity by MODIS.

Gasso, S.↗

Autonomous Formation Flight

NASA's Strategic Plan for the Aerospace Technology Enterprise includes ambitious objectives focused on affordable air travel, reduced emissions, and expanded aviation-system capacity. NASA Dryden Flight Research Center, in cooperation with NASA Ames Research Center, the Boeing Company, and the University of California, Los Angeles, has embarked on an autonomous-formation-flight project that promises to make significant strides towards these goals. For millions of years, birds have taken advantage of the aerodynamic benefit of flying in formation. The traditional "V" formation flown by many species of birds (including gulls, pelicans, and geese) enables each of the trailing birds to fly in the upwash flow field that exists just outboard of the bird immediately ahead in the formation. The result for each trailing bird is a decrease in induced drag and thus a reduction in the energy needed to maintain a given speed. Hence, for migratory birds, formation flight extends the range of the system of birds over the range of birds flying solo. The Autonomous Formation Flight (AFF) Project is seeking to extend this symbiotic relationship to aircraft.

Schkolnik, Gerard S.↗

Formal Assurance Certifiable Tooling Formal Assurance Certifiable Tooling Strategy Final Report

This is the Final Report of a research project to investigate issues and provide guidance for the qualification of formal methods tools under the DO-330 qualification process. It consisted of three major subtasks spread over two years: 1) an assessment of theoretical soundness issues that may affect qualification for three categories of formal methods tools, 2) a case study simulating the DO-330 qualification of two actual tool sets, and 3) an investigation of risk mitigation strategies that might be applied to chains of such formal methods tools in order to increase confidence in their certification of airborne software.

Bush, Eric↗