Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compact”

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

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

At least 1,747 records · Page 97

Airborne In-Situ Measurements of Formaldehyde Over California: First Results from the Compact Formaldehyde Fluorescence Experiment (COFFEE) Instrument

Formaldehyde (HCHO) is one of the most abundant oxygenated volatile organic compounds (VOCs) in the atmosphere, playing a role multiple atmospheric processes. Measurements of HCHO can be used to help quantify convective transport, the abundance of VOCs, and ozone production in urban environments. The Compact Formaldehyde FluorescencE Experiment (COFFEE) instrument uses Non-Resonant Laser Induced Fluorescence (NR-LIF) to detect trace concentrations of HCHO as part of the Alpha Jet Atmospheric eXperiment (AJAX) payload. Developed at NASA GSFC, COFFEE is a small, low maintenance instrument with a sensitivity of 100 pptv and a quick response time (1 sec). The COFFEE instrument has been customized to fit in an external wing pod on the Alpha Jet aircraft based at NASA ARC. The instrument can operate over a broad range of altitudes, from boundary layer to lower stratosphere, making it well suited for the Alpha Jet, which can access altitudes from the surface up to 40,000 ft. Results of the first COFFEE science flights preformed over the California's Central Valley will be presented. Boundary layer measurements and vertical profiles in the tropospheric column will both be included. This region is of particular interest, due to its elevated levels of HCHO, revealed in satellite images, as well as its high ozone concentrations. In addition to HCHO, the AJAX payload includes measurements of atmospheric ozone, methane, and carbon dioxide. Formaldehyde is one of the few urban pollutants that can be measured from space. Plans to compare in-situ COFFEE data with satellite-based HCHO observations such as those from OMI (Aura) and OMPS (SuomiNPP) will also be presented.

ozone↗

Airborne In-Situ Measurements of Formaldehyde over California: First Results from the Compact Formaldehyde Fluorescence Experiment (COFFEE) Instrument

Formaldehyde (HCHO) is one of the most abundant oxygenated volatile organic compounds (VOCs) in the atmosphere, playing a role multiple atmospheric processes. Measurements of HCHO can be used to help quantify convective transport, the abundance of VOCs, and ozone production in urban environments. The Compact Formaldehyde FluorescencE Experiment (COFFEE) instrument uses Non-Resonant Laser Induced Fluorescence (NR-LIF) to detect trace concentrations of HCHO as part of the Alpha Jet Atmospheric eXperiment (AJAX) payload. Developed at NASA GSFC, COFFEE is a small, low maintenance instrument with a sensitivity of 100 pptv and a quick response time (1 sec). The COFFEE instrument has been customized to fit in an external wing pod on the Alpha Jet aircraft based at NASA ARC. The instrument can operate over a broad range of altitudes, from boundary layer to lower stratosphere, making it well suited for the Alpha Jet, which can access altitudes from the surface up to 40,000 ft. Results of the first COFFEE science flights preformed over the California's Central Valley will be presented. Boundary layer measurements and vertical profiles in the tropospheric column will both be included. This region is of particular interest, due to its elevated levels of HCHO, revealed in satellite images, as well as its high ozone concentrations. In addition to HCHO, the AJAX payload includes measurements of atmospheric ozone, methane, and carbon dioxide. Formaldehyde is one of the few urban pollutants that can be measured from space. Plans to compare in-situ COFFEE data with satellite-based HCHO observations such as those from OMI (Aura) and OMPS (SuomiNPP) will also be presented.

coffee↗

Ultra-Compact Raman Spectrometer for Planetary Explorations

To develop a compact Raman spectroscopy system with features that will make it suitable for future space missions which require surface landing. Specifically, this system will be appropriate for any mission in which planetary surface samples need to be measured and analyzed.

Davis, Derek↗

Exploring X-Ray Binary Populations in Compact Group Galaxies With Chandra

