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

Apodized Pupil Lyot Coronagraphs for Arbitrary Telescope Apertures

In the context of high dynamic range imaging, this study presents a breakthrough for the understanding of Apodized Pupil Lyot Coronagraphs, making them available for arbitrary aperture shapes. These new solutions find immediate application in current, ground-based coronagraphic studies (Gemini, VLT) and in existing instruments (AEOS Lyot Project). They also offer the possiblity of a search for an on-axis design for TPF. The unobstructed aperture case has already been solved by Aime et al. (2002) and Soummer et al. (2003). Analytical solutions with identical properties exist in the general case and, in particular, for centrally obscured apertures. Chromatic effects can be mitigated with a numerical optimization. The combination of analytical and numerical solutions enables the study of the complete parameter space (central obstruction, apodization throughput, mask size, bandwidth, and Lyot stop size).Comment: 7 pages 4 figures - ApJL, accepte

On the filamentary environment of galaxies

The correlation between the large-scale distribution of galaxies and their spectroscopic properties at z=1.5 is investigated using the Horizon MareNostrum cosmological run. We have extracted a large sample of 10^5 galaxies from this large hydrodynamical simulation featuring standard galaxy formation physics. Spectral synthesis is applied to these single stellar populations to generate spectra and colours for all galaxies. We use the skeleton as a tracer of the cosmic web and study how our galaxy catalogue depends on the distance to the skeleton. We show that galaxies closer to the skeleton tend to be redder, but that the effect is mostly due to the proximity of large haloes at the nodes of the skeleton, rather than the filaments themselves. This effects translate into a bimodality in the colour distribution of our sample. The origin of this bimodality is investigated and seems to follow from the ram pressure stripping of satellite galaxies within the more massive clusters of the simulation. The virtual catalogues (spectroscopical properties of the MareNostrum galaxies at various redshifts) are available online at http://www.iap.fr/users/pichon/MareNostrum/cataloguesComment: 18 pages, 27 figures, accepted for publication in MNRA

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

Cavitation-induced force transition in confined viscous liquids under traction

We perform traction experiments on simple liquids highly confined between parallel plates. At small separation rates, we observe a simple response corresponding to a convergent Poiseuille flow. Dramatic changes in the force response occur at high separation rates, with the appearance of a force plateau followed by an abrupt drop. By direct observation in the course of the experiment, we show that cavitation accounts for these features which are reminiscent of the utmost complex behavior of adhesive films under traction. Surprisingly enough, this is observed here in purely viscous fluids.Comment: Submitted to Physical Review Letters on May 31, 2002. Related informations on http://www.crpp.u-bordeaux.fr/tack.htm

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)

Secondary schooling and rural youth transitions in Lesotho and Zimbabwe

Based on case studies centred on two rural secondary schools in Lesotho and Zimbabwe, this paper examines the gendered impacts of schooling on young people’s transitions to adulthood. School attendance is shown, first, to disrupt the conventional pathways to adulthood: young people attending school may leave home sooner than they otherwise would, and take responsibility for their day-to-day survival, while marriage and childbearing are often delayed. More significantly, secondary schooling reflects, and contributes to, a growing sense that adulthood itself is not fixed. An alternative version of adulthood is promoted through schools in which formal sector employment is central. Yet while young people are encouraged to opt for, and work towards, this goal, only a minority are able to obtain paid employment. The apparent possibility of determining one’s own lifecourse serves to cast the majority of young people as failures in their transitions to adulthood

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

Antibody responses to nasopharyngeal carriage of Streptococcus pneumoniae in adults: A longitudinal household study

Background. Natural immunity to Streptococcus pneumoniae is thought to be induced by exposure to S. pneumoniae or cross-reactive antigens. No longitudinal studies of carriage of and immune responses to S. pneumoniae have been conducted using sophisticated immunological laboratory techniques.Methods. We enrolled 121 families with young children into this study. Nasopharyngeal (NP) swabs were collected monthly for 10 months from all family members and were cultured in a standard fashion. Cultured S. pneumoniae isolates were serotyped. At the beginning (month 0) and end (month 10) of the study, venous blood was collected from family members 118 years old. Serotype-specific antipolysaccharide immunoglobulin G (IgG) and functional antibody and antibodies to pneumolysin, pneumococcal surface protein A (PspA), and pneumococcal surface antigen A (PsaA) were measured in paired serum samples.Results. Levels of anticapsular IgG increased significantly after carriage of serotypes 9V, 14, 18C, 19F, and 23F by an individual or family member. For serotype 14, a higher level of anticapsular IgG at the beginning of the study was associated with reduced odds of carriage (P = .0006). There was a small (similar to 20%) but significant increase in titers of antibodies to PsaA and pneumolysin but no change in titers of antibody to PspA.Conclusions. Adults respond to NP carriage by mounting anticapsular and weak antiprotein antibody responses, and naturally induced anticapsular IgG can prevent carriage

Modelling the hepatitis B vaccination programme in prisons

A vaccination programme offering hepatitis B (HBV) vaccine at reception into prison has been introduced into selected prisons in England and Wales. Over the coming years it is anticipated this vaccination programme will be extended. A model has been developed to assess the potential impact of the programme on the vaccination coverage of prisoners, ex-prisoners, and injecting drug users (IDUs). Under a range of coverage scenarios, the model predicts the change over time in the vaccination status of new entrants to prison, current prisoners and IDUs in the community. The model predicts that at baseline in 2012 57% of the IDU population will be vaccinated with up to 72% being vaccinated depending on the vaccination scenario implemented. These results are sensitive to the size of the IDU population in England and Wales and the average time served by an IDU during each prison visit. IDUs that do not receive HBV vaccine in the community are at increased risk from HBV infection. The HBV vaccination programme in prisons is an effective way of vaccinating this hard-to-reach population although vaccination coverage on prison reception must be increased to achieve this