Implantation des futures sur un système distribué par passage de messages

Ce mémoire présente une implantation de la création paresseuse de tâches desti- née à des systèmes multiprocesseurs à mémoire distribuée. Elle offre un sous-ensemble des fonctionnalités du Message-Passing Interface et permet de paralléliser certains problèmes qui se partitionnent difficilement de manière statique grâce à un système de partitionnement dynamique et de balancement de charge. Pour ce faire, il se base sur le langage Multilisp, un dialecte de Scheme orienté vers le traitement parallèle, et implante sur ce dernier une interface semblable à MPI permettant le calcul distribué multipro- cessus. Ce système offre un langage beaucoup plus riche et expressif que le C et réduit considérablement le travail nécessaire au programmeur pour pouvoir développer des programmes équivalents à ceux en MPI. Enfin, le partitionnement dynamique permet de concevoir des programmes qui seraient très complexes à réaliser sur MPI. Des tests ont été effectués sur un système local à 16 processeurs et une grappe à 16 processeurs et il offre de bonnes accélérations en comparaison à des programmes séquentiels équiva- lents ainsi que des performances acceptables par rapport à MPI. Ce mémoire démontre que l’usage des futures comme technique de partitionnement dynamique est faisable sur des multiprocesseurs à mémoire distribuée.

Féministe musulmane engagée au Québec : stratégies identitaires et paradoxes politiques : le cas de Salwa, ni kamikaze, ni soumise

À travers l’étude du cas de Salwa, féministe musulmane engagée au Québec, ce mémoire a pour objectif de relever divers facteurs qui contraignent et orientent l’engagement politique d’une féministe musulmane en contexte occidental. Si nous avions au départ postulé que l’intersection de ses identités de « femme » et de « musulman(e) », deux catégories hiérarchiques1 qui nous semblaient alors centrales dans l’élaboration de notre problématique, entraînerait chez Salwa divers paradoxes politiques en raison des tensions existant entre le féminisme et le multiculturalisme dans les démocraties occidentales, l’analyse de la gestion identitaire de ces paradoxes politiques chez Salwa, par notre approche interdisciplinaire et intersectionnelle, a révélé l’existence d’une multitude d’identités non hiérarchiques revendiquées - mais occultées au niveau politique par ce même contexte – qui remet en question la centralité de ces catégories de « femme » et de « musulman(e) ». Ainsi, si nous croyions que le contexte énoncé pouvait orienter l’engagement politique des féministes musulmanes dans un sens réducteur en exigeant d’elles qu’elle priorisent, malgré leur identité de femme et de musulmane, un axe de lutte, entre le sexisme et le racisme, nous voyons qu’une prise en compte, même intersectionnelle, des seuls axes d’oppression interagissant dans la construction de l’identité politique d’un individu peut être tout aussi réductrice. Si l’approche intersectionnelle veut arriver à 1 Nous qualifions ces catégories de « hiérarchiques » en ce qu’elles sont présentées dans notre problématique comme des catégories relationnelles co-construites au sein de rapports sociaux inégalitaires dans un ordre social hiérarchique, en opposition à des catégories « non hiérarchiques » que la théorie et/ou l’empirie ne problématise(nt) pas comme hiérarchiques pour le cas spécifique qui nous intéresse. ii prendre en compte l’imbrication des axes d’oppression agissant simultanément chez un même individu, elle doit aussi prendre en compte la façon dont le contexte occulte l’interaction des identités hiérarchiques et non hiérarchiques en réduisant l’individu à son ou ses axe(s) d’oppression présumé(s).

La dimension humaine des enjeux environnementaux dans un bassin versant au Brésil