We obtain total galaxy X-ray luminosities, LX, originating from individually detected point sources in a sample of 47 galaxies in 15 compact groups of galaxies (CGs). For the great majority of our galaxies, we find that the detected point sources most likely are local to their associated galaxy, and are thus extragalactic X-ray binaries (XRBs) or nuclear active galactic nuclei (AGNs). For spiral and irregular galaxies, we find that, after accounting for AGNs and nuclear sources, most CG galaxies are either within the +/-1σ scatter of the Mineo et al. LX-star formation rate (SFR) correlation or have higher LX than predicted by this correlation for their SFR. We discuss how these "excesses" may be due to low metallicities and high interaction levels. For elliptical and S0 galaxies, after accounting for AGNs and nuclear sources, most CG galaxies are consistent with the Boroson et al. LX-stellar mass correlation for low-mass XRBs, with larger scatter, likely due to residual effects such as AGN activity or hot gas. Assuming non-nuclear sources are low- or high-mass XRBs, we use appropriate XRB luminosity functions to estimate the probability that stochastic effects can lead to such extreme LX values. We find that, although stochastic effects do not in general appear to be important, for some galaxies there is a significant probability that high LX values can be observed due to strong XRB variability.

X-rays: binaries↗

Compact, Lightweight, Ceramic Matrix Composite (CMC) Based Acoustic Liners for Reducing Subsonic Jet Aircraft Engine Noise

Recent developments have reduced fan and jet noise contributions to overall subsonic aircraft jet-engine noise. Now, aircraft designers are turning their attention toward reducing engine core noise. The NASA Glenn Research Center and NASA Langley Research Center have teamed to investigate the development of a compact, lightweight acoustic liner based on oxide/oxide ceramic matrix composite (CMC) materials. The NASA team has built upon an existing oxide/oxide CMC sandwich structure concept that provides monotonal noise reduction. Oxide/oxide composites have good high temperature strength and oxidation resistance, which could allow them to perform as core liners at temperatures up to 1000C (1832F), and even higher depending on the selection of the composite constituents. NASA has initiated the evaluation of CMC-based liners that use cells of different lengths (variable-depth channels) or effective lengths to achieve broadband noise reduction. Reducing the overall liner thickness is also a major goal, to minimize the volume occupied by the liner. As a first step toward demonstrating the feasibility of our concepts, an oxide/oxide CMC acoustic testing article with different channel lengths was tested. Our approach, summary of test results, current status, and goals for the future are reported.

testing↗

Closed Loop Control Compact Exercise Device for Use on MPCV

Long duration space travel to Mars or to an asteroid will expose astronauts to extended periods of reduced gravity. To combat spaceflight physiological deconditioning, astronauts will use resistive and aerobic exercise regimens for the duration of the space flight to minimize the loss of bone density, muscle mass and aerobic capacity that occurs during exposure to a reduced gravity environment. Unlike the International Space Station (ISS), the mass and volume available for an exercise device in the next generation of spacecraft is limited. Therefore, compact exercise device prototypes are being developed for human in the loop evaluations. The NASA Human Research Program (HRP) is managing Advanced Exercise Concepts (AEC) requirements development and candidate technology maturation for all exploration mission profiles from Multi-Purpose Crew Vehicle (MPCV) exploration missions (e.g., EM-2, up to 21 day) to Mars Transit (up to 1000 day) missions. Numerous technologies have been considered and evaluated against HRP-approved functional requirements and include flywheel, pneumatic and closed-loop microprocessor-controlled motor driven power plants. Motor driven technologies offer excellent torque density and load accuracy characteristics as well as the ability to create custom mechanical impedance (the dynamic relationship between force and velocity) and custom load versus position exercise algorithms. Further, closed-loop motor-driven technologies offer the ability to monitor exercise dose parameters and adapt to the needs of the crewmember for real time optimization of exercise prescriptions. A simple proportional-integral-derivative (PID) controller is demonstrated in a prototype motor driven exercise device with comparison to resistive static and dynamic load set points and aerobic work rate targets. The resistive load term in the algorithm includes a constant force component (Fcmg) as well as inertial component (Fima) and a discussion of system tuning is presented in terms of addressing key functional requirements and human interfaces. The device aerobic modality is modelled as a rowing exercise using ground data sets obtained from Concept 2 rowers as well as competitive rowing1. A discussion of software and electronic implementations are presented which demonstrate unique approaches to meeting the constrained mass, volume and power requirements of the MPCV. . In addition to utilizing traditional PID control, controllers utilizing state feedback with gains solved using a Linear Quadratic Regulator will be developed. Controllability and observability will be utilized to investigate the need for state measurement in the design. As the control system directly interacts with human test subjects, robust methods such as H-infinity are also being investigated.1. Kleshnev V. Biomechanics. In: Rowing, Handbook of Sports Medicine and Science. ed. by Secher N., Voliantis S. IOC Medical Commission, Blackwell Pub. pp. 22-34, 2007

