The submitted archeological exploration of area associated with the important battle of the Hussite wars near Lipany on May 30, 1434 was primarily focussed on searching for material remains of this short military event. The project is essentially based on field research using the methodology of battlefield archaeology - the most often research approach concerning conflicts in the early modern history both in the Czech Republic and abroad. The field research was preceded by an analysis of written and iconographic sources relating to the Battle of Lipany and Hussite Wars and by a detailed study of historical maps. The detector prospection combined with targeting the findings by GPS coordinate method for more than four years brought approximately forty findings directly or chronologically related to the event being investigated. Most of them are small militaria (crossbow bullets, projectiles for firearms, spur fragments), the set is complemented by small coins and personal items. Findings related to the battle indicate a spatial relationship, they refer to some of the terrain sites that were the scene of different phases of the conflict. The exploration presumably managed to locate the place where the wagon fort of radical Hussite was situated, other sites indicate a relation to combat maneuvers...

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.

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