Assessing the scalability of multiphysics tools for modeling solidification and melting processes on parallel clusters

A comprehensive solution of solidification/melting processes requires the simultaneous representation of free surface fluid flow, heat transfer, phase change, nonlinear solid mechanics and, possibly, electromagnetics together with their interactions, in what is now known as multiphysics simulation. Such simulations are computationally intensive and the implementation of solution strategies for multiphysics calculations must embed their effective parallelization. For some years, together with our collaborators, we have been involved in the development of numerical software tools for multiphysics modeling on parallel cluster systems. This research has involved a combination of algorithmic procedures, parallel strategies and tools, plus the design of a computational modeling software environment and its deployment in a range of real world applications. One output from this research is the three-dimensional parallel multiphysics code, PHYSICA. In this paper we report on an assessment of its parallel scalability on a range of increasingly complex models drawn from actual industrial problems, on three contemporary parallel cluster systems.

Case-based retrieval of 3-dimensional shapes for the design of metal castings

This paper describes research into retrieval based on 3-dimensional shapes for use in the metal casting industry. The purpose of the system is to advise a casting engineer on the design aspects of a new casting by reference to similar castings which have been prototyped and tested in the past. The key aspects of the system are the orientation of the shape within the mould, the positions of feeders and chills, and particular advice concerning special problems and solutions, and possible redesign. The main focus of this research is the effectiveness of similarity measures based on 3-dimensional shapes. The approach adopted here is to construct similarity measures based on a graphical representation deriving from a shape decomposition used extensively by experienced casting design engineers. The paper explains the graphical representation and discusses similarity measures based on it. Performance measures for the CBR system are given, and the results for trials of the system are presented. The competence of the current case-base is discussed, with reference to a representation of cases as points in an n-dimensional feature space, and its principal components visualization. A refinement of the case base is performed as a result of the competence analysis and the performance of the case-base before and after refinement is compared.

Use of a coupled mechanical-acoustic computational model to identify failure mechanisms in paper production

In this paper, a couple mechanical-acoustic system of equations is solved to determine the relationship between emitted sound and damage mechanisims in paper under controlled stress conditions. The simple classical expression describing the frequency of a plucked string to its material properties is used to generate a numberical representation of the microscopic structue of the paper, and the resulting numerical model is then used to simulate the vibration of a range of simple fibre structures when undergoing two distinct types of damange mechanisms: (a)fibre/fibre bond failure, (b) fibre failure. The numercial results are analysed to determine whether there is any detectable systematic difference between the resulting acoustic emissions of the two damage processes. Fourier techniques are then used to compare th computeed results against experimental measurements. Distinct frequency components identifying each type of damage are shown to exist, and in this respect theory and experiments show good correspondece. Hence, it is shown, that althrough the mathematical model represents a grossly-simplified view of the complex structure of the paper, it nevertheless provides a good understanding of the underlying micro-mechanisms characterising its proeperties as a stress-resisting structure. Use of the model and acoompanying software will enable operators to identify approaching failure conditions in the continuous production of paper from emitted sound signals and take preventative action.

A computational study of segregation in granular material during heaping

A continuum model of the flow of granular material during silo filling using a viscoplastic constitutive relation is presented in this paper. The constitutive model is based on the Drucker-Prager plasticity yield function. The simulation results give a realistic representation of complex features of granular flows during filling processes, such as heap formation and non-zero inclination angle of the material-air interface. The model is also coupled within the same framework with novel micro-mechanical parametrisations and the process of segregation during filling of granular mixtures can also be modelled.

Computational modeling of mold filling and related free-surface flows in shape casting: an overview of the challenges involved

