The complexity associated with development of networked video games creates a need for tools for verifying a consistent player experience. Some networked games achieve consistency through the lockstep protocol, which requires identical execution of sent commands for players to stay synchronised. In this project a method for testing networked multiplayer lockstep games for synchronisation problems related to nondeterministic behaviour is formulated and evaluated. An integrated fuzzing AI is constructed which tries to cause desynchronisation in the tested game and generate data for analysis using log files. Scripts are used for performing semi-automated test runs and parsing the data. The results show that the test system has potential for finding synchronisation problems if the fuzzing AI is used in conjunction with the regular AI in the tested game, but not for finding the origins of said problems. / Komplexiteten förenad med utveckling av nätverksuppkopplade dataspel skapar ett behov av verktyg för att verifiera en konsistent spelarupplevelse. Vissa nätverksspel hålls konsistenta med hjälp av lockstep-protokollet, vilket kräver identisk exekvering av skickade kommandon för att spelarna ska hållas synkroniserade. I detta projekt formuleras och evalueras en metod för att testa om nätverksuppkopplade flerspelarspel lider av synkroniseringsproblem relaterade till ickedeterministiskt beteende. En integrerad fuzzing-AI konstrueras som försöka orsaka desynkronisering i det testade spelet och generera data för analys med hjälp av loggfiler. Skript används för att utföra halvautomatiserade testkörningar och tolka data. Resultaten visar att testsystemet har potential för att hitta synkroniseringsproblem om fuzzing-AI:n används tillsammans med den vanliga AI:n i det testade spelet, men inte för att hitta de bakomliggande orsakerna till dessa problem.

Ce travail thèse s’inscrit dans le cadre du projet FUI Tandem portant sur l’imagerie radar de mines enfouies dans un sol sec par des antennes héliportées. Les données d’antennes correspondent à des mesures de champ électromagnétique (composante tangentielle à l’antenne) en configuration « back-scattering » : une seule antenne émettrice-réceptrice. L’objectif premier de la thèse est de valider/modifier la méthodologie SAR (Synthetic Aperture Radar) proposée par les ingénieurs pour traiter les données d’antenne et imager les mines. La difficulté essentielle réside dans le fait que la méthode SAR repose sur le principe d’un milieu de référence homogène alors que le cas d’étude ne l’est pas. Nous avons étudié l’incorporation d’une approximation bicouche du milieu de référence pour corriger l’effet du sol et obtenir des images moins sensibles à l’effet de celui-ci. La première solution consiste à mimer la technique SAR pour construire une indicatrice de la géométrie via la rétro-propagation de la donnée dans le milieu bi-couche en utilisant la formule donnée par l’approximation de Born. La deuxième option, beaucoup plus coûteuse numériquement consiste à inverser le modèle de Born avec une technique de régularisation de type variation totale. Nous nous intéressons dans une deuxième partie à l’adaptation de méthodes d’inversion de type MUSIC (MUltiple SIgnal Classification) pour retrouver l’information « profondeur » non fournie par les méthodes SAR. S’inspirant de la problématique Tandem, nous avons proposé l’extension de ces méthodes au cas de données en configuration quasi-back-scattering : une antenne émettrice couplée à un réseau 1D d’antennes réceptrices. La méthodologie est complètement nouvelle et la justification de la méthode repose sur l’analyse asymptotique du problème de diffraction dans le régime petit obstacle et champ lointain. L’étude a également été étendue à des configurations cylindriques qui pourraient être adaptées à l’imagerie bio-médicale. / This work is part of the FUI Tandem project on radar imaging of mines buried in dry ground by heliborne antennas. The antenna data correspond to measurements of the electromagnetic field (component tangential to the antenna) in the back-scattering configuration: a single transmitter/transceiver antenna. The primary objective of the thesis is to validate / modify the SAR (Synthetic Aperture Radar) methodology proposed by engineers to process the antenna data and to image the mines. The main difficulty lies in the fact that the SAR method is based on the principle of a homogeneous background whereas the study case is not. We have studied the incorporation of a two-layer approximation of the reference medium to correct the effect of the soil and to obtain images that are less sensitive to the effect of the latter. The first solution consists in mimicking the SAR technique to construct an indicator of the geometry via the back propagation of the data in the bi-layer medium using the formula given by the Born approximation. The second option, much more costly numerically consists in inverting the Born model with a regularization technique of the total variation type. In a second part, we are interested in adapting MUSIC (MUltiple SIgnal Classification) methods to retrieve the "depth" information not provided by SAR methods. Based on the Tandem experiement, we proposed the extension of these methods to the case of data in quasi-back-scattering configuration: a transmitting antenna coupled to a 1D array of receiving antennas. The methodology is completely new and the justification of the method is based on the asymptotic analysis of the scattering problem in the small obstacle and far field regime. The study was also extended to cylindrical configurations that could be adapted to biomedical imaging.

