La première étude systématique de la théorie des modèles positive était faite par Ben Yaacov qui a proposé une approche uniforme aux travaux précurseurs accomplis indépendamment par Robinson, Shelah, Hrushovski et Pillay avec un souci croissant d'incorporer les techniques modernes de la théorie des modèles dans le contexte des logiques réduites. Ben Yaacov et Poizat dans leur travail intitulé fondements de la logique positive ont défini un nouveau cadre pour la théorie des modèles positive, qui détermine le contexte de cette thèse. Dans le premier chapitre nous rappelons les outils de la théorie des modèle positive et nous développons des notions et des outils qui nous seront utiles dans le reste des chapitres. Parmi ceux-ci, il convient de souligner les extensions universelles. Elles caractérisent les bases d'amalgamation dans le deuxième chapitre, et sont cruciales dans la construction des domaines universels positifs. Dans le deuxième chapitre nous étudions la notion d'amalgamation qui s'avère centrale dans la théorie des modèles positive. Elle nous permettra d'étudier la conservation de la séparation topologique entre les extensions élémentaires positives, et de caractériser les théories de Robinson et l'élimination des quanteurs dans certaines classes des structures. Dans le troisième chapitre, nous continuons l'étude de la stabilité positive déjà entamée par Ben Yaacov, et nous en proposons une nouvelle caractérisation par une notion d'ordre propre à la théorie des modèles positive.

L’enluminure insulaire, d’origine irlandaise et anglo-saxonne, illustrant des évangiles des VIIe et VIIIe siècles, est caractérisée par des pages-tapis et des pages d’initiales aux ornements abstraits. L’étude essaye de comprendre cette enluminure d’après les conceptions du monde de la civilisation insulaire et s’appuie pour cela sur l’analyse des textes. Le programme d’enluminures des pages-tapis reflète l’existence d’un enseignement exégétique remontant au IVe siècle, qui met l’accent sur la royauté du Christ et sur les quatre évangélistes qui établissent l'église universelle dans le monde. L’exégèse trouve une fondation solide dans les anciennes conceptions celtes de l’espace clos sacré, marqué aux points cardinaux et régi par le roi. Le passage de l’une à l’autre conception est particulièrement marqué dans l’utilisation qui est faite du fidchell, le jeu de damier celtique où le roi au centre doit gagner les quatre coins et étendre sa domination à toute la terre. L’analyse liturgique des pages d’initiales les met en relation avec les symboles des évangélistes, traduisant la cérémonie baptismale de l’apertio aurium, qui remonte à l’exégèse du IVe siècle. On y trouve aussi la trace de l’utilisation de l’exégèse de saint Irénée au IIe siècle. Ces éléments se retrouvent dans un sacramentaire du sud-est de la Gaule écrit fin VIIe-début VIIIe siècle. Le va-et-vient ancien des influences entre l’Irlande, la Bretagne et le continent est aussi illustré par un texte sur l’origine des liturgies, écrit au début du VIIIe siècle dans un monastère colombanien du continent, qui permet de replacer l’enluminure insulaire dans son contexte historique et liturgique. / Insular illumination, of Irish and Anglo-Saxon origin, illustrating Gospels of 7th and 8th centuries, is characterized by carpet-pages and pages of initials with abstract ornaments. The study tries to understand this illumination according to the conceptions of the world of insular civilization and leans for it on the analysis of the texts. The program of illuminations of the carpet-pages reflects the existence of an exegetic teaching going back to the 4th century, which stresses the kingship of Christ and the four evangelists who establish the universal Church in the world. The exegesis finds a solid foundation in the old Celtic conceptions of the sacred closed space, marked at the cardinal points and governed by the king. The passage from one conception to the other is particularly marked in the use which is made of the fidchell, the Celtic draughtboard game, where the king in the center has to gain the four corners and extend his domination to the whole earth. A liturgical analysis of the pages of initials puts them in connection with the symbols of the evangelists, translating the baptismal ceremony of the apertio aurium, which goes back up to the exegesis of the 4th century. We find there also the trace of the use of saint Irenaeus’s exegesis of the 2th century. These elements meet in a sacramentary of southeastern Gaul written in the late 7th or early 8th century. Ancient comings and goings of influences between Ireland, Brittany and the continent is also illustrated by a text on the origin of liturgies, written in the early 8th century in a Columbanian monastery of the continent, which allows to replace insular illumination in its historic and liturgical context.