RÉSUMÉ La richesse en ressources naturelles est une source de développement économique et social, mais peut également constituer un facteur de dégradation environnementale et de problèmes pour la santé humaine. Les systèmes techniques de gestion des ressources naturelles ne sont pas suffisants pour apporter des solutions à tous les problèmes environnementaux. Mises à part les catastrophes naturelles, c'est l'intervention humaine qui cause la grande majorité des problèmes environnementaux. C'est pour comprendre cette dynamique entre les facteurs naturels et les facteurs économiques, sociaux, politiques, culturels et psychosociologiques que nous avons choisi de centrer cette thèse sur la dimension humaine des problèmes environnementaux – ce qui implique l'analyse des dimensions psychosociologiques et sociales entourant les problèmes environnementaux. Pour une gestion efficace des ressources naturelles, il nous faut donc comprendre l'action humaine, ses motivations et ses contraintes, ses orientations de valeurs et ses croyances, qui orientent les perceptions, les attitudes et les comportements humains par rapport à leur environnement. Pour ce faire, l’étude de valeurs, attitudes, croyances et comportements passe par l’examen attentif des concepts et de leurs définitions, ainsi que par l’analyse des diverses « dimensions » auxquelles chacun des concepts fait référence. Cette thèse porte justement sur les relations entre les valeurs, les croyances, les attitudes et les comportements humains par rapport aux problèmes environnementaux. Pour ce faire, nous avons utilisé un sondage auprès de 1800 répondants, habitants de la région du bassin versant de la Rio das Velhas, située dans la province du Minas Gerais, au Brésil.

Évaluation de stratégies pour améliorer l'observance de la biosécurité sur les fermes avicoles au Québec

La problématique de l’observance de la biosécurité est présente dans tous les types de production. Il est essentiel de définir des stratégies pour améliorer l’application des mesures de biosécurité. Cette étude décrit l’application des mesures de biosécurité à l’entrée et à la sortie de 24 bâtiments d’élevages avicoles au Québec, Canada. L’effet des audits et de caméras visibles sur l’observance a été étudié, de même que les déterminants de l’observance. De plus, la relation entre l’observance et les profils de personnalité, l’expérience et l’éducation a été décrite. L’application des mesures de biosécurité a été évaluée à l’aide de caméras cachées. L’observance à court terme (deux premières semaines) et à moyen terme (six mois plus tard) a été déterminée. Basés sur les résultats du groupe contrôle, 44 différentes erreurs lors de l’application des mesures de biosécurité ont été observées à l’entrée et la sortie des bâtiments. La plupart étaient reliées à la délimitation des zones (propre versus contaminée). La nature et la fréquence des erreurs suggèrent un manque de compréhension des principes associés aux mesures de biosécurité. Le visionnement des vidéos a révélé 3055 visites par 277 individus différents (136 employés, 123 visiteurs, 3 superviseurs et 15 éleveurs). Les résultats ont démontré que les audits n’avaient pas d’impact sur l’observance des employés. Les caméras visibles ont eu un impact, à court terme, sur le port de bottes et le respect des zones durant la visite. Par contre, six mois plus tard, l’observance avait significativement diminué, au point de ne plus être statistiquement plus élevée que le groupe contrôle. La durée et le moment de la visite, la présence de l’éleveur ou d’un observateur, la conception de l’entrée, le nombre de bâtiments, le nombre de mesures de biosécurité exigé, le type de bottes, le genre et être membre de la famille de l’éleveur étaient significativement associés à l’observance de certaines mesures. Finalement, trois traits de la personnalité étaient associés à l’observance: responsabilité, orienté vers l’action et complexité, de même que le nombre d’années d’expérience et le niveau d’éducation. Il est nécessaire d’améliorer la formation en matière de biosécurité en fournissant du matériel de formation à tous les intervenants qui démontrent pourquoi et comment appliquer les mesures de biosécurité. La formation continue devrait également aborder les problématiques reliées aux caractéristiques de visites et de fermes. Améliorer la conception des entrées de bâtiments devrait contribuer à augmenter et à maintenir l’observance. L’identification de traits de personnalité associés à l’observance peut avoir des implications sur la sélection des candidats à l’embauche ou sur l’attribution de tâches et sur la planification des programmes de formation.

Approche efficace pour la conception des architectures multiprocesseurs sur puce électronique

