Cette thèse concerne l'utilisation de modèles fonctionnels dans le test de circuits intégrés complexes. Dans la première partie, des vecteurs de test sont générés pour les automates d'états finis a partir de leurs spécifications de synthèse. Un premier ensemble de vecteurs de test est calcule en parcourant tous les arcs du graphe de contrôle. Les valeurs d'entrées non spécifiées sur les transitions sont fixées afin d'accroitre la couverture. Il est montre que ce test a une excellente couverture par rapport a sa longueur. Les fautes résiduelles sont détectées par une methode de distinction sur les modèles machine juste machine fausse. La deuxième partie est consacrée au test hiérarchisé de circuits complexes. Les vecteurs de test locaux aux blocs sont justifies vers les entrées primaires et propages en avant vers les sorties primaires en utilisant des variables symboliques et des modèles fonctionnels pour les blocs traverses. Des techniques originale de propagation retardée permettent de restreindre le nombre d'échecs des propagations. Un prototype en prolog a été expérimenté

L'émotion et le discours scientifique sont traditionnellement deux domaines considérés comme incompatibles du fait du caractère subjectif de la première et des exigences d'objectivité et de neutralité du dernier. La thèse propose une étude des processus en œuvre dans la génération des émotions en relation avec la constitution du discours, et ensuite des stratégies ou modes d'intégration des phénomènes de manifestations émotionnelles dans le discours final. L'étude combine une approche psychologique et linguistique des émotions et s'articule autour de la transition entre le domaine mental et celui de la préparation et de l'expression finale des émotions générées dans le discours (lien entre l'évaluation cognitive et l'Appraisal theory en linguistique). Une synthèse de grandes typologies des modes d'inclusion, ainsi que des grands types de manifestations de charges émotionnelles-affectives globale est présentée dans la thèse. Cette même synthèse est issue de la recherche et de l'analyse de manifestations d'émotions incluses volontairement ou non dans un corpus d'articles de la presse scientifique anglophone soumise à comité de relecture. L'un des objectifs étant de déterminer si le discours scientifique présente des manifestations de subjectivité des auteurs, et par quels biais ces phénomènes de subjectivité et d'émotion s'encodent dans des textes devant, selon les normes et conventions, être aussi objectifs et neutres que possible, quelle que soit la discipline concernée. A donc été soulevée la question de la part prise par l'émotion dans le discours en général, de sa constitution à son expression.

Les fibres à cristaux photoniques (PCF) et autres fibres fortement non-linéaires conventionnelles (HNLF) représentent une nouvelle catégorie de guides d'ondes optiques qui possèdent des caractéristiques de dispersion et de non-linéarité inédites. Elles permettent, en effet, d'accroître fortement les effets non-linéaires avec des paramètres de dispersion multiples. De nombreux travaux récents ont déjà exploité ces propriétés pour la génération de spectres à très large bande au moyen de la génération de supercontinuum. L'étude de tels élargissements spectraux, en particulier dans les PCF, nécessite alors une modélisation précise de la propagation des impulsions. L'extension des modèles existants basés sur l'équation non-linéaire d'enveloppe de Schrödinger a été réalisée pour inclure des effets tels que de la dépendance en fréquence de l'aire effective du mode guidé et la génération de troisième harmonique. Les conséquences de tels effets sont décrites ainsi que de nouvelles perspectives pour la génération de supercontinuum. L'autre aspect attrayant de cette nouvelle génération de fibres optiques, en particulier concernant les HNLF, est leur utilisation dans l'important développement actuel des sources fibrées femtosecondes, proche de la longueur d'onde des télécommunications à 1550 nm. Dans ce cadre, deux systèmes expérimentaux ont été mis en place, permettant respectivement d'obtenir par compression non-linéaire des impulsions sub-30 fs et de générer des impulsions paraboliques de manière passive. Ces dispositifs sont basés sur l'utilisation et la gestion de très courtes longueurs de fibres commerciales de type HNLF, menant alors à des dispositifs ultra-compacts.