Accurate representation of the coupled effects between turbulent fluid flow with a free surface, heat transfer, solidification, and mold deformation has been shown to be necessary for the realistic prediction of several defects in castings and also for determining the final crystalline structure. A core component of the computational modeling of casting processes involves mold filling, which is the most computationally intensive aspect of casting simulation at the continuum level. Considering the complex geometries involved in shape casting, the evolution of the free surface, gas entrapment, and the entrainment of oxide layers into the casting make this a very challenging task in every respect. Despite well over 30 years of effort in developing algorithms, this is by no means a closed subject. In this article, we will review the full range of computational methods used, from unstructured finite-element (FE) and finite-volume (FV) methods through fully structured and block-structured approaches utilizing the cut-cell family of techniques to capture the geometric complexity inherent in shape casting. This discussion will include the challenges of generating rapid solutions on high-performance parallel cluster technology and how mold filling links in with the full spectrum of physics involved in shape casting. Finally, some indications as to novel techniques emerging now that can address genuinely arbitrarily complex geometries are briefly outlined and their advantages and disadvantages are discussed.

Measuring similarity of software designs using graph matching for CBR

This paper examines different ways of measuring similarity between software design models for Case Based Reasoning (CBR) to facilitate reuse of software design and code. The paper considers structural and behavioural aspects of similarity between software design models. Similarity metrics for comparing static class structures are defined and discussed. A Graph representation of UML class diagrams and corresponding similarity measures for UML class diagrams are defined. A full search graph matching algorithm for measuring structural similarity diagrams based on the identification of the Maximum Common Sub-graph (MCS) is presented. Finally, a simple evaluation of the approach is presented and discussed.

Spaces of observation and obscurity: cinematic prisons of light and dark

In The Eye of Power, Foucault delineated the key concerns surrounding hospital architecture in the latter half of the eighteenth century as being the ‘visibility of bodies, individuals and things'. As such, the ‘new form of hospital' that came to be developed ‘was at once the effect and support of a new type of gaze'. This was a gaze that was not simply concerned with ways of minimising overcrowding or cross-contamination. Rather, this was a surveillance intended to produce knowledge about the pathological bodies contained within the hospital walls. This would then allow for their appropriate classification. Foucault went on to describe how these principles came to be applied to the architecture of prisons. This was exemplified for him in the distinct shape of Bentham's panopticon. This circular design, which has subsequently become an often misused synonym for a contemporary culture of surveillance, was premised on a binary of the seen and the not-seen. An individual observer could stand at the central point of the circle and observe the cells (and their occupants) on the perimeter whilst themselves remaining unseen. The panopticon in its purest form was never constructed, yet it conveys the significance of the production of knowledge through observation that became central to institutional design at this time and modern thought more broadly. What is curious though is that whilst the aim of those late eighteenth century buildings was to produce wellventilated spaces suffused with light, this provoked an interest in its opposite. The gothic movement in literature that was developing in parallel conversely took a ‘fantasy world of stone walls, darkness, hideouts and dungeons…' as its landscape (Vidler, 1992: 162). Curiously, despite these modern developments in prison design, the façade took on these characteristics. The gothic imagination came to describe that unseen world that lay behind the outer wall. This is what Evans refers to as an architectural ‘hoax'. The façade was taken to represent the world within the prison walls and it was the façade that came to inform the popular imagination about what occurred behind it. The rational, modern principles ordering the prison became conflated with the meanings projected by and onto the façade. This confusion of meanings have then been repeated and reenforced in the subsequent representations of the prison. This is of paramount importance since it is the cinematic and televisual representation of the prison, as I argue here and elsewhere, that maintain this erroneous set of meanings, this ‘hoax'.

Projecting the prison: the depiction of the uncanny in The Shawshank Redemption

