Investigations into Satisfiability Search

In this dissertation we investigate theoretical aspects of some practical approaches used in solving and understanding search problems. We concentrate on the Satisfiability problem, which is a strong representative from search problem domains. The work develops general theoretical foundations to investigate some practical aspects of satisfiability search. This results in a better understanding of the fundamental mechanics for search algorithm construction and behaviour. A theory of choice or branching heuristics is presented, accompanied by results showing a correspondence of both parameterisations and performance when the method is compared to previous empirically motivated branching techniques. The logical foundations of the backtracking mechanism are explored alongside formulations for reasoning in relevant logics which results in the development of a malleable backtracking mechanism that subsumes other intelligent backtracking proof construction techniques and allows the incorporation of proof rearrangement strategies. Moreover, empirical tests show that relevant backtracking outperforms all other forms of intelligent backtracking search tree construction methods. An investigation into modelling and generating world problem instances justifies a modularised problem model proposal which is used experimentally to highlight the practicability of search algorithms for the proposed model and related domains

Ecohydrologically important subsurface structures in peatlands revealed by ground-penetrating radar and complex conductivity surveys.

The surface pattern of vegetation influences the composition and humification of peat laid down during the development of a bog, producing a subsurface hydrological structure that is expected to affect both the rate and pattern of water flow. Subsurface peat structures are routinely derived from the inspection of peat cores. However, logistical limits on the number of cores that can be collected means that the horizontal extent of these structures must be inferred. We consider whether subsurface patterns in peat physical properties can be mapped in detail over large areas with ground-penetrating radar (GPR) and complex conductivity by comparing geophysical measurements with peat core data along a 36 m transect through different microhabitats at Caribou Bog, Maine. The geophysical methods show promise. Peat horizons produced radar reflections because of changes in the volumetric moisture content. Although these reflections could not be directly correlated with the peat core data, they were related to the depth-averaged peat properties which varied markedly between the microhabitats. Well-decomposed peat below a hollow was characterized by a discontinuous sequence of chaotic wavy reflections, while distinct layering of the peat below an area of hummocks coincided with a pattern of parallel planar reflections. The complex conductivity survey showed spatial variation in the real and imaginary conductivities which resulted from changes in the pore water conductivity; peat structures may also have influenced the spatial pattern in the complex conductivity. The GPR and complex conductivity surveys enabled the developmental history of the different microhabitats along the studied transect to be inferred

Light-modulated ion binding: towards calibrationless sensors

Emerging technologies create new application fields but few of them require that we completely rethink our approach in preparation and characterization of sensors. The vision of internet scale wireless sensor networks (WSNs) requires the deployment of enormous numbers of sensors. This necessarily means that the cost of each sensor must be brought down significantly if this vision is to be realized. An ideal solution for this problem would be a sensor that does not interact with its environment in any way until there is a need for measurement. Upon the measurement, the sensor’s surface is completely regenerated and returned into the state as before the measurement. This step is critical as it ensures that the measurement did not any effect on the sensor hence no calibration is necessary. In our work, we use compounds that indeed can be switched between the active and passive state using light. Most commonly used compounds are so called spiropyrans (SP) and spirooxazines (SO). Here we show the recent advance in preparation of reversible, light-modulated sensors using surface immobilised SP/SO derivatives. A further attractive property of these materials is that they are inherently self-indicating through striking colour changes that enable the state to be easily determined (active vs. passive), and the presence of a bound guest to be detected. These spectral changes enable a range of self-diagnostic tests to be incorporated that enable binding events to be controlled at the surface interface, and for real binding events to be distinguished from artefacts arsing from changes in light intensity, or photobleaching of the active component. We have identified most notable problems for utilization of these compounds in “calibrationless” sensors such as relatively weak binding constants, photodegradation, and unfavourable kinetics of switching between the active and passive state and we demonstrate our approach in solving these problems

Models of Care for musculoskeletal health: Moving towards meaningful implementation and evaluation across conditions and care settings

