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.

Effets motivationnels des cannabinoïdes dans un modèle animal de la schizophrénie

Depuis quelques décennies, la consommation de cannabis et son usage thérapeutique sont le sujet de nombreux débats. Le cannabis est la drogue illicite la plus consommée au monde et cette consommation se trouve dix fois plus élevée chez les patients atteints de schizophrénie que dans la population générale. L’hypothèse d’une automédication initialement proposée afin d’expliquer la consommation élevée de cannabis chez les patients atteints de schizophrénie est maintenant remise en question. En effet, les rapports indiquant une aggravation des symptômes plutôt qu’une amélioration suite à une consommation à long terme sont de plus en plus nombreux. Sachant que le cannabis peut induire des effets soit plaisants soit aversifs, la question se pose à savoir si une prédominance de la valence motivationnelle positive ou une diminution de la valence négative du cannabis peut expliquer la consommation élevée parmi les individus ayant un diagnostic de schizophrénie? Bien qu’un grand nombre de recherches pré-cliniques aient été menées chez l’animal normal pour évaluer l’effet motivationnel du Δ9-tétrahydrocannabinol (THC) et autres cannabinoïdes synthétiques, aucune n’a abordé cette problématique dans un modèle animal de la schizophrénie. Cette lacune nous a donc amené à étudier la valence motivationnelle du THC et de l’agoniste cannabinoïde WIN55,212-2 (WIN) dans un modèle animal de la schizophrénie: la lésion néonatale de l’hippocampe ventral (NVHL). Dans le premier article, nous présentons les résultats de quatre expériences. Une première avait pour objectif de déterminer si la procédure expérimentale que nous avons utilisée permettait de reproduire des signes distinctifs du modèle animal de la schizophrénie. Par la suite, nous avons évalué i) l’effet d’une dose de WIN sur l’activité locomotrice spontanée et ii) la valence motivationnelle du THC (0.5 mg/kg, i.p) et du WIN (1 mg/kg, i.p) chez les rats adolescents (jour post-natal 28-40, PD28-40) et adultes (PD56) au moyen du paradigme de préférence de place conditionnée (PPC). Tel qu’attendu, la réponse locomotrice à l’amphétamine (0.75 et 1.5 mg/kg) chez les rats NVHL adultes était supérieure à celle des rats contrôles (test distinctif du modèle). Le THC a induit une tendance aversive chez les rats contrôles adultes. Enfin, le WIN a stimulé l’activité locomotrice et induit une aversion significative chez les rats adultes NVHL. Dans un deuxième article, nous avons évalué la valence motivationnelle du THC (0.5 mg/kg), du WIN (1 et 3 mg/kg) et l’effet de l’amphétamine au moyen du paradigme d’autostimulation électrique intracérébrale (ASI). Les résultats montrent que : i) l’effet amplificateur de l’amphétamine sur l’ASI était de plus courte durée chez les rats NVHL; ii) le THC produit une légère atténuation de la récompense chez les rats contrôles tandis que le WIN a produit une atténuation plus prononcée de la récompense chez les rats NVHL, un effet qui a été bloqué par l’antagoniste aux récepteurs CB1, le AM251 (3 mg/kg). Pour la première fois les résultats suggèrent une altération du système endocannabinoïde dans un modèle animal de la schizophrénie. Ils indiquent qu’une exposition aigüe conduit à une prédominance de la valence négative. Bien qu’en apparente contradiction avec les études cliniques, ces résultats soulignent l’importance du contexte socio-environnemental pour expliquer les effets du cannabis chez les patients. De plus ils encouragent les futures études à évaluer cette valence sur un modèle d’exposition chronique.

La evaluación objetiva del dibujo técnico en los niveles previos a la Universidad : elaboración y validación de un test gráfico de dibujo técnico.

Pretende ofrecer al profesorado un instrumento rápido y eficaz para elaborar test de distintos niveles para la asignatura de Dibujo Técnico. 305 estudiantes durante 5 cursos escolares 1990/91-1994/95. Se parte de un test base debidamente experimentado cuyas preguntas pueden ser substituidas, con arreglo a los criterios y necesidades del profesorado a lo largo del curso, por otras cuatrocientas preguntas que se presentan ordenadas por temas, niveles de dificultad y de objetivos educacionales. El material gráfico se realizó en un programa CAD.

Analyse d'impact du développement économique des biocarburants au Sénégal : une étude en modèle d'équilibre général calculable.

