Agences de notation de crédit : Discussion autour du règlement (CE) nº1060/2009

Les agences de notation de crédit ont permis la banalisation des véhicules de titrisation. Elles ont sous-estimé la probabilité que les émetteurs de certains instruments financiers complexes ne puissent pas honorer leurs dettes. Elles ont tardé à refléter la détérioration du marché de leurs notes. Les agences de notation ont donc été en partie responsables de la tempête que traversent les places financières mondiales et ont exposé les entreprises à un risque sérieux de défiance. Alors que les entreprises doivent à l’heure actuelle maîtriser de multiples risques, celles-ci ont été les premières victimes des professionnels de la notation. Pour apporter une réponse au risque de la notation, le régulateur européen a réagit avec vigueur. Par l’intermédiaire de son règlement (CE) nº1060/2009 du 16 septembre 2009, l’Union européenne a décidé d’encadrer l’activité de la notation au travers d’une gestion des conflits d’intérêts, d’un renforcement de la qualité de la notation et d’accroissement considérable de la transparence. C’est ce cadre réglementaire adopté au dernier trimestre 2009, ainsi que son appréciation critique, qui fait l’objet du présent article.

L’atorvastatine prévient l’apoptose précoce suivant une lésion contusive médullaire thoracique et favorise la récupération locomotrice

L’administration systémique d’atorvastatine s’est montrée neuroprotective suivant un traumatisme médullaire, en diminuant la réponse inflammatoire au site de la lésion ainsi qu’en réduisant l’apoptose des oligodendrocytes. Ce dernier épargne la matière blanche au site de l’insulte et améliore la locomotion. Le but de cette étude était de confirmer l’efficacité neuroprotective de l’atorvastatine ainsi que son action précoce, lorsqu’administré post-trauma, sur la limitation de l’apoptose. Des rats Sprague-Dawley femelles ont reçu une injection intrapéritonéale de : (1) statine/saline (5 mg/kg) 2 h après une lésion contusive; (2) saline physiologique 2 h post-contusion; ou (3) saline physiologique sans lésion. Les rats traités à la statine ont montré une amélioration significative (p<0.05) de leur locomotion après 4 semaines post-trauma, comparée au groupe « véhicule » lésé. Expliquant cette observation, l’activité de la caspase-3 fut diminuée de 50% (p<0.05) et la méthode de TUNEL révéla une diminution d’approximativement 20% du nombre de cellules apoptotiques au site lésionnel (p<0.01) 4 h après l’insulte contusive chez le groupe traité en comparaison aux groupes « véhicules ». Ces résultats démontrent que l’atorvastatine est efficace dans la prévention de l’apoptose précoce au site lésionnel dans un modèle expérimental de traumatisme médullaire après seulement 2 h post-traumatisme.

La transmission de la langue maternelle aux enfants : le cas des couples linguistiquement exogames du Québec

Le nombre d'unions où les deux conjoints n'ont pas la même langue maternelle est en augmentation depuis les dernières décennies au Québec. Sachant que les enfants issus de ces unions gravitent dans un univers familial plurilingue, l'objectif de ce mémoire est de connaître les langues qui leur sont transmises. En utilisant les données du questionnaire long du recensement canadien de 2006, nous avons procédé à différentes analyses descriptives nous permettant de cerner les langues maternelles véhiculées aux enfants issus d'une union mixte, de vérifier si ces enfants héritent davantage de la langue maternelle de leur mère ou de leur père et s'ils opèrent des substitutions linguistiques avant l'âge de 18 ans, c'est-à-dire si leur langue maternelle diffère de leur langue d'usage. De plus, par le biais de régressions logistiques, nous avons étudié les déterminants contextuel, ethno-culturel et socio-économique les plus susceptibles d'expliquer le choix de la langue transmise aux enfants. Les résultats obtenus démontrent la place prédominante des langues officielles canadiennes, au détriment des langues non officielles, chez les familles exogames. De plus, le choix de la langue maternelle transmise s'avère principalement conditionné par le lieu de résidence, le parcours migratoire des parents et le pays de naissance des enfants.

