La métrologie industrielle est l'un des enjeux actuels de tous les secteurs d'activité qui nécessitent de réaliser un contrôle dimensionnel précis de produits afin de garantir des spécificités conformes aux normes et de tendre vers une qualité ``zéro défaut''. Les systèmes actuels utilisés s'appuient sur des technologies fondées sur la stéréométrie, la photogrammétrie, la projection de lumière structurée, la triangulation active ou le temps de vol. En général non polyvalents, encombrants, fragiles et ne pouvant s'adapter à des environnements hostiles, ces systèmes souffrent d'une limitation géométrique en raison de l'existence d'un angle mort dans lequel aucune mesure ne peut être réalisée.<br /><br />Dans cette thèse, nous proposons un nouveau capteur, le scanner conoscopique, capable d'effectuer des mesures dans les domaines macroscopiques et microscopiques, fonctionnant dans n'importe quel environnement, même hostile, très compact et utilisant de la lumière spatialement incohérente.<br /><br />Exploitant le principe de la conoscopie et donc des propriétés de biréfringence des cristaux, le scanner conoscopique est composé d'une caméra à couplage de charges (CCD), d'un système conoscopique et d'une unité de traitement de l'information. A partir des spécifications de ses performances en terme de précision au millième de millimètre sur les mesures 3D, nous avons été conduit à analyser et caractériser chaque élément de la chaîne de mesure dont la calibration est l'étape fondamentale.<br /><br />Nous avons tout d'abord développé une technique de calibration de la caméra à couplage de charges (CCD) à partir d'un modèle sténopé qui combine les paramètres intrinsèques et extrinsèques et exploitant les points d'amers. Nous avons abouti à une précision de 1.5% du champ d'analyse. Ensuite, nous avons proposé deux méthodes de calibration du système conoscopique, l'une analytique par calcul direct de la phase et exploitant les équations de l'optique et de la biréfringence des cristaux, l'autre expérimentale par dénombrement des franges d'interférence et s'appuyant sur la connaissance d'abaques incluant la variation de température, d'éclairement, la nature des matériaux et intégrant une modélisation globale du bruit d'acquisition. La validation expérimentale réalisée d'une part sur des profils géométriques simples (créneaux, escaliers...) et d'autre part sur des objets 3D réels a permis d'établir que la précision de mesure est de 1.5% du champ d'analyse.<br /><br />Ayant établi la faisabilité technologique de la calibration du système qui permet de garantir les spécifications souhaitées, nous nous sommes plus particulièrement interessé à deux configurations du scanner conoscopique : fixe et à balayage, dont nous avons analysé les performances sur des objets diffusifs pour des formes et des matériaux différents. Nous avons établi que la précision des mesures est de l'ordre du millième du champ de mesure.<br /><br />L'ensemble des contributions de cette thèse est intégré au système actuellement développé qui est par ailleurs commercialisé et utilisé dans des applications industrielles et médicales.

Weaning is one of the most critical periods in pig production due to a high susceptibility to gut disorders and infections induced by psychological, social, environmental and dietary stresses interfering with gut development and adaptation. This period was managed for decades by incorporating antibiotics in the diet. However, the European Union implemented a full ban on in-feed antibiotics since 1 January 2006. In this context, many alternatives are studied. We chose to study bovine colostrum for its richness in essential nutrients but also in bioactive peptides known for their growth promoting and antimicrobial properties in the calf but also in other species (poultry, pig, human). It was also selected for its high disponibility (Banque de colostrum, CER, Marloie, Belgium). The objective of this thesis is to investigate the potential of the use of bovine colostrum in the newly-weaned piglet diet and its mechanism of action. This thesis is composed of two parts : In the first part, the effects of bovine colostrum on growth performances, feed intake and physiological parameters were studied in two experiments. In the first experiment, 24 newly weaned piglets were fed daily a diet supplemented with 0, 1 or 5 g of defatted bovine colostrum. Our measures on the immune system showed that bovine colostrum could influence the development of the IgA response by potentiating a Th2 response in the ileal Peyer patch. In the digestive tract, no effects were shown on the morphology of the intestinal wall but a local anti-colostral immunisation was observed. In a second experiment, we demonstrated the efficiency of a 2 % bovine colostrum whey supplementation in weaning piglet diet to reduce the post-weaning growth check and undernutrition. The blood parameters showed a systemic IgA response, confirming previous results, and a higher IGF-I level in the colostrum-fed piglets the first week post-weaning. No effects on the faecal E. coli population were recorded. In the second part of this thesis, different ways to make the use of bovine colostrum more cost-effective for pig production were studied. It was shown that it was possible to maintain the same efficiency while reducing the dose of supplementation from 2 to 1 % and the period of administration from 28 to 10 days and replacing bovine colostrum whey by defatted bovine colostrum, a product 50 % less expensive to produce. Le sevrage est une des périodes les plus critiques en production porcine à cause d'une plus forte sensibilité des animaux aux problèmes intestinaux et aux infections suite aux stress psychologique, social, environnemental et alimentaire interférant avec le développement du tube digestif. Cette période délicate a été maîtrisée durant des décennies par l'incorporation d'antibiotiques dans l'aliment. Cependant, depuis le 1er Janvier 2006, cette pratique est totalement interdite dans l'Union Européenne. Dans ce contexte, de nombreuses alternatives sont étudiées. Nous avons choisi le colostrum bovin pour sa richesse en éléments essentiels et surtout en peptides bioactifs connus pour leurs propriétés promotrices de croissance et antimicrobiennes chez le bovin mais également chez d'autres espèces (poulet, porc, homme). Il a également été retenu pour sa grande disponibilité (banque de colostrum, CER, Marloie, Belgique). L'objectif de cette thèse est d'évaluer l'intérêt d'utiliser du colostrum bovin dans l'alimentation du porcelet au sevrage et d'étudier son mécanisme d'action. La thèse se compose de deux parties : Dans la première partie, les effets d'une supplémentation en colostrum bovin sur les performances, l'ingestion et certains paramètres physiologiques ont été étudiés au cours de deux expériences. Au cours d'une première expérience, un aliment supplémenté quotidiennement avec 0, 1 ou 5 g de colostrum bovin dégraissé a été testé. Au niveau immunitaire, nos mesures ont montré une influence du colostrum bovin sur le développement de la réponse en IgA en induisant une réponse de type Th2 au niveau de la plaque de Peyer iléale. Dans le tube digestif, aucun effet n'a été observé sur la morphologie de la paroi intestinale, mais une immunisation locale anti-colostrale a été mise en évidence. Une seconde expérience a démontré l'efficacité d'une supplémentation de 2 % de sérum de colostrum dans l'aliment pour réduire la perte de poids et la sous-alimentation provoquées par le sevrage. Les paramètres sanguins ont montré une augmentation des IgA, confirmant nos résultats précédents, et un taux en IGF-I plus important chez les porcelets recevant le colostrum. Par contre, aucun effet n'a été observé sur la population d'E. Coli fécale. Dans la seconde partie de la thèse, différents moyens de réduire le coût de la supplémentation en colostrum bovin ont été étudiés. Il a été démontré qu'il était possible de maintenir l'efficacité du colostrum tout en réduisant la dose (de 2 % à 1 %) et la durée de supplémentation (de 28 à 10 jours) et en remplaçant le sérum de colostrum par du colostrum dégraissé, un produit 50 % moins cher.

Die vorliegende Arbeit umfaßt drei Abhandlungen, welche allgemein mit einer stochastischen Theorie für die Lyapunov-Exponenten befaßt sind. Mit Hilfe dieser Theorie werden universelle Skalengesetze untersucht, die in gekoppelten chaotischen und ungeordneten Systemen auftreten. <br /> <br /> Zunächst werden zwei zeitkontinuierliche stochastische Modelle für schwach gekoppelte chaotische Systeme eingeführt, um die Skalierung der Lyapunov-Exponenten mit der Kopplungsstärke ('coupling sensitivity of chaos') zu untersuchen. Mit Hilfe des Fokker-Planck-Formalismus werden Skalengesetze hergeleitet, die von Ergebnissen numerischer Simulationen bestätigt werden. <br /> <br /> Anschließend wird gezeigt, daß 'coupling sensitivity' im Fall gekoppelter ungeordneter Ketten auftritt, wobei der Effekt sich durch ein singuläres Anwachsen der Lokalisierungslänge äußert. Numerische Ergebnisse für gekoppelte Anderson-Modelle werden bekräftigt durch analytische Resultate für gekoppelte raumkontinuierliche Schrödinger-Gleichungen. Das resultierende Skalengesetz für die Lokalisierungslänge ähnelt der Skalierung der Lyapunov-Exponenten gekoppelter chaotischer Systeme. <br /> <br /> Schließlich wird die Statistik der exponentiellen Wachstumsrate des linearen Oszillators mit parametrischem Rauschen studiert. Es wird gezeigt, daß die Verteilung des zeitabhängigen Lyapunov-Exponenten von der Normalverteilung abweicht. Mittels der verallgemeinerten Lyapunov-Exponenten wird der Parameterbereich bestimmt, in welchem die Abweichungen von der Normalverteilung signifikant sind und Multiskalierung wesentlich wird. / This work incorporates three treatises which are commonly concerned with a stochastic theory of the Lyapunov exponents. With the help of this theory universal scaling laws are investigated which appear in coupled chaotic and disordered systems. <br /> <br /> First, two continuous-time stochastic models for weakly coupled chaotic systems are introduced to study the scaling of the Lyapunov exponents with the coupling strength (coupling sensitivity of chaos). By means of the the Fokker-Planck formalism scaling relations are derived, which are confirmed by results of numerical simulations. <br /> <br /> Next, coupling sensitivity is shown to exist for coupled disordered chains, where it appears as a singular increase of the localization length. Numerical findings for coupled Anderson models are confirmed by analytic results for coupled continuous-space Schrödinger equations. The resulting scaling relation of the localization length resembles the scaling of the Lyapunov exponent of coupled chaotic systems. <br /> <br /> Finally, the statistics of the exponential growth rate of the linear oscillator with parametric noise are studied. It is shown that the distribution of the finite-time Lyapunov exponent deviates from a Gaussian one. By means of the generalized Lyapunov exponents the parameter range is determined where the non-Gaussian part of the distribution is significant and multiscaling becomes essential.

CeCu_2Si_2 was the first heavy-fermion compound showing signatures of bulk superconductivity (T_c = 0.5 K). Further observations have put in evidence the correlations between superconductivity, magnetic order, Kondo physics, and quantum critical phenomena. In spite of the interest generated, a systematic study of such correlations was hampered by strong sample dependences. Fortunately, the inherent complexity associated to the stoichiometric composition has been recently understood. The availability of single-crystals with well-defined properties has thus reignited the interest in CeCu_2Si_2 as a window to novel phenomena, such as unconventional superconductivity. The present work summarizes the results of my doctoral research. It exemplifies the importance not only of high-quality materials, but also of suitable experimental techniques. A first step in this project involved the design of angle-dependent techniques in the milli-kelvin range, namely: electrical resistivity and thermal conductivity. It comprised the development of a rotational stage, the construction of sample holders, and the implementation of controlling and measuring components. In the second part of the project, electrical- and thermal-transport measurements on CeCu_2Si_2 were performed. Power-law behavior below T_c in the thermal conductivity suggests the presence of lines of nodes in the gap function. Also, the non-vanishing extrapolated residual terms (k_00/T ) support the presence of a residual density of states. The nodes are broadened by potential scattering, which appears to be significant in CeCu_2Si_2. The scattering hinders the determination of the symmetry of the order parameter and might be responsible for the observed isotropic angle dependence of the thermal conductivity. In contrast, angle-dependent measurements of the upper critical field exhibit a four-folded behavior, which also points towards the presence of nodes. By comparing with a weak-coupling model including the effects of Pauli limiting and anisotropic Fermi velocity, the results point towards a d_xy-wave symmetry of the order parameter. Such results represent the first angle-dependent measurements supporting a d-wave symmetry in CeCu_2Si_2.

Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks. / Cyber-physical Systeme erzielen ihr ausgefeiltes Systemverhalten durch die enge Verschränkung von physikalischer Kopplung, wie sie in Systemen der klassichen Igenieurs-Disziplinen vorkommt, und der Kopplung durch Informationstechnologie. Eine besondere Herausforderung stellen in diesem Zusammenhang Systeme dar, die durch die spontane Vernetzung einzelner Cyber-Physical-Systeme entsprechend der lokalen, topologischen Gegebenheiten, verfügbarer Netzwerkfähigkeiten und der Anforderungen und Beschränkungen der Teilsysteme, die durch den informationsverabeitenden Teil vorgegeben sind, entstehen. In diesem Bericht stellen wir einen Formalismus vor, der die Modellierung der eingangs skizzierten Systeme erlaubt. Ein auf UML aufbauender Graph-Transformations-Ansatz wird genutzt, um die spontane Bildung eng kooperierender Teilsysteme beliebiger Größe zu spezifizieren. Differentialgleichungen beschreiben das kombinierte Verhalten auf physikalischer Ebene. In Kombination ergeben diese beiden Formalismen hybride Graph-Transformations-Systeme, in denen die Graph-Transformationen diskrete Schritte und die Differentialgleichungen das kontinuierliche, physikalische Verhalten des Systems beschreiben. Zusätzlich, präsentieren wir die Erweiterung einer automatischen Analysetechnik zur Verifikation induktiver Invarianten, die bereits für zeitbehaftete Systeme bekannt ist, auf den ausdrucksstärkeren Fall der hybriden Modelle.

