nglaura/hal-summarization huggingface dataset:
L'intérêt industriel pour les fibres libériennes végétales utilisées comme renforts de matériaux composites augmente. Cette tendance s'explique notamment par leur faible impact sur l'environnement et leurs propriétés mécaniques spécifiques très intéressantes [1] qui les rendent attractives pour les applications transportées. Les propriétés en traction des fibres élémentaires sont bien décrites dans la littérature [2], mais des informations complémentaires à l'échelle de la paroi cellulaire sont nécessaires pour mieux comprendre la relation entre leur ultrastructure et leurs performances mécaniques. Le but de ce travail est de présenter des premiers résultats issus de manipulations effectuées en microscopie à force atomique (AFM) associée au mode PeakForce Quantitative Nanomécanique (PF-QNM). Dans un premier temps, cet outil a été utilisé afin de mettre en évidence un gradient mécanique potentiel de rigidité dans les couches de la paroi cellulaire des fibres de lin, en utilisant la nanoindentation comme mesure de référence. Tout d'abord, pour valider la méthode et explorer les possibilités d'imagerie d'un gradient de rigidité, le PF-QNM a été utilisé sur les fibres d'aramide, bien connues pour posséder une microstructure coeur-peau. Ensuite, la méthodologie a été transférée aux fibres de lin ; des cartographies de rigidité ont été effectuées à l'échelle nanométrique, à la fois sur des parois cellulaires en développement (Fig.1) et matures. Fig. 1. Topographie (a) et cartographie du module d'indentation (b) obtenues sur une section de fibre de lin en cours de croissance Ces cartographies nous ont permis de mettre en évidence la présence de sous couches G et G n au sein de la paroi cellulaire secondaire des fibres en cours en développement [3] ; en revanche aucun gradient de propriété mécanique n'a pu être décelé dans les sections de fibres matures.
Les méthodes par éléments discrets sont devenues incontournables en tribologie car elles nous offrent la possibilité de modéliser le comportement dynamique d'une interface. Elles sont utilisées ici pour modéliser l'interface des filets en prise d'un assemblage boulonné. Le modèle s'appuie sur l'approche NSCD et est construit à partir d'observations faites à l'échelle microscopique. Le cas de la migration d'un troisième corps naturel est traité et l'évolution du frottement macroscopique, mesuré en fonction de ses débits est discutée.
Cette étude porte sur la modélisation numérique de la fragmentation de particules individuelles 2D sous impact. L’approche utilisée pour la simulation du comportement mécanique à la rupture est la péridynamique bond-based. La statistique des tailles de fragments est obtenue à l’aide d’un algorithme d’analyse d’image de type floodfill et est analysée en fonction de paramètres géométriques, énergie d’impact, densité de défauts.

This study focuses on the numerical modeling of the fragmentation under impact of individual 2D particles. We rely on a bond-based peridynamics approach for the modeling of constitutive behaviour and failure of the particles. The so-called floodfill algorithm, classically used in image analysis, is employed to determine the size distribution of fragments as a function of geometrical parameters and density of defaults together with impact energy.
L’imagerie microscopique à feuille de lumière est une technologie très récente et prometteuse permettant une illumination sélective des échantillons biologiques étudiés. Pour cette technique nous proposons l’implantation sur GPU d’un algorithme de déconvolution rapide, complétant des méthodes par fusion. L’algorithme proposé permet en pratique de déconvoluer des images de taille1000×1000×100en des temps inférieurs à 5 minutes.

Light sheet fluorescence microscopy is a recent and promising technology which allows a selective illumination of biologic samples. For this modality we propose to use a GPU-implanted fast deconvolution algorithm, to be used with fusion methods. The proposed algorithm can deblur an image with1000×1000×100voxels in less than 5 minutes
En analyse d'algorithmes, on s'intéresse souvent à la notion de complexité en temps et dans le pire cas : étant donné un algorithme résolvant un certain problème, peut-on estimer le nombre d'opérations effectuées pour résoudre la pire instance d'une certaine taille ? Une autre notion importante s'intéresse à la complexité du problème lui-même, in-dépendamment d'un algorithme : peut-on démontrer que tout algorithme résolvant ce problème effectue au moins un certain nombre d'opérations ? Nous questionnons la possibilité d'aborder à divers niveaux d'enseigne-ment (scolaire ou supérieur) les notions de complexité au pire d'un al-gorithme et de complexité intrinsèque d'un problème. Après une brève présentation des notions visées, nous présentons une famille d'activités de type « débranché » inspirées du classique « jeu de la devinette », dont nous faisons l'hypothèse qu'elles sont de nature à faire émerger ces notions, voire de constituer une situation fondamentale à leur égard. Ces activités reposent en particulier sur la notion d'argument d'adversaire, utilisée en théorie de la complexité. Nous fournissons une analyse a priori de cette famille d'activités et présentons un plan d'expérimentation.
La dépendance vis-à-vis des paramètres de soudage de la géométrie de l'assemblage hétérogène acier/aluminium réalisé par le procédé MIG-CMT dans une configuration à clin est étudiée à travers un plan d'expérience. Les paramètres choisis comme facteurs d'influence sont la puissance de soudage, la distance entre la torche et la pièce ou "stick-out", le débit de gaz et la vitesse de soudage, tandis que les caractéristiques géométriques sélectionnées comme fonctions objectifs sont le poids de métal déposé, la largeur et la hauteur de cordon de soudure. La méthode de Taguchi est utilisée pour minimiser le nombre d'expériences et faciliter l'interprétation des résultats. On montre par la quantification de l'effet de chaque facteur d'influence sur les fonctions objectifs que le contrôle de la géométrie finale du cordon de soudure est possible par un choix adapté de paramètres de soudage.
La réaction sulfatique interne (RSI) est une réaction chimique à cinétique lente qui peut être responsable de la dégradation d'un matériau cimentaire, en développant un gonflement du matériau puis des fissurations diffuses dans la structure. L'objectif visé dans cette étude est la caractérisation expérimentale à l'échelle dite locale du béton atteint par la RSI. Les échantillons, dits composites, de dimensions 10x10x30mm 3 , sont constitués d'une pâte de ciment d'épaisseur 15mm mise en contact avec un granulat siliceux parallélépipédique. La forme de ces échantillons permet d'étudier le comportement de l'interphase entre la pâte de ciment et le granulat. Cette zone est identifiée comme une zone privilégiée du développement de la pathologie RSI. Compte tenu de la lenteur du déclenchement de cette pathologie, la mise en situation expérimentale au laboratoire est accélérée en choisissant des conditions favorisant l'apparition de la RSI. Les essais sont exploités à l'échelle locale par la mesure des expansions via la corrélation d'images des échantillons dégradés et par des observations au microscope à balayage électronique. Les résultats ont montré une expansion plus importante au niveau de l'interphase pâte de ciment-granulat que de la pâte de ciment seule.

