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.

Verteilte, Eingebettete Systeme beeinflussen unser tägliches Leben in unzähligen Bereichen. Getrieben durch technologische Weiterentwicklungen und neue Nutzungsprofile nimmt der Vernetzungsgrad elektronischer Geräte rapide zu. Neben einem ausgeprägten Netzwerkcharakter sind aktuelle und zukünftige Anwendungsszenarien wesentlich durch einen hohen Mobilitätsgrad geprägt. Daraus ergeben sich zunehmend Problemstellungen bzgl. geeigneter Kommunikationskonzepte und der hierfür benötigten Energieressourcen. Dieses Buch befasst sich mit Technologien, Konzepten und Protokollen zur energieeffizienten Kommunikation in verteilten, ressourcenbeschränkten Systemen. Es definiert grundlegende Begrifflichkeiten und vermittelt einen umfassenden Einblick in die verschiedenen Forschungsschwerpunkte. Relevante, technologische Entwicklungen der beiden letzten Dekaden werden vorgestellt, thematisch eingeordnet und kritisch analysiert. Anschließend erfolgt die funktional getrennte Betrachtung von Kommunikationsprozessen auf Netzwerk-, Daten- sowie Energiemanagementebene. Darauf aufbauend widmet sich das Buch der Systemintegration und damit einhergehend dem komplexen Systemkonfigurationsprozess. Unter Berücksichtigung applikationsspezifischer Rahmenbedingungen sowie funktionaler Anforderungen werden gezielt geeignete Optimierungsstrategien ausgewählt und in einer ganzheitlich angepassten Systemarchitektur kombiniert. Erst durch das präzise Zusammenspiel von Kommunikationsparadigma, Kommunikationstechnologien und Kommunikationsprotokollen entsteht ein optimiertes Gesamtsystem, welches die zur Verfügung stehenden Ressourcen effizient nutzt. Zur Bewertung kommt ein neu entwickeltes, erweitertes Quantifizierungsmodell zum Einsatz, welches die kommunikativen Aspekte verteilter Applikationsszenarien vollständig einbezieht. Im Rahmen umfangreicher Fallstudien werden ausgewählte Optimierungsverfahren simulativ sowie auf Basis unterschiedlicher Hardwareplattformen evaluiert. Aus den Ergebnissen resultieren qualitative und quantitative Rückschlüsse auf das mögliche Optimierungspotential unter realen Einsatzbedingungen. Die gewonnenen Erkenntnisse dienen als wichtige Richtgrößen für zukünftige Entwicklungen im Bereich eingebetteter, ressourcenbeschränkter Kommunikationssysteme. / Embedded systems are used in almost every domain of our daily lives. Actual research and development activities focus on wireless connected and mobile system architectures. The resulting network topologies represent embedded, distributed systems, which are able to process complex tasks in a collaborative way. Most of the respective hardware platforms are energy self-sufficient with strongly limited resources for data processing, data storage and communication. With focus on the energy resources, communication tasks have a huge impact on the systems power consumption. In order to optimise the energy efficiency of these communication tasks, one key challenge for engineers is the application-specific integration of adapted communication concepts, radio technologies, and protocol stacks into an all-embracing communication architecture. This book critically discusses energy efficiency in distributed, embedded systems with focus on the communication aspects. The first part introduces basic definitions as well as a novel estimation model for quantifying energy efficiency on both local (system) and global (network) layer. In the second part, this book proposes several optimisation approaches for energy-efficient, resource-limited communication systems. This include hardware approaches as well as software approaches to optimise the runtime environment and the data processing tasks. Each approach operates on different abstraction layers within the system architecture. The last part of the book deals with the evaluation of specific optimisation strategies under real-world conditions. The test cases includes simulation scenarios as well as hardware test benches within a heterogeneous network environment. The respective results and analyses represent important guidelines for future developments in field of distributed, embedded communication platforms.