Dans ce travail, on utilise un MEGC statique pour aborder l'impact du développement des biocarburants sur la croissance économique et sociale au Sénégal. Notre choix d’utiliser un modèle d’équilibre général calculable (MEGC) pour cette étude se justifie par le fait qu’ils sont de nos jours des modèles macroéconomiques particulièrement adaptés à l’étude de politiques structurelles à moyen ou long terme. Le modèle a été développé sur la base du modèle EXTER issu de deux matrices légèrement différentes : l’une reflétant l’économie réelle du Sénégal de 2011 et mise à jour pour 2014 et l’autre étant une matrice hypothétique intégrant les données sur les agrocarburants obtenues à partir des calculs de l’auteure. Le modèle met en exergue les spécificités de l’intégration de ce secteur dans l’économie sénégalaise. Il met plus l’accent sur les secteurs énergivores vu que l’objectif principal étant la réduction de la dépendance énergétique du pays. Deux simulations sont réalisées afin d'effectuer cette analyse : une hausse de l’offre de travail et une subvention accordée aux secteurs des biocarburants comme première simulation et la deuxième simulation reprend la première simulation en y ajoutant une hausse du prix des importations des produits pétroliers. Ainsi, par les mécanismes d’équilibre général, les résultats nous montrent une évolution des agrégats macroéconomiques dans leur ensemble dans les deux simulations. Cependant, sauf dans certains secteurs, en généralité, l’intégration des agrocarburants et leur exploitation avantage beaucoup le pays sur presque tous les secteurs de l’économie.

Avaliação da qualidade de serviço

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Gestão da Qualidade.

Avaliação da Qualidade de Serviço Percebida e da Satisfação dos Clientes

Tese apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Empresariais, especialidade em Gestão

A dynamic sequential route choice model for micro-simulation

Dans les études sur le transport, les modèles de choix de route décrivent la sélection par un utilisateur d’un chemin, depuis son origine jusqu’à sa destination. Plus précisément, il s’agit de trouver dans un réseau composé d’arcs et de sommets la suite d’arcs reliant deux sommets, suivant des critères donnés. Nous considérons dans le présent travail l’application de la programmation dynamique pour représenter le processus de choix, en considérant le choix d’un chemin comme une séquence de choix d’arcs. De plus, nous mettons en œuvre les techniques d’approximation en programmation dynamique afin de représenter la connaissance imparfaite de l’état réseau, en particulier pour les arcs éloignés du point actuel. Plus précisément, à chaque fois qu’un utilisateur atteint une intersection, il considère l’utilité d’un certain nombre d’arcs futurs, puis une estimation est faite pour le restant du chemin jusqu’à la destination. Le modèle de choix de route est implanté dans le cadre d’un modèle de simulation de trafic par événements discrets. Le modèle ainsi construit est testé sur un modèle de réseau routier réel afin d’étudier sa performance.

Les grelots mésoaméricains : sons et couleurs du pouvoir?

Ce mémoire prend la forme d’une réflexion critique sur le modèle proposé par Hosler afin d’expliquer les taux quantifiés d’étain et d’arsénique dans des objets de statut métalliques Mésoaméricains provenant principalement de l’Occident mésoaméricain et couvrant les deux phases de développement de la métallurgie mésoaméricaine. Ces objets font partie de la collection du Museo Regional de Guadalajara. Plus particulièrement, ce mémoire s’intéresse aux grelots mésoaméricains puisqu’ils représentent un élément important de la métallurgie préhispanique en Mésoamérique. Cette réflexion critique soulève plusieurs considérations techniques, méthodologiques, étymologiques, iconographiques, ethnohistoriques et logiques du modèle de Hosler relativement à la couleur des alliages constituant les grelots mésoaméricains. Les paramètres sur lesquels Hosler base son modèle sont questionnables à plusieurs niveaux. Ainsi, le fait que les niveaux d’arsenic ou d’étain observés dans les alliages cupriques de biens utilitaires sont généralement inférieurs à ceux quantifiés dans les alliages cupriques usités pour la fabrication de biens de statut de la Période 2 pourrait s’expliquer par le fait qu’il s’agit de deux méthodes de fabrication distinctes ayant des contraintes techniques différentes ou que ces artéfacts ont des paramètres et des fonctions distinctes. Les limites de l’association soleil-or, lune-argent y sont également exposées et un chapitre est consacré à la sonorité.

Optimisation de l’administration des médicaments chez les enfants transplantés grâce à la pharmacocinétique de population

