Metodi di ottimizzazione morfologica nel progetto preliminare di propulsori aeronautici avanzati

The aim of this Doctoral Thesis is to develop a genetic algorithm based optimization methods to find the best conceptual design architecture of an aero-piston-engine, for given design specifications. Nowadays, the conceptual design of turbine airplanes starts with the aircraft specifications, then the most suited turbofan or turbo propeller for the specific application is chosen. In the aeronautical piston engines field, which has been dormant for several decades, as interest shifted towards turboaircraft, new materials with increased performance and properties have opened new possibilities for development. Moreover, the engine’s modularity given by the cylinder unit, makes it possible to design a specific engine for a given application. In many real engineering problems the amount of design variables may be very high, characterized by several non-linearities needed to describe the behaviour of the phenomena. In this case the objective function has many local extremes, but the designer is usually interested in the global one. The stochastic and the evolutionary optimization techniques, such as the genetic algorithms method, may offer reliable solutions to the design problems, within acceptable computational time. The optimization algorithm developed here can be employed in the first phase of the preliminary project of an aeronautical piston engine design. It’s a mono-objective genetic algorithm, which, starting from the given design specifications, finds the engine propulsive system configuration which possesses minimum mass while satisfying the geometrical, structural and performance constraints. The algorithm reads the project specifications as input data, namely the maximum values of crankshaft and propeller shaft speed and the maximal pressure value in the combustion chamber. The design variables bounds, that describe the solution domain from the geometrical point of view, are introduced too. In the Matlab® Optimization environment the objective function to be minimized is defined as the sum of the masses of the engine propulsive components. Each individual that is generated by the genetic algorithm is the assembly of the flywheel, the vibration damper and so many pistons, connecting rods, cranks, as the number of the cylinders. The fitness is evaluated for each individual of the population, then the rules of the genetic operators are applied, such as reproduction, mutation, selection, crossover. In the reproduction step the elitist method is applied, in order to save the fittest individuals from a contingent mutation and recombination disruption, making it undamaged survive until the next generation. Finally, as the best individual is found, the optimal dimensions values of the components are saved to an Excel® file, in order to build a CAD-automatic-3D-model for each component of the propulsive system, having a direct pre-visualization of the final product, still in the engine’s preliminary project design phase. With the purpose of showing the performance of the algorithm and validating this optimization method, an actual engine is taken, as a case study: it’s the 1900 JTD Fiat Avio, 4 cylinders, 4T, Diesel. Many verifications are made on the mechanical components of the engine, in order to test their feasibility and to decide their survival through generations. A system of inequalities is used to describe the non-linear relations between the design variables, and is used for components checking for static and dynamic loads configurations. The design variables geometrical boundaries are taken from actual engines data and similar design cases. Among the many simulations run for algorithm testing, twelve of them have been chosen as representative of the distribution of the individuals. Then, as an example, for each simulation, the corresponding 3D models of the crankshaft and the connecting rod, have been automatically built. In spite of morphological differences among the component the mass is almost the same. The results show a significant mass reduction (almost 20% for the crankshaft) in comparison to the original configuration, and an acceptable robustness of the method have been shown. The algorithm here developed is shown to be a valid method for an aeronautical-piston-engine preliminary project design optimization. In particular the procedure is able to analyze quite a wide range of design solutions, rejecting the ones that cannot fulfill the feasibility design specifications. This optimization algorithm could increase the aeronautical-piston-engine development, speeding up the production rate and joining modern computation performances and technological awareness to the long lasting traditional design experiences.

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Über die Linearität der Teichmüllerschen Modulgruppe des Torus mit zwei Punktierungen

