Salt-water up-coning during extraction of fresh water from a tropical island

Rainwater can collect in a lens-shaped region within the rock of a tropical island, and may be separated from the underlying salt water by a sharp interface. This paper presents a nonlinear theory for determining the shape of this interface. The island is assumed to be saturated with rain, and provision is made for the outflow of rain-water through the sides of the island. The effect of a bore well on the shape of the interface is investigated, and the problem is solved using a spectral method. An integral-equation method is also presented for the case when the island has infinite width.     

A novel method for determination of polyester end-groups by NMR spectroscopy

An efficient, convenient and quantitative method for characterising polyester end-groups is described. We have found that trichloroacetyl isocyanate (TAI) reacts rapidly and quantitatively with both carboxyl [C(O)OH] and hydroxyl (OH) chain ends to form derivatives that can be readily determined by ¹H NMR spectroscopy. The TAI capped end-groups give rise to characteristic imidic NH resonances in a normally clear region of the ¹H NMR spectrum [δ∼10-11.5 for C(O)-O-C(O)-NH-C(O)CCl₃ from C(O)OH, δ∼8-9 for O-C(O)-NH-C(O)CCl₃ from OH]. The method has been successfully applied to quantitative determination of the end-groups of a wide variety of oligomeric polyesters. It has also been applied to higher molecular weight polyesters including commercial, bottle grade, poly(ethylene terephthalate) (PET) and PET based copolyesters (e.g. PETG).     

Flow due to a sink near a vertical wall, in infinitely deep fluid

Flow caused by a point sink in an otherwise stagnant fluid is studied using numerical methods based on integral-equation techniques and an asymptotic solution for small Froude number. There is a vertical wall present on a plane close to the sink, so that the flow is fully three dimensional. The fluid is of infinite depth, but a free-surface bounds it above. Steady solutions are presented for various Froude numbers and distances of the source from the wall. It is shown that the numerical results and asymptotic formula are in good agreement for small Froude numbers, but the results suggest that the non-linear solution ultimately forms some limiting structure at sufficiently large Froude number.     

Ecosystem Service Impacts of Urban Water Supply and Demand Management

Utilities face the challenge of enhancing long-term water security while minimising undesirable economic, social and environmental impacts of supply and demand management options. This paper provides an example of how the ecosystem services concept can be used to enumerate and organise broad impacts of water supply options. A case study of Adelaide, South Australia, is used to examine costs and benefits associated with different sources of water and source-water mix scenarios. Ecosystem service impacts are estimated using estimates from the literature. Seven water supply and demand management options are considered for Adelaide: 1) the River Murray, 2) Mt. Lofty Ranges catchments, 3) wastewater reuse, 4) desalination, 5) stormwater harvesting, 6) groundwater and 7) water conservation. The largest costs are associated with sourcing water from conservation measures such as water restrictions on outdoor watering estimated at $1.87/kL. Salinity damage costs associated with residential uses are estimated at up to $1.54/kL. Salinity damage costs of wastewater reuse were estimated at $1.16/kL. The largest benefit is coastal amenity services associated with stormwater harvesting and treatment estimated at $1.03/kL. Results show that there is a trade-off between financial costs and ecosystem services impacts with source-water mix scenarios with the highest ecosystem services cost having the lowest financial O&M cost and vice versa. This highlights the importance of taking ecosystem services into account when evaluating water supply options.     

Interactional Order and Constructed Ways of Seeing with Touchless Imaging Systems in Surgery

While surgical practices are increasingly reliant on a range of digital imaging technologies, the ability for clinicians to interact and manipulate these digital representations in the operating theatre using traditional touch based interaction devices is constrained by the need to maintain sterility. To overcome these concerns with sterility, a number of researchers are have been developing ways of enabling interaction in the operating theatre using touchless interaction techniques such as gesture and voice to allow clinicians control of the systems. While there have been important technical strides in the area, there has been little in the way of understanding the use of these touchless systems in practice. With this in mind we present a touchless system developed for use during vascular surgery. We deployed the system in the endovascular suite of a large hospital for use in the context of real procedures. We present findings from a study of the system in use focusing on how, with touchless interaction, the visual resources were embedded and made meaningful in the collaborative practices of surgery. In particular we discuss the importance of direct and dynamic control of the images by the clinicians in the context of talk and in the context of other artefact use as well as the work performed by members of the clinical team to make themselves sensable by the system. We discuss the broader implications of these findings for how we think about the design, evaluation and use of these systems.     

Absolute rate constants for radical-monomer reactions

Summary A method is described for determining the absolute rate constants for the first few propagation steps in radical polymerization. The procedure involves a product analysis of the oligomeric alkoxyamines formed when an initiator is decomposed in monomer containing a very low concentration of a nitroxide radical scavenger. The method is illustrated with analysis of data for methyl acrylate. The rate constants for the first two propagation steps for polymerization of this monomer,k _p(1) andk _p(2), are at least an order of magnitude greater thank _p(average). Values of the absolute rate constants for reactions of phenyl and primary alkyl radicals with methyl acrylate are also estimated.     

Model checking action system refinements

Action systems provide a formal approach to modelling parallel and reactive systems. They have a well established theory of refinement supported by simulation-based proof rules. This paper introduces an automatic approach for verifying action system refinements utilising standard CTL model checking. To do this, we encode each of the simulation conditions as a simulation machine, a Kripke structure on which the proof obligation can be discharged by checking that an associated CTL property holds. This procedure transforms each simulation condition into a model checking problem. Each simulation condition can then be model checked in isolation, or, if desired, together with the other simulation conditions by combining the simulation machines and the CTL properties.     

Application of partial mutual information variable selection to ANN forecasting of water quality in water distribution systems

Recent trends in the management of water supply have increased the need for modelling techniques that can provide reliable, efficient, and accurate representation of the complex, non-linear dynamics of water quality within water distribution systems. Statistical models based on artificial neural networks (ANNs) have been found to be highly suited to this application, and offer distinct advantages over more conventional modelling techniques. However, many practitioners utilise somewhat heuristic or ad hoc methods for input variable selection (IVS) during ANN development.This paper describes the application of a newly proposed non-linear IVS algorithm to the development of ANN models to forecast water quality within two water distribution systems. The intention is to reduce the need for arbitrary judgement and extensive trial-and-error during model development. The algorithm utilises the concept of partial mutual information (PMI) to select inputs based on the analysis of relationship strength between inputs and outputs, and between redundant inputs. In comparison with an existing approach, the ANN models developed using the IVS algorithm are found to provide optimal prediction with significantly greater parsimony. Furthermore, the results obtained from the IVS procedure are useful for developing additional insight into the important relationships that exist between water distribution system variables.     

Some Empirical Criteria for Attributing Creativity to a Computer Program

Over recent decades there has been a growing interest in the question of whether computer programs are capable of genuinely creative activity. Although this notion can be explored as a purely philosophical debate, an alternative perspective is to consider what aspects of the behaviour of a program might be noted or measured in order to arrive at an empirically supported judgement that creativity has occurred. We sketch out, in general abstract terms, what goes on when a potentially creative program is constructed and run, and list some of the relationships (for example, between input and output) which might contribute to a decision about creativity. Specifically, we list a number of criteria which might indicate interesting properties of a program’s behaviour, from the perspective of possible creativity. We go on to review some ways in which these criteria have been applied to actual implementations, and some possible improvements to this way of assessing creativity.