Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Comparison of firmness meters for measuring ‘Hass’ avocado fruit firmness

The temporal passage of fruit through the supply chain and the selection of consumable fruit by shoppers depend primarily upon fruit firmness. Traditionally, fruit firmness measuring methods, like Effegi and conical probes, are relatively inefficient and destructive. Simple, accurate and non-damaging methods of measuring fruit firmness are ideally required to help assure eating quality to the consumer without fruit wastage. The firmness of 'Hass' avocado fruit at a range of ripening stages was measured with the various different firmness measuring techniques of the Sinclair iQ Firmness Tester (SIQFT), the Electronic Firmometer (EF), the Analogue Firmness Meter (AFM) and hand squeezing. Measurements were made by each method at different points on the same fruit. Destructive bruise assessment was performed 48 h later, thereby allowing sufficient time for fruit to express any bruising resulting from the act of firmness measurements. Non-linear relationships were determined between fruit firmness values measured with the different techniques. The adjusted R2 for the relationship between the SIQFT and the EF was 91.6%. For the SIQFT and the AFM, the adjusted R2 was 73.7%. It was 77.7% for the SIQFT and hand squeezing. A significantly (P<0.05) high incidence of bruising was associated with firmness assessment by the EF as compared with either the SIQFT or the AFM. Among the methods compared, the SIQFT was non-damaging compared with the EF and relatively efficient for measuring the firmness. This instrument merits consideration as a quality control tool of choice in 'Hass' avocado supply chains.

Efeitos de um programa de reabilitação instituído a pessoas submetidas a artroplastia total da anca

Introdução: O aumento da esperança média de vida torna as pessoas mais vulneráveis e dependentes, especialmente no que se refere às atividades quotidianas. A coxartrose é uma das osteoartroses mais comuns, manifestada por dor, limitação progressiva da mobilidade articular e atrofia muscular. A artroplastia total da anca tem-se afirmado como alternativa eficaz e com sucesso ao longo do tempo. Hoje em dia, a necessidade de recuperação funcional após a cirurgia é irrefutável. Neste contexto, a reabilitação assume um papel primordial, quer na maximização das capacidades e minimização dos défices pós-cirúrgicos da pessoa, quer no restabelecimento da sua autonomia e consequente retorno à vida social e profissional. Objetivo: Avaliar os efeitos de um programa de reabilitação instituído a pessoas submetidas a artroplastia total da anca. Metodologia: Foi realizado um programa de reabilitação às pessoas submetidas a artroplastia total da anca, com início no primeiro dia de pós-operatório até à consulta pós-operatória, baseado em exercícios resistidos, a 28 pessoas. Avaliaram-se a força muscular (Lafayette manual muscle tester), a amplitude articular (goniometria), a escala de Tinetti e o questionário WOMAC. A colheita de dados foi realizada em três momentos (admissão – T0, alta – T1 e primeira consulta pós-cirurgia – T2). Resultados: Após o programa verificou-se uma melhoria substancial da qualidade de marcha e dos domínios do questionário WOMAC, até ao dia da consulta de ortopedia, que em média foi de 41 dias. A força muscular, quer força máxima quer força média, diminuiu ligeiramente em T1 e em T2 aumentou, exceto nos isquiotibiais em que existe um incremento em todas as avaliações. Verificou-se ainda que os resultados obtidos são independentes da idade, sexo e existência de cirurgia ortopédica anterior. Conclusão: Comprova-se que um programa de reabilitação que forneça as competências necessárias às pessoas, em que se conjugue reabilitação em ambiente hospitalar e domiciliário, é crucial para uma recuperação rápida e eficaz.

Bases génétiques de la différenciation adaptative en milieu anthropisé chez Macoma balthica, un bivalve marin à fort flux génique

