Estimating 1min rain rate distributions from numerical weather prediction

Internationally recognized prognostic models of rain fade on terrestrial and Earth-space EHF links rely fundamentally on distributions of one-minute rain rates. Currently, in Rec. ITU-R P.837-6, these distributions are generated using the Salonen Poiares-Baptista method where one-minute rain rate distributions are estimated from long-term average annual accumulations provided by Numerical Weather Products (NWP). This paper investigates an alternative to this method based on the distribution of six-hour accumulations available from the same NWPs. Rain rate fields covering the UK, produced by the Nimrod network of radars, are integrated to estimate the accumulations provided by NWP and these are linked to distributions of fine scale rain rates. The proposed method makes better use of the available data. It is verified on 15 NWP regions spanning the UK and the extension to other regions is discussed

Trends in the incidence of rain rates associated with outages on fixed links operating above 10 GHz in the southern United Kingdom

Studies have shown that climate change is leading to an increase in the incidence of heavy rain in the United Kingdom, particularly over winter. The major interest has been on the hydrological impacts of this increase, and so studies have focused on rain accumulations over hours or days and for large catchments. The availability of fixed, microwave links is limited by the incidence of heavy rain with an integration time of a minute or less. This document introduces evidence of an increasing trend in rain rates associated with outages. High-resolution rain data, produced by 30 tipping bucket gauges sited in the south of England, have been analyzed to identify these trends. The data span up to 20 years at each site. Increasing trends in the incidence of rain rates exceeded at annual time percentages between 0.005% and 0.1% are demonstrated. Data suggest that the total annual outage would have doubled or tripled over each decade analyzed for the majority of fixed links operating at rain fade limited frequencies. It is plausible that this trend could continue

The use of the LANDSAT Data Collection Systems (DCS) for relaying hydrologic data

There are no author-identified significant results in this report

The Role of Remotely Sensed and Relayed Data in the Delaware River Basin

The planned integration of the existing water quality monitoring and data processing systems in the Delaware River Basin with a data relay experiment proposed for the ERTS-1 is discussed. The experiment is designed to use ERTS-1 as a data relay link for a maximum of 20 hydrologic stations in the basin, including stream gaging, reservoir level, ground water level, and water quality monitoring stations. This experiment has the potential for reducing the time lag between data collection and dissemination to less than 12 hours. The experiment will also provide impetus to develop an operational system of real time data processing and dissemination to handle the large quantity of data that will be obtained from the stations in the basin. The results of this experiment will demonstrate the relative merits of satellite relay of data versus conventional means of data telemetry and will provide a basis for the development of operational satellite relay of hydrologic data

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004 survey article on Auction Theory using the Isabelle/HOL system, and we have produced verified code for combinatorial Vickrey auctions. A fundamental question in this was how to represent some basic concepts: since set theory is available inside Isabelle/HOL, when introducing new definitions there is often the issue of balancing the amount of set-theoretical objects and of objects expressed using entities which are more typical of higher order logic such as functions or lists. Likewise, a user has often to answer the question whether to use a constructive or a non-constructive definition. Such decisions have consequences for the proof development and the usability of the formalization. For instance, sets are usually closer to the representation that economists would use and recognize, while the other objects are closer to the extraction of computational content. In this paper we give examples of the advantages and disadvantages for these approaches and their relationships. In addition, we present the corresponding Isabelle library of definitions and theorems, most prominently those dealing with relations and quotients.Comment: Preprint of a paper accepted for the forthcoming CICM 2014 conference (cicm-conference.org/2014): S.M. Watt et al. (Eds.): CICM 2014, LNAI 8543, Springer International Publishing Switzerland 2014. 16 pages, 1 figur