La bédé-réalité : la bande dessinée autobiographique à l’heure des technologies numériques

À l’image des théories de la bande dessinée imprimée, la BD numérique est elle aussi accaparée par les analyses formalistes, dont la plus connue, celle de Scott McCloud, est critiquable, car elle réduit le média à un langage. Or, les mutations provoquées par la remédiation numérique ne sont pas uniquement formelles : l’expérience du lecteur, de l’auteur, et le rapport qu’ils entretiennent ensemble sont modifiés. Ce nouveau rapport influence le contenu des œuvres : on ne raconte pas la même chose dans le livre que sur Internet. L’autobiographie en BD, courant qui a explosé dans l’édition indépendante des années 1990, puis a été largement repris par les blogueurs, permet d’observer les différences de contenus et d’approches véhiculées par le livre et le numérique. Le dispositif du blogue propose un outil de liberté d’expression et de réflexion, mais les paramètres de son exécution (immédiateté, interactivité, désir de popularité, etc.) peuvent détourner cet objectif. Ainsi, beaucoup d’auteurs de blogues n’ont pas produit une autobiographie singulière, mais ont reproduit un courant de pensée existant (en exposant une libido fortement orientée vers la consommation) ainsi qu’un genre codifié, au sein duquel les autobiographies deviennent uniformes. Pour qualifier leurs blogues, on ne peut pas vraiment parler d’autobiographies, car ils ne mettent pas en scène un passé rétrospectif. Il s’agirait davantage de journaux intimes dont l’intimité est communiquée (ou publicisée) plutôt qu’expérimentée. Ce à quoi ces blogues ressemblent finalement le plus, c’est à une sorte de télé-réalité, une « bédé-réalité ».

Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires

La rapide progression des technologies sans fil au cours de ces dernières années a vu naître de nouveaux systèmes de communication dont les réseaux véhiculaires. Ces réseaux visent à intégrer les nouvelles technologies de l’information et de la communication dans le domaine automobile en vue d’améliorer la sécurité et le confort sur le réseau routier. Offrir un accès Internet aux véhicules et à leurs occupants peut sans doute aider à anticiper certains dangers sur la route tout en rendant plus agréables les déplacements à bord des véhicules. Le déploiement de ce service nécessite que des messages soient échangés entre les véhicules. Le routage constitue un élément crucial dans un réseau, car définissant la façon dont les différentes entités échangent des messages. Le routage dans les VANETS constitue un grand défi car ces derniers sont caractérisés par une forte mobilité entraînant une topologie très dynamique. Des protocoles ont été proposés pour étendre Internet aux réseaux véhiculaires. Toutefois, la plupart d’entre eux nécessitent un coût élevé de messages de contrôle pour l’établissement et le maintien des communications. Ceci a pour conséquence la saturation de la bande passante entrainant ainsi une baisse de performance du réseau. Nous proposons dans ce mémoire, un protocole de routage qui s’appuie sur des passerelles mobiles pour étendre Internet aux réseaux véhiculaires. Le protocole prend en compte la mobilité des véhicules et la charge du réseau pour l’établissement et le maintien des routes.

Un protocole de diffusion des messages dans les réseaux véhiculaires

