nglaura/hal-summarization huggingface dataset:
nouveaux déterminants du coût d'endettement : la gestion des résultats et l'atteinte des seuils de résultats comptables. En nous basant sur un échantillon de 380 firmes américaines (extraites de fortune 1000) pour la période 1996-2004, nos résultats montrent que les accruals discrétionnaires véhiculent des informations supplémentaires aux créanciers concernant la santé financière de la firme. Une gestion agressive à la hausse ou à la baisse est mal perçue par les créanciers et affecte positivement le coût d'endettement. De plus, nous trouvons que les créanciers apprécient les firmes qui atteignent ou excèdent deux seuils : zéro bénéfice et le résultat de l'année précédente. En effet, les résultats révèlent l'existence d'une relation inverse et significative entre l'atteinte de ces seuils et le coût d'endettement. Plus précisément, les créanciers apprécient plus les firmes qui affichent un résultat positif que les firmes qui rapportent une croissance de leurs résultats, en leur accordant un coût d'endettement plus faible. D'ailleurs, l'évitement des pertes permet de rassurer les prêteurs que la firme va survivre et qu'elle est capable d'honorer ses engagements financiers. Enfin, l'analyse de sensibilité indique que l'association négative entre le coût d'endettement et l'atteinte des résultats cibles est atténuée lorsque les firmes ont recours à la gestion des résultats pour atteindre les seuils.

This paper investigates the effect of both earnings management and beating earnings benchmarks on the cost of debt. Based on a sample of 380 American firms (selected from Fortune 1000), for the period 1996-2004, our results show that discretionary accruals provide additional information to creditors about the financial situation of the firm. Specifically, firms with extreme positive and negative discretionary accruals incur a higher cost of debt because these firms are more likely to experience future financial distress than firms with moderate accruals. Moreover, the results show that firms beating earnings benchmarks are valued by creditors. In fact, we find an inverse and significant relation between the cost of debt and beating earnings benchmarks. In particular, with regard to two thresholds: zero earnings and the last year earnings, beating the zero earnings benchmark provides the biggest reward in terms of a lower cost of debt because it's the most salient benchmark in assuring creditors that the firm will survive and satisfy its financial obligations. Additional analyses indicate that the reduction in the cost of debt is attenuated but not disappear for firms beating earnings benchmarks through earnings management.
Cet article examine les facteurs susceptibles d'influer sur la décision d'activation des dépenses immatérielles dans un pays émergent. L'analyse empirique (régressions linéaires et logistiques), portant sur les données relatives à l'année 2003 et sur 92 firmes cotées et non cotées, suggère que cette pratique permet essentiellement de réduire les contraintes d'endettement. Cependant, les hypothèses de réduction des coûts politiques, de maximisation de la rémunération et de valorisation boursière n'ont pas été confirmées.

This article studies the determinants of the accounting of intangibles assets. The sample is constituted of 92 public and non-public firms in the year's 2003. Empirical analysis reveals that this accounting reduce debt covenants' effects, not informs stockholders of their project quality .Neverless, politic- costs hypothesis is not validated in the Tunisian context.
La composition est un phénomène fréquent dans plusieurs langues, surtout dans des langues ayant une morphologie riche. Le traitement des mots composés est un défi pour les systèmes de TAL car pour la plupart, ils ne sont pas présents dans les lexiques. Dans cet article, nous présentons une méthode de segmentation des composés qui combine des caractéristiques indépendantes de la langue (mesure de similarité, données du corpus) avec des règles de transformation sur les frontières des composants spécifiques à une langue. Nos expériences de segmentation de termes composés allemands et russes montrent une exactitude jusqu'à 95 % pour l'allemand et jusqu'à 91 % pour le russe. Nous constatons que l'utilisation de corpus spécialisés relevant du même domaine que les composés améliore la qualité de segmentation.
Au cours de ces dix dernières années nous observons un optimisme économique croissant sur le continent latino-américain. Cependant, il s'agit également du continent où nous constatons le taux le plus élevé d'homicides ainsi qu'une corruption politique de plus en plus liée au crime issu de l'État et notamment, des membres de ses institutions sécuritaires. Cette relation n'est pas nouvelle, cependant depuis les années 2000 elle est devenue plus complexe, organisée et enracinée dans certains territoires marginalisés. Nous faisons ici référence à de nouveaux phénomènes mafieux de groupes composés de policiers (appelés " milices ") qui se sont développés et consolidés dans ce climat d'optimisme économique. Dans ce travail, j'ai l'intention de démontrer les facteurs historiques qui ont rendu possible l'émergence de ce phénomène, notamment à Rio de Janeiro. Je voudrais démontrer de quelle manière le phénomène des " milices " à Rio de Janeiro constitue un paradigme en combinant de façon stratégique l'héritage des périodes autoritaires latino-américaines et les influences des dimensions néo-autoritaires sur le continent.
Cette communication présente une réflexion sur l'utilisation d'outils d'extraction terminologique sur un corpus de vulgarisation. Nous nous proposons d'exposer des critères construits pour le filtrage d'unités terminologiques repérées sur un corpus par définition " non spécialisé ". Nous développons des critères linguistiques de sélection de termes proposés par le logiciel et discutons de leurs limites. La conjonction de ces critères montre qu'un logiciel d'extraction de terminologie peut être utilement exploité sur un corpus de vulgarisation.
Dans cet article, nous montrons comment une Lambda Architecture contribue à l'élaboration d'une plateforme de collecte et d'analyse en temps réel de données de Twitter. Après avoir présenté le contexte, détaillé les besoins et identifié les spécificités attendues, nous com-parons les architectures Lambda et Kappa et nous dressons un état de l'art de l'utilisation de la Lambda Architecture dans différents domaines. Nous proposons ensuite une adaptation de la Lambda Architecture pour permettre le stockage de données dans un polystore et pour tenir compte de la multitude des types d'analyse à appliquer pour répondre à des projets de recherche en sciences sociales et en sciences de la communication dont les objectifs sont d'étudier la structure de la communication et la circulation du discours sur Twitter autour de sujets de société.

