L’interprétation musicale sur les instruments à cordes frottées dans un corpus de presse est un discours abscons, dont les caractéristiques pragmatiques, énonciatives et sémantiques sont d’importants facteurs de complexité : l’absence de polémique de ce discours épidictique, le renforcement de l’éthos oratoire, son caractère polyphonique, sa complexité sémantique ainsi que l’emploi d’éléments doxiques et de stratégies de transfert entre types de savoirs en rendent la réception difficile. L’orientation argumentative des périodes descriptives témoigne de cette complexité : abondance des opérations de qualification et d’assimilation, multiplicité des adjectifs subjectifs et des formes négatives … Tout concourt à rendre ce discours peu accessible. Les nombreuses séries énumératives, riches en figures de style, en effets de symétrie / asymétrie et en jeux de sens renforcent enfin les difficultés de compréhension d’un lecteur impressionné qui ne peut finalement qu’applaudir. / The discourse related to musical interpretation on string instruments in a corpus of newspaper articles is complex, mainly because of its pragmatic, enunciation-related and semantic features. The complete lack of polemics, the important role of the discursive ethos, the polyphonic features and semantic complexity, as well as the use of numerous stereotypes all contribute to making this epideictic discourse difficult to understand. The argumentative orientation of descriptive sequences provide us with another aspect of this complexity: the numerous operations of qualification and assimilation, the use of many subjective adjectives and negative structures, multiple enumerations – full of rhetorical figures, symmetry, asymmetry and semantic games - all contribute to further increase the comprehension difficulty of the text and impress the reader.

Dans cette thèse, nous nous intéressons à la résolution exacte de programmes linéaires en variables binaires. L'ensemble de nos travaux s'articule autour de l'étude de Resolution search (Chvátal (1997)) pour la résolution du problème du sac à dos multidimensionnel en 0-1. Dans un premier temps, nous proposons un algorithme d'énumération implicite centré sur une analyse des coûts réduits à l'optimum de la relaxation continue ainsi que sur une décomposition de l'espace de recherche en hyperplans. Nous proposons une stratégie de branchement originale visant à élaguer au plus tôt l'arbre de recherche. Cette stratégie est efficace pour résoudre des instances jugées difficiles mais rend l'algorithme dépendant de la connaissance d'une bonne solution de départ. Dans un deuxième temps, nous proposons une méthode de résolution plus autonome combinant Resolution search avec une énumération implicite inspirée du premier algorithme. Cette coopération permet d'obtenir rapidement de bonnes solutions et prouve les optimums d'instances de plus grande taille. Finalement, nous présentons une application de Resolution Search à la résolution d'un problème de planification dans le domaine des télécommunications.

Depuis quelques années, les réseaux de communication déployés au sein d’aéronefs sont toujours plus vastes et plus complexes. Ces bus numériques multiplexent différents flux de données afin de limiter les câbles, mais cela induit des retards sur les transmissions. Les travaux présentés ici portent sur une approche statistique de l’évaluation des performances du pire temps de traversée d’un réseau embarqué de type AFDX. Il s’agit de définir une nouvelle approche visant à associer à un calcul pire cas, une distribution des temps de transmission des messages, en vue notamment de permettre d’apprécier le pessimisme du calcul pire cas. Les méthodes décrites sont applicables dans le cadre plus général d’un ensemble de tâches. Nous proposons trois contributions dans ces travaux. Tout d’abord, une méthode originaled’évaluation de la distribution de la durée de traversée d’un commutateur AFDX qui s’appuie sur une énumération symbolique des scénarios d’ordonnancement dans la file d’attente. Puis, un algorithme efficace de calcul des délais subis par des messages/tâches périodiques lorsque les déphasages initiaux sont connus. Les délais calculés sont exacts ainsi que la distribution de probabilité. Enfin, le calcul de la distribution des délais subis par des messages/tâches dans un cadregénéral, à l’aide d’une méthode statistique de type Monte Carlo. Des décalages initiaux sont tirés aléatoirement et permettent de nourrir l’algorithme précédent. / Since a few years, communication networks deployed in aircrafts are ever larger and ever more complex. These digital buses multiplex different data streams in order to save cabling, but this causes delays on transmissions.The work presented here is based on a statistical evaluation of the worst case transit time of an embedded network of the AFDX type. It consists in associating a worst case computation with a complete distribution of the transit times in order, among other things, to appreciatethe pessimism of worst case approaches. The methods are also applicable to a set of realtime tasks. This work contributes three major results. First, an original method to evaluate the distribution of the transit time through an AFDX switch, based on the symbolic enumeration of the scheduling scenarios in the waiting queues of the switch. Second, an effective algorithm to compute the delays encountered by periodic messages/ tasks when initial offsets are known. Delays thus computed are exact and so is the delays distribution. Third, the computation of the delays distribution encountered by messages/tasks in a general case using a Monte Carlo based statistical method. Initial offsets are randomised and feed the preceding algorithm.

