<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<channel rdf:about="http://hdl.handle.net/10468/581">
<title>Electrical and Electronic Engineering - PhD Theses</title>
<link>http://hdl.handle.net/10468/581</link>
<description/>
<items>
<rdf:Seq>
<rdf:li rdf:resource="http://hdl.handle.net/10468/1111"/>
<rdf:li rdf:resource="http://hdl.handle.net/10468/1112"/>
<rdf:li rdf:resource="http://hdl.handle.net/10468/1129"/>
<rdf:li rdf:resource="http://hdl.handle.net/10468/580"/>
</rdf:Seq>
</items>
<dc:date>2013-05-24T16:30:57Z</dc:date>
</channel>
<item rdf:about="http://hdl.handle.net/10468/1111">
<title>Systematic delay-driven power optimisation and power-driven delay optimisation of combinational circuits</title>
<link>http://hdl.handle.net/10468/1111</link>
<description>Systematic delay-driven power optimisation and power-driven delay optimisation of combinational circuits
Mehrotra, Rashmi
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.
</description>
<dc:date>2013-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="http://hdl.handle.net/10468/1112">
<title>Hardware design of cryptographic accelerators</title>
<link>http://hdl.handle.net/10468/1112</link>
<description>Hardware design of cryptographic accelerators
Baldwin, Brian John
With the rapid growth of the Internet and digital communications, the volume of sensitive electronic transactions being transferred and stored over and on insecure media has increased dramatically in recent years. The growing demand for cryptographic systems to secure this data, across a multitude of platforms, ranging from large servers to small mobile devices and smart cards, has necessitated research into low cost, flexible and secure solutions. As constraints on architectures such as area, speed and power become key factors in choosing a cryptosystem, methods for speeding up the development and evaluation process are necessary. This thesis investigates flexible hardware architectures for the main components of a cryptographic system. Dedicated hardware accelerators can provide significant performance improvements when compared to implementations on general purpose processors. Each of the designs proposed are analysed in terms of speed, area, power, energy and efficiency. Field Programmable Gate Arrays (FPGAs) are chosen as the development platform due to their fast development time and reconfigurable nature. Firstly, a reconfigurable architecture for performing elliptic curve point scalar multiplication on an FPGA is presented. Elliptic curve cryptography is one such method to secure data, offering similar security levels to traditional systems, such as RSA, but with smaller key sizes, translating into lower memory and bandwidth requirements. The architecture is implemented using different underlying algorithms and coordinates for dedicated Double-and-Add algorithms, twisted Edwards algorithms and SPA secure algorithms, and its power consumption and energy on an FPGA measured. Hardware implementation results for these new algorithms are compared against their software counterparts and the best choices for minimum area-time and area-energy circuits are then identified and examined for larger key and field sizes. Secondly, implementation methods for another component of a cryptographic system, namely hash functions, developed in the recently concluded SHA-3 hash competition are presented. Various designs from the three rounds of the NIST run competition are implemented on FPGA along with an interface to allow fair comparison of the different hash functions when operating in a standardised and constrained environment. Different methods of implementation for the designs and their subsequent performance is examined in terms of throughput, area and energy costs using various constraint metrics. Comparing many different implementation methods and algorithms is nontrivial. Another aim of this thesis is the development of generic interfaces used both to reduce implementation and test time and also to enable fair baseline comparisons of different algorithms when operating in a standardised and constrained environment. Finally, a hardware-software co-design cryptographic architecture is presented. This architecture is capable of supporting multiple types of cryptographic algorithms and is described through an application for performing public key cryptography, namely the Elliptic Curve Digital Signature Algorithm (ECDSA). This architecture makes use of the elliptic curve architecture and the hash functions described previously. These components, along with a random number generator, provide hardware acceleration for a Microblaze based cryptographic system. The trade-off in terms of performance for flexibility is discussed using dedicated software, and hardware-software co-design implementations of the elliptic curve point scalar multiplication block. Results are then presented in terms of the overall cryptographic system.
</description>
<dc:date>2013-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="http://hdl.handle.net/10468/1129">
<title>Grid integration of wave energy &amp; generic modelling of ocean devices for power system studies</title>
<link>http://hdl.handle.net/10468/1129</link>
<description>Grid integration of wave energy &amp; generic modelling of ocean devices for power system studies
Blavette, Anne
The work presented in this thesis covers four major topics of research related to the grid integration of wave energy. More specifically, the grid impact of a wave farm on the power quality of its local network is investigated. Two estimation methods were developed regarding the flicker level Pst generated by a wave farm in relation to its rated power as well as in relation to the impedance angle ψk of the node in the grid to which it is connected. The electrical design of a typical wave farm design is also studied in terms of minimum rating for three types of costly pieces of equipment, namely the VAr compensator, the submarine cables and the overhead line. The power losses dissipated within the farm's electrical network are also evaluated. The feasibility of transforming a test site into a commercial site of greater rated power is investigated from the perspective of power quality and of cables and overhead line thermal loading. Finally, the generic modelling of ocean devices, referring here to both wave and tidal current devices, is investigated.
</description>
<dc:date>2013-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="http://hdl.handle.net/10468/580">
<title>Optimisation of Smart Grid performance using centralised and distributed control techniques</title>
<link>http://hdl.handle.net/10468/580</link>
<description>Optimisation of Smart Grid performance using centralised and distributed control techniques
McNamara, Paul
A massive change is currently taking place in the manner in which power networks&#13;
are operated. Traditionally, power networks consisted of large power stations which&#13;
were controlled from centralised locations. The trend in modern power networks is for&#13;
generated power to be produced by a diverse array of energy sources which are spread&#13;
over a large geographical area. As a result, controlling these systems from a&#13;
centralised controller is impractical. Thus, future power networks will be controlled&#13;
by a large number of intelligent distributed controllers which must work together to&#13;
coordinate their actions. The term Smart Grid is the umbrella term used to denote this&#13;
combination of power systems, artificial intelligence, and communications&#13;
engineering.&#13;
This thesis focuses on the application of optimal control techniques to Smart Grids&#13;
with a focus in particular on iterative distributed MPC. A novel convergence and&#13;
stability proof for iterative distributed MPC based on the Alternating Direction&#13;
Method of Multipliers is derived. Distributed and centralised MPC, and an optimised&#13;
PID controllers' performance are then compared when applied to a highly&#13;
interconnected, nonlinear, MIMO testbed based on a part of the Nordic power grid.&#13;
Finally, a novel tuning algorithm is proposed for iterative distributed MPC which&#13;
simultaneously optimises both the closed loop performance and the communication&#13;
overhead associated with the desired control.
</description>
<dc:date>2012-02-20T00:00:00Z</dc:date>
</item>
</rdf:RDF>
