Mesure de la fonction de transfert de modulation du système optique de l'oeil. Problème de la réflexion rétinienne. Définition de la jonction.

Le phénomène de radoucissement d'une roche est étudié à partir de l'observation des modes de localisation des déformations. A partir d'essais de compression triaxiale sur un grès de Fontainebleau, on caractérise à la fois de comportement pré-localisation et la formation des bandes de cisaillement. Les conditions d'essais sont optimisées par un choix adapté de la géométrie de l'échantillon (élancement, taille, forme) et des conditions à l'interface roche-plateau. On montre que le frettage à l'interface modifie l'allure des courbes contraintes-déformations et affecte le mode de rupture. Les caractéristiques de bandes de cisaillement (orientation et épaisseur) sont également modifiées par le frettage. Une technique anti-frettage par lubrification de l'interface est utilisée et validée. L'effet de la présence d'un fluide interstitiel est étudié. On montre que la loi de contrainte effective de Terzaghi est vérifiée dans le cas des essais réalisés en conditions drainées. Les phases de fissuration des échantillons correspondant au seuil de microfissuration, au seuil de dilatance et au seuil de localisation sont identifiées. Le problème du contrôle expérimental de la phase post-pic est également discuté. Les observations de bandes de cisaillement montrent que l'épaisseur et l'angle d'orientation de la bande par rapport à la contrainte principale mineure ont tendance à diminuer quand on augmente la pression de confinement. La microstructure des bandes est étudiée à partir de microphotographies obtenues au microscope électronique à balayage (MEB) et à la loupe binoculaire. L'évolution de la porosité et de la granulométrie dans la zone de localisation est quantifiée. Sous faible pression de confinement, on observe un phénomène de dilatance à l'intérieur et à proximité de la bande caractérisé par une augmentation de la porosité. A forte pression de confinement, on observe un phénomène de dilatance à proximité de la bande et de contractance au co eur de la bande caractérisé par une intense fragmentation des grains et une réduction importante de la porosité. Un modèle de comportement élastoplastique du second-gradient avec écrouissage et radoucissement pour le grès de Fontainebleau est développé. La phase d'écrouissage est étalonnée sur la phase pré-localisation des essais triaxiaux. Le comportement radoucissant est évalué de façon indirecte à partir d'une analyse de l'épaisseur des bandes de cisaillement. (Résumé de l'auteur)