Über die Liniarität der Teichmüllerschen Modulgruppe des Torus mit zwei Punktierungen. In meiner Arbeit beschäftige ich mich mit Darstellungen der Teichmüllerschen Modulgruppe des Torus mit zwei Punktierungen. Mein Ansatz hierbei ist, die Teichmüllersche Modulgruppe in eine p-adische Liegruppe einzubetten. Sei nun F die von zwei Elementen erzeugte freie Gruppe und Aut(F) die Automorphismengruppe von F. Inhalt des ersten Kapitels ist es nun zu zeigen, daß folgende Aussagen äquivalent sind: - Die Teichmüllersche Modulgruppe des Torus mit zwei Punktierungen ist linear, - Aut(F)ist linear, - F besitzt eine p-Kongruenzstruktur, deren Folgen- glieder von Aut(F) festgehalten werden, also charak- teristisch sind. Im zweiten Kapitel wird unter anderem gezeigt, daß es eine Einbettung einer Untergruppe endlichen Indexes der Aut(F) in die Automorphismengruppe einer einfachen p-adischen Liegruppe gibt. Bisher ist unbekannt, ob die Buraudarstellung treu ist.In dieser Arbeit wird ein unendliches, lineares Gleichungssystem, dessen Lösungen gerade die Koeffizienten der Wörter des Kernes der Buraudarstellung sind, vorgestellt.Im dritten Kapitel wird mit den Methoden des 1.Kapitels gezeigt, daß der Torus mit zwei Punktierungen genau dann linear ist, wenn die Teichmüllersche Modulgruppe der Sphäre mit 5 Punktierungen es auch ist. Bekanntlich ist die 4. Braidgruppe linear. Nun ist aber die 4. Braidgruppe letztlich die Teichmüllersche Modulgruppe der abgeschlossenen Kreisscheibe mit 5 Punktierungen. Wenn man nun deren Randpunkte miteinander identifiziert und anschließend wegläßt, erhält man die 5-fach punktiereSphäre.Mit der eben beschriebenen Abbildung kann man zeigen, daß die Teichmüllersche Modulgruppe der fünffach punktierten Sphäre linear ist.

Decomposition and reformulation of integer linear programming problems

This thesis deals with an investigation of Decomposition and Reformulation to solve Integer Linear Programming Problems. This method is often a very successful approach computationally, producing high-quality solutions for well-structured combinatorial optimization problems like vehicle routing, cutting stock, p-median and generalized assignment . However, until now the method has always been tailored to the specific problem under investigation. The principal innovation of this thesis is to develop a new framework able to apply this concept to a generic MIP problem. The new approach is thus capable of auto-decomposition and autoreformulation of the input problem applicable as a resolving black box algorithm and works as a complement and alternative to the normal resolving techniques. The idea of Decomposing and Reformulating (usually called in literature Dantzig and Wolfe Decomposition DWD) is, given a MIP, to convexify one (or more) subset(s) of constraints (slaves) and working on the partially convexified polyhedron(s) obtained. For a given MIP several decompositions can be defined depending from what sets of constraints we want to convexify. In this thesis we mainly reformulate MIPs using two sets of variables: the original variables and the extended variables (representing the exponential extreme points). The master constraints consist of the original constraints not included in any slaves plus the convexity constraint(s) and the linking constraints(ensuring that each original variable can be viewed as linear combination of extreme points of the slaves). The solution procedure consists of iteratively solving the reformulated MIP (master) and checking (pricing) if a variable of reduced costs exists, and in which case adding it to the master and solving it again (columns generation), or otherwise stopping the procedure. The advantage of using DWD is that the reformulated relaxation gives bounds stronger than the original LP relaxation, in addition it can be incorporated in a Branch and bound scheme (Branch and Price) in order to solve the problem to optimality. If the computational time for the pricing problem is reasonable this leads in practice to a stronger speed up in the solution time, specially when the convex hull of the slaves is easy to compute, usually because of its special structure.

Vendemmia meccanica: aspettative, problematiche e risposte sperimentali

Lo vendemmia meccanica incontra ancora resistenze legate al timore di peggiorare la qualità del prodotto e di avere elevate perdite di raccolta. In questo contesto sono state effettuate quattro prove sperimentali, finalizzate a definire le interazioni macchina, pianta e prodotto raccolto e a valutare nuove possibilità di regolazione delle vendemmiatrici e di gestione del prodotto raccolto. Le prime due sono state realizzate con vendemmiatrici a scuotimento orizzontale e verticale. L’obiettivo è stato quello di individuare l’influenza della frequenza del battitore sull’efficienza di raccolta e sulla qualità del prodotto e di verificare il maltrattamento provocato dagli organi di intercettazione e trasporto della vendemmiatrice. I risultati hanno dimostrato l’importanza della corretta regolazione del battitore delle vendemmiatrici a scuotimento orizzontale che operano direttamente sulla fascia produttiva del vigneto. Questa regolazione risulta più semplice sulle macchine a scuotimento verticale che agiscono indirettamente sui fili di sostegno delle doppie cortine. La misura delle sollecitazioni all’interno della macchina ha evidenziato valori anche elevati, pericolosi per l’integrità del prodotto raccolto, legati alla differente costruzione degli organi d’intercettazione e trasporto. La terza prova ha valutato l’efficacia di due nuovi accessori per le vendemmiatrici: la regolazione dell’ampiezza del battitore e un sensore per misurare in continuo il grado di ammostamento provocato. I risultati hanno dimostrato la loro validità per migliorare le prestazioni operative delle vendemmiatrici e per fornire agli operatori uno strumento di controllo in tempo reale sulla qualità della raccolta. Infine, considerando che le vendemmiatrici producono sempre un ammostamento dell’uva, abbiamo verificato un sistema innovativo che permette di anticipare la protezione del mosto libero già durante il trasporto dal campo. Il sistema si è dimostrato semplice, efficace ed economico. Queste esperienze hanno dimostrano che la vendemmia meccanica, se correttamente gestita, permette di ottenere ottimi risultati sotto il profilo qualitativo, tecnologico ed economico.