Les systèmes multiprocesseurs sur puce électronique (On-Chip Multiprocessor [OCM]) sont considérés comme les meilleures structures pour occuper l'espace disponible sur les circuits intégrés actuels. Dans nos travaux, nous nous intéressons à un modèle architectural, appelé architecture isométrique de systèmes multiprocesseurs sur puce, qui permet d'évaluer, de prédire et d'optimiser les systèmes OCM en misant sur une organisation efficace des nœuds (processeurs et mémoires), et à des méthodologies qui permettent d'utiliser efficacement ces architectures. Dans la première partie de la thèse, nous nous intéressons à la topologie du modèle et nous proposons une architecture qui permet d'utiliser efficacement et massivement les mémoires sur la puce. Les processeurs et les mémoires sont organisés selon une approche isométrique qui consiste à rapprocher les données des processus plutôt que d'optimiser les transferts entre les processeurs et les mémoires disposés de manière conventionnelle. L'architecture est un modèle maillé en trois dimensions. La disposition des unités sur ce modèle est inspirée de la structure cristalline du chlorure de sodium (NaCl), où chaque processeur peut accéder à six mémoires à la fois et où chaque mémoire peut communiquer avec autant de processeurs à la fois. Dans la deuxième partie de notre travail, nous nous intéressons à une méthodologie de décomposition où le nombre de nœuds du modèle est idéal et peut être déterminé à partir d'une spécification matricielle de l'application qui est traitée par le modèle proposé. Sachant que la performance d'un modèle dépend de la quantité de flot de données échangées entre ses unités, en l'occurrence leur nombre, et notre but étant de garantir une bonne performance de calcul en fonction de l'application traitée, nous proposons de trouver le nombre idéal de processeurs et de mémoires du système à construire. Aussi, considérons-nous la décomposition de la spécification du modèle à construire ou de l'application à traiter en fonction de l'équilibre de charge des unités. Nous proposons ainsi une approche de décomposition sur trois points : la transformation de la spécification ou de l'application en une matrice d'incidence dont les éléments sont les flots de données entre les processus et les données, une nouvelle méthodologie basée sur le problème de la formation des cellules (Cell Formation Problem [CFP]), et un équilibre de charge de processus dans les processeurs et de données dans les mémoires. Dans la troisième partie, toujours dans le souci de concevoir un système efficace et performant, nous nous intéressons à l'affectation des processeurs et des mémoires par une méthodologie en deux étapes. Dans un premier temps, nous affectons des unités aux nœuds du système, considéré ici comme un graphe non orienté, et dans un deuxième temps, nous affectons des valeurs aux arcs de ce graphe. Pour l'affectation, nous proposons une modélisation des applications décomposées en utilisant une approche matricielle et l'utilisation du problème d'affectation quadratique (Quadratic Assignment Problem [QAP]). Pour l'affectation de valeurs aux arcs, nous proposons une approche de perturbation graduelle, afin de chercher la meilleure combinaison du coût de l'affectation, ceci en respectant certains paramètres comme la température, la dissipation de chaleur, la consommation d'énergie et la surface occupée par la puce. Le but ultime de ce travail est de proposer aux architectes de systèmes multiprocesseurs sur puce une méthodologie non traditionnelle et un outil systématique et efficace d'aide à la conception dès la phase de la spécification fonctionnelle du système.

La création d'un État palestinien, une solution possible au conflit israélo-arabe?