De nos jours, la voiture est devenue le mode de transport le plus utilisé, mais malheureusement, il est accompagné d’un certain nombre de problèmes (accidents, pollution, embouteillages, etc.), qui vont aller en s’aggravant avec l’augmentation prévue du nombre de voitures particulières, malgré les efforts très importants mis en œuvre pour tenter de les réduire ; le nombre de morts sur les routes demeure très important. Les réseaux sans fil de véhicules, appelés VANET, qui consistent de plusieurs véhicules mobiles sans infrastructure préexistante pour communiquer, font actuellement l’objet d'une attention accrue de la part des constructeurs et des chercheurs, afin d’améliorer la sécurité sur les routes ou encore les aides proposées aux conducteurs. Par exemple, ils peuvent avertir d’autres automobilistes que les routes sont glissantes ou qu’un accident vient de se produire. Dans VANET, les protocoles de diffusion (broadcast) jouent un rôle très important par rapport aux messages unicast, car ils sont conçus pour transmettre des messages de sécurité importants à tous les nœuds. Ces protocoles de diffusion ne sont pas fiables et ils souffrent de plusieurs problèmes, à savoir : (1) Tempête de diffusion (broadcast storm) ; (2) Nœud caché (hidden node) ; (3) Échec de la transmission. Ces problèmes doivent être résolus afin de fournir une diffusion fiable et rapide. L’objectif de notre recherche est de résoudre certains de ces problèmes, tout en assurant le meilleur compromis entre fiabilité, délai garanti, et débit garanti (Qualité de Service : QdS). Le travail de recherche de ce mémoire a porté sur le développement d’une nouvelle technique qui peut être utilisée pour gérer le droit d’accès aux médias (protocole de gestion des émissions), la gestion de grappe (cluster) et la communication. Ce protocole intègre l'approche de gestion centralisée des grappes stables et la transmission des données. Dans cette technique, le temps est divisé en cycles, chaque cycle est partagé entre les canaux de service et de contrôle, et divisé en deux parties. La première partie s’appuie sur TDMA (Time Division Multiple Access). La deuxième partie s’appuie sur CSMA/CA (Carrier Sense Multiple Access / Collision Avoidance) pour gérer l’accès au medium. En outre, notre protocole ajuste d’une manière adaptative le temps consommé dans la diffusion des messages de sécurité, ce qui permettra une amélioration de la capacité des canaux. Il est implanté dans la couche MAC (Medium Access Control), centralisé dans les têtes de grappes (CH, cluster-head) qui s’adaptent continuellement à la dynamique des véhicules. Ainsi, l’utilisation de ce protocole centralisé nous assure une consommation efficace d’intervalles de temps pour le nombre exact de véhicules actifs, y compris les nœuds/véhicules cachés; notre protocole assure également un délai limité pour les applications de sécurité, afin d’accéder au canal de communication, et il permet aussi de réduire le surplus (overhead) à l’aide d’une propagation dirigée de diffusion.

Models and algorithms for the capacitated location-routing problem

Le problème de localisation-routage avec capacités (PLRC) apparaît comme un problème clé dans la conception de réseaux de distribution de marchandises. Il généralisele problème de localisation avec capacités (PLC) ainsi que le problème de tournées de véhicules à multiples dépôts (PTVMD), le premier en ajoutant des décisions liées au routage et le deuxième en ajoutant des décisions liées à la localisation des dépôts. Dans cette thèse on dévelope des outils pour résoudre le PLRC à l’aide de la programmation mathématique. Dans le chapitre 3, on introduit trois nouveaux modèles pour le PLRC basés sur des flots de véhicules et des flots de commodités, et on montre comment ceux-ci dominent, en termes de la qualité de la borne inférieure, la formulation originale à deux indices [19]. Des nouvelles inégalités valides ont été dévelopées et ajoutées aux modèles, de même que des inégalités connues. De nouveaux algorithmes de séparation ont aussi été dévelopés qui dans la plupart de cas généralisent ceux trouvés dans la litterature. Les résultats numériques montrent que ces modèles de flot sont en fait utiles pour résoudre des instances de petite à moyenne taille. Dans le chapitre 4, on présente une nouvelle méthode de génération de colonnes basée sur une formulation de partition d’ensemble. Le sous-problème consiste en un problème de plus court chemin avec capacités (PCCC). En particulier, on utilise une relaxation de ce problème dans laquelle il est possible de produire des routes avec des cycles de longueur trois ou plus. Ceci est complété par des nouvelles coupes qui permettent de réduire encore davantage le saut d’intégralité en même temps que de défavoriser l’apparition de cycles dans les routes. Ces résultats suggèrent que cette méthode fournit la meilleure méthode exacte pour le PLRC. Dans le chapitre 5, on introduit une nouvelle méthode heuristique pour le PLRC. Premièrement, on démarre une méthode randomisée de type GRASP pour trouver un premier ensemble de solutions de bonne qualité. Les solutions de cet ensemble sont alors combinées de façon à les améliorer. Finalement, on démarre une méthode de type détruir et réparer basée sur la résolution d’un nouveau modèle de localisation et réaffectation qui généralise le problème de réaffectaction [48].

