Inertial Upper Stage (IUS) software analysis

The Inertial Upper Stage (IUS) System, an extension of the Space Transportation System (STS) operating regime to include higher orbits, orbital plane changes, geosynchronous orbits, and interplanetary trajectories is presented. The IUS software design, the IUS software interfaces with other systems, and the cost effectiveness in software verification are described. Tasks of the IUS discussed include: (1) design analysis; (2) validation requirements analysis; (3) interface analysis; and (4) requirements analysis

Social Security Reform: Lessons from Private Pensions

Widespread concerns about the long-term fiscal gap in Social Security have prompted various proposals for structural reform, with individual accounts as the centerpiece. Carving out individual accounts from the existing system would shift significant risks and responsibilities to individual workers. A parallel development has already occurred in the area of private pensions. Experience with 401(k) plans indicates that many workers will have difficulty making prudent decisions concerning investment and withdrawal of funds. Moreover, in implementing any system of voluntary individual accounts, it will be important to design default settings that provide appropriate guidance for workers with heterogeneous levels of financial sophistication and risk tolerance. The central goal of Social Security reform should be to close the fiscal gap in a way that preserves rather than undermines the existing system of mandatory defined benefits for all workers

Towards a better understanding aquatic carbon losses from lowland peatlands across England and Wales

Hydrological fluxes in lowland peatlands can be challenging to measure but they drive poorly understood aquatic carbon fluxes which may form an important part of the overall carbon budget for peatlands. In this study we examined 11 lowland peatland sites across some of the most important fen and raised bog complexes in England and Wales including agricultural peatlands, mining sites and restoration sites. These were intensively monitored between January 2013 and December 2015. The monitoring included continual hydrological measurements and regular sampling for dissolved organic and inorganic carbon (DOC and DIC), particulate organic carbon (POC) and dissolved carbon dioxide, methane and nitrous oxide. These data were used to calculate the amount of water flowing out of each site and the total aquatic carbon loss. In addition, the hydrological data were used to provide contextual data to explain carbon flux variations between sites and help explain and model variations in gaseous carbon fluxes. The hydrology of all these lowland peat sites is typically complex with most having been drained, which when combined with their relatively flat gradients results in most having no clear single outlet. In addition the drainage networks are often used to not only drain water during periods of excess rainfall but also to maintain raised water tables during summer months when rainfall totals are low. As a result, aquatic losses were determined using a mixture of water mass balance approaches (e.g. using flux tower evapotranspiration data) and groundwater flow monitoring. The hydrology of the 11 sites was found to vary considerably, even between co-located sites, however as might be expected given the west-east rainfall gradient observed in the UK, discharge was typically highest at the Anglesey Fens sites (western Wales) and lowest at the East Anglian Fens sites (eastern England). One influence on the observed differences in discharge was the impact of vegetation type on evapotranspiration rates, with sites with high ET having some of the lowest discharge. Compared to gaseous fluxes, aquatic carbon fluxes made a smaller but significant contribution to overall rates of carbon loss, with the ‘reactive’ aquatic C flux accounting for 2-26% of NEE. Dissolved organic carbon (DOC) made the largest contribution. Concentrations of DOC were generally high, with all sites having mean concentrations greater than 20 mg L-1. DOC fluxes ranged from just 4 g C m-2 yr-1 up to 67 g C m-2 yr-1 being more variable than concentrations due to the wide variation in discharge from the different sites. Fluxes were highest from the raised bog sites and lowest from the fen site

Social Security Reform: Risks, Returns, and Race

The debate over social security reform has far-reaching implications for the economic well-being of blacks and other minority groups. In this article, we examine how blacks have fared under the existing system, and then consider the likely consequences of moving toward a privatized system. Specifically, we consider the claim, recently advanced by some privatizers, that blacks receive an especially bad deal under the existing system and would be better off under a privatized system. We find that, for blacks as a group, this claim tends to overstate both the shortcomings of the existing system and the advantages of privatization. Furthermore, we urge that the racial impact of social security reform deserves serious and sustained consideration. While the path of reform will inevitably require difficult tradeoffs between competing policy goals and political constituencies, no serious reform proposal can ignore the issue of racial equality in the debate over social security

Continuous Truth II: Reflections

Abstract. In the late 1960s, Dana Scott first showed how the Stone-Tarski topological interpretation of Heyting’s calculus could be extended to model intuitionistic analysis; in particular Brouwer’s continuity prin-ciple. In the early ’80s we and others outlined a general treatment of non-constructive objects, using sheaf models—constructions from topos theory—to model not only Brouwer’s non-classical conclusions, but also his creation of “new mathematical entities”. These categorical models are intimately related to, but more general than Scott’s topological model. The primary goal of this paper is to consider the question of iterated extensions. Can we derive new insights by repeating the second act? In Continuous Truth I, presented at Logic Colloquium ’82 in Florence, we showed that general principles of continuity, local choice and local com-pactness hold in the gros topos of sheaves over the category of separable locales equipped with the open cover topology. We touched on the question of iteration. Here we develop a more gen-eral analysis of iterated categorical extensions, that leads to a reflection schema for statements of predicative analysis. We also take the opportunity to revisit some aspects of both Continuous Truth I and Formal Spaces (Fourman & Grayson 1982), and correct two long-standing errors therein

Fermi liquid to Luttinger liquid transition at the edge of a two-dimensional electron gas

We present experimental results on the tunneling into the edge of a two dimensional electron gas (2DEG) obtained with a GaAs/AlGaAs cleaved edge overgrown structure in a strong perpendicular magnetic field. While the 2DEG exhibits typical fractional quantum Hall features of a very high mobility sample, we observe the onset of a non-linear current-voltage characteristic in the vicinity of nu=1. For filling factor nu<1 the system is consistent with a non-Fermi liquid behavior, such as a Luttinger liquid, whereas for nu>1 we observe an Ohmic tunneling resistance between the edge and a three dimensional contact, typical for a Fermi liquid. Hence, at the edge, there is a transition from a Luttinger liquid to a Fermi liquid. Finally, we show that the Luttinger liquid exponent at a given filling factor is not universal but depends on sample parameters.Comment: 4 pages, 4 figure

Experiments on the Fermi to Tomonaga-Luttinger liquid transition in quasi-1D systems

We present experimental results on the tunneling into the edge of a two dimensional electron gas (2DEG) obtained with GaAs/AlGaAs cleaved edge overgrown structures. The electronic properties of the edge of these systems can be described by a one-dimensional chiral Tomonaga-Luttinger liquid when the filling factor of the 2DEG is very small. Here we focus on the region where the Tomonaga-Luttinger liquid breaks down to form a standard Fermi liquid close to $\nu=1$ and show that we recover a universal curve, which describes all existing data.Comment: 5 pages, localisation 2002, conference proceeding

Tunnelling Spectroscopy of Localized States near the Quantum Hall Edge

In the paper we dscuss experimental results of M. Grayson et al. on tunneling $I$-$V$ characteristics of the quantum Hall edge. We suggest a two step tunneling mechanism involving localized electron states near the edge, which might account for discrepancy between the experimental data and the predictions of the chiral Luttinger liquid theory of the quantum Hall edge.Comment: 4 pages, revte