Dans un contexte environnemental anthropisé, fragmenté et soumis à un changement climatique rapide, l’appréhension des processus d'adaptation locale des organismes marins par l'étude de zones de contact entre taxa proches constitue une approche privilégiée. Dans ces zones, des génotypes hybrides persistent malgré un état de maladaptation liée à des incompatibilités génétiques endogènes et/ou des barrières exogènes. L'histoire biogéographique complexe de la telline baltique Macoma balthica fait émerger quatre zones hybrides européennes, dont l'une, localisée autour de la Pointe Finistère (France), est le résultat d’un contact entre deux stocks génétiques ayant divergé en allopatrie. Ces divergences sont susceptibles de rompre la coadaptation entre génomes nucléaire et mitochondrial en raison de l'émergence d'incompatibilités mitonucléaires (MNIs). Ainsi, les sous-unités protéiques des cinq complexes de la chaine OXPHO sont codées à la fois par des gènes nucléaires et mitochondriaux, et une coévolution intergénomique étroite est requise pour maintenir la production énergétique cellulaire. De précédentes données de transcriptomique dévoilent de probables MNIs chez M. balthica au niveau des complexes respiratoires I et V, Afin d’apporter des éléments de compréhension aux mécanismes de maintien des zones hybrides dans un contexte de pression anthropique, le présent travail se propose de tester l'hypothèse de putatives MNIs dans cette zone de contact. Pour cela, (i) six mitogénomes correspondant à cinq lignées haplotypiques divergentes en Europe ont été séquencés et l'architecture génomique a été étudiée conjointement à une cartographie des mutations des 13 gènes mitochondriaux, (ii) le niveau de transcription de 5 gènes nucléaires et 8 gènes mitochondriaux (complexe I à V) des individus hybrides a été comparé à celui des lignées parentales après détermination du statut d'hybridation de chaque individu (six populations françaises). A défaut d'apporter des éléments de réponses concrets quant à l'existence de MNIs chez M. balthica, et ses répercussions évolutives en terme de dépression d'hybridation, ce travail constitue un tremplin vers une étude approfondie de la zone hybride française en développant de nouveaux outils moléculaires, et de solides techniques expérimentales pour la conduite de futurs croisements artificiels.

Le rôle des réponses cardiovasculaires et respiratoires sur la cognition chez les jeunes et les ainés sains

En plus de contribuer à améliorer la santé de façon générale, l’activité physique chronique pourrait modérer le déclin cognitif associé au vieillissement normal et pathologique (Colcombe et Kramer, 2003; Heyn et al., 2004). Plus précisément, la pratique à long terme d’activités cardiovasculaires aurait des effets positifs sur la cognition des ainés et plus particulièrement sur le contrôle attentionnel, un aspect précocement touché au cours du vieillissement (Raz, 2000; Bherer et al., 2008). Toutefois, les mécanismes par lesquels l’exercice physique aigu améliore la cognition demeurent limités. Malgré ses nombreuses implications théoriques et pratiques, la réponse aiguë de l’oxygénation cérébrale à l’exercice physique et sa relation avec la cognition sont trop peu étudiées. Cette thèse se consacre à cette question. Des études récentes en neuro-imagerie chez les jeunes adultes démontrent que la relation entre l’oxygénation cérébrale et l’intensité de l’exercice suit la forme d’un U inversé. Il existe un seuil au-delà duquel l’oxygénation cérébrale diminue avec l’augmentation de l’intensité de l’exercice. Supposant que les performances cognitives dépendent de la disponibilité de l’oxygène cérébral, cette relation en U inversé devrait affecter les performances cognitives. Avant de préciser le rôle exact de l’oxygénation cérébrale sur les fonctions cognitives, nous avons d’abord examiné le temps nécessaire pour que l’oxygénation cérébrale atteigne un état stable et la durée pendant laquelle cette période stable peut être maintenue lors de paliers de sept minutes à une puissance sous-maximale (40%, 60% et 85% de la puissance aérobie maximale). Nos résultats soulignent l’existence d’une relation inverse entre la durée de l’état stable et l’intensité de l’exercice. Suite à cette vérification méthodologique, la prochaine étape a été de tester la possible relation entre l’oxygénation cérébrale, l’intensité de l’exercice et les performances cognitives, au cours du processus de vieillissement. Les résultats de ces études démontrent que la chute de l’oxygénation cérébrale observée lors des exercices de haute intensité est associée avec une diminution des performances cognitives. Les résultats de cette thèse corrigent l’écart existant dans la documentation entre l’exercice, les fonctions cognitives et les mécanismes neurophysiologiques.

ECOSCOPA. Evaluer la qualité des écosystèmes conchylicoles en lien avec les pressions climatiques et anthropiques. Rapport annuel campagne 2015