Verteilte, Eingebettete Systeme beeinflussen unser tägliches Leben in unzähligen Bereichen. Getrieben durch technologische Weiterentwicklungen und neue Nutzungsprofile nimmt der Vernetzungsgrad elektronischer Geräte rapide zu. Neben einem ausgeprägten Netzwerkcharakter sind aktuelle und zukünftige Anwendungsszenarien wesentlich durch einen hohen Mobilitätsgrad geprägt. Daraus ergeben sich zunehmend Problemstellungen bzgl. geeigneter Kommunikationskonzepte und der hierfür benötigten Energieressourcen. Dieses Buch befasst sich mit Technologien, Konzepten und Protokollen zur energieeffizienten Kommunikation in verteilten, ressourcenbeschränkten Systemen. Es definiert grundlegende Begrifflichkeiten und vermittelt einen umfassenden Einblick in die verschiedenen Forschungsschwerpunkte. Relevante, technologische Entwicklungen der beiden letzten Dekaden werden vorgestellt, thematisch eingeordnet und kritisch analysiert. Anschließend erfolgt die funktional getrennte Betrachtung von Kommunikationsprozessen auf Netzwerk-, Daten- sowie Energiemanagementebene. Darauf aufbauend widmet sich das Buch der Systemintegration und damit einhergehend dem komplexen Systemkonfigurationsprozess. Unter Berücksichtigung applikationsspezifischer Rahmenbedingungen sowie funktionaler Anforderungen werden gezielt geeignete Optimierungsstrategien ausgewählt und in einer ganzheitlich angepassten Systemarchitektur kombiniert. Erst durch das präzise Zusammenspiel von Kommunikationsparadigma, Kommunikationstechnologien und Kommunikationsprotokollen entsteht ein optimiertes Gesamtsystem, welches die zur Verfügung stehenden Ressourcen effizient nutzt. Zur Bewertung kommt ein neu entwickeltes, erweitertes Quantifizierungsmodell zum Einsatz, welches die kommunikativen Aspekte verteilter Applikationsszenarien vollständig einbezieht. Im Rahmen umfangreicher Fallstudien werden ausgewählte Optimierungsverfahren simulativ sowie auf Basis unterschiedlicher Hardwareplattformen evaluiert. Aus den Ergebnissen resultieren qualitative und quantitative Rückschlüsse auf das mögliche Optimierungspotential unter realen Einsatzbedingungen. Die gewonnenen Erkenntnisse dienen als wichtige Richtgrößen für zukünftige Entwicklungen im Bereich eingebetteter, ressourcenbeschränkter Kommunikationssysteme. / Embedded systems are used in almost every domain of our daily lives. Actual research and development activities focus on wireless connected and mobile system architectures. The resulting network topologies represent embedded, distributed systems, which are able to process complex tasks in a collaborative way. Most of the respective hardware platforms are energy self-sufficient with strongly limited resources for data processing, data storage and communication. With focus on the energy resources, communication tasks have a huge impact on the systems power consumption. In order to optimise the energy efficiency of these communication tasks, one key challenge for engineers is the application-specific integration of adapted communication concepts, radio technologies, and protocol stacks into an all-embracing communication architecture. This book critically discusses energy efficiency in distributed, embedded systems with focus on the communication aspects. The first part introduces basic definitions as well as a novel estimation model for quantifying energy efficiency on both local (system) and global (network) layer. In the second part, this book proposes several optimisation approaches for energy-efficient, resource-limited communication systems. This include hardware approaches as well as software approaches to optimise the runtime environment and the data processing tasks. Each approach operates on different abstraction layers within the system architecture. The last part of the book deals with the evaluation of specific optimisation strategies under real-world conditions. The test cases includes simulation scenarios as well as hardware test benches within a heterogeneous network environment. The respective results and analyses represent important guidelines for future developments in field of distributed, embedded communication platforms.

No description available.

No description available.

No description available.