No description available.

Ce travail est consacré à certaines classes de systèmes dynamiques ergodiques, munis d'une mesure invariante infinie, telles que des applications de l'intervalle avec un point fixe neutre ou des marches aléatoires. Le comportement asymptotique des sommes de Birkhoff d'observables d'intégrale non nulle est assez bien connu, pour peu que le système ait une certaine forme d'hyperbolicité. Une situation particulièrement intéressante est celle des tours au-dessus d'une application Gibbs-Markov. Nous cherchons dans ce contexte à étudier le cas d'observables d'intégrale nulle. Nous obtenons ainsi une forme de théorème central limite pour des systèmes dynamiques munis d'une mesure infinie. Après avoir introduit l'ensemble des notions nécessaires, nous adaptons des résultats de E. Csáki et A. Földes sur les marches aléatoires au cas des applications Gibbs-Markov. Les théorèmes d'indépendance asymptotique qui en découlent forment le cœur de cette thèse, et permettent de démontrer un théorème central limite généralisé. Quelques variations sur l'énoncé de ce théorème sont obtenues. Ensuite, nous abordons les processus en temps continu, tels que des semi-flots et des flots. Un premier travail consiste à étudier les propriété en temps grand du temps de premier retour et du temps local pour des extensions de systèmes dynamiques, ce qui se fait par des méthodes spectrales. Enfin, par réductions successives, nous pouvons obtenir une version du théorème central limite pour des flots périodiques, et en particulier le flot géodésique sur le fibré tangent unitaire de certaines variétés périodiques hyperboliques. / This work is focused on some classes of ergodic dynamical systems endowed with an infinite invariant measure, such as transformations of the interval with a neutral fixed point or random walks. The asymptotic behavior of the Birkhoff sums of observables with a non-zero integral is well known, as long as the system shows some kind of hyperbolicity. The towers over a Gibbs-Markov map are especially interesting. In this context, we aim to study the case of observables whose integral is zero. We get the equivalent of a central limit theorem for some dynamical systems endowed with an infinite measure. After we introduce the necessary definitions, we adapt some results by E. Csáki and A. Földes on random walks to the case of Gibbs-Markov maps. We derive a theorem on the asymptotic independence of Birhoff sums, which is the core of this thesis, and from this point we work out a generalised central limit theorem. We also prove a few variations on this generalised central limit theorem. Then, we study dynamical systems in continuous time, such as semi-flows and flows. We first work on the asymptotic properties of the first return time and the local time for extensions of dynamical systems; this is done by spectral methods. Finally, step by step, we extend our generalised central limit theorem to cover some periodic flows, and in particular the geodesic flow on the unitary tangent bundle of some hyperbolic periodic manifolds.

