Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Dieser Beitrag beschreibt die Umsetzung und experimentelle Validierung einer dezentralen, agentenbasierten Aufgabenverteilung für Multi-Roboter-Systeme auf Basis des Contract Net Protocol. Die dabei untersuchte Problemstellung ist die effiziente Durchführung einer Vielzahl von Transportaufträgen durch eine mobile Roboterflotte. Hierzu wurden dezidierte Änderungen am Contract Net Protocol eingeführt, mit dem Ziel die Optimalität der Auftragsverteilung zu verbessern. Die Umsetzung des entwickleten Algorithmus erfolgte in ROS2, die experimentellen Untersuchungen wurden mit Hilfe einer Flotte an TurtleBot3-Robotern durchgeführt.

Konsens ist entscheidend für viele Aspekte unseres täglichen Lebens. Von der Sprache über soziale Normen bis hin zu den Regeln eines einfachen Kartenspiels ist breite Übereinstimmung erforderlich, um den jeweiligen Zweck zu erfüllen. Auch die Meinungen zu den zentralen Themen unserer Zeit sollten so weit übereinstimmen, dass wichtige Herausforderungen gemeinsam in Angriff genommen werden können. Dies ist jedoch häufig nicht der Fall. Sowohl politische Meinungen als auch Einstellungen zu ethischen Fragen sind oft tief gespalten. Die Ursprünge einer solchen Meinungspolarisierung haben die Soziologie lange Zeit vor ein Rätsel gestellt, da soziale Einflüsse uns oft näher zusammenzubringen scheinen. Was müssen wir also annehmen, um Meinungsspaltungen zu erklären? Wann wird ein Konsens gebildet? Und welche Rolle könnte die gestiegene Kommunikation zwischen Menschen bei diesen Prozessen spielen? In dieser Arbeit werden wir uns solchen Fragen mit Hilfe mathematischer Modellierung und der Analyse sozialer Daten nähern. Im Speziellen soll dazu beigetragen werden, die Lücke zwischen mikroskopischen Annahmen über den sozialen Einfluss und der Bildung von makroskopischen Meinungszuständen in sozialen Netzwerken zu schließen. / Consensus is key for many aspects of our daily lives. Concepts ranging from language, to social norms, to the rules of a simple card game require population-scale agreement to fulfil their function. People's opinions on major issues of our time should also be reasonably consistent such that important challenges can be tackled collectively. However, this is often not the case. Political opinions as well as the attitudes towards ethical issues are often deeply divided. The origins of such opinion polarization have puzzled sociology for a long time, as social influence often seems to bring us closer together. Hence, what do we have to assume in order to explain opinion cleavages? When will consensus be formed? And what might be the role of increased communication among people in these processes? In this thesis, we tackle such questions by means of mathematical modeling and the analysis of social data. More specifically, we aim to contribute to bridging the gap between microscopic assumptions about social influence and the formation of macroscopic opinion states in social networks.

Die Versorgung mit adäquater Information ist eine der Hauptfunktionen von Performance Measurement-Systemen (PMS), gleichzeitig aber auch ihr größter Mangel und der Grund für das häufige Scheitern ihres Einsatzes in Unternehmen. Dabei gibt es derzeit keine Möglichkeit zu bestimmen, inwieweit ein eingesetzes PMS den Beteiligten auch tatsächlich gut und passgenau Informationen liefern kann. Diese Untersuchung geht von der Grundfrage aus, welche Informationen erhoben werden müssen, damit nicht nur die Darstellung der Performance selbst adressiert wird, sondern die auch für ein besseres Verständnis über das PMS und seine organisationale Verankerung und damit Akzeptanz und Nützlichkeit genutzt werden können. Sie folgt damit einem Verständnis von PMS als Informationssysteme, die für die adäquate Versorgung mit Domänenwissen sorgen müssen, und nicht lediglich als Controllinginstrumente, die Performance-Daten liefern sollen. Im Ergebnis steht die Entwicklung einer Theorie, die erklärt, weshalb das bisherige Problem des Scheiterns von PMS auftritt. Damit einhergehend wird der Indikator der Visibility of Performance konstruiert, der über eine einfache Anwendung aussagen kann, wie gut ein PMS bezüglich seiner Wissensversorgung für ein Unternehmen passt. Mithin zeigt er die Güte der performancerelevanten Informationsversorgung in einem PMS eines Unternehmens an. / The supply with adequate information is one of the main functions of Performance Measurement Systems (PMS), but also still one of its drawbacks and reason for their failure. Not only the collection of indicators is crucial, but also the stakeholders’ understanding of the about their meaning, purpose and contextual embedding. Today, companies are faced to seek for a PMS without a way to express the goodness of a solution, indicating its ability to deliver appropriate information and to address these demands. The goal of this investigation is to explore the mechanisms that drive information and knowledge supply in PMS in order to model a way to express this goodness. Using a grounded Theory approach, a theory of visibility of performance is developed, featuring a catalog of determinants for the goodness of PMS. Companies can conveniently use them to assess their PMS and to improve the visibility of their performance.

