Tracking and data system support for the Mariner Mars 1971 mission. Volume 2: First trajectory correction maneuver through orbit insertion

The Deep Space Tracking and Data System activities in support of the Mariner Mars 1971 project from the first trajectory correction maneuver on 4 June 1971 through cruise and orbit insertion on 14 November 1971 are presented. Changes and updates to the TDS requirements and to the plan and configuration plus detailed information on the TDS flight support performance evaluation and the preorbital testing and training are included. With the loss of Mariner 8 at launch, a few changes to the Mariner Mars 1971 requirements, plan, and configuration were necessitated. Mariner 9 is now assuming the former mission plan of Mariner 8, including the TV mapping cycles and a 12-hr orbital period. A second trajectory correction maneuver was not required because of the accuracy of the first maneuver. All testing and training for orbital operations were completed satisfactorily and on schedule. The orbit insertion was accomplished with excellent results

Band gaps in pseudopotential self-consistent GW calculations

For materials which are incorrectly predicted by density functional theory to be metallic, an iterative procedure must be adopted in order to perform GW calculations. In this paper we test two iterative schemes based on the quasi-particle and pseudopotential approximations for a number of inorganic semiconductors whose electronic structures are well known from experiment. Iterating just the quasi-particle energies yields a systematic, but modest overestimate of the band gaps, confirming conclusions drawn earlier for CaB_6 and YH_3. Iterating the quasi-particle wave functions as well gives rise to an imbalance between the Hartree and Fock potentials and results in bandgaps in far poorer agreement with experiment.Comment: 5 pages, 2 figures, 2 table

First-principles study of the interaction and charge transfer between graphene and metals

Measuring the transport of electrons through a graphene sheet necessarily involves contacting it with metal electrodes. We study the adsorption of graphene on metal substrates using first-principles calculations at the level of density functional theory. The bonding of graphene to Al, Ag, Cu, Au and Pt(111) surfaces is so weak that its unique "ultrarelativistic" electronic structure is preserved. The interaction does, however, lead to a charge transfer that shifts the Fermi level by up to 0.5 eV with respect to the conical points. The crossover from p-type to n-type doping occurs for a metal with a work function ~5.4 eV, a value much larger than the work function of free-standing graphene, 4.5 eV. We develop a simple analytical model that describes the Fermi level shift in graphene in terms of the metal substrate work function. Graphene interacts with and binds more strongly to Co, Ni, Pd and Ti. This chemisorption involves hybridization between graphene $p_z$-states and metal d-states that opens a band gap in graphene. The graphene work function is as a result reduced considerably. In a current-in-plane device geometry this should lead to n-type doping of graphene.Comment: 12 pages, 9 figure

A hybrid CA-PDE Model of chlamydia trachomatis infection in the female genital tract

Chlamydia trachomatis is amongst the most common sexually transmitted diseases in the world and when left untreated, may lead to serious sequelae particularly in women such as pelvic inflammatory disease, ectopic pregnancy and infertility. Currently, most mathematical modelling in the literature regarding Chlamydia is based on time dependent differential equations. The serious pathology associated with C. trachomatis occurs when the chlamydial infection ascends to the upper genital tract. But no modelling study has investigated the important spatial aspects of the disease. In this work, we include spatiotemporal considerations of the progression of chlamydial infection in the genital tract. This novel direction is achieved using cellular automata modelling with probabilistic decision processes. In this presentation, the modelling strategy will be described, as well as its relationship with existing models and the advances in understanding that are achieved with such a model. Such an approach provides valuable insights into disease progression and will lead to experimentally testable predictions and a basis for further investigation in this area

Shuttle derived atmospheric density model. Part 2: STS atmospheric implications for AOTV trajectory analysis, a proposed GRAM perturbation density model

