Dynamic mesh partitioning and load-balancing for parallel computational mechanics codes

In this Chapter we discuss the load-balancing issues arising in parallel mesh based computational mechanics codes for which the processor loading changes during the run. We briefly touch on geometric repartitioning ideas and then focus on different ways of using a graph both to solve the load-balancing problem and the optimisation problem, both locally and globally. We also briefly discuss whether repartitioning is always valid. Sample illustrative results are presented and we conclude that repartitioning is an attractive option if the load changes are not too dramatic and that there is a certain trade-off between partition quality and volume of data that the underlying application needs to migrate.

JOSTLE: multilevel graph partitioning software: an overview

In this chapter we look at JOSTLE, the multilevel graph-partitioning software package, and highlight some of the key research issues that it addresses. We first outline the core algorithms and place it in the context of the multilevel refinement paradigm. We then look at issues relating to its use as a tool for parallel processing and, in particular, partitioning in parallel. Since its first release in 1995, JOSTLE has been used for many mesh-based parallel scientific computing applications and so we also outline some enhancements such as multiphase mesh-partitioning, heterogeneous mapping and partitioning to optimise subdomain shape

Genuine savings and future well-being in Germany, 1850-2000

Genuine Savings (GS), also known as ‘net adjusted savings’, is a composite indicator of the sustainability of economic development. Genuine Savings reflects year-on-year changes in the total wealth or capital of a country, including net investment in produced capita, investment in human capital, depletion of natural resources, and damage caused by pollution. A negative Genuine Savings rate suggests that the stock of national wealth is declining and that future utility must be less than current utility, indicating that economic development is non-sustainable (Hamilton and Clemens, 1999). We make use of data over a 150 year period to examine the relationship between Genuine Savings and a number of indicators of well-being over time, and compare the relative changes in human, produced, and components of natural capital over the period. Overall, we find that the magnitude of genuine savings is positively related to changes in future consumption, with some evidence of a cointegrating relationship. However, the relationships between genuine savings and infant mortality or average heights are less clear.

The meccano method for automatic 3-d triangulation and volume parametrization of complex solids

[EN]In this paper we review the novel meccano method. We summarize the main stages (subdivision, mapping, optimization) of this automatic tetrahedral mesh generation technique and we concentrate the study to complex genus-zero solids. In this case, our procedure only requires a surface triangulation of the solid. A crucial consequence of our method is the volume parametrization of the solid to a cube. We construct volume T-meshes for isogeometric analysis by using this result. The efficiency of the proposed technique is shown with several examples. A comparison between the meccano method and standard mesh generation techniques is introduced.-1…

Schiehallion: A posy of Rannoch poesy, original, translated, and selected; with notes and a biographical introduction.

Mode of access: Internet.

Arms and armour in the banqueting hall, Edinburgh castle,

At head of title: H. M. Office of works.

Gu 'n d' thug i spéis do 'n àrmunn : sgeul /

Added title on back cover: She gave her love to the soldier, a Gaelic tale by John MacCormick. Edited by Malcolm MacFarlane.

Compiling Exceptions Correctly

Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness.

Proof methods for structured corecursive programs

Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixpoint induction, the take lemma, and coinduction. However, these methods are all rather low level, in that they do not exploit the common structure that is often present in corecursive definitions. We argue for a more structured approach to proving properties of corecursive programs. In particular, we show that by writing corecursive programs using a simple operator that encapsulates a common pattern of corecursive definition, we can then use high-level algebraic properties of this operator to conduct proofs in a purely calculational style that avoids the use of inductive or coinductive methods.

The life and diary of Lieut. Col. J. Blackader, of the Cameronian regiment, and deputy governor of Stirling castle : who served with distinguished honour in the wars under King William and the Duke of Marlborough,and afterwards in the rebellion of 1715 in Scotland /

Mode of access: Internet.