The space of the prison is no longer on the margins in relation to societal `centres', but instead acts as an adjunct to the urban environment. With the disappearance of the Gothic prison from the archi-texture of contemporary cities, the meaning conveyed by its façade has lost much of its potency. It is now contemporary prison drama, as opposed to the physical façade, that represents the interface between the public and the prison. This article explores a dramatic representation of the prison (The Shawshank Redemption) through the lens of Freud's (1919/1955) notion of the uncanny and Bachelard's (1958/1994) poetics of domestic space. Incarceration, as depicted in film and television, reinforces the `place myths' of the prison (Shields, 1991). Contemporary prison drama portrays the prison as a marginal space in much the way that the Gothic façades of the 19th-century prison projected a particular message. The prison, as depicted on screen, is a simulacrum. It is a facsimile of an architectural idea that only ever existed as a façade - a façade that occluded as much as it projected.

The completeness and soundness of temporal theories

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Representations of multicultural identities in British Cinema

This paper explores the transnational and interstitial dimensions of cultural production in Britain today, and the representation of migrant and diasporic identities in contemporary mainstream British cinema. The box office success of films like Gurindha Chadha’s Bhaji on the Beach (1993) and Bend it Like Beckham (2002) and East is East (Daniel O’Donnell 1999) and their precursors My Beautiful Launderette (Stephen Frears 1985), Sammy and Rosie Get Laid (Stephen Frears 1987) and the TV mini-series Buddha of Suburbia (Roger Mitchell 1993) seem to celebrate and articulate a set of values around hybridity and alterity: a discourse of multiculturalism. This paper will engage with a series of key questions. Are there ideological values implicit within and common to all these texts? Can we map a rhetoric or discourse of multiculturalism within popular culture? Do mainstream representations of immigrant identities represent a discourse of resistance, a decolonising global culture or is this Western brand of multiculturalism still located within an Orientalising gaze? In what ways are multiculturalism and postcolonialism overlapping and yet opposing rhetorics? [From the Author]

Development of an in-situ, non-destructive ultrasonic monitoring technique for solder pastes

