Investigation into an improved modular rule-based testing framework for business rules

Rule testing in scheduling applications is a complex and potentially costly business problem. This thesis reports the outcome of research undertaken to develop a system to describe and test scheduling rules against a set of scheduling data. The overall intention of the research was to reduce commercial scheduling costs by minimizing human domain expert interaction within the scheduling process. This thesis reports the outcome of research initiated following a consultancy project to develop a system to test driver schedules against the legal driving rules in force in the UK and the EU. One of the greatest challenges faced was interpreting the driving rules and translating them into the chosen programming language. This part of the project took considerable effort to complete the programming, testing and debugging processes. A potential problem then arises if the Department of Transport or the European Union alter or change the driving rules. Considerable software development is likely to be required to support the new rule set. The approach considered takes into account the need for a modular software component that can be used in not just transport scheduling systems which look at legal driving rules but may also be integrated into other systems that have the need to test temporal rules. The integration of the rule testing component into existing systems is key to making the proposed solution reusable. The research outcome proposes an alternative approach to rule definition, similar to that of RuleML, but with the addition of rule metadata to provide the ability of describing rules of a temporal nature. The rules can be serialised and deserialised between XML (eXtensible Markup Language) and objects within an object oriented environment (in this case .NET with C#), to provide a means of transmission of the rules over a communication infrastructure. The rule objects can then be compiled into an executable software library, allowing the rules to be tested more rapidly than traditional interpreted rules. Additional support functionality is also defined to provide a means of effectively integrating the rule testing engine into existing applications. Following the construction of a rule testing engine that has been designed to meet the given requirements, a series of tests were undertaken to determine the effectiveness of the proposed approach. This lead to the implementation of improvements in the caching of constructed work plans to further improve performance. Tests were also carried out into the application of the proposed solution within alternative scheduling domains and to analyse the difference in computational performance and memory usage across system architectures, software frameworks and operating systems, with the support of Mono. Future work that is expected to follow on from this thesis will likely reside in investigations into the development of graphical design tools for the creation of the rules, improvements in the work plan construction algorithm, parallelisation of elements of the process to take better advantage of multi-core processors and off-loading of the rule testing process onto dedicated or generic computational processors

An atomic scale comparison of the reaction of Bioglass® in two types of simulated body fluid

A class of melt quenched silicate glasses, containing calcium, phosphorus and alkali metals, and having the ability to promote bone regeneration and to fuse to living bone, is produced commercially as Bioglass. The changes in structure associated with reacting the bioglass with a body fluid simulant (a buffered Tris(hydroxymethyl)aminomethane growth medium solution or a blood plasma-like salt simulated body fluid) at 37°C have been studied using both high energy and grazing incidence x-ray diffraction. This has corroborated the generic conclusions of earlier studies based on the use of calcia–silica sol-gel glasses whilst highlighting the important differences associated with glass composition; the results also reveal the more subtle effects on reaction rates of the choice of body fluid simulant. The results also indicate the presence of tricalcium phosphate crystallites deposited onto the surface of the glass as a precursor to the growth of hydroxyapatite, and indicates that there is some preferred orientation to their growth

Securing autonomous networks through virtual closure

The increasing autonomy of Mobile Ad Hoc Networks (MANETs) has enabled a great many large-scale unguided missions, such as agricultural planning, conservation and similar surveying tasks. Commercial and military institutions have expressed great interest in such ventures, raising the question of security as the application of such systems in potentially hostile environments. Preventing theft, disruption or destruction of such MANETs through cyber-attacks has become a focus for many researchers as a result. Virtual Private Networks (VPNs) have been shown to enhance the security of Mobile Ad hoc Networks (MANETs). VPNs do not normally support broadcast communication, reducing their effectiveness in high-traffic MANETs which have many broadcast communication requirements. To support routing, broadcast updates and efficient MANET communication a Virtual Closed Network (VCN) architecture is proposed. By supporting private, secure communication in unicast, multicast and broadcast modes, VCNs provide an efficient alternative to VPNs when securing MANETs. Comparative analysis of the set-up and security overheads of VCN and VPN approaches is provided between OpenVPN, IPsec, Virtual Private LAN Service (VPLS), and the proposed VCN solution: Security Using Pre-Existing Routing for MANETs (SUPERMAN)

Relative pleopod length as an indicator of size at sexual maturity in slipper (Scyllarides squammosus) and spiny Hawaiian (Panulirus marginatus) lobsters

Body size at gonadal maturity is described for females of the slipper lobster (Scyllarides squammosus) (Scyllaridae) and the endemic Hawaiian spiny lobster (Panulirus marginatus) (Palinuridae) based on microscopic examination of histological preparations of ovaries. These data are used to validate several morphological metrics (relative exopodite length, ovigerous condition) of functional sexual maturity. Relative exopodite length (“pleopod length”) produced consistent estimates of size at maturity when evaluated with a newly derived statistical application for estimating size at the morphometric maturation point (MMP) for the population, identified as the midpoint of a sigmoid function spanning the estimated boundaries of overlap between the largest immature and smallest adult animals. Estimates of the MMP were related to matched (same-year) characterizations of sexual maturity based on ovigerous condition — a more conventional measure of functional maturity previously used to characterize maturity for the two lobster species. Both measures of functional maturity were similar for the respective species and were within 5% and 2% of one another for slipper and spiny lobster, respectively. The precision observed for two shipboard collection series of pleopod-length data indicated that the method is reliable and not dependent on specialized expertise. Precision of maturity estimates for S. squammosus with the pleopod-length metric was similar to that for P. marginatus with any of the other measures (including conventional evidence of ovigerous condition) and greatly exceeded the precision of estimates for S. squammosus based on ovigerous condition alone. The two measures of functional maturity averaged within 8% of the estimated size at gonadal maturity for the respective species. Appendage-to-body size proportions, such as the pleopod length metric, hold great promise, particularly for species of slipper lobsters like S. squammosus for which there exist no other reliable conventional morphological measures of sexual maturity. Morphometric proportions also should be included among the factors evaluated when assessing size at sexual maturity in spiny lobster stocks; previously, these proportions have been obtained routinely only for brachyuran crabs within the Crustacea

The structure of calcium metaphosphate glass obtained from x-ray and neutron diffraction and reverse Monte Carlo modelling

The short range structure of (CaO)(0.5)(P2O5)(0.5) glass has been studied using x-ray and neutron diffraction and modelled using the reverse Monte Carlo method. Using this combination of techniques has allowed six interatomic correlations to be distinguished and fitted to obtain a set of bond lengths and coordination numbers that describe the structure of the glass. The glass consists of metaphosphate chains of phosphate tetrahedra and each phosphate unit has two non-bridging oxygen atoms available for coordination with Ca. The Ca-O correlation was fitted with two peaks at 2.35 and 2.86 angstrom, representing a broad distribution of bond lengths. The total Ca-O coordination is 6.9 and is consistent with distorted polyhedral units such as capped octahedra or capped trigonal prisms. It is found that most non-bridging oxygen atoms are bonded to two calcium atoms. All of these observations are consistent with Hoppe's model for phosphate glasses. Furthermore, the medium range order is revealed to consist of phosphate chains intertwined with apparently elongated clusters of Ca ions, and the Ca-O and Ca-P correlations contributed significantly to the first sharp diffraction peak in x-ray diffraction

Investigation into the effects of transmission-channel fidelity loss in RGBD sensor data for SLAM

Simultaneous Location and Mapping (SLAM) is computationally expensive, and requires high-fidelity sensor data. This paper investigates the effects of transmission channel fidelity loss in Red-Green-Blue-Depth (RGBD) sensor data. A mobile robotic platform developed for Explosive Ordinance Disposal (EOD) is used, with a highly constrained data and video link to a base station which computes a SLAM solution. Experiments were conducted offline, using well known data-sets with ground truth data, and their results have been compared to determine the effect of fidelity loss under various multiplexing approaches with a constrained transmission channel

SUPERMAN: Security using pre-existing routing for mobile ad hoc networks

The flexibility and mobility of Mobile Ad hoc Networks (MANETs) have made them increasing popular in a wide range of use cases. To protect these networks, security protocols have been developed to protect routing and application data. However, these protocols only protect routes or communication, not both. Both secure routing and communication security protocols must be implemented to provide full protection. The use of communication security protocols originally developed for wireline and WiFi networks can also place a heavy burden on the limited network resources of a MANET. To address these issues, a novel secure framework (SUPERMAN) is proposed. The framework is designed to allow existing network and routing protocols to perform their functions, whilst providing node authentication, access control, and communication security mechanisms. This paper presents a novel security framework for MANETs, SUPERMAN. Simulation results comparing SUPERMAN with IPsec, SAODV and SOLSR are provided to demonstrate the proposed frameworks suitability for wireless communication securit