Doppler measurements of the ionosphere on the occasion of the Apollo-Soyuz test project. Part 2: Inversion of differential and rotating Doppler shifts

The preparation of the analytical approach and of the related software used in the inversion of the differential and rotating Doppler data obtained from the ionospheric experiment of the Apollo-Soyuz Test Project (ASTP) is discussed. These data were collected in space-to-space paths (between the ASTP Docking Module (DM) and the Apollo Command Service Module and in space-to-ground paths (between the DM and ground). The Doppler links operated at 162 and 324 MHz and have an accuracy better than 3 MHz over 10-sec integration time. The inversion approach was tested with dummy data obtained with a computer simulation. It was found that a measurement accuracy of 1 to 10% in the value of the horizontal electron density gradient at 221-km altitude can be achieved, in space-to-space paths. For space-to-ground paths near the orbital plane, possible effects of the horizontal gradients on the received differential Doppler shifts were identified. It was possible to reduce the gradient-associated errors in the inversion that leads to the columnar electron content by approximately one-half. Accuracies of 5 to 10% in columnar electron content are achievable, with this gradient-compensation technique

Ariel 6 measurements of ultra-heavy cosmic ray fluxes in the region 34 or = Z or = 48

The Ariel VI satellite was launched by NASA on a Scout rocket on 3rd June 1979 from Wallops Island, Virginia, USA, into a near circular 625 km orbit inclined at 55 deg. It carried a spherical cosmic ray detector designed by a group from Bristol University. A spherical aluminum vessel of diameter 75 cm contains a gas scintillation mixture and a thin spherical shell of Pilot 425 plastic, and forms a single optical cavity viewed by 16 photomultipliers. Particle tracks through the detector may be characterized by their impact parameter p and by whether or not they pass through the cup of plastic scintillator placed between the sphere and the spacecraft body (referred to below as the Anti-Coincidence Detector or ACD). Individual particle charges are determined by separately measuring the gas scintillation and the Cerenkov emission from the plastic shell. This is possible because of the quite different distribution in time of these emissions

Implementing Session Centered Calculi

Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype implementations for them in order to assess usability and to minimize the gap between theory and practice. Typically, these implementations are done in Java taking advantage of its mechanisms supporting network applications. However, most of the recurrent features of service oriented applications are re-implemented from scratch. In this paper we show how to implement a service oriented calculus, CaSPiS (Calculus of Services with Pipelines and Sessions) using the Java framework IMC, where recurrent mechanisms for network applications are already provided. By using the session oriented and pattern matching communication mechanisms provided by IMC, it is relatively simple to implement in Java all CaSPiS abstractions and thus to easily write the implementation in Java of a CaSPiS process

Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP

Non Gaussian extrema counts for CMB maps

In the context of the geometrical analysis of weakly non Gaussian CMB maps, the 2D differential extrema counts as functions of the excursion set threshold is derived from the full moments expansion of the joint probability distribution of an isotropic random field, its gradient and invariants of the Hessian. Analytic expressions for these counts are given to second order in the non Gaussian correction, while a Monte Carlo method to compute them to arbitrary order is presented. Matching count statistics to these estimators is illustrated on fiducial non-Gaussian "Planck" data.Comment: 4 pages, 1 figur

Typing Copyless Message Passing

We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scenarios where well-typed processes leak significant amounts of memory. We address these problems basing the type system upon an original variant of session types.Comment: 50 page

Doppler measurements of the ionosphere on the occasion of the Apollo-Soyuz test project. Part 1: Computer simulation of ionospheric-induced Doppler shifts

A computer simulation of the ionospheric experiment of the Apollo-Soyuz Test Project (ASTP) was performed. ASTP is the first example of USA/USSR cooperation in space and is scheduled for summer 1975. The experiment consists of performing dual-frequency Doppler measurements (at 162 and 324 MHz) between the Apollo Command Service Module (CSM) and the ASTP Docking Module (DM), both orbiting at 221-km height and at a relative distance of 300 km. The computer simulation showed that, with the Doppler measurement resolution of approximately 3 mHz provided by the instrumentation (in 10-sec integration time), ionospheric-induced Doppler shifts will be measurable accurately at all times, with some rare exceptions occurring when the radio path crosses regions of minimum ionospheric density. The computer simulation evaluated the ability of the experiment to measure changes of columnar electron content between CSM and DM (from which horizontal gradients of electron density at 221-km height can be obtained) and to measure variations in DM-to-ground columnar content (from which an averaged columnar content and the electron density at the DM can be deduced, under some simplifying assumptions)

Effects of electromagnetic fields emitted by GSM phones on working memory: a meta-analysis

Background and Objective: Current treatments for Alzheimer's Disease (AD) do not affect the course of the illness and brain stimulation techniques are increasingly promoted as potential therapeutic inter-ventions for AD. This study reviews the effects of electromagnetic field (EMF) exposure versus sham exposure on working memory (WM) performance of healthy human participants. Method: Online literature databases and previous systematic reviews were searched for studies of EMF and WM in participants without reported memory problems. Two thousand eight hundred and fifty seven studies were identified, and 10 studies met the inclusion criteria. An assessment of study quality was completed, and separate, random effects meta-analyses were conducted for each of the three WM tasks included: n-back, substitution and digit span forward. Results: No differences were found between participants exposed to active EMF versus sham conditions in any of the three working memory tasks examined. Conclusion: Results indicate that EMF does not affect WM during the n-back, substitution and digit-span tasks. Future studies should focus on the possible effects of chronic exposure to EMF in older adults with AD using a battery of comparable WM and attention tasks, before EMF can be seriously considered as a potential modulator of WM in AD