5 resultados para proof

em CORA - Cork Open Research Archive - University College Cork - Ireland


Relevância:

10.00% 10.00%

Publicador:

Resumo:

A massive change is currently taking place in the manner in which power networks are operated. Traditionally, power networks consisted of large power stations which were controlled from centralised locations. The trend in modern power networks is for generated power to be produced by a diverse array of energy sources which are spread over a large geographical area. As a result, controlling these systems from a centralised controller is impractical. Thus, future power networks will be controlled by a large number of intelligent distributed controllers which must work together to coordinate their actions. The term Smart Grid is the umbrella term used to denote this combination of power systems, artificial intelligence, and communications engineering. This thesis focuses on the application of optimal control techniques to Smart Grids with a focus in particular on iterative distributed MPC. A novel convergence and stability proof for iterative distributed MPC based on the Alternating Direction Method of Multipliers is derived. Distributed and centralised MPC, and an optimised PID controllers' performance are then compared when applied to a highly interconnected, nonlinear, MIMO testbed based on a part of the Nordic power grid. Finally, a novel tuning algorithm is proposed for iterative distributed MPC which simultaneously optimises both the closed loop performance and the communication overhead associated with the desired control.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The aim of this dissertation is to revive the 19th-century thinker Max Stirner’s thought through a critical reexamination of his mistaken legacy as a ‘political’ thinker. The reading of Stirner that I present is one of an ontological thinker, spurred on as much—if not more—by the contents of Hegel’s Phenomenology of Spirit as it is the radical roots that Hegel unintentionally planted. In the first chapter, the role of language in Stirner’s thought is examined, and the problems to which his conception of language seem to give rise are addressed. The second chapter looks at Stirner’s purportedly ‘anarchistic’ politics and finds the ‘anarchist’ reading of Stirner misguided. Rather than being a ‘political’ anarchist, it is argued that we ought to understand Stirner as advocating a sort of ‘ontological’ anarchism in which the very existence of authority is questioned. In the third chapter, I look at the political ramifications of Stirner’s ontology as well as the critique of liberalism contained within it, and argue that the politics implicit in his philosophy shares more in common with the tradition of political realism than it does anarchism. The fourth chapter is dedicated to an examination of Stirner’s anti-humanism, which is concluded to be much different than the ‘anti-humanisms’ associated with other, more famous thinkers, such as Foucault and Heidegger. In the fifth and final chapter, I provide an answer to the question(s) of how, if, and to what extent Friedrich Nietzsche was influenced by Stirner. It is concluded that the complete lack of evidence that Nietzsche ever read Stirner is proof enough to dismiss accusations of plagiarism on Nietzsche’s part, thus emphasizing the originality and singularity of both thinkers.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis examines the earliest extant Latin Lives of Brigit and Patrick; Cogitosus’s Vita Brigidae and Muirchú’s Vita Patricii as evidence for a seventh-century debate on Irish apostolicity. While often dismissed as mere propaganda, this thesis shows they are highly sophisticated demonstrations of the continuing connection that Kildare and Armagh had to their patron saints and their authority. It examines the importance of this connection for concepts of ecclesiastical organisation, teaching authority and episcopal succession against the backdrop of the seventh-century Easter question in the Insular Church. This will show that apostolicity was considered to be intrinsically linked with orthodoxy and universality. A textual focus brings forth general patristic themes and ideas that Irish hagiographers evoked through specific words and phrases. The thesis contextualises hagiographical material using evidence from Hiberno-Latin and early Insular exegetical commentaries, referring to major patristic exegetes such as Origen, Jerome, Augustine, and Gregory the Great as support. The introduction discusses the importance of apostolic ideology for the seventh-century Irish Church, and outlines a methodology for examining such abstract themes. The first chapter looks at how developments in apostolic ideology led to ideas of apostolic primacy seen in the Insular material. Chapters two, three, and four examine metaphors of food and feeding, the fountain and the stream, and the head and the body, as significant articulations of apostolicity. Chapter five examines how corporeal relics were understood as the visible proof of this continuity and preserved a saint’s authority for their episcopal heirs. Chapter six looks at how Muirchú engaged with Patrick’s connection to the universal Church and his self-professed lack of disciplina to reconcile his apostolicity with seventh-century norms. Chapter seven places the issues considered thus far in a thoroughly Insular context by examining how the earliest English sources present the Irish legacy in Northumbria after the synod of Whitby. Chapter eight looks at how the text of Patrick’s Confessio in the Book of Armagh relates to a wider seventh-century campaign by Armagh to rehabilitate Patrick’s apostolicity. The conclusion briefly summarizes the thesis, and suggests further avenues for researching this topic in the Insular material

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Cancer represents a leading of cause of death in the developed world, inflicting tremendous suffering and plundering billions from health budgets. The traditional treatment approaches of surgery, radiotherapy and chemotherapy have achieved little in terms of cure for this deadly disease. Instead, life is prolonged for many, with dubious quality of life, only for disease to reappear with the inevitable fatal outcome. “Blue sky” thinking is required to tackle this disease and improve outcomes. The realisation and acceptance of the intrinsic role of the immune system in cancer pathogenesis, pathophysiology and treatment represented such a “blue sky” thought. Moreover, the embracement of immunotherapy, the concept of targeting immune cells rather than the tumour cells themselves, represents a paradigm shift in the approach to cancer therapy. The harnessing of immunotherapy demands radical and innovative therapeutic endeavours – endeavours such as gene and cell therapies and RNA interference, which two decades ago existed as mere concepts. This thesis straddles the frontiers of fundamental tumour immunobiology and novel therapeutic discovery, design and delivery. The work undertaken focused on two distinct immune cell populations known to undermine the immune response to cancer – suppressive T cells and macrophages. Novel RNAi mediators were designed, validated and incorporated into clinically relevant gene therapy vectors – involving a traditional lentiviral vector approach, and a novel bacterial vector strategy. Chapter 2 deals with the design of novel RNAi mediators against FOXP3 – a crucial regulator of the immunosuppressive regulatory T cell population. Two mediators were tested and validated. The superior mediator was taken forward as part of work in chapter 3. Chapter 3 deals with transposing the RNA sequence from chapter 2 into a DNA-based construct and subsequent incorporation into a lentiviral-based vector system. The lentiviral vector was shown to mediate gene delivery in vitro and functional RNAi was achieved against FOXP3. Proof of gene delivery was further confirmed in vivo in tumour-bearing animals. Chapter 4 focuses on a different immune cell population – tumour-associated macrophages. Non-invasive bacteria were explored as a specific means of delivering gene therapy to this phagocytic cell type. Proof of delivery was shown in vitro and in vivo. Moreover, in vivo delivery of a gene by this method achieved the desired immune response in terms of cytokine profile. Overall, the data presented here advance exploration within the field of cancer immunotherapy, introduce novel delivery and therapeutic strategies, and demonstrate pre-clinically the potential for such novel anti-cancer therapies.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mode-locked semiconductor lasers are compact pulsed sources with ultra-narrow pulse widths and high repetition-rates. In order to use these sources in real applications, their performance needs to be optimised in several aspects, usually by external control. We experimentally investigate the behaviour of recently-developed quantum-dash mode-locked lasers (QDMLLs) emitting at 1.55 μm under external optical injection. Single-section and two-section lasers with different repetition frequencies and active-region structures are studied. Particularly, we are interested in a regime which the laser remains mode-locked and the individual modes are simultaneously phase-locked to the external laser. Injection-locked self-mode-locked lasers demonstrate tunable microwave generation at first or second harmonic of the free-running repetition frequency with sub-MHz RF linewidth. For two-section mode-locked lasers, using dual-mode optical injection (injection of two coherent CW lines), narrowing the RF linewidth close to that of the electrical source, narrowing the optical linewidths and reduction in the time-bandwidth product is achieved. Under optimised bias conditions of the slave laser, a repetition frequency tuning ratio >2% is achieved, a record for a monolithic semiconductor mode-locked laser. In addition, we demonstrate a novel all-optical stabilisation technique for mode-locked semiconductor lasers by combination of CW optical injection and optical feedback to simultaneously improve the time-bandwidth product and timing-jitter of the laser. This scheme does not need an RF source and no optical to electrical conversion is required and thus is ideal for photonic integration. Finally, an application of injection-locked mode-locked lasers is introduced in a multichannel phase-sensitive amplifier (PSA). We show that with dual-mode injection-locking, simultaneous phase-synchronisation of two channels to local pump sources is realised through one injection-locking stage. An experimental proof of concept is demonstrated for two 10 Gbps phase-encoded (DPSK) channels showing more than 7 dB phase-sensitive gain and less than 1 dB penalty of the receiver sensitivity.