L'utilisation du jeu pour les apprentissages n'est pas une idée nouvelle. Cependant, l'étude de jeux à but éducatif montre que les concepteurs de jeux éprouvent des difficultés pour articuler didactique et ludique. C'est à ce niveau que se porte notre réflexion, particulièrement sur les conditions d'une articulation du ludique et du didactique lors du processus de conception d'une ressource. La prise en compte de cette articulation nous a conduit à introduire un nouveau terme jeu-situation désignant cet objet situé entre une situation didactique où les apprentissages sont prioritaires et un jeu où le ludique est prédominant. Notre travail se décompose en deux temps : la conception d'un jeu-situation numérique pour l'apprentissage de l'énumération à l'école maternelle d'une part et l'appropriation de cette ressource par des professeurs d'école maternelle d'autre part.La conception de la ressource repose sur différents cadres théoriques, notamment sur la théorie des situations didactiques. De plus, la conception associe la méthodologie d'ingénierie didactique et de Design-Based Research. Notre étude se poursuit par l'élaboration d'un modèle de conception d'un jeu-situation élaboré autour d'un processus fondamental qu'est l'intégration. Ce modèle est mis à l'épreuve lors de la conception du jeu-situation numérique " A la ferme " pour l'apprentissage de l'énumération à l'école maternelle.Nous abordons, dans un deuxième temps, l'appropriation de ce jeu-situation par des professeurs d'école maternelle. La conceptualisation de la notion d'appropriation s'appuie sur plusieurs domaines : celui de la psychologie de l'environnement et de gestion, celui de la didactique en convoquant notamment l'approche documentaire du didactique. Nous accordons aussi une place importante aux connaissances professionnelles des professeurs qui impactent les processus d'appropriation de ressources. Nous pouvons ainsi présenter un modèle théorique général du concept d'appropriation d'une nouvelle ressource que nous instancions à l'école maternelle et au numérique avec l'outil tablette tactile. L'appropriation est observée à travers trois regards : l'instrumentation, l'instrumentalisation et les orchestrations que nous lions aux connaissances professionnelles / The use of the game for learning is not a new idea. However, the study of educational purpose games shows that game designers have difficulty articulating didactic and ludic. It is at this level that our thinking is focused, especially on the conditions of articulating ludic and didactic during the process of designing a resource. Taking into account this articulation led us to introduce a new term game-situation for this object between a didactic situation where learning is a priority and a game where the ludic is predominant. Our work is divided into two stages: the conception of a digital game-situation for the learning of enumeration skills in the kindergarten on the one hand and the appropriation of this resource by kindergarten teachers, on the other hand. The design of the resource is based on various theoretical frameworks, notably on the theory of didactic situations. In addition, the design combines didactic engineering methodology with Design-Based Research. Our study continues with the development of a model of a game-situation concept based on a fundamental process of integration. This model is tested in the design of the digital game-situation "On the farm" for the learning of enumeration skills in kindergarten. In a second step, we deal with the appropriation of this game-situation by kindergarten teachers. The conceptualisation of the appropriation notion is based on several domains: social and management sciences, didactics by convening in particular the documentary approach to didactics. We also place an emphasis on the professional knowledge of teachers who impact on the processes of resource appropriation. We can thus present a general theoretical model of the concept of appropriation of a new resource that we instantiate in the kindergarten and the digital with the tactile tablet tool. The appropriation is observed through three perspectives: instrumentation, instrumentalization and orchestrations that we link to professional knowledge

Ce travail a pour objectif de développer un outil analytique multi-physiques de dimensionnement d’une gamme de moteurs « hybrides » à démarrage direct, intégrant les avantages des deux technologies : l’auto-démarrage de la technologie asynchrone et les bonnes performances énergétique en régime permanent de la technologie synchrone à aimants permanents en répondant aux nouveaux enjeux d’efficacité énergétique et en ajoutant à cela les aspects économiques.La validation de cet outil est effectuée par des modèles éléments finis créés avec un logiciel commercial ANSYS/Maxwell et par des essais expérimentaux réalisés à l’aide de deux prototypes LSPMSM 7.5kW. / This work aims to develop a multi-physical generic model (and a pre-design software) for a range of LSPMSMs which would integrate the advantages of both technologies: self-start asynchronous technology and good energy performance of synchronous permanent magnet technology. The validation of this model is carried out by finite element commercial software ANSYS / Maxwell and by experimental tests using two 7.5kW.LSPMSM prototypes.