Les éditions critiques numériques sont des ressources patrimoniales annotées, sous une forme numérique. De telles éditions prennent la forme d'une transcription des ressources originales, augmentées d'un apparat critique, c'est-à-dire, la forme de données structurées. Dans un contexte collaboratif, a structure de ces données est définie explicitement par un schéma, document interprétable qui contraint la manière dont les éditeurs vont pouvoir annoter les ressources primaires et va de ce fait garantir une certaine homogénéité dans le respect de la politique éditoriale. Les projets d'édition critique numérique font classiquement face à deux problèmes techniques. Le premier a à voir avec l'expressivité des langages d'annotation, qui empêchent l'expression de certaines informations utiles. La seconde tient au fait que, par expérience, les schémas qui sous-tendent une édition critique vont être amenés à évoluer au cours de la réalisation de cette édition ; cependant, modifier le schéma implique qu'il faille mettre à jour l'intégralité des données structurées validées par ce schéma, ce qui est habituellement effectué à la main par les éditeurs, au moyen de scripts ad-hoc – si les éditeurs, faute de moyens ou de temps, ne renoncent pas à faire évoluer la structure de données. Dans ce travail de thèse, nous définissons les fondements théoriques pour l'établissement d'un système éditorial dédié à l'édition critique numérique. Nous définissons les eAG, un modèle d'annotation déporté basé sur un formalisme de graphes cycliques, autorisant a plus grande expressivité. Nous définissons un mécanisme de schéma innovant, SeAG, permettant la validation à la volée des eAG au cours de leur manufacture. Nous définissons également une syntaxe de balisage présentant des similarités avec les langages d'annotation classiques comme XML, tout en préservant l'expressivité des eAG. Enfin, nous proposons une algèbre bidirectionnelle pour les eAG de telle sorte que, si un SeAG S est transformé en un SeAG S', alors tout eAG I validé par S est traduit de manière semi-automatique sous la forme d'un eAG I', validé par S', et tel que toute mise à jour de I (respectivement I') soit propagé, de manière semi-automatique, sur I' (resp. I). / Digital Scholarly Editions are critically annotated patrimonial literary resources, in a digital form. Such editions roughly take the shape of a transcription of the original resources, augmented with critical information, that is, of structured data. In a collaborative setting, the structure of the data is explicitly defined in a schema, an interpretable document that governs the way editors annotate the original resources and guarantees they follow a common editorial policy. Digital editorial projects classically face two technical problems. The first has to do with the expressiveness of the annotation languages, that prevents from expressing some kinds of information. The second relies in the fact that, historically, schemas of long-running digital edition projects have to evolve during the lifespan of the project. However, amending a schema implies to update the structured data that has been produced, which is done either by hand, by means of ad-hoc scripts, or abandoned by lack of technical skills or human resources. In this work, we define the theoretical ground for an annotation system dedicated to scholarly edition. We define eAG, a stand-off annotation model based on a cyclic graph model, enabling the widest range of annotation. We define a novel schema language, SeAG, that permits to validate eAG documents on-the-fly, while they are being manufactured. We also define an inline markup syntax for eAG, reminiscent of the classic annotation languages like XML, but retaining the expressivity of eAG. Eventually, we propose a bidirectional algebra for eAG documents so that, when a SeAG S is amended, giving S', an eAG I validated by S is semi-automatically translated into an eAG I' validated by S', and so that any modification applied to I (resp. I') is semi-automatically propagated to I' (resp. I) – hence working as an assistance tool for the evolution of SeAG schemas and eAG annotations.

Les lignes de produits logiciels ont pour objectif la réutilisation des documents, codes sources, architectures, et plus généralement tout artefact créé durant le développement de logiciels d'un même domaine. Pour cette réutilisation, on utilise aujourd'hui des ``modèles de caractéristiques''. L'approche consiste à décrire dans ce modèle les caractéristiques des artefacts créés et les contraintes permettant de les assembler, puis à sélectionner les caractéristiques représentatives d'un nouveau produit en le générant en tout ou partie. Dans certaines situations, une caractéristique représente un artefact associé à un élément du contexte que le produit doit gérer. Une telle caractéristique, et les contraintes relatives à sa mise en œuvre, peuvent être clonées pour chaque occurrence de l'élément dans le contexte. Dans le cadre de cette thèse, nous cherchons à déterminer l'impact du contexte d'exécution d'un futur produit sur les caractéristiques d'une ligne de produits logiciels. Nous explorons tout d'abord les différentes manières de représenter un modèle de caractéristiques et le contexte d'un produit. Nous proposons ensuite une méthode générique pour adapter un modèle de caractéristiques aux éléments d'un contexte. Cette thèse a été réalisée dans le contexte du projet RIDER (Reasearch for ITDriven EneRgy efficiency). Ce projet a pour objectif la réduction des pertes énergétiques subies à cause d'une gestion inappropriée des sources et des besoins énergétiques des bâtiments. La variété des équipements et les spécificités de chaque bâtiment nécessitent une adaptation au cas par cas des logiciels d'optimisation énergétique. Nous proposons donc d'appliquer à ce projet une approche par lignes de produits logiciels, et plus particulièrement, notre méthode d'adaptation de modèles de caractéristiques au contexte, pour adapter les logiciels d'optimisation énergétique au contexte spécifique de chaque bâtiment. / Software product lines aim at reusing documents, source code, architectures, and, all artefact created during software development achieved in a given domain. Nowadays, we use ``feature models'' to facilitate the reuse of such elements. The approach consists in describing, in this feature model, artefacts and their usage constraints, and then to identify representative features for creating a new product. In some situations, a feature represents an artefact associated to a context element that must be handled by the product. Such a feature, and its related constraints, can be cloned for each occurrence of instances of this element in a given context. In this thesis, we are try to determine the impact of a product execution context on a future product features. We first explore different ways for representing feature models and a product context. Then, we propose a generic method to adapt a feature model to context elements. This thesis has been achieved in the context of the RIDER project (Research for IT Driven EneRgy efficiency). This project aims at reducing energy waste due to an inappropriate management of energy sources and needs. The heterogeneousness of building equipments and each building specificities require to adapt energy optimisation software. We propose to apply a software product line approach to this project. More precisely, we propose to apply to this project our feature model context adaptation methodology, in order to adapt energy optimisation software to each building specific context.

La machine asynchrone est à ce jour la référence dans les moteurs de traction ferroviaire. De nombreuses contraintes dictées par des normes notamment au niveau du bruit acoustique poussent l’industrie à développer des moteurs plus silencieux. Le vrillage connu pour réduire les ondulations de couple semble apporter également une réelle solution afin de diminuer les vibrations et le bruit émis par la machine. C’est dans ce contexte que ce projet en collaboration avec Alstom-Transport situé à Ornans et le soutien de MEDEE (pôle régional sur la maitrise énergétique) est réalisé. Cette thèse se focalise plus particulièrement sur le calcul des forces électromagnétiques dans l’entrefer à l’origine des vibrations, du bruit et du couple. Des modèles analytiques et à éléments finis estimant les forces électromagnétiques et intégrant le vrillage sont présentés et confrontés à des mesures expérimentales de vibration, de bruit et de couple. Les modèles utilisés sont valables pour les machines asynchrones à cage d’écureuil mais sont facilement adaptables pour les machines synchrones. Ils permettent de comprendre l’origine des forces électromagnétiques responsables du bruit et de trouver des configurations de machines moins bruyantes en jouant sur divers paramètres tels que : le vrillage, mais aussi le nombre de paires de pôles, le nombre d’encoches au stator et au rotor, la forme des encoches, la distribution du bobinage, etc. / The induction machine is the reference in railway traction motors. Numerous constraints dictated by standards, particularly regarding acoustic noise, are driving the industry to develop quieter engines. The skewing known to reduce torque ripples seems to also provide a real solution to reduce vibration and noise emitted by the machine. In this context, the project is realized in collaboration with Alstom-Transport located in Ornans with the support of MEDEE (regional pole on energy control). This thesis focuses on the calculation of magnetic forces in the air gap which originate vibration, noise and torque. Analytical and finite element models, which estimate electromagnetic forces and integrate skewing, are presented and compared with experimental measurements of vibration, noise and torque. The models used are valid for the squirrel-cage induction machines but are easily adaptable for synchronous machines. This allows one to understand the origin of the electromagnetic forces responsible for the noise, and to find configurations of less noisy machines. Various parameters such as skewing can be modified to reach this goal, as well as the number of pole pairs, the stator and rotor teeth number, the slot shape, the winding distribution, and so on.

Dans son contexte spécifique, le terme « biométrie » est souvent associé à l'étude des caractéristiques physiques et comportementales des individus afin de parvenir à leur identification ou à leur vérification. Ainsi, le travail développé dans cette thèse nous a conduit à proposer un algorithme d'identification robuste, en considérant les caractéristiques intrinsèques des phalanges de la main. Considérée comme une biométrie cachée, cette nouvelle approche peut s'avérer intéressante, notamment lorsqu'il est question d'assurer un niveau de sécurité élevé, robuste aux différentes attaques qu'un système biométrique doit contrer. La base des techniques proposées requière trois phases, à savoir: (1) la segmentation des phalanges, (2) l'extraction de leurs caractéristiques par la génération d'une empreinte, appelée « Phalange-Code » et (3) l'identification basée sur la méthode du 1-plus proche voisin ou la vérification basée sur une métrique de similarité. Ces algorithmes opèrent sur des niveaux hiérarchiques permettant l'extraction de certains paramètres, invariants à des transformations géométriques telles que l'orientation et la translation. De plus, nous avons considéré des techniques robustes au bruit, pouvant opérer à différentes résolutions d'images. Plus précisément, nous avons élaboré trois approches de reconnaissance biométrique : la première approche utilise l'information spectrale des contours des phalanges de la main comme signature individuelle, alors que la deuxième approche nécessite l'utilisation des caractéristiques géométriques et morphologiques des phalanges (i.e. surface, périmètre, longueur, largeur, capacité). Enfin, la troisième approche requière la génération d'un nouveau rapport de vraisemblance entre les phalanges, utilisant la théorie de probabilités géométriques. En second lieu, la construction d'une base de données avec la plus faible dose de rayonnement a été l'un des grands défis de notre étude. Nous avons donc procédé par la collecte de 403 images radiographiques de la main, acquises en utilisant la machine Apollo EZ X-Ray. Ces images sont issues de 115 adultes volontaires (hommes et femmes), non pathologiques. L'âge moyen étant de 27.2 ans et l'écart-type est de 8.5. La base de données ainsi construite intègre des images de la main droite et gauche, acquises à des positions différentes et en considérant des résolutions différentes et des doses de rayonnement différentes (i.e. réduction jusqu'à 98 % de la dose standard recommandée par les radiologues « 1 µSv »).Nos expériences montrent que les individus peuvent être distingués par les caractéristiques de leurs phalanges, que ce soit celles de la main droite ou celles de la main gauche. Cette distinction est également valable pour le genre des individus (homme/femme). L'étude menée a montré que l'approche utilisant l'information spectrale des contours des phalanges permet une identification par seulement trois phalanges, à un taux EER (Equal Error Rate) inférieur à 0.24 %. Par ailleurs, il a été constaté « de manière surprenante » que la technique fondée sur les rapports de vraisemblance entre les phalanges permet d'atteindre un taux d'identification de 100 % et un taux d'EER de 0.37 %, avec une seule phalange. Hormis l'aspect identification/authentification, notre étude s'est penchée sur l'optimisation de la dose de rayonnement permettant une identification saine des individus. Ainsi, il a été démontré qu'il était possible d'acquérir plus de 12500/an d'images radiographiques de la main, sans pour autant dépasser le seuil administratif de 0.25 mSv / In its specific context, the term "biometrics" is often associated with the study of the physical and behavioral of individual's characteristics to achieve their identification or verification. Thus, the work developed in this thesis has led us to suggest a robust identification algorithm, taking into account the intrinsic characteristics of the hand phalanges. Considered as hidden biometrics, this new approach can be of high interest, particularly when it comes to ensure a high level of security, robust to various attacks that a biometric system must address. The basis of the proposed techniques requires three phases, namely: (1) the segmentation of the phalanges (2) extracting their characteristics by generating an imprint, called "Phalange-Code" and (3) the identification based on the method of 1-nearest neighbor or the verification based on a similarity metric. This algorithm operates on hierarchical levels allowing the extraction of certain parameters invariant to geometric transformations such as image orientation and translation. Furthermore, the considered algorithm is particularly robust to noise, and can function at different resolutions of images. Thus, we developed three approaches to biometric recognition: the first approach produces individual signature from the spectral information of the contours issued from the hand phalanges, whereas the second approach requires the use of geometric and morphological characteristics of the phalanges (i.e. surface, perimeter, length, width, and capacity). Finally, the third approach requires the generation of a new likelihood ratio between the phalanges, using the geometric probability theory. Furthermore, the construction of a database with the lowest radiation dose was one of the great challenges of our study. We therefore proceeded with the collection of 403 x-ray images of the hand, acquired using the Apollo EZ X-Ray machine. These images are from 115 non-pathological volunteering adult (men and women). The average age is 27.2 years and the standard deviation is 8.5. Thus, the constructed database incorporates images of the right and left hands, acquired at different positions and by considering different resolutions and different radiation doses (i.e. reduced till 98% of the standard dose recommended by radiologists "1 µSv").Our experiments show that individuals can be distinguished by the characteristics of their phalanges, whether those of the right hand or the left hand. This distinction also applies to the kind of individuals (male/female). The study has demonstrated that the approach using the spectral information of the phalanges' contours allows identification by only three phalanges, with an EER (Equal Error Rate) lower than 0.24 %. Furthermore, it was found “Surprisingly” that the technique based on the likelihood ratio between phalanges reaches an identification rate of 100% and an EER of 0.37% with a single phalanx. Apart from the identification/authentication aspect, our study focused on the optimization of the radiation dose in order to offer safe identification of individuals. Thus, it has been shown that it was possible to acquire more than 12,500/year radiographic hand images, without exceeding the administrative control of 0.25 mSv