La qualité des mesures permettant de suivre l'évolution de procédés chimiques ou pétrochimiques peut affecter de manière significative leur conduite. Malheureusement, toute mesure est entachée d'erreur. Les erreurs présentes dans les données mesurées peuvent mener à des dérives significatives dans la conduite du procédé, ce qui peut avoir des effets néfastes sur la sécurité du procédé ou son rendement. La validation de données est une tâche très importante car elle transforme l'ensemble des données disponibles en un jeu cohérent de valeurs définissant l'état du procédé. La validation de données permet de corriger les mesures, d'estimer les valeurs des variables non mesurées et de calculer les incertitudes a posteriori de toutes les variables. À l'échelle industrielle, elle est régulièrement appliquée à des procédés fonctionnant en continu, représentés par des modèles stationnaires. Cependant, pour le suivi de phénomènes transitoires, les algorithmes de validation stationnaires ne sont plus efficaces. L'étude abordée dans le cadre de cette thèse est l'application de la validation de données dynamiques au suivi des performances des procédés chimiques. L'algorithme de validation de données dynamiques développé dans le cadre de cette thèse, est basé sur une résolution simultanée du problème d'optimisation et des équations du modèle. Les équations différentielles sont discrétisées par une méthode des résidus pondérés : les collocations orthogonales. L'utilisation de la méthode des fenêtres de temps mobiles permet de conserver un problème de dimension raisonnable. L'algorithme d'optimisation utilisé est un algorithme "Successive Quadratic Programming" à point intérieur. L'algorithme de validation de données dynamiques développé a permis la réduction de l'incertitude des estimées. Les exemples étudiés sont présentés du plus simple au plus complexe. Les premiers modèles étudiés sont des cuves de stockages interconnectées. Ce type de modèle est composé uniquement de bilans de matière. Les modèles des exemples suivants, des réacteurs chimiques, sont composés des bilans de matière et de chaleur. Le dernier modèle étudié est un ballon de séparation liquide vapeur. Ce dernier est composé de bilans de matière et de chaleur couplés à des phénomènes d'équilibre liquide-vapeur. L'évaluation de la matrice de sensibilité et du calcul des variances a posteriori a été étendue aux procédés représentés par des modèles dynamiques. Son application a été illustrée par plusieurs exemples. La modification des paramètres de fenêtre de validation influence la redondance dans celle-ci et donc le facteur de réduction de variances a posteriori. Les développements proposés dans ce travail offrent donc un critère rationnel de choix de la taille de fenêtre pour les applications de validation de données dynamiques. L'intégration d'estimateurs alternatifs dans l'algorithme permet d'en augmenter la robustesse. En effet, ces derniers permettent l'obtention d'estimées non-biaisées en présence d'erreurs grossières dans les mesures. Organisation de la thèse : La thèse débute par un chapitre introductif présentant le problème, les objectifs de la recherche ainsi que le plan du travail. La première partie de la thèse est consacrée à l'état de l'art et au développement théorique d'une méthode de validation de données dynamiques. Elle est organisée de la manière suivante : -Le premier chapitre est consacré à la validation de données stationnaires. Il débute en montrant le rôle joué par la validation de données dans le contrôle des procédés. Les différents types d'erreurs de mesure et de redondances sont ensuite présentés. Différentes méthodes de résolution de problèmes stationnaires linéaires et non linéaires sont également explicitées. Ce premier chapitre se termine par la description d'une méthode de calcul des variances a posteriori. -Dans le deuxième chapitre, deux catégories des méthodes de validation de données dynamiques sont présentées : les méthodes de filtrage et les méthodes de programmation non-linéaire. Pour chaque type de méthode, les principales formulations trouvées dans la littérature sont exposées avec leurs principaux avantages et inconvénients. -Le troisième chapitre est consacré au développement théorique de l'algorithme de validation de données dynamiques mis au point dans le cadre de cette thèse. Les différents choix stratégiques effectués y sont également présentés. L'algorithme choisi se base sur une formulation du problème d'optimisation comprenant un système d'équations algébro-différentielles. Les équations différentielles sont discrétisées au moyen d'une méthode de collocations orthogonales utilisant les polynômes d'interpolation de Lagrange. Différentes méthodes de représentation des variables d'entrée sont discutées. Afin de réduire les coûts de calcul et de garder un problème d'optimisation résoluble, la méthode des fenêtres de temps mobiles est utilisée. Un algorithme "Interior Point Sucessive Quadratic Programming" est utilisé afin de résoudre de manière simultanée les équations différentielles discrétisées et les équations du modèle. Les dérivées analytiques du gradient de la fonction objectif et du Jacobien des contraintes sont également présentées dans ce chapitre. Pour terminer, un critère de qualité permettant de comparer les différentes variantes de l'algorithme est proposé. -Cette première partie se termine par le développement d'un algorithme original de calcul des variances a posteriori. La méthode développée dans ce chapitre est similaire à la méthode décrite dans le premier chapitre pour les procédés fonctionnant de manière stationnaire. Le développement est réalisé pour les deux représentations des variables d'entrée discutées au chapitre 3. Pour terminer le chapitre, cette méthode de calcul des variances a posteriori est appliquée de manière théorique sur un petit exemple constitué d'une seule équation différentielle et d'une seule équation de liaison. La seconde partie de la thèse est consacrée à l'application de l'algorithme de validation de données dynamiques développé dans la première partie à l'étude de plusieurs cas. Pour chacun des exemples traités, l'influence des paramètres de l'algorithme sur la robustesse, la facilité de convergence et la réduction de l'incertitude des estimées est examinée. La capacité de l'algorithme à réduire l'incertitude des estimées est évaluée au moyen du taux de réduction d'erreur et du facteur de réduction des variances. -Le premier chapitre de cette deuxième partie est consacré à l'étude d'une ou plusieurs cuves de stockage à niveau variable, avec ou sans recyclage de fluide. Ce premier cas comporte uniquement des bilans de matière. - Le chapitre 6 examine le cas d'un réacteur à cuve agitée avec échange de chaleur. L'exemple traité dans ce chapitre est donc constitué de bilans de matière et d'énergie. -L'étude d'un ballon flash au chapitre 7 permet de prendre en compte les équilibres liquide-vapeur. - Le chapitre 8 est consacré aux estimateurs robustes dont la performance est comparée pour les exemples étudiés aux chapitres 5 et 6. La thèse se termine par un chapitre consacré à la présentation des conclusions et de quelques perspectives futures.