microgravity↗

Compact Planar Microwave Blocking Filter

This paper proposes a technique to design a compact planar broadband microwave blocking filter. The filter is constructed from multiple sections of bandstop filters with means to control radiation loss. As a result, the filter has small physical size and provides multi-decade of suppression frequency bandwidth. The total length is less than half-wavelength long at the 3-dB corner frequency of 1.45 GHz. The experimental results show that the microstrip microwave blocking filter can provide an attenuation of more than 70 dB from 7 GHz to 39.5GHz with the total DC capacitance of les than 23 pF.

U-yen, Kongpop↗

Point-Focus Concentration Compact Telescoping Array: Extreme Environments Solar Power Base Phase Final Report

Orbital ATK, in partnership with Mark ONeill LLC (MOLLC), has developed a novel solar array platform, PFC-CTA, which provides a significant advance in performance and cost reduction compared to all currently available space solar systems. PFC refers to the Point Focus Concentration of light provided by MOLLCs thin, flat Fresnel optics. These lenses focus light to a point of approximately 100 times the intensity of the ambient light, onto a solar cell of approximately 125th the size of the lens. CTA stands for Compact Telescoping Array, which is the solar array blanket structural platform originally devised by NASA and currently being advanced by Orbital ATK and partners under NASA and AFRL funding to a projected TRL 5+ by late-2018.The NASA Game Changing Development Extreme Environment Solar Power (EESP) Base Phase study has enabled Orbital ATK to refine component designs, perform component level and system performance analyses, and test prototype hardware of the key elements of PFC-CTA, and increased the TRL of PFC-specific technology elements to TRL 4. Key performance metrics currently projected are as follows: Scalability from 5 kW to 300 kW per wing (AM0); Specific Power 500 Wkg (AM0); Stowage Efficiency 100 kWm3; 5:1 margin on pointing tolerance vs. capability; 50 launched cost savings; Wide range of operability between Venus and Saturn by active andor passive thermal management.

McEachen, Michael E.↗

High-Resolution NO2 Observations from the Airborne Compact Atmospheric Mapper: Retrieval and Validation

Nitrogen dioxide (NO2) is a short-lived atmospheric pollutant that serves as an air quality indicator and is itself a health concern. The Airborne Compact Atmospheric Mapper (ACAM) was flown on board the NASA UC-12 aircraft during the Deriving Information on Surface Conditions from Column and Vertically Resolved Observations Relevant to Air Quality Maryland field campaign in July 2011. The instrument collected hyperspectral remote sensing measurements in the 304-910 nm range, allowing daytime observations of several tropospheric pollutants, including nitrogen dioxide (NO2), at an unprecedented spatial resolution of 1.5 × 1.1 sq. km. Retrievals of slant column abundance are based on the differential optical absorption spectroscopy method. For the air mass factor computations needed to convert these retrievals to vertical column abundance, we include high-resolution information for the surface reflectivity by using bidirectional reflectance distribution function data from the Moderate Resolution Imaging Spectroradiometer. We use high-resolution simulated vertical distributions of NO2 from the Community Multiscale Air Quality and Global Modeling Initiative models to account for the temporal variation in atmospheric NO2 to retrieve middle and lower tropospheric NO2 columns (NO2 below the aircraft). We compare NO2 derived from ACAM measurements with in situ observations from NASA's P-3B research aircraft, total column observations from the ground-based Pandora spectrometers, and tropospheric column observations from the space-based Ozone Monitoring Instrument. The high-resolution ACAM measurements not only give new insights into our understanding of atmospheric composition and chemistry through observation of subsampling variability in typical satellite and model resolutions, but they also provide opportunities for testing algorithm improvements for forthcoming geostationary air quality missions.