Models of Care (MoCs) are increasingly recognised as a system-level enabler to translate evidence for ‘what works’ into policy and, ultimately, clinical practice. MoCs provide a platform for a reform agenda in health systems by describing not only what care to deliver but also how to deliver it. Given the enormous burden of disease associated with musculoskeletal (MSK) conditions, system-level (macro) reform is needed to drive downstream improvements in MSK healthcare – at the health service (meso) level and at the clinical interface (micro) level. A key challenge in achieving improvements in MSK healthcare is sustainable implementation of reform initiatives, whether they be macro, meso or micro level in scope. In this chapter, we introduce the special issue of the Journal dedicated to implementation of MSK MoCs. We provide a contextual background on MoCs, a synthesis of implementation approaches across care settings covered across the chapters in this themed issued, and perspectives on the evaluation of MoCs

Investigating Peatland Stratigraphy and Hydrogeology Using Integrated Electrical Geophysics

Hydrology has been suggested as the mechanism controlling vegetation and related surficial pore-water chemistry in large peatlands. Peatland hydrology influences the carbon dynamics within these large carbon reservoirs and will influence their response to global warming. A geophysical survey was completed in Caribou Bog, a large peatland in Maine, to evaluate peatland stratigraphy and hydrology. Geophysical measurements were integrated with direct measurements of peat stratigraphy from probing, fluid chemistry, and vegetation patterns in the peatland. Consistent with previous field studies, ground-penetrating radar (GPR) was an excellent method for delineating peatland stratigraphy. Prominent reflectors from the peat-lake sediment and lake sediment-mineral soil contacts were precisely recorded up to 8 m deep. Two-dimensional resistivity and induced polarization imaging were used to investigate stratigraphy beneath the mineral soil, beyond the range of GPR. We observe that the peat is chargeable, and that IP imaging is an alternative method for defining peat thickness. The chargeability of peat is attributed to the high surface-charge density on partially decomposed organic matter. The electrical conductivity imaging resolved glaciomarine sediment thickness (a confining layer) and its variability across the basin. Comparison of the bulk conductivity images with peatland vegetation revealed a correlation between confining layer thickness and dominant vegetation type, suggesting that stratigraphy exerts a control on hydrogeology and vegetation distribution within this peatland. Terrain conductivity measured with a Geonics EM31 meter correlated with confining glaciomarine sediment thickness and was an effective method for estimating variability in glaciomarine sediment thickness over approximately 18 km(2). Our understanding of the hydrogeology, stratigraphy, and controls on vegetation growth in this peatland was much enhanced from the geophysical study

Dynamics of methane ebullition from a peat monolith revealed from a dynamic flux chamber system

Methane (CH4) ebullition in northern peatlands is poorly quantified in part due to its high spatiotemporal variability. In this study, a dynamic flux chamber (DFC) system was used to continuously measure CH4 fluxes from a monolith of near‐surface Sphagnum peat at the laboratory scale to understand the complex behavior of CH4 ebullition. Coincident transmission ground penetrating radar measurements of gas content were also acquired at three depths within the monolith. A graphical method was developed to separate diffusion, steady ebullition, and episodic ebullition fluxes from the total CH4 flux recorded and to identify the timing and CH4 content of individual ebullition events. The results show that the application of the DFC had minimal disturbance on air‐peat CH4 exchange and estimated ebullition fluxes were not sensitive to the uncertainties associated with the graphical model. Steady and episodic ebullition fluxes were estimated to be averagely 36 ± 24% and 38 ± 24% of the total fluxes over the study period, respectively. The coupling between episodic CH4 ebullition and gas content within the three layers supports the existence of a threshold gas content regulating CH4 ebullition. However, the threshold at which active ebullition commenced varied between peat layers with a larger threshold (0.14 m3 m−3) observed in the deeper layers, suggesting that the peat physical structure controls gas bubble dynamics in peat. Temperature variation (23°C to 27°C) was likely only responsible for small episodic ebullition events from the upper peat layer, while large ebullition events from the deeper layers were most likely triggered by drops in atmospheric pressure