Der vierte Band der Potsdamer Textbücher bringt erstmals den klassischen Text der Politikwissenschaft zum Thema diktatorische Herrschaftssysteme in deutscher Sprache. Juan Linz reflektiert darin die Debatten um Totalitarismus und Demokratie und beschreibt die autoritäre Herrschaft als eigenständige Form politischer Machtausübung. Es ist eine exzellente Auseinandersetzung mit den politischen Phänomenen des 20. Jahrhunderts, die sich durch theoretische Tiefe, empirische Fülle und methodische Klarheit auszeichnet.

The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. Nowadays related compatibility problems have to be addressed in a cumbersome integration and configuration phase at the end of the development process, that in the worst case may fail. Therefore, a number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing properties can be excluded and that suitable configurations can be found. However, the proposed solutions require a number of strong assumptions that can be hardly fulfilled or the required analysis does not scale well. In this paper, we present an approach based on timed automata that can provide the required guarantees for the later integration without strong assumptions, which are difficult to match in practice. The approach provides a modular reasoning scheme that permits to establish the required guarantees for the integration employing only local checks, which therefore also scales. It is also possible to determine potential configuration settings by means of timed game synthesis. / Die korrekte Komposition individuell entwickelter Komponenten von eingebetteten Realzeitsystemen ist eine Herausforderung, da neben funktionalen Eigenschaften auch nicht funktionale Eigenschaften berücksichtigt werden müssen. Ein Beispiel hierfür ist die Kompatibilität von Realzeiteigenschaften, welche eine entscheidende Rolle in eingebetteten Systemen spielen. Heutzutage wird die Kompatibilität derartiger Eigenschaften in einer aufwändigen Integrations- und Konfigurationstests am Ende des Entwicklungsprozesses geprüft, wobei diese Tests im schlechtesten Fall fehlschlagen. Aus diesem Grund wurde eine Zahl an formalen Verfahren Entwickelt, welche eine frühzeitige Analyse von Realzeiteigenschaften von Komponenten erlauben, sodass Inkompatibilitäten von Realzeiteigenschaften in späteren Phasen ausgeschlossen werden können. Existierenden Verfahren verlangen jedoch, dass eine Reihe von Bedingungen erfüllt sein muss, welche von realen Systemen nur schwer zu erfüllen sind, oder aber, die verwendeten Analyseverfahren skalieren nicht für größere Systeme. In dieser Arbeit wird ein Ansatz vorgestellt, welcher auf dem formalen Modell des Timed Automaton basiert und der keine Bedingungen verlangt, die von einem realen System nur schwer erfüllt werden können. Der in dieser Arbeit vorgestellte Ansatz enthält ein Framework, welches eine modulare Analyse erlaubt, bei der ausschließlich miteinender kommunizierende Komponenten paarweise überprüft werden müssen. Somit wird eine skalierbare Analyse von Realzeiteigenschaften ermöglicht, die keine Bedingungen verlangt, welche nur bedingt von realen Systemen erfüllt werden können.