L’assainissement écologique des eaux usées domestiques : scénario d’aménagement type pour les résidences isolées de pays développés nordiques

L’aménagement des systèmes d’assainissement conventionnel des eaux usées domestiques entraine actuellement la déplétion de ressources naturelles et la pollution des milieux récepteurs. L’utilisation d’une approche écosystémique plus globale telle que l’Assainissement Écologique, visant la fermeture du cycle de l’eau et des éléments nutritifs (phosphore et azote), contenus dans les excréments, par leur réutilisation à travers l’agriculture, permettrait d’améliorer de façon écologique cette situation. Toutefois, ce paradigme émergent est peu enseigné aux professionnels de l’aménagement responsables de sa planification, surtout au niveau de son application dans les pays développés nordiques. C’est pourquoi, afin d’améliorer la planification de ce type de système, il faut informer ces derniers des pratiques les plus adéquates à adopter. Pour y arriver, un scénario d’aménagement type a été développé à partir d’une revue exhaustive de la littérature et de l’analyse des données en se basant sur les recommandations de l’approche en fonction du contexte étudié. Ce scénario aidera les professionnels à mieux comprendre l’Assainissement Écologique et son aménagement. Il représente alors un point de départ pour les discussions interdisciplinaires et participatives que celui-ci requiert. En conclusion, il y a encore de nombreux manques d’informations concernant l’utilisation de traitements alternatifs dans les climats nordiques et l’acceptation de ceux-ci par les usagers. De plus, les cadres législatifs demeurent un obstacle considérable à l’aménagement d’un tel système. Cette recherche permet cependant de démystifier l’approche auprès des professionnels et pourrait aider à modifier certains cadres législatifs afin d’y intégrer sa philosophie.

L’éthique de la valorisation des bases de données et des banques de matériel créées à des fins de recherche : une étude empirique et normative

La recherche du premier chapitre de ce mémoire a été menée en collaboration avec les co-chercheurs suivants: Catherine Olivier et Michel Bergeron.

Épidémiologie du syndrome reproducteur et respiratoire porcin dans deux régions de densités porcines différentes au Québec