Ce travail de recherche porte sur le problème de l'identification des sources de bruit en espace clos. La motivation principale était de proposer une technique capable de localiser et quantifier les sources de bruit à l'intérieur des véhicules industriels, d'une manière efficace en temps. Dans cette optique, la méthode pourrait être utilisée par les industriels à des fins de réduction de bruit, et donc construire des véhicules plus silencieux. Un modèle simplifié basé sur la formulation par sources équivalentes a été utilisé pour résoudre le problème. Nous montrerons que le problème est mal conditionné, dans le sens où il est très sensible face aux erreurs de mesure, et donc des techniques dites de régularisation sont nécessaires. Une étude détaillée de cette question, en particulier le réglage de ce qu'on appelle de paramètre de régularisation, a été important pour assurer la stabilité de la solution. En particulier, un critère de régularisation basé sur une approche bayésienne s'est montré très robuste pour ajuster le paramètre de régularisation de manière optimale. L'application cible concernant des environnements intérieurs relativement grands, nous a imposé des difficultés supplémentaires, à savoir: (a) le positionnement de l'antenne de capteurs à l'intérieur de l'espace; (b) le nombre d'inconnues (sources potentielles) beaucoup plus important que le nombre de positions de mesure. Une formulation par pondération itérative a ensuite été proposé pour surmonter les problèmes ci-dessus de manière à: (1) corriger pour le positionnement de l'antenne de capteurs dans l'habitacle ; (2) obtenir des résultats corrects en terme de quantification des sources identifiées. Par ailleurs, l'approche itérative nous a conduit à des résultats avec une meilleure résolution spatiale ainsi qu'une meilleure dynamique. Plusieurs études numériques ont été réalisées afin de valider la méthode ainsi que d'évaluer sa sensibilité face aux erreurs de modèle. En particulier, nous avons montré que l'approche est affectée par des conditions non-anéchoïques, dans le sens où les réflexions sont identifiées comme des vraies sources. Une technique de post-traitement qui permet de distinguer entre les chemins directs et réverbérants a été étudiée. La dernière partie de cette thèse porte sur des validations expérimentales et applications pratiques de la méthode. Une antenne sphérique constituée d'une sphère rigide et 31 microphones a été construite pour les tests expérimentaux. Plusieurs validations académiques ont été réalisées dans des environnements semi-anéchoïques, et nous ont illustré les avantages et limites de la méthode. Enfin, l'approche a été testé dans une application pratique, qui a consisté à identifier les sources de bruit ou faiblesses acoustiques à l'intérieur d'un bus. / This thesis is concerned with the problem of noise source identification in closed spaces. The main motivation was to propose a technique which allows to locate and quantify noise sources within industrial vehicles, in a time-effective manner. In turn, the technique might be used by manufacturers for noise abatement purposes such as to provide quieter vehicles. A simplified model based on the equivalent source formulation was used to tackle the problem. It was shown that the problem is ill-conditioned, in the sense that it is very sensitive to errors in measurement data, thus regularization techniques were required. A detailed study of this issue, in particular the tuning of the so-called regularization parameter, was of importance to ensure the stability of the solution. In particular, a Bayesian regularization criterion was shown to be a very robust approach to optimally adjust the regularization parameter in an automated way. The target application concerns very large interior environments, which imposes additional difficulties, namely: (a) the positioning of the measurement array inside the enclosure; (b) a number of unknowns ("candidate" sources) much larger than the number of measurement positions. An iterative weighted formulation was then proposed to overcome the above issues by: first correct for the positioning of the array within the enclosure and second iteratively solve the problem in order to obtain a correct source quantification. In addition, the iterative approach has provided results with an enhanced spatial resolution and dynamic range. Several numerical studies have been carried out to validate the method as well as to evaluate its sensitivity to modeling errors. In particular, it was shown that the approach is affected by non-anechoic conditions, in the sense that reflections are identified as "real" sources. A post-processing technique which helps to distinguish between direct and reverberant paths has been discussed. The last part of the thesis was concerned with experimental validations and practical applications of the method. A custom spherical array consisting of a rigid sphere and 31 microphones has been built for the experimental tests. Several academic experimental validations have been carried out in semi-anechoic environments, which illustrated the advantages and limits of the method. Finally, the approach was tested in a practical application, which consisted in identifying noise sources inside a bus at driving conditions.