A perturbation model to the Marshall Space Flight Center (MSFC) Global Reference Atmosphere Model (GRAM) was developed for use in the Aeroassist Orbital Transfer Vehicle (AOTV) trajectory and analysis. The model reflects NASA Space Shuttle experience over the first twelve entry flights. The GRAM was selected over the Air Force 1978 Reference Model because of its more general formulation and wider use throughout NASA. The add-on model, a simple scaling with altitude to reflect density structure encountered by the Shuttle Orbiter was selected principally to simplify implementation. Perturbations, by season, can be utilized to minimize the number of required simulations, however, exact Shuttle flight history can be exercised using the same model if desired. Such a perturbation model, though not meteorologically motivated, enables inclusion of High Resolution Accelerometer Package (HiRAP) results in the thermosphere. Provision is made to incorporate differing perturbations during the AOTV entry and exit phases of the aero-asist maneuver to account for trajectory displacement (geographic) along the ground track

Shuttle derived atmospheric density model. Part 1: Comparisons of the various ambient atmospheric source data with derived parameters from the first twelve STS entry flights, a data package for AOTV atmospheric development

The ambient atmospheric parameter comparisons versus derived values from the first twelve Space Shuttle Orbiter entry flights are presented. Available flights, flight data products, and data sources utilized are reviewed. Comparisons are presented based on remote meteorological measurements as well as two comprehensive models which incorporate latitudinal and seasonal effects. These are the Air Force 1978 Reference Atmosphere and the Marshall Space Flight Center Global Reference Model (GRAM). Atmospheric structure sensible in the Shuttle flight data is shown and discussed. A model for consideration in Aero-assisted Orbital Transfer Vehicle (AOTV) trajectory analysis, proposed to modify the GRAM data to emulate Shuttle experiments

First-principles study of magnetization relaxation enhancement and spin-transfer in thin magnetic films

The interface-induced magnetization damping of thin ferromagnetic films in contact with normal-metal layers is calculated from first principles for clean and disordered Fe/Au and Co/Cu interfaces. Interference effects arising from coherent scattering turn out to be very small, consistent with a very small magnetic coherence length. Because the mixing conductances which govern the spin transfer are to a good approximation real valued, the spin pumping can be described by an increased Gilbert damping factor but an unmodified gyromagnetic ratio. The results also confirm that the spin-current induced magnetization torque is an interface effect.Comment: 10 pages, 8 figures, RevTeX; modified according to Referees' request

Spin-injection through an Fe/InAs Interface

The spin-dependence of the interface resistance between ferromagnetic Fe and InAs is calculated from first-principles for specular and disordered (001) interfaces. Because of the symmetry mismatch in the minority-spin channel, the specular interface acts as an efficient spin filter with a transmitted current polarisation between 98 an 89%. The resistance of a specular interface in the diffusive regime is comparable to the resistance of a few microns of bulk InAs. Symmetry-breaking arising from interface disorder reduces the spin asymmetry substantially and we conclude that efficient spin injection from Fe into InAs can only be realized using high quality epitaxial interfaces.Comment: 4 pages, 4 figure

Unbounded Human Learning: Optimal Scheduling for Spaced Repetition

In the study of human learning, there is broad evidence that our ability to retain information improves with repeated exposure and decays with delay since last exposure. This plays a crucial role in the design of educational software, leading to a trade-off between teaching new material and reviewing what has already been taught. A common way to balance this trade-off is spaced repetition, which uses periodic review of content to improve long-term retention. Though spaced repetition is widely used in practice, e.g., in electronic flashcard software, there is little formal understanding of the design of these systems. Our paper addresses this gap in three ways. First, we mine log data from spaced repetition software to establish the functional dependence of retention on reinforcement and delay. Second, we use this memory model to develop a stochastic model for spaced repetition systems. We propose a queueing network model of the Leitner system for reviewing flashcards, along with a heuristic approximation that admits a tractable optimization problem for review scheduling. Finally, we empirically evaluate our queueing model through a Mechanical Turk experiment, verifying a key qualitative prediction of our model: the existence of a sharp phase transition in learning outcomes upon increasing the rate of new item introductions.Comment: Accepted to the ACM SIGKDD Conference on Knowledge Discovery and Data Mining 201

Deriving Bisimulation Congruences: 2-categories vs precategories

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs