Le but de ce travail est de construire un schéma volumes finis explicite d’ordre élevé pour des systèmes de lois de conservation avec terme source qui peuvent dégénérer vers des équations de diffusion sous des conditions de compatibilités. Cette dégénérescence est observée en temps long et/ou lorsque le terme source devient prépondérant. Par exemple, ce comportement peut être observé sur le modèle d’Euler isentropique avec friction, ou sur le modèle M1 pour le transfert radiatif ou encore avec l’hydrodynamique radiative. On propose une théorie générale afin de développer un schéma d’ordre un préservant l’asymptotique (au sens de JIN) pour suivre la dégénérescence. On montre qu’il est stable et consistant sous une condition CFL hyperbolique classique dans le régime de transport comme proche de la diffusion pour tout maillage 2D non structuré. De plus, on justifie qu’il préserve aussi l’ensemble des états admissibles, ce qui est nécessaire pour conserver des solutions physiquement et mathématiquement valides. Cette construction se fait en utilisant le schéma non-linéaire de DRONIOU et LE POTIER pour discrétiser l’équation de diffusion limite. Ensuite, l’extension à l’ordre élevé s’effectue avec des reconstructions polynomiales et la méthode MOOD comme principe de limitation. Les difficultés principales sont la préservation de l’ensemble des états admissibles dans tous les régimes sur maillage 2D non structuré et la préservation de l’asymptotique à tout ordre lors de l’utilisation de reconstructions polynomiales. Des résultats numériques sont présentés pour valider le schéma d’ordre un et d’ordre élevé dans tous les régimes. / The aim of this work is to design a high-order and explicit finite volume scheme for specific systems of conservation laws with source terms. Those systems may degenerate into diffusion equations under some compatibility conditions. The degeneracy is observed with large source term and/or with late-time. For instance, this behaviour can be seen with the isentropic Euler model with friction or with the M1 model for radiative transfer, or with the radiation hydrodynamics model. We propose a general theory to design a first-order asymptotic preserving scheme (in the sense of Jin) to follow this degeneracy. The scheme is proved to be stable and consistent under a classical hyperbolic CFL condition in both hyperbolic and diffusive regimes, for any 2D unstructured mesh. Moreover, we justify that the developed scheme also preserves the set of admissible states in all regimes, which is mandatory to conserve physical solutions. This construction is achieved by using the non-linear scheme of Droniou and Le Potier as a target scheme for the diffusive equation, which gives the form of the global scheme for the complete system of conservation laws. Then, the high-order scheme is constructed with polynomial reconstructions and the MOOD paradigm as a limiter. The main difficulties are the preservation of the set of admissible states in both regimes on unstructured meshes and to deal with the high-order polynomial reconstruction in the diffusive limit without losing the asymptotic preserving property. Numerical results are provided to validate the scheme in all regimes, with the first and high-order versions.

One important aspect of the quality of programming languages is the effort required by a programmer to understand code written in the language. A historical case where this issue was at the forefront was in the debate between the proponents of high-level languages (HLL) and Assembly languages, where the main argument for HLLs were that they were easier for people to understand. Being one out of a series of articles arguing for a unified theory for software engineering, this article proposes the use of a specific theoretical model from the discipline of cognitive psychology as a tool for predicting language comprehension effort. Describing human problem solving faculties, the ACT-R model [Anderson and Lebiere 1998] predicts that the effort of understanding a program written in C is only 36,5% of the effort of understanding a comparable program written in Assembly. In order to validate the theory, an experiment was performed where a number of engineering students were exposed to tasks of program comprehension. This empirical assessment demonstrated that the effort of understanding a program written in C is 32,5% of the effort of understanding a comparable program written in Assembly. Comparing the results of the theoretical predictions and the empirical assessments of program comprehension effort, we find that the theoretical model performs surprisingly well. The prediction error for the execution of an Assembly program was 5,1% while the error for C was 6,8%. The prediction error for the ratio between the two program languages amounted to 12,6%. / <p>QC 20130618</p>

No description available.

No

An axisymmetric, Navier-Stokes finite volume flow solver, which uses Harten, Lax and van Leer (HLL) and Harten, Lax and van Leer&ndash / Contact (HLLC) upwind flux differencing scheme for spatial and uses Runge-Kutta explicit multi-stage time stepping scheme for temporal discretization on unstructured meshe is developed. Developed solver can solve the compressible axisymmetric flow. The spatial accuracy of the solver can be first or second order accurate. Second order accuracy is achieved by piecewise linear reconstruction. Gradients of flow variables required for piecewise linear reconstruction are calculated by Green-Gauss theorem. Baldwin-Lomax turbulent model is used to compute the turbulent viscosity. Approximate Riemann solver of HLL and HLLC implemented in solver are validated by solving a cylindrical explosion case. Also the solver&rsquo / s capability of solving unstructured, multi-zone domain is investigated by this problem. First and second order results of solver are compared by solving the flow over a circular bump. Axisymmetric flow in solid propellant rocket motor is solved in order to validate the axisymmetric feature of solver. Laminar flow over flat plate is solved for viscous terms validation. Turbulent model is studied in the flow over flat plate and flow with mass injection test cases.

