Depuis plusieurs années, de nombreuses recherches ont été menées autour du diagnostic. Cependant, il est impératif de se préoccuper dès la phase de conception d’un système des objectifs de diagnostic à atteindre. Aussi, de nombreux travaux se sont intéressés à analyser et à caractériser les propriétés de la diagnosticabilité d’un système. La diagnosticabilité est la propriété d’un système garantissant qu’il génère des observations permettant de détecter et discriminer les fautes en temps fini après leur occurrence.Le sujet de cette thèse porte sur les méthodes permettant d’établir les propriétés de la diagnosticabilité des systèmes à événements discrets dans le cadre distribué, sans construction du modèle global du système. Ce cadre est de première importance pour les applications réelles : systèmes naturellement distribués, systèmes trop complexes pour traiter leur modèle global, confidentialité des modèles locaux les uns par rapport aux autres. L’analyse de la diagnosticabilité de tels systèmes distribués se fonde sur des opérations de synchronisation des modèles locaux, par les observations et les communications. D’abord, nous étudions comment optimiser cette analyse de la diagnosticabilité en faisant abstraction de l’information nécessaire et suffisante à partir des objets locaux pour décider la diagnosticabilité globale. L'efficacité de l’algorithme peut être grandement améliorée par la synchronisation des objets locaux et abstraits en comparaison avec celle des objets locaux et non abstraits.Ensuite, nous proposons, dans le cadre distribué, l'algorithme de la diagnosticabilité de motifs d'événements particuliers a priori inobservables dans les systèmes. Ces motifs peuvent être simplement l’occurrence, brutale ou graduelle, d’une faute permanente ou transitoire, plusieurs occurrences d’une faute, plusieurs fautes en cascade, etc. Dans le cadre distribué, la reconnaissance du motif d’événements s’effectue d’abord progressivement dans un sous-système et ensuite la diagnosticabilité de ce motif peut être déterminée par la méthode abstraite et distribuée. Nous prouvons la correction et l'efficacité de notre algorithme à la fois en théorie et en pratique par la mise en œuvre de l’implémentation sur des exemples.Finalement, nous étudions le problème de la diagnosticabilité dans les systèmes distribués avec composants autonomes, où l’information observable est distribuée au lieu d’être centralisée comme jusqu’alors. En d'autres termes, chaque composant ne peut appréhender que ses propres événements observables. Nous donnons la définition de la diagnosticabilité conjointe. Et puis nous discutons de l'indécidabilité de diagnosticabilité conjointe dans le cas général, c'est à dire, les événements de communication ne sont pas observables, avant de proposer un algorithme pour tester sa condition suffisante. De plus, nous obtenons également un résultat de décidabilité et de l'algorithme lorsque les communications sont observables. / Over the latest decades, much research work has been done on automatic fault diagnosis. However, it is imperative to analyze at system design stage how correctness and efficiency and diagnosis algorithm can achieve. Thus many studies were interested in analyzing and characterizing the properties of diagnosability of a system. Diagnosability is the property of a system ensuring that it generates observations for detecting and discriminating faults in finite time after their occurrence.In this thesis, we investigate how to optimize distributed diagnosability analysis by abstracting necessary and sufficient information from local objects to decide global diagnosability decision. The algorithm efficiency can be greatly improved by synchronization of abstracted local objects compared to that of non abstracted local ones.Then we extend the distributed diagnosability algorithm from fault event first to simple pattern and then to general pattern, where pattern can describe more general objects in the diagnosis problem, e.g., multiple faults, multiple occurrences of the same fault, ordered occurrences of significant events, etc. In the distributed framework, the pattern recognition is first incrementally performed normally in a subsystem and then pattern diagnosability can be determined by adjusting abstracted method used in fault event case. We prove the correctness and efficiency of our proposed algorithm both in theory through proof and in practice through implementation.Finally we study joint diagnosability problem in systems with autonomous components, i.e., observable information is distributed instead of centralized. In other words, each component can only observe its own observable events. We give joint diagnosability definition. And then we discuss the undecidability of joint diagnosability in the general case, i.e., communication events are not observable, before proposing an algorithm to test its sufficient condition. In addition, we also get a decidability result and algorithm when communications are observable.

