Performance, transmission and devotion: understanding the Anglo-Saxon prayer books, c.800-1050

Through an investigation of the Anglo-Saxon prayer books and selected psalters, this thesis corrects standard histories of medieval devotion that circumvent the Anglo-Saxon contribution to medieval piety. In the first half of the thesis, I establish a theoretical framework for Anglo-Saxon piety in which to explore the prayers. Current theoretical frameworks dealing with the medieval devotional material are flawed as scholars use terms such as ‘affective piety’, ‘private’ and even ‘devotion’ vaguely. After an introduction which defines some of the core terminology, Chapter 2 introduces the principal witnesses to the Anglo-Saxon prayer tradition. These include the prodigal eighth- and early ninth- century Mercian Group, comprising the Book of Nunnaminster (London, British Library, Harley 2965, s. viii ex/ix1), the Harleian Prayer Book (London, British Library, Harley 7653, s. viii ex/ix1), the Royal Prayer Book (London, British Library, Royal 2 A. xx, s. viii2/ix1/4), and the Book of Cerne (Cambridge, University Library, Ll. 1. 10). These prayer books are the earliest of their kind in Europe. This chapter challenges some established views concerning the prayer books, including purported Irish influence on their composition and the probability of female ownership. Chapter 3 explores the performance of prayer. The chapter demonstrates that Anglo-Saxon prayers, for example, the Royal Abecedarian Prayer, were transmitted fluidly. The complex relationship between this abecedarian prayer and its reflex in the Book of Nunnaminster reveals the complexity of prayer composition and transmission in the early medieval world but more importantly, it helps scholars theorise how the prayers may have been used, whether recited verbatim or used for extemporalisation. Changes made by later readers to earlier texts are also vital to this study, since they help answer questions of usage and show the evolution and subsequent influence of Anglo-Saxon religiosity. The second half of the thesis makes a special study of prayers to the Cross, the wounded Christ, and the Virgin, three important themes in later medieval spirituality. These focus on the Royal Abecedarian Prayer, which explores Christ’s life (Chapter 5), especially his Passion; the ‘Domine Ihesu Christe, adoro te cruce’ which celebrates the Cross (Chapter 4); and the Oratio Alchfriðo ad sanctam Mariam, which invokes the Virgin Mary (Chapter 6). These prayers occur in multiple, temporally-diverse witnesses and have complex transmission histories, involving both oral and written dissemination. The concluding chapter (7) highlights some of the avenues for future research opened by the thesis.

Systematic delay-driven power optimisation and power-driven delay optimisation of combinational circuits

With the proliferation of mobile wireless communication and embedded systems, the energy efficiency becomes a major design constraint. The dissipated energy is often referred as the product of power dissipation and the input-output delay. Most of electronic design automation techniques focus on optimising only one of these parameters either power or delay. Industry standard design flows integrate systematic methods of optimising either area or timing while for power consumption optimisation one often employs heuristics which are characteristic to a specific design. In this work we answer three questions in our quest to provide a systematic approach to joint power and delay Optimisation. The first question of our research is: How to build a design flow which incorporates academic and industry standard design flows for power optimisation? To address this question, we use a reference design flow provided by Synopsys and integrate in this flow academic tools and methodologies. The proposed design flow is used as a platform for analysing some novel algorithms and methodologies for optimisation in the context of digital circuits. The second question we answer is: Is possible to apply a systematic approach for power optimisation in the context of combinational digital circuits? The starting point is a selection of a suitable data structure which can easily incorporate information about delay, power, area and which then allows optimisation algorithms to be applied. In particular we address the implications of a systematic power optimisation methodologies and the potential degradation of other (often conflicting) parameters such as area or the delay of implementation. Finally, the third question which this thesis attempts to answer is: Is there a systematic approach for multi-objective optimisation of delay and power? A delay-driven power and power-driven delay optimisation is proposed in order to have balanced delay and power values. This implies that each power optimisation step is not only constrained by the decrease in power but also the increase in delay. Similarly, each delay optimisation step is not only governed with the decrease in delay but also the increase in power. The goal is to obtain multi-objective optimisation of digital circuits where the two conflicting objectives are power and delay. The logic synthesis and optimisation methodology is based on AND-Inverter Graphs (AIGs) which represent the functionality of the circuit. The switching activities and arrival times of circuit nodes are annotated onto an AND-Inverter Graph under the zero and a non-zero-delay model. We introduce then several reordering rules which are applied on the AIG nodes to minimise switching power or longest path delay of the circuit at the pre-technology mapping level. The academic Electronic Design Automation (EDA) tool ABC is used for the manipulation of AND-Inverter Graphs. We have implemented various combinatorial optimisation algorithms often used in Electronic Design Automation such as Simulated Annealing and Uniform Cost Search Algorithm. Simulated Annealing (SMA) is a probabilistic meta heuristic for the global optimization problem of locating a good approximation to the global optimum of a given function in a large search space. We used SMA to probabilistically decide between moving from one optimised solution to another such that the dynamic power is optimised under given delay constraints and the delay is optimised under given power constraints. A good approximation to the global optimum solution of energy constraint is obtained. Uniform Cost Search (UCS) is a tree search algorithm used for traversing or searching a weighted tree, tree structure, or graph. We have used Uniform Cost Search Algorithm to search within the AIG network, a specific AIG node order for the reordering rules application. After the reordering rules application, the AIG network is mapped to an AIG netlist using specific library cells. Our approach combines network re-structuring, AIG nodes reordering, dynamic power and longest path delay estimation and optimisation and finally technology mapping to an AIG netlist. A set of MCNC Benchmark circuits and large combinational circuits up to 100,000 gates have been used to validate our methodology. Comparisons for power and delay optimisation are made with the best synthesis scripts used in ABC. Reduction of 23% in power and 15% in delay with minimal overhead is achieved, compared to the best known ABC results. Also, our approach is also implemented on a number of processors with combinational and sequential components and significant savings are achieved.

Cost savings from relaxation of operational constraints on a power system with high wind penetration

Wind energy is predominantly a nonsynchronous generation source. Large-scale integration of wind generation with existing electricity systems, therefore, presents challenges in maintaining system frequency stability and local voltage stability. Transmission system operators have implemented system operational constraints (SOCs) in order to maintain stability with high wind generation, but imposition of these constraints results in higher operating costs. A mixed integer programming tool was used to simulate generator dispatch in order to assess the impact of various SOCs on generation costs. Interleaved day-ahead scheduling and real-time dispatch models were developed to allow accurate representation of forced outages and wind forecast errors, and were applied to the proposed Irish power system of 2020 with a wind penetration of 32%. Savings of at least 7.8% in generation costs and reductions in wind curtailment of 50% were identified when the most influential SOCs were relaxed. The results also illustrate the need to relax local SOCs together with the system-wide nonsynchronous penetration limit SOC, as savings from increasing the nonsynchronous limit beyond 70% were restricted without relaxation of local SOCs. The methodology and results allow for quantification of the costs of SOCs, allowing the optimal upgrade path for generation and transmission infrastructure to be determined.