This paper concerns the use of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste and specifically, the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of paste materials at the molecular level. Ultrasonic techniques are a widely used and a reliable form of non-destructive testing of materials. This is because techniques such as ultrasounds while used for testing or monitoring material properties, has offered immense benefits in applications where access to the sample is restricted or when handling the sample for testing could interfere with the monitoring or analysis process. Very often, this would mean that the measurements taken are not a true representation of the behaviour of the material (due to externally incorporated changes into the material's physical state during the removal or testing process). Ultrasonic based techniques are being increasingly used for quality control and production monitoring functions which requires evaluation of the changes in material properties over wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough, and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capacity to take rapid measurements in systems which are optically opaque. The viscometer and rheometer are two of the most widely used rheological instruments used in industry for monitoring the quality of solder pastes, during the production and packaging stage. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. It is for these reasons that materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers) are keen to see the development of simple, easy to use and accurate techniques for the theological characterisation of solder pastes. The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.

Habitat and distribution of the warm-water barnacle Solidobalanus fallax (Crustacea: Cirripedia)

New records are given of the occurrence of the warm-water barnacle Solidobalanus fallax in Britain and Europe. This barnacle is not found on rocks or stones, but settles on biological substrata, including algae, cnidarians, bivalves, gastropods and crustaceans. It also settles on plastic bags and nets, plastic-coated objects such as crab and lobster pots and octopus pots made of ceramic or plastic. With one exception the species was unrecorded in Europe before 1980; it may have increased in abundance during recent years as a result of rising temperatures. The cyprid larvae, which can metamorphose on plastic Petri dishes, appear to be adapted to seek out ‘low energy’ surfaces. One of the habitats colonized by S. fallax is the sea-fan Eunicella verrucosa, where it seems to have increased in recent years, possibly to the detriment of the cnidarian host. Solidobalanus fallax has the potential to be a serious pest of fish-farming structures to the south of Britain

Ecohydrodynamics of cold-water coral reefs: A case study of the Mingulay Reef complex (western Scotland)

Ecohydrodynamics investigates the hydrodynamic constraints on ecosystems across different temporal and spatial scales. Ecohydrodynamics play a pivotal role in the structure and functioning of marine ecosystems, however the lack of integrated complex flow models for deep-water ecosystems beyond the coastal zone prevents further synthesis in these settings. We present a hydrodynamic model for one of Earth's most biologically diverse deep-water ecosystems, cold-water coral reefs. The Mingulay Reef Complex (western Scotland) is an inshore seascape of cold-water coral reefs formed by the scleractinian coral Lophelia pertusa. We applied single-image edge detection and composite front maps using satellite remote sensing, to detect oceanographic fronts and peaks of chlorophyll a values that likely affect food supply to corals and other suspension-feeding fauna. We also present a high resolution 3D ocean model to incorporate salient aspects of the regional and local oceanography. Model validation using in situ current speed, direction and sea elevation data confirmed the model's realistic representation of spatial and temporal aspects of circulation at the reef complex including a tidally driven current regime, eddies, and downwelling phenomena. This novel combination of 3D hydrodynamic modelling and remote sensing in deep-water ecosystems improves our understanding of the temporal and spatial scales of ecological processes occurring in marine systems. The modelled information has been integrated into a 3D GIS, providing a user interface for visualization and interrogation of results that allows wider ecological application of the model and that can provide valuable input for marine biodiversity and conservation applications.

Modelling the Influence of Major Baltic Inflows on Near-Bottom Conditions at the Entrance of the Gulf of Finland

A coupled hydrodynamic-biogeochemical model was implemented in order to estimate the effects of Major Baltic Inflows on the near-bottom hydrophysical and biogeochemical conditions in the northern Baltic Proper and the western Gulf of Finland during the period 1991�2009. We compared results of a realistic reference run to the results of an experimental run where Major Baltic Inflows were suppressed. Further to the expected overall decrease in bottom salinity, this modelling experiment confirms that in the absence of strong saltwater inflows the deep areas of the Baltic Proper would become more anoxic, while in the shallower areas (western Gulf of Finland) near-bottom average conditions improve. Our experiment revealed that typical estuarine circulation results in the sporadic emergence of short-lasting events of near-bottom anoxia in the western Gulf of Finland due to transport of water masses from the Baltic Proper. Extrapolating our results beyond the modelled period, we speculate that the further deepening of the halocline in the Baltic Proper is likely to prevent inflows of anoxic water to the Gulf of Finland and in the longer term would lead to improvement in near-bottom conditions in the Baltic Proper. Our results reaffirm the importance of accurate representation of salinity dynamics in coupled Baltic Sea models serving as a basis for credible hindcast and future projection simulations of biogeochemical conditions.

The assessment of a global marine ecosystem model on the basis of emergent properties and ecosystem function: a case study with ERSEM

Ecosystem models are often assessed using quantitative metrics of absolute ecosystem state, but these model-data comparisons are disproportionately vulnerable to discrepancies in the location of important circulation features. An alternative method is to demonstrate the models capacity to represent ecosystem function; the emergence of a coherent natural relationship in a simulation indicates that the model may have an appropriate representation of the ecosystem functions that lead to the emergent relationship. Furthermore, as emergent properties are large-scale properties of the system, model validation with emergent properties is possible even when there is very little or no appropriate data for the region under study, or when the hydrodynamic component of the model differs significantly from that observed in nature at the same location and time. A selection of published meta-analyses are used to establish the validity of a complex marine ecosystem model and to demonstrate the power of validation with emergent properties. These relationships include the phytoplankton community structure, the ratio of carbon to chlorophyll in phytoplankton and particulate organic matter, the ratio of particulate organic carbon to particulate organic nitrogen and the stoichiometric balance of the ecosystem. These metrics can also inform aspects of the marine ecosystem model not available from traditional quantitative and qualitative methods. For instance, these emergent properties can be used to validate the design decisions of the model, such as the range of phytoplankton functional types and their behaviour, the stoichiometric flexibility with regards to each nutrient, and the choice of fixed or variable carbon to nitrogen ratios.