Delayed ettringite formation (DEF) is a slow chemical reaction that can be responsible for the degradation of a cementitious material, developing a swelling of the material and then diffuse cracking in the structure. The objective of this study is the experimental characterization at the local scale of the concrete reached by the DEF. The composite samples, of dimensions 10x10x30mm 3 , consist of a 15mm thick of cement paste placed in contact with a siliceous aggregate. The shape of these samples makes it possible to study the behavior of the interface between the cement paste and the aggregate. This zone is identified as a privileged zone of the development of the DEF. Given the slowness of this pathology, the experimental setting in the laboratory is accelerated by choosing conditions favoring the appearance of DEF. The tests are exploited at the local scale by measuring expansions by image correlation of the degraded samples and by scanning electron microscope observations. The results showed a greater expansion at the cement-granulate paste interface compared to the cement paste.
La dispersion de la réponse mécanique d'un essai de traction directe sur une pâte de ciment à l'échelle locale, ou échelle de l'interface pâte de ciment/granulat, dépend, d'une part, de la dispersion des caractéristiques mécaniques de la pâte de ciment et, d'autre part, du dispositif expérimental. Une étude statistique numérique quantifie la dépendance de la dispersion des réponses mécaniques d'un essai de traction directe à la position de fixations en acier servant à la traction de l'échantillon. Les résultats de cette étude sont comparés à des observations expérimentales.
Les systèmes de tenségrité sont une classe particulière dans la famille des systèmes réticulés. Ils se composent d'un ensemble de barres comprimées à l'intérieur d'un continuum de câbles tendus, l'ensemble étant maintenu dans un état d'autocontrainte introduit au montage. Par leur légèreté, ces structures sont sujettes à des problèmes de déformations et de vibrations lorsqu'elles sont soumises à des charges externes, d'origine climatique, humaine, ou sismique. On s'intéresse dans cet article au contrôle des vibrations d'une grille plane de tenségrité. L'objectif est l'amortissement actif des deux premiers modes propres, par commande d'actionneurs intégrés à la structure. Une synthèse de loi de commande robuste est développée afin de minimiser le niveau des vibrations tout en conservant la même efficacité lorsque la rigidité ou la masse varie.
Cet article présente une étude de la convergence globale de la méthode de Newton généralisée aux systèmes d'équations non différentiables issues de la mécanique du contact. La première partie fournit quelques résultats théoriques pour un problème d'obstacle type. Dans la seconde partie, seule une approche heuristique permet d'appréhender le comportement de l'algorithme de Newton pour des problèmes comportant, outre le contact unilatéral, des non linéarités comme le frottement et l'élasto-plasticité.