Les structures autobloquantes sont des assemblages de blocs disposés périodiquement. La géométrie des blocs etles frottements entre blocs ainsi que la compression appliquée aux bords de l'assemblage jouent un rôle centraldans la cohésion de l'ensemble de l'assemblage. Des expériences d'indentation ont été menées pour étudier la réponse mécanique de matériaux autobloquants constitués de cubes en alumine et de blocs ostéomorphes enpolymère. Ces résultats ont été reproduits en utilisant deux méthodes numériques : la méthode des éléments finiset la méthode des éléments discrets utilisant un code dédié. Différentes variables de conception ont pu être étudiées par simulations numériques et les expériences nous ont permis de connaître la réponse d'un assemblage endommagé. De nouveaux assemblages à structure hierarchique ont été proposés et testés ouvrant de nouvellesperspectives. / Interlocked materials are periodic paving of elementary blocks. The cohesion is insured by the boundary conditions applied on the edge of the assembly as well as the topology of the blocks and the friction between the blocks.Experiments were performed to study the mechanical response of interlocked assemblies built with cubes in alumina and osteomophic blocs in polymer. Those results have been reproduced using two numerical methods: the finite element method and the discret element method with the help of a dedicated code. Differents design parameters have been studied with numerical methods and experiments allowed us to know the response of a dammage assembly. New assemblies having a hierachical structure were proposed and tested opening new perspectives.

Les mots sturmiens sont une façon de coder les droites discrètes apériodiques. Ils ont été étudiés depuis la fin du 19ème siècle et disposent de nombreuses caractérisations. L'une d'elles, obtenue par Vuillon, est centrée sur la notion de mot de retour.Cette thèse a pour objet l'étude des mots sturmiens en dimension 2 vus comme codages des plans discrets apériodiques. L'objectif est d'aller vers une caractérisation des mots sturmiens bi-dimensionnels analogue à celle obtenue par Vuillon en dimension 1.Mais des problèmes propres à la dimension 2 rendent cette étude délicate, tels l'absence de concaténation de mots ou la difficulté à localiser un facteur au sein d'un mot. Afin d'y faire face, nous introduisons en dimension 2 les notions de motifs, motifs pointés, mots de localisation et mots de retour. Nous obtenons ainsi un prolongement à la dimension 2 d'un théorème de Morse et Hedlund concernant certains mots de retour dans un mot sturmien.Ce résultat nous permet d'établir un nouvel algorithme de fractions continues et nous permet de proposer, dans un cadre restreint, une notion de suite dérivée. / Sturmian words are a way to encode aperiodic discrete lines. They have been studied since the end of the 19th century and can be characterized in many ways. One of these characterizations, obtained by Vuillon, centers around the notion of return words.This thesis aims to study 2-dimensional Sturmian words as encodings of aperiodic discrete planes. It is a first step towards a characterization of 2-dimensional Sturmian words analogous to that of Vuillon in dimension 1.However, concerns specific to dimension 2, such as the impossibility to concatenate words or the difficulty to locate a factor inside a word make the study much trickier. To tackle this, we introduce in dimension 2 notions of patterns, pointed patterns, localization words and return words.We obtain a 2-dimensional version of a theorem of Morse and Hedlund concerning certain return words in a Sturmian word. This result enables us to establish a new continued-fractions algorithm and to introduce, in a restricted setting, a notion of derived sequence.

O trabalho apresenta inicialmente a importância da tomada de decisão em uma sociedade com recursos limitados e muitos interesses antagônicos. Essas decisões com base em objetivos conflitantes, independente do seu grau de importância, geram ganhos em alguns aspectos e perdas em outros, e a isto se denomina tradeoff. Em problemas complexos, uma decisão mal tomada, ou um estudo de tradeoff mal conduzido podem afetar significativamente aspectos muito relevantes, como o dimensionamento de redes de transporte, por exemplo. Assim, a proposta deste trabalho é oferecer um procedimento para auxilio à tomada de decisão em sistemas de transporte aquaviário, baseado em análises com múltiplos critérios. Além disso, o estudo visa utilizar a técnica de simulação de eventos discretos para fornecer subsídio a estes estudos de tradeoff. É realizada também uma aplicação do método descrito juntamente com um modelo de simulação para o dimensionamento de um sistema de transporte aquaviário específico, contando com análises de sensibilidade. A aplicação realizada foi conclusiva e comprovou a eficácia do método desenvolvido para o auxílio à decisão em problemas desse porte. / This work primarily highlights the importance of decision making in a society with limited resources and several antagonistics interests. Decisions based on conflicting goals, regardless of their importance level, might generate positive gains associated to a certain number of variables and losses associated to others. This process is known as tradeoff. In complex problems, such as transportation networks planning, taking a bad decision or carrying out a bad tradeoff study, may affect matters of primary interests of the problem players. The proposal of this work is providing a procedure in order to support decision making process in water transportation systems based on multi-criteria analysis. In addition, the study aims at using the technique of discrete event simulation to provide subsidies to these trade-off studies. The work also presents an application of the proposed methodology, concomitantly with a simulation model for the planning of a specific maritime transportation system, including the respective sensitivity analyzes. The application was successful and conclusive about the effectiveness of the developed method helping the decision making for problems of this magnitude.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Soit G un groupe algébrique réel simple de rang réel au moins 2 et P un sous-groupe parabolique de G. On montre que tout sous-groupe discret de G intersectant le radical unipotent de P en un réseau est un réseau aritmétique de G, sauf éventuellement lorsque G = SO(2,4n+2) et P est le stabilisateur d'un 2-plan isotrope. Ceci répond partiellement à une conjecture de Margulis, déjà étudiée par Hee Oh. On étudie aussi le cas où G est le produit de plusieurs groupes de rang 1, généralisant des résultats de Selberg, Benoist et Oh. / Let G be a real algebraic group of real rank at least 2 and P a parabolic subgroup of G. We prove that any discrete subgroup of G that intersects the unipotent radical of P in a lattice is an arithmetic lattice of G, except maybe when G=SO(2,4n+2) and P is the stabilizer of an isotropic 2-plane. This provide a partial answer to a conjecture of Margulis that was already studied by Hee Oh. We also study the case where G is a product of several rank 1 groups, generalising results of Selberg, Benoist and Oh.

