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

A Critical Edition of Amy Levy\u27s \u27Sokratics in the Strand\u27

Hailed as a “girl genius” by Oscar Wilde, Amy Levy (1861–89) received critical acclaim at the young age for her forthright poetry, and was the first Jewish woman to attend Cambridge. Despite her early success, as a Jew and New Woman, Levy faced many barriers that prevented her from being accepted by the greater Victorian society. Levy explored the grim reality of being an outsider in Victorian England in her short story “Sokratics in the Strand” published in 1884. I devoted my Masters Essay to call the attention of modern audiences to one of her often-neglected works; and to explore in my critical introduction how Levy’s lifetime status as an outsider resulted in the creation of one of her most emotionally wrought pieces of literature

Errant thought: on philosophy and its past

This thesis consists of two major strands. The first addresses a series of questions concerning philosophy’s relation to its own past, chief among them: Why does philosophy have a history? And how can philosophers take account of their past, situating the mselves as part of an ongoing tradition? The second strand constitutes an investigation of the concept of error. What is error? How can we explain its origin, and to what extent is it a necessary feature of thought? Contrary to initial appearances, I show that these two sets of questions are intimately connected. Throughout the modern era, accounts of thought’s historicity have frequently hinged on the concept of error. It is by appeal to the concept of error—and thereby to the idea that thought sometimes goes astray, falling short of truth—that a vast majority of modern philosophers have attempted to explain the historicity of thought. To ask after the ground of historicity and the status of philosophy’s past thus requires us to pose the question: what is error, and how does it arise? An examination of accounts of human errancy thus allow us to better understand the nature and scope of thought’s historicity. As such, the thesis constitutes both a history of philosophy’s approaches to its own past, and a history of the concept of error. It takes the form of a critical reconstruction of this conceptual constellation, with a view to renewing the question of the relation of philosophy to its past by way of a reappraisal of the nature of error. The thesis is divided into four chapters, each of which is dedicated to a major figure from the Western tradition: Descartes, Kant, Hegel and Heidegger. In each case, I demonstrate that their respective approaches to the question of philosophy’s historicity is reflected in the status of error in their thought. For both Descartes and Kant, the historicity of thought arises from the tendency of thought to fall short of truth. It is thus thanks to error, conceived of as a kind of epistemological waste product, that philosophy becomes historical. It is the task of philosophical method to overcome this shortfall, thus liberating philosophy from its historicity. I argue that this attitude prevails in many philosophical quarters to this day, making of thought’s historicity at best a secondary matter. By contrast, Hegel and Heidegger both adopt approaches according to which historicity is intrinsic to the nature of truth itself. I show how Hegel’s concept of negativity on the one hand, and Heidegger’s notion of ontological errancy on the other, come to supplant the notion of epistemological failure, treating historicity as a fundamental characteristic of being. I argue that this notion of a ‘history of truth’ allows for a new relation between philosophy and its history, in which the latter is not merely dismissed as a kind of accidental waste-product of thought. At the same time, I show how both Hegel and Heidegger’s specific approaches to the history of philosophy are characterised by shortcomings which prevent them from adequately responding to the questions they raise. In spite of these shortcomings, I argue that philosophy ought not abandon the idea of a connection between historicity and error. Instead, it is necessary to raise the question of the status of error anew, while at the same time seeking to expand the scope of the history of philosophy beyond the confines of the Western tradition

The British archaeological association: its foundation and split

The thesis investigates the foundation of the British Archaeological Association (BAA) at the end of 1843, and its development over the next couple of years. In September 1844 the BAA held a week-long archaeological congress at Canterbury, the details of which are discussed. Although it was deemed a great success by those who participated, a number of influential antiquarians on the BAA's Central Committee did not attend. By the end of the year, a controversy had arisen amongst members of the Central Committee. This led to the Association splitting into two factions and ultimately resulted in the formation of the rival Archaeological Institute (AI) in 1845. The development of the split is followed in detail and the causes behind it assessed. In order to put the BAA's foundation into perspective, other aspects of the antiquarian community in the 1840s are considered, together with wider movements in society. Particular attention is paid to parallels between the antiquarian and scientific communities in early Victorian Britain and the organisation of institutional bodies within them. Analogies are drawn between the Society of Antiquaries and the Royal Society, and between the establishment of the BAA and that of the British Association for the Advancement of Science (BAAS). Details of the formation of provincial and metropolitan learned societies and printing clubs in the first half of the nineteenth century are also considered. In particular, the Numismatic Society (founded 1836) and the Cambridge Camden Society (founded 1839) are looked at in order to throw light on factors behind the BAA's popularity. The appendices include information about the BAA's Central Committee in 1844, and data on the membership of the BAA and AI in their first few years

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

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)