Aktivierung von Hämocyanin zur Tyrosinase

Ziel der Arbeit war die enzymatische Aktivierung von Cheliceraten-Hämocyanin zur Erforschung ihrer Phenoloxidase-Aktivität. Hierzu wurden zwei Hämocyanine in vergleichenden Untersuchungen herangezogen: Das bekannte 24-mer aus der Spinne Eurypelma californicum und das ebenfalls 24-mere Hämocyanin des Skorpions Pandinus imperator, dessen Struktur hier aufgeklärt wurde. Elektronenmikroskopisch und in der dynamischer Lichtstreuung sind sich beide Hämocyanine sehr ähnlich und sedimentieren bei analytischer Ultrazentrifugation ebenfalls in gleicher Weise (Sedimentationskoeffizient von 37 S (S20, W)). Durch Dissoziation im alkalischen Milieu gewinnt man bis zu zwölf Untereinheiten, von denen sich neun immunologisch unterscheiden lassen. Das absorptionsspektroskopische Verhalten von P. imperator- und E. californicum-Hämocyanin sowie Sekundärstrukturanalyse mittels CD-Spektroskopie ist nahezu identisch. Die Stabilität des Hämocyanins gegenüber Temperatur und Denaturierungsmitteln wurde mit Circulardichroismus- und Fluoreszenzspektroskopie sowie durch die enzymatische Aktivität untersucht. Erstmals konnten die Hämocyanine von P. imperator und E. californicum nicht nur zu einer stabilen Diphenoloxidase umgewandelt werden, sondern auch eine Monophenolhydroxylase-Aktivität induziert und reguliert werden. Für letztere Aktivität ist dabei die Präsenz von Tris- oder Hepes-Puffer wesentlich. Während sich die Monophenolhydroxylase-Aktivität nur auf Ebene der oligomeren Zustände beobachten lässt, erkennt man bei den isolierten Untereinheiten-Typen lediglich eine Diphenoloxidase-Aktivität. Bei dem Spinnen-Hämocyanin zeigen die Untereinheiten bc die stärkste katalytische Aktivität auf, bei P. imperator-Hämocyanin findet man drei bis vier Untereinheiten, die enzymatisch aktiv sind. Die Aktivierung mit SDS liefert den Hinweis, dass die Quartärstruktur in eine andere Konformation gebracht und nicht durch SDS denaturiert wird. Zugabe von Mg2+ reguliert die Phenoloxidase-Aktivität und verschiebt bei P. imperator-Hämocyanin die enzymatische Aktivität zugunsten der Diphenoloxidase. Mit keiner der zur Verfügung stehenden Methoden konnte jedoch ein Konformationsübergang eindeutig nachgewiesen werden. Die Stabilität scheint durch die niedrigen SDS-Konzentrationen nicht beeinträchtigt zu werden. Die sehr lange “Verzögerungsphase“ bei der Monophenolhydroxylase-Aktivität konnte durch Zugabe von katalytischem Diphenol drastisch verkürzt werden, was ein Hinweis auf die echte Tyrosinase-Aktivität des aktivierten Hämocyanins ist. Ein in vivo-Aktivator konnte bis jetzt noch nicht gefunden werden. Trotzdem scheinen die Hämocyanine in der Immunologie von Cheliceraten eine bedeutende Rolle zu spielen, indem sie die Rolle der Tyrosinasen / Phenoloxidasen beziehungsweise Catecholoxidasen übernehmen, die bei Cheliceraten nicht vorkommen. Weitere Möglichkeiten des Cheliceraten-Immunsystems, eindringende Fremdorganismen abzuwehren, wurden untersucht. Das Fehlen einer ´echten` Phenoloxidase-Aktivität bei den Cheliceraten, mit der Fähigkeit, sowohl mono- als auch diphenolische Substrate umzusetzen, stützt die Hypothese, dass aktiviertes Hämocyanin in vivo an die Stelle der Phenoloxidase tritt.

Psychiatric comorbidity, Restless Legs Syndrome and Nocturnal Eating Disorder: a case-control study

Objective: to evaluate the psychopathological profile in primary Restless Legs Syndrome (p-RLS) patients with and without nocturnal eating disorder (NED), analysing obsessive-compulsive traits, mood and anxiety disorder, and the two domains of personality proposed by Cloninger, temperament and character. Methods: we tested ten p-RLS patients without NED, ten p-RLS patients with NED and ten healthy control subjects, age and sex-matched, using Hamilton Depression and Anxiety Rating Scales, State-Trait Anxiety Inventory, Maudsley Obsessive Compulsive Inventory (MOCI) and Temperament and Character Inventory - revised (TCI). Results: p-RLS patients, particularly those with NED, had increased anxiety factor scores. MOCI-total, doubting and checking compulsion, and TCI-harm avoidance scores were significantly higher in p-RLS patients with NED. p-RLS patients without NED had significantly higher MOCI-doubting scores and a trend toward higher checking compulsion and harm avoidance scores with an apparent grading from controls to p-RLS patients without NED to p-RLS with NED. Conclusions: higher harm avoidance might predispose to display obsessive-compulsive symptoms, RLS and then, with increasing severity, compulsive nocturnal eating. RLS and NED could represent a pathological continuum in which a dysfunction in the limbic system, possibly driven by a dopaminergic dysfunction, could be the underlying pathophysiological mechanism.

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Deadlock analysis of asynchronous sequential processes

In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

Measurement of ttbar production differential cross section at \sqrt{s}=8 TeV at ATLAS

Top quark studies play an important role in the physics program of the Large Hadron Collider (LHC). The energy and luminosity reached allow the acquisition of a large amount of data especially in kinematic regions never studied before. In this thesis is presented the measurement of the ttbar production differential cross section on data collected by ATLAS in 2012 in proton proton collisions at \sqrt{s} = 8 TeV, corresponding to an integrated luminosity of 20.3 fb^{−1}. The measurement is performed for ttbar events in the semileptonic channel where the hadronically decaying top quark has a transverse momentum above 300 GeV. The hadronic top quark decay is reconstructed as a single large radius jet and identified using jet substructure properties. The final differential cross section result has been compared with several theoretical distributions obtaining a discrepancy of about the 25% between data and predictions, depending on the MC generator. Furthermore the kinematic distributions of the ttbar production process are very sensitive to the choice of the parton distribution function (PDF) set used in the simulations and could provide constraints on gluons PDF. In particular in this thesis is performed a systematic study on the PDF of the protons, varying several PDF sets and checking which one better describes the experimental distributions. The boosted techniques applied in this measurement will be fundamental in the next data taking at \sqrt{s}=13 TeV when will be produced a large amount of heavy particles with high momentum.

Schriftlicher Text im Film und seine Übersetzung : die Inserts der BBC-Serie Sherlock (2010-12) ; aus der Perspektive von Untertiteltheorie, Comictheorie und Translationspraxis

Die BBC-Serie SHERLOCK war 2011 eine der meistexportierten Fernsehproduktionen Großbritanniens und wurde weltweit in viele Sprachen übersetzt. Eine der Herausforderungen bei der Übersetzung stellen die Schrifteinblendungen der Serie (kurz: Inserts) dar. Die Inserts versprachlichen die Gedanken des Protagonisten, bilden schriftliche und digitale Kommunikation ab und zeichnen sich dabei durch ihre visuelle Auffälligkeit und teilweise als einzige Träger sprachlicher Kommunikation aus, womit sie zum wichtigen ästhetischen und narrativen Mittel in der Serie werden. Interessanterweise sind in der Übersetztung alle stilistischen Eigenschaften der Original-Inserts erhalten. In dieser Arbeit wird einerseits untersucht, wie Schrifteinblendungen im Film theoretisch beschrieben werden können, und andererseits, was sie in der Praxis so übersetzt werden können, wie es in der deutschen Version von Sherlock geschah. Zur theoretischen Beschreibung werden zunächst die Schrifteinblendungen in Sherlock Untertitelungsnormen anhand relevanter grundlegender semiotischer Dimensionen gegenübergestellt. Weiterhin wird das Verhältnis zwischen Schrifteinblendungen und Filmbild erkundet. Dazu wird geprüft, wie gut verschiedene Beschreibungsansätze zu Text-Bild-Verhältnissen aus der Sprachwissenschaft, Comicforschung, Übersetzungswissenschaft und Typografie die Einblendungen in Sherlock erklären können. Im praktischen Teil wird die Übersetzung der Einblendungen beleuchtet. Der Übersetzungsprozess bei der deutschen Version wird auf Grundlage eines Experteninterviews mit dem Synchronautor der Serie rekonstruiert, der auch für die Formulierung der Inserts zuständig war. Abschließend werden spezifische Übersetzungsprobleme der Inserts aus der zweiten Staffel von SHERLOCK diskutiert. Es zeigt sich, dass Untertitelungsnormen zur Beschreibung von Inserts nicht geeignet sind, da sie in Dimensionen wie Position, grafische Gestaltung, Animation, Soundeffekte, aber auch Timing stark eingeschränkt sind. Dies lässt sich durch das historisch geprägte Verständnis von Untertiteln erklären, die als möglichst wenig störendes Beiwerk zum fertigen Filmbild und -ablauf (notgedrungen) hinzugefügt werden, wohingegen für die Inserts in SHERLOCK teilweise sogar ein zentraler Platz in der Bild- und Szenenkomposition bereits bei den Dreharbeiten vorgesehen wurde. In Bezug auf Text-Bild-Verhältnisse zeigen sich die größten Parallelen zu Ansätzen aus der Comicforschung, da auch dort schriftliche Texte im Bild eingebettet sind anstatt andersherum. Allerdings sind auch diese Ansätze zur Beschreibung von Bewegung und Ton unzureichend. Die Erkundung der Erklärungsreichweite weiterer vielversprechender Konzepte, wie Interface und Usability, bleibt ein Ziel für künftige Studien. Aus dem Experteninterview lässt sich schließen, dass die Übersetzung von Inserts ein neues, noch unstandardisiertes Verfahren ist, in dem idiosynkratische praktische Lösungen zur sprachübergreifenden Kommunikation zwischen verschiedenen Prozessbeteiligten zum Einsatz kommen. Bei hochqualitative Produktionen zeigt ist auch für die ersetzende Insertübersetzung der Einsatz von Grafikern unerlässlich, zumindest für die Erstellung neuer Inserts als Übersetzungen von gefilmtem Text (Display). Hierbei sind die theoretisch möglichen Synergien zwischen Sprach- und Bildexperten noch nicht voll ausgeschöpft. Zudem zeigt sich Optimierungspotential mit Blick auf die Bereitstellung von sorgfältiger Dokumentation zur ausgangssprachlichen Version. Diese wäre als Referenzmaterial für die Übersetzung insbesondere auch für Zwecke der internationalen Qualitätssicherung relevant. Die übersetzten Inserts in der deutschen Version weisen insgesamt eine sehr hohe Qualität auf. Übersetzungsprobleme ergeben sich für das genretypische Element der Codes, die wegen ihrer Kompaktheit und multiplen Bezügen zum Film eine Herausforderung darstellen. Neben weiteren bekannten Übersetzungsproblemen wie intertextuellen Bezügen und Realia stellt sich immer wieder die Frage, wieviel der im Original dargestellten Insert- und Displaytexte übersetzt werden müssen. Aus Gründen der visuellen Konsistenz wurden neue Inserts zur Übersetzung von Displays notwendig. Außerdem stellt sich die Frage insbesondere bei Fülltexten. Sie dienen der Repräsentation von Text und der Erweiterung der Grenzen der fiktiv dargestellten Welt, sind allerdings mit hohem Übersetzungsaufwand bei minimaler Bedeutung für die Handlung verbunden.

Repetitive behaviours in patients with Gilles de la Tourette syndrome: tics, compulsions, or both?

Background Repetitive behaviours (RB) in patients with Gilles de la Tourette syndrome (GTS) are frequent. However, a controversy persists whether they are manifestations of obssessive-compulsive disorder (OCD) or correspond to complex tics. Methods 166 consecutive patients with GTS aged 15–68 years were recruited and submitted to extensive neurological, psychiatric and psychological evaluations. RB were evaluated by the YBOCS symptom checklist and Mini International Neuropsychiatric Interview (M.I.N.I), and classified on the basis of a semi-directive psychiatric interview as compulsions or tics. Results RB were present in 64.4% of patients with GTS (107/166) and categorised into 3 major groups: a ‘tic-like’ group (24.3%–40/166) characterised by RB such as touching, counting, ‘just right’ and symmetry searching; an ‘OCD-like’ group (20.5%–34/166) with washing and checking rituals; and a ‘mixed’ group (13.2%–22/166) with both ‘tics-like’ and ‘OCD-like’ types of RB present in the same patient. In 6.3% of patients, RB could not be classified into any of these groups and were thus considered ‘undetermined’. Conclusions The results confirm the phenomenological heterogeneity of RB in GTS patients and allows to distinguish two types: tic-like behaviours which are very likely an integral part of GTS; and OCD-like behaviours, which can be considered as a comorbid condition of GTS and were correlated with higher score of complex tics, neuroleptic and SSRIs treatment frequency and less successful socio-professional adaptation. We suggest that a meticulous semiological analysis of RB in GTS patients will help to tailor treatment and allow to better classify patients for future pathophysiologic studies. Trial Registration ClinicalTrials.gov NCT00169351

Human Preferences for Symmetry: Subjective Experience, Cognitive Conflict and Cortical Brain Activity

This study examines the links between human perceptions, cognitive biases and neural processing of symmetrical stimuli. While preferences for symmetry have largely been examined in the context of disorders such as obsessive-compulsive disorder and autism spectrum disorders, we examine various these phenomena in non-clinical subjects and suggest that such preferences are distributed throughout the typical population as part of our cognitive and neural architecture. In Experiment 1, 82 young adults reported on the frequency of their obsessive-compulsive spectrum behaviors. Subjects also performed an emotional Stroop or variant of an Implicit Association Task (the OC-CIT) developed to assess cognitive biases for symmetry. Data not only reveal that subjects evidence a cognitive conflict when asked to match images of positive affect with asymmetrical stimuli, and disgust with symmetry, but also that their slowed reaction times when asked to do so were predicted by reports of OC behavior, particularly checking behavior. In Experiment 2, 26 participants were administered an oddball Event-Related Potential task specifically designed to assess sensitivity to symmetry as well as the OC-CIT. These data revealed that reaction times on the OC-CIT were strongly predicted by frontal electrode sites indicating faster processing of an asymmetrical stimulus (unparallel lines) relative to a symmetrical stimulus (parallel lines). The results point to an overall cognitive bias linking disgust with asymmetry and suggest that such cognitive biases are reflected in neural responses to symmetrical/asymmetrical stimuli.

Hoisting C Structures Into Clay In Device Drivers

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.

The Modified Direct Analysis Method: an Extension of the Direct Analysis Method

The purpose of this research project is to study an innovative method for the stability assessment of structural steel systems, namely the Modified Direct Analysis Method (MDM). This method is intended to simplify an existing design method, the Direct Analysis Method (DM), by assuming a sophisticated second-order elastic structural analysis will be employed that can account for member and system instability, and thereby allow the design process to be reduced to confirming the capacity of member cross-sections. This last check can be easily completed by substituting an effective length of KL = 0 into existing member design equations. This simplification will be particularly useful for structural systems in which it is not clear how to define the member slenderness L/r when the laterally unbraced length L is not apparent, such as arches and the compression chord of an unbraced truss. To study the feasibility and accuracy of this new method, a set of 12 benchmark steel structural systems previously designed and analyzed by former Bucknell graduate student Jose Martinez-Garcia and a single column were modeled and analyzed using the nonlinear structural analysis software MASTAN2. A series of Matlab-based programs were prepared by the author to provide the code checking requirements for investigating the MDM. By comparing MDM and DM results against the more advanced distributed plasticity analysis results, it is concluded that the stability of structural systems can be adequately assessed in most cases using MDM, and that MDM often appears to be a more accurate but less conservative method in assessing stability.