Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Simulating reinforced concrete members. Part 1: partial interaction properties

Reinforced concrete members are extremely complex under loading because of localised deformations in the concrete (cracks, sliding planes) and between the reinforcement and concrete (slip). An ideal model for simulating behaviour of reinforced concrete members should incorporate both global behaviour and the localised behaviours that are seen and measured in practice; these localised behaviours directly affect the global behaviour. Most commonly used models do not directly simulate these localised behaviours that can be seen or measured in real members; instead, they overcome these limitations by using empirically or semi-empirically derived strain-based pseudo properties such as the use of effective flexural rigidities for deflection; plastic hinge lengths for strength and ductility; and energy-based approaches for both concrete softening in compression and concrete softening after tensile cracking to allow for tension stiffening. Most reinforced concrete member experimental testing is associated with deriving these pseudo properties for use in design and analysis, and this component of development is thus costly. The aim of the present research is to reduce this cost substantially. In this paper, localised material behaviours and the mechanisms they induce are described. Their incorporation into reinforced concrete member behaviour without the need for empirically derived pseudo properties is described in a companion paper.

Towards hierarchical management of autonomic components: a case study

We address the issue of autonomic management in hierarchical component-based distributed systems. The long term aim is to provide a modelling framework for autonomic management in which QoS goals can be defined, plans for system adaptation described and proofs of achievement of goals by (sequences of) adaptations furnished. Here we present an early step on this path. We restrict our focus to skeleton-based systems in order to exploit their well-defined structure. The autonomic cycle is described using the Orc system orchestration language while the plans are presented as structural modifications together with associated costs and benefits. A case study is presented to illustrate the interaction of managers to maintain QoS goals for throughput under varying conditions of resource availability.

Rehydroxylation Dating: Assessment for Archaeological Application

Investigations are carried out into the mass gain behaviour of fired clay ceramics following drying (130°C) and reheating (500°C), and the application of these mass gain properties to the dating of archaeological ceramics using a modified rehydroxylation dating (RHX) methodology, a component based approach. Gravimetric analysis is conducted using a temperature and humidity controlled glove box arrangement (featuring a top-loading balance) on eighteen samples of varied known ages and contexts; this occurs following transfer from environmentally controlled chambers where subsamples of these samples are aged at three temperatures (25°C, 35°C, 45°C) following drying and reheating. The sample set consists principally of post-medieval bricks, but also includes some post-medieval pottery as well as both Etruscan and Roman ceramics. A suite of techniques are applied to characterise these ceramics, including XRD, FTIR, p-XRF, thin-section petrography, BET analysis, TG-MS and permeametry.

Development of a Java-based Unified and Flexible Natural Language Discourse System

This paper outlines the design and development of a Java-based, unified and flexible natural language dialogue system that enables users to interact using natural language, e.g. speech. A number of software development issues are considered with the aim of designing an architecture that enables different discourse components to be readily and flexibly combined in a manner that permits information to be easily shared. Use of XML schemas assists this component interaction. The paper describes how a range of Java language features were employed to support the development of the architecture, providing an illustration of how a modern programming language makes tractable the development of a complex dialogue system.