Lamsal, L. N.↗

CubeX: A Compact X-Ray Telescope Enables Both X-Ray Fluorescence Imaging Spectroscopy and Pulsar Timing Based Navigation

This paper describes the benefits of a miniaturized X-ray telescope payload in the context of a lunar mission. The first part describes the payload in detail, the second part summarizes a small satellite mission concept that utilizes its compact form factor and performance. The CubeX instrument can be used for both X-ray fluorescence (XRF) imaging spectroscopy and X-ray pulsar timing based navigation (XNAV). Using our recent technological advances in X-ray optics and sensors, CubeX combines high angular resolution (<1 arcminutes) Miniature Wolter-I X-ray optics (MiXO) with a common focal plane consisting of high spectral resolution (<150 eV at 1 keV) CMOS X-ray sensors and a high timing resolution (< 1 usec) SDD X-ray sensor. This novel combination of the instruments enables both XRF measurements and XNAV operations without moving parts. The high angular resolution of the MiXO opens a wide range of orbital configurations for observation. Given that performance, the instrument has unprecedented small volume (~1×1×6U), mass (<6 kg), and power (<9W) requirements and opens a wide range of applications for a variety of targets and missions including NEOs and Martian moons. In this paper we illustrate one potential application for a lunar mission concept: The elemental composition of the Moon holds keys to understanding the origin and evolution of both the Moon and the Earth. X-ray fluorescence (XRF), induced either by solar X-ray flux or energetic ions, carries decisive signatures of surface elemental composition. X-ray observations, therefore, give a unique, powerful diagnostic tool for remotely determining elemental abundances including major rock forming elements such as Mg, Al, Na, Si, Fe, and Ca. Through high-resolution XRF imaging spectroscopy, CubeX searches for small patches of elusive lower crust and mantle material excavated within and around impact craters. CubeX identifies regional compositional variations and allows straightforward comparison of elemental distributions with the surface topography from LRO and the gravity data from GRAIL. The elemental compositions of the lower crust and the mantle are sensitive to the conditions of the giant impact which led to the Moon's formation and the subsequent lunar magma ocean (LMO), and thus they are key missing pieces in understanding the formation and early evolution of the Moon. In between XRF observations, CubeX also leverages the technology of high resolution X-ray imaging and time series measurements to conduct XNAV operations and evaluate their performance. Deep space navigation is a critical issue for small planetary missions. XNAV can enable low-cost autonomous deep-space navigation, and has the potential to greatly assist, or even outperform, NASA's Deep Space Network (DSN) or ESA's European Space Tracking (ESTRACK). CubeX is designed to perform sequential observations of 3-4 millisecond pulsars (MSPs) to solve the spacecraft trajectory for absolute navigation, and explore the remote sensing capability of XNAV. In the presented mission concept, the Moon's relative proximity enables a straightforward evaluation of the XNAV performance through DSN.

x-ray spectroscopy↗

Miniature Exercise Device-2 (MED-2): Preliminary ISS Evaluation Results for a Compact Motorized Resistive and Aerobic Rowing Exercise Device