Le réseau ECOSCOPA, co-financé par la DPMA, a pour objectif de développer un outil permettant de mesurer, à plusieurs échelles, des paramètres environnementaux et biologiques en lien avec la croissance et la survie d’huîtres creuses en élevage. Sur l’année 2015 et afin de préparer de façon concertée ce projet, il a été proposé dans un premier temps de renforcer la synergie existante entre les réseaux RESCO et VELYGER afin de disposer d’un suivi proactif du cycle complet de production de l’huître (incluant le captage, la croissance, la reproduction, les éventuelles mortalités) à partir d’animaux communs sur différents sites ateliers, en lien avec l’acquisition de descripteurs environnementaux et physiologiques susceptibles d’influencer chacune de ces traits de vie. En complément du fonctionnement des réseaux VELYGER et RESCO II, le projet ECOSCOPA a donc pris en charge le dispositif de déploiement et de suivi bimensuel d’huîtres sentinelles sur 6 sites (Arcachon, Marennes Oléron, Baie de Bourgneuf, Rade de Brest, Etang de Thau, Rivière de Pénerf). Plus précisément, ECOSCOPA a suivi les paramètres biologiques de survie et de croissance, sur ces six sites ateliers. Les huîtres sentinelles(identiques à celles utilisées par le réseau RESCO II) correspondant à 3 classes d’âge d’huîtres creuses (« 6 mois », « 18 mois » et « 30 mois ») ont été déployées et suivies de manière synchrone sur l’ensemble des sites, selon le même calendrier que celui établie pour RESCO II. Les descripteurs environnementaux ont été obtenus grâce à des enregistrements en haute fréquence de la température, de la pression et de la salinité, réalisés sur l'ensemble des 6 sites au moyen de sondes SMATCH permettant la transmission en temps réel de ces paramètres sur un serveur dédié. La totalité des sites ateliers équipés avec ce type de sondes, en complément des sondes de type STPS prévues par le réseau RESCO II, apermis d'assurer une prise de données sans discontinuité pendant les opérations d'entretien.Les données sur les populations phytoplanctoniques ont été acquises grâce aux points de suivi du réseau REPHY là où ces points existent. Des prélèvements additionnels ont été réalisés dans le cas contraire via des partenaires extérieurs. Enfin, des descripteurs physiologiques ont été acquis dans cette étude afin de qualifier le statut physiologique de l’huître en lien avec les variations de l’environnement. Plus précisément, une étude spécifique permettant d’approfondir les résultats acquis dans le cadre de l’expérimentation PHYSITU en 2014, a été réalisée. En effet, dans cette étude, des mesures d’expression de gènes impliqués dans la réponse des naissains aux mortalités ont été réalisées afin de qualifier l’évolution du statut physiologique de l’huître avant, pendant, et après les mortalités. Cette action a permis, entre autre, d’identifier 4 gènes d’intérêt, dont l’expression varie significativement selon les périodes avant et après mortalité. L’action ECOSCOPA a donc pris en charge la poursuite de cette étude afin de tester l’intérêt de ces marqueurs en tant qu’indicateur précoce de la réponse de l’huître face aux agents pathogènes, et de valider si ces marqueurs pourraient être utilisés à plus large échelle pour la surveillance de la qualité des écosystèmes côtiers.

Structures familiales, encadrement communautaire et survie des enfants. Une recherche en milieu rural malien

The influence of the family environment on child survival is difficult to study using retrospective data, especially in contexts where family structures are complex and where children are mobile. Data from a follow-up survey in rural Mali (1976-2009) are used here to address this question. Several indicators are constructed to test the effect of family structures on child mortality: morphology of the domestic group, availability of family resources, the child's place in the family and the presence of his or her parents. Bivariate and multivariate analyses find no difference in child mortality across different family environments. This finding suggests that the family and social networks still play a powerful role in regulating and managing risks of unequal treatment and care of children

Devem as porcelanas serem re-silanizadas após a contaminação?

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Ciências da Saúde, Programa de Pós-Graduação em Ciências da Saúde, 2015.

