Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Feasibility of combined wind-wave energy platforms

The European Union has set out an ambitious 20% target for renewable energy use by 2020. It is expected that this will be met mainly by wind energy. Looking towards 2050, reductions in greenhouse gas emissions of 80-95% are to be sought. Given the issues securing this target in the transport and agriculture sectors, it may only be possible to achieve this target if the power sector is carbon neutral well in advance of 2050. This has permitted the vast expansion of offshore renewables, wind, wave and tidal energy. Offshore wind has undergone rapid development in recent years however faces significant challenges up to 2020 to ensure commercial viability without the need for government subsidies. Wave energy is still in the very early stages of development so as yet there has been no commercial roll out. As both of these technologies are to face similar challenges in ensuring they are a viable alternative power generation method to fossil fuels, capitalising on the synergies is potentially a significant cost saving initiative. The advent of hybrid solutions in a variety of configurations is the subject of this thesis. A singular wind-wave energy platform embodies all the attributes of a hybrid system, including sharing space, transmission infrastructure, O&M activities and a platform/foundation. This configuration is the subject of this thesis, and it is found that an OWC Array platform with multi-MegaWatt wind turbines is a technically feasible, and potentially an economically feasible solution in the long term. Methods of design and analysis adopted in this thesis include numerical and physical modelling of power performance, structural analysis, fabrication cost modelling, simplified project economic modelling and time domain reliability modelling of a 210MW hybrid farm. The application of these design and analysis methods has resulted in a hybrid solution capable of producing energy at a cost between €0.22/kWh and €0.31/kWh depending on the source of funding for the project. Further optimisation through detailed design is expected to lower this further. This thesis develops new and existing methods of design and analysis of wind and wave energy devices. This streamlines the process of early stage development, while adhering to the widely adopted Concept Development Protocol, to develop a technically and economically feasible, combined wind-wave energy hybrid solution.