In dieser Dissertation konstruieren wir neue Beispiele von koassoziativen Untermannigfaltigkeiten und G2-Instantonen in kompakten G2-Mannigfaltigkeiten, die aus Joyces verallgemeinerter Kummer Konstruktion hervorgehen. Die besondere Eigenschaft der in dieser Arbeit gefundenen koassoziativen Untermannigfaltigkeiten ist, dass ihr (topologisch bestimmtes) Volumen gegen Null geht, wenn die umgebende Mannigfaltigkeit sich ihrem Orbifaltigkeits-Limes annähert. Dies ist im Sinne eines Vorschlags von Halverson und Morrison, der darauf hinweist, dass bestimmte Entartungen (oder, allgemeiner, die Perioden) von G2-Strukturen durch das Verhalten von G2-topologischen Größen wie dem Volumen von assoziativen und koassoziativen Untermannigfaltigkeiten nachweisbar sein könnten. Die Konstruktion dieser koassoziativen Untermannigfaltigkeiten ist Inhalt von Kapitel 3 und basiert auf der Deformation von „Modell-Untermannigfaltigkeiten“. Diese Untermannigfaltigkeiten liegen innerhalb des kritischen Bereiches der umgebenden Mannigfaltigkeit, in welchem die Metrik entartet. Abschnitt 3.3 beinhaltet zahlreiche Beispiele von koassoziativen Untermannigfaltigkeiten, die wir durch diese Methode konstruieren. Des Weiteren beschreiben wir die Deformationsfamilie dieser koassoziativen Untermannigfaltigkeiten. In Kapitel 4 konstruieren wir neue Beispiele von G2-Instantonen über verallgemeinerten Kummer Konstruktionen. Wir konzentrieren uns hierbei hauptsächlich auf Auflösungen von Orbifaltigkeiten, deren singuläre Strata von Kodimension 6 sind. Wie im vorherigen Kapitel basiert die Konstruktion dieser Instantonen auf einem Klebesatz, welcher einen Zusammenhang deformiert, der (im quantifizierten Sinne) fast ein G2-Instanton ist. Außerdem benutzen wir Gruppenwirkungen um die Obstruktionen zu reduzieren. Mithilfe dieser Methode konstruieren wir in Abschnitt 4.4 eine unendliche Familie von G2-Instantonen auf einem Bündel über einer bestimmten Kummer Konstruktion. / In this thesis we construct new examples of coassociative submanifolds and G2-instantons in compact G2-manifolds arising from Joyce’s generalised Kummer construction. The special feature of the coassociative submanifolds found in this thesis is that their (topologically determined) volume shrinks to zero as the ambient manifold approaches its orbifold limit. This is in the spirit of a proposal by Halverson and Morrison which indicates that certain degenerations (or, more general, the periods) of G2-structures may be detectable by the behaviour of G2-topological quantities such as the volume of associative and coassociative submanifolds. The construction of these coassociative submanifolds is the content of Chapter 3. It is based on the deformation of ‘model-submanfiolds’. These submanifolds lie within the critical locus of the ambient manifold in which the metric degenerates. Section 3.3 contains numerous examples of coassociative submanifolds which we construct via this method. Furthermore, we give a description of the deformation family of these coassociative submanifolds. In Chapter 4 we construct new examples of G2-instantons over generalised Kummer constructions. We focus mainly on resolutions of orbifolds whose singular strata are of codimension 6. As in the previous chapter, the construction of these instantons is based on a gluing theorem which deforms a connection that is (in a quantified sense) close to being a G2-instanton. Furthermore, we use group actions to reduce the obstructions. Using this method, we construct in Section 4.4 an infinite family of G2-instantons on a bundle over one particular Kummer construction.