Le discret et le continu sont explicitement présents dans les programmes scolaires officiels, depuis 2001, sans qu’ils ne fassent l’objet de définitions ni de théorèmes. Où se logent-ils ? Sont-ils source de difficultés pour les élèves ? Comment décrire, d’un point de vue didactique, ce type de notion ? Nos analyses s’inscrivent dans le cadrage de la théorie de l’activité adaptée à la didactique des mathématiques ; pour apprécier la réalité de l’enseignement et compte tenu du côté diffus du discret et du continu dans les mathématiques à enseigner, nous avons été amenée à analyser un spectre large de données, à l’aide d’outils provenant principalement de ce cadre théorique, et d’une méthodologie guidée par la multiplicité des aspects du discret et du continu mis en lumière par une analyse épistémo-mathématique préliminaire. Nous prenons pour support de cette étude l’enseignement de l’analyse et des probabilités au lycée général. Les documents officiels, manuels, épreuves d’examens nationaux, copies et entretiens d’élèves nous permettent de dessiner le relief des notions abordées dans ces deux thèmes ; les questionnaires, capsules vidéo sur internet et une séance en classe nous donnent un aperçu des conceptions et des pratiques de futurs enseignants ainsi que d’enseignants en exercice. Ces analyses permettent de révéler deux « mondes » qui se côtoient, voire s’interpénètrent par l’intermédiaire de notions, de vocabulaire, de techniques plus ou moins analogues, qui présentent aussi des ruptures importantes, sources de difficultés pour les élèves, qui mériteraient davantage d’explicitations dans les mathématiques enseignées. Elles soulignent aussi un changement de paradigme en cours dans l’enseignement des mathématiques, qui fait aujourd’hui une plus grande place à la modélisation et par conséquent aux jeux entre discret et continu. / The notions of discrete and continuous have been explicitly present in French secondary school curricula since 2001, while being neither defined nor the subject matter of theorems. Therefore, where can they be found ? Do students have difficulties regarding these notions? How could we describe them from a didactic perspective? This work comes within the framework of the activity theory as it has been adapted to mathematics education ; the notions of discrete and continuous are spread throughout the mathematics to be taught, leading us to analyze a large range of data, with tools that this theoretical framework provides. The methodology stems from the multiple aspects of discrete and continuous as highlighted in a preliminary epistemo-mathematic analysis. This study is based on the teaching of Calculus and Probability in French secondary school. Official documents, textbooks, national exams, student papers and interviews, enable us to describe the “relief” of the notions pertaining to both themes ; in addition, questionnaires, internet videos, a classroom session provide us with a general idea of teachers’ conceptions and practice. These analyses reveal two “worlds” which come close, sometimes interfering through more or less similar notions, vocabulary and techniques, other times with important ruptures ; those interferences are source of some students’ difficulties and could be more explicit in the teaching process. Furthermore, they underline a current change in the French mathematics education paradigm, in which modeling takes a greater part and consequently gives more room for interplay between discrete and continuous

