Variants of temporal defeasible logics for modelling norm modifications

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.

Embedded Voxel Colouring

The reconstruction of a complex scene from multiple images is a fundamental problem in the field of computer vision. Volumetric methods have proven to be a strong alternative to traditional correspondence-based methods due to their flexible visibility models. In this paper we analyse existing methods for volumetric reconstruction and identify three key properties of voxel colouring algorithms: a water-tight surface model, a monotonic carving order, and causality. We present a new Voxel Colouring algorithm which embeds all reconstructions of a scene into a single output. While modelling exact visibility for arbitrary camera locations, Embedded Voxel Colouring removes the need for a priori threshold selection present in previous work. An efficient implementation is given along with results demonstrating the advantages of posteriori threshold selection.

Air Bubble Entrainment in Hydraulic Jumps: Physical Modelling and Scale Effects

A hydraulic jump is characterised by strong energy dissipation and air entrainment. In the present study, new air-water flow measurements were performed in hydraulic jumps with partially-developed flow conditions in relatively large-size facilities with phase-detection probes. The experiments were conducted with identical Froude numbers, but a range of Reynolds numbers and relative channel widths. The results showed drastic scale effects at small Reynolds numbers in terms of void fraction and bubble count rate distributions. The void fraction distributions implied comparatively greater detrainment at low Reynolds numbers leading to a lesser overall aeration of the jump roller, while dimensionless bubble count rates were drastically lower especially in the mixing layer. The experimental results suggested also that the relative channel width had little effect on the air-water flow properties for identical inflow Froude and Reynolds numbers.

Dynamic Similarity and Scale Effects Affecting Air Bubble Entrainment in Hydraulic Jumps

In an open channel, the transition from super- to sub-critical flow is a flow singularity (the hydraulic jump) characterised by a sharp rise in free-surface elevation, strong turbulence and air entrainment in the roller. A key feature of the hydraulic jump flow is the strong free-surface aeration and air-water flow turbulence. In the present study, similar experiments were conducted with identical inflow Froude numbers Fr1 using a geometric scaling ratio of 2:1. The results of the Froude-similar experiments showed some drastic scale effects in the smaller hydraulic jumps in terms of void fraction, bubble count rate and bubble chord time distributions. Void fraction distributions implied comparatively greater detrainment at low Reynolds numbers yielding some lesser aeration of the jump roller. The dimensionless bubble count rates were significantly lower in the smaller channel, especially in the mixing layer. The bubble chord time distributions were quantitatively close in both channels, and they were not scaled according to a Froude similitude. Simply the hydraulic jump remains a fascinating two-phase flow motion that is still poorly understood.

Modelling fungal growth on surfaces

Fungal growth in time and space at the substrate surface was modelled for a simple system mimicking solid-state fermentation, using a polycarbonate Nucleopore membrane laid over a glucose solution. Biomass production depends on both tip density and the diffusion of glucose within the fungal hyphae. The model predicts early increases in both height and concentration, followed by a period in which the biomass profile moves with a constant wavefront. The rate of increase in height increases as tip diffusivity increases or as the Monod saturation constant for glucose decreases.

Crystal structures of reduced and oxidized DsbA: investigation of domain motion and thiolate stabilization

Background: The redox proteins that incorporate a thioredoxin fold have diverse properties and functions. The bacterial protein-folding factor DsbA is the most oxidizing of the thioredoxin family. DsbA catalyzes disulfide-bond formation during the folding of secreted proteins, The extremely oxidizing nature of DsbA has been proposed to result from either domain motion or stabilizing active-site interactions in the reduced form. In the domain motion model, hinge bending between the two domains of DsbA occurs as a result of redox-related conformational changes. Results: We have determined the crystal structures of reduced and oxidized DsbA in the same crystal form and at the same pH (5.6). The crystal structure of a lower pH form of oxidized DsbA has also been determined (pH 5.0). These new crystal structures of DsbA, and the previously determined structure of oxidized DsbA at pH 6.5, provide the foundation for analysis of structural changes that occur upon reduction of the active-site disulfide bond. Conclusions: The structures of reduced and oxidized DsbA reveal that hinge bending motions do occur between the two domains. These motions are independent of redox state, however, and therefore do not contribute to the energetic differences between the two redox states, instead, the observed domain motion is proposed to be a consequence of substrate binding. Furthermore, DsbA's highly oxidizing nature is a result of hydrogen bond, electrostatic and helix-dipole interactions that favour the thiolate over the disulfide at the active site.

Erosion/productivity modelling of maize farming in the Philippine uplands part II: Simulation of alternative farming methods

A version of the Agricultural Production Systems Simulator (APSIM) capable of simulating the key agronomic aspects of intercropping maize between legume shrub hedgerows was described and parameterised in the first paper of this series (Nelson et al., this issue). In this paper, APSIM is used to simulate maize yields and soil erosion from traditional open-field farming and hedgerow intercropping in the Philippine uplands. Two variants of open-field farming were simulated using APSIM, continuous and fallow, for comparison with intercropping maize between leguminous shrub hedgerows. Continuous open-field maize farming was predicted to be unsustainable in the long term, while fallow open-field farming was predicted to slow productivity decline by spreading the effect of erosion over a larger cropping area. Hedgerow intercropping was predicted to reduce erosion by maintaining soil surface cover during periods of intense rainfall, contributing to sustainable production of maize in the long term. In the third paper in this series, Nelson et al. (this issue) use cost-benefit analysis to compare the economic viability of hedgerow intercropping relative to traditional open-field farming of maize in relatively inaccessible upland areas. (C) 1998 Elsevier Science Ltd. All rights reserved.