La première étude systématique de la théorie des modèles positive était faite par Ben Yaacov qui a proposé une approche uniforme aux travaux précurseurs accomplis indépendamment par Robinson, Shelah, Hrushovski et Pillay avec un souci croissant d'incorporer les techniques modernes de la théorie des modèles dans le contexte des logiques réduites. Ben Yaacov et Poizat dans leur travail intitulé Fondements de la logique positive ont défini un nouveau cadre pour la théorie des modèles positive, qui détermine le contexte de cette thèse. Dans le premier chapitre nous rappelons les outils de la théorie des modèle positive et nous développons des notions et des outils qui nous seront utiles dans le reste des chapitres. Parmi ceux-ci, il convient de souligner les extensions universelles. Elles caractérisent les bases d'amalgamation dans le deuxième chapitre, et sont cruciales dans la construction des domaines universels positifs. Dans le deuxième chapitre nous étudions la notion d'amalgamation qui s'avère centrale dans la théorie des modèles positive. Elle nous permettra d'étudier la conservation de la séparation topologique entre les extensions élémentaires positives, et de caractériser les théories de Robinson et l'élimination des quanteurs dans certaines classes des structures. Dans le troisième chapitre, nous continuons l'étude de la stabilité positive déjà entamée par Ben Yaacov, et nous en proposons une nouvelle caractérisation par une notion d'ordre propre à la théorie des modèles positive / The first systematic study of positive model theory was introduced by Ben Yaacov, where he proposed a uniform approach to works accomplished independently by Robinson, Shelah, Hrushovski and Pillay, our aim is to incorporate modern technics of model theory in the context of positive logic. The work of Ben Yaacov and Poizat entitled foundations of positive logic defined a new framework of the positive model theory, which determines the context of this thesis. In the first chapter we review the tools of the theory of positive model and we develop concepts and tools that we will be useful in the remaining chapters. One of these concepts is the universal extensions, they characterize the bases amalgamation in the second chapter, and it's crucial in the construction of the positive universal domains. In the second chapter we study the notion of amalgamation which is central in the positive models theory. It will allow us to study the conservation of topologic separation between the positives elementary extensions, and characterize the theories of Robinson and quantifier elimination in some classes of structures. In the third chapter, we continue the study of positive stability which is already initiated by Ben Yaacov, and we propose a new characterization of order property which is specific to the positive models theory

L’étude de la propagation sonore dans un milieu confiné nécessite une connaissance précise des caractéristiques acoustiques et géométriques des parois qui le délimitent. En effet, le relief géométrique des parois d’un local engendre des phénomènes acoustiques complexes pouvant impacter significativement la propagation sonore : diffusion, diffraction ou encore résonance si le relief présente une géométrie particulière. L’objectif de cette étude est de développer un modèle numérique simulant la propagation sonore dans un espace confiné délimité par des parois à relief géométrique. Dans un premier temps, la méthode de décomposition rectangulaire adaptative (ARD) est utilisée pour simuler la propagation en milieu confiné. Cette méthode est ensuite couplée à la méthode de différences finies dans le domaine temporel (FDTD) et l’utilisation de filtres d’impédance numériques (DIF) pour simuler des parois à relief géométrique possédant une impédance dépendante de la fréquence. L’intégration de la méthode FDTD dans la méthode ARD est rendue possible par l’utilisation de couches absorbantes parfaitement adaptées (PML). Le modèle numérique est validé par comparaison aux méthodes Kobayashi Potential (KP) et sources images ainsi qu’à des résultats expérimentaux. Enfin, le modèle est utilisé pour étudier la diffusion acoustique causée par plusieurs parois à relief expérimentales. Un coefficient d’absorption acoustique apparent est ainsi estimé pour caractériser chacune de ces parois / The study of sound propagation in an enclosed space requires a precise knowledge of the acoustic and geometrical characteristics of its boundaries. Indeed, the geometric relief on the walls of a room causes complex acoustic phenomena that can significantly impact the sound propagation: scattering, diffraction or even resonance if the relief has a particular geometry. The objective of this study is to develop a numerical model of sound propagation in an enclosed space bounded by walls with geometric relief. First, the Adaptive Rectangular Decomposition (ARD) method is used to simulate the propagation in a room. Then, this method is coupled with the Finite Difference in Time Domaine (FDTD) method and the use of digital impedance filters (DIF) to include boundaries with geometric relief and frequency-dependent impedance. The integration of the FDTD method into the ARD method is made possible by the use of perfectly matched layers (PML). The numerical model is validated by comparison with the Kobayashi Potential (KP) and image source methods as well as experimental results. Finally, the model is used to study the sound scattering caused by several experimental relief walls. An apparent sound absorption coefficient is thus estimated to characterize each of these different walls