Electronic systems of the future require a very high bandwidth communications infrastructure within the system. This way the massive amount of compute power which will be available can be inter-connected to realize future powerful advanced electronic systems. Today, electronic inter-connects between 3D chip-stacks, as well as intra-connects within 3D chip-stacks are approaching data rates of 100 Gbit/s soon. Hence, the question to be answered is how to efficiently design the communications infrastructure which will be within electronic systems. Within this paper approaches and results for building this infrastructure for future electronics are addressed.

ON PRESENTE LES PRINCIPAUX OUTILS QUI PERMETTENT DE SPECIFIER ET D'IMPLEMENTER LES MECANISMES DE SYNCHRONISATION DANS UN SYSTEME MONOPROCESSEUR PUIS MULTIPROCESSEUR. ON DEFINIT ET ON MONTRE LES REGLES D'EVOLUTION DES RESEAUX DE PETRI ET ON DETAILLE LES DIVERSES METHODES D'ANALYSE QU'ILS AUTORISENT. ON PROPOSE UN MODELE DERIVE APPELE RESEAUX DE PETRI A JETONS INDIVIDUALISES. ON DECRIT UN ALGORITHME DE SYNCHRONISATION ET ON PROPOSE UNE MISE EN OEUVRE DE CET ALGORITHME A PARTIR DES RESEAUX DE PETRI A JETONS INDIVIDUALISES

Mit steigender Komplexität heterogener, verteilter Systeme nehmen auch die Anforderungen an deren Validierung zu. In dieser Arbeit wird ein Konzept vorgestellt, mit dem eine bestimmte Klasse komplexer Systeme, so genannte Dienstbereitstellende Systeme, durch automatisiertes Testen validiert werden kann. Mit Hilfe heterogener Klienten, bspw. eingebetteter Systeme, wird die Systemfunktionalität getestet. Hierzu wird das zu testende System auf die nach außen zur Verfügung gestellten Dienste reduziert und die Nutzung dieser Dienste durch Klienten mit einer Last quantifiziert. Eine Validierung wird durch die Vorgabe zeitlich veränderlicher Lasten für jeden Dienst definiert. Diese Lasten werden zielgerichtet den verfügbaren Klienten zugeteilt und durch diese im zu testenden System erzeugt. Zur praktikablen Anwendung dieses Konzeptes ist eine Automatisierung des Validierungsprozesses notwendig. In der Arbeit wird die Architektur einer Testbench vorgestellt, die zum einen die Heterogenität der Klienten berücksichtigt und zum anderen Einflüsse durch die Dynamik der Klienten während der Laufzeit der Validierung ausgleicht. Das hierbei zu lösende algorithmische Problem der Dynamischen Testpartitionierung wird ebenso definiert, wie ein Modell zur Beschreibung aller notwendigen Parameter. Die Testpartitionierung kann mittels einer eigens entwickelten Heuristik in Polynomialzeit gelöst werden. Zur Bestimmung der Leistungsfähigkeit des entwickelten Verfahrens wird die Heuristik aufwendigen Untersuchungen unterzogen. Am Beispiel eines zu testenden Mobilfunknetzwerkes wird die beschriebene Testbench umgesetzt und Kernparameter mittels Simulation ermittelt. Das Ergebnis dieser Arbeit ist ein Konzept zur Systemvalidierung, das generisch auf jede Art von dienstbereitstellenden Systemen angewandt werden kann und damit zur Verbesserung des Entwicklungsprozesses von komplexen verteilten Systemen beiträgt.