La presente recherche doctorale en analyse numerique (et calcul scientifique) aborde le probleme du controle de la dissipation d'entropie numerique associee a une discretisation donnee. Cette problematique constitue un veritable challenge numerique non encore completement resolu a ce jour.<br /><br />Le travail se decompose en deux parties principales dont les caracteristiques sont reellement differentes.<br /><br />La premiere partie concerne l'approximation numerique des solutions (instationnaires en 1D et stationnaires en 2D) du systeme des equations de Navier-Stokes a plusieurs pressions independantes. Ce systeme est hyperbolique et possede des champs vraiment non lineaires sous des hypotheses classiques, mais s'ecrit naturellement sous forme non conservative.<br /><br />La deuxieme partie est dediee a l'approximation numerique des solutions instationnaires en 1D de quelques systemes de lois de conservation de type soit hyperbolique mais dont les champs possedent un defaut de vraiment non linearite, ou soit mixte hyperbolique-elliptique.<br /><br />Dans toutes ces situations motivees par des applications physiques concretes, le controle de la dissipation d'entropie joue un role déterminant dans la caracterisation des solutions recherchees. Les schemas numeriques proposes dans ce manuscrit sont obtenus par une analyse fine des bilans d'entropie associes.

RESUME La construction d un systeme financier sain et concurrentiel capable de mobiliser de facon substantielle des hauts niveaux d epargne et l amelioration des normes de supervision bancaire et financier pour assurer la stabilite du systeme sont deux des recommandations souvent faites par les institutions internationales pour permettre aux pays africains de participer pleinement a l expansion de la prosperite mondiale et a beneficier de la globalisation du commerce des services financiers. Cette these essaie de trouver les voies et moyens susceptibles de contribuer a l amelioration et au renforcement de la supervision bancaire au Congo, et in fine [le secteur bancaire etant le plus important du systeme financier] permettre l eclosion d un systeme financier moderne et efficace qui rencontre les normes internationales. Dans une premiere etape qui consiste en un etat des lieux du systeme financier congolais et en une analyse critique de la gestion bancaire ( chapitre 1 et chapitre 2 ); les analyses : - ressortent les caracteristiques du systeme financier congolais ; - soulignent les contraintes structurelles ayant entrave trois decennies de gestion bancaire ; - evaluent les chances de succes des reformes mises en oeuvre par les autorites; - proposent en des termes generaux, les ameliorations a porter au cadre reglementaire et de supervision du secteur bancaire afin de reduire les imperfections, de renforcer l efficacite et la stabilite du systeme dans son ensemble. Dans une seconde etape, un menu plus restreint de propositions faites au terme de l etat des lieux du systeme financier et de l analyse critique de la gestion bancaire est passe en revue. Les contributions de la these dans cette etape consistent : - en la proposition d outils concrets de supervision bancaire pour faire face a la carence d outils de gestion prudentielle preventive ; (chapitre 3) - en recommandations pour ameliorer : la politique de provisionnement des creances et le fonctionnement des institutions de microfinance ; ( chapitre 4) - a degager dans une demarche d analyse strategique, les pistes susceptibles de contribuer a l amelioration de la sante et la solidite du systeme financier congolais apres evaluation prealable de sa competitivite (chapitre 5) SUMMARY The construction of an healthy and competitive financial system able to mobilize high levels of saving and the improvement of the standards of banking and financial supervision to ensure the stability of the system are two of the recommendations often made by international institutions to help African countries to take part in the expansion of world prosperity and to profit from the globalization of financial services. This thesis tries to find the ways to contribute to the improvement and the reinforcement of the banking supervision in Congo, and in fine [ the banking environment being most significant of the financial system ] to allow the blossoming of a modern and effective financial system which meets international standards. In a first stage which consists in an overview of the Congolese financial system and in a critical analysis of the banking management ( chapter 1 & chapter 2) ; our analyses : - release the characteristics of the Congolese financial system ; - underline the structural constraints having blocked three decades of banking management ; - evaluate the chances of success of the reforms implemented by the authorities ; - propose in general terms, the improvements to be carried in order to reduce the imperfections of the banking supervision, to reinforce the effectiveness and the stability of the banking system. In the second stage, a more restricted menu of proposals made at the end of the first stage is reviewed. The contributions of the thesis in this stage consist: - in the proposal of concrete tools for banking supervision to face the deficiency of preventive prudential management tools; ( chapter 3) - in recommendations to improve : the policy of provisioning bad debts and the management of Microfinance institutions; (chapter 4) - in an evaluation of the competitiveness of the Congolese financial system and in the identification of ways which can contribute to the improvement of its safety and solidity by using a strategic analysis approach. ( chapter 5)