Relaxation oscillations are highly non-linear oscillations, which appear to feature many important biological phenomena such as heartbeat, neuronal activity, and population cycles of predator-prey type. They are characterized by repeated switching of slow and fast motions and occur naturally in singularly perturbed ordinary differential equations, which exhibit dynamics on different time scales. Traditionally, slow-fast systems and the related oscillatory phenomena -- such as relaxation oscillations -- have been studied by the method of the matched asymptotic expansions, techniques from non-standard analysis, and recently a more qualitative approach known as geometric singular perturbation theory. It turns out that relaxation oscillations can be found in a more general setting; in particular, in slow-fast systems, which are not written in the standard form. Systems in which separation into slow and fast variables is not given a priori, arise frequently in applications. Many of these systems include additionally various parameters of different orders of magnitude and complicated (non-polynomial) non-linearities. This poses several mathematical challenges, since the application of singular perturbation arguments is not at all straightforward. For that reason most of such systems have been studied only numerically guided by phase-space analysis arguments or analyzed in a rather non-rigorous way. It turns out that the main idea of singular perturbation approach can also be applied in such non-standard cases. This thesis is concerned with the application of concepts from geometric singular perturbation theory and geometric desingularization based on the blow-up method to the study of relaxation oscillations in slow-fast systems beyond the standard form. A detailed geometric analysis of oscillatory mechanisms in three mathematical models describing biochemical processes is presented. In all the three cases the aim is to detect the presence of an isolated periodic movement represented by a limit cycle. By using geometric arguments from the perspective of dynamical systems theory and geometric desingularization based on the blow-up method analytic proofs of the existence of limit cycles in the models are provided. This work shows -- in the context of non-trivial applications -- that the geometric approach, in particular the blow-up method, is valuable for the understanding of the dynamics of systems with no explicit splitting into slow and fast variables, and for systems depending singularly on several parameters.

Die Zukunft liegt bereits heute schon im Internet der Dinge, Daten, Dienste und Personen. Informations- und Kommunikationstechnologien (IKT) beeinflussen vermehrt die alltäglichen Abläufe, übernehmen im Ernstfall lebenserhaltende Körperfunktionen, unterstützen Arbeits- und Produktionsprozesse und halten Einzug in unsere Wohnbereiche. Dabei rückt der Gedanke einer anwendungsnahen und integrierten Sicht von Software zunehmend in den Vordergrund und verlangt deshalb interdisziplinäre Ansätze. Eine frühzeitige technische Abstimmung zwischen Soft- und Hardware sowie unterschiedlichen technischen Öko-Systemen wird dabei notwendiger und fordert Politik, Wissenschaft und Wirtschaft in gleichem Maße. Das Innovationsforum open4INNOVATION2012 am 9.Mai bot dazu Praktikern und Akademikern eine Plattform für den interdisziplinären und fachbereichsübergreifenden Austausch zu neuen und anwendungsnahen IKT-Ansätzen. Unter dem Motto regional kooperativ, global innovativ galt es dabei regional politische, wirtschaftliche und wissenschaftliche Kompetenzen zu bündeln, um globale Märkte erfolgreich zu bestreiten. In dem vorliegenden Tagungsband finden Sie die Beiträge des Fachforums, welches ein Hauptformat der Veranstaltung darstellte. Zusätzlich kam es auf dem Innovationsforum open4INNOVATION2012 erstmals zur aktiven Vernetzung sächsischer Forschergruppen, deren wissenschaftlicher Schwerpunkt die Robotik ist. Auf diesem ersten sächsischen Robotertreffen stand vor allem die Arbeit mit humanoiden Robotern im Mittelpunkt.