Le virus du syndrome reproducteur et respiratoire porcin (SRRP) est actuellement l’une des principales menaces pour la santé des troupeaux porcins. Les multiples voies de transmission complexifient l’épidémiologie de l’infection et en font une maladie particulièrement difficile à contrôler. L’objectif général de ce projet de recherche était de déterminer les facteurs associés au statut SRRP des sites de production afin de mieux comprendre l’épidémiologie de cette maladie au sein de deux régions du Québec ayant des densités porcines différentes. Les stratégies d’introduction des cochettes de remplacement ont d’abord été examinées. Des lacunes importantes ont été identifiées représentant un risque potentiel pour l’introduction du virus ou pour la recirculation d’une souche endémique au sein d’un troupeau reproducteur. Ainsi, appliquée à titre de stratégie de contrôle, l’acclimatation s’est révélée particulièrement problématique. Les principes de base étaient peu respectés, pouvant donc avoir un impact négatif considérable sur la circulation virale au sein du troupeau et potentiellement sur le voisinage immédiat. La fréquence de plusieurs mesures de biosécurité externe a ensuite été évaluée, permettant d’identifier certains problèmes dont ceux touchant principalement les mesures d’hygiène relatives au protocole d’entrée. Des différences de fréquence entre les régions et les types de production ont également été notées, ce qui peut orienter les interventions de rehaussement. Une classification multivariée a permis de grouper les sites en différents patrons de biosécurité pour constituer par le fait même un index de biosécurité. Cette étape a permis d’évaluer l’association entre certaines caractéristiques de l’élevage et le niveau de biosécurité indiqué par l’index. La distribution géographique des patrons au sein des deux régions, couplée à la détection d’agrégats spatiaux de sites ayant un patron similaire, a également permis de cibler davantage les interventions en fonction de la localisation des sites. Suite à l’investigation du statut SRRP des sites, une prévalence apparente très élevée a été obtenue pour les deux régions, complexifiant le contrôle de la maladie. L’étude de facteurs de risque dans la région de densité modérée a mis en évidence quatre facteurs associés au statut SRRP positif des sites, soit un inventaire important, la proximité du site porcin immédiat, l’absence de douche ainsi que le libre accès au site par l’équarrisseur. Une action préventive intégrant des mesures de biosécurité spécifiques peut donc être entreprise directement à la ferme au regard des deux derniers facteurs. Le fait d’utiliser un index de biosécurité plutôt que des mesures de biosécurité spécifiques a également été évalué. Les résultats ne supportent pas l’index global dans l’évaluation de l’association entre la biosécurité et le statut SRRP des sites de production. Finalement, la corrélation entre les distances génétique, euclidienne et temporelle des souches de SRRP, considérant également l’appartenance au même ou à des propriétaires différents, a été évaluée au sein de la région de haute densité. Une corrélation positive entre la distance génétique et euclidienne observée jusqu’à 5 km a souligné l’importance de la propagation régionale impliquant les aérosols, les insectes, d’autres espèces animales ou les objets inanimés. De plus, les souches génétiquement similaires appartenaient davantage à des sites ayant le même propriétaire, ce qui sous-tend des mécanismes de transmission impliquant une source commune d’animaux, d’employés, d’équipement, voire de véhicules.

Autour de Pierre Falardeau : found footage et réemploi d'images dans le cinéma politique

Ce mémoire portera sur le réemploi d’images dans le cinéma politique d’une manière générale dans un premier temps, puis plus spécifiquement dans l’oeuvre du cinéaste québécois Pierre Falardeau. Il s’agit donc d’abord de regarder comment, d’un point de vue historique, l’image fut réemployée dans le cinéma documentaire classique. Il sera ensuite question de la réutilisation de l’image à des fins politiques dans le cinéma expérimental à travers une analyse du found footage film. Dans un deuxième temps, nous verrons le réemploi d’images dans le cinéma militant, engagé politiquement (voire révolutionnaire) dans le cinéma d’Amérique latine (Santiago Alvarez, Fernando Solanas et Octavio Getino) et en France (Guy Debord, Chris Marker et Jean-Luc Godard). Par la suite, nous verrons comment Pierre Falardeau recyclera des images principalement dans trois de ses documentaires : Pea Soup, Speak White et Le temps des bouffons. Nous allons voir où il se situe dans les différentes traditions de réemploi d’images que nous avons vu précédemment et comment il se rapprochait et se distinguait de ses prédécesseurs.

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.

Aspects de la vie spirituelle d’aînés hémodialysés en situation de perte