Future human missions beyond Low Earth Orbit (LEO) will require onboard equipment to provide exercise capabilities for the crew to counter the adverse physiological effects of long-duration microgravity. To accomplish this within the physical constraints of a space vehicle or transit module, a single miniature device that provides both resistive and aerobic exercise modalities is required. To meet this need, Johnson Space Center’s (JSC) Software, Robotics, and Simulation Division (ER) developed the Miniature Exercise Device-2 (MED-2). MED-2 integrates a torque-controlled servomotor and a series-elastic actuator to provide highly-controllable load profiles and a large magnitude output performance in a very small package. This innovative technology is derived from years of JSC/ER design, development and operational experience with cutting-edge robotics, motor controllers, software and actuator/sensor miniaturization, including Robonaut 2 and MED-1. MED-2 was presented at the 2016 ISS R&D Conference. This is an update now that the last of six crewmembers will have completed planned MED-2 sessions on the International Space Station (ISS) in May 2018.Current state-of-the-art ISS exercise equipment consists of two treadmills, a resistive exercise device and two cycle ergometers with a total mass of several thousand pounds and a total volume of several cubic yards. This equipment has proven vital to mitigate the musculoskeletal and cardiovascular degradation effects of microgravity. However, due to the large operational volume and mass of these ISS devices, tailoring them for smaller vehicles, such as Orion, is not possible. In addition, each of the current ISS devices targets a single specific modality. Compared to the existing spaceflight (and even terrestrial) exercise equipment, MED-2 is a new archetype altogether. The combined features of compact size, multi-modality and high-performance is attributable to its innovative series elastic actuator and motor controller. Following its arrival on ISS in 2016, MED-2 was evaluated in two parts. The first and shorter evaluation was an engineering functional checkout of the hardware. As this was a novel exercise device previously never used on ISS, the initial checkout assessed the operation of the hardware and ensured the motion and dynamic range of the crew did not present any collision or other hazards. The second portion of the study collected the heart rates, kinematics and utilized operational volumes of six astronauts to determine the quality of both the resistive and aerobic exercise modalities as delivered by MED-2. Investigators from JSC Biomedical Research and Environmental Science Division (SK) and Glenn Research Center are currently evaluating the data and preparing preliminary results. For the resistive exercise modality, MED-2 demonstrated a range of constant resistive loads from 10-150 lbf. With a displacement range of 84 inches, the MED-2 accommodates users from 5th percentile Japanese female through 95th percentile American male for all of its certified exercises. The displacement measurement accuracy has also been verified within 2.5 percent full range. The crew was able to successfully perform all prescribed resistive exercises, except Goblet Squats which were not feasible with a constant load profile. For the aerobic exercise modality, MED-2 simulated a rowing motion with prescribed and user-selected resistance levels. It has demonstrated rates up to 60 strokes per minute on the ground. MED-2 loads and displacements performance are the same as those cited for the resistive modality. Although each of the crew was able to perform the prescribed aerobic rowing sets, there was considerable variability in the rowing motion among different crewmembers. Also, as expected, the crew was unable to get the full benefits of a typical terrestrial rowing stroke because the current configuration does not allow the user to reach past their feet. These observations have already informed the requirements for other microgravity rowing devices currently in development. One of the unique features of the MED-2 device is the intuitive touch-screen control system. This One Portal graphical user interface (GUI) was developed based on JSC/ER’s heritage knowledge and experience of developing and sustaining the current ISS exercise equipment. Through this interface, the crew easily performed prepared prescriptions as well as had the ability to adjust exercise modality, load and other exercise details such as number of repetitions and number of sets. This touch-screen and GUI fulfilled the MED-2 project goal to simplify the interaction between the user and the device. Furthermore, the extent to which MED-2 utilizes a touchscreen and GUI to control exercise equipment is unmatched among the existing ISS exercise devices. As a motorized device, MED-2 technology can provide a customizable force profile that can be varied as a function of strap displacement, strap velocity or a combination of these and other variables. During 2017, JSC/ER developed and flight-certified a resistive exercise algorithm that mimics the 1-G inertial effects of free-weights and enables adjustable eccentric-to-concentric loading ratios. Subsequent development will explore varying the load profiles and incorporating additional exercises beyond the current list of certified movements.