Pourquoi créer un État palestinien ? Avant tout parce qu’il s’agit de l’unique solution qui détient un fondement juridique, à travers la résolution 181 des Nations-Unies votée en 1947. Cette résolution préconisait la création de l’État israélien et celle de l’État palestinien comme deux facettes d’une unique solution. La création d’un État palestinien n’est pas seulement légale au regard du droit, elle permettrait également le partage des responsabilités revenant à chacun des acteurs du conflit. Une telle création est-elle possible en l’état actuel de la situation au Moyen-Orient ? Telle est la problématique de notre étude, qui comprend deux volets, l’un théorique, l’autre pratique. L’objectif est de revoir les règles du droit international relatives aux critères de formation d’un État palestinien, d’examiner si ces règles sont respectées et de déterminer quels sont les obstacles qui compliquent l’application d’une telle création. La première partie qui consiste à s’interroger sur la formation d’un État palestinien nous mène à examiner quatre éléments : la population permanente, le territoire déterminé, le gouvernement effectif et la capacité à entrer en relation avec les autres États. L’étude de ces éléments montre que la Palestine est un embryon d’État. Même si le concept d’un État palestinien peut être envisagé en droit, qu’en est-il de sa viabilité ? La deuxième partie de notre étude porte sur les obstacles juridiques à la création d’un État palestinien. Quatre éléments qui sont l’occupation, l’édification d’un mur entre Israël et les territoires palestiniens, les colonies de peuplement israéliennes en territoire palestinien occupé incluant la question de Jérusalem et enfin le droit au retour des réfugiés sont étudiés. Il ressort de cette recherche qu’un État palestinien pourrait être créé en droit mais sa viabilité reste conditionnée au bon vouloir d’Israël sur les questions évoquées ci-dessus. Aujourd’hui, les dimensions du conflit rendent particulièrement complexe une entente entre les deux parties. Le cadre juridique international représenté par l’ONU ne peut s’appliquer au conflit israélo-palestinien que s’il bénéficie de l’appui diplomatique clair et sincère de l’ensemble des acteurs internationaux.

Identité des Africains-Américains d'Atlanta : entre mémoire et histoire

Depuis une vingtaine d’années, nous nous familiarisons avec l’appellation d’Africains -Américains pour désigner les Noirs Américains. Cependant, dès son apparition, certaines personnes ont pensé que cette appellation ne serait pas acceptée par les membres du groupe. Pourtant, à leur arrivée sur le continent américain,les Noirs s’identifiaient comme Africains et cette référence est réapparue au XXe siècle. À travers des entrevues, effectuées à Atlanta en mars 2001, nous analysons le rôle joué par la mémoire collective et la mémoire sociale sur l’identité et nous interprétons les discours des individus concernant la nouvelle appellation instaurée en 1989. Ce mémoire est une analyse historique et anthropologique des discours identitaires chez des Africains-Américains d’Atlanta en 2001. Nous identifions deux axes du processus d’identification dont les racines remontent au XIXe siècle. La conscience de la situation unique des Africains en Amérique a toujours orienté l’identité «…and the Negro protest movement in two ways and has led in two directions simultaneously: wanting out and wanting in …» (Joanne Grant 1968, 1983, 1986: 9).

Étude des mécanismes moléculaires influençant la variation de phase des adhésines P, F1651 et CS31A présentes chez des souches d'Escherichia coli pathogènes.

F1651, les pili Pap et l’antigène CS31A associé aux antigènes de surface K88 sont tout trois des membres de la famille de type P des facteurs d’adhérence jouant un rôle prépondérant lors de l’établissement d’une maladie causée par des souches Escherichia coli pathogènes, en particulier des souches d’E. coli pathogènes extra-intestinales (ExPEC, Extra-intestinal pathogenic E. coli). Leur expression est sous le contrôle d’un mécanisme de régulation transcriptionnel dépendant de l’état de méthylation de l’ADN, résultant dans l’existence de deux populations définies, l’une exprimant l’adhésine (population ON) et l’autre ne l’exprimant pas (population OFF). Malgré de fortes identités de séquences, ces trois systèmes diffèrent l’un de l’autre, principalement par le pourcentage de cellules ON rencontrées. Ainsi, quand CS31A est systématiquement orienté vers un état considéré comme OFF, F1651 présente une phase ON particulièrement élevée et Pap montre deux états OFF et ON bien distincts, selon le phénotype de départ. La protéine régulatrice sensible à la leucine (Lrp, Leucine-responsive regulatory protein) joue un rôle essentiel dans la réversibilité de ce phénomène épigénétique et il est supposé que les différences de séquences au niveau de la région régulatrice modifient la localisation à ces sites de fixation de Lrp; ce qui résulte, en final, aux différences de phase existant entre CS31A, F1651 et Pap.À l’aide de divers techniques parmi lesquelles l’utilisation de gènes rapporteurs, mutagénèses dirigées et d’analyse des interactions ADN-protéines in vitro, nous montrons dans ce présent projet que la phase OFF prédominante chez CS31A est principalement due à une faible interaction de Lrp avec la région distale de l’opéron clp, et que la présence d’un homologue du régulateur local PapI joue un rôle également clef dans la production de CS31A. Dans le cas de F1651, nous montrons dans cette étude que le taux élevé de cellules en phase ON est dû à une altération dans le maintien de Lrp sur les sites répresseurs 1-3. Ceci est dû à la présence de deux nucléotides spécifiques, situé de part et d’autre du site répresseur 1, qui défavorisent la fixation de Lrp sur ce site précis. Tout comme dans le cas de CS31A, la formation d’un complexe, activateur ou répresseur de la phase ON, dépend également de l’action de du régulatuer local FooI, qui favorise alors le déplacement de Lrp des sites répresseurs 1-3 vers les sites activateurs 4-6.