Le but de cette these est de definir et developper un systeme de bases lexicales multilingues independant des applications et des theories linguistiques. Elle debute donc par une etude des dictionnaires (imprimes ou electroniques) et des outils de gestion de bases lexicales, avec, notamment, le projet ESPRIT MULTILEX, considere comme l'effort le plus avance, mais qui presente quelques faiblesses (architecture lexicale par transfert, structures linguistiques codees sous forme de structures de traits types.). La deuxieme partie de cette these est consacree a la definition de SUBLIM, un systeme de gestion de bases lexicales multilingues qui permet de specifier l'architecture lexicale (organisation des dictionnaires) et l'architecture linguistique (organisation des informations linguistiques des unites des dictionnaires), sans imposer de contraintes ni sur les types de dictionnaires choisis, ni sur les structures linguistiques utilisees. La troisieme et derniere partie de cette these presente une specialisation de ce systeme generique en un systeme dedie a la gestion de bases lexicales multilingues fondees sur les acceptions interlingues : NADIA. Cette approche generalise certaines methodes interlingues comme celle du projet de traduction multilingue ULTRA, et permet la definition de bases lexicales multilingues ne se basant pas sur une approche par connaissances.

Pour la résolution de problèmes d'ordonnancement d'ateliers de type flow-shop en industries pharmaceutiques et d'ateliers de type job-shop flexible, deux méthodes d'optimisation ont été développées : une méthode utilisant les algorithmes génétiques dotés d'un nouveau codage proposé et une méthode d'optimisation par essaim particulaire modifiée pour être exploitée dans le cas discret. Les critères retenus dans le cas de lignes de conditionnement considérées sont la minimisation des coûts de production ainsi que des coûts de non utilisation des machines pour les problèmes multi-objectifs relatifs aux industries pharmaceutiques et la minimisation du Makespan pour les problèmes mono-objectif des ateliers job-shop flexibles.Ces méthodes ont été appliquées à divers exemples d'ateliers de complexités distinctes pour illustrer leur mise en œuvre. L'étude comparative des résultats ainsi obtenus a montré que la méthode basée sur l'optimisation par essaim particulaire est plus efficace que celle des algorithmes génétiques, en termes de rapidité de la convergence et de l'approche de la solution optimale