Les amplificateurs de puissance, éléments constitutifs essentiels de tout système de télécommunication, vont jouer un rôle capital dans le développement des futurs systèmes de communication. Aujourd'hui l'amélioration des amplificateurs de puissance nécessite un progrès technologique au niveau du composant lui même mais doit aussi tenir compte d'une approche plus globale. En particulier, le progrès dans les traitements numériques permet aujourd'hui de corriger en amont certaines distorsions qui seront générées en aval de la chaîne de communication. La pré-distorsion numérique est une technique de correction des amplificateurs de puissance qui connaît un intérêt grandissant de par son intégration complètement numérique et par les gains en linéarité et en consommation. Cette technique nécessite une voie de retour dont un élément critique est le convertisseur analogique-numérique. Ce composant doit répondre à des contraintes de résolution, de bande passante et de linéarité élevées. Dans cette thèse, nous proposons une nouvelle architecture de convertisseur analogique-numérique à base de modulateurs Sigma-Delta passe-bande. Cette architecture tire partie du fonctionnement passe bande des modulateurs que nous faisons travailler en parallèle, chacun centré sur différentes fréquences, mais aussi d'un agencement en cascade particulier pour éliminer le signal utile, qui est de forte puissance, dans le but de diminuer les contraintes de dynamique.La conception haut niveau et les simulations ont été menées pour des systèmes à temps discret et aussi à temps continu et a nécessité le développement d'outils adaptés de simulation se basant sur la boîte à outils Delta Sigma Toolbox de Richard Schreier / Power amplifiers, which are essential elements of any communication system, will play a crucial role in the development of future communication systems. Today improving power amplifiers requires technological advances at the circuit device level, but one also must consider a more global approach. In particular, advances in digital processing can now correct in the early stage of the communication chain some distortions that are generated downstream in the chain. Digital pre-distortion is a correction technique for power amplifiers that has a growing interest because of its completely digital implementation and of its gains in linearity and energy consumption. This technique requires a feedback path where the analog-to-digital converter is a critical element. This component must satisfy the constraints of high resolution , wide bandwidth, and high linearity. In this thesis, we propose a new architecture of analog-to-digital converter based on bandpass Delta-Sigma modulators. This architecture takes advantage of operating bandpass modulators that are designed to work in parallel, each focusing on different frequencies, but also of a particular cascading arrangement to eliminate the useful signal, which has a high power, in order to reduce dynamics constraints. High-level design and simulations were carried out for discrete time and continuous time systems and also required the development of appropriate simulation tools.

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2006-2007 / Ce mémoire propose un modèle de choix à noyau logit mixte qui permet l'intégration de variables latentes. Ce modèle, appelé modèle ICLV à noyau logit mixte, a pour objectif de représenter de façon plus réaliste les choix des agents. Des variables psychométriques sont incluses dans le modèle afin de modéliser l'influence des attitudes et des perceptions sur les choix. Pour estimer ce modèle qui intègre plusieurs équations, soit les équations structurelles et les équations de mesure du modèle de choix et du modèle à variables latentes, un estimateur du maximum de vraisemblance simulé est proposé. L'objectif principal de ce mémoire est de produire l'une des premières applications concrètes de l'utilisation des modèles ICLV à noyau logit mixte dans le contexte à plusieurs alternatives et plusieurs variables latentes. Pour ce faire, des données provenant d'un vaste sondage effectué par la compagnie NTT sont utilisées afin d'estimer la demande pour les services téléphoniques résidentiels. Des variables latentes telles que la connaissance de la téléphonie IP sont incluses dans le modèle afin de mieux modéliser les choix. Des scénarios simulés permettent finalement de prédire l'évolution de la demande pour la téléphonie IP, puisqu'on remarque que celle-ci est en constante évolution. Les résultats montrent qu'une augmentation de la connaissance de la téléphonie IP aurait le pouvoir d'augmenter considérablement les parts de marché de cette technologie.

Titre de l'écran-titre (visionné le 4 mars 2024) / La croissance des achats de produits agroalimentaires en ligne, propulsée par la pandémie de la COVID-19, a été accompagnée par une demande accrue des emballages, suscitant des préoccupations à la fois sanitaire et environnemental. L'emballage se doit de protéger le produit et de conserver son intégrité tout en ayant le moindre impact possible sur l'environnement. Bien que l'emballage joue un rôle crucial dans la perception et le comportement d'achat des consommateurs, peu d'études ont examiné l'arbitrage opéré entre ses attributs sanitaire et environnemental, surtout dans le contexte particulier d'une pandémie mondiale. Ce mémoire explore alors cette lacune en utilisant un modèle d'expérience de choix discrets pour analyser les préférences des consommateurs québécois en matière d'emballage pour les repas prêts-à-manger commandés en ligne. Les résultats montrent une préférence marquée pour l'aspect sanitaire de l'emballage et une sensibilité variable à l'attribut environnemental selon l'âge. Particulièrement, la tranche d'âge 18-34 ans se distingue par son intérêt accru pour les caractéristiques environnementales de l'emballage. Cette étude offre des perspectives éclairantes pour les acteurs du commerce électronique agroalimentaire, mettant en lumière la complexité des attentes des consommateurs vis-à-vis des défis sanitaires et environnementaux liés à l'emballage.