Présentation d'une conception nouvelle des systèmes d'exploitation. Description du système PASC-HLL

L'objectif de ce travail est le développement d'un modèle et d'une méthode numérique adaptés à la simulation du ruissellement d'eau de pluie sur des surfaces agricoles. Pour cela, nous utilisons un système d'équations aux dérivées partielles pour les eaux peu profondes : le système de Saint Venant. La pluie et l'infiltration y sont pris en compte par l'ajout de termes source et le couplage avec un modèle d'infiltration. Le système étant hyperbolique et conservatif nous choisissons d'utiliser un schéma aux volumes finis avec reconstruction hydrostatique. Avec cette reconstruction nous obtenons un schéma permettant de traiter les équilibres stationnaires et les interfaces sec/mouillé dues aux événements pluvieux. Tout d'abord, nous effectuons une comparaison systématique de différents flux numériques, de différentes reconstructions d'ordre deux (MUSCL et ENO modifiées) et de différentes méthodes de traitement des frottements sur des solutions analytiques unidimensionnelles. Ces comparaisons nous permettent de choisir une méthode numérique adaptée à la simulation du ruissellement qui en outre capture les phénomènes de type roll-waves. Ensuite nous nous intéressons au traitement de la pluie et de l'infiltration à l'aide du modèle de Green-Ampt. Cette méthode généralisée en dimension deux est validée sur des résultats expérimentaux obtenus à l'INRA d'Orléans et à l'IRD. La méthode numérique choisie et validée a été implémentée dans FullSWOF_2D un logiciel libre écrit en C++ pour la simulation de ruissellement d'eau de pluie sur des surfaces agricoles.

No description available.

Gegenstand der Arbeit sind Darstellungen, die dem Umfeld zweier Heiligenkulte in Florenz angehören und auf Bestellungen der Medici, ihrer Freunde und Verbündeten zurückzuführen sind. Den ursprünglich römischen Kult seiner Namenspatrone, der hll. Cosmas und Damian hat erst Cosimo de’ Medici in Florenz bekannt gemacht. Dabei erwies sich das Fehlen einer nennenswerten Florentinischen Tradition als maßgeblicher Faktor seiner Wirkkraft. Fra’ Angelico, Filippo Lippi und andere Künstler konnten formal neuartige Bildlösungen entwickeln, deren Inhalte sich als Projektionsflächen der politischen und geistigen Florentiner Eliten eigneten. Cosimo etablierte auf diese Weise ein Netzwerk persönlicher Repräsentation, das nicht allein die Barriere zwischen privatem und öffentlichem Raum zu durchdringen vermochte, sondern auch demonstrativ über die in Florenz herkömmliche Beschränkung auf das eigene Stadtviertel hinausgriff. Mit dem Generationswechsel nach Cosimos Tod erforderten die veränderten Machtverhältnisse auch einen Wechsel in der Strategie des Kults. In der zweiten Hälfte des 15. Jahrhunderts tritt ein anderer Kult, jener der hll. Drei Könige in den Vordergrund. Dieser besaß im Gegensatz zur Verehrung von Cosmas und Damian in Florenz eine eigenständige, spezifisch republikanische Tradition. Unter deren Schutz konnte eine kontinuierliche Politisierung althergebrachter Rituale und die Übernahme der Kontrolle durch die Medici stattfinden. Auch in diesem Fall zeigt die Analyse der erhaltenen Darstellungen, dass sie den Auftraggebern als Loyalitätsnachweis dienten und die Zugehörigkeit zum Klientel der Medici und damit der städtischen Eliten markierten. Noch in der Mitte des 16. Jahrhunderts griff Herzog Cosimo I. auf strategische Elemente und Motive des Kults zurück, nun zunehmend aus dem sakralen Kontext gelöst und Bestandteil höfischer Panegyrik. / The Images observed here are mainly of two religious cults commissioned by members, friends and allies of the Medici family. In the early 15th century Cosimo de’ Medici following the example of his father introduced his patron saints, Cosmas and Damian into his native city of Florence. Prior to this the cult of these saints was of no vital importance outside Rome. Thus there was no eminent pictorial tradition of their images which proved an important factor in the cult’s success. Fra’ Angelico, Filippo Lippi and other artists were able to develop a new imagery that allowed members of Florence’s political and humanistic circles to identify with. Cosimo established a network of personal representation which did not only penetrate the barriers between private and public space but ostentatiously reached beyond the customary boundaries of a family’s home quarter. After Cosimo’s death in 1464 political instability resulted in a change of strategy. In the second half of the 15th century a different cult, that of the Three Magi, moves into the center of medicean interest. Contrary to Saints Cosmas and Damian the cult of the Magi had an ancient and marked republican tradition in Florence. Under cover of this tradition the Medici party managed to take over control of the confraternity of the Magi and wield its influential instruments to their own benefit. As with images of Saints Cosmas and Damian those depicting the Adoration of the Magi were used as a confirmation of loyalty to the Medici and their faction. Even in the 16th century Duke Cosimo I. went back to elements and motifs of his predecessors’ strategy. Rather than reviving the cult of Saints Cosmas and Damian however they are used to give evidence of political and dynastical continuity.