The Technology of Copper Alloys, Particularly Leaded Bronze, in Greece, its Colonies, and in Etruria during the Iron Age

L’objet de la présente étude est le développement, l’application et la diffusion de la technologie associée à divers types d’alliages de cuivre, en particulier l’alliage du plomb-bronze, en Grèce ancienne, dans ses colonies, ainsi qu’en Étrurie. Le plomb-bronze est un mélange de diverses proportions d’étain, de cuivre et de plomb. Le consensus général chez les archéométallurgistes est que le plomb-bronze n’était pas communément utilisé en Grèce avant la période hellénistique; par conséquent, cet alliage a reçu très peu d’attention dans les documents d’archéologie. Cependant, les analyses métallographiques ont prouvé que les objets composés de plomb ajouté au bronze ont connu une distribution étendue. Ces analyses ont aussi permis de différencier la composition des alliages utilisés dans la fabrication de divers types de bronzes, une preuve tangible que les métallurgistes faisaient la distinction entre les propriétés du bronze d’étain et celles du plomb-bronze. La connaissance de leurs différentes caractéristiques de travail permettait aux travailleurs du bronze de choisir, dans bien des cas, l’alliage approprié pour une utilisation particulière. L’influence des pratiques métallurgiques du Proche-Orient a produit des variations tant dans les formes artistiques que dans les compositions des alliages de bronze grecs durant les périodes géométrique tardive et orientalisante. L’utilisation du plomb-bronze dans des types particuliers d’objets coulés montre une tendance à la hausse à partir de la période orientalisante, culminant dans la période hellénistique tardive, lorsque le bronze à teneur élevée en plomb est devenu un alliage commun. La présente étude analyse les données métallographiques de la catégorie des objets coulés en bronze et en plomb-bronze. Elle démontre que, bien que l’utilisation du plomb-bronze n’était pas aussi commune que celle du bronze d’étain, il s’agissait néanmoins d’un mélange important d’anciennes pratiques métallurgiques. Les ères couvertes sont comprises entre les périodes géométrique et hellénistique.

Erotismo, poema y budismo tántrico : Octavio Paz y los caminos del éxtasis