Generic Hamiltonian systems have a mixed phase space, where classically disjoint regions of regular and chaotic motion coexist. For many applications it is useful to approximate the regular dynamics of such a mixed system H by an integrable approximation Hreg. We present a new, iterative method to construct such integrable approximations. The method is based on the construction of an integrable approximation in action representation which is then improved in phase space by iterative applications of canonical transformations. In contrast to other known approaches, our method remains applicable to strongly non-integrable systems H. We present its application to 2D maps and 2D billiards. Based on the obtained integrable approximations we finally discuss the theoretical description of dynamical tunneling in mixed systems. / Typische Hamiltonsche Systeme haben einen gemischten Phasenraum, in dem disjunkte Bereiche klassisch regulärer und chaotischer Dynamik koexistieren. Für viele Anwendungen ist es zweckmäßig, die reguläre Dynamik eines solchen gemischten Systems H durch eine integrable Näherung Hreg zu beschreiben. Wir stellen eine neue, iterative Methode vor, um solche integrablen Näherungen zu konstruieren. Diese Methode basiert auf der Konstruktion einer integrablen Näherung in Winkel-Wirkungs-Variablen, die im Phasenraum durch iterative Anwendungen kanonischer Transformationen verbessert wird. Im Gegensatz zu bisher bekannten Verfahren bleibt unsere Methode auch auf stark nichtintegrable Systeme H anwendbar. Wir demonstrieren sie anhand von 2D-Abbildungen und 2D-Billards. Mit den gewonnenen integrablen Näherungen diskutieren wir schließlich die theoretische Beschreibung von dynamischem Tunneln in gemischten Systemen.

Ausgehend von einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten bereichert die vorliegende Dissertationsschrift den Systementwurf eingebetteter Systeme um neue Facetten. Ihr besonderer Fokus liegt dabei auf rekonfigurierbaren Architekturen und Linux-basierten Systemen. Ein wesentlicher Beitrag ist die Darstellung und Diskussion von Konzepten und Architekturen vorgenannter Systeme durch ihre Betrachtung auf einer hohen Abstraktionsebene. Dazu schafft die Arbeit ein umfassendes Verständnis für Kommunikation und Konfiguration in heterogenen rekonfigurierbaren Systemen und überträgt die Erkenntnisse auf das Linux-Betriebssystem. Es erfolgt außerdem eine systematische Darstellung der etablierten Zusammenhänge und Abläufe beim Software-, Paket- und Versionsmanagement im Linux-Umfeld. Zur Verbesserung des Entwurfsflusses werden Konzepte und ein geeignetes Werkzeug zur High-Level Spezifikation von Linux-Systemen dargestellt. Die in der Arbeit gewonnenen wissenschaftlichen Erkenntnisse werden hinsichtlich praktischer Relevanz evaluiert und durch prototypische Implementierungen verifiziert. / Based on a modular platform for recording and processing of sensor data the present thesis enriches the field of system design of embedded systems with new facets. Its particular focus is on reconfigurable architectures and Linux-based systems. A major contribution is the presentation and discussion of concepts and architectures of aforementioned systems by investigating them on a high level of abstraction. To achieve this, the work creates a comprehensive understanding of communication and configuration in heterogeneous reconfigurable systems. This knowledge is transferred on the Linux operating system. In addition, a systematic presentation of the established relationships and processes in software, package and version management in the Linux environment takes place. To improve the design flow of Linux systems, the thesis presents appropriate concepts as well as a tool for high-level specification of embedded Linux systems. The gained scientific findings are evaluated in terms of practical relevance and verified by prototype implementations.