Sequentielle Daten sind meist zeitlich geordnete (un)endliche Datenströme von Events über einem multi-dimensionalen Eventschema. Systeme über sequentiellen Daten nutzen Anfragen, um Zusammenhänge von besonderem Interesse in sequentiellen Daten zu beschreiben. Basierend auf historischen Daten müssen solche Anfragen zunächst definiert werden. Diese komplexe Aufgabe wird zumeist nicht automatisiert gelöst. In dieser Dissertation behandeln wir multi-dimensionale Teilfolge-Anfragen mit Platzhaltern und beschränkten Lücken als Anfragesprache für sequentielle Daten. Anfragen bestehen aus einer Zeichenkette s über einem Alphabet aus Symbolen und Variablen, einem globalen Fenster w und einem Tupel c aus lokalen Lückenbeschränkungen. Eine Anfrage passt zu einer Folge t über der Menge an Symbolen, falls die in s vorkommenden Variablen so durch einzelne Symbole ersetzt werden können, dass die daraus resultierende Zeichenkette s' als Teilfolge in t vorkommt. Die Gesamtlänge des Vorkommens darf dabei nicht mehr als w Events umfassen und die Distanz zwischen konsekutiven Positionen der Teilfolge muss c entsprechen. Wir untersuchen, wie zu einer Menge von Folgen S eine Anfrage gefunden werden kann, die S bestmöglich beschreibt (Suchproblem). Wir geben einen Algorithmus an, der dieses Problem löst, und analysieren dessen Komplexität. Zu entscheiden, ob eine Anfrage zu einer Folge passt (Matchingproblem), dominiert die Laufzeit des Algorithmus. Wir führen disjunktive multi-dimensionale Teilfolge-Anfragen mit Platzhaltern und beschränkten Lücken, sowie multi-dimensionale Teilfolge-Anfragen mit Platzhaltern und verallgemeinerten beschränkten Lücken als Erweiterungen ein, und passen den oben genannter Algorithmus an, um das Suchproblem für diese Anfragemodelle zu lösen. Die theoretischen Ergebnisse werden durch die Beschreibung der prototypischen Implementierung der genannten Algorithmen und der experimentellen Evaluation basierend auf synthetischen und realen Datensätzen ergänzt. / Sequence data are (usually temporally) ordered finite or infinite streams over events that are instances of a multi-dimensional schema. Systems which deal with sequence data usually use queries to detect situations of interest. However, finding such queries from historical sequence data is notoriously hard and is often assumed to be a non-automated task. In this dissertation, we propose multi-dimensional subsequence queries with wildcards and gap-size constraints (mswg-queries) as an expressive query model for sequence data. These queries consist of a query string s over an alphabet of variables and types, as well as a global window size w and a tuple c of local gap-size constraints. A query matches a trace t, i.e., a sequence of events, if the variables in s can be replaced by single types in such a way that the resulting string s' occurs as a subsequence in t that spans an area of at most w events, and the distance between consecutive positions in the subsequence conforms with c. We study the task of discovering an mswg-query that describes best a given sample, i.e. a finite set of traces. For that, we provide an algorithm solving this problem, and investigate its complexity. Our analysis identifies the subroutine for solving the matching problem (i.e., deciding whether a given query q matches in a given trace t) as the only potential bottleneck. We propose extensions of mswg-queries for the one-dimensional setting, namely, subsequence queries with generalised gap-size constraints (swgg-queries) and disjunctive subsequence queries (dswg-queries), and discuss how the aforementioned algorithm can be adapted to compute swgg- and dswg-queries that describes best a sample. The formal results are complemented by a description of our prototypical implementation of query discovery and an experimental evaluation based on both, synthetic and real-world data.