Characterization of reactive transport by 3-D electrical resistivity tomography (ERT) under unsaturated conditions

The leaching of nitrate from intensively used arable soil is of major concern in many countries. In this study, we show how time lapse electrical resistivity tomography (ERT) can be used to characterize spatially heterogeneous processes of ion production, consumption, and transport in soils. A controlled release fertilizer was introduced into an undisturbed soil core in a laboratory lysimeter and subjected to infiltration events. The production of ions resulting from processes associated with nitrification and their transport through the soil core was observed by time lapse ERT and analysis of seepage water samples from a multicompartment sampler. ERT images show development and propagation of a high-conductivity plume from the fertilizer source zone. Molar amounts of nitrate produced in and exported from the soil core could be well reproduced by time lapse ERT using a spatial moment analysis. Furthermore, we observed that several shape measures of local breakthrough-curves (BTCs) of seepage water conductivity and nitrate derived by effluent analyses and BTCs of bulk conductivity derived by ERT are highly correlated, indicating the preservation of spatial differences of the plume breakthrough in the ERT data. Also differences between nitrate breakthrough and a conservative tracer breakthrough can be observed by ERT. However, the estimation of target ion concentrations by ERT is error bound and the smoothing algorithm of the inversion masks spatial conductivity differences. This results in difficulties reproducing spatial differences of ion source functions and variances of travel times. Despite the observed limitations, we conclude that time lapse ERT can be qualitatively and quantitatively informative with respect to processes affecting the fate of nitrate in arable soils

Characterization of reactive transport by 3-D electrical resistivity tomography (ERT) under unsaturated conditions

The leaching of nitrate from intensively used arable soil is of major concern in many countries. In this study, we show how time lapse electrical resistivity tomography (ERT) can be used to characterize spatially heterogeneous processes of ion production, consumption, and transport in soils. A controlled release fertilizer was introduced into an undisturbed soil core in a laboratory lysimeter and subjected to infiltration events. The production of ions resulting from processes associated with nitrification and their transport through the soil core was observed by time lapse ERT and analysis of seepage water samples from a multicompartment sampler. ERT images show development and propagation of a high-conductivity plume from the fertilizer source zone. Molar amounts of nitrate produced in and exported from the soil core could be well reproduced by time lapse ERT using a spatial moment analysis. Furthermore, we observed that several shape measures of local breakthrough-curves (BTCs) of seepage water conductivity and nitrate derived by effluent analyses and BTCs of bulk conductivity derived by ERT are highly correlated, indicating the preservation of spatial differences of the plume breakthrough in the ERT data. Also differences between nitrate breakthrough and a conservative tracer breakthrough can be observed by ERT. However, the estimation of target ion concentrations by ERT is error bound and the smoothing algorithm of the inversion masks spatial conductivity differences. This results in difficulties reproducing spatial differences of ion source functions and variances of travel times. Despite the observed limitations, we conclude that time lapse ERT can be qualitatively and quantitatively informative with respect to processes affecting the fate of nitrate in arable soils

Magnetically Focused Proton Irradiation of Small Volume Radiosurgery Targets Using a Triplet of Quadrupole Magnets

Proton therapy is an advantageous choice for the irradiation of tumors in proximity of critical structures due to rapid dose fall off and high dose deposition at target compared to dose at the surface of the patient (ie, peak-to-entrance dose ratio (P/E)). However, with target fields below 1.0 cm, as often encountered in proton radiosurgery, multiple Coulomb scattering (MCS) broadens proton beams leading to diminished P/E advantages and reduced dose delivery efficiency (DDE). Magnetic focusing tends to counteract MCS and is a promising method to reduce these undesirable effects. The purpose of this research is to investigate the advantages of proton magnetic focusing with a triplet of quadrupole rare earth permanent magnets