Untersuchungen zum statistischen Verhalten von Polymerketten auf anziehenden Oberflächen stellen ein spannendes Forschungsgebiet dar aufgrund des Wechselspiels zwischen dem Entropiegewinn bei Ablösung von der einschränkenden Oberfläche und dem Energiegewinn bei der Bildung von Oberflächenkontakten. Für gute und Theta-Lösungen und lange Ketten ist dieses Gebiet recht alt und gut verstanden, doch gibt es immer noch eine Reihe von offenen Fragen, insbesondere zu endlich langen Polymeren, die gerade im Zeitalter zunehmender Miniaturisierung und experimenteller Auflösung Klärung bedürfen, aber nicht zuletzt auch von prinzipiellem Interesse sind. Die vorliegende Arbeit beschäftigt sich mit dem Gleichgewichtsverhalten einer endlich langen Polymerkette in Lösung in der Nähe einer anziehenden Oberfläche. Die Anziehungsstärke wird dabei systematisch variiert und der Einfluss auf die Konformation des Homopolymers studiert. Dies geschieht im kanonischen und im mikrokanonischen Ensemble, die im betrachteten endlichen System nicht identisch sind. Da die Lösungsmittelstärke des selbstwechselwirkenden Polymers durch die Temperatur variiert werden kann, gelang so eine systematische Studie einer Reihe von Konformationsübergängen. Ob das Polymer an einem Ende irreversibel mit der Oberfläche verbunden ist oder sich zu einem gewissen Grad von ihr entfernen kann, spielt für insbesondere den Adsorptionsübergang eine Rolle, die untersucht wird. Anschließend wurde der Einfluss nicht homogener Oberflächenanziehung in Form von attraktiven Streifenpotentialen auf der Oberfläche auf die zuvor beschriebenen Konformationsübergänge studiert. Die Natur der so forcierten Mustererkennung konnte unter anderem abhängig von Streifenbreite und -stärke detailliert beleuchtet und mit dem Verhalten an homogenen Oberflächen in Bezug gesetzt werden. Sämtliche Daten wurden mit Monte-Carlo-Computersimulationen in generalisierten Ensemblen und einem Polymermodell, das atomare Details vernachlässigt, gewonnen.

Moderne, objektorientierte Sprachen spielen bei der Entwicklung von Software für eingebettete Systeme bislang kaum eine Rolle. Die Gründe hierfür sind vielfältig, meist wird jedoch die mangelnde Effizienz und der größere Speicherbedarf hervorgehoben. Obwohl Java viele Eigenschaften hat, die sehr für einen Einsatz in eingebetteten Systemen sprechen, so hängt doch gerade Java vielfach immer noch das Vorurteil an, in Systemen mit beschränkter Rechenleistung und Speicher zu viele Ressourcen zu benötigen. Diese Arbeit soll dazu beitragen, diese Vorurteile abzutragen. Sie stellt insbesondere Techniken vor, die den Speicherbedarf einer JVM so gering wie möglich halten und diese effizient mit der zur Verfügung stehenden Rechenleistung umgehen lassen. Viele der dargestellten Verfahren und Algorithmen wurden in der Kertasarie VM implementiert, einer virtuellen Maschine, die speziell für den Einsatz in eingebetteten Systemen konzipiert wurde. Durch die weit verbreitete Vernetzung eingebetteter Systeme über das Internet stellt sich in vielen Fällen zudem das Problem einer modernen, abstrakten und effizienten Form der Kommunikation. Aus diesem Grund liegt der zweite Schwerpunkt dieser Arbeit auf dem Vergleich von objektorientierten Middleware-Architekturen, insbesondere von Java-RMI. Auch auf diesem Gebiet wird eine eigene, speziell an eingebettete Systeme angepasste RMI-Variante vorgestellt. / Modern, object oriented languages do not play an important role when developing software for embedded systems. There are many reasons for it, most often an inadequate performance and a greater memory demand are mentioned. In spite of the fact that Java has many features suitable for embedded systems, Java often faces the prejudice to consume too much resources in systems with limited processing power and memory. This work is a contribution to diminish this prejudices. It presents techniques to limit the memory demands of a Java Virtual Machine and to effectively cope with limited computing power. Many of the presented methods and algorithms are implemented in the Kertasarie VM, a JVM designed to run in embedded systems.Due to the fact of increasing network capabilities embedded systems often face the problem of a modern, abstract and efficient communication. Therefore the second emphasis of this work is put on the comparison of object oriented middleware architectures, especially Java-RMI. An own implementation for embedded systems is also presented.

This dissertation demonstrates the behavior of the electronic transport properties in the presence of a temperature gradient in disordered systems near the metal-insulator transition. In particular, we first determine the d.c. conductivity, the thermopower, the thermal conductivity, the Lorenz number, the figure of merit, and the specific heat of a three-dimensional Anderson model of localization by two phenomenological approaches. Then we also compute the d.c. conductivity, the localization length and the Peltier coefficient in one dimension by a new microscopic approach based on the recursive Green's functions method. A fully analytic study is difficult, if not impossible, due to the problem of treating the intrinsic disorder in the model, as well as, incorporating a temperature gradient in the Hamiltonian. Therefore, we resort to various numerical methods to investigate the problem.