Το αντικείμενο της παρούσας διπλωματικής εργασίας είναι η ανασκόπηση της διαδικασίας της ευθυγράμμισης ιατρικών εικόνων, οι εξέταση των λόγων που την καθιστούν απαραίτητη για την ιατρική κοινότητα και οι ιδιαιτερότητες των ιατρικών εικόνων που θέτουν το ζήτημα της αναγκαιότητας ελαστικών τροποποιήσεων. Αρχικά πραγματοποιείται η παρουσίαση των επικρατέστερων μεθόδων ευθυγράμμισης και των σταδίων υλοποίησής τους. Γίνεται σύγκριση των άκαμπτων και των ελαστικών μεθόδων, καθώς και προτείνονται ερευνητικές προοπτικές για τη βελτίωση των τεχνικών. Στην παρούσα εργασία δίνεται έμφαση στον ελαστικό μετασχηματισμό Thin Plate Splines, γίνεται ανάλυση του μαθηματικού μοντέλου υλοποίησής του και προτείνεται μία μέθοδος βελτίωσης για την αυτόματη επιλογή και αντιστοίχιση σημείων ελέγχου. Στη συνέχεια πραγματοποιείται υλοποίηση τρισδιάστατου αφινικού και ελαστικού μετασχηματισμού για την ευθυγράμμιση τεχνητών και κλινικών ιατρικών δεδομένων. Γίνεται ποιοτική και ποσοτική σύγκριση των αποτελεσμάτων και αξιολογείται η αποτελεσματικότητα των μεθόδων σε σχέση με τα χαρακτηριστικά των διαφορετικών δεδομένων που επεξεργάζονται και τον αριθμό των σημείων που επιλέγονται. Τα κριτήρια που χρησιμοποιούνται είναι ποιοτικά και ποσοτικά, και αφορούν την ποιότητα της ευθυγράμμισης καθώς και το χρόνο εκτέλεσης των αλγορίθμων. / The current diploma thesis deals with the image registration process for medical images. The reasons that make image registration necessary to the medical community are considered, as well as the particularities of the medical images that make elastic transformation an absolute requirement. As a first stage, a presentation of the predominant registration methods takes place. Non-rigid and rigid methods are compared, and prospects for the improvement of the methods are proposed. Emphasis is placed on the elastic transformation with the use of Thin Plate Splines, the mathematical model for its algorithm design is analyzed, and a method for its optimization based on automatic points correspondences is presented. 3D Affine and TPS registrations are applied on both artificial and clinical medical data. The registration results are evaluated by qualitative and quantitative criteria, and the effectiveness of the algorithms is compared through application on the different data types and control points selections. The registration is overall evaluated for effectiveness and execution time.