This paper is devoted to studying the global convergence of the Newton method generalized to systems of non differentiable equations issued from the contact mechanics. In the first part, sorne theoretical results are presented for a typical obstacle problem. In the second part, the behaviour of the Newton algorithm is analyzed by an heuristic approach. In this way, others non linearities, like friction or elastoplasticity, together with unilateral contact, can be taken up.
On applique ici les techniques de décomposition harmonique et de Cartan à la classification des groupes de symétries des solides piézoélectriques. Nous montrons en particulier qu'il faut réduire de 19 à 17 le nombre des classes de symétries correspondant au phénomène piézoélectrique.
Ce travail présente une modélisation chimio-mécanique du béton reposant sur le couplage entre le transport réactif et la réponse mécanique du système afin d'évaluer l'évolution des paramètres apparents du béton. Ce modèle repose sur une représentation d'un milieu poreux fissuré, dont la fissura-tion est traitée par un modèle de Zone Cohésives Frottantes. Il est étudié en particulier les réactions de gonflements dont les pores et les fissures sont mis sous pression. Une application à la Réaction Sulfatique Interne (RSI) est présentée mettant en avant l'impact de la granulométrie sur le gonflement du béton.
Notre but est de proposer un modèle d'un géomatériau composite aléatoirement renforcé de type TexSolTM[1, 2] (un mélange sable-fil). La stratégie de modélisation consiste à découper un cube de TexSolTM en fines plaques, le problème initial est alors décomposé en n modèles plaque donnant une formulation 2D homogène et déterministe après passage à la limite par Γ-convergence (voir [3] pour la méthode). Nous reconstruisons alors une structure 3D homogène et déterministe par une intégration variationnelle. Nos différents résultats sont validés par une étude numérique.
<p><i>On présente une étude expérimentale d'identification et d'analyse du phénomène d'effondrement sur des milieux granulaires, en utilisant un milieu modèle constitué de billes de verre. Le potentiel d'effondrement d'un sol semble dépendre de plusieurs paramètres comme la limite de liquidité, la masse volumique apparente sèche, la teneur en eau initiale ou encore la présence de fines particules qui assurent une certaine cohésion du milieu poreux. Dans cette étude, on s'intéresse à l'effet purement hydrique par imbibition sur ce phénomène, sans chargement mécanique externe autre que la gravité. Des essais expérimentaux à différentes teneurs en eau initiales ont été réalisés pour différentes granularités du matériau. L'équipement utilisé est un appareil triaxial en non saturé de type Bishop Wesley, instrumenté de capteurs de déplacements locaux axial et radial, rendant compte d'une partie de la cinématique de l'échantillon au cours de l'imbibition. Les résultats expérimentaux ont permis de mettre en évidence une teneur en eau critique de l'effondrement, et montrent l'effet de la teneur en eau initiale et de la granularité du milieu granulaire sur cette teneur en eau critique</i>.</p>
La morphogenèse tissulaire est encore mal comprise. Nous présentons ici un modèle biomécanique de tissu composé de cellules ayant des comportements reproduisant ceux observés expérimentalement (croissance, division et mort cellulaire). Les tissus sont générés selon deux modes : accrétion et prolifération. Les topologies obtenues concordent avec les observations expérimentales et permettent d'étudier l'impact des modes de formation sur la morphogénèse des tissus biologiques.
L'objectif général est de mieux appréhender la contribution des bois dans l'identité culturelle et musicale des instruments, selon les régions ou époques. Cet article vise plus spécifiquement à explorer les relations entre les évolutions de mode de jeu associées aux différents modèles d'archets, et les propriétés mécaniques des différentes espèces employées au cours de l'histoire.
Les phénomènes d'interfaces jouent un rôle important dans le comportement des bains fondus en soudage, notamment dans l'apparition des défauts tels que le humping. La littérature permet d'expliquer le régime établi du phénomène de humping par un modèle d'instabilité de Rayleigh (prédominance des mécanismes de thermoconvection), mais les causes de son apparition restent encore à expliquer et une meilleure compréhension des mécanismes mis en jeu est nécessaire. L'étude de cette problématique complexe nécessite en premier lieu l'identification des phénomènes prépondérants dans un bain de fusion en soudage GMAW pulsé, en configuration statique. C'est l'objet de ce travail qui présente l'étude du comportement dynamique d'un bain de fusion par une approche expérimentale multi-physique. L'outil expérimental et la méthodologie développés pour appréhender ces phénomènes rapides sont présentés en premier : acquisition d'images en vidéo rapide, ombroscopie... L'analyse d'une campagne d'essais par une étude dimensionnelle permet d'illustrer l'importance relative des différents phénomènes.
Un dispositif de traction-compression a été équipé d'un microscope optique longue distance pour l'observation de la surface d'éprouvettes pendant leurs sollicitations. Associé à une analyse des images par Corrélation d'Images Numériques (CIN), ce dispositif doit permettre de caractériser les champs de déformation à l'échelle des hétérogénéités du matériau étudié (quelques micromètres). Nous visons ici l'étude des gaines de combustible de réacteur nucléaire en alliage de zirconium, ayant subi des modifications microstructurales typiques d'une phase accidentelle à haute température. L'objectif est d'une part de faire le lien entre microstructure et champs locaux cinématiques, et d'autre part de fournir des données de validation aux modèles d'homogénéisation par champs moyens développés spécifiquement pour ce type de matériaux. La méthodologie expérimentale est présentée en détail et ses performances sont évaluées, notamment sur des essais de compression d'anneau. Des premiers résultats en traction uniaxiale sont évoqués.
Dans le contexte actuel de raréfaction des énergies fossiles, les constructeurs automobiles cherchent à optimiser l'efficience énergétique de leurs véhicules. Cette amélioration passe par un changement de conception des collecteurs de gaz d'échappement. Les collecteurs tendent vers des pièces mécano-soudés adaptées aux nouvelles contraintes. Ces évolutions passent par le développement et l'utilisation de matériaux résistant à des conditions de service de plus en plus sévères, en termes de tenue à la corrosion à chaud et à la fatigue thermique. Pour répondre à de telles exigences, des aciers inoxydables ferritiques à haute teneur en chrome (19%) avec addition de molybdène (2%) sont développés, pour lesquels nous rencontrons des problèmes de soudabilité. Pour remédier à ces problèmes et assurer des caractéristiques en zone fondue proches de celles du métal de base, de nouveaux produits d'apports (fils fourrés) sont développés dans le cadre de la présente étude.
L'objectif est de prédire l'accommodation cyclique d'un polymère semi-cristallin en intégrant le couplage fort entre la mécanique et la thermique. Il s'agit de capter les deux échelles de temps liées à l'évolution de la déformation moyenne qui accompagne le cyclage et à la boucle stabilisée elle-même, avec des contributions énergétiques pertinentes, utilisables le cas échéant dans un critère de fatigue. Un premier travail avait été mené dans un cadre isotherme. L'étude expérimentale et théorique est ici étendue au cadre thermo-mécanique. Des essais de traction et cisaillement, réalisés par le LMGC de Montpellier, permettent d'accéder aux sources de chaleur. Ils sont confrontés à un modèle thermo-viscoélastique non-linéaire dans lequel le couplage est introduit via la thermo-élasticité (par la déformation volumique) et via la dissipation visqueuse (sur la base du principe d'équivalence temps-température). L'article présente les résultats en cisaillement.

