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.

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.

Role of zooplankton dynamics for Southern Ocean phytoplankton biomass and global biogeochemical cycles

Global ocean biogeochemistry models currently employed in climate change projections use highly simplified representations of pelagic food webs. These food webs do not necessarily include critical pathways by which ecosystems interact with ocean biogeochemistry and climate. Here we present a global biogeochemical model which incorporates ecosystem dynamics based on the representation of ten plankton functional types (PFTs); six types of phytoplankton, three types of zooplankton, and heterotrophic bacteria. We improved the representation of zooplankton dynamics in our model through (a) the explicit inclusion of large, slow-growing zooplankton, and (b) the introduction of trophic cascades among the three zooplankton types. We use the model to quantitatively assess the relative roles of iron vs. grazing in determining phytoplankton biomass in the Southern Ocean High Nutrient Low Chlorophyll (HNLC) region during summer. When model simulations do not represent crustacean macrozooplankton grazing, they systematically overestimate Southern Ocean chlorophyll biomass during the summer, even when there was no iron deposition from dust. When model simulations included the developments of the zooplankton component, the simulation of phytoplankton biomass improved and the high chlorophyll summer bias in the Southern Ocean HNLC region largely disappeared. Our model results suggest that the observed low phytoplankton biomass in the Southern Ocean during summer is primarily explained by the dynamics of the Southern Ocean zooplankton community rather than iron limitation. This result has implications for the representation of global biogeochemical cycles in models as zooplankton faecal pellets sink rapidly and partly control the carbon export to the intermediate and deep ocean.

The adaptive value of polyembryony.

From an evolutionary standpoint, the production of offspring is the single most important aspect of an animal's life. Offspring carry an individual's genes into the next generation and it is the differential representation of genes in a population that drives evolutionary change. There are a variety of ways in which animals create offspring, ranging from cases where parents make identical copies of themselves by budding or parthenogenesis, to the standard case in vertebrates where gametes from a male and female fuse in sexual reproduction to produce the next generation. In this article we describe an usual variant of sexual reproduction, polyembryony.

Genealogies of Partition: History, History-Writing and 'The Troubles' in Ireland

Contemporary political disputes have a long history of expression and contestation through the genre of history-writing in Ireland. The role of history writing and political science writing during the nearly 40 years of the so-called 'Troubles' has been no exception to this. Battles between competing versions of what the conflict 'is about', mediated through academic and popular texts have themselves in turn become constitutive of it. This builds upon centuries of the representation of the complicated politics of this island as 'an issue' in British domestic politics - first 'the Catholic question', then 'the Irish question'. The location of political power outside the island for centuries has created successive battles for the representation of sectional interests in a metropolitan centre. The skills of propaganda, history writing, newspaper writing have consequently been deployed at a remarkable level of skill and intensity. In the recent period one of the consequences of this has been the removal from the debate of the actuality of partition; this builds upon a particular historical representation of partition as an historical inevitability. To seek to restore partition to the debate is not to call for its undoing but to recognise that seeking to circumvent debates about its origins in the key period of democratisation in Irish politics (1880-1920) has been counter-productive. This essay examines the genealogies of partition in Irish and international contexts in the light of these battles for representation, and aims to return a lost dimension to the debate about the so-called 'Troubles'in Ireland. The genealogy of partition is the issue that has been marginalised in academic study and this has affected both policy and politics.

Positronium scattering by atomic hydrogen with inclusion of target excitation channels

Calculations are reported for positronium (Ps) scattering by atomic hydrogen (H) in the energy range 0-6.5 eV in a coupled- pseudostate approximation in which excitation and ionization channels of both the Ps and the H are taken into account. The approximation contains an accurate representation of the van der Waals coefficient. Results are presented for phase shifts, scattering lengths, effective ranges, and various cross sections including partial wave, total, and ortho-para conversion cross sections. An analysis of the possible spin transitions is provided and the energy of the positronium hydride (PsH) bound state is determined. Substantial differences are found from earlier work within the frozen target approximation, now clearly confirming the importance of target excitation channels. Good agreement is obtained with recent calculations of S-wave phase shifts and scattering lengths using the stabilization method. Convergence to the exact binding energy for PsH appears to be slow. Resonances corresponding to unstable states of the positron orbiting H- are seen in the electronic spin singlet partial waves. The importance of the H- formation channel is discussed.

Quantitative Analysis of Adsorbate Concentrations by Diffuse Reflectance FT-IR

Fully quantitative analyses of DRIFTS data are required when the surface concentrations and the specific rate constants of reaction (or desorption) of adsorbates are needed to validate microkinetic models. The relationship between the surface coverage of adsorbates and various functions derived from the signal collected by DRIFTS is discussed here. The Kubelka-Munk and pseudoabsorbance (noted here as absorbance, for the sake of brevity) transformations were considered, since those are the most commonly used functions when data collected by DRIFTS are reported. Theoretical calculations and experimental evidence based on the study of CO adsorption on Pt/SiO2 and formate species adsorbed on Pt/CeO2 showed that the absorbance (i.e., ) log 1/R������¢, with R������¢ ) relative reflectance) is the most appropriate, yet imperfect, function to give a linear representation of the adsorbate surface concentration in the examples treated here, for which the relative reflectance R������¢ is typically > 60%. When the adsorbates lead to a strong signal absorption (e.g., R������¢ < 60%), the Kubelka-Munk function is actually more appropriate. The absorbance allows a simple correction of baseline drifts, which often occur during time-resolved data collection over catalytic materials. Baseline corrections are markedly more complex in the case of the other mathematical transforms, including the function proposed by Matyshak and Krylov (Catal. Today 1995, 25, 1-87), which has been proposed as an appropriate representation of surface concentrations in DRIFTS spectroscopy.

Coupled consolidation of a solid, infinite cylinder using a Terzaghi formulation

Axisymmetric consolidation is a classical boundary value problem for geotechnical engineers. Under some circumstances an analysis in which the changes in pore pressure, effective stress and displacement can be uncoupled from each other is sufficient, leading to a Terzaghi formulation of the axisymmetric consolidation equation in terms of the pore pressure. However, representation of the Mandel-Cryer effect usually requires more complex, coupled, Biot formulations. A new coupled formulation for the plane strain, axisymmetric consolidation problem is presented for small, linear elastic deformations. A single, easily evaluated parameter couples changes in pore pressure to changes in effective stress, and the resulting differential equation for pore pressure dissipation is very similar to Terzaghi’s classic formulation. The governing equations are then solved using finite differences and the consolidation of a solid infinite cylinder analysed, calculating the variation with time and with radius of the excess pore pressure and the radial displacement. Comparison with a previously published semi-analytical solution indicates that the formulation successfully embodies the Mandel-Cryer effect.