La présente thèse examine les rapports entre la liberté d'expression et l'administration de la justice. En droit, historiquement, ces rapports ont été posés comme étant ceux des journalistes et du public d'accéder aux audiences des tribunaux, celui de rendre compte de ce qui s'y passe et de critiquer les décisions judiciaires et la magistrature elle-même, et ceux, corrélatifs et opposés, des magistrats de tenir des audiences in camera, d'émettre des ordonnances de non-publication et, le cas échéant, de condamner pour outrage au tribunal. Plus récemment, la question de la protection des sources journalistiques est devenue un nouvel enjeu autour duquel se heurte la constellation du droit et celle de l'information. Notre thèse s'inspire d'une approche matérialiste des rapports du droit et de la société. La vision matérialiste, dont la pensée maxienne a pu représenter une composante - sans parler des avatars de cette pensée qu'ont constitué les diverses écoles marxistes -, pose la nécessité d'une confrontation synchronique et diachronique du monde du droit et de celui de l'information dans toutes les dimensions et surfaces de leur interaction - d'où l'utilisation du terme de paradigme pour désigner les deux constellations. Cette exigence fondamentale dicte, pour l'essentiel, la forme et les dimensions qu'a pris cette thèse. En effet, notre travail se divise en deux Parties. La Première Partie expose le cadre d'analyse et les données empiriques, alors que la Seconde partie est consacrée à l'examen des normes juridiques elles-mêmes. La Première Partie se consacre à l'étude des rapports de la société et du droit, et elle aborde succinctement l'examen historique et sociologique des protagonistes. La Seconde Partie analyse les normes juridiques internationales en matière de rapports entre la presse et de la magistrature, et livre notre analyse des normes juridiques canadiennes en la matière. Chaque Section de chacun des chapitres explore, d'un point de vue diachronique, un sujet d'étude spécifique, respectant généralement les quatre modes fondamentaux de production de la richesse sociale dans lesquels le droit et l'information se sont inscrits comme mode de normalisation spécifique. Le respect de ces règles architectoniques rigoureuses nous a semblé la meilleure façon de présenter un sujet vaste et complexe. Toutefois, compte tenu de l'ampleur qu'a pris notre travail, il nous a semblé que notre sommaire devait être utilisé à présenter cette stmcture afin de guider quelque peu notre lecteur. La Première Partie livre notre analyse théorique des rapports du droit et de la société et celui plus spécifiquement des rapports de la liberté d'expression et de l'administration de la justice. Les chapitres qui le composent abordent successivement la problématique d'ensemble, le point de vue et la démarche qui fut la notre (Chapitre I), exposent la théorie matérialiste des rapports du droit et de la société (Chapitre II), explorent d'un point de vue historique les moments et surfaces de leur confrontation en tentant de mettre en lumière les caractéristiques épistémologiques communes qui les unissent et qui font de l'appel au public le mode essentiel de leur action et de leur légitimation (Chapitre III). La Seconde Partie examine, comme nous l'avons précédemment indiqué, la norme internationale en matière de rapports entre la presse et la magistrature et le monde du droit. Nous avons choisi des modèles posant une très large perspective sur ces questions où présentant des parentés historiques avec le droit canadien en la matière. C'est ainsi que nous examinons le Pacte international relatif aux droits civils et politiques et la jurisprudence du comité des droits de l'homme de l'ONU en matière de rapports entre la presse et de la magistrature; nous procéderons ensuite de la même manière pour la Convention européenne des droits de l'homme et la jurisprudence de la Cour de Strasbourg, pour les normes américaines et les normes françaises en la matière. Nous nous étendrons ensuite beaucoup plus longuement sur les normes canadiennes en la matière. C'est ainsi que nous examinerons le droit d'accéder aux audiences des tribunaux et de rendre compte de leur travail (Chapitre V) et celui de critiquer les juges et la magistrature, d'une part, et de celui des journalistes de protéger leurs sources d'information, d'autre part (Chapitre VI). Un dernier chapitre complète notre travail en résumant les conclusions, si provisoires soient-elles, auxquelles nous en arrivons. Signalons, en terminant, que cette thèse n'est que le premier volet d'une approche plus globale qui sera complétée par des études sociologiques et économiques touchant au même sujet. Bonne lecture à tous et à toutes ... / The present thesis examines the relations between the freedom of expression and the administration of justice. Historically, these relations have been set down as being those of the journalists and the public to be admitted to court hearings, those of the media to report and criticize the judicial decisions and the judiciary itself, and those, correlative and opposing, of the judges to order the proceeding to be held in camera, to issue non-publication orders and, if need be, to sentence for contempt of court. More recently, the protection of the journalistic sources has become a new stake about which the constellation of law and that of information collide. Our thesis is inspired by a materialistic approach to the relations between the law and the society. The materialistic vision, of which the marxian thought may have represented an element - not to mention the varied metamorphoses of that thought constitued by diverse marxist schools - sets down the necessity of a synchronic and diachronic confrontation between the world of law that of information in ail the dimensions and surfaces of their interaction - hence the use of the term paradigm to designate those two constellations. Essentially, this fundamental requirement imposes the form and the dimensions taken by this thesis. This work is divided in two Parts. The First Part expounds the analysis framework and the empirical data, whereas the Second Part in dedicated to the examination of the legal norms themselves. The First Part is dedicated to the relations between law and society. The Second Part analyses the international legal norms regarding the relations between the media and the judiciary, while our analysis of the canadian legal nonns in this matter will be found in the Second Part. Each Section of each Chapter explores, from a diachronic standpoint, a specific subject of study, generally respecting the four fundamental modes of production of the social wealth in which law and information are inscribed as a specific mode of normalization. Rigorous observance of those architectronic rules has seemed to us the best way to lay out such a wide ranging and complex subject. However considering the extent of our work, it seemed to us that our abstract should be used to expound this structure in order to guide the reader somewhat. The First Part sets out our theoretical analysis of the relations between law and society, more specifically, the relations between the freedom of expression and the administration of justice. Its Chapters successively tackle the over all issue, our standpoint and our procedure (Chapter I), expound the materialistic theory of the relations between law and society (Chapter II), explore the moments and surfaces of their confrontation and emphasize the common epistemological characteristics that unite them and that make the appeal to the public the essential mode of their action and their legitimation. The Second Part is considering, as we have already pointed out, the legal norms concerning the relations between the media, the judiciary and the world of law. We have chosen models laying a very wide perspective on these questions or presenting historical links with the Canadian law in this matter. In this way we examine the International Covenant on Civil and Political Rights and the jurisprudence of the Human Rights Committee of the United Nations, the Convention for the Protection of Human Rights and Fundamental Freedoms and the jurisprudence of the Strasbourg Court and the American and French nonns (Chapter IV). The Second Part is dedicated to the canadian legal norms. We examine the rights to be admitted to court hearings and that of media to report and criticize the judicial decisions, the judges and the judiciary, on the one hand (Chapter V), and, on the other hand, the right of the journalists to protect their joumalist sources (Chapter VI). A last chapter completes our work, summing up our conclusions, however provisional they may be. Finally, we would like to point out that this thesis is but the first phase of a more comprehensive approach that will be completed by sociological and economical studies on the same subject. Bonne lecture to you all ! / "Thèse présentée à la Faculté des études supérieures En vue de l'obtention du grade de Docteur en droit (LL.D.)"