<p>Osnovni doprinos ove doktorske disertacije je razvoj algortima i sistema za objektivnu procenu vizuelnog kvaliteta slike uzimajući u obzir najvažnija moguća oštećenja kao što su zamućenje ivica (oštrina) i poremećaj prirodnog izgleda teksture objekata na slici sa jedne strane i uticaj sadržaja slike (procenta ivica u slici) na procenu kvaliteta sa druge strane. Dakle, hipoteza izneta u ovom radu je da je potreban multiparametarski pristup da bi se dobila objektivna procena kvaliteta slike koja je što približnija subjektivnoj proceni.</p>

Le Disjoncteur Différentiel Résiduel (DDR) doit garantir la continuité de service ce qui signifie qu'aucun défaut autre que ceux pouvant mettre l'utilisateur en danger ne doivent faire déclencher le produit pour éviter soit des désagréments (non alimentation du congélateur) soit une perte financière (non exploitation d'une installation photovoltaïque).La fonction mesure est composée de :- Un tore pour la mesure du courant résiduel, il réalise naturellement la somme des courants entrant et sortant de l'installation- Une plaquette de mise en forme (filtrage)- Un actionneur, le relais polarisé qui fixe le seuil du dispositif (par sa puissance de déclenchement et fournit une énergie mécanique pour mettre l'installation hors tension.Ces déclenchements non désirés proviennent des défauts de la chaine de mesure. Nous pouvons en citer 3 principales causes :- Courant de fuite à la terre trop important (perturbation réseau mode commun)- Champs magnétiques rayonnés (courant passant dans le primaire du tore)- Equilibrage du tore (mode différentiel) (courant passant dans le primaire du tore)Les surtensions atmosphériques étant considérées comme étant les perturbations les plus critiques, les travaux faits durant cette thèse reposent sur ce phénomène. Toute la problématique est basée sur la manière avec laquelle le disjoncteur différentiel répond face à ces perturbations. Une bonne compréhension de sa réaction dans de tels cas s'avère nécessaire. Les objectifs visés par cette étude sont de :- Trouver un modèle temporel du phénomène de foudre- Mettre en évidence les différentes phases de fonctionnement engendré lors de la réponse d'un DDR à un coup de foudre- Etablir un modèle comportemental du DDR adapté à chaque phase- Mettre en évidence la cause des déclenchements intempestifs- Proposer des solutions permettant a nos produits de ne pas déclencher de façon intempestives et fiabiliser ainsi leur fonctionnement- Diminuer par conséquent les retours clients / The Residual Current Device (RCD) must ensure the continuity of service which means that no default other than those that can put the user at risk should make the product trigger, to avoid any inconvenience (freezer not supplied) or a financial loss (non-operation of a photovoltaic). The measurement function is made up of:- A torus for measuring the residual current, it naturally carries the sum of currents entering and exiting the installation- A plate shaping (filtering)- An actuator, the polarized relay which sets the threshold of the device (through its power of initiation) and provides mechanical energy to turn off power supply.These false triggering are caused by defaults initiated among the measurement chain. We can cite three main reasons:- Residual current too high (over-voltages on electrical network by common mode)- Radiated Magnetic Fields (current through the primary circuit of the torus)- Balancing the torus (differential mode) (current through the primary circuit of the torus)As the atmospheric over-voltages are considered to be the most critical disturbances, they will appear as the principal subject of this thesis. The main issue is the behavior of the RCD facing a lightning stroke. So, a well understanding of the manner that it will respond in such situations is necessary. The objectives of this study are to:- Establish a temporal model of lightning stroke- Highlight the different working phases in front of a lightning stroke- Establish a RCD's behavioral model adapted to every phase- Highlight the causes of unwanted triggers- Propose solutions enabling our products to not trigger by default and so improve the reliability of their functioning- Reduce customer returns