Program analysis for code duplication in logic programs

In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible seed of inconvenience in all phases of the program lifecycle, from development to maintenance. The core of this research is the elaboration of a theory of semantical duplication, and of an automated program analysis capable of detecting such duplication and which could steer, to some extent, automatic refactoring of program code

Augmentation des performances aérodynamiques d'une dérive à l'aide de sweeping jets

Active flow control to delay the flow separation on the rudder of two different models has been investigated in the ONERA L1 wind tunnel. The first model was used as a simplified test case and consisted in a flat plate with a rudder. Different types of actuation were investigated: continuous/pulsed blowing through slots, continuous blowing through segmented slots and sweeping jets. The lift increments of these different types of actuation were compared not only in terms of mass flow rate but also in terms of momentum and power coefficients. Active flow control by sweeping jets was selected to be tested on the second model which is a scale 1:2 vertical tail model of a generic business jet. Side force increments up to 80% were achieved with a 2% value of C μ coefficient. Side force increments of 50% were also reached with a lower C μ value of 0.5%. These side force increments could lead to a reduction of vertical tail plane wetted area and weight and consequently to a reduction of drag cruise and fuel consumption.Le contrôle actif du décollement sur la gouverne de deux différentes maquettes a été investigué dans la soufflerie L1 de l'Onera. La première maquette est un cas test simplifié qui consiste en une plaque plane munie d'un volet de bord de fuite. Différents types d'actionneurs ont été étudiés : soufflage continu ou pulsé à travers des fentes, souffle continu à travers une fente en pointillé et des sweeping jets. Les gains en termes de portance pour ces différents types d'actionnement ont été comparés en termes de débit mais aussi en termes de coefficients de quantité de mouvement et de puissance. Le contrôle par sweeping jets a été ensuite sélectionné pour être testé sur une seconde maquette qui consiste en une dérive à l'échelle 1:2 d'un avion d'affaires générique. Des gains sur le coefficient de force latérale jusqu'à 80% ont pu être obtenus avec un coefficient de quantité de mouvement Cμ de 2%. Des gains de 50% ont également été obtenus avec des valeurs plus raisonnables de Cμ de 0.5%. Ces gains sur l'effort latéral généré par la dérive permettraient une réduction de la surface et donc du poids de celle-ci et par conséquent une réduction de la traînée de croisière et de la consommation en carburant des avions

Les journaux de mode en France (1785-1792)

This Master Thesis have for subject the first fashion newspapers published between 1785 and 1792. Three newspapers had been studied: le Cabinet des modes, le Magasin des modes nouvelles, françaises et anglaises and le Journal de la mode et du goût. The main goal is to study what they offered to their subscribers. This Master Thesis is organize in three parts preceded by an introduction, followed of conclusions and by a bibliography. The first part of this Master Thesis aims to present these newspapers, the the Editorial staff structure and the diffusion as well as the difficulties which these newspapers had to deal with. The second part studies the articles and sections which had nothing to do with fashion. Indeed, the studied newspapers offered columns about the artistic life : literary reviews, theatrical reviews, music as well as entertainments : fables, songs, poems, tales, anecdotes, etc. We can also find some strong articles about women, religious life and the State. Furthermore, a chapter is dedicated to advertising as these commercials announcements are omnipresent in these newspapers. Finally, the third and last part is about what's the heart of these periodicals : fashion. Fashion is proposed in the form of boards which contain fashion engravings. These engravings represent persons (women, mens, children), everyday life objects, interior design but also cars and music partitions. Engravings in the fashion newspapers are a new thing, they allow a fast display of different types of fashions. The comments and the articles about fashion are complementary of the engravings. The aim is to describe the engravings proposed but also to push the speech forward about fashion in its globality. The study of these newspapers had allow to discover than besides fashion, the fashion newspapers offered all sort of entertainments to their readers. However, sometimes the tone used in the articles were more serious. So, these newspapers allow us to have a vision about the center of interests of the readers during this period of time.Ce mémoire a pour sujet les premiers journaux de mode parus entre 1785 et 1792. Les journaux étudiés sont au nombre de trois : le Cabinet des modes, le Magasin des modes nouvelles, françaises et anglaises et le Journal de la mode et du goût. L'objectif ici est d'examiner ce que ces journaux de mode proposaient à leurs lecteurs. Le présent mémoire s'organise en trois grandes parties précédés d'une introduction, suivis d'une conclusion. La première partie du mémoire porte sur la présentation des journaux, sur l'organisation de la rédaction et de la diffusion ainsi que sur les difficultés auxquels ceux-ci ont dû faire face. La seconde partie étudie les articles et les rubriques qui ne concernent pas la mode à proprement parler. En effet, les journaux étudiés proposent des rubriques sur la vie artistique : revues littéraires, revues théâtrales, musique ainsi que des divertissements : fables, chansons, poèmes, contes, anecdotes, etc. On peut retrouver également quelques articles plus incisifs concernant les femmes, la vie religieuse et l'état. De plus, un chapitre est (entièrement) dédié à la publicité puisque les annonces à but commercial sont omniprésentes dans ces journaux. Enfin, la troisième et dernière partie s'intéresse au cœur du sujet de ces périodiques : la mode. La mode est proposée sous forme de planches qui contiennent des gravures de modes. Ces gravures représentent des personnes (des femmes, des hommes et quelques rares fois des enfants), des objets du quotidien, de la décoration d'intérieur mais également des voitures et des partitions de musique. Les gravures dans les journaux sont une nouveauté, elles permettent une visualisation rapide des modes proposées. Les commentaires et les articles sur la mode complètent les gravures qui sont proposées. Il s'agit de décrire ce que la planche propose et d'aller également plus loin en offrant un discours sur la mode dans sa globalité. L'étude de ces journaux a permis de découvrir qu'outre la mode, ceux-ci proposaient toutes sortes de divertissement à leurs lecteurs. Cependant, le ton employé dans les articles pouvait parfois être plus sérieux. Ainsi, ces journaux permettent d'avoir une vision sur ce qui pouvaient intéresser les lecteurs des journaux de mode durant la période étudiée

Analysis and Comparison of Transonic Buffet Phenomenon over Several Three-Dimensional Wings

International audienceThe transonic buffet is a complex aerodynamic instability that appears on wings and airfoils at a high subsonic Mach number and/or angle of attack. It consists of a shock oscillation that induces pressure and notably lift fluctuations, thus limiting the flight envelope of civil aircraft. The aim of the present Paper is to improve the understanding of the flow physics of the three-dimensional transonic buffet over swept wings through the analysis and comparison of four different experimental databases. In particular, the objective is to identify characteristic values of the phenomenon such as Strouhal numbers, convection velocities, buffet onset, etc. It is shown that some dimensionless numbers are kept constant among the different databases and consequently can be considered as characteristics, whereas others change. The key factors in the understanding of the three-dimensional transonic buffet phenomenon lie in explaining common features but also the variability of transonic buffet characteristics in different configurations. In particular, it is shown that three-dimensional buffet is characterized by a Strouhal number in the range 0.2–0.3 and a spanwise convection velocity of 0.245 0.015 U∞, where U∞ denotes the freestream velocity. These characteristic ranges of frequencies are larger than those of the two-dimensional buffet phenomenon, which suggests different physical mechanisms