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).     

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.

Institutional factors affecting fish passage in the Columbia River Treaty renegotiation

ABSTRACT

The United States and Canada have begun renegotiating the Columbia River Treaty, which is an international model for transboundary water governance. This paper identifies six institutional factors that will affect negotiations pertaining to fish passage during the renegotiation of the treaty: geographical advantage, issue linkage, a basin commission, the duration of agreements, negotiating autonomy and side payments. These factors and the methods used to determine them can be applied to other transboundary river basins where basin states have a history of transboundary resource governance. This analysis also serves as a policy-relevant resource for Columbia River Treaty negotiators and stakeholders.     

A pilot survey of 39 Victorian WWTP effluents using a high speed luminescent umu test in conjunction with a novel GC-MS-database technique for automatic identification of micropollutants

In 2007, samples of treated effluent were collected at point of discharge to the environment from 39 wastewater treatment plants (WWTPs) located across Victoria, Australia grouped by treatment type. Sample genotoxicity was assessed with a high-throughput luminescent umu test method using Salmonella typhimurium TL210 strain, with and without addition of a commercially available metabolic activation system. Samples were also screened using a gas chromatographic-mass spectrometric mass-structure database recognition method. A genotoxic response was observed in half of the samples tested without metabolic activation system (相似文献