A generational scheme for partitioning graphs

Graph partitioning divides a graph into several pieces by cutting edges. Very effective heuristic partitioning algorithms have been developed which run in real-time, but it is unknown how good the partitions are since the problem is, in general, NP-complete. This paper reports an evolutionary search algorithm for finding benchmark partitions. Distinctive features are the transmission and modification of whole subdomains (the partitioned units) that act as genes, and the use of a multilevel heuristic algorithm to effect the crossover and mutations. Its effectiveness is demonstrated by improvements on previously established benchmarks.

The semi-automatic parallelisation of scientific application codes using a computer aided parallelisation toolkit

The shared-memory programming model can be an effective way to achieve parallelism on shared memory parallel computers. Historically however, the lack of a programming standard using directives and the limited scalability have affected its take-up. Recent advances in hardware and software technologies have resulted in improvements to both the performance of parallel programs with compiler directives and the issue of portability with the introduction of OpenMP. In this study, the Computer Aided Parallelisation Toolkit has been extended to automatically generate OpenMP-based parallel programs with nominal user assistance. We categorize the different loop types and show how efficient directives can be placed using the toolkit's in-depth interprocedural analysis. Examples are taken from the NAS parallel benchmarks and a number of real-world application codes. This demonstrates the great potential of using the toolkit to quickly parallelise serial programs as well as the good performance achievable on up to 300 processors for hybrid message passing-directive parallelisations.

Legal myth-making: Medea and the legal representation of the feminine ‘other'

The Law operates by, and through, the creation of ideal benchmarks of conduct that are deemed to be representative of the behavioural norm. It is in this sense that it could be contended that the Law utilises, and relies on, myths in the same way as do other disciplines, notably psycho-analysis. It is possible to go even further and argue that the use of a created narrative mythology is essential to the establishment of a defined legal benchmark of behaviour by which the female defendant is assessed, judged and punished. While mythology expresses and symbolizes cultural and political behaviour, it is the Law that embodies and prescribes punitive sanctions. This element represents a powerful literary strand in classical mythology. This may be seen, for instance, in Antigone’s appeal to the Law as justification for her conduct, as much as in Medea’s challenge to the Law though her desire for vengeance. Despite its image of neutral, objective rationality, the Law, in creating and sustaining the ideals of legally-sanctioned conduct, engages in the same literary processes of imagination, reason and emotion that are central to the creation and re-creation of myth. The (re-)presentation of the Medea myth in literature (especially in theatre) and in art, finds its echo in the theatre of the courtroom where wronged women who have refused to passively accept their place, have instead responded with violence. Consequently, the Medea myth, in its depiction of the (un)feminine, serves as a template for the Law’s judgment of ‘conventional’ feminine conduct in the roles of wife and mother. Medea is an image of deviant femininity, as is Lady Macbeth and the countless other un-feminine literary and mythological women who challenge the power of the dominant culture and its ally, the Law. These women stand opposed to the other dominant theme of both literature and Law: the conformist woman, the passive dupe, who are victims of male oppression – women such as Ariadne of Naxos and Tess of the D’Ubervilles – and who are subsequently consumed by the Law, much as Semele is consumed by the fire of Jupiter’s gaze upon her. All of these women, the former as well as the latter, have their real-life counterparts in the pages of the Law Reports. As Fox puts it, “these women have come to bear the weight of the cultural stereotypes and preconceptions about women who kill.”

A three dimensional finite volume approach to the thermo-mechanical modelling of the shape casting of metals

This paper presents a three dimensional, thermos-mechanical modelling approach to the cooling and solidification phases associated with the shape casting of metals ei. Die, sand and investment casting. Novel vortex-based Finite Volume (FV) methods are described and employed with regard to the small strain, non-linear Computational Solid Mechanics (CSM) capabilities required to model shape casting. The CSM capabilities include the non-linear material phenomena of creep and thermo-elasto-visco-plasticity at high temperatures and thermo-elasto-visco-plasticity at low temperatures and also multi body deformable contact with which can occur between the metal casting of the mould. The vortex-based FV methods, which can be readily applied to unstructured meshes, are included within a comprehensive FV modelling framework, PHYSICA. The additional heat transfer, by conduction and convection, filling, porosity and solidification algorithms existing within PHYSICA for the complete modelling of all shape casting process employ cell-centred FV methods. The termo-mechanical coupling is performed in a staggered incremental fashion, which addresses the possible gap formation between the component and the mould, and is ultimately validated against a variety of shape casting benchmarks.