The effects of random path fluctuations on the accuracy of laser ranging systems

The precision of satellite ranging systems, limited in part by atmospheric refraction and scattering, is examined. The effects of atmospheric turbulence on the accuracy of single color and multicolor ranging systems is discussed. The statistical characteristics of the random path length fluctuations induced by turbulence are examined. Correlation and structure functions are derived using several proposed models for the variations of the optical path length. For single color systems it is shown that the random path length fluctuations can limit the accuracy of a range measurement to a few centimeters. Two color systems can partially correct for the random path fluctuations so that in most cases their accuracy is limited to a few millimeters. However, at low elevation angles and over long horizontal paths two color systems can also have errors approaching a few centimeters

Africa's growth prospects in a European mirror : a historical perspective

Drawing on recent quantitative research on Europe reaching back to the medieval period, and noting a relationship between the quality of institutions and economic growth, this paper offers a reassessment of Africa’s growth prospects. Periods of positive growth driven by trade, followed by growth reversals which wiped out the gains of the previous boom, characterized pre-modern Europe as well as twentieth century Africa. Since per capita incomes in much of sub-Saharan Africa are currently at the level of medieval Europe, which did not make the breakthrough to modern economic growth until the nineteenth century, we caution against too optimistic a reading of Africa’s recent growth experience. Without the institutional changes necessary to facilitate structural change, growth reversals continue to pose a serious threat to African prosperity. Only if growth continues after a downturn in Africa’s terms of trade can we be sure that the corner has been turned

The effects of atmospheric refraction on the accuracy of laser ranging systems

Correction formulas derived by Saastamoinen and Marini, and the ray traces through the refractivity profiles all assume a spherically symmetric refractivity profile. The errors introduced by this assumption were investigated by ray tracing through three-dimensional profiles. The results of this investigation indicate that the difference between ray traces through the spherically symmetric and three-dimensional profiles is approximately three centimeters at 10 deg and decreases to less than one half of a centimeter at 80 deg. If the accuracy desired in future laser ranging systems is less than a few centimeters, Saastamoinen and Marini's formulas must be altered to account for the fact that the refractivity profile is not spherically symmetric

Mechanically probing coherent tunnelling in a double quantum dot

We study theoretically the interaction between the charge dynamics of a few-electron double quantum dot and a capacitively-coupled AFM cantilever, a setup realized in several recent experiments. We demonstrate that the dot-induced frequency shift and damping of the cantilever can be used as a sensitive probe of coherent inter-dot tunnelling, and that these effects can be used to quantitatively extract both the magnitude of the coherent interdot tunneling and (in some cases) the value of the double-dot T_1 time. We also show how the adiabatic modulation of the double-dot eigenstates by the cantilever motion leads to new effects compared to the single-dot case.Comment: 6 pages, 2 figure

Advances on Matroid Secretary Problems: Free Order Model and Laminar Case