Après une étude théorique, puis modélisée, de l'analyse d'une image dans le plan focal d'un télescope par un détecteur à deux dimensions (chapitre 1) et un bref rappel de physique du solide (chapitre 2) on étudie un détecteur infrarouge bidimensionnel de 32x32 l'IRCCD. La description d'une caméra astronomique basée sur ce détecteur, et des choix effectués dans sa réalisation est donnée (chapitre 3). L'attention est portée sur les problèmes de l'observation sous fort flux de photons du fond. Un chapitre entier est consacré à une étude détaillée de l'IRCCD et de ses caractérisriques (chapitre 4). On décrit ensuite l'ensemble du système monté sur télescope, ainsi que les procédures d'observation adoptées (chapitre 5). Quelques résultats de mesure et de calibration sur télescope sont proposés. Le dernier chapitre est consacré à la présentation de résultats astrophysiques préliminaires.

Nous etudions dans cette these differentes lois de conservation hyperboliques associees a la modelisation des ecoulements en eaux peu profondes.<br />Nous nous consacrons d'abord a l'analyse numerique du systeme de Saint-Venant avec termes sources. Nous presentons un schema volumes finis bidimensionnel d'ordre 2, conservatif et consistant, qui s'appuie sur une interpretation cinetique du systeme et une methode de reconstruction hydrostatique des variables aux interfaces. Ce schema preserve la positivite de la hauteur d'eau et l'etat stationnaire associe au lac au repos.<br />Nous etendons ensuite l'interpretation cinetique au couplage du systeme avec une equation de transport. Nous construisons un schema volumes finis a deux pas de temps, qui permet de prendre en compte les differentes vitesses de propagation de l'information presentes dans le probleme. Cette approche preserve les proprietes de stabilite du systeme et reduit sensiblement la diffusion numerique et les temps de calcul.<br />Nous proposons egalement un nouveau modele de Saint-Venant multicouche, qui permet de retrouver des profils de vitesse non constants, tout en preservant le caractere invariant et bidimensionnel du domaine de definition. Nous presentons sa derivation a partir des equations de Navier-Stokes et une etude de stabilite - energie, hyperbolicite. Nous etudions egalement ses relations avec d'autres modeles fluides et sa mise en oeuvre numerique, la encore basee sur l'utilisation des schemas cinetiques.<br />Enfin nous etablissons un theoreme d'unicite pour les lois de conservation scalaires avec flux discontinus. La preuve est basee sur l'utilisation d'une nouvelle famille d'entropies, qui constituent une adaptation naturelle des entropies de Kruzkov classiques au cas discontinu. Cette methode permet de lever certaines hypotheses classiques sur le flux - convexite, existence de bornes BV, nombre fini de discontinuites - et ne necessite pas l'introduction d'une condition d'interface.

Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code.