Maritime expressions:a corpus based exploration of maritime metaphors

This study uses a purpose-built corpus to explore the linguistic legacy of Britain’s maritime history found in the form of hundreds of specialised ‘Maritime Expressions’ (MEs), such as TAKEN ABACK, ANCHOR and ALOOF, that permeate modern English. Selecting just those expressions commencing with ’A’, it analyses 61 MEs in detail and describes the processes by which these technical expressions, from a highly specialised occupational discourse community, have made their way into modern English. The Maritime Text Corpus (MTC) comprises 8.8 million words, encompassing a range of text types and registers, selected to provide a cross-section of ‘maritime’ writing. It is analysed using WordSmith analytical software (Scott, 2010), with the 100 million-word British National Corpus (BNC) as a reference corpus. Using the MTC, a list of keywords of specific salience within the maritime discourse has been compiled and, using frequency data, concordances and collocations, these MEs are described in detail and their use and form in the MTC and the BNC is compared. The study examines the transformation from ME to figurative use in the general discourse, in terms of form and metaphoricity. MEs are classified according to their metaphorical strength and their transference from maritime usage into new registers and domains such as those of business, politics, sports and reportage etc. A revised model of metaphoricity is developed and a new category of figurative expression, the ‘resonator’, is proposed. Additionally, developing the work of Lakov and Johnson, Kovesces and others on Conceptual Metaphor Theory (CMT), a number of Maritime Conceptual Metaphors are identified and their cultural significance is discussed

Evolution of Quantum Algorithms using Genetic Programming

Automatic quantum circuit design is motivated by the difficulties in manual design, because quantum algorithms are highly non-intuitive and practical quantum computer hardware is not yet available. Thus, quantum computers have to be simulated on classical hardware which naturally entails an exponential growth of computational costs and allows only to simulate small quantum systems, i. e., with only few qubits. Huge search spaces render evolutionary approaches nearly unable to achieve breakthrough solutions in the development of new quantum algorithms. Consequently, at present we must be content to evolve essentially already existing (black-box) quantum algorithms. This thesis presents empirical results on the evolution of quantum circuits using genetic programming. For that purpose, a linear and a linear-tree GP system (allowing intermediate measurements) with integrated quantum computer simulator were implemented. Their practicality in evolving quantum circuits is shown in different experiments for 1-SAT (solutions act like Hogg's algorithm) and the Deutsch-Jozsa problem. These experiments confirm that the evolution of quantum circuits is practically feasible only for sufficiently small problem instances. In this context, scalability and the detection of scalability becomes very important. It is shown that scalable quantum circuits are evolvable to a certain degree: a general quantum circuit can be inferred manually from the evolved solutions for small instances of the given problem. Besides, further experiments indicate that 're-evolution' is effective for the evolution of scalable quantum circuits. With this method the start population of a problem instance is inoculated with evolved solutions for a smaller problem instance. Furthermore, investigations of fitness landscapes and selection strategies are made, with the aim of improving the efficiency of evolutionary search. A notable result is that using the crossover operator damages rather than benefits evolution of quantum circuits.Quantenalgorithmen sind hochgradig unintuitiv und einsetzbare Quantenrechner sind (noch) nicht verfügbar. Dies erschwert den manuellen Entwurf von Quantenalgorithmen und motiviert die Suche nach Techniken zum computerunterstützten bzw. automatischen Entwurf. Simulationen von Quantenschaltkreisen (QS) auf konventionellen Rechnern sind aber leider sehr rechenintensiv. Aufgrund der (in der Anzahl der Qubits) exponentiell anwachsenden Kosten ist nur eine Simulation kleiner Quantensysteme (mit wenig Qubits) akzeptabel. Zudem sind die Suchräume quasi beliebig groß,worin wohl auch begründet liegt, warum der evolutionäre Ansatz bislang nicht zu einem Durchbruch in der Entwicklung neuer Quantenalgorithmen führte. Zum gegenwärtigen Zeitpunkt muss man sich daher mit der Evolution bekannter (black-box) Quantenalgorithmen begnügen. Die vorliegende Arbeit präsentiert empirische Ergebnisse zur Evolution von QS mit Hilfe des Genetischen Programmierens. Für die Experimente wurde ein effizienter Quantensimulator entwickelt, der in einem umgebenden GP-System zum Einsatz kommt. Dabei wurden zunächst linear-tree (erlaubt Zwischenmessungen), später auch rein lineare Genom-Strukturen für die Programmrepräsentation verwendet. Die Evolvierbarkeit von QS wird an Hand von Experimenten für kleine Probleminstanzen des 1-SAT Problems und des Deutsch-Jozsa Problems gezeigt. Die Experimente bestätigen, dass die Evolution von QS nur für genügend kleine Probleminstanzen praktisch machbar ist. Vor diesem Hintergrund ist gerade die Skalierbarkeit von QS besonders wichtig. Es wird gezeigt, dass skalierbare QS bis zu einem gewissen Grad evolviert werden können. Dabei wird ein allgemeiner Schaltkreis von den evolvierten Lösungen für sehr kleine Probleminstanzen abgeleitet.Die Methode der 'Vorevolution', so belegen weitere Experimente, ist für die Evolution skalierbarer QS wirksam einsetzbar. Bei dieser Methode werden der Startpopulation einer Probleminstanz bereits evolvierte Lösungen einer kleineren Probleminstanz 'eingeimpft'. Ferner werden Fitnesslandschaften untersucht und ein Vergleich von Selektionsstrategien angestellt, mit dem Ziel, durch diese Erkenntnisse zu einer Effizienzsteigerung der evolutionären Suche zu gelangen. Dabei ist ein beachtenswertes Resultat, dass die Verwendung eines Crossover Operators der Evolution von QS eher schadet, als ihr nützt