Effets préventifs et thérapeutiques des polyphénols dans un modèle in vitro et in vivo de maladie inflammatoire de l’intestin : caractérisation des polyphénols de la pelure de pomme et de la canneberge par spectrométrie de masse

La muqueuse intestinale est exposée à des agents oxydants provenant de l’ingestion d’aliments modifiés, de cellules immuno-inflammatoires et de la flore intestinale. Une diète élevée en fruits et légumes peut diminuer le stress oxydant (SOx) ainsi que l’inflammation via plusieurs mécanismes. Ces effets bénéfiques peuvent être attribuables à leur contenu élevé en polyphénols. La première étude de mon doctorat consistait à tester l’hypothèse que les polyphénols extraits de pelures de pomme (DAPP) pouvaient diminuer le stress oxydant et l'inflammation impliqués dans les maladies inflammatoires de l'intestin (MII). Nous avons caractérisé les polyphénols des DAPP par spectrométrie de masse (LC-MS) et examiné leur potentiel antioxydant et anti-inflammatoire au niveau des cellules intestinales. L’identification des structures chimiques des polyphénols a été effectuée par LC-MS. Le SOx a été induit par l’ajout du complexe fer/ascorbate (Fe/Asc, 200 µM/2 mM) et l’inflammation par la lipopolysaccharide (LPS, 200µg/mL) à des cellules intestinales Caco-2/15 pré-incubées avec les DAPP (250 µg/mL). L’effet du SOx est déterminé par le dosage du malondialdéhyde (MDA), de la composition des acides gras polyinsaturés et de l’activité des enzymes antioxydantes endogènes (SOD et GPx). L’impact des DAPP sur l’inflammation a été testé par l’analyse de l’expression des marqueurs inflammatoires: cyclooxygénase-2 (COX-2), le facteur de nécrose tumorale alpha (TNF-a et l’interleukine-6 (IL-6) et les facteurs de transcription NF-KB, Nrf-2 et PGC1α par immunobuvardage. Nos données ont montré que les flavonols et les flavan-3-ols constituent les composés polyphénoliques majoritaires des DAPP. L’ajout de Fer2+/Asc a provoqué une augmentation de la peroxidation lipidique comparativement aux cellules contrôles, un appauvrissement des acides gras polyinsaturés n-3 et n-6, et une modulation des enzymes antioxydantes, se traduisant par une augmentation de l’activité de la SOD et une diminution de la GPx. En contrepartie, les DAPP ont exhibé leur potentiel à corriger la plupart des perturbations, y compris l’expression protéique anormalement élevée du COX-2 et la production de la prostaglandine E2 (PGE2), ainsi que l’inflammation telle que réflétée par les facteurs NF-κB, TNF-α et IL-6. Par ailleurs, les mécanismes sous-jacents à ces changements bénéfiques des DAPP ont fait intervenir les facteurs de transcription antioxydants (Nrf-2, PGC1α). Vraisemblablement, cette première étude a permis de démontrer la capacité des DAPP à amoindrir le SOx et à réduire l’inflammation, deux processus étroitement impliqués dans les MII. Dans la deuxième étape de mon doctorat, nous avons voulu comparer les résultats de DAPP à ceux des polyphénols dérivant de la canneberge qui est considérée par la communauté scientifique comme le fruit ayant le plus fort potentiel antioxydant. À cette fin, nous avons caractérisé l’effet des composés polyphénoliques de la canneberge (CPC) sur le SOx, la défense antioxydante et l’inflammation au niveau intestinal tout en définissant leur métabolisme intraluminal. Les différents CPC ont été séparés selon leur poids moléculaire par chromatographie et leurs structures chimiques ont été identifiées par LC-MS. Suite à une pré-incubation des cellules Caco-2/15 avec les extraits CPC (250 µg/mL), le Fe/Asc et la LPS ont été administrés comme inducteurs du SOx et de l’inflammation, respectivement. La caractérisation globale des CPC a révélé que les acides phénoliques composaient majoritairement l’extrait de canneberge de petit poids moléculaire (LC) alors que les flavonoïdes et les procyanidines dimériques/trimériques représentaient l’extrait de poids moléculaire moyen (MC) tout en laissant les procyanidines oligo et polymériques à l’extrait de haut poids moléculaire (HC). Les CPC ont permis de restaurer la plupart des perturbations engendrées dans les Caco-2/15 par le Fe/Asc et le LPS. Les CPC exhibaient le potentiel d’abaisser les niveaux de MDA, de corriger la composition des acides gras polyinsaturés n-3 et n-6, d’augmenter l’activité des enzymes antioxydantes (SOD, GPx et CAT) et d’élever l’expression de Nrf2 et PGC1α. En outre, les CPC pouvaient aussi réduire les niveaux élevés des protéines inflammatoires COX-2, TNF-α et IL-6 ainsi que la production des PGE2 par un mécanisme impliquant le NF-κB. Au niveau mitochondrial, les procyanidines oligomériques ont réussi à corriger les dysfonctions reliées à la production d’énergie (ATP), l’apoptose (Bcl-2, Cyt C et AIF) et le statut des facteurs de transcription mitochondriaux (mtTFA, mtTFB1, mtTFB2). Dans le but de bien comprendre les mécanismes d’action des CPC, nous avons défini par LC-MS les composés polyphénoliques qui ont été transportés ou absorbés par l’entérocyte. Nos analyses soulignent le transport (i) des acides cinnamiques et benzoïques (LC); (ii) la quercétine glycosylée et conjuguée et les procyanidines dimériques de type A (MC); et (iii) l’épicatéchine et les procyanidines oligomériques (HC). Les processus de métabolisation (méthylation, glucuronidation et sulfatation) au niveau de l’entérocyte ont probablement permis le transport de ces CPC surtout sous leur forme conjuguée. Les procyanidines oligomériques ayant un degré de polymérisation supérieur à 2 (HC) ont semblé adhérer aux cellules Caco-2/15. L’épicatéchine suivi par les procyanidines dimériques de type A ont été trouvés majoritaires au niveau des mitochondries. Même si nous ignorons encore l’action biologique de chaque composé polyphénolique, nous pouvons suggérer que leurs effets combinatoires exercent des fonctions antioxydantes, anti-inflammatoires et mitochondriales dans le modèle intestinal Caco-2/15. Dans une troisième étape, nous avons procédé à l’évaluation des aspects préventifs et thérapeutique des DAPP tout en sondant les mécanismes sous-jacents dans une étude préclinique. À cette fin, nous avons exploité le modèle de souris avec colite expérimentale provoquée par le Dextran Sulfate de Sodium (DSS). L’induction de l’inflammation intestinale chez la souris C57BL6 a été effectuée par l’administration orale de DSS à 2.5% pendant 10 jours. Des doses physiologiques et supra-physiologiques de DAPP (200 et 400 mg/kg/j, respectivement) ont été administrées par gavage pendant 10 jours pré- et post-DSS. L’inflammation par le DSS a provoqué une perte de poids, un raccourcissement du côlon, le décollement dystrophique de l’épithélium, l’exulcération et les infiltrations de cellules mono et polynucléaires au niveau du côlon. De plus, le DSS a induit une augmentation de la peroxidation lipidique, une régulation à la baisse des enzymes antioxydantes, une expression protéique à la hausse de la myéloperoxidase (MPO), du COX-2 et de la production des PGE2. Par ailleurs, les DAPP ont permis de corriger ou du moins d’alléger la plupart de ces anomalies en situation préventive ou thérapeutique, en plus d’abaisser l’expression protéique de NF-κB et des cytokines inflammatoires (TNF-a et l’IL-6) tout en stimulant les facteurs de transcription antioxydants (Nrf-2, PGC1α). Conséquemment, les polyphénols des DAPP ont exhibé leur puissant pouvoir antioxydant et anti-inflammatoire au niveau intestinal dans un modèle in vivo. Leurs actions sont associées à la régulation des voies de signalisation cellulaire et des changements dans la composition du microbiote. Ces trois projets de recherche permettent d’envisager l’évaluation des effets préventifs et thérapeutiques des DAPP cliniquement chez les patients avec des désordres inflammatoires de l’intestin.

Fire protection durability of intumescent coatings after accelerated aging

The most common method of achieve the required fire resistance is by the use of passive fire protection systems, being intumescent coatings the fire protection material frequently used. These are usually considered thin film coatings as they are applied with a dry film thickness (DFT) between 0.3-3 [mm]. The required DFT is obtained by experimental fire resistance tests performed to assess the contribution of this reactive fire protection material to the steel member fire resistance. This tests are done after dry coating and a short time period of atmospheric conditioning, at constant temperature and humidity. As the coatings formulation is mainly made from polymeric basis compounds, it is expected that the environmental factors, such temperature, humidity and UV radiation (UVA and UVB) significantly affect the intumescent coating fire protection performance and its durability. This work presents a research study about the effects of aging on the fire protection performance of intumescent coatings. A commercial water based coating is submitted to an accelerated aging cycle, using a QUV Accelerated Weathering Tester. This tests aim to simulate 10 years of the coating natural aging. The coating durability is tested comparing the fire protection of small steel samples submitted to a radiant heat flux exposure from a cone calorimeter. In total, 28 tests were performed on intumescent coating protected steel specimens, of which 14 specimens were tested before the hydrothermal aging test and other 14 after accelerated aging. The experimental tests results of the steel temperature evolution shows that increasing the intumescent dry coating film thickness, the fire resistance time increases. After the accelerated aging cycles, the coating lose their ability to expand, resulting in an increase of the steel temperature of approximately 200 [ºC], compared to the samples without aging.

The use of animal models in multiple myeloma

International audience

The quality of rapid HIV testing in South Africa: an assessment of testers’ compliance.

Background: The aim of this study was to assess the quality of rapid HIV testing in South Africa. Method: A two-stage sampling procedure was used to select HCT sites in eight provinces of South Africa. The study employed both semi-structured interviews with HIV testers and observation of testing sessions as a means of data collection. In total, 63 HCT sites (one HIV tester per site) were included in the survey assessing qualification, training, testing practices and attitudes towards rapid tests. Quantitative data was analysed using descriptive statistics and qualitative data was content analysed. Results: Of the 63 HIV testers, 20.6% had a nursing qualification, 14.3% were professional counsellors, 58.7% were lay HIV counsellors and testers and 6.4% were from other professions. Most HIV testers (87.3%) had had a formal training in testing, which ranged between 10-14 days, while 6 (9.5%) had none. Findings revealed sub-standard practices in relation to testing. These were mainly related to non-adherence to testing algorithms, poor external quality control practices, poor handling and communication of discordant results. Conclusion: Quality of HIV rapid testing may be highly compromised through poor adherence to guidelines as observed in our study.

Rapport de mission sur la conférence mondiale sur l'aquaculture, organisée conjointement par la World Aquaculture Society et la European Aquaculture Society. Florence, Italie, 9-13 mai 2006

Ce congrès était organisé conjointement par les deux grandes associations de développement de l'aquaculture dans le monde: la World Aquaculture Society (WAS, 2300 membres) et la European Aquaculture Society (EAS, 550 membres). Le précédent s'était tenu à Nice, en mai 2000. Il a rassemblé pendant 5 jours plus de 3000 chercheurs et responsables institutionnels de 95 nationalités. Environ 600 communications orales étaient réparties sur 67 sessions suivant un système de 11 salles en parallèle. Entre les salles de conférence étaient présentés les panneaux des 460 posters. Sur le site, l'exposition commerciale accueillait 135 entreprises et organismes; elle a reçu la visite d'environ 2000 visiteurs dont la moitié d'Italiens (source: EAS). Le thème général du congrès était le lien entre la tradition et la technologie. L'objectif était de montrer que les technologies, dont l'image est ambivalente, constituent un outil remarquable de développement de l'aquaculture, y compris en tenant compte des contraintes de durabilité. En effet, les attentes du citoyen, comme du consommateur, restent centrées autour des notions de qualité, sécurité alimentaire, bien-être et santé animale. Les travaux portaient sur les disciplines classiques de l'aquaculture (nutrition, physiologie, génétique, etc) et leur relation avec les biotechnologies. Il faut souligner l'émergence de thèmes de plus en plus liés la démonstration que l'aquaculture peut s'intégrer dans détruire (capacité de charge d'un écosystème, animaux échappés, etc) et à la perception de la société (perception du consommateur, aquaculture et société, position des ONG écologistes, etc). L'U.E. était très présente avec 5 représentants et une implication marquée dans de plusieurs sessions. Sous différentes formes, ses représentants ont rappelé la volonté de l'UE de continuer à soutenir l'aquaculture, avec l'objectif de poursuivre le développement de ce secteur (4 % de croissance moyenne par an). L'aquaculture devrait générer 8 à 10 000 emplois nouveaux sur les 15 prochaines années, notamment dans la conchyliculture et la pisciculture marine au large avec comme mot clef l'intégration dans l'environnement, dans le tissu socio-économique côtier et dans l'imaginaire des gens, touristes, consommateurs, élus, etc. Ce congrès à vocation mondiale a attiré des représentants de régions habituellement peu représentées comme le Moyen Orient et la Chine, présente à de nombreuses sessions. Il a été aussi le lieu de multiples réunions satellites impliquant presque toujours des chercheurs français: grands programmes européens en cours comme SeaFood+, ASEM (coop. Europe - Asie) ou Consensus, assemblée générale de l'EAS, groupe de travail de l'UICN, etc. Ce type de réunion confirme l'importance des contacts personnels directs pour 1. Evaluer les grandes tendances mondiales du secteur 2. Etablir des contacts directs avec des chercheurs seniors des grandes équipes de recherche et des décideurs au niveau européen et extra-européen 3. Tester des idées et des projets de collaboration et de partenariat Il constitue un forum exceptionnel de diffusion de connaissances, d'informations et de messages. Il offre un espace de perception et de reconnaissance d'Ifremer par de nombreux acteurs de la communauté de recherche en aquaculture. Grâce à la variété thématique des sessions où des chercheurs d'Ifremer sont actifs, l'institut renforce sa notoriété notamment dans la dimension pluridisciplinaire. Cette capacité d'ensemblier est la qualité la plus demandée dans les conclusions d'ateliers et la plus rare dans les instituts présents. Le congrès révèle bien l'évolution de l'aquaculture mondiale: il y a 10 ans, la production de masse était au Sud et la technologie et les marchés au Nord (USA, Europe, Japon). Aujourd'hui, la progression économique et scientifique rapide des pays du Sud, surtout en Asie, crée des marchés locaux .solvables pour l'aquaculture (Chine, Inde) et fait émerger une capacité de recherche « de masse». Cette situation exige que la recherche occidentale évolue pour rester compétitive. Pour préserver un secteur important, qui concourt à la sécurité alimentaire en protéines de manière croissante (4% par an, record de toutes les productions alimentaires), la recherche européenne en aquaculture doit maintenir son effort afin de garder une longueur d'avance, surtout dans les secteurs qui seront vitaux dans la décennie: relations avec l'environnement naturel (durabilité dont la maîtrise des coûts énergétiques), qualité des produits, sécurité alimentaire, intégration socio-économique dans des espaces de plus en plus convoités, maîtrise de l'image de l'espèce « cultivée» (industrielle mais contrôlée) par rapport à l'image de l'espèce « sauvage» (naturelle mais polluée et surexploitée). En conséquence, l'UE conserve tout son potentiel de développement car l'essentiel de la valeur ajoutée sera de moins en moins dans la production en quantité mais dans sa maîtrise de la qualité. Cette évolution donne toute sa valeur à la recherche menée par Ifremer et ce d'autant plus que l'institut sera capable d'anticiper les besoins et les attentes des entreprises, des consommateurs, des associations comme des organisations internationales. Dans cette vision, réactivité, capacité d'ensemblier et réflexion prospective sont les qualités à développer pour que l'lfremer puisse donner toute sa mesure notamment dans la recherche en aquaculture. Ces enjeux sont à l'échelle internationale et Ifremer fait partie du petit nombre d'instituts capables de les traiter en large partenariat, en accord complet avec la politique souhaitée par l'UE

Optimization models and methods for real-time transportation planning in forestry

Lors du transport du bois de la forêt vers les usines, de nombreux événements imprévus peuvent se produire, événements qui perturbent les trajets prévus (par exemple, en raison des conditions météo, des feux de forêt, de la présence de nouveaux chargements, etc.). Lorsque de tels événements ne sont connus que durant un trajet, le camion qui accomplit ce trajet doit être détourné vers un chemin alternatif. En l’absence d’informations sur un tel chemin, le chauffeur du camion est susceptible de choisir un chemin alternatif inutilement long ou pire, qui est lui-même "fermé" suite à un événement imprévu. Il est donc essentiel de fournir aux chauffeurs des informations en temps réel, en particulier des suggestions de chemins alternatifs lorsqu’une route prévue s’avère impraticable. Les possibilités de recours en cas d’imprévus dépendent des caractéristiques de la chaîne logistique étudiée comme la présence de camions auto-chargeurs et la politique de gestion du transport. Nous présentons trois articles traitant de contextes d’application différents ainsi que des modèles et des méthodes de résolution adaptés à chacun des contextes. Dans le premier article, les chauffeurs de camion disposent de l’ensemble du plan hebdomadaire de la semaine en cours. Dans ce contexte, tous les efforts doivent être faits pour minimiser les changements apportés au plan initial. Bien que la flotte de camions soit homogène, il y a un ordre de priorité des chauffeurs. Les plus prioritaires obtiennent les volumes de travail les plus importants. Minimiser les changements dans leurs plans est également une priorité. Étant donné que les conséquences des événements imprévus sur le plan de transport sont essentiellement des annulations et/ou des retards de certains voyages, l’approche proposée traite d’abord l’annulation et le retard d’un seul voyage, puis elle est généralisée pour traiter des événements plus complexes. Dans cette ap- proche, nous essayons de re-planifier les voyages impactés durant la même semaine de telle sorte qu’une chargeuse soit libre au moment de l’arrivée du camion à la fois au site forestier et à l’usine. De cette façon, les voyages des autres camions ne seront pas mo- difiés. Cette approche fournit aux répartiteurs des plans alternatifs en quelques secondes. De meilleures solutions pourraient être obtenues si le répartiteur était autorisé à apporter plus de modifications au plan initial. Dans le second article, nous considérons un contexte où un seul voyage à la fois est communiqué aux chauffeurs. Le répartiteur attend jusqu’à ce que le chauffeur termine son voyage avant de lui révéler le prochain voyage. Ce contexte est plus souple et offre plus de possibilités de recours en cas d’imprévus. En plus, le problème hebdomadaire peut être divisé en des problèmes quotidiens, puisque la demande est quotidienne et les usines sont ouvertes pendant des périodes limitées durant la journée. Nous utilisons un modèle de programmation mathématique basé sur un réseau espace-temps pour réagir aux perturbations. Bien que ces dernières puissent avoir des effets différents sur le plan de transport initial, une caractéristique clé du modèle proposé est qu’il reste valable pour traiter tous les imprévus, quelle que soit leur nature. En effet, l’impact de ces événements est capturé dans le réseau espace-temps et dans les paramètres d’entrée plutôt que dans le modèle lui-même. Le modèle est résolu pour la journée en cours chaque fois qu’un événement imprévu est révélé. Dans le dernier article, la flotte de camions est hétérogène, comprenant des camions avec des chargeuses à bord. La configuration des routes de ces camions est différente de celle des camions réguliers, car ils ne doivent pas être synchronisés avec les chargeuses. Nous utilisons un modèle mathématique où les colonnes peuvent être facilement et naturellement interprétées comme des itinéraires de camions. Nous résolvons ce modèle en utilisant la génération de colonnes. Dans un premier temps, nous relaxons l’intégralité des variables de décision et nous considérons seulement un sous-ensemble des itinéraires réalisables. Les itinéraires avec un potentiel d’amélioration de la solution courante sont ajoutés au modèle de manière itérative. Un réseau espace-temps est utilisé à la fois pour représenter les impacts des événements imprévus et pour générer ces itinéraires. La solution obtenue est généralement fractionnaire et un algorithme de branch-and-price est utilisé pour trouver des solutions entières. Plusieurs scénarios de perturbation ont été développés pour tester l’approche proposée sur des études de cas provenant de l’industrie forestière canadienne et les résultats numériques sont présentés pour les trois contextes.

Canal d’essais de Brest. Tests de sismomètres de fond de mer MicrObs

Ces tests font partie de la recette de sismomètres MicrObs fournis par Sercel (Photo 1). Le but est de tester le fonctionnement en immersion pendant quelques jours ainsi que le largage. L’opération est répétée 3 fois pour chaque appareil.