The purpose of this study was to analyze Lithuanian existential sentences and their translations into English with the aim of evaluating the susceptibility of the two languages to the principle of functional sentence perspective (FSP), or the communicative principle. Existential processes inherently involve one participant – Existent - which is the most important information in a communicative situation describing existence. In producing existential sentences, existential verbs take one argument which performs the function of subject and appears in sentence final position as is determined by the priniple of FSP. In other words, the Predicate-Subject sequence at the syntactic level corresponds to the Theme-Rheme sequence at the communicative level. Languages vary with respect to the realization of existential meaning. The method chosen for the investigation of the selected sentences is content analysis. The research demonstrated that the Lithuanian existential sentences are structured in accordance with the pattern of the communicative principle. The corresponding English sentences did not always have Theme–Rheme sequence but in the majority of cases they reflected the communicative structure of the Lithuanian existential sentences. The communicative adequacy of the translation was effected with the help of particular syntactic and semantic transformations.Context also played an important role. It appears to be a powerful means of realization of FSP in English when the... [to full text] / Šiame darbe, remiantis vertimu iš lietuvių į anglų kalbą , nagrinėjama aktualiosios skaidos (AS) realizavimas lietuvių ir anglų kalboje. Nors AS žodžių tvarkos dėsnis yra aktualus visoms kalboms, skirtingos struktūros kalbose jo raiška skiriasi. Sintetinės kalbos, turinčios laisvą žodžių tvarką, turi galimybę paklusti AS dėsniui, tuo tarpu analitinės kalbos daugeliu atvejų vadovaujasi sakinio dalių gramatiniais santykiais, t.y. gramatiniu žodžių tvarkos dėsniu. Darbo tikslas - palyginti dviejų struktūriškai skirtingų kalbų aktualiąją sakinio skaidą ir atskleisti, kaip kalbos imlumas paklusti AS dėsniui lemia minties eigą vertimo metu. Tyrimo metodologinis pagrindas – sisteminė funkcinė teorija, nagrinėjanti sakinį kaip trijų pakopų visumą, apimančią sintaksinį, semantinį ir komunikacinį sakinio lygmenis. Semantinė sakinio struktūra – atspirties taškas tiriant sakinius, o sintaksinė atlieka tarpinį vaidmenį tarp semantinio ir komunikacinio sakinio lygmenų. Tyrimu, paremtu gretinamąja dviejų kalbų grožinės literatūros tekstų komunikacine analize, nustatyta, kad komunikacinė egzistencinio sakinio struktūra lietuvių kalboje sudaryta iš dviejų elementų. Pirmasis - žinoma informacija, Vietos aplinkybė, atliekanti pagrindinės temos funkciją. Ji yra pranešimo išeities taškas ir paprastai yra sakinio pradžioje. Antrasis - nauja arba aktuali informacija, Egzistentas, atliekantis pagrindinę remos funkciją, kuri paprastai užima sakinio pabaigos vietą. Tyrimas patvirtina... [toliau žr. visą tekstą]