Erosion/productivity modelling of maize farming in the Philippine uplands part III: Economic analysis of alternative farming methods

Two previous papers in this series (Nelson et al., this issue) described the use of the Agricultural Production Systems Simulator (APSIM) to simulate the effect of erosion on maize yields from open-field farming and hedgerow intercropping in the Philippine uplands. In this paper, maize yields simulated with APSIM are used to compare the economic viability of intercropping maize between leguminous shrub hedgerows with that of continuous and fallow open-field farming of maize. The analysis focuses on the economic incentives of upland farmers to adopt hedgerow intercropping, discussing farmers' planning horizons, access to credit and security of land tenure, as well as maize pricing in the Philippines. Insecure land tenure has limited the planning horizons of upland farmers, and high establishment costs reduce the economic viability of hedgerow intercropping relative to continuous and fallow open-field farming in the short term, In the long term, high discount rates and share-tenancy arrangements in which landlords do not contribute to establishment costs reduce the economic viability of hedgerow intercropping relative to fallow open-field farming, (C) 1998 Elsevier Science Ltd. All rights reserved.

Preparatory trunk motion accompanies rapid upper limb movement

Evaluation of trunk movements, trunk muscle activation, intra-abdominal pressure and displacement of centres of pressure and mass was undertaken to determine whether trunk orientation is a controlled variable prior to and during rapid bilateral movement of the upper limbs. Standing subjects performed rapid bilateral symmetrical upper limb movements in three directions (flexion, abduction and extension). The results indicated a small (0.4-3.3 degrees) but consistent initial angular displacement between the segments of the trunk in a direction opposite to that produced by the reactive moments resulting from limb movement. Phasic activation of superficial trunk muscles was consistent with this pattern of preparatory motion and with the direction of motion of the centre of mass. In contrast, activation of the deep abdominal muscles was independent of the direction of limb motion, suggesting a non-direction specific contribution to spinal stability. The results support the opinion that feedforward postural responses result in trunk movements, and that orientation of the trunk and centre of mass are both controlled variables in relation to rapid limb movements.

Finite element modelling of temperature gradient driven rock alteration and mineralization in porous rock masses

We present finite element simulations of temperature gradient driven rock alteration and mineralization in fluid saturated porous rock masses. In particular, we explore the significance of production/annihilation terms in the mass balance equations and the dependence of the spatial patterns of rock alteration upon the ratio of the roll over time of large scale convection cells to the relaxation time of the chemical reactions. Special concepts such as the gradient reaction criterion or rock alteration index (RAI) are discussed in light of the present, more general theory. In order to validate the finite element simulation, we derive an analytical solution for the rock alteration index of a benchmark problem on a two-dimensional rectangular domain. Since the geometry and boundary conditions of the benchmark problem can be easily and exactly modelled, the analytical solution is also useful for validating other numerical methods, such as the finite difference method and the boundary element method, when they are used to dear with this kind of problem. Finally, the potential of the theory is illustrated by means of finite element studies related to coupled flow problems in materially homogeneous and inhomogeneous porous rock masses. (C) 1998 Elsevier Science S.A. All rights reserved.

Modelling dispersal behaviour on a fractal landscape

We use a spatially explicit population model to explore the population consequences of different habitat selection mechanisms on landscapes with fractal variation in habitat quality. We consider dispersal strategies ranging from random walks to perfect habitat selectors for two species of arboreal marsupial, the greater glider (Petauroides volans) and the mountain brushtail possum (Trichosurus caninus). In this model increasing habitat selection means individuals obtain higher quality territories, but experience increased mortality during dispersal. The net effect is that population sizes are smaller when individuals actively select habitat. We find positive relationships between habitat quality and population size can occur when individuals do not use information about the entire landscape when habitat quality is spatially autocorrelated. We also find that individual behaviour can mitigate the negative effects of spatial variation on population average survival and fecundity. (C) 1998 Elsevier Science Ltd. All rights reserved.

Tidal effects on sea water intrusion in unconfined aquifers

A variable-density groundwater model is used to analyse the effects of tidal fluctuations on sea-water intrusion in an unconfined aquifer. It is shown that the tidal activity forces the sea-water to intrude further inland and it also creates a thicker interface than would occur without tidal effects. Moreover, the configuration of the interface is radically changed when the tidal fluctuations are included. This is because of the dramatic changes in the flow pattern and velocity of the groundwater near the shoreline. For aquifer depths much larger than tidal amplitudes, the tidal fluctuation does not have much effect on how far the sea-water intrudes into the aquifer; nevertheless, a significant change in the configuration of concentration contours because of the effect of tidal fluctuations is observed. This change is more noticeable at the top of the aquifer, near the water table, than at the bottom of the aquifer, and is caused by the infiltration of salt water into the top of the aquifer at higher tidal levels. A flatter beach slope, therefore, intensifies this phenomenon. The interface configurations do not change noticeably over the course of a tidal cycle. Neglecting tidal fluctuation effects results in an inaccurate evaluation of the water table elevation at the land end of the aquifer, although no distinguishable difference is seen between the water tables near the shoreline. Where the landward boundary condition is a constant head, the effects of tidal fluctuations on sea-water intrusion are more pronounced than for cases where the landward boundary condition is a specified flux. Also it is shown that the effects of tidal fluctuations are more significant for a sloping beach than for a vertical shoreline and the salt water intrudes further inland for the sloping case. (C) 1999 Elsevier Science B.V. All rights reserved.