Ce travail de thèse porte sur l’application de la pharmacocinétique de population dans le but d’optimiser l’utilisation de certains médicaments chez les enfants immunosupprimés et subissant une greffe. Parmi les différents médicaments utilisés chez les enfants immunosupprimés, l’utilisation du busulfan, du tacrolimus et du voriconazole reste problématique, notamment à cause d’une très grande variabilité interindividuelle de leur pharmacocinétique rendant nécessaire l’individualisation des doses par le suivi thérapeutique pharmacologique. De plus, ces médicaments n’ont pas fait l’objet d’études chez les enfants et les doses sont adaptées à partir des adultes. Cette dernière pratique ne prend pas en compte les particularités pharmacologiques qui caractérisent l’enfant tout au long de son développement et rend illusoire l’extrapolation aux enfants des données acquises chez les adultes. Les travaux effectués dans le cadre de cette thèse ont étudié successivement la pharmacocinétique du busulfan, du voriconazole et du tacrolimus par une approche de population en une étape (modèles non-linéaires à effets mixtes). Ces modèles ont permis d’identifier les principales sources de variabilités interindividuelles sur les paramètres pharmacocinétiques. Les covariables identifiées sont la surface corporelle et le poids. Ces résultats confirment l’importance de tenir en compte l’effet de la croissance en pédiatrie. Ces paramètres ont été inclus de façon allométrique dans les modèles. Cette approche permet de séparer l’effet de la mesure anthropométrique d’autres covariables et permet la comparaison des paramètres pharmacocinétiques en pédiatrie avec ceux des adultes. La prise en compte de ces covariables explicatives devrait permettre d’améliorer la prise en charge a priori des patients. Ces modèles développés ont été évalués pour confirmer leur stabilité, leur performance de simulation et leur capacité à répondre aux objectifs initiaux de la modélisation. Dans le cas du busulfan, le modèle validé a été utilisé pour proposer par simulation une posologie qui améliorerait l’atteinte de l’exposition cible, diminuerait l’échec thérapeutique et les risques de toxicité. Le modèle développé pour le voriconazole, a permis de confirmer la grande variabilité interindividuelle dans sa pharmacocinétique chez les enfants immunosupprimés. Le nombre limité de patients n’a pas permis d’identifier des covariables expliquant cette variabilité. Sur la base du modèle de pharmacocinétique de population du tacrolimus, un estimateur Bayesien a été mis au point, qui est le premier dans cette population de transplantés hépatiques pédiatriques. Cet estimateur permet de prédire les paramètres pharmacocinétiques et l’exposition individuelle au tacrolimus sur la base d’un nombre limité de prélèvements. En conclusion, les travaux de cette thèse ont permis d’appliquer la pharmacocinétique de population en pédiatrie pour explorer les caractéristiques propres à cette population, de décrire la variabilité pharmacocinétique des médicaments utilisés chez les enfants immunosupprimés, en vue de l’individualisation du traitement. Les outils pharmacocinétiques développés s’inscrivent dans une démarche visant à diminuer le taux d'échec thérapeutique et l’incidence des effets indésirables ou toxiques chez les enfants immunosupprimés suite à une transplantation.

Les dimensions négligées de l'évaluation de la performance : les valeurs et la qualité de vie au travail

L’objet de cette thèse est l’élaboration d’un modèle logique de mesure du maintien des valeurs, ainsi que son opérationnalisation afin d’entreprendre l’évaluation de la performance des systèmes de santé. Le maintien des valeurs est l’une des quatre fonctions de la théorie de l’action sociale de T.Parsons permettant d’analyser les systèmes d’action. Les autres fonctions sont l’adaptation, la production et l’atteinte des buts. Cette théorie est la base du modèle EGIPSS (évaluation globale et intégrée de la performance des systèmes de santé), dans lequel cette thèse s’insère. La fonction étudiée correspond, dans l’oeuvre de T.Parsons, au sous-système culturel. Elle renvoie à l’intangible, soit à l’univers symbolique par lequel l’action prend son sens et les fonctions du système s’articulent. Le modèle logique de mesure du maintien des valeurs est structuré autour de deux concepts principaux, les valeurs individuelles et organisationnelles et la qualité de vie au travail. À travers les valeurs individuelles et organisationnelles, nous mesurons la hiérarchie et l’intensité des valeurs, ainsi que le niveau de concordance interindividuelle et le degré de congruence entre les valeurs individuelles et organisationnelles. La qualité de vie au travail est composée de plusieurs concepts permettant d’analyser et d’évaluer l’environnement de travail, le climat organisationnel, la satisfaction au travail, les réactions comportementales et l’état de santé des employés. La mesure de ces différents aspects a donné lieu à la conception de trois questionnaires et de trente indicateurs. Ma thèse présente, donc, chacun des concepts sélectionnés et leurs articulations, ainsi que les outils de mesure qui ont été construits afin d’évaluer la dimension du maintien des valeurs. Enfin, nous exposons un exemple d’opérationnalisation de ce modèle de mesure appliqué à deux hôpitaux dans la province du Mato Grosso du Sud au Brésil. Cette thèse se conclut par une réflexion sur l’utilisation de l’évaluation comme outil de gestion soutenant l’amélioration de la performance et l’imputabilité. Ce projet comportait un double enjeu. Tout d’abord, la conceptualisation de la dimension du maintien des valeurs à partir d’une littérature abondante, mais manquant d’intégration théorique, puis la création d’outils de mesure permettant de saisir autant les aspects objectifs que subjectifs des valeurs et de la qualité de vie au travail. En effet, on trouve dans la littérature de nombreuses disciplines et de multiples courants théoriques tels que la psychologie industrielle et organisationnelle, la sociologie, les sciences infirmières, les théories sur le comportement organisationnel, la théorie des organisations, qui ont conçu des modèles pour analyser et comprendre les perceptions, les attitudes et les comportements humains dans les organisations. Ainsi, l’intérêt scientifique de ce projet découle de la création d’un modèle dynamique et intégrateur offrant une synthèse des différents champs théoriques abordant la question de l’interaction entre les perceptions individuelles et collectives au travail, les conditions objectives de travail et leurs influences sur les attitudes et les comportements au travail. D’autre part, ce projet revêt un intérêt opérationnel puisqu’il vise à fournir aux décideurs du système de santé des connaissances et données concernant un aspect de la performance fortement négligé par la plupart des modèles internationaux d’évaluation de la performance.

Prédiction de la violation d’un seuil de 400 000 cellules/mL au réservoir de lait à l’aide du portrait et de la dynamique de santé du pis des troupeaux laitiers québécois

Avec la mise en place de la nouvelle limite maximale de 400 000 cellules somatiques par millilitres de lait (c/mL) au réservoir, le mois d’août 2012 a marqué une étape importante en termes de qualité du lait pour les producteurs de bovins laitiers du Canada. L’objectif de cette étude consistait en l’établissement d’un modèle de prédiction de la violation de cette limite au réservoir à l’aide des données individuelles et mensuelles de comptages en cellules somatiques (CCS) obtenues au contrôle laitier des mois précédents. Une banque de donnée DSA comprenant 924 troupeaux de laitiers québécois, en 2008, a été utilisée pour construire un modèle de régression logistique, adapté pour les mesures répétées, de la probabilité d’excéder 400 000 c/mL au réservoir. Le modèle final comprend 6 variables : le pointage linéaire moyen au test précédent, la proportion de CCS > 500 000 c/mL au test précédent, la production annuelle moyenne de lait par vache par jour, le nombre de jours en lait moyen (JEL) au test précédent ainsi que les proportions de vaches saines et de vaches infectées de manière chronique au test précédant. Le modèle montre une excellente discrimination entre les troupeaux qui excèdent ou n’excèdent pas la limite lors d’un test et pourrait être aisément utilisé comme outil supplémentaire de gestion de la santé mammaire à la ferme.

Aplicação da parafina e do óleo de linhaça como hidrofobizantes da vermiculita, para remoção de derivados de óleo diesel resentes em água produzida sintética

Produced water has lately aroused interest due to their high degree of salinity, suspended oil particles, chemicals added in various manufacturing processes, heavy metals and radioactivity sometimes. Along with oil and due to its high volume production, water production is one of the pollutants of most concern in the process of oil extraction. PAHs due to their ubiquity and their characteristics carcinogenic or mutagenic and teratogenic even have attracted the attention of every scientific society. Formed from the incomplete combustion of organic matter may be natural or anthropogenic. Some materials have been researched with the goal of cleaning up environmental matrices that may be contaminated by hydrocarbons. Among these materials researched various clays have been employed, of which highlights the vermiculite. The family of phyllosilicates, vermiculite for its potential and its high hydrophobic surface area has been a tool widely used in the decontamination of water in processes of oil spills. However, when it loses its capacity expanded hydrophobic having the necessity of using a hidrofobizante to make it organophilic. Among the numerous hidrofobizantes researched and used the linseed oil was the pioneer. In this study sought to evaluate the capacity of removal of PAHs using the vermiculite hydrofobized with linseed oil and wax also, for it was made use of the 24 full factorial design as the main tool for the experiments. We also evaluated the clay grain size (-20 +48 and -48 +80 #), the percentage of hidrofobizante applied (5 and 10%) and salinity of the water produced synthesized in our laboratory (35,000 and 55,000 ppm). The molecular fluorescence spectroscopy due to its sensitivity and speed was used to verify the adsorption capacity of clay, as well as gas chromatography served as an auxiliary technique to identify and quantify the PAHs in solution. In order to characterize the vermiculite was made use of X-ray fluorescence and X-ray diffraction. The infrared and thermogravimetry were essential to note hydrophobization and the amount of coating of clay. According to the fluorescence analysis showed that the test 12 was the best result in about 98% adsorption of fluorescent compounds, however the high salinity, the smallest particle size, the highest percentage of hidrofobizante and the use of linseed oil showed greater efficiency in the removal capacity of these hydrocarbons, in accordance with the trend followed by the analysis of the major factors of the factorial design. To verify the adsorption capacity of clay using a fixed volume of water produced synthetically, used as the test base 12, at their respective levels and factors. Thus, it was observed that after adding about 1 ½ liters of water solution produced synthetically, about 300 times its volume in mass, the vermiculite was able to adsorb 80% of fluorescent species present in solution

Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Bayesian nonparametric latent variable models

L’un des problèmes importants en apprentissage automatique est de déterminer la complexité du modèle à apprendre. Une trop grande complexité mène au surapprentissage, ce qui correspond à trouver des structures qui n’existent pas réellement dans les données, tandis qu’une trop faible complexité mène au sous-apprentissage, c’est-à-dire que l’expressivité du modèle est insuffisante pour capturer l’ensemble des structures présentes dans les données. Pour certains modèles probabilistes, la complexité du modèle se traduit par l’introduction d’une ou plusieurs variables cachées dont le rôle est d’expliquer le processus génératif des données. Il existe diverses approches permettant d’identifier le nombre approprié de variables cachées d’un modèle. Cette thèse s’intéresse aux méthodes Bayésiennes nonparamétriques permettant de déterminer le nombre de variables cachées à utiliser ainsi que leur dimensionnalité. La popularisation des statistiques Bayésiennes nonparamétriques au sein de la communauté de l’apprentissage automatique est assez récente. Leur principal attrait vient du fait qu’elles offrent des modèles hautement flexibles et dont la complexité s’ajuste proportionnellement à la quantité de données disponibles. Au cours des dernières années, la recherche sur les méthodes d’apprentissage Bayésiennes nonparamétriques a porté sur trois aspects principaux : la construction de nouveaux modèles, le développement d’algorithmes d’inférence et les applications. Cette thèse présente nos contributions à ces trois sujets de recherches dans le contexte d’apprentissage de modèles à variables cachées. Dans un premier temps, nous introduisons le Pitman-Yor process mixture of Gaussians, un modèle permettant l’apprentissage de mélanges infinis de Gaussiennes. Nous présentons aussi un algorithme d’inférence permettant de découvrir les composantes cachées du modèle que nous évaluons sur deux applications concrètes de robotique. Nos résultats démontrent que l’approche proposée surpasse en performance et en flexibilité les approches classiques d’apprentissage. Dans un deuxième temps, nous proposons l’extended cascading Indian buffet process, un modèle servant de distribution de probabilité a priori sur l’espace des graphes dirigés acycliques. Dans le contexte de réseaux Bayésien, ce prior permet d’identifier à la fois la présence de variables cachées et la structure du réseau parmi celles-ci. Un algorithme d’inférence Monte Carlo par chaîne de Markov est utilisé pour l’évaluation sur des problèmes d’identification de structures et d’estimation de densités. Dans un dernier temps, nous proposons le Indian chefs process, un modèle plus général que l’extended cascading Indian buffet process servant à l’apprentissage de graphes et d’ordres. L’avantage du nouveau modèle est qu’il admet les connections entres les variables observables et qu’il prend en compte l’ordre des variables. Nous présentons un algorithme d’inférence Monte Carlo par chaîne de Markov avec saut réversible permettant l’apprentissage conjoint de graphes et d’ordres. L’évaluation est faite sur des problèmes d’estimations de densité et de test d’indépendance. Ce modèle est le premier modèle Bayésien nonparamétrique permettant d’apprendre des réseaux Bayésiens disposant d’une structure complètement arbitraire.