Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.

Using the Amazon metric to construct an image database based on what people do, not what they say

Current image database metadata schemas require users to adopt a specific text-based vocabulary. Text-based metadata is good for searching but not for browsing. Existing image-based search facilities, on the other hand, are highly specialised and so suffer similar problems. Wexelblat's semantic dimensional spatial visualisation schemas go some way towards addressing this problem by making both searching and browsing more accessible to the user in a single interface. But the question of how and what initial metadata to enter a database remains. Different people see different things in an image and will organise a collection in equally diverse ways. However, we can find some similarity across groups of users regardless of their reasoning. For example, a search on Amazon.com returns other products also, based on an averaging of how users navigate the database. In this paper, we report on applying this concept to a set of images for which we have visualised them using traditional methods and the Amazon.com method. We report on the findings of this comparative investigation in a case study setting involving a group of randomly selected participants. We conclude with the recommendation that in combination, the traditional and averaging methods would provide an enhancement to current database visualisation, searching, and browsing facilities.

A windows program for the derivation of steady-state equations in enzyme systems

Despite the number of computer-assisted methods described for the derivation of steady-state equations of enzyme systems, most of them are focused on strict steady-state conditions or are not able to solve complex reaction mechanisms. Moreover, many of them are based on computer programs that are either not readily available or have limitations. We present here a computer program called WinStes, which derives equations for both strict steady-state systems and those with the assumption of rapid equilibrium, for branched or unbranched mechanisms, containing both reversible and irreversible conversion steps. It solves reaction mechanisms involving up to 255 enzyme species, connected by up to 255 conversion steps. The program provides all the advantages of the Windows programs, such as a user-friendly graphical interface, and has a short computation time. WinStes is available free of charge on request from the authors. (c) 2006 Elsevier Inc. All rights reserved.

Reflective web interface agent

Web interface agent is used with web browsers to assist users in searching and interactions with the WWW. It is used for a variety of purposes, such as web-enabled remote control, web interactive visualization, and e-commerce activities. User may be aware or unaware of its existence. The intelligence of interface agent consists in its capability of learning and decision-making in performing interactive functions on behalf of a user. However, since web is an open system environment, the reasoning mechanism in an agent should be able to adapt changes and make decisions on exceptional situations, and therefore use meta knowledge. This paper proposes a framework of Reflective Web Interface Agent (RWIA) that is to provide causal connections between the application interfaces and the knowledge model of the interface agent. A prototype is also implemented for the purpose of demonstration.

User guide for shock and blast simulation with the OctVCE code (version 3.5+), Department of Mechanical Engineering Report 2007/13

OctVCE is a cartesian cell CFD code produced especially for numerical simulations of shock and blast wave interactions with complex geometries. Virtual Cell Embedding (VCE) was chosen as its cartesian cell kernel as it is simple to code and sufficient for practical engineering design problems. This also makes the code much more ‘user-friendly’ than structured grid approaches as the gridding process is done automatically. The CFD methodology relies on a finite-volume formulation of the unsteady Euler equations and is solved using a standard explicit Godonov (MUSCL) scheme. Both octree-based adaptive mesh refinement and shared-memory parallel processing capability have also been incorporated. For further details on the theory behind the code, see the companion report 2007/12.

When oceans meet: a teleost shows secondary intergradation at an Indian-Pacific interface

The Indo-West Pacific is characterized by extraordinary marine species diversity. The evolutionary mechanisms responsible for generating this diversity remain puzzling, but are often linked to Pleistocene sea level fluctuations. The impact of these sea level changes on the population genetic architecture of the estuarine fish Lates calcarifer are investigated via a natural experiment in a region of the Indo-West Pacific known to have undergone considerable change during the Pleistocene. L. calcarifer, a coastline-restricted catadromous teleost, provides an excellent model for studying the effects of sea level change as its habitat requirements potentially make it sensitive to the region's physical history. Evidence was found for a large phylogenetic break (4% mtDNA control region; 0.47% ATPase 6 and 8) either side of the Torres Strait, which separates the Western Pacific and Indian Oceans, although some mixing of the clades was evident. This suggests clinal secondary introgression of the clades via contemporary gene flow. Further, populations on Australia's east coast appear to have passed through a bottleneck. This was linked to the historical drying of the Great Barrier Reef coastal lagoon, which resulted in a significant loss of habitat and forced retreat into isolated refugia. These results suggest that historical eustatic changes have left a significant imprint on the molecular diversity within marine species as well as among them in the Indo-West Pacific.

Observation of a cubic phase in mesoporous silicate films grown at the air/water interface

X-Ray diffraction is reported from mesoporous silicate films grown at the air/water interface. The films were studied both as powdered films, and oriented on silicon or mica sheets. At early stages of growth we observe Bragg diffraction from a highly ordered cubic phase, with both long and short d-spacing peaks. We have assigned this as a discontinuous micellar Pm3n phase in which the silica is partly ordered. Later films retain only the known hexagonal p6m peaks and have lost any order both at short d-spacings and the longer d-spacing Bragg peaks characteristic of the cubic structure. The silica framework is considerably expanded from that in bulk amorphous silica, average Si Si distances are some 30% greater. Incorporation of glycerol or polyethylene glycol preserves the earlier cubic structure. To be consistent with earlier, in situ, X-ray and neutron reflectivity data we infer that both structures are produced after a phase transition from a less-ordered him structure late in the induction phase. The structural relations between the film Pm3n and p6m phase(s) and the known bulk SBA-1 and MCM-41 phases are briefly discussed.

Synthesis of silica films at the air/water interface: Effect of template chain length and ionic strength