L'extraction de motifs séquentiels est devenue, depuis son introduction, une technique majeure du domaine de la fouille de données avec de nombreuses applications (analyse du comportement des consommateurs, bioinformatique, sécurité, musique, etc.). Les motifs séquentiels permettent la découverte de corrélations entre événements en fonction de leurs chronologies d'apparition. Il existe de nombreux algorithmes permettant l'extraction de tels motifs. Toutefois, ces propositions ne prennent en compte qu'une seule dimension d'analyse (e.g le produit dans les applications de type étude des achats des consommateurs) alors que la plupart des données réelles sont multidimensionnelles par nature. Dans ce manuscrit, nous définissons les motifs séquentiels multidimensionnels afin de prendre en compte les spécificités inhérentes aux bases de données multidimensionnelles (plusieurs dimensions, hiérarchies, valeurs agrégées). Nous définissons des algorithmes permettant l'extraction de motifs séquentiels multi- dimensionnels en tenant compte des ces spécificités. Des expérimentations menées sur des données synthétiques et sur des données réelles sont rapportées et montrent l'intérêt de nos propositions. Nous nous intéressons également à l'extraction de comportements temporels atypiques dans des données multidimensionnelles. Nous montrons qu'il peut y avoir plusieurs interprétations d'un comportement atypique (fait ou connaissance). En fonction de chaque interprétation, nous proposons une méthode d'extraction de tels comportements. Ces méthodes sont également validées par des expérimentations sur des données réelles.

No description available.