Nominal Context-Free Behaviour

This thesis investigates and proposes models for programming and verifying adaptive software at different abstraction levels. First, we design the kernel of a programming language, endowed with primitives for programming the adaptation to different working environments. We provide the language with a type and effect system that allows us to statically prove properties of the behaviour of the program when plugged in different execution environments. Then we extend our language to program the use of the resources currently available in the environment. In this case, the identity and the number of resources is unknown a-priori. The previous analysis technique needs to be extended to capture the behaviour of these programs. We exploit nominal techniques in the literature to propose novel automata models that represent the behaviour and the properties of programs that use an unbounded number of unknown resources as (regular and context-free) set of traces. The theoretical properties of these automata are investigated and related with static program verification. We prove that we are able to check regular properties of the usage patterns of the resources when resource reuse is inhibited

Towards Nominal Formal Languages

We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages

Automatic annotation of the Penn-treebank with LFG f-structure information

Lexical-Functional Grammar f-structures are abstract syntactic representations approximating basic predicate-argument structure. Treebanks annotated with f-structure information are required as training resources for stochastic versions of unification and constraint-based grammars and for the automatic extraction of such resources. In a number of papers (Frank, 2000; Sadler, van Genabith and Way, 2000) have developed methods for automatically annotating treebank resources with f-structure information. However, to date, these methods have only been applied to treebank fragments of the order of a few hundred trees. In the present paper we present a new method that scales and has been applied to a complete treebank, in our case the WSJ section of Penn-II (Marcus et al, 1994), with more than 1,000,000 words in about 50,000 sentences

Synchronization and Characterization of an Ultra-Short Laser for Photoemission and Electron-Beam Diagnostics Studies at a Radio Frequency Photoinjector

A commercially-available titanium-sapphire laser system has recently been installed at the Fermilab A0 photoinjector laboratory in support of photoemission and electron beam diagnostics studies. The laser system is synchronized to both the 1.3-GHz master oscillator and a 1-Hz signal use to trigger the radiofrequency system and instrumentation acquisition. The synchronization scheme and performance are detailed. Long-term temporal and intensity drifts are identified and actively suppressed to within 1 ps and 1.5%, respectively. Measurement and optimization of the laser's temporal profile are accomplished using frequency-resolved optical gating.Comment: 16 pages, 17 figures, Preprint submitted to Elsevie

Experimental investigation of the mooring system of a wave energy converter in operating and extreme wave conditions

A proper design of the mooring systems for Wave Energy Converters (WECs) requires an accurate investigation of both operating and extreme wave conditions. A careful analysis of these systems is required to design a mooring configuration that ensures station keeping, reliability, maintainability, and low costs, without affecting the WEC dynamics. In this context, an experimental campaign on a 1:20 scaled prototype of the ISWEC (Inertial Sea Wave Energy Converter), focusing on the influence of the mooring layout on loads in extreme wave conditions, is presented and discussed. Two mooring configurations composed of multiple slack catenaries with sub-surface buoys, with or without clump-weights, have been designed and investigated experimentally. Tests in regular, irregular, and extreme waves for a moored model of the ISWEC device have been performed at the University of Naples Federico II. The aim is to identify a mooring solution that could guarantee both correct operation of the device and load carrying in extreme sea conditions. Pitch motion and loads in the rotational joint have been considered as indicators of the device hydrodynamic behavior and mooring configuration impact on the WEC