In this article, we show how a Lambda Architecture can contribute to the development of a platform for collecting and analyzing, in real-time, data from Twitter. After having presented the context, detailed the needs and identified the expected specificities, we compare the Lambda and Kappa architectures and we describe the state of the art on Lambda Architecture use in different domains. We propose an adaptation of the Lambda architecture to allow the storage of data in a polystore and to take into account different types of analysis to be carried out to answer researches in social sciences and communication sciences. In these projects the objectives are to study the structure of communication and the circulation of the speech on Twitter about some societal topics.
La question du terme, devenue classique en terminologie, est réexaminée ici par rapport à des textes réputés " non spécialisés " destinés au " grand public ". Les réflexions que nous proposons s'appuient sur des travaux linguistiques menés sur des discours de vulgarisation. Nous évoquons l'intérêt de prendre en compte ce type de textes pour une étude terminologique ou la construction de certains produits terminologiques.
Située en Région wallonne dans la province du Hainaut en Belgique, la commune rurale de Chapelle-lez-Herlaimont connaît un essor économique fulgurant avec l'extraction charbonnière entraînant un accroissement considérable de la population. Elle va presque septupler au 19e siècle1. Dans les années 60, le déclin des activités charbonnières a entraîné un marasme économique avec des répercussions professionnelles, sociales et culturelles. Aujourd'hui sur une population de 141612 habitants, la commune dénombre un taux de chômage de 19.5%3.
Notre contribution présente les méthodologies adoptées par les différentes équipes sollicitées. Leur diversité permet de cerner quelques-unes des difficultés spécifiques que pose la description des usages de vocabulaires circulant dans des communautés socioprofessionnelles et sociolinguistiques réduites. L'accent est plus particulièrement mis sur la problématique de l'enquête orale en contrastant les différentes stratégies mises en œuvre.
Organiser les données textuelles et en tirer du sens est un défi majeur aujourd'hui. Ainsi, lorsque l'on souhaite analyser un débat en ligne ou un forum de discussion, on voudrait pouvoir rapidement voir quels sont les principaux thèmes abordés et la manière dont la discussion se structure autour d'eux. Pour cela, et parce que un même texte peut être associé à plusieurs thèmes, nous proposons une méthode originale pour regrouper les données textuelles en autorisant les chevauchements et pour nommer chaque groupe de manière lisible. La contribution principale de cet article est une méthode globale qui permet de réaliser toute la chaîne, partant des données textuelles brutes jusqu'à la caractérisation des groupes à un niveau sémantique qui dépasse le simple ensemble de mots.
Dans un contexte politique favorable aux transports collectifs et à une planification urbaine volontariste, le développement du réseau de transports collectifs en site propre (T.C.S.P.) est central. La multimodalité et l'intermodalité sont mises en oeuvre et s'articulent ici autour du réseau du tramway.

In a political context favorable to public transport and urban planning proactive, development of the transport lanes is central. The multimodal and intermodal are implemented and are based here around the tram network.
Le travail mené par l'OER sur six années constitue une expérience " en vraie grandeur " d'un observatoire du type de l'OEE. L'équipe était composée d'une vingtaine de membres de statuts très divers (enseignants-chercheurs, formateurs, enseignants, personnels de l'Education Nationale) appartenant à deux laboratoires de recherche et cinq IUFM. Elle a mené à bien cinq enquêtes, et constitué une base de données de 12 000 questionnaires, largement exploitée : - travaux de recherche des membres de l'équipe, individuels (une thèse, une HDR, plusieurs masters) et collectifs - publications individuelles et collectives (Quatre tomes parus, le cinquième en préparation) - organisation de séminaires et de colloques (dont le colloque international " Education et territoires " en novembre 2007) - interventions, conférences, animation de débats dans de nombreux contextes et à la demande de nombreux acteurs : syndicats, associations, élus locaux, etc. Ce travail a de plus conduit à des échanges avec des équipes européennes (Espagne, Italie, Suisse, Belgique...), dont certains se sont pérennisés : la collaboration avec le GIER (Groupe interuniversitaire de l'école rurale, Universités catalanes) se traduit depuis cinq ans par des échanges pluriannuels de conférenciers.
Au-delà de la relation et donc du lien, l'intelligence territoriale ne peut être considérée hors de l'étude de la sphère informationnelle. Autrement dit, l'intelligence territoriale en tant que grille de lecture aborde la capacité des acteurs à échanger de l'information, la créditer et à bâtir autour de ces échanges pragmatiques les réseaux pertinents en rapport aux actions envisagées. L'intelligence territoriale se composerait ainsi d'une intelligence du lien ou intelligence communicationnelle et d'une intelligence informationnelle.