The aim of the work is to predict cyclic accommodation of a polyethylene, taking into account strong thermo-mechanical coupling. The challenge is to be able to predict both the long and short time scales respectively associated with the mean strain increase and stress-strain loop itself. Energetic ters must be accurately predicted to be used as inputs in a fatigue life criterion. A previous work had been conducted in an isothermal framework. It is extended here to thermo-mechanics. Tensile and shear tests performed at the LMGC laboratory (Montpellier, France) provided deformation, temperature and heat sources fields that could be compared to a non-linear thermo-viscoelastic model where coupling was introduced via thermo-elasticity (via the volume strain) and viscous dissipation (via the time-temperature superposition principle on viscolelasticity). Shear results are presented here
Dans cet article nous proposons une formulation du problème de diagnostic de motifs d'un système temporel. Il s'agit de rechercher à partir d'une séquence d'observations du système, toutes les évolutions de celui-ci qui non seulement produisent la séquence observée mais aussi qui sont concordantes avec les motifs d'intérêt considérés. La caractérisation formelle du problème de diagnostic s'appuie sur la notion de pattern matching (concordance de motifs). Posé sous forme d'un problème d'atteignabilité, le problème de diagnostic est résolu par model checking.
Une approche récente pour l’élasticité linéaire, introduit une méthode de zoom structural dans une zone d’intérêt utilisant uniquement des opérateurs de projection de champs. L’intérêt de cette méthode réside dans la prise en compte simultanée de comportements différents dans la zone d’intérêt et dans la structure globale sans recourir à des réglages de paramètres numériques. Le but est de fiabiliser numériquement le cas linéaire, et plus précisément de choisir un solveur, un pré conditionnement et une renumérotation efficaces.
Un outil de transfert d'informations entre maillages incompatibles, pour des champs matériels échantillonnés aux points d'intégration des modèles, est utilisé ici dans le cas du zoom structural (un modèle n'est défini que sur une partie de la structure). Cette étude a été réalisée dans le cadre du Laboratoire de Micromécanique et d'Intégrité des Structures (MIST), laboratoire commun IRSN / CNRS / Université Montpellier 2.
La réponse mécanique du support en bois de la Joconde à l'action du châssis-cadre a été simulée au moyen d'une modélisation par éléments finis, et comparée à des observations par technique d'imagerie optiques. Le risque de propagation de la fente existante, estimée par le calcul du taux de restitution de l'énergie élastique release rate, a été trouvé négligeable.
Des modèles de matériau biphasique utilisant la méthode des éléments discrets sont construits, offrant la possibilité d'étudier (sous sollicitations tribologiques) tant leur endommagement que leur usure. Cette modélisation répond à la conceptualisation du triplet tribologique, montrant l'influence de la couche de troisième corps sur le « contact » dans le cadre du modèle. Elle correspond également à des observations réalisées sur des matériaux de friction hétérogènes type garniture de frein, et constitue une première étape dans l'étude paramétrique du comportement de ce type de matériau en fonction d'une définition plus précise de sa microstructure et de ses propriétés.
Ce travail vise à mesurer des distributions de dissipation induites par la fatigue gigacyclique de matériaux métalliques. Nous présentons le dispositif thermographique utilisé ainsi que des résultats récents obtenus sur un cuivre pur sollicité à 20 kHz à différents niveaux de contrainte, tous très inférieurs à la limite d'endurance. Ces distributions hétérogènes de dissipation sont ensuite reliées aux mécanismes progressifs de microplasticité de la matière et sont confrontées à des images micrographiques réalisées sur ces mêmes échantillons.
Une stratégie de modélisation des maçonneries basée sur une méthode par éléments discrets tenant compte de la déformabilité des éléments est proposée. Il s'agit du développement d'un modèle plus représentatif et qui reste performant en temps de calcul. Celui-ci est basé sur une formulation dynamique en repère flottant. Les résultats obtenus avec ce modèle sont comparés à des approches classiques : rigide, déformable en petite et grande transformation.
La paille porteuse est une technique de construction qui existe depuis plus d'un siècle mais qui a peu fait l'objet d'investigations concernant les processus de mise en œuvre, l'évaluation des performances mécaniques ou la tenue au feu. Dans le cadre de projets de fin d'études réalisés par les étudiants de l'IUT de Nîmes, des améliorations dans le processus de mise en œuvre, des essais mécaniques ou des tests de fluages ont été réalisés. Nous présentons ici les résultats obtenus, premiers éléments permettant de qualifier la paille porteuse en tant que solution constructive écologique, viable et durable.

Load bearing straw bale is a construction technique that has existed for more than a century but has been little investigated regarding the processes of implementation, the evaluation of mechanical performance or fire resistance. During final year projects carried out by the students of the IUT of Nîmes, improvements in the implementation process were experimented and mechanical tests were carried out. We present here the results obtained, first elements to qualify the straw as an ecological, viable and sustainable constructive solution.
Pour pouvoir contrôler la composition et les propriétés des fractions générées par la mouture, il est essentiel de déterminer les relations entre la structure des grains et le devenir des tissus lors des procédés. Le développement d’outils de mesure des propriétés mécaniques des grains ou des tissus, ainsi que les outils de modélisation, permettent d’identifier les caractéristiques impliquées dans les différents modes observés de fractionnement et de développer des modèles prédictifs. Une base de données a été construite pour mettre en relation des résultats issus de champs disciplinaires différents et acquis à des niveaux d’échelles distincts.

Determination of relationships between grain structure and tissue behaviour are important factors to control the composition and properties of fractions obtained from milling. Development of assays to measure the grain or tissue mechanical properties, as well as modelling tools, lead to the identification of main characteristics involved in the different ways to rupture and permit development of predictive models. A database was built to create relationships between results from various scientific fields and obtained at distinct scales.
La thèse « Caractérisation et procédés de séchage de bois tropicaux pour la facture d’instruments à vent » a débuté en mai 2017 dans le cadre d’une collaboration entre Henri Selmer Paris et le LMGC autour de l’étude des bois pour la facture des clarinettes, notamment l’ébène du Mozambique (Dalbergia melanoxylon Guill.). Les objectifs de la thèse sont de mieux caractériser la ressource utilisée par l’entreprise Henri Selmer Paris et de proposer un processus de séchage permettant de gagner du temps tout en assurant une stabilité dimensionnelle des instruments sans fissuration au cours de la fabrication. Pour atteindre ces objectifs, l’étude portera sur l’anatomie du bois, la diffusion de l’eau dans le bois, la teneur en eau à l’équilibre du bois et, à plus long terme, sur ses propriétés hygro-mécaniques.
À partir de l'observation fine par thermographie infrarouge des phénomènes thermiques mis en jeu lors de sollicitations de compression quasi-statiques, sont identifiées et quantifiées l'incidence de l'effet thermoélastique et celle de la dissipation intrinsèque associée à l'état d'endommagement d'un béton ayant subi des cycles gel-dégel.

Showing and measuring of reversible or not thermomechanical couplings in undamaged and freezing/thawing damaged concrete We study thermal phenomena which occur during compressive loading tests on some damaged or not concrete. Two calorific effects are shown through an experimental study using infrared thermography. The first, intrinsically reversible, is due to the thermoelastic coupling. The second is due to damage concrete state.
Dans le cadre du projet Européen ReMath, nous avons entrepris d'introduire deux nouvelles représentations des expressions algébriques dans le micromonde Aplusix : une représentation mixte Naturelle & Arbre mêlant la représentation naturelle en deux dimensions des expressions algébriques avec une représentation en arbre, et une représentation graphique dans le plan des fonctions et sur la droite des ensembles de solutions des équations. Notre travail emprunte une démarche traditionnelle centrée sur la définition de nouveaux objets et fonctionnalités, programmant phase de spécification, phase de développement et phase de tests, combinée avec une approche orientée expérimentation prenant en compte les futures expérimentations croisées prévues dans le projet ReMath. Les questions et solutions émergeantes sont présentées concernant en particulier l'importance des possibilités en édition et en manipulation directe que ces nouvelles représentations peuvent apporter, la distance entre représentation interne et représentation externe dans un micromonde, le statut des objets et des représentations dans ce même cadre et les apports pour la visualisation de l'équivalence entre expressions (rétroaction sémantique fondamentale au cSur d Aplusix).
Nous avons entrepris une analyse qualitative portant sur l'activité de correction de copies d'algorithmique " à la main " pour servir de repère et permettre une comparaison avec une correction automatique de productions d'étudiants en algorithmique en utilisant des jeux d'essai envisagée pour la mise en place d'un EIAH de l'algorithmique comportant une base d'exercices. La mise en place de la base d'exercices et des jeux d'essai est également rapportée. La communication comporte également quelques éléments relatifs à la motivation des étudiants et la remédiation des erreurs dans une démarche semi-automatique associant les enseignants.
En vue d'améliorer la qualité des recherches expérimentales en EIAH, nous présentons une plateforme de collecte, conservation, exécution et partage pour les traces d'interaction et les processus de traitement de données expérimentales issues d'EIAH. Cette plateforme se distingue des plateformes existantes par deux points essentiels, 1- un effort d'ouverture vers l'ensemble des types d'EIAH, des formes et domaines d'enseignements, 2- une volonté d'associer données et traitements dans un même environnement.
Le recours à de " simples tests " sur des jeux d'essai pour estimer la correction d'un programme est une méthode largement répandue dans l'enseignement de l'algorithmique et dans les EIAH du domaine. L'usage habituel (hors EIAH) pour l'élaboration de ces jeux d'essai s'appuie sur la spécification de la fonction à réaliser et les structures des données utilisées. Pour une approche EIAH, il est proposé de prendre en compte également les erreurs habituelles et celles induites par l'exercice lui-même pour définir ces jeux d'essai. Pour cela, cet article propose un outil sémantique, basé sur les notions de jeux d'essai et de contre-exemples, qui permette une caractérisation simple de tous les programmes : les corrects (vis-à-vis de la résolution d'un problème donné) et les autres. Reposant sur cet outil, une méthodologie de définition incrémentale des jeux d'essai et des contre-exemples est proposée. Elle permet de prolonger les systèmes de test des exercices en systèmes de diagnostic des erreurs et d'aide à la correction de ces erreurs. L'observation d'une utilisation ponctuelle de cette méthodologie dans un enseignement standard de licence d'informatique donne des éléments de validation pratique de la méthode.
Le projet APLUSIX a entrepris d'effectuer un certain nombre d'évolutions ces dernières années pour atteindre les caractéristiques d'un produit visant l'enseignement de l'algèbre utilisable tout au long du cursus scolaire de l'élève au lycée et au collège. Cet article porte sur les modifications et les choix intervenants au niveau symbolique le plus bas concernant les mathématiques dans le logiciel, i.e. au premier niveau " algébrique " du système servant à définir les traitements des expressions manipulées dans le système. A ce niveau, une base de règles de réécritures est utilisée pour décrire les manipulations mathématiques possibles, il lui est associé un mécanisme d'appariement riche et paramétrable intégrant des connaissances mathématiques.
Une méthodologie de conception, d'utilisation et d'analyse synthétique des résultats obtenus après enquête sur des EIAH en arithmétique et algèbre est exposée dans cet article. Issu d'un effort interne et disciplinaire d'un ensemble d'équipes de recherche appartenant à un même projet européen, ce travail a renouvelé les genres " état de l'art " et " analyse " en introduisant des grilles d'observation concertées et structurées permettant une collecte des informations collaborative. Suite à un travail de lecture croisée, de fusion de publication et de communication de ces documents, la base d'informations obtenue a rendu possible une action d'analyse et la mise en place d'outils de synthèse qui ont finalement abouti à la constitution d'un panorama 3D des EIAH en arithmétique et en algèbre, peuplé des EIAH étudiés, menant à une classification possible des EIAH de mathématiques potentiellement applicable aux EIAH en général.
Dans le but d’évaluer les productions d’apprenants en algorithmique, nous présentons une méthode de reconnaissance des algorithmes proposés par les apprenants basée sur les techniques de compréhension des programmes du génie logiciel. Notre méthode repose sur une décomposition des algorithmes en tâche et sous-tâche à accomplir ; à associer à chaque sous-tâche des « lignes critiques » et des propriétés spécifiques. Cette décomposition/modélisation permet l’utilisation des techniques de compréhension de programmes de Génie Logiciel et mène à une évaluation/notation des propositions d’algorithmes basée sur le modèle identifié d’une base de modèles étiquetés et sur la distance entre le modèle et la proposition. Une première expérimentation à partir de copies d’examen donne des taux de reconnaissance intéressants et des notes pour les copies reconnues proches des notations manuelles.
Dans le cadre du projet Européen ReMath, nous avons entrepris d'introduire deux nouvelles représentations des expressions algébriques dans le micromonde Aplusix : une représentation mixte Naturelle & Arbre mêlant la représentation naturelle en deux dimensions des expressions algébriques avec une représentation en arbre, et une représentation graphique dans le plan des fonctions et sur la droite des ensembles de solutions des équations. Notre travail emprunte une démarche traditionnelle centrée sur la définition de nouveaux objets et fonctionnalités, programmant phase de spécification, phase de développement et phase de tests, combinée avec une approche orientée expérimentation prenant en compte les futures expérimentations croisées prévues dans le projet ReMath. Les questions et solutions émergeantes sont présentées concernant en particulier l'importance des possibilités en édition et en manipulation directe que ces nouvelles représentations peuvent apporter, la distance entre représentation interne et représentation externe dans un micromonde, le statut des objets et des représentations dans ce même cadre et les apports pour la visualisation de l'équivalence entre expressions (rétroaction sémantique fondamentale au cœur d'Aplusix).
Au cours du développement de l'EIAH APLUSIX, il y a eu de nombreuses occasions d'un travail partagé entre informaticiens et didacticiens. Quelques-unes sont décrites succinctement, illustrant différentes formes de collaborations selon des schémas producteur consommateur. Lors de la mise en place de patrons d'exercices et d'une carte de tests, une coopération plus approfondie a été possible, tout en respectant les disciplines de chacun. Cette mise en place de patrons d'exercices et d'une carte de tests est décrite longuement, elle est donnée comme exemple de cas où informaticiens et didacticiens ont pu travailler ensemble.
En France, de tous les secteurs économiques, le secteur du bâtiment est le plus consommateur d'énergie (43% des consommations énergétiques françaises soit 1,1 tonne équivalent pétrole par an et par habitant) et par conséquent le plus émetteur de gaz à effet (25% des émission nationales). Or, dans un contexte où les ressources s'épuisent, où le prix des énergies s'envole et où les changements significatifs du climat provoquent des phénomènes graves, il est nécessaire de développer une nouvelle approche énergétique pour ce secteur. C'est dans cette vision que la France s'est engagée dans le plan climat en 2004, les plans grenelle I et II, le programme européen efficacité énergétique ou encore la loi sur la transition énergique intervenue au premier semestre 2013 qui vise à réduire de 20% la consommation énergétique d'ici 2030 et ainsi agir tant sur l'efficacité énergétique des bâtiments (neufs ou anciens) que sur l'impact CO 2 de ces derniers. Des mesures significatives ont été alors mises en places afin d'encourager le développement d'outils, numériques et expérimentaux, pour la conception et la rénovation des bâtiments selon les critères de la basse consommation. Toutefois, malgré ces efforts, on constate que l'usager, en tant que système associé au bâtiment, est mal représenté voire pas pris en compte notamment en phase de conception. Ce vecteur social, qui vient de s'ajouter aux deux préoccupations environnementale et économique de ce secteur, concerne principalement le ressenti et le confort thermique. Dans un souci de répondre à cet enjeu, l'IES (Institut d'Electronique et des Systèmes) a développé un capteur multifonctions permettant à la fois de mesurer les paramètres physiques dans un bâtiment mais aussi d'évaluer le niveau de confort thermique de l'usager via une interface conviviale. Deux indicateurs sont alors estimés, le PMV (Predicted Mean Vote) et le PPD (Predicted Percentage of Dissatisfied). Il s'agit de deux indices permettant de prédire le niveau moyen de confort définis dans le cadre de la norme NF EN ISO 7730. Cette étude quantitative sera confrontée à une étude qualitative (sondage) permettant la validation de l'outil expérimental. L'évaluation du niveau de confort permet non seulement de savoir comment l'améliorer mais aussi de quantifier les ressources énergétiques à employer pour l'entretenir. Les mesures in-situ seront réalisées au sein du bâtiment BBC de l'EPF école d'ingénieur-e-s à Troyes. Cette étude devrait évoluer vers une synchronisation de l'outil avec la GTB (Gestion technique du bâtiment) du bâtiment étudié afin d'informer en temps réel les usagers du niveau de confort thermique et de la consommation énergétique du bâtiment. Ces deux paramètres seront nécessaires à l'évaluation de l'efficacité énergétique du bâtiment étudié.
L'écologie industrielle a d'abord été étudiée sous le prisme économique et technique, en considérant que les freins aux démarches d'écologie industrielle se situaient là. Cet article, dans la continuité de travaux francophones et anglo-saxons sur l'encastrement social et territorial de l'EI, cherche à souligner non seulement l'influence forte des facteurs humains dans ces partenariats particuliers, mais aussi celle des caractéristiques territoriales. Ainsi l'approche par les capitaux territoriaux permet de mieux appréhender les différentes dimensions du territoire sollicitées ou laissées de côté dans la structuration des démarches d'EIT. Cet article se base sur les résultats de la recherche EITANS (Ecologie Industrielle et Territoriale : Analyse des facteurs Socio-économiques et anthropologiques), basée sur trois cas d'études dont l'un est particulièrement exploré ici (celui de l'Aube).

Mostly industrial ecology has been studied from economic and technical perspectives. However the main difficulties encountered during the implementation of this kind of project are essentially human and organizational and deeply dependent on the territorial features. That is why it has been developed an analytical framework rest on (cultural, organizational, institutional…) territorial capitals. This article is based on the results of a research funded by the National Environmental Agency and dedicated to define and analyze the social, economic and anthropological factors influencing an eco-industrial project. Three case studies have been explored through a qualitative methodology.
Dans l'exercice de modélisation présenté nous avons fait trois hypothèses fondamentales : (1) la gestion préventive des inondations est avant tout une question de gestion du territoire ; (2) les inondations concernent assurément des agents individuels (qui sont assimilés à des investisseurs) mais (3) sont principalement gérées à un niveau collectif. Ces hypothèses nous amènent à proposer un canevas radicalement différent des rares cas de modélisation sur le sujet rencontrées dans la littérature[1], où les inondations ne soient jamais plus qu'une contrainte dans l'environnement des agents modélisés, jamais un objectif de gestion en soi
En France, de par ses pouvoirs de police, le maire est responsable de la sécurité de ses administrés. Lorsqu'un évènement de sécurité civile impacte sa commune, il se place comme directeur de proximité des opérations. Soumis à l'affectif, peu acculturé aux problématiques d'anticipation des situations de crise, l'élu est parfois démuni pour se préparer aux évènements exceptionnels, ceci notamment dans les communes rurales. Cet article présente la contribution de deux projets de recherche à cette préparation collective dans le département de l'Aube. Par la mise en place d'un dispositif d'accompagnement de l'action collective mobilisant notamment des outils informatiques, ces projets soulignent les opportunités ouvertes par le numérique dans le domaine de la gestion des crises.

Summary In France, due to his police powers, the mayor is responsible for the security of his citizens. When an event of civil safety impacts his municipality, he takes place as a proximity director of the operation. Subjected to the emotional, little acculturated in the problems of anticipation of crisis situations the elected representative is sometimes deprived to get ready for exceptional events, this in particular districts. This paper presents the contribution of two research projects to this collective preparation in the departement of Aube. By the implementation of a plan of accompaniment of the collective action mobilizing in particular computing tools these projects underline the opportunities opened by the digital technology in the field of the management of the crises.
Nous proposons ici de questionner le lien existant entre les systèmes de gestion de la sécurité, et la prise de décision. Plus précisément, quelle est la contribution du SGS à la construction de l’écosystème décisionnel ? Quelle est la capacité du SGS à faire face à un risque évolutif ? Nous nous appuyons sur une revue profonde de la littérature issue de corpus scientifiques, ainsi que celle issues des bonnes pratiques industrielles, pour réaliser une comparaison entre les différents référentiels disponibles. La méthode suivie pour la réalisation de cette analyse est composée de 3 étapes. La première étape est allouée à la construction de la grille d’analyse. L’objectif de la seconde étape est la sélection des référentiels. Ils sont principalement utilisés par les grandes entreprises. La troisième étape est l’analyse comparative des référentiels. Comme résultat, nous avons identifiés des éléments similaires et variables entre les modèles de SGS analysés. La construction et la place de ces outils de gestion pour le manager a également été discuté. La multiplication des outils permet d’améliorer graduellement la gestion de la sécurité. Pourtant, notre étude montre que plusieurs critères relatifs aux systèmes de gestion de la sécurité ont encore besoin d’être discuté.

We propose to question the link between safety management systems, and safety-related decision-making. Our focus on the contribution of the SMS on the decision making process. We performed a deep review of the literature from scientific corpus, as well as issues of industrial guidelines, to make a comparison between the different standards available. We used a three step methodology. The objective of the second step is the selection of standards. The third step allocated to the comparative analysis. As a result, we have identified similar elements and variables between SMS models. Construction and establishment of these management tools for the manager was also discussed. The proliferation of tools allows to gradually improves the management of safety. However, our study shows that several criteria for systems security management still need to be discussed.
L’écologie industrielle et territoriale (EIT) fait l’objet de nombreux travaux scientifiques s’inscrivant dans diverses disciplines allant des sciences de l’ingénieur aux sciences humaines et sociales. La focalisation sur le territoire, ses enjeux et ses acteurs, comme objet d’étude ou encore comme dimensions à considérer dans la mise en œuvre de démarches d’EIT, caractérise les travaux menés en France dans ce domaine. Afin de faciliter la constitution de la communauté scientifique multidisciplinaire naissante autour de l’EIT, et le développement de travaux interdisciplinaires, deux colloques ont été organisés par l’Université de technologie de Troyes et l’IMT Mines d’Alès à Troyes en 2012 et 2014. Cet article vise à introduire le numéro spécial résultant de la seconde édition du colloque (COLEIT 2014), portant sur la problématique de la contribution de l’EIT à la transition écologique et sociale de l’économie.
L’athérosclérose est une maladie inflammatoire chronique de la paroi artérielle. Il est bien établi que certaines cellules immunitaires (macrophages, lymphocytes T, etc.) interviennent dans la progression de l’athérosclérose. Cependant, le rôle des différentes sous-populations de lymphocytes B n’a été évoqué que récemment. Les lymphocytes B1 sécrètent des anticorps IgM protecteurs permettant l’élimination de molécules délétères, alors que les lymphocytes B2 aggravent probablement la maladie en activant des lymphocytes T pro-inflammatoires. La résultante de ces propriétés fonctionnelles opposées des lymphocytes B sur l’évolution des lésions artérielles peut varier selon leur environnement tissulaire au cours des différents stades de la maladie. Dans cette revue, nous mettons l’accent sur les progrès récents dans la compréhension de la contribution spécifique des lymphocytes B au processus athéromateux, permettant de considérer ces derniers comme des cibles potentielles d’une démarche thérapeutique

Atherosclerosis is a chronic inflammatory disease of the arterial wall. It is already well established that several immune cells (macrophages, T lymphocytes, etc.) modulate atherosclerosis progression whereas the role of the different subpopulations of B lymphocytes emerged only recently. B1 lymphocytes secrete protective IgM antibodies that act as scavenger of deleterious molecules whereas B2 lymphocytes probably worsen the disease by activating pro-inflammatory T lymphocytes. The outcome of these opposite functional properties of B lymphocytes on the evolution of arterial lesions may vary depending on their local environment during the different stages of the disease. In this review, we emphasize recent progresses in understanding the specific contribution of B lymphocytes to atherosclerosis and discuss the interest of targeting them to improve therapy.
La sélection des quasars sur des critères intrinsèques permet une première approche du de gré d'isotropie de la loi de Hubble. L'anisotropie hémisphérique éventuelle est majorée à-25 % et + 34 %. Une corrélation avec la géométrie du superamas local est discutée. Le module de Hubble classique, HM, est défini (Rubin et al. 1973) par :

A test o f the isotropy o f Hubble law on the field o f quasars-Correlation with the local supercluster. Selecting quasars on the ground of intrinsic parameters makes a first test of the isotropy of Hubble law possible. Hemispheric anisotropy of H 0 is not significant and has to be less than-25 %, + 34 %. A correlation with the geometry of the Local Supercluster is discussed.