Exercise↗

CubeX: A Compact X-Ray Telescope Enables Both X-Ray Fluorescence Imaging Spectroscopy and Pulsar Timing Based Navigation

This paper describes the miniaturized X-ray telescope payload, CubeX, in the context of a lunar mission. The first part describes the payload in detail, the second part summarizes a small satellite mission concept that utilizes its compact form factor and performance. This instrument can be used for both X-ray fluorescence (XRF) imaging spectroscopy and X-ray pulsar timing-based navigation (XNAV). It combines high angular resolution (<1 arcminutes) Miniature Wolter-I X-ray optics (MiXO) with a common focal plane consisting of high spectral resolution (<150 eV at 1 keV) CMOS X-ray sensors and a high timing resolution (< 1 μsec) SDD X-ray sensor. This novel combination of the instruments enables both XRF measurements and XNAV operations without moving parts, in a small form factor (~1×1×6U, <6 kg). In this paper we illustrate one potential application for a lunar mission concept: The elemental composition of the Moon holds keys to understanding the origin and evolution of both the Moon and the Earth. X-ray fluorescence (XRF), induced either by solar X-ray flux or energetic ions, carries decisive signatures of surface elemental composition. In between XRF observations, CubeX also leverages the technology of high resolution X-ray imaging and time series measurements to conduct XNAV operations and evaluate their performance.

Lunar Science↗

Cubex: A Compact X-Ray Telescope Enables Both X-Ray Fluorescence Imaging Spectroscopy and Pulsar Timing Based Navigation

This paper describes the miniaturized X-ray telescope payload, CubeX, in the context of a lunar mission. The first part describes the payload in detail, the second part summarizes a small satellite mission concept that utilizes its compact form factor and performance. This instrument can be used for both X-ray fluorescence (XRF) imaging spectroscopy and X-ray pulsar timing-based navigation (XNAV). It combines high angular resolution (<1 arcminutes) Miniature Wolter-I X-ray optics (MiXO) with a common focal plane consisting of high spectral resolution (<150 eV at 1 keV) CMOS X-ray sensors and a high timing resolution (< 1 Amp-microsecond) SDD X-ray sensor. This novel combination of the instruments enables both XRF measurements and XNAV operations without moving parts, in a small form factor (volume approximately 1 by 1 by 6 Units, and mass, < 6 kg). In this paper we illustrate one potential application for a lunar mission concept: The elemental composition of the Moon holds keys to understanding the origin and evolution of both the Moon and the Earth. X-ray fluorescence (XRF), induced either by solar X-ray flux or energetic ions, carries decisive signatures of surface elemental composition. In between XRF observations, CubeX also leverages the technology of high resolution X-ray imaging and time series measurements to conduct XNAV operations and evaluate their performance.

X-ray Fluorescence↗

A Compact Two-Step Laser Time-Of-Flight Mass Spectrometer for In Situ Analysis of Planetary Surfaces

Two-step laser mass spectrometry (L2MS) has proved to be a powerful tool for the analysis of aromatic organics in icy planetary simulants, meteorites, asphaltenes on Earth, and returned cometary particles from the Stardust mission. L2MS employs two lasers to separate the desorption and ionization processes of laser desorption ionization into distinct steps. In the first step, an infrared laser desorbs neutrals from a solid sample surface; in the second step, an ultraviolet laser forms molecular ions within the neutral plume through a resonance-enhanced process to minimize fragment at ion of complex species. We have recently demonstrated that the L2MS technique is compatible with a compact TOF-MS that could form the center piece of a future in situ landed planetary mission emphasizing surface chemistry or astrobiology. The increased sensitivity and selectivity offered by this technique has been demonstrated in analyses of various planetary analog mixtures and meteorite powders, and representative results of these analyses will be presented.