Notre projet de mémoire consistait à valider auprès de personnes qui vieillissent et qui ont subi des pertes l’hypothèse de recherche suivante : « Comment l’intégration de grandes théories sur la vie spirituelle à l’outil du bilan de vie (à son questionnaire) aide l’aîné qui subit des pertes à trouver un sens à sa vie? » Notre projet de mémoire consistait à valider auprès de personnes qui vieillissent et qui ont subi des pertes l’hypothèse de recherche suivante : « Comment l’intégration de grandes théories sur la vie spirituelle à l’outil du bilan de vie (à son questionnaire) aide l’aîné qui subit des pertes à trouver un sens à sa vie? » Dans ce mémoire, nous nous intéressons à la problématique du vieillissement, notamment dans le cadre québécois, à ce vieillissement plus spécifique des aînés hémodialysés en situation de pertes. Cela dit, dans l’introduction, nous esquisserons le contexte général derrière le projet. Le mémoire est présenté selon les quatre étapes prévues par la méthode de la praxéologie pastorale, à savoir l’observation, l’interprétation, l’intervention et la prospective. Dans la première étape, nous introduirons les paramètres de notre observation en milieu pastoral. Nous chercherons ainsi à clarifier le problème rencontré, à partir des questions convenues en praxéologie pastorale: le qui, le quoi, le où, le quand, le comment et le pourquoi. Dans la seconde étape, nous tenterons de faire rencontrer des interprétations théoriques en vue de trouver une compréhension nouvelle du drame qui se joue. Ainsi, nous soulignerons que nous sommes redevables à quatre grandes théories sur la vie spirituelle quant au cadre de référence de notre recherche, à savoir Oser, Gmünder et Ridez; Vasse; Breton et Liébanas. La troisième étape se voudra une sorte d’évaluation des changements à apporter à la pratique, leurs impacts, les stratégies pour les mettre en place et les résistances qui ne manqueront pas de se manifester à leur égard. Dans la dernière étape, nous nous interrogerons sur les visions inconscientes du monde et de l’être humain véhiculées par l’intervention dans le but de se réajuster. Dans ce mémoire, nous avons identifié, à l’aide de l’outil du bilan de vie, six aspects de la vie spirituelle d’un aîné hémodialysé en situation de pertes, soit les représentations ou les images de Dieu, le sens du péché commis, les signes de l’existence du péché, l’antériorité de l’amour de Dieu par rapport au péché, les voies d’entrées à la vie spirituelle, les indications pour cheminer spirituellement et les effets de vie et de mort.

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.

Heuristic solution methods for multi-attribute vehicle routing problems

Le Problème de Tournées de Véhicules (PTV) est une clé importante pour gérér efficacement des systèmes logistiques, ce qui peut entraîner une amélioration du niveau de satisfaction de la clientèle. Ceci est fait en servant plus de clients dans un temps plus court. En terme général, il implique la planification des tournées d'une flotte de véhicules de capacité donnée basée à un ou plusieurs dépôts. Le but est de livrer ou collecter une certain quantité de marchandises à un ensemble des clients géographiquement dispersés, tout en respectant les contraintes de capacité des véhicules. Le PTV, comme classe de problèmes d'optimisation discrète et de grande complexité, a été étudié par de nombreux au cours des dernières décennies. Étant donné son importance pratique, des chercheurs dans les domaines de l'informatique, de la recherche opérationnelle et du génie industrielle ont mis au point des algorithmes très efficaces, de nature exacte ou heuristique, pour faire face aux différents types du PTV. Toutefois, les approches proposées pour le PTV ont souvent été accusées d'être trop concentrées sur des versions simplistes des problèmes de tournées de véhicules rencontrés dans des applications réelles. Par conséquent, les chercheurs sont récemment tournés vers des variantes du PTV qui auparavant étaient considérées trop difficiles à résoudre. Ces variantes incluent les attributs et les contraintes complexes observés dans les cas réels et fournissent des solutions qui sont exécutables dans la pratique. Ces extensions du PTV s'appellent Problème de Tournées de Véhicules Multi-Attributs (PTVMA). Le but principal de cette thèse est d'étudier les différents aspects pratiques de trois types de problèmes de tournées de véhicules multi-attributs qui seront modélisés dans celle-ci. En plus, puisque pour le PTV, comme pour la plupart des problèmes NP-complets, il est difficile de résoudre des instances de grande taille de façon optimale et dans un temps d'exécution raisonnable, nous nous tournons vers des méthodes approcheés à base d’heuristiques.