The most well-known conjecture in the context of matroid secretary problems claims the existence of a constant-factor approximation applicable to any matroid. Whereas this conjecture remains open, modified forms of it were shown to be true, when assuming that the assignment of weights to the secretaries is not adversarial but uniformly random (Soto [SODA 2011], Oveis Gharan and Vondr\'ak [ESA 2011]). However, so far, there was no variant of the matroid secretary problem with adversarial weight assignment for which a constant-factor approximation was found. We address this point by presenting a 9-approximation for the \emph{free order model}, a model suggested shortly after the introduction of the matroid secretary problem, and for which no constant-factor approximation was known so far. The free order model is a relaxed version of the original matroid secretary problem, with the only difference that one can choose the order in which secretaries are interviewed. Furthermore, we consider the classical matroid secretary problem for the special case of laminar matroids. Only recently, a constant-factor approximation has been found for this case, using a clever but rather involved method and analysis (Im and Wang, [SODA 2011]) that leads to a 16000/3-approximation. This is arguably the most involved special case of the matroid secretary problem for which a constant-factor approximation is known. We present a considerably simpler and stronger $3\sqrt{3}e\approx 14.12$-approximation, based on reducing the problem to a matroid secretary problem on a partition matroid

The Veto and the Charter: An Interpretation for Survival

When the United Nations Security Council in late June, 1950, condemned the armed attack upon the Republic of South Korea as a breach of the peace and called upon member nations to help repel the invaders, an important new landmark was established in world politics. For the first time in history, a world organization had launched a campaign of collective action to put down aggression and establish peace under international law. This action of the Security Council, approved and supported by the overwhelming majority of the United Nations, gave the peoples of the world hope, above all else, that their organization would survive and contribute to the major purpose for which it was established— to save succeeding generations from the scourge of war. Rarely has an act of aggression been so clear-cut or the issues so well-defined. These issues can be best understood in the light of events in Korea following the surrender of Japan. The Soviet Union consistently refused to implement joint agreements for the establishment of a unified and independent Korea. Instead, it treated the boundary at the 38th parallel, which was adopted for surrender purposes only, as a permanent division of the country and worked to establish exclusive control in the Northern zone. The United States, finding agreement impossible, put the problem of Korea before the United Nations. A United Nations Commission, established to hold free elections throughout the country, was never permitted to enter North Korea. Nevertheless, elections under its authority were held in the South. They produced a government which was found by the General Assembly to represent the free will of the electorate and which was designated the only lawfully existing government in Korea. Then, on June 25, 1950, without warning and without provocation, the forces of North Korea launched an offensive which subsequent events have confirmed as a premeditated, well-prepared, and well-timed plan of aggression

Static Correlation and Dynamical Properties of Tb3+-moments in Tb2Ti2O7 -Neutron Scattering Study-

Static and dynamical properties of the magnetic moment system of pyrochlore compound Tb2Ti2O7 with strong magnetic frustration, have been investigated down to the temperature T=0.4 K by neutron scattering on a single crystal sample. The scattering vector (Q)-dependence of the magnetic scattering intensity becomes appreciable with decreasing T at around 30 K, indicating the development of the magnetic correlation. From the observed energy profiles, the elastic, quasi elastic and inelastic components have been separately obtained. The quasi elastic component corresponds to the diffusive motion of the magnetic moments within the lowest states, which are formed of the lowest energy levels of Tb3+ ions. Magnetic correlation pattern which can roughly reproduce the Q-dependence of the scattering intensities of the elastic and quasi elastic component is discussed based on the trial calculations for clusters of 7 moments belonging to two corner-sharing tetrahedra. A possible origin of the glassy state, which develops at around 1.5 K with decreasing T is discussed.Comment: 10 pages, 12 figures, to be published in J. Phys. Soc. Jpn. 71(2002)No.2 59

Emission-Line Galaxies from the HST PEARS Grism Survey I: The South Fields

We present results of a search for emission-line galaxies in the Southern Fields of the Hubble Space Telescope PEARS (Probing Evolution And Reionization Spectroscopically) grism survey. The PEARS South Fields consist of five ACS pointings (including the Hubble Ultra Deep Field) with the G800L grism for a total of 120 orbits, revealing thousands of faint object spectra in the GOODS-South region of the sky. Emission-line galaxies (ELGs) are one subset of objects that are prevalent among the grism spectra. Using a 2-dimensional detection and extraction procedure, we find 320 emission lines orginating from 226 galaxy "knots'' within 192 individual galaxies. Line identification results in 118 new grism-spectroscopic redshifts for galaxies in the GOODS-South Field. We measure emission line fluxes using standard Gaussian fitting techniques. At the resolution of the grism data, the H-beta and [OIII] doublet are blended. However, by fitting two Gaussian components to the H-beta and [OIII] features, we find that many of the PEARS ELGs have high [OIII]/H-beta ratios compared to other galaxy samples of comparable luminosities. The star-formation rates (SFRs) of the ELGs are presented, as well as a sample of distinct giant star-forming regions at z~0.1-0.5 across individual galaxies. We find that the radial distances of these HII regions in general reside near the galaxies' optical continuum half-light radii, similar to those of giant HII regions in local galaxies.Comment: 15 pages, 13 figures; Accepted for publication in A

Symbolic debugging with Gillian

Software debugging for concrete execution enjoys a mature suite of tools, but debugging symbolic execution is still in its infancy. It carries unique challenges, as a single state can lead to multiple branches representing different sets of conditions, and symbolic states must be 'matched' against logical conditions. Some of today’s otherwise mature symbolic-execution tools still rely on plain-text log files for debugging, which provide no good overview of the execution process and can quickly become overwhelming. We introduce a debugger for Gillian’s verification mode---complete with a custom interface---and ponder the potential for this interface and the protocol behind it to be used outside of Gillian