Generalized nonuniform dichotomies and local stable manifolds

We establish the existence of local stable manifolds for semiflows generated by nonlinear perturbations of nonautonomous ordinary linear differential equations in Banach spaces, assuming the existence of a general type of nonuniform dichotomy for the evolution operator that contains the nonuniform exponential and polynomial dichotomies as a very particular case. The family of dichotomies considered allow situations for which the classical Lyapunov exponents are zero. Additionally, we give new examples of application of our stable manifold theorem and study the behavior of the dynamics under perturbations.Comment: 18 pages. New version with minor corrections and an additional theorem and an additional exampl

Correction to "Long-term and recent changes in sea level in the Falkland Islands"

In the paper “Long-term and recent changes in sea level in the Falkland Islands” by P. L. Woodworth et al. (Journal of Geophysical Research, 115, C09025, doi:10.1029/2010JC006113, 2010), in paragraph 47 we adopted a value of −0.52 mm/yr for the estimated rate of present-day sea level change in the Falkland Islands due to glacial isostatic adjustment (GIA). This value was used to remove the contributions of GIA to our measurements of historical and recent rates of sea level change. However, it was based on a misreading of the data file of Peltier [2004] on the Permanent Service for Mean Sea Level Web site (http://www.psmsl.org/train_and_info/geo_signals/gia/peltier). More reasonable values to apply to the observed changes since the mid-nineteenth century and in recent years would be −0.69 and −0.61 mm/yr respectively. Consequently, the long-term rate of sea level change between 1842 and the early 1980s, after correction for air pressure effects and for GIA, reported as +0.75 ± 0.35 mm/yr in paragraphs 1, 47, 55, and 61 should be +0.92 ± 0.35 mm/yr, the corresponding rate between 1842 and the midpoint of recent data of 1.06 ± 0.22 mm/yr in paragraphs 48 and 55 should be 1.23 ± 0.22 mm/yr, and the corresponding rate since 1992 reported as 2.51 ± 0.58 mm/yr in paragraphs 1 and 52 becomes 2.60 ± 0.58 mm/yr. The middle of paragraph 63 becomes “The Stanley data suggest that the rate of change of sea level in East Falkland since 1992 has been approximately 2.6 mm/yr, a rate supported by information from satellite altimetry.” These small GIA model corrections have no bearing on the main findings of our paper on the difference in the rates of sea level change between the historical (1842 to present-day) and recent (last 2 decades) epoch

Automated verification of shape and size properties via separation logic.

Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated size properties. To support automatic verification, we design a new entailment checking procedure that can handle well-founded inductive predicates using unfold/fold reasoning. We have proven the soundness and termination of our verification system, and have built a prototype system

Retrofitting Crude Oil Refinery Heat Exchanger Networks to Minimise Fouling While Maximising Heat Recovery

The use of fouling factors in heat exchanger design and the lack of appreciation of fouling in traditional pinch approach has often resulted badly designed crude preheat networks that are expensive to maintain. The development of thermal and pressure drop models for crude oil fouling has allowed its effects to be quantified, so that techno-economic analyses can be performed and various design options compared. Application of these fouling models is carried out on two levels: on the assessment of adding extra area to individual exchangers, and the design of a complete network using the Modified Temperature Field Plot. Application to a refinery case study showed that both at the exchanger and network levels, designing for maximum heat recovery using traditional pinch approach results in the least efficient heat recovery over a time period when fouling occurs

Breaking quantum linearity: constraints from human perception and cosmological implications

Resolving the tension between quantum superpositions and the uniqueness of the classical world is a major open problem. One possibility, which is extensively explored both theoretically and experimentally, is that quantum linearity breaks above a given scale. Theoretically, this possibility is predicted by collapse models. They provide quantitative information on where violations of the superposition principle become manifest. Here we show that the lower bound on the collapse parameter lambda, coming from the analysis of the human visual process, is ~ 7 +/- 2 orders of magnitude stronger than the original bound, in agreement with more recent analysis. This implies that the collapse becomes effective with systems containing ~ 10^4 - 10^5 nucleons, and thus falls within the range of testability with present-day technology. We also compare the spectrum of the collapsing field with those of known cosmological fields, showing that a typical cosmological random field can yield an efficient wave function collapse.Comment: 13 pages, LaTeX, 3 figure

Avatars of Eurocentrism in the critique of the liberal peace

Recent scholarly critiques of the so-called liberal peace raise important political and ethical challenges to practices of postwar intervention in the global South. However, their conceptual and analytic approaches have tended to reproduce rather than challenge the intellectual Eurocentrism underpinning the liberal peace. Eurocentric features of the critiques include the methodological bypassing of target subjects in research, the analytic bypassing of subjects through frameworks of governmentality, the assumed ontological split between the ‘liberal’ and the ‘local’, and a nostalgia for the liberal subject and the liberal social contract as alternative bases for politics. These collectively produce a ‘paradox of liberalism’ that sees the liberal peace as oppressive but also the only true source of emancipation. However, the article suggests that a repoliticization of colonial difference offers an alternative ‘decolonizing’ approach to critical analysis through repositioning the analytic gaze. Three alternative research strategies for critical analysis are briefly developed

Long-term and recent changes in sea level in the Falkland Islands

Mean sea level measurements made at Port Louis in the Falkland Islands in 1981-2, 1984 and 2009, together with values from the nearby permanent tide gauge at Port Stanley, have been compared to measurements made at Port Louis in 1842 by James Clark Ross. The long-term rate of change of sea level is estimated to have been +0.75 ± 0.35 mm/year between 1842 and the early 1980s, after correction for air pressure effects and for vertical land movement due to Glacial Isostatic Adjustment (GIA). The 2009 Port Louis data set is of particular importance due to the availability of simultaneous information from Port Stanley. The data set has been employed in two ways, by providing a short recent estimate of mean sea level itself, and by enabling the effective combination of measurements at the two sites. The rate of sea level rise observed since 1992, when the modern Stanley gauge was installed, has been larger at 2.51 ± 0.58 mm/year, after correction for air pressure and GIA. This rate compares to a value of 2.79 ± 0.42 mm/year obtained from satellite altimetry in the region over the same period. Such a relatively recent acceleration in the rate of sea level rise is consistent with findings from other locations in the southern hemisphere and globall

Global consequences of afforestation and bioenergy cultivation on ecosystem service indicators

Land management for carbon storage is discussed as being indispensable for climate change mitigation because of its large potential to remove carbon dioxide from the atmosphere, and to avoid further emissions from deforestation. However, the acceptance and feasibility of land-based mitigation projects depends on potential side effects on other important ecosystem functions and their services. Here, we use projections of future land use and land cover for different land-based mitigation options from two land-use models (IMAGE and MAgPIE) and evaluate their effects with a global dynamic vegetation model (LPJ-GUESS). In the land-use models, carbon removal was achieved either via growth of bioenergy crops combined with carbon capture and storage, via avoided deforestation and afforestation, or via a combination of both. We compare these scenarios to a reference scenario without land-based mitigation and analyse the LPJ-GUESS simulations with the aim of assessing synergies and trade-offs across a range of ecosystem service indicators: carbon storage, surface albedo, evapotranspiration, water runoff, crop production, nitrogen loss, and emissions of biogenic volatile organic compounds. In our mitigation simulations cumulative carbon storage by year 2099 ranged between 55 and 89 GtC. Other ecosystem service indicators were influenced heterogeneously both positively and negatively, with large variability across regions and land-use scenarios. Avoided deforestation and afforestation led to an increase in evapotranspiration and enhanced emissions of biogenic volatile organic compounds, and to a decrease in albedo, runoff, and nitrogen loss. Crop production could also decrease in the afforestation scenarios as a result of reduced crop area, especially for MAgPIE land-use patterns, if assumed increases in crop yields cannot be realized. Bioenergy-based climate change mitigation was projected to affect less area globally than in the forest expansion scenarios, and resulted in less pronounced changes in most ecosystem service indicators than forest-based mitigation, but included a possible decrease in nitrogen loss, crop production, and biogenic volatile organic compounds emissions

Effect of vessel wettability on the foamability of "ideal" surfactants and "real-world" beer heads

The ability to tailor the foaming properties of a solution by controlling its chemical composition is highly desirable and has been the subject of extensive research driven by a range of applications. However, the control of foams by varying the wettability of the foaming vessel has been less widely reported. This work investigates the effect of the wettability of the side walls of vessels used for the in situ generation of foam by shaking aqueous solutions of three different types of model surfactant systems (non-ionic, anionic and cationic surfactants) along with four different beers (Guinness Original, Banks’s Bitter, Bass No 1 and Harvest Pale). We found that hydrophilic vials increased the foamability only for the three model systems but increased foam stability for all foams except the model cationic system. We then compared stability of beer foams produced by shaking and pouring and demonstrated weak qualitative agreement between both foam methods. We also showed how wettability of the glass controls bubble nucleation for beers and champagne and used this effect to control exactly where bubbles form using simple wettability patterns