Identification of protein targets of nevirapine reactive metabolites using click chemistry and mass spectrometry-based differential proteomics

Abstract : Adverse drug reactions (ADRs) are undesirable effects caused after administration of a single dose or prolonged administration of drug or result from the combination of two or more drugs. Idiosyncratic drug reaction (IDR) is an adverse reaction that does not occur in most patients treated with a drug and does not involve the therapeutic effect of the drug. IDRs are unpredictable and often life-threatening. Idiosyncratic reaction is dependent on drug chemical characteristics or individual immunological response. IDRs are a major problem for drug development because they are usually not detected during clinical trials. In this study we focused on IDRs of Nevirapine (NVP), which is a non-nucleoside reverse transcriptase inhibitor used for the treatment of Human Immunodeficiency Virus (HIV) infections. The use of NVP is limited by a relatively high incidence of skin rash. NVP also causes a rash in female Brown Norway (BN) rats, which we use as animal model for this study. Our hypothesis is that idiosyncratic skin reactions associated with NVP treatment are due to post-translational modifications of proteins (e.g., glutathionylation) detectable by MS. The main objective of this study was to identify the proteins that are targeted by a reactive metabolite of Nevirapine in the skin. The specific objectives derived from the general objective were as follow: 1) To implement the click chemistry approach to detect proteins modified by a reactive NVP-Alkyne (NVP-ALK) metabolite. The purpose of using NVP-ALK was to couple it with Biotin using cycloaddition Click Chemistry reaction. 2) To detect protein modification using Western blotting and Mass Spectrometry techniques, which is important to understand the mechanism of NVP induced toxicity. 3) To identify the proteins using MASCOT search engine for protein identification, by comparing obtained spectrum from Mass Spectrometry with theoretical spectrum to find a matching peptide sequence. 4) To test if the drug or drug metabolites can cause harmful effects, as the induction of oxidative stress in cells (via protein glutathionylation). Oxidative stress causes cell damage that mediates signals, which likely induces the immune response. The results showed that Nevirapine is metabolized to a reactive metabolite, which causes protein modification. The extracted protein from the treated BN rats matched 10% of keratin, which implies that keratin was the protein targeted by the NVP-ALK.

Analyse causale de la réaction des travailleurs âgés aux nouveaux modes de gestion