In order to take the performance advantages of the current multicore and heterogeneous architectures the compilers are required to perform more and more complex program transformations. The search space of the possible program optimizations is huge and unstructured. Selecting the best transformation and predicting the potential performance benefits of that transformation is the major problem in today's optimizing compilers. The promising approach to handling the program optimizations is to focus on the automatic loop optimizations expressed in the polyhedral model. The current approaches for optimizing programs in the polyhedral model broadly fall into two classes. The first class of the methods is based on the linear optimization of the analytical cost function. The second class is based on the exhaustive iterative search. While the first approach is fast, it can easily miss the optimal solution. The iterative approach is more precise, but its running time might be prohibitively expensive. In this thesis we present a novel search-based approach to program transformations in the polyhedral model. The new method combines the benefits - effectiveness and precision - of the current approaches, while it tries to minimize their drawbacks. Our approach is based on enumerating the evaluations of the precise, nonlinear performance predicting cost-function. The current practice is to use the polyhedral model in the context of source-to-source compilers. We have implemented our techniques in a GCC framework that is based on the low level three address code representation. We show that the chosen level of abstraction for the intermediate representation poses scalability challenges, and we show the ways to overcome those problems. On the other hand, it is shown that the low level IR abstraction opens new degrees of freedom that are beneficial for the search-based transformation strategies and for the polyhedral compilation in general.

Thesis (Ph. D.)--University of Washington, 1998. / Vita. Includes bibliographical references (p. [139]-145).