We have grown surfactant-templated silicate films at the air-water interface using n-alkyltrimethylammonium bromide and chloride in an acid synthesis with tetraethyl orthosilicate as the silicate source. The films have been grown with and without added salt (sodium chloride, sodium bromide) and with n-alkyl chain lengths from 12 to 18, the growth process being monitored by X-ray reflectometry. Glassy, hexagonal, and lamellar structures have been produced in ways that are predictable from the pure surfactant-water phase diagrams. The synthesis appears to proceed initially through an induction period characterized by the accumulation of silica-coated spherical micelles near the surface. All syntheses, except those involving C(12)TACl, show a sudden transformation of the spherical micellar phase to a hexagonal phase. This occurs when the gradually increasing ionic strength and/or changing ethanol concentration is sufficient to change the position of boundaries within the phase diagram. A possible mechanism for this to occur may be to induce a sphere to rod transition in the micellar structure. This transformation, as predicted from the surfactant-water phase diagram, can be induced by addition of salts and is slower for chloride than bromide counteranions. The hexagonal materials change in cell dimension as the chain length is changed in a way consistent with theoretical model predictions. All the materials have sufficiently flexible silica frameworks that phase interconversion is observed both from glassy to hexagonal and from hexagonal, to lamellar and vice versa in those surfactant systems where multiple phases are found to exist.

Effect of removing user fees on attendance for curative and preventive primary health care services in rural South Africa

User fees are used to recover costs and discourage unnecessary attendance at primary care clinics in many developing countries. In South Africa, user fees for children aged under 6 yea rs and pregnant women were removed in 1994, and in 1997 all user fees at all primary health care clinics were abolished. The intention of these policy changes was to improve access to health services for previously disadvantaged communities. We investigated the impact of these changes on clinic attendance patterns in Hlabisa health district. Average quarterly new registrations and total attendances for preventive services (antenatal care, immunization, growth monitoring) and curative services (treatment of ailments) at a mobile primary health care unit were studied from 1992 to 1998. Regression analysis was undertaken to assess whether trends were statistically significant. There was a sustained increase in new registrations (P = 0.0001) and total attendances (P = 0.0001)for curative services, and a fall in new registrations (P = 0.01) and total attendances for immunization and growth monitoring (P = 0.0002) over the study period. The upturn in demand for curative services started at the time of the first policy change. The decreases in antenatal registrations (P = 0.07) and attendances (P = 0.09) were not statistically significant The number of new registrations for immunization and growth monitoring increased following the first policy change but declined thereafter. We found no evidence that the second policy change influenced underlying trends. The removal of user fees improved access to curative services but this may have happened at the expense of some preventive services. Governments should remain vigilant about the effects of new health policies in order to ensure that objectives are being met.

Structure development in octadecyl trimethylammonium templated silicate films grown at the air/water interface

The mechanism of growth of silicate films at the air/liquid interface has been investigated in situ by a series of grazing incidence diffraction experiments using a 20 x 25 cm(2) imaging plate as the detector. C(18)TAX (X = Br- or Cl-) has been used as the film templating surfactant. The formation of a layered phase, prior to growth of the hexagonal mesophase in C(18)TABr templated films. has been seen. This layered structure has a significantly shorter d spacing compared to the final hexagonal film (43 versus 48 Angstrom, respectively). The correlation lengths associated with the development of the hexagonal in-plane diffraction spots are much longer in-plane than perpendicular to the air/liquid interface (300 Angstrom versus 50 Angstrom). This implies that the film forms via the growth or aggregation of islands that are initially only a micelle or two thick. which then grow down into the solution.

Ecological interface design for pasteurizer II: A process description of semantic mapping

Ecological interface design (EID) is proving to be a promising approach to the design of interfaces for complex dynamic systems. Although the principles of EID and examples of its effective use are widely available, few readily available examples exist of how the individual displays that constitute an ecological interface are developed. This paper presents the semantic mapping process within EID in the context of prior theoretical work in this area. The semantic mapping process that was used in developing an ecological interface for the Pasteurizer II microworld is outlined, and the results of an evaluation of the ecological interface against a more conventional interface are briefly presented. Subjective reports indicate features of the ecological interface that made it particularly valuable for participants. Finally, we outline the steps of an analytic process for using EID. The findings presented here can be applied in the design of ecological interfaces or of configural displays for dynamic processes.

Structural development of silicated films self-assembled at the air-water interface

The development of structure perpendicular to and in the plane of the interface has been studied for mesoporous silicate films self-assembled at the air/water interface. The use of constrained X-ray and neutron specular reflectometry has enabled a detailed study of the structural development perpendicular to the interface during the pre-growth phase. Off-specular neutron reflectometry and grazing incidence X-ray diffraction has enabled the in-plane structure to be probed with excellent time resolution. The growth mechanism under the surfactant to silicate source ratios used in this work is clearly due to the self-assembly of micellar and molecular species at the air/liquid interface, resulting in the formation of a planar mesoporous film that is tens of microns thick. (C) 2003 Elsevier Science B.V. All rights reserved.

On the solute coupling at the moving solid/liquid interface during equiaxed solidification

Integral mass conservation was widely accepted for the solute coupling to solve solute redistribution during equiaxed solidification so far. The present study revealed that the integral form was invalid for moving boundary problems as it could not represent the mass balance at the moving interface. Accordingly, differential mass conservation at the solid/liquid interface was used to solve solute diffusion for spherical geometry. The model was applied for hydrogen diffusion in solidification to validate that the hydrogen enrichment was significant and depended on the growth rate. (c) 2006 American Institute of Physics.