Beyond the relationship and therefore the link, territorial intelligence can not be considered outside the study of the information sphere. In other words, the intelligence as a grid covers the ability of actors to exchange information, credit and build around these networks relevant the actions envisaged. Territorial intelligence would consist on relationship intelligence or communicational intelligence and an informational intelligence.
Le nombre de vélos partagés au sein d'un système de vélos en libre service ayant dépassé le million, il est nécessaire de détecter rapidement un vélo immobilisé en station à cause d'une panne. En effet, il n'est pas rentable en terme de nombre de trajets effectués et frustre les usagers qui s'attendent à trouver un vélo à cette station sans qu'ils ne sachent qu'il est en fait défectueux. Nous proposons une méthodologie d'extraction de caractéristiques et de détec-tion d'anomalies sur une infrastructure distribuée de type « cloud computing » afin de détecter les vélos nécessitant une réparation. Nous montrons également pourquoi il est important pour nous de récupérer des données étiquetées remontant des applications mobiles à notre disposition.

The number of bikes within a bikeshare system having reached more than a million in 2015, it seems necessary to detect in near realtime a broken bike rooted at a station. Indeed, it is not cost effective in terms of number of trips, and it frustrates users who were expecting to find a bike at that station without knowing that it is actually defective. We thus propose a methodology for feature extraction and anomaly detection on a distributed cloud infrastructure in order to detect bicycles requiring a repair. We also show why it is important for us to retrieve labeled data from mobile applications at our disposal.
A travers un corpus de textes de vulgarisation de l'énergie nucléaire, textes émanant aussi bien d'entreprises du nucléaire que d'associations et de médias, nous dégageons les différentes acceptions du mot " risque ", évaluons la façon dont il est " mis en scène " et tentons de dévoiler les stratégies discursives élaborées par les énonciateurs pour parler du risque. Notre approche, de nature sociolinguistique, nous permet ainsi d'articuler les différentes façons dont les discours construisent les types de risques.

Through a corpus of vulgarisation texts on nuclear energy, issued from industry, associations or media, we study the senses of the word " risk " inside its different contexts and we evaluate its usage. We try to enlight the discursive strategies elaborated by the enonciators when they speak of risk. Our approach is sociolinguistics and aims to show how different discourses build the meaning of a term like "risk".
L'Atelier de Courbet a suscité de nombreuses interprétations qui s'ordonnent autour de quatre registres non-exclusifs : une expression sociale et politique, une approche stylistique, une théorisation de la position de l'artiste dans le monde, un autoportrait de Gustave Courbet. A côté de ces différents « jugements » qui opèrent par la recherche d'un ordre caché dans le tableau, il est ici approché de façon pragmatique comme ce qu'il déclare être : une tentative d'énonciation de son travail de peintre par Gustave Courbet. Si L'Atelier n'est pas un « vrai lieu », il s'agit bien pourtant de la figuration d'un système d'acteurs hétérogènes dont les interactions et les entre-définitions exprimées par la composition du tableau, font exister et tenir l'acte de peindre de Courbet. Si ce tableau n'est pas un cas isolé dans sa peinture qui se fait dans un rapport fondamental avec une réflexion sur l'acte de peindre, il prend cependant place dans une tentative de contournement des contraintes académiques pour s'imposer par la médiation de l'espace public.
De nos jours, la compression avec pertes des images médicales est un sujet porteur. Parallèlement, l'usage des tablettes numériques tactiles dans la médecine s'est développé et on constate maintenant un grand nombre d'applications médicales disponibles sur ce type de support. Ainsi, nous proposons ici de confronter ces 2 domaines en pleine croissance en proposant une étude sur la mesure de la qualité des images radiologiques compressées sur une application d'atlas radio-anatomique explorant le membre supérieur (Monster Anatomy Upper Limb). Cette application est l'une des applications médicales sur tablette les plus populaires au près des différents professionnels de santé. L'évaluation de la qualité s'appuie sur une adaptation des spécifications de l'ITU-R 1, l'objectif étant de déterminer un seuil de compression permettant d'avoir une qualité perceptuelle irréprochable pour la bonne utilisation de ce type d'atlas anatomique. Nous montrons qu'il existe pour cette application un seuil de tolérance à la compression avec pertes de type JPEG allant de 13 : 1 pour la majorité des images de l'atlas (et jusqu'à 27 : 1 pour les images de la main). Les notations subjectives du panel de professionnels de santé sont ensuite mises en lien avec la plupart des meilleures métriques objectives actuelles.
Cette communication propose une réflexion théorique générale qui vise à analyser les cadres dans lesquels évolue la GRH dans le contexte de la mondialisation. Trois dimensions sont retenues pour comprendre ces évolutions : la dimension économique qui considère le travail comme un facteur de production secondaire et situe la GRH au niveau global d'une élite internationale ; la dimension politique de la relation d'emploi qui considère le travail comme un coût à réduire et qui incite au développement d'une GRH chargée de limiter les méfaits de la dérégulation du travail ; la dimension de l'action qui, au niveau du territoire, redonne à la GRH un rôle moteur en contribuant au développement de réseaux de compétences garantissant autant les besoins de entreprises en main d'oeuvre que ceux des travailleurs en sécurisation.
Malgré les années de recul et d'expériences accumulées, il est difficile de se faire une idée claire de l'état d'avancement des recherches en acquisition de connaissances à partir de textes. Le manque de protocoles d'évaluation ne facilite pas la comparaison des résultats. Nous développons, dans cet article, la question de l'évaluation des outils d'acquisition de terminologies et d'ontologies en soulignant les princi- pales difficultés et en décrivant nos premières propositions dans ce domaine.
La parution imminente du « Vocabulaire de l'espace et de la spatialisation des musiques électroacoustiques » est tout d'abord l'occasion de faire le point sur les activités du GETEME (Groupe d'Étude sur l'Espace dans les Musiques Électroacoustiques). La présentation de quelques termes essentiels et de leurs définitions donnera un aperçu de la teneur de l'ouvrage. Mais l'objectif principal de cette communication se situe au niveau de l'analyse du travail effectué et des méthodes employées. Les difficultés rencontrées lors de l'élaboration de ce document (sources documentaires, collecte, dépouillement, mise en forme, définitions en usage : floues ou divergentes...) nous ont amené à réaliser une taxinomie de l'espace et de la spatialisation. Cette classification sera présentée en détail. Nous verrons sur divers exemples, comment cet outil permet de lever la confusion de certaines définitions, comment il permet d'éviter les oublis.
Notre recherche vise à comprendre quelles sont les stratégies de légitimation qui sont à l'oeuvre dans le processus de construction d'une vision organisante, en nous intéressant au cas des progiciels CRM. Nous nous appuyons sur des approches institutionnalistes (Firth, 2001 ; Wang et Ramiller, 2009 ; Currie, 2004 ; Carton et al. 2007 ; Kaganer et al. 2010 ; Lynn et al. 2018), et notamment sur la notion de vision organisante développée par Swanson et Ramiller (1997). En méthodologie, nous mobilisons la taxonomie de Kaganer et al. (2010) pour analyser les articles de la revue Action commerciale entre 1999 et 2009. Nos résultats montrent : l'usage à la fois d'arguments de légitimation et de délégitimation ; qu'une revue professionnelle est avant tout un lieu de débat sur les difficultés et stratégies de mise en oeuvre, convoquant 3 types d'acteurs : consultants, éditeurs et entreprises utilisatrices ; et que ces différents acteurs n'ont pas recours aux mêmes types de stratégies de légitimation, reflétant leurs intérêts propres dans la diffusion du CRM.
Dans les particularités énonciatives des discours de vulgarisation, quel est le rôle joué par l'autonymie ? N'est-elle qu'un moyen donné aux co-énonciateurs de s'approprier les termes techniques et scientifiques ? Sur un corpus portant sur l'exploitation de l'énergie nucléaire, nous tentons d'examiner les effets de cette activité réflexive.