Cette recherche porte sur l'analyse causale de la réaction des travailleurs âgés aux nouveaux modes de gestion. Plus précisément, cette étude cherche à identifier certains facteurs personnels qui expliqueraient pourquoi les travailleurs âgés auraient une réaction moins favorable que les jeunes envers ces modes de gestion. A cet effet, la revue de littérature présentée au chapitre 2 ainsi que le cadre théorique décrit au chapitre 3 nous ont permis d'identifier trois variables qui semblent expliquer ladite réaction des travailleurs âgés. Pour tester l'existence des relations causales prédites (hypothèses de recherche), nous avons choisi l'approche de recherche connue sous le nom d'analyse des chemins de causalité (path analysis). Bien que nous ayons démontré statistiquement que l'âge a un impact négatif sur la réaction des travailleurs aux nouveaux modes de gestion, les trois variables sélectionnées (i.e. scolarité, motivation intrinsèque et engagement d'adhésion aux objectifs) ne sont vraisemblablement pas les variables qui expliquent cette relation négative. Il semblerait, selon nos résultats, que le principal facteur à la source de cette relation soit plutôt le besoin de sécurité et de stabilité qui augmente avec l'âge des individus.

Développement et expérimentation d'algorithmes de réorientation pour un robot sériel en chute libre

Ce mémoire présente 2 types de méthodes pour effectuer la réorientation d’un robot sériel en chute libre en utilisant les mouvements internes de celui-ci. Ces mouvements sont prescrits à partir d’algorithmes de planification de trajectoire basés sur le modèle dynamique du robot. La première méthode tente de réorienter le robot en appliquant une technique d’optimisation locale fonctionnant avec une fonction potentielle décrivant l’orientation du système, et la deuxième méthode applique des fonctions sinusoïdales aux articulations pour réorienter le robot. Pour tester les performances des méthodes en simulation, on tente de réorienter le robot pour une configuration initiale et finale identiques où toutes les membrures sont alignées mais avec le robot ayant complété une rotation de 180 degrés sur lui-même. Afin de comparer les résultats obtenus avec la réalité, un prototype de robot sériel plan flottant possédant trois membrures et deux liaisons rotoïdes est construit. Les expérimentations effectuées montrent que le prototype est capable d’atteindre les réorientations prescrites si peu de perturbations extérieures sont présentes et ce, même si le contrôle de l’orientation est effectué en boucle ouverte.

L'utilité perçue de l'information comptable par les responsables des départements de production et de marketing

Cette recherche examine l'association entre les qualités de l'information comptable, son utilisation, le département qui en fait usage et la perception des gestionnaires de l'utilité de cette information comptable. On a mesuré la perception de Futilité de l'information comptable à partir d'un questionnaire auprès des responsables de deux départements fonctionnels d'entreprises: les directeurs des départements de production et de marketing en regard de la prise de décisions et de l'évaluation de la performance. La cueillette de données a été réalisée à l'aide d'un questionnaire qu'on a envoyé à 308 responsables dans 154 entreprises. L'étude empirique pour tester les hypothèses de recherche a été réalisée sur 71 répondants. Les résultats indiquent que dans le contexte de prise de décision, la perception positive de l'utilité de l'information comptable s'accroît si cette information est jugée de qualité et si elle est utilisée; de plus, cette perception peut varier d'un département à un autre. Dans le contexte de l'évaluation de la performance, la perception positive de l'utilité de l'information comptable s'accroît si cette information est jugée de qualité, elle peut varier d'un département à un autre, mais contrairement à l'hypothèse posée cette perception n'est pas liée à son utilisation. On note aussi que l'utilité perçue de l'information comptable est meilleure dans les départements de marketing que dans les départements de production.

L’étendue et l’abondance en Amérique du Nord de plantes exotiques : explication par l’aire de répartition d’origine eurasiatique

Les espèces végétales exotiques peuvent devenir envahissantes une fois naturalisées sur un nouveau territoire. La méthode de lutte la plus efficace étant la prévention, il est primordial de pouvoir prédire à l’avance si une nouvelle espèce introduite deviendra envahissante. Afin d’en arriver à un outil d’aide à la décision facile d’utilisation, il importe de développer des modèles plus simples, ayant peut-être un pouvoir explicatif moins grand, mais qui seront par contre plus faciles à comprendre et à utiliser. Il est possible de simplifier un modèle en utilisant moins de variables mais en les choisissant mieux, sur une base théorique. Le but de ce mémoire est donc de tester la force de la relation liant l’aire de répartition d’origine eurasiatique avec l’abondance et l’étendue de l’aire de répartition d’introduction en Amérique du Nord. La variable explicative principale, l’aire de répartition d’origine eurasiatique, a été utilisée avec deux autres covariables, soit le temps de résidence sur le continent nord-américain et le cycle de vie des espèces afin de bâtir un modèle statistique. Ce dernier a été testé à deux échelles géographiques, soit à l’échelle d’un pays entier, les États-Unis, et à une échelle plus régionale. L’utilisation de spécimens d’herbier et d’autres sources de données disponibles en ligne a permis de construire une base de données comportant un grand nombre d’espèces (N = 481). Les modèles ont révélé qu’avec peu de variables explicatives, il est possible d’expliquer une proportion importante du phénomène d’envahissement et d’abondance (> 40 %) dans certaines régions des États-Unis. Cette recherche contribue au développement d’un outil d’aide à la décision simple et démontre qu’il est possible d’expliquer une partie importante le phénomène d’abondance et d’étendue des espèces exotiques grâce à des données disponibles et à un petit nombre de variables bien sélectionnées.

Développement et pré-test d’un plan de soins de suivi pour des femmes atteintes du cancer de l’endomètre avec traitements adjuvants lors de la transition de la fin du traitement actif vers la survie au cancer

La fin du traitement actif et le début de la phase de survie correspondent à une période de transition qui présente de nombreux défis pour la personne survivante au cancer, les soignants et le système de santé. La phase de survie au cancer est une phase distincte mais négligée du continuum de soins. Pour faciliter la transition de la fin du traitement actif vers la survie et optimiser la coordination des soins de suivi, la mise en place d’un plan de soins de suivi (PSS) est proposée. Le but de cette recherche est de développer, de mettre en place et d’évaluer si un plan de soins de suivi (PSS) permet de répondre aux besoins globaux, de diminuer la détresse émotionnelle et de favoriser les comportements d’autogestion de santé de femmes atteintes du cancer de l’endomètre (FACE) lors de la transition de la fin du traitement actif vers la survie au cancer. Elle comprend deux phases distinctes. La première phase visait d’abord le développement d’un plan de soins de suivi (PSS) pour des femmes atteintes du cancer de l’endomètre avec traitements adjuvants. La sélection du contenu du PSS a été faite à partir de la recension des écrits et des données recueillies lors d’entrevues individuelles avec 19 FACE, 24 professionnels de la santé travaillant avec cette clientèle et quatre gestionnaires de proximité en oncologie. Cette première phase avait également pour but la validation du contenu du PSS auprès de dix professionnels de la santé impliqués dans l’étude. La seconde phase consistait à évaluer la faisabilité, l’acceptabilité du PSS et à en pré-tester l’utilité à répondre aux besoins globaux, à diminuer la détresse émotionnelle (peur de la récidive) et à favoriser l’autogestion de santé auprès d’un groupe de 18 femmes atteintes du cancer de l’endomètre avec traitements adjuvants à la fin du traitement actif vers la survie. Sur le plan de la faisabilité, les résultats suggèrent que la mise en place du PSS comporte des défis en termes de temps, de ressources et de coordination pour l’infirmière pivot en oncologie (IPO). Concernant l’acceptabilité du PSS, les FACE le perçoivent comme un outil d’information utile qui favorise la communication avec le médecin de famille ou d’autres professionnels de la santé. Les IPO soutiennent sa valeur ajoutée à la fin du traitement et soulignent que la discussion du contenu du PSS fait ressortir des éléments de surveillance et de suivi essentiels à prendre en compte pour la phase de survie et permet de mettre l’emphase sur l’autogestion de sa santé. Pour les médecins de famille, le PSS est un outil d’information pour les survivantes qui favorise la réassurance, la communication et la continuité des soins entre professionnels de la santé. Enfin, pour ce qui est de l’utilité du PSS à répondre aux besoins globaux, les résultats suggèrent que l’ensemble des besoins sont plus satisfaits trois mois après la fin des traitements pour le groupe ayant reçu un PSS. Bien que la peur de récidive du cancer (PRC) s’améliore au suivi de trois mois pour le groupe exposé au PSS, 55% des FACE conservent un score cliniquement significatif de 13 à la sous-échelle de sévérité de peur de récidive à la fin du traitement et 42% au suivi de trois mois. Les comportements d’autogestion de santé s’améliorent entre la fin du traitement et le suivi de trois mois pour le groupe exposé un PSS. Considérant ces résultats, la démarche soutient la pertinence de mettre en place un PSS à la fin du traitement actif pour les FACE pour répondre à des besoins d’information, favoriser la communication et la continuité des soins avec les professionnels de la santé et les comportements d’autogestion de santé dans la phase de survie. Cependant, des contraintes de temps, de ressources et de coordination doivent être prises en compte pour sa mise en place dans le milieu clinique. Mots-clés : Transition, fin du traitement actif, besoins, survie au cancer, plan de soins de suivi.

Analyse comparative du fonctionnement sensori-moteur chez des déficients profonds en fonction de la présence ou de l'absence de troubles lésionnels

Grâce à l'élaboration de sa théorie opératoire du développement cognitif, Jean Piaget fut, sans contredit, l'un des auteurs les plus écoutés dans ce domaine. Il a mis en lumière une série de stades du développement cognitif allant du niveau sensori-moteur en passant par le niveau des opérations concrètes pour finalement aboutir à celui des opérations formelles qui obéissent à des lois précises de construction (Piaget, 1964). Parmi celles-ci, Piaget affirme l'universalité du développement de ces stades en ce sens que tous les sujets passent par la même séquence. Il s'est très peu intéressé aux différences inter-individuelles. Ce qui explique que la très grande majorité de ses travaux ont portés sur l'observation de sujets normaux (Inhelder, 1963). Ce fut donc d'autres chercheurs qui ont tenté d'appliquer la pensée piagétienne à des catégories précises de sujets. Dans cette veine, la présente recherche s'intéresse à l'application de cette pensée aux déficients profonds. C'est là un moyen utile de tester l'universalité de la séquence de développement proposée par Piaget. Le relevé de documentation sur cette question proposée par Klein et Safford (1977) permet de constater qu'il est relativement aisé de trouver des recherches s’intéressant à l'étude du fonctionnement cognitif des déficients mentaux légers atteignant la période des opérations concrètes mais qu'il est beaucoup plus difficile d'en trouver qui s'attardent au fonctionnement cognitif des déficients profonds. Il est pourtant possible d'en trouver quelques-unes (Ciccheti et Sroufe, 1976; Inhelder, 1963; Kahn, 1976; Lambert et Vanderlinden, 1977; Rogers, 1977; Silverstein et al., 1975; Wohlueter et Sindberg, 1975; Woodward, 1959). Les résultats divergent. De plus, une analyse approfondie des méthodologies utilisées suffit à convaincre que le débat demeure ouvert sur cette question. Des améliorations méthodologiques sont apportées dans cette recherche. La présente étude analyse donc le fonctionnement sensori-moteur des déficients profonds en le comparant à celui de sujets normaux de même âge mental qu'eux. Les déficients mentaux sont divisés en deux groupes selon qu'il y ait ou non présence de trouble lésionnel. Tous les sujets font face aux items de l'échelle de la poursuite visuelle et de la permanence de l'objet ainsi que celle des relations entre les objets dans l'espace construits par Uzgiris et Hunt (1975). Les résultats sont ensuite tour à tour présentés et interprétés.

Apport de la mesure de la pression artérielle centrale ambulatoire dans la caractérisation phénotypique de la démence de type Alzheimer

Dans les pays développés, la prévalence des démences est de 5% chez les plus de 65ans et doublerait pour chaque tranche d'âge de 10 ans. Avec le vieillissement de la population, le nombre de personnes atteintes de démence augmente chaque année, ce qui pose le problème de trouver rapidement des thérapies et mesures de prévention efficaces. Il est connu que l'hypertension artérielle (HTA) est un facteur de risque pour certaines démences. De plus, de récentes études démontrent que la pression artérielle centrale serait un marqueur hémodynamique plus représentatif des lésions causées au cerveau, dues à une HTA, que la pression périphérique usuellement mesurée. Il serait donc intéressant d'évaluer si la démence est associée à une augmentation de la pression artérielle centrale, en comparaison avec des patients hypertendus non déments. But de l'étude : Cette étude a pour but de quantifier l'apport de la mesure de la pression artérielle centrale ambulatoire dans la caractérisation des patients avec une démence de type Alzheimer. L'objectif principal est de déterminer la taille de la différence de pression artérielle centrale et son écart-­‐type entre les patients hypertendus avec ou sans démence de type Alzheimer afin de pouvoir calculer le nombre de patients nécessaire pour montrer une différence significative. Dans cette étude, nous allons tester l'hypothèse que la pression artérielle centrale (moyenne, systolique et diastolique) est plus élevée chez les patients atteints de troubles cognitifs et/ou qu'ils présentent des perturbations du rythme circadien plus marquées, notamment pour les valeurs durant le sommeil, (non-­‐dipping, reverse dipping, extreme dipping).

Analyse des déplacements permanents des barrages en remblai et en enrochement par des méthodes pseudo-dynamiques pour l’est du Canada

Le projet de recherche a été réalisé dans le but premier de mettre à niveau, d’adapter et de rendre opérationnelle la méthode de Newmark pour les types de barrages et les types de séismes habituellement rencontrés au Québec. Pour ce faire, une Banque de Signaux Sismiques pour l’Est du Canada (BDSSEC), contenant 451 accélérogrammes, a été produite de même qu’un code de calcul permettant de calculer les déplacements permanents, par double intégration numérique, selon la méthode de Newmark. À partir d’analyses statistiques, des modèles prédictifs applicables au contexte sismologique de l’Est canadien ont été développés en considérant un comportement rigide-plastique (méthode dite du « bloc rigide ») et un comportement viscoélastique linéaire équivalent (méthode dite « flexible »). La comparaison entre le nouveau modèle rigide-plastique pour l’Est avec ceux existants développés à partir de signaux de l’Ouest américain a montré que les déplacements permanents évalués pour l’Est peuvent être significativement inférieurs à ceux de l’Ouest pour des magnitudes et des distances épicentrales comparables compte tenu de leur contenu fréquentiel plus fort en hautes fréquences. Le modèle prédictif flexible a montré qu’il pouvait prédire des déplacements permanents du même ordre de grandeur que Makdisi et Seed (1977) et de Rathje et Antonakos (2011). Les déplacements permanents sont amplifiés par la méthode flexible comparativement à la méthode rigide principalement lorsque le ratio entre la période prédominante de l’ouvrage et la période moyenne de la sollicitation se situe autour de 1. Le second but consistait à tester l’applicabilité de la méthode du bruit de fond ambiant (H/V) comme outil expérimental pour estimer la période prédominante des barrages en remblai et en enrochement (Tp). Les études comparatives ont montré, de façon générale, une bonne concordance entre les calculs analytiques et les mesures expérimentales tant et aussi longtemps que les hypothèses à la base des modèles sont respectées.

La coopérative d’épargne et de crédit : une alternative aux systèmes financiers informels dans le monde rural des pays du tiers-monde : contexte et cas

[…] L'objectif visé est de faire une synthèse des connaissances accumulées sur les systèmes financiers informels du monde rural dans les pays du tiers-monde. Nous procéderons en deuxième lieu à l'application du modèle des coopératives d'épargne et de crédit comme alternative aux circuits financiers informels présents dans les économies à faible revenu. Enfin par l'analyse sommaire d'une C.E.C. située en milieu rural haïtien nous tenterons de justifier notre hypothèse de recherche. Dans cette étude, nous posons l'hypothèse que la coopérative d'épargne et de crédit, lorsqu'elle répond à certaines conditions de base, serait une réelle alternative aux systèmes financiers informels dans le monde rural des pays du tiers-monde. Il serait prétentieux de vouloir décrire tous les systèmes financiers informels rencontrés dans le monde rural des pays du tiers-monde. Aussi en vue de circonscrire le champ de notre étude nous nous sommes limités à analyser le cadre général de l’intermédiation financière dans un échantillon de quelques pays en développement appartenant à trois continents soit l'Afrique, l'Asie et l'Amérique Latine, couvrant les secteurs formel et informel en milieu rural. Dans le but d'atténuer le dualisme financier et son incidence sur le développement, nous proposons comme alternative aux systèmes financiers informels, la formule coopérative. Considérant qu'il y a autant de modèle coopératif de développement qu'il y a de contexte culturel, il nous a semblé important de relever les principales conditions de base pouvant assurer le succès d'une telle intégration. Nous avons choisi de tester la faisabilité de notre choix à travers un cas particulier qui est celui d'une C.E.C. située en milieu semi-rural à 104 Km de la Capitale dans le Département du Sud-Est d'Haïti. […]

Développement, validation et nouvelles applications d’un modèle d’analyse des modes normaux basé sur la séquence et la structure de protéines

Les protéines existent sous différents états fonctionnels régulés de façon précise par leur environnement afin de maintenir l‘homéostasie de la cellule et de l‘organisme vivant. La prévalence de ces états protéiques est dictée par leur énergie libre de Gibbs alors que la vitesse de transition entre ces états biologiquement pertinents est déterminée par le paysage d‘énergie libre. Ces paramètres sont particulièrement intéressants dans un contexte thérapeutique et biotechnologique, où leur perturbation par la modulation de la séquence protéique par des mutations affecte leur fonction. Bien que des nouvelles approches expérimentales permettent d‘étudier l‘effet de mutations en haut débit pour une protéine, ces méthodes sont laborieuses et ne couvrent qu‘une fraction de l‘ensemble des structures primaires d‘intérêt. L‘utilisation de modèles bio-informatiques permet de tester et générer in silico différentes hypothèses afin d‘orienter les approches expérimentales. Cependant, ces méthodes basées sur la structure se concentrent principalement sur la prédiction de l‘enthalpie d‘un état, alors que plusieurs évidences expérimentales ont démontré l‘importance de la contribution de l‘entropie. De plus, ces approches ignorent l‘importance de l‘espace conformationnel protéique dicté par le paysage énergétique cruciale à son fonctionnement. Une analyse des modes normaux peut être effectuée afin d‘explorer cet espace par l‘approximation que la protéine est dans une conformation d‘équilibre où chaque acide aminé est représenté par une masse régie par un potentiel harmonique. Les approches actuelles ignorent l‘identité des résidus et ne peuvent prédire l‘effet de mutations sur les propriétés dynamiques. Nous avons développé un nouveau modèle appelé ENCoM qui pallie à cette lacune en intégrant de l‘information physique et spécifique sur les contacts entre les atomes des chaînes latérales. Cet ajout permet une meilleure description de changements conformationnels d‘enzymes, la prédiction de l‘effet d‘une mutation allostérique dans la protéine DHFR et également la prédiction de l‘effet de mutations sur la stabilité protéique par une valeur entropique. Comparativement à des approches spécifiquement développées pour cette application, ENCoM est plus constant et prédit mieux l‘effet de mutations stabilisantes. Notre approche a également été en mesure de capturer la pression évolutive qui confère aux protéines d‘organismes thermophiles une thermorésistance accrue.

Fungal contamination in one hotel room: Does carpet coating in the floor enhance fungal contamination?

Study developed in order to know the carpet influence when used in the floor of a hotel room. Twelve air samples of 250L (six in a room with carpet and six more in a room with wood floor) were collected through an impaction method with a flow rate of 140 L/min onto malt extract agar (MEA) supplemented with chloramphenicol (0.05%), using the Millipore air Tester (Millipore), during cleaning activities. Outdoor sample was also performed to be used as a reference. Surface samples from floor and desks, taken at the same time, were collected by the swabbing method. to 7 days. Besides fungal contamination, we also assessed particulate matter contamination in both rooms during the same cleaning tasks. In the analyzed sur- faces, isolates belonging to Aspergillus fumigatus complex were the only fungi found in the carpeted room, whereas in the other room we found Penicllium sp. (63.6%) and Aspergillus sp. (13.6%) as the most frequent genera. In the case of particles the room with carpet obtained significant higher values for both metrics (PMC and PNC), showing that carpet may has influence on particles’ contamination of the room.

Confiance interethnique : le cas de l’Afrique

Dans ce mémoire, nous traitons du concept de confiance interethnique. Dans notre étude nous entendons par ethnique le caractère qui est propre à une ethnie. L’ethnie est donc un ensemble d’individus qui rapproche un certain nombre de caractéristiques notamment la langue et la culture. Dans notre étude, nous utilisons la base de données de l’Afrobaromètre, dans laquelle individus se définissent eux-mêmes dans un groupe ethnique. La confiance interethnique est la relation de confiance entre deux individus de groupes ethniques différents. L’objectif du mémoire est de faire ressortir à la fois les déterminants de la confiance interethnique ainsi que de faire ressortir les conséquences de la confiance interethnique sur le bien-être en Afrique. Le choix du continent africain est pertinent compte tenu du sous-développement des économies ainsi que de la haute fragmentation ethnolinguistique . L’indice de fragmentation ethnolinguistique mesure la probabilité que deux individus sélectionnés au hasard d’un même groupe se retrouvent dans deux groupes ethnolinguistiques différents . Nous utilisons la base de données de l’Afrobaromètre pour tester les différentes théories émises par la littérature sur les déterminants et les conséquences de la confiance interethnique. Par contre, cette relation comporte un problème potentiel d’endogénéité. En effet, nous pouvons croire que la confiance interethnique affecte le bien-être et vice et versa. Pour contrer ce problème, l’utilisation de variables instrumentales est requise. Quelques variables instrumentales sont donc testées dans cette étude. Les résultats de cette étude mettent en évidence l’importance de l’utilisation des variables instrumentales et démontrent l’importance de l’architecture politique, démographique et ethnique dans la relation entre le bien-être et la confiance interethnique.

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.