Cette recherche a comme objectif l’étude d’un des thèmes clef dans la vaste œuvre du poète et essayiste mexicain Octavio Paz (1914-1998) : les analogies entre l’érotisme, le poème et le sacré comme chemins ou voies d’union et de réconciliation humaine, idée qui est particulièrement renforcée dans son œuvre à partir des voyages et du séjour en Orient –spécialement en Inde– entre 1951 et 1968. Pendant la période nommée « cycle indien » (‘ciclo hindú’), Paz s’est intéressé aux différentes traditions de la pensée orientale, particulièrement le bouddhisme, et surtout son orientation tantrique. Ce mémoire analyse les apports les plus significatifs du bouddhisme à l’œuvre de Paz. À partir de l’étude de concepts comme la vacuité, le silence, l’autre bord (‘otra orilla’), l’union extatique transcendante et la libération, ce mémoire soutient que Paz a approfondi les analogies entre l’érotisme, la poésie et le sacré en ne les concevant pas seulement comme expériences de réconciliation mais en les menant au-delà, au plan transcendental, à partir de l’union extatique dans la vacuité. Même si ce mémoire tient compte d’un grand nombre d’œuvres d’Octavio Paz, qui vont de El arco y la lira (1956) à Vislumbres de la India (1995), une attention particulière est dédiée à deux textes qui sont les plus représentatifs du résultat de sa rencontre avec l’Orient, Ladera este (1969) et El mono gramático (1974), dans lesquels il est possible d’observer les analogies que Paz établit entre l’érotisme, le poème, et le bouddhisme tantrique à partir de l’expérience de l’altérité (‘otredad’), qui propose à l’être humain la recherche de son ‘autre’ pour se réconcilier dans l’unité, et de l’expérience de dissipation dans la vacuité. La conclusion générale de l’étude souligne que l’érotisme, le poème, et le bouddhisme tantrique se proposent dans l’œuvre de Octavio Paz comme trois chemins parallèles de révélation par lesquels l’être humain peut accéder à sa plénitude, état manifeste dans l’expérience extatique.

Bodies, Saracen giants, and the medieval romance : transgression, difference, and assimilation

Bodies, Saracen Giants, and the Medieval Romance: Transgression, Difference, and Assimilation explore le traitement des corps de trois géants Sarasins dans les romances de Roland and Vernagu (c. 1330), Sir Beues of Hamtoun (c. 1330), et The Taill of Rauf Coilyear (c. 1513-42).Grâce à une étude de la représentation de ces trois géants Sarasin, la signification du corps humain au Moyen Age, et des pratiques de la Chrétienté an accord avec les discours et idéologies envers le Proche-Orient qui existaient dans l’Occident médiéval, ce mémoire de maîtrise juxtapose le géant Sarasin et le héros de la romance pour indiquer une similarité apparente entre leur deux corps et leur religion respective. La romance démontre avec hésitation un désir d’assimiler le géants Sarasin dans le code héroïque ainsi que dans la religion chrétienne, mais souvent rejette avec suspicion le corps du géant par sa mort sur le champ de bataille. Malgré sa mort ou son assimilation dans le code héroïque et la Chrétienté, le corps du géant Sarasin demeure toujours important dans le contexte de la Romance, puisqu’il contribue à la construction de l’identité du héros, de sa foi, et de sa société.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java

Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à des exigences non fonctionnelles ou à d’autres considérations de conception comme la robustesse, la distribution, la sécurité, etc. Généralement, le code qui représente ces aspects chevauche plusieurs hiérarchies de classes. Plusieurs chercheurs se sont intéressés à la problématique de la modularisation de ces aspects dans le code : programmation orientée sujets, programmation orientée aspects et programmation orientée vues. Toutes ces méthodes proposent des techniques et des outils pour concevoir des applications orientées objets sous forme de composition de fragments de code qui répondent à différents aspects. La séparation des aspects dans le code a des avantages au niveau de la réutilisation et de la maintenance. Ainsi, il est important d’identifier et de localiser ces aspects dans du code légataire orienté objets. Nous nous intéressons particulièrement aux aspects fonctionnels. En supposant que le code qui répond à un aspect fonctionnel ou fonctionnalité exhibe une certaine cohésion fonctionnelle (dépendances entre les éléments), nous proposons d’identifier de telles fonctionnalités à partir du code. L’idée est d’identifier, en l’absence des paradigmes de la programmation par aspects, les techniques qui permettent l’implémentation des différents aspects fonctionnels dans un code objet. Notre approche consiste à : • identifier les techniques utilisées par les développeurs pour intégrer une fonctionnalité en l’absence des techniques orientées aspects • caractériser l’empreinte de ces techniques sur le code • et développer des outils pour identifier ces empreintes. Ainsi, nous présentons deux approches pour l’identification des fonctionnalités existantes dans du code orienté objets. La première identifie différents patrons de conception qui permettent l’intégration de ces fonctionnalités dans le code. La deuxième utilise l’analyse formelle de concepts pour identifier les fonctionnalités récurrentes dans le code. Nous expérimentons nos deux approches sur des systèmes libres orientés objets pour identifier les différentes fonctionnalités dans le code. Les résultats obtenus montrent l’efficacité de nos approches pour identifier les différentes fonctionnalités dans du code légataire orienté objets et permettent de suggérer des cas de refactorisation.