What is the role of autonymy in discourses of vulgarisation ? Is it only a means which is given to the speakers to appropriate for themselves scientific and technical terms ? Through a corpus on nuclear energy, we try to examine the effects of this reflexive activity.
Dans cet article nous souhaitons mettre en évidence l'utilité d'un étiquetage syntaxique appliqué en amont d'une analyse syntaxique en dépendances. Les règles de la grammaire catégorielle de dépendances du français utilisées pour l'analyse gèrent les dépendances discontinues et les relations syntaxiques à longue distance. Une telle méthode d'analyse génère un nombre conséquent de structures de dépendances et emploie un temps d'analyse trop important. Nous voulons alors montrer qu'une méthode locale d'étiquetage peut diminuer l'ampleur de ces difficultés et par la suite aider à résoudre le problème global de désambiguïsation d'analyse en dépendances. Nous adaptons alors une méthode d'étiquetage aux catégories de la grammaire catégorielle de dépendance. Nous obtenons ainsi une pré-sélection des têtes des dépendances permettant de réduire l'ambiguïté de l'analyse et de voir que les résultats locaux d'une telle méthode permettent de trouver des relations distantes de dépendances.
Cette publication se donne pour but de présenter le début de construction d'un protocole de recherche destiné à décrire les pratiques tutorales de deux populations d'enseignants en ligne. Il s'agit d'une part, de tuteurs débutants (étudiants en Master professionnel de l'université Lumière- Lyon 2) et d'autre part, de tuteurs expérimentés. Ces deux populations ont participé à un enseignement de Français Langue Etrangère (FLE) à destination d'un groupe d'étudiants américains de l'université de Californie Berkeley donné en 2009-2010 sur une plateforme d'apprentissage vidéographique synchrone. La communication cherche à montrer les bases d'un protocole de recherche fondé sur des données empiriques recueillies de façon écologique. Nous présentons les fondements théoriques, méthodologiques et débouchons sur les questions de recherche retenues concernant les pratiques pédagogiques des enseignants en ligne dans un environnement synchrone. Un premier corpus d'étude est proposé pour décrire les stratégies tutorales en s'appuyant sur l'analyse de discours et des interactions en dispositif synchrone multimodal et sur l'analyse de discours medié par ordinateur.
Comment aiguiller le parcours hypertextuel d'apprenants replacés en situation d'autonomie face à un ensemble de ressources pédagogiques électroniques ? Dans le cadre de notre thèse de doctorat, nous abordons cette question sous l'angle de la caractérisation des ressources pédagogiques et des liens qui les associent. Nous détaillons ici les premiers éléments de la modélisation de parcours de formation : le typage des ressources et des articulations pédagogiques. Pour cela, nous prenons appui sur une analyse du standard LOM et sur une analyse des pratiques d'enseignants concepteurs de ressources dans la plateforme SPIRAL de l'université Lyon 1.
Ce papier présente MKM, un modèle de métaconnaissances pour gérer la fiabilité de connaissances en provenance d'une e-communauté. Le but est d'étendre un système de raisonnement à partir de cas (RàPC), de sorte à pourvoir raisonner sur des connaissances partiellement fiables et non expertes, provenant du Web. La fiabilité des connaissances est formalisée grâce au modèle MKM qui utilise les notions de croyance, confiance, réputation et qualité. Lévaluation de la fiabilité est utilisée pour filtrer les connaissances suffisamment fiable et pour ordonner les réponses fournies par le système de RÀPC, garantissant ainsi une certaine qualité des réponses.
Le constat de l'accroissement général de l'activité artistique et du dynamisme de la production en sciences sociales qui lui est consacrée encourage à proposer l'artification comme un nouveau champ d'investigation pour la sociologie de l'art, sous l'angle du changement social et culturel. L'artification désigne la transformation du non-art en art. Celle-ci est le résultat de tout un travail social, qui consiste en une transfiguration des personnes, des objets et des activités. Il ne s'agit pas seulement de changements symboliques, tel que l'anoblissement des actions ou des personnes. L'artification implique aussi des changements concrets : la modification du contenu des activités, la transformation des qualités physiques des personnes, l'importation d'acteurs et d'objets nouveaux, le réagencement des dispositifs organisationnels, etc. L'ensemble de ces processus, dans lesquels nomination et institutionnalisation ont partie liée, conduit non seulement à déplacer la frontière entre art et non-art, mais encore à construire de nouveaux mondes sociaux. Dans cet article, nous passons en revue des exemples d'artification, pris dans différents domaines : hip-hop, phonographie, gravure, perruque ouvrière, art primitif.

There is both a steady increase in the production of art in society and in research on art and culture within the social sciences. Therefore it seems appropriate to propose artification as a new field for the sociology of art and social and cultural change. Artification is the transformation of non-art into art. This consists of a complex social process of transfiguration of people, things and practices. Artification not only has to do with symbolic change, shifting hierarchies and legitimacy. It also implies very concrete modifications in people's physical traits and manners, in ways of cooperating and organizing, in the goods and artefacts that are used, etc. These processes redefine borders between art and non-art, and reconstruct new social worlds. In this article, we refer to examples of artification in the realms of hip-hop, phonography, etching, industrial labor, and primitive art.
Une sous-formule minimale inconsistante (Minimally Unsatisfiable Subformula ou MUS en anglais) représente la plus petite cause d'incohérence d'une instance SAT en terme de nombre de clauses. Extraire un ou plusieurs MUS s'avère donc très utile, car ceux-ci circonscrivent les sources d'inconsistance d'une formule CNF. Dans ce papier, une nouvelle méta-heuristique permettant l'approximation ou le calcul d'un MUS est présentée. Une comparaison avec les méthodes les plus compétitives est effectuée, et montre que le plus souvent, en pratique, cette approche surpasse les résultats obtenus par les autres méthodes existantes.
Dans ce papier, nous proposons une nouvelle approche pour guider la recherche vers la source des conflits. Son principe est le suivant : après chaque conflit, la dernière variable assignée est sélectionnée en priorité tant que le réseau de contraintes est inconsistant. Ceci permet de découvrir la variable coupable la plus récente (i.e. à l'origine de l'échec) en remontant la branche courante de la feuille vers la racine de l'arbre de recherche. Autrement dit, l'heuristique de choix de variables est violée jusqu'au moment où un retour-arrière sur la variable coupable est effectué et que l'on découvre une valeur singleton consistante. En conséquence, ce type de raisonnement, qui représente un moyen original d'éviter le thrashing, peut facilement être intégré à de nombreux algorithmes de recherche. Les expérimentations effectuées sur un large éventail d'instances démontrent l'efficacité de cette approche.
Nous nous intéressons au problème de l'extraction de noyaux insatisfiables minimaux (MUCs) de réseaux de contraintes. Ce problème a un intérêt pratique dans de nombreux domaines d'application tels que la configuration, la planification, le diagnostique, etc. En effet, identifier un ou plusieurs MUCs indépendants, i.e. des MUCs qui ne partagent aucune contrainte, permet d'isoler différentes sources d'inconsistance et de corriger un système incohérent. Dans cet article, nous proposons une approche originale pour extraire un MUC d'un réseau de contraintes. Cette approche comporte deux étapes. La première consiste à exécuter plusieurs fois un algorithme de recherche complète, en utilisant la pondération de contraintes, de manière à circonscrire une partie inconsistante du réseau. La seconde consiste à identifier, en utilisant un processus dichotomique, les contraintes de transition appartenant à un MUC. Nous montrons l'intérêt de cette approche en avançant des arguments théoriques et pratiques.
De nombreuses tâches et problèmes combinatoires exhibent des symétries. La résolution de tels problèmes conduit à répéter inlassablement l'étude de situations ou de sousproblèmes équivalents. Depuis plusieurs années, l'exploitation des symétries a permis une réduction significative de l'espace de recherche et la résolution de problèmes ouverts jusqu'alors. Ce paradigme important a été étudié de manière extensive dans de nombreux domaines, comme les problèmes de satisfaction de contraintes (CSP) ou la satisfiabilité de formules booléennes (SAT). L'approche consistant à rajouter des contraintes (symmetry breaking predicates en anglais) est l'une des techniques les plus utilisées pour casser les symétries. Après avoir montré pourquoi il est difficile d'étendre cette approche aux formules booléennes quantifiées, nous montrons comment générer une nouvelle formule équivalente à la formule de départ, mais ne contenant pas de symétries. L'évaluation expérimentale menée sur un des meilleurs solveurs QBF actuels montre des résultats très convaincants sur une grande variété d'instances QBF structurées.
Cet article présente un schéma de filtrage générique, basé sur la description de contraintes globales sous la forme de propriétés de graphes. Cette description est définie par un réseau de contraintes binaires et une liste de propriétés de graphe élémentaires : chaque solution de la contrainte globale correspond à un sous-graphe du réseau initial, dans lequel ne sont retenues que les contraintes binaires satisfaites. Ce sous-graphe doit vérifier les propriétés de graphe qui définissent la contrainte. Le filtrage consiste en l'identification des arcs du réseau qui appartiennent ou non aux sous-graphes solution. L'objectif est de construire, à côté du catalogue de contraintes, une liste de règles de filtrage systématiques. Ces règles sont basées sur un ensemble limité de propriétés. Elles s'appliquent à toutes les contraintes du catalogue décrites à l'aide de ces propriétés. Nous illustrons ce principe sur les propriétés de graphe les plus usuelles, et nous expérimentons notre technique sur la contrainte group.
Nous présentons une contrainte de partitionnement de graphe par des arbres sous contraintes de degré. Étant donné un graphe orienté G, la contrainte spécifie que toute solution est formée par N arbres, tels que le nombre de fils d'un sommet quelconque de G appartienne à un ensemble donné de valeurs. Il existe pour la contrainte d'arbre pure, introduite dans [2], une caractérisation complète polynomialement évaluable. Cependant, la prise en compte du nombre de fils de chaque sommet rend le problème d'existence d'une solution NP-complet. Nous montrons donc comment intégrer une relaxation polynomiale de la contrainte de degré, prenant en compte les différents aspects de la contrainte d'arbre pure. Enfin, nous présentons une première série de résultats partiels pratiques sur les problèmes (NP-complets) d'existence d'un chemin Hamiltonien et d'un arbre binaire couvrant dans le cas de graphes orientés quelconques.
Le sudoku est un jeu de logique qui est devenu en quelques mois un phénomène de société en France. Il envahit les métros, les trains, les bus, les salles de cours et même le journal Le Monde. Grâce à ce jeu, le grand public est devenu le M. Jourdain de la Programmation Par Contraintes. En effet, l'intérêt de ce jeu pour montrer très rapidement et très simplement les principes premiers de la programmation par contraintes n'est plus à démontrer. De plus, la technologie contraintes est très performante pour modéliser à l'aide de quelques contraintes globales ce problème et le résoudre quasiment simplement par propagation. Par contre, la mesure de la difficulté d'une grille – qui laisse à désirer pour de nombreuses instances publiées actuellement – n'a pas encore été capturée de manière satisfaisante par un modèle contraintes. Une raison est qu'une telle mesure est totalement subjective car elle dépend de la façon dont un joueur aborde son instance. Dans cet article, nous montrons qu'il est possible de définir des modèles contraintes permettant de retrouver des combinaisons de règles utilisées par les joueurs. Ces modèles ouvrent la porte à une évaluation de la difficulté d'une instance par une approche purement contraintes et même de fournir des systèmes d'aide eux-aussi basés sur un telle approche.
Dans des conditions critiques d’utilisation en service, des pièces de structures aéronautiques en matériaux composites à matrice polymère peuvent être soumises simultanément à des flux de chaleur sous charge mécanique. Dans ce contexte, ce travail vise ainsi à développer des outils numériques permettant de simuler les comportements thermique et mécanique de stratifiés à matrice thermoplastique polysulfure de phénylène renforcée par un tissu de fibres de carbone soumis à un flux thermique ou un chargement combiné (flux et chargement mécanique). Une telle modélisation nécessite la prise en compte de très nombreux phénomènes (modification des propriétés physiques et mécaniques, décomposition thermique, endommagement, etc.) et de conditions aux limites complexes (distribution hétérogène de la densité de flux thermique à la surface de l’échantillon, convection, rayonnement). Le modèle de comportement développé permet de prédire l’évolution de la rigidité macroscopique du stratifié sur une gamme de température allant jusqu’à la fusion du matériau (environ 320°C)

Under critical conditions of use in service, aeronautical structural parts made of polymer matrix composite materials may be subjected simultaneously to heat flows under mechanical load. In this context, this work aims to develop numerical tools to simulate the thermal and mechanical behaviours of laminates consisting of a polyphenylene sulfide thermoplastic matrix reinforced by carbon wovenfibers subjected to a thermal flow or a combined loading (Thermal flux + mechanical loading). Such modelling requires the consideration of a wide range of phenomena (modification of physical and mechanical properties, thermal decomposition, damage, etc.) and complex boundary conditions (heterogeneous distribution of heat flux density on the sample surface, convection, radiation). The proposed model makes it possible to predict the evolution of the macroscopic stiffness of the laminate over a temperature range up to the melting of the material (about 320°C)
L'émergence des questions éthiques dans le monde des affaires a entrainé un regain d'intérêt pour l'étude des mécanismes de gouvernance. Trouvant ses origines au XIXe siècle sous l'impulsion d'une pensée socialiste utopique et prolongée par le marxisme, la Société COopérative de Production (SCOP) s'inscrit dans cette démarche. En raison de la disparition des asymétries d'information entre les membres de l'organisation et d'une forte minoration de la recherche de lucrativité, les SCOP revendiquent une gouvernance éthique et assurent la prise de pouvoir des salariés. L'objectif de cette communication est de chercher à savoir si la SCOP est bien, dans la pratique, une gouvernance éthique. L'analyse des modes de gouvernance de SCOP en France et de leur mise en pratique démontre que les SCOP présentent un certain nombre de spécificités au niveau de leur gouvernance qui n'est pas sans entraîner des conséquences négatives pour les salariés. Plus encore, il est montré que, plutôt que d'atténuer les effets négatifs des structures plus classiques, la SCOP peut s'avérer être un outil de domination particulièrement efficace bien éloigné de l'instrument éthique qu'il prétend être.

The emergence of ethical issues in business has led to renewed interest for the governance mechanisms. Finding its origins in the nineteenth century under the impetus of a utopian socialist thought and sustained by Marxism, the cooperative enterprise (SCOP) is a consequence of this process. Indeed, the SCOP is presented as an ethical type of governance by allowing the empowerment of employees because of the disappearance of informational asymmetries between the members of the organization and a strong reduction of the profit orientation. The aim of this paper is to investigate whether the SCOP is, in practice, an ethical type of governance. The analysis of different cooperative enterprises in France demonstrates that this kind of organization have different specificities in their governance mechanisms that can have negative consequences for employees. More importantly, it is shown that the SCOP can be used by leaders in order to dominate their employees.
Le but de ce travail, qui représente le cœur de la chaire industrielle entre Mines Saint-Etienne et Hexcel, est de mettre au point un chaînage numérique robuste pour prendre en compte les effets locaux d’imprégnation de fibres par une résine liquide dans des simulations à l’échelle du procédé. Les effets locaux sont donc modélisés à l’échelle des fibres pour capturer les effets capillaires et calculer ainsi des paramètres, tels que la pression capillaire, à exporter à l’échelle supérieure. Ceci a été rendu possible par des stabilisations et enrichissements des méthodes éléments finis utilisés pour simuler des écoulements de Stokes et Darcy ainsi que leur couplage. Les contraintes capillaires (pressions capillaires dans les directions principales) sont alors inclues dans les simulations d’élaboration par procédés directs de pièces aéronautiques. Le but ultime de cette approche est de développer un modèle robuste permettant de prédire l’imprégnation et la post-infusion de renfort fibreux pour des applications industrielles.

The aim of the present work, which lies at the heart of the Hexcel-Mines Saint-Etienne Industrial, is to set up numerical modeling tools ranging from the component scale (local or microscopic scale) to the process scale (macroscopic scale), based on fluid-solid coupling methods undergoing finite strains within an high performing computing framework. At the local scale, the aim is to model flows in the fibrous network of preforms where wettability and capillary effects are assumed to play a key role. First, at the fiber scale, the resin flow in impervious fiber systems will be characterized and modeled relying on some specific stabilized and enrichment numerical methods able to deal with coupled Stokes-Darcy flows in low permeability orthotropic media. Capillary effects will be included in numerical simulations of local flows in industrial parts with complex geometries via capillary pressures (capillary stress). The ultimate goal of this approach is to yield a robust numerical model for infusion processes at the scale of industrial parts in order to understand and hence control both filling and post-filling stages for industrial applications.
Un élément fini de coque solide prismatique est développé. Il est destiné à l'analyse des coques minces ou épaisses pendant le procédé de mise en forme et la phase de consolidation. Pour réaliser correctement la simulation de cette étape, l'élément proposé fournit un calcul précis de la contrainte/déformation à travers l'épaisseur. La rigidité à la flexion de l'élément est basée sur la formulation d'un élément de plaque DKT qui conduit à une bonne efficacité numérique. Un degré de liberté supplémentaire au centre de l'élément, permet à la fois, l'utilisation d'une loi constitutive 3D complète, d'éviter le blocage de l'épaisseur et une variation de la contrainte normale de l'épaisseur qui permet de vérifier les conditions limites de chargement sur les surfaces supérieure et inférieure. Ceci est très important pour la simulation de procédé et en particulier pour la consolidation.

A prismatic solid-shell is proposed for composite forming simulation. The finite element is intended to thin/thick shells during forming and consolidation stages. To correctly perform the simulation of this step, the proposed element provides an accurate calculation of stress/strain through the thickness. The bending stiffness of the element is based on the formulation of a DKT plate element which leads to good numerical efficiency. An additional degree of freedom at the center of the element, allows at the same time, the use of a complete 3D constitutive law, to avoid the thickness locking and a variation of the normal stress in the thickness which makes it possible to check the load boundary conditions on the upper and lower surfaces. This is very important for process simulation, and in particular for consolidation.
Les composites auto-renforcés à matrice thermoplastique, appelés aussi SRP (Self-Reinforced Polymers),apportent une réponse aux exigences de propriétés mécaniques optimales, de légèreté des structures et environnementales concernant le recyclage des composites. La caractérisation thermomécanique de composites SRPE (matrice PolyÉthylène) est une première étape importante en vue de la construction d’une loi de comportement. Cette étude montre l’influence de la quantité de fils sur le comportement mécanique de SRPE et considère les propriétés thermiques de ces derniers, de la matrice et des filsà l’aide d’essais de DSC. Les analyses thermique et mécanique soulignent l’absence d’une couche transcristalline à l’interface.

Self-reinforced Composites based on thermoplastic matrix, also called SRP (Self-Reinforced Polymers), highly respond to optimum mechanical properties and lightweight requirements, but before all, to environmental concerns regarding composites recycling. The thermo-mechanical characterization of SRPE (Poly-Ethylene matrix) is the first major step in developing a material behavior law. This study shows the effect of the yarn’s quantity on the mechanical behavior of SRPE, PE matrix and yarns while also considering the thermal properties obtained by DSC analysis. Both thermal and mechanical tests clearly monitor the lack of a transcrystalline layer at the interface between the matrix and the reinforcement
Les propriétés mécaniques des composites C/SiC sont principalement fonction du procédé de fabrication, de la matrice, du type de fibres de Carbone et de l'architecture fibreuse constituant la préforme. L'objectif de ce travail est de mettre en relation la microstructure et le comportement mécanique de composites C/SiC d'origines différentes, testés dans plusieurs conditions. À cette fin, une caractérisation microstructurale a été effectuée au moyen de la microscopie optique, de la microscopie électronique à balayage et de la diffraction des rayons X. Les analyses microstructurales ont permis de comprendre les différences de comportement mécanique observées entre les matériaux et de faire le lien avec les différentes techniques d’élaboration. Les essais mécaniques ont été réalisés à température ambiante avec divers suivis de l’endommagement (émission acoustique, résistivité électrique et cycles interposés de déchargement/rechargement).

Mechanical properties of C/SiC composites are mainly a function of the matrix manufacturing process, the C fibers used and the fibrous architecture into thepreform. The objective of this work is to relate the microstructure and mechanical behaviour of C/SiC composites of different origins, tested under several conditions. For this purpose, a microstructural characterization has been carried out using Optical Microscopy, Scanning Electron Microscopy and X-ray Diffraction. The microstructural identifications helped to understand the observed differences in mechanical behaviour between the materials and torelate them tothe different processing techniques. Mechanical tests were carried out at room temperature with various damage monitoring means (acoustic emission, electrical resistivity and interposed unloading/reloading cycles).
La qualification et la certification de structures composites dans le domaine spatial demande un certain nombre d’éprouvettes élémentaires, de démonstrateurs et d’essais constructeur à échelle réelle.Les politiques nationales et internationales en terme d’environnement, ainsi que les restructurations des sociétés industrielles entrainent l’arrêt de fabrication ou l’évolution de certains matériaux. Cela remet en cause la justification des structures composites. L’objectif de cet article est de présenter la méthodologie de traitement des obsolescences impactant les structures composites sous pression d’ARIANE GROUP.

The qualification and the certification of composite structures in space industry require an important number of elementary samples, demonstrators, mock-up and structure at full-scale.National and international policies for environment protection, industrial evolutions, induce material change or manufacturing stopping. So the justification of composite structures must be altered. This paper presents the methodology of treatment of obsoleting materials applied on the ARIANEGROUP internal pressure composite structures
Nous présentons une étude expérimentale sur le suivi des déformations au cœur de stratifiés composites thermoplastiques soumis à indentation quasi-statique et impact basse vitesse au moyen de capteurs fibre optique à réseaux de Bragg (FBG). L’objectif est d’évaluer l’intérêt et les limites de l’instrumentation à cœur pour des stratifiés de polypropylène renforcé de fibres de verre soumis à ces deux conditions de chargement classiques. Nous proposons une stratégie d'instrumentation ayant pour objectif de fournir un ensemble de valeurs fiables de déformations internes et de vitesses de déformation, ces données devant être utilisées pour l'analyse du comportement à l’endommagement et la validation d'un modèle numérique à l’échelle mésoscopique. En nous basant sur une procédure spécifique d’insertion de capteurs, différentes techniques de suivi et des observations optiques, nous montrons comment la méthodologie appliquée permet d’adresser des questions majeures portant sur la détermination de la position dans le plan et dans l’épaisseur des capteurs FBG, leur influence sur l’intégrité structurelle ou l’interprétation du spectre de longueur d’ondes qu’ils réfléchissent.

We present an experimental studyof in-core strain monitoring of thermoplastic composites subjected to quasi-static indentation and low-velocity impact using embedded fiber Bragg gratings (FBGs). The objective isto evaluate the interest and limitations of the embedded instrumentation in glass fiber-reinforced polypropylene laminates subjected to these two convention alloading conditions. We propose an instrumentation strategy with the objective of providing a set of reliable values of internal strain and strain rates, which can be used for the analysis of the damage behavior and the validation of a numerical mesoscale model of laminates. Based on a specific sensor insertion procedure, monitoring techniques and optical observations, we show how the applied methodology addresses major questions, such as determining the in-plane and through-thickness position of the embedded FBGs, their influence on the structural integrity or the interpretation of the wave length spectrum they reflect