Les verres se placent actuellement parmi les candidats potentiels pour des applications en optoélectronique (transport de l' information par fibres optiques, commutation...). Dans la perspective du développement de tels matériaux, cette thèse analyse l'origine du fort effet Kerr optique des verres a base d'oxyde de tellure TeO2. Des calculs ab initio ont permis d'établir des corrélations entre la structure locale des entités polarisables TeOn et leur activité optique. En outre, le phénomène de génération de seconde harmonique dans les verres a été appréhendé dans le cas particulier de la silice.

La solution pour l'énergie génératrice issue de sources non polluantes configure un problème mondial, indéterminé, complexe et progressif. Et certainement, passe par la diversification de la matrice énergétique. La diversification signifie non seulement que des sources différentes sont converties en énergie utile, comme l'électricité, mais aussi décentraliser la production d'énergie afin de s'adapter à une plus grande adéquation de la demande, qui est décentralisée aussi. La Génération Distribuée propose ce type de développement, mais pour accroître sa pénétration, plusieurs obstacles techniques doivent être surpassés. L'un d'entre eux est lié aux systèmes de conversion, qui doivent être plus flexibles, modulaires, efficaces et compatibles avec les différentes sources d'énergie, car ils sont très spécifiques pour une certaine zone. La présente étude pousse ses efforts vers cette direction, c'est-à-dire comportant un système avec plusieurs entrées pour combiner différentes sources d'énergie renouvelables en un seul et efficace convertisseur de puissance pour la connexion au réseau. Elle porte sur la conception et le contrôle d'un système de production hybride de 11,7 kW utilisant des panneaux solaires photovoltaïques et une éolienne. Un convertisseur multicellulaire divisé en deux parties réalise la conversion: Convertisseur Côté Génération (GSC) et Convertisseur Côté Réseau (MSC). Les deux convertisseurs élévateurs (boost) responsables de la conversion photovoltaïque et du redresseur et de boost du générateur éolien, ainsi que les inductances d'entrée et les condensateurs, effectuent le GSC. La GSC permet la conversion en une tension de liaison CC fixe, mais garantit également la commande indépendante pour chaque entrée permettant le suivi du point de puissance maximum des panneaux et de l'éolienne. De l'autre côté, le MSC monophasé a quatre cellules effectue la connexion au réseau à travers un filtre LCL. Ce filtre utilise un Intercell Transformers (ICT) ou inducteurs couplés magnétiquement dans la première inductance pour réduire l'ondulation individuelle actuelle générée par la commutation. Le MSC contrôle la tension de la liaison CC et, ce faisant, il permet le flux de puissance des éléments de génération vers le réseau. / The solution for the generating energy derived from non-polluting sources configures a worldwide problem, which is undetermined, complex, and gradual; and certainly, passes through the diversification of the energetic matrix. Diversification means not only having different sources converted into useful energy, like the electricity, but also decentralizing the energy generation in order to fit with higher adequacy the demand, which is decentralized too. Distributed Generation proposes this sort of development but in order to increase its penetration several technical barriers must be overpassed. One of them is related to the conversion systems, which must be more flexible, modular, efficient and compatible with the different energy sources, since they are very specific for a certain area. The present study drives its efforts towards this direction, i.e. having a system with several inputs for combining different renewable energy sources into a single and efficient power converter for the grid connection. It focuses on the design and control of an 11.7 kW hybrid renewable generation system, which contains two parallel circuits of photovoltaic panels and a wind turbine. A multicell converter divided in two stages accomplishes the convertion: Generation Side Converter (GSC) and Mains Side Converter (MSC). Two boost converters responsible for the photovoltaic generation and a rectifier and a third boost, for the wind constitue the GSC. It allows the conversion to the fixed output DC voltage, controlling individually and performing the maximum power point tracking in each input. On the other side, the single-phase 4- cell MSC accomplishes the connection to the grid through an LCL filter. This filter uses an Intercell Transformer (ICT) in the first inductor for reducing the individual ripple generated by the swicthing. The MSC controls the DC-link voltage and, by doing that, it allows the power flow from the generation elements to the network.

Dans un graphe non orienté, le Problème de Coloration de Graphe (PCG) consiste à assigner à chaque sommet du graphe une couleur de telle sorte qu'aucune paire de sommets adjacents n'aient la même couleur et le nombre total de couleurs est minimisé. DSATUR est un algorithme exact efficace pour résoudre le PCG. Un de ses défauts est qu'une borne inférieure est calculée une seule fois au noeud racine de l'algorithme de branchement, et n'est jamais mise à jour. Notre nouvelle version de DSATUR surpasse l'état de l'art pour un ensemble d'instances aléatoires à haute densité, augmentant significativement la taille des instances résolues. Nous étudions trois formulations PLNE pour le Problème de la Somme Chromatique Minimale (PSCM). Chaque couleur est représentée par un entier naturel. Le PSCM cherche à minimiser la somme des cardinalités des sous-ensembles des sommets recevant la même couleur, pondérés par l'entier correspondant à la couleur, de telle sorte que toute paire de sommets adjacents reçoive des couleurs différentes. Nous nous concentrons sur l'étude d'une formulation étendue et proposons un algorithme de Branch-and-Price. / Given an undirected graph, the Vertex Coloring Problem (VCP) consists of assigning a color to each vertex of the graph such that two adjacent vertices do not share the same color and the total number of colors is minimized. DSATUR is an effective exact algorithm for the VCP. We introduce new lower bounding techniques enabling the computing of a lower bound at each node of the branching scheme. Our new DSATUR outperforms the state of the art for random VCP instances with high density, significantly increasing the size of solvable instances. Similar results can be achieved for a subset of high density DIMACS instances. We study three ILP formulations for the Minimum Sum Coloring Problem (MSCP). The problem is an extension of the classical Vertex Coloring Problem in which each color is represented by a positive natural number. The MSCP asks to minimize the sum of the cardinality of subsets of vertices receiving the same color, weighted by the index of the color, while ensuring that vertices linked by an edge receive different colors. We focus on studying an extended formulation and devise a complete Branch-and-Price algorithm.

La SNCF utilise plusieurs engins spécialisés pour ausculter les fissures internes du rail. La fréquence d’auscultation de chaque rail est fonction du tonnage cumulé qui passe dessus. La programmation des engins d’auscultations ultrasonores est aujourd’hui décentralisée. Dans le cadre d’une étude de réorganisation, la SNCF souhaite étudier la faisabilité de l’optimisation de certaines tournées d’inspection. Dans le cadre de cette thèse de doctorat, l’optimisation de la programmation des engins d’auscultation à ultrasons est étudiée.Une modélisation mathématique sous forme de problème de tournées sur arcs généralisant plusieurs problèmes académiques est proposées. Une méthode de résolution exacte, appliquant la décomposition de Benders, est détaillée. À partir de cette approche, une heuristique de génération de colonnes et de contraintes est présentée et analysée numériquement sur des données réelles de 2009. Enfin, un logiciel industriel développé autour de cette approche est présenté / SNCF is using specialised rolling stock units to inspect internal defects in rails. Rail’s inspection frequency is defined by the cumulative weight of the trains which are going through. In2009, the scheduling of these train units is decentralised. SNCF is studying the centralisation of this process. In this Ph.D. thesis, a new problem, the Railroad Track Inspection SchedulingProblem is studied.A mathematical formulation, based on the generalization of classical arc routing models,is proposed. An exact solving approach, based on Benders’ decomposition scheme, is detailed.From this approach, a column and cut generation heuristic is developed, implemented, andtested on real datasets for 2009. The industrial software developed around this heuristic is presented.

La Génération Automatique de Texte (GAT) est le champ de recherche de la linguistique informatique qui étudie la possibilité d’attribuer à une machine la faculté de produire du texte intelligible. Dans ce mémoire, nous présentons une proposition de système de GAT reposant exclusivement sur des méthodes statistiques. Son originalité est d’exploiter un corpus en tant que ressource de formation de phrases. Cette méthode offre plusieurs avantages : elle simplifie l’implémentation d’un système de GAT en plusieurs langues et améliore les capacités d’adaptations d’un système de génération à un domaine sémantique particulier. La production, d’après un corpus d’apprentissage, des modèles de phrases finement étiquetées requises par notre générateur de texte nous a conduit à mener des recherches approfondies dans le domaine de l’extraction d’information et de la classification. Nous décrivons le système d’étiquetage et de classification de contenus encyclopédique mis au point à cette fin. Dans les étapes finales du processus de génération, les modèles de phrases sont exploités par un module de génération de texte multilingue. Ce module exploite des algorithmes de recherche d’information pour extraire du modèle une phrase pré-existante, utilisable en tant que support sémantique et syntaxique de l’intention à communiquer. Plusieurs méthodes sont proposées pour générer une phrase, choisies en fonction de la complexité du contenu sémantique à exprimer. Nous présentons notamment parmi ces méthodes une proposition originale de génération de phrases complexes par agrégation de proto-phrases de type Sujet, Verbe, Objet. Nous envisageons dans nos conclusions que cette méthode particulière de génération puisse ouvrir des voies d’investigations prometteuses sur la nature du processus de formation de phrases / Natural Language Generation (NLG) is the natural language processing task of generating natural language from a machine representation system. In this thesis report, we present an architecture of NLG system relying on statistical methods. The originality of our proposition is its ability to use a corpus as a learning resource for sentences production. This method offers several advantages : it simplifies the implementation and design of a multilingual NLG system, capable of sentence production of the same meaning in several languages. Our method also improves the adaptability of a NLG system to a particular semantic field. In our proposal, sentence generation is achieved trough the use of sentence models, obtained from a training corpus. Extracted sentences are abstracted by a labelling step obtained from various information extraction and text mining methods like named entity recognition, co-reference resolution, semantic labelling and part of speech tagging. The sentence generation process is achieved by a sentence realisation module. This module provide an adapted sentence model to fit a communicative intent, and then transform this model to generate a new sentence. Two methods are proposed to transform a sentence model into a generated sentence, according to the semantic content to express. In this document, we describe the complete labelling system applied to encyclopaedic content to obtain the sentence models. Then we present two models of sentence generation. The first generation model substitute the semantic content to an original sentence content. The second model is used to find numerous proto-sentences, structured as Subject, Verb, Object, able to fit by part a whole communicative intent, and then aggregate all the selected proto-sentences into a more complex one. Our experiments of sentence generation with various configurations of our system have shown that this new approach of NLG have an interesting potential

Cette thèse, qui étudie les effets des mutations économiques sur les parcours de vie des générations, s'inscrit au coeur de l'actuel débat théorique qui oppose deux grandes thèses relatives au changement culturel : celle de la montée des valeurs postmatérialistes et celle du retour des valeurs matérialistes. Du point de vue empirique, l'auteur examine les effets des mutations économiques sur les parcours de vie de deux cohortes de baby-boomers québécois (1942-51 et 1962-71), examen qui porte plus particulièrement sur le parcours professionnel, les modalités d'entrée dans l'âge adulte, les modes d'agencement travail-famille et l'éthique du travail. L'étude montre qu'en dépit de parcours professionnels et familiaux passablement différents, les cohortes présentent d'importantes similitudes, ce qui remet en question la solidité tant des thèses fondées sur l'existence d'un conflit intergénérationnel que de celles qui soutiennent· le retour des valeurs matérialistes. En effet, il appert que les mutations économiques des dernières décennies n'ont pas modifié de manière substantielle le mouvement de fond amorcé depuis la fin de la Seconde Guerre mondiale, à savoir la montée de valeurs liées à la réalisation de soi. Si notre étude valide en partie la thèsepostmatérialiste du changement, elle n'en nuance pas moins certains aspects. Par exemple, tout indique que le changement culturel ne s'effectue pas simplement par le remplacement des générations, mais aussi par l'évolution des valeurs au sein des différentes générations au cours d'une même période historique. Par ailleurs, cette étude illustre aussi le fait que le concept de cohorte, bien qu'utile pour étudier le changement, tend à masquer les différences au sein d'une même cohorte, ce qui conduit souvent à de trop grandes généralisations.

Ce mémoire porte sur la réception des magazines féminins québécois chez des lectrices issues de la génération Y, à laquelle s’adresse notamment cette presse. En approfondissant l’étude du magazine féminin et son évolution, on distingue la complexité relationnelle qu’il entretient avec la gent féminine. Cette recherche qui se veut exploratoire se propose donc d’analyser, au moyen de groupes de discussions, les effets directs de la consommation de cette presse et son effet de socialisation sur les lectrices elles-mêmes. Trois entretiens comprenant de quatre à cinq participantes pour un total de treize lectrices, toutes âgées entre 25 et 35 ans, ont été menés afin de connaître l’opinion de ces dernières sur les représentations des identités féminines contenues dans les magazines féminins québécois qu’elles consomment. Ma recherche prend assise sur les travaux de différents chercheurs dans le domaine, ainsi que sur des études provenant des Cultural studies, des études féministes en communication et de la sociologie des générations. Je dégage de mon analyse quelques hypothèses interprétatives. De prime abord, précisons que les constats émergeant du discours des participantes laissent entrevoir à certains moments leurs propres contradictions, ce qu’elles admettent jusqu’à un certain point. D’une part, les lectrices ont tendance à dénigrer le contenu de cette presse et sa faible crédibilité, en employant des discours entendus et parfois généralisant et, d’autre part, elles apprécient les thématiques abordées. Néanmoins, les lectrices interrogées dans cette étude se sont montrées critiques envers certaines représentations des identités féminines. Même si elles n’approuvent pas le caractère stéréotypé des modèles présentés, elles admettent toutefois qu’elles se conforment personnellement aux normes corporelles et esthétiques. Par ailleurs, le phénomène de la superwoman leur semble constituer le modèle féminin le plus véhiculé et valorisé actuellement, ce qui contribue à susciter une pression sociale. Ceci dit, elles témoignent également de la fierté envers l’autonomie des femmes et les possibilités offertes à leur génération, qu’elles considèrent illimitées. D’ailleurs, les idéaux et les objectifs du féminisme que les magazines féminins participent à « accélérer » semblent les interpeller personnellement, et ce, de façon positive. Enfin, elles ont affirmé le besoin de se responsabiliser en se montrant critiques envers les messages et les modèles présentés, de ne conserver que ce qui leur ressemble ou leur convient, créant ainsi un espace de négociation dans leur lecture.