Getty, Stephanie A.↗

Probing the Composition of Primitive Solar System Materials with a Compact Laser Mass Spectrometer

To contribute to and complement our understanding of the processes governing the formation,distribution, and evolution of primitive materials throughout the solar system, it will be critical toform connections between broad remote sensing spectroscopic surveys, laboratorymeasurements of analogs and samples delivered to Earth, and in situ measurements of thesurface composition on future primitive body missions. Recently, a laboratory prototypeemploying resonance two-step laser mass spectrometry [Getty et al., 2012] has been coupledto a cryogenic sample stage to enable measurements of analog samples that are relevant tothese fundamental questions. Analyses of mineral-aromatic mixtures and meteorite powderswill be presented. Our goals are twofold: (1) to conduct laboratory studies on solar systemanalog, meteoritic, and potentially returned samples to elucidate composition, and (2) toprovide a compact but capable analytical instrument for discovery-driven in situ interrogationof surface chemistry on a future mission, such as to a Trojan asteroid, comet, or icy moon.

Getty, Stephanie A.↗

Parameter Estimation for Compact Binary Coalescence Signals with the First Generation Gravitational-Wave Detector Network

Compact binary systems with neutron stars or black holes are one of the most promising sources for ground-based gravitational-wave detectors. Gravitational radiation encodes rich information about source physics; thus parameter estimation and model selection are crucial analysis steps for any detection candidate events. Detailed models of the anticipated waveforms enable inference on several parameters, such as component masses, spins, sky location and distance, that are essential for new astrophysical studies of these sources. However, accurate measurements of these parameters and discrimination of models describing the underlying physics are complicated by artifacts in the data, uncertainties in the waveform models and in the calibration of the detectors. Here we report such measurements on a selection of simulated signals added either in hardware or software to the data collected by the two LIGO instruments and the Virgo detector during their most recent joint science run, including a blind injection where the signal was not initially revealed to the collaboration. We exemplify the ability to extract information about the source physics on signals that cover the neutron-star and black-hole binary parameter space over the component mass range 1M25M and the full range of spin parameters. The cases reported in this study provide a snapshot of the status of parameter estimation in preparation for the operation of advanced detectors.

Aasi, J.↗

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm

The Automatic Dependent Surveillance-Broadcast (ADS-B) system allows aircraft to communicate their current state, including position and velocity information, to other aircraft in their vicinity and to ground stations. The Compact Position Reporting (CPR) algorithm is the ADS-B module responsible for the encoding and decoding of aircraft positions. CPR is highly sensitive to computer arithmetic since it heavily relies on functions that are intrinsically unstable such as floor and modulo. In this paper, a formally-verified double-precision floating-point implementation of the CPR algorithm is presented. The verification proceeds in three steps. First, an alternative version of CPR, which reduces the floating-point rounding error is proposed. Then, the Prototype Verification System (PVS) is used to formally prove that the ideal real-number counterpart of the improved algorithm is mathematically equivalent to the standard CPR definition. Finally, the static analyzer Frama-C is used to verify that the double-precision implementation of the improved algorithm is correct with respect to its operational requirement. The alternative algorithm is currently being considered for inclusion in the revised version of the ADS-B standards document as the reference implementation of the CPR algorithm.

Laura Titolo↗

Concept Study for a Compact Planetary Homodyne Interferometer (PHI) for Temporal Global Observation of Methane on Mars in IR

We present a concept study to develop a new instrument to sequentially and over a long time measure methane abundance on Mars and find out its global seasonal variations, if any. The Planetary Homodyne Interferometer (PHI) can offer integrated spectra over a wide field-of-view (FOV) in high spectral resolution (R~10(exp 5)) in a compact design using no (or a small < 1m) primary mirror. PHI is best suited to studies of sources where temporally tracing specific spectral features sensitivity, and spectral resolution is of higher significance than spatial fidelity.

Extended targets↗