Le grenadier tunisien (Punica granatum) stimule le transport de glucose dans les cellules musculaires C2C12 via la voie insulino-dépendante de l’Akt et la voie insulino-indépendante de l’AMPK

Le diabète est reconnu comme un problème majeur de santé publique causant des conséquences humaines et économiques redoutables. La phytothérapie s’offre comme une nouvelle avenue thérapeutique pour le contrôle de la glycémie. Le grenadier, Punica granatum, a servi de remède contre le diabète dans le système Unani de la médecine pratiquée en Inde et au Moyen Orient. Des études ont démontré un effet hypoglycémiant des extraits de grenadier via divers mécanismes notamment par une amélioration de la sensibilité à l’insuline et la régénération des cellules béta-pancréatiques. Cependant, aucune étude n’a démontré à ce jour, l’effet de grenadier sur le transport de glucose dans le muscle, étape cruciale dans la régulation de l’homéostasie glucidique postprandiale. De plus, l’effet de la maturation sur le potentiel antidiabétique du fruit de grenadier n’a pas été étudié. Ainsi, le but de ce projet est d’évaluer l’effet antidiabétique des extraits de grenadier sur le transport de glucose dans les cellules musculaires C2C12 en fonction de la variété et du stade de maturation du fruit et d’élucider les mécanismes d’action. Le choix des variétés du grenadier tunisien (Espagnoule [EP] et Gabsi [GB]) a été orienté pour leur pouvoir antioxydant et leur consommation locale. Deux parties de la plante ont été utilisées, les fleurs et les fruits à 3 stades de maturation soit 2, 4 et 6 mois. Les résultats ont montré que seule la variété du grenadier Gabsi stimule significativement le transport de glucose par rapport au contrôle (DMSO), et ceci sans être toxique. Cet effet est plus prononcé au stade de fruit mûr (à 6 mois) que celui de la fleur. De plus, l’extrait de fleurs stimule la voie insulino-indépendante de l’AMPK et augmente le niveau d’expression des transporteurs spécifiques de glucose (GLUT-4). Par contre, l’extrait de fruits mûrs, en plus de ces deux mécanismes, active fortement aussi la voie insulino-dépendante de l’AKT. En conclusion, cette étude présente un nouveau mécanisme d’action antidiabétique de grenadier (plus particulièrement du fruit mûr) qui est dépendant de la variété.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Towards the identification of a neighbourhood park typology : a conceptual and methodological exploration

Peu d’études ont évalué les caractéristiques des parcs pouvant encourager l’activité physique spécifiquement chez les jeunes. Cette étude vise à estimer la fiabilité d’un outil d’observation des parcs orienté vers les jeunes, à identifier les domaines conceptuels des parcs capturés par cet outil à l’aide d’une opérationnalisation du modèle conceptuel des parcs et de l’activité physique et à identifier différents types de parcs. Un total de 576 parcs ont été évalués en utilisant un outil d’évaluation des parcs. La fiabilité intra-juges et la fiabilité inter-juges de cet outil ont été estimées. Une analyse exploratoire par composantes principales (ACP) a été effectuée en utilisant une rotation orthogonale varimax et les variables étaient retenues si elles saturaient à ≥0.3 sur une composante. Une analyse par grappes (AG) à l’aide de la méthode de Ward a ensuite été réalisée en utilisant les composantes principales et une mesure de l’aire des parcs. L’outil était généralement fiable et l’ACP a permis d'identifier dix composantes principales qui expliquaient 60% de la variance totale. L’AG a donné un résultat de neuf grappes qui expliquaient 40% de la variance totale. Les méthodes de l’ACP et l’AG sont donc faisables avec des données de parcs. Les résultats ont été interprétés en utilisant l’opérationnalisation du modèle conceptuel.