594 resultados para règles parlementaires
Resumo:
Le traité du libre-échange entre les États-Unis et le Canada, l'intégration économique des 12 pays d'Europe et les changements politiques et socio-économiques survenus dans les pays de l'Est sont des exemples d'événements qui ont marqué la fin de la dernière décennie. Ces événements ont pour effet de modifier les règles du jeu de la concurrence internationale en matière de commerce et d'affecter directement les activités des entreprises oeuvrant aussi bien dans les marchés étrangers que domestiques. La firme doit avoir la capacité de connaître davantage le comportement de la clientèle-cible et celui de la concurrence afin de mieux adapter ses stratégies de marketing à cette nouvelle réalité. Les décisions auxquelles les exportateurs et les producteurs locaux ont toujours fait face ont trait à des variables stratégiques, entre autres le prix, le nom de la marque, la promotion, la distribution, le service et le lieu de fabrication ("Made-In"). Cette dernière variable a toujours été d'une grande importance pour les firmes ayant des opérations étrangères; en effet, elle touche deux aspects décisionnels à savoir, le coût d'installation des unités de production dans un pays étranger et la réputation ou l'image de ce dernier chez le consommateur. La présence de produits importés à côté des produits domestiques augmente l’éventail de choix du consommateur. Cependant, sa préférence pour un produit par rapport à un autre dépend de plusieurs éléments, soit des facteurs reliés au produit comme son prix compétitif ou sa qualité supérieure, ou bien des facteurs de personnalité, comme le besoin de prestige et d'appartenance.
Resumo:
L'école d'hier faisait de la grammaire et de l'analyse un usage prépondérant dans l'apprentissage de la langue. Une longue série de règles appliquées dans des exercices structurés préparait une certaine élite d'étudiants à "faire leurs humanités". Le temps passe, les choses évoluent, la grammaire se transforme. Lorsque nous avons commencé à enseigner au niveau élémentaire, les cours de grammaire et d'analyse ne différaient pas tellement de ceux des générations antérieures. Puis vinrent les années '70. Un programme cadre est instauré. Les maîtres endossent la responsabilité de la méthode utilisée et de son application. Une période d'instabilité se creuse, dont les élèves sont les plus grandes victimes. Nous atteignons la période critique où l'on constate que peu d'enfants maîtrisent leur orthographe d'usage à la fin de leur cours primaire. À qui imputer la faute? Devons-nous revenir à un enseignement systématique de la grammaire? Cette période nous aura permis de constater l'inefficacité de nos leçons traditionnelles en vue d'acquisitions orthographiques chez nos enfants; préférence accordée à l'induction des règles grammaticales usuelles; élimination des connaissances grammaticales inutiles aux besoins immédiats des élèves. Telle Tut notre option en ce qui concerne la grammaire. Mais que dire de l'analyse logique? […]
Resumo:
Le contenu de ce mémoire traite du problème de gestion des stocks dans un réseau constitué de plusieurs sites de stockage de produits. Chaque site i gère son stock de manière autonome pour satisfaire une demande déterministe sur un horizon donné. Un stock maximum Si est tenu à chaque site i. Lorsque le point de commande si est atteint, une commande de taille Qi est placée au centre de distribution qui alimente tous les sites. Qi est telle que Qi = Si - si. La quantité Qi est livrée dans un délai connu Li. Si, à un instant donné, la demande Di au site i excède la quantité en main, le site i fait appel à un ou à plusieurs autres sites du réseau pour le transfert d’une quantité Xji (j = 1, 2, …, n). Ce transfert s’effectue selon un certain nombre de règles de jeu qui tiennent compte des coûts de transfert, de stockage, d’approvisionnement et de pénurie. Ce mémoire examine six principales contributions publiées dans la littérature pour évaluer les contributions d’un modèle collaboratif aux performances, en termes de coûts et de niveau de service, de chaque site du réseau. Cette investigation se limite à une configuration du réseau à deux échelons : un entrepôt central et n (n > 2) sites de stockage. Le cas des pièces de rechange, caractérisé par une demande aléatoire, est examiné dans trois chapitres de ce mémoire. Une autre application de ces stratégies à la collaboration entre n centres hospitaliers (n > 2) est également examinée dans ce travail.
Resumo:
Notre intérêt pour la problématique du pouvoir de l'enseignante et de l'enseignant s'inscrit dans la foulée d'une démarche de croissance personnelle entreprise depuis une quinzaine d'années et alimentée par une remise en question de notre rôle d'enseignant universitaire initiée à peu près à la même époque suite à des déceptions d'ordre professionnel. Déçu en particulier par les élèves à qui nous faisions le reproche de ne pas suffisamment investir de temps dans la poursuite de leurs apprentissages, nous avons décidé de commencer à enseigner pour nous ou, si on veut, à nous centrer sur nos propres apprentissages. Et sans doute à force d'inviter nos élèves à se centrer sur leurs propres apprentissages en diminuant leurs attentes face au rôle que nous pouvions jouer sur ce plan, nous avons pu graduellement expérimenter que le pouvoir d'autorité est un pouvoir factice et que c'est en acceptant d'abandonner le pouvoir, que nous récupérions un pouvoir différent et certes beaucoup plus nourrissant, qui nous permettait finalement et presque paradoxalement, de maintenir une relation plus profonde avec ces mêmes élèves au-delà des moyens par lesquels s'exerçait ce pouvoir pédagogique: évaluation des connaissances, fixation des autres règles de gestion de classe pour ne citer que celles-là. Il est donc devenu pour nous impératif de concilier dans notre quotidien d'enseignant la réalité du pouvoir que nous détenions inévitablement en classe et celle d'une relation moins hiérarchique que nous désirions de plus en plus vivre avec nos élèves. C'est donc pour répondre à un besoin profond que nous avons décidé peu à peu d'entreprendre la présente démarche de réflexion.
Resumo:
À l'origine de ce projet de recherche se trouve le constat, effectué tant par le directeur que par les enseignantes et les enseignants de l'école Le Jardin-des-Lacs, des limites d'efficacité d'un système de type behavioral "opérant" dans la gestion des comportements sociaux des enfants hors de la salle de classe. Face aux confins d'efficacité de ce système, au début de l'année scolaire 1994-95, la Direction de l'école ainsi que le personnel enseignant du milieu nous demandaient d'élaborer un programme d'intervention "sur le fait". Ce programme est destiné à faciliter l'apprentissage et le maintien de comportements respectueux du système de règles en vigueur lorsque les élèves utilisent les aires de circulation et de détente de l'école. Donc, lorsqu'ils sont hors de la salle de classe. Les interventions se situent en contexte ludique, afin de faciliter la prise de conscience de l'intérêt et des avantages qu'il y a à respecter le règlement en vigueur. Par ailleurs, le contexte ludique fournit à l'intervenante une situation privilégiée d'observation des mécanismes sous-tendant chez l'enfant la motivation au respect de règles sociales qui lui sont externes ou, au contraire, à la formulation, la négociation ou l'application de règles lorsqu'il est en situation d'interaction avec des pairs. Pour des raisons d'efficacité, nous avons centré notre intervention sur le développement de conduites adéquates en regard du respect d'un règlement scolaire particulier : le règlement du silence dans les aires de circulation dans la mesure où les infractions à ce dernier forme la source principale d'accumulation de points de démérite chez les élèves de premier cycle à l'école Le-Jardin-des-Lacs.
Resumo:
De tout temps, les coopératives ont joué un grand rôle social en s'attaquant à des problèmes pressants. Si les équitables pionniers de Rochdale ont su établir des règles permettant de concilier l'idéal coopératif et une saine gestion, les coopératives vont continuer à poursuivre tout à travers le monde les mêmes objectifs dans le but de satisfaire les besoins de leurs membres et dans la majeure partie des cas des moins nantis. Les coopératives se donnent toujours comme objectifs d'améliorer les conditions de vie et de travail des agriculteurs, des ouvriers, des commerçants et artisans, d'hommes et de femmes par les différentes méthodes de coopération qu'elles proposent. Le mouvement par contre a beaucoup évolué et a donné naissance à d'autres modes d'exploitation de la formule coopérative. La coopérative dans les pays où elle est très développée, ajoute à ses tâches traditionnelles toute une gamme de fonctions sociales supplémentaires: soins aux personnes âgées, aux enfants et aux personnes handicapées, promotion de nouvelles technologies, exploitation des énergies renouvelables, protection de l'environnement, services funéraires à moindres coûts et ajouter à tout cela la création d'emplois pour les catégories sociales défavorisées. Les changements politiques, économiques et sociaux intervenus au cours des dernières années ont influé sur la situation des coopératives dans le monde entier. Si dans les pays en développement et en transition, l'urgence se fait sentir dans la redéfinition du rôle de l'État envers les coopératives, dans les pays industrialisés c'est à cause de l'évolution de la structure des entreprises coopératives et de l'apparition de nouvelles formes de coopératives que la nécessité de nouvelles normes se fait sentir. Les coopératives actuellement et surtout dans les pays industrialisés se sont transformées en de véritables forces économiques et leur apport dans le développement de certaines régions du monde est loin d'être négligeable, c'est le cas de la "Mondragon" en Espagne, de la "Raiffeisen" en Allemagne, de "Desjardins" au Québec, pour ne citer que celles-là. Les coopératives dans le contexte du 21 è siècle se voient obliger de modifier leur structure traditionnelle afin d'être mieux armées pour affronter la concurrence que leur livrent d'autres types d'entreprises. Certainement les coopératives dans les pays en développement pour pouvoir survivre et s'adapter aux conditions du marché doivent obligatoirement mieux se structurer tant au point de vue associatif qu'organisationnel pour enfin parvenir à offrir à leur clientèle membre et non-membre un service de choix. Cette organisation de la coopérative aussi importante soit-elle ne peut se faire sans la planification de bons moyens pouvant permettre à la coopérative d'appliquer l'ensemble des principes qui la régissent dont l'un des plus importants de la coopération demeure: l'éducation, la formation et l'information.
Resumo:
Les coopératives sont un modèle de développement qui repose sur un équilibre entre la justice sociale et économique, la durabilité de l'environnement et l'efficacité économique à travers un système de démocratisation de l'économie. Une double vocation leur est attribuée, l'aspect financier et l'aspect associatif. Les coopératives sont des entreprises collectives qui assurent conséquemment une gestion collective et une propriété collective des moyens de production. Tout projet de développement en coopération a comme finalité, à travers un ensemble d'actions, d'opérer un changement durable dans la société. Les coopératives suggèrent un contrat social et économique différent du système économique dominant. Les coopératives financières(ce terme a été retenu dans cet essai parmi les différentes appellations de ce type d'entreprise collective qui se regroupent dans un mode de gestion collective comparative : coopératives d'épargne et de crédit, caisses populaires, mutuelle, COPEC, CEC...), de par leur nature spécifique, se distinguent de la configuration économique du système bancaire traditionnel lequel s'inscrit dans un courant idéologique économique fondé sur la compétitivité et la rentabilité économique au bénéfice d'intérêts particuliers. Cette rentabilité stimule le processus d'expansion mondiale des activités économiques. La mondialisation a également soumis le marché financier aux règles de cette dynamique économique mondiale.
Resumo:
Parler d'une coopérative est parler d'une association autonome d'individus qui se sont mis ensemble afin de satisfaire leurs idéaux et leurs besoins économiques, sociaux ainsi que culturels par biais d'une entreprise dont les propriétaires sont les membres eux-mêmes et où le pouvoir est exercé démocratiquement. Une coopérative est donc une entreprise collective à responsabilité limitée qui cherche non seulement à combler les besoins économiques et sociaux de ses membres mais possède aussi un engagement envers la communauté. Elle est donc une combinaison de deux structures : l'une, associative (basée sur les règles démocratiques) et l'autre, entrepreneuriale (selon les règles de l'association). Par ailleurs, une coopérative est basée sur les valeurs de liberté, responsabilité, égalité et solidarité. Et pour que ces valeurs se concrétisent, il est nécessaire qu'ils respectent les sept principes du coopératisme international selon l'Alliance Coopérative Internationale : Adhésion volontaire et ouverte à tous, pouvoir démocratique exercé par les membres, participation économique des membres, autonomie et indépendance, éducation, formation et information pour les membres, coopération entre les coopératives, engagement envers la communauté. Étant donné la crise économique et sociale du monde, spécialement celle du Nicaragua, la formule coopérative vient apporter une réponse. Pour satisfaire leurs besoins économiques et sociaux, les personnes peuvent se regrouper et créer l'un ou l'autre type de coopératives. Celles-ci peuvent être de la typologie de producteurs, consommateurs ou de travailleurs. C'est le 30 avril 1914 qu'est né le coopératisme nicaraguayen. Mais, c'est en 1926 que se crée la première coopérative au Nicaragua. En 1944, le gouvernement de Somoza les reconnaît comme organisations légalement constituées selon le code du travail. Au cours des années 60, l'AID commence à promouvoir les coopératives d'épargne et de crédit. À la fin de ces années, on comptabilise 90 coopératives de cette typologie. Durant les années 70, les coopératives connaissent une croissance importante au Nicaragua spécialement dans le secteur de l'épargne et du crédit appuyées par William Bâez Sacasa par le biais de Funde (Fundaciôn Nicaraguense de Desarrollo). On développe 67 coopératives. Ce projet est bien accueilli dans toutes les régions du Nicaragua. Cet essor est toutefois de courte durée. Un changement politique et économique de 180 degrés dans le gouvernement national dans les années 80 fait en sorte que le grandiose projet coopératif s'effondre. Elles deviennent donc des refuges idéologiques de l'État-parti et vivent dans une situation d'échec économique et social. Actuellement, plusieurs de ces coopératives demeurent toujours sous la tutelle d'un parrain politique et continuent à vivre dans une situation chaotique parce qu'elles ne sont pas tout à fait autonomes et indépendantes. Cependant, de nouvelles coopératives surgissent au Nicaragua ou des anciennes coopératives renaissent des cendres, libres politiquement; elles font la démonstration à la Nation de la possibilité de leur existence et de leur développement. C'est grâce à leur croyances, leurs valeurs, aux principes coopératifs et à leur esprit entrepreneurial que des personnes crédibles et engagées au niveau local ont pu développer des coopératives avec l'appui de l'AID, le BID, WOCCU, FUNDE, entre autres. Pour mieux comprendre l'état actuel des coopératives au Nicaragua, il est important de connaître l'évolution politique et sociale de ce pays. D'abord, la famille Somoza a gouvernée le pays pendant 45 ans d’une manière dictatoriale. On l'accuse de s'enrichir avec l'argent des nicaraguayens. Cependant, l'économie du pays était alors en meilleur état qu'elle n'est aujourd'hui. Pendant cette période de temps est né le coopératisme. Mais, c'était en 1979 que les Somoza ont été renversés par les guérilleros de ligne marxiste, les sandinistes, qui ont gouverné aussi dictatorialement le pays en centralisant tout le pouvoir. L'État-partit était le seigneur de la vie politique, économique et sociale de tous les nicaraguayens. Même les coopératives ont été soumises au control de l'État sandiniste; c'est aussi durant cette période que de nombreuses coopératives ont été créées, surtout dans le secteur de la production agricole. Toutefois, celles-ci étaient devenues des noyaux d'expression idéologique. Après ce dur passage dans l'histoire de ce pays, les sandinistes ont dû procéder à des élections nationales en 1990, afin de connaître la position des citoyens suite à une douloureuse guerre civile. C'est ainsi que s'inscrit un nouvel épisode dans la vie politique, économique et sociale des nicaraguayens. Au cours des douze dernières années, le Nicaragua a eu trois présidents dans un régime démocratique. Ce sont Violeta Chamorro, Amoldo Alemân et, le tout dernier, Enrique Bolanos. Ces trois présidents ont fait en sorte que l'État ne soit plus celui qui contrôle tout. De grands changements se sont produits pour le mieux-être des nicaraguayens. La coopérative d'épargne et de crédit « Financiera Avances » L'essai rappelle l'histoire d'une coopérative dans une petite localité appelée Santo Tomás, Chontales au Nicaragua qui a su émerger d'une dure crise et qui a démontré sa capacité à devenir une coopérative solide et mûre par la persévérance, la ténacité, la foi et les valeurs de certains de ses membres. L'histoire de cette coopérative semble être un roman où de courageux protagonistes montrent leur valeur à travers de trois épisodes : sa naissance et [son] développement (1974-1982), sa décadence (1982-1993) et sa renaissance( 1993-...) [...]
Resumo:
Depuis l'année 1960, jusqu'au début des années '90, une institution financière, dite coopérative, s'est imposée sur le marché au Québec, accumulant durant cette période près de un milliard et demi de dollars (1 500 000 000,00 $) d'actifs. Presque jusqu'à sa "mort" coopérative, elle a connu des taux de croissance atteignant soixante pourcent (60%) par année. Beaucoup de personnes ont perdu des sommes importantes dans cette galère. L'image des coopératives en a pris pour son rhume et n'eût été du Mouvement Desjardins, nous doutons fort que la coopération aujourd'hui encore bénéficierait des mêmes appuis! Cette institution financière se nomme : le mouvement des caisses d'entraide économique. Pour éviter une situation semblable dans l'avenir, nous croyons pertinent de faire un retour dans le passé et d'analyser les comportements que ces caisses privilégiaient. À la lecture de ce travail, certains seront surpris de connaître les méthodes utilisées par elles et, à notre avis, le peu de dimension coopérative qu'on apportait avec les membres. Leur "faillite technique" en '81 a obligé le Gouvernement du Québec à réagir en conséquence. C'est alors que fut créé au Ministère des Institutions Financières un service d'inspection opérant avec des règles et des suivis relativement élaborés. On se rappelle qu'à cette époque aussi plusieurs banques à charte canadiennes ont connu des problèmes financiers majeurs, nécessitant l'intervention de l'État fédéral. Il a donc fallu des situations critiques avant qu'on apporte les correctifs requis, et cela même si le gouvernement de l'époque savait par un rapport secret depuis 1978, l'existence d'un problème potentiel! En 1979, alors que nous étions à l'emploi du Mouvement Desjardins, nous nous sommes intéressés à leurs techniques de ventes et à leur fonctionnement parce que certains dirigeants, gestionnaires et recruteurs des Caisses d'Entraide Économique laissaient courir le bruit que leur réseau était regroupé avec le Mouvement Desjardins, et aussi parce que leur agressivité causait des saignées de fonds très importantes dans les caisses populaires. On profitait ainsi de la grande crédibilité et confiance accordées à Desjardins pour accroître les ventes de leurs plans d'épargne. En collaboration avec certaines fédérations, nous avons compilé plusieurs informations pour fins d'analyse et de compréhension de leur système. Peu de temps après le début de ce travail, des problèmes majeurs au niveau de la liquidité, de la sécurité des fonds et de privilèges accordés à certains de leurs membres ont été soulevés au réseau TVA. Dès lors, étant donné la précarité de leur système financier, les membres n'avaient plus accès à leurs épargnes. La confiance en cette institution financière fut détruite presque sur le coup. […]
Resumo:
(POO) est l’utilisation de patrons de conception (PC). Un PC est un arrangement caractéristique de classes permettant d’offrir une solution éprouvée, tout en obtenant un code réutilisable et compréhensible. Plusieurs PC sont définis, dont 24 par la GoF [12] et plusieurs autres sont apparus par la suite. Le concept de PC est abstrait ce qui peut amener différentes interprétations. Ces différences peuvent aussi causer une mauvaise implémentation qui peut réduire les avantages d’utiliser ce patron. Ce projet consiste à concevoir un outil facilitant l’utilisation des PC. L’outil Génération et Restructuration de Patrons de Conception(GRPC) permet la génération automatique du squelette d’un patron de conception ainsi que la restructuration d’un code en le transformant structure respectant un PC. La génération et la restructuration automatique permettent d’obtenir un code uniforme et de qualité tout en respectant le patron de conception. La compréhension et la maintenance du code sont ainsi améliorées. GRPC est module d’extension pour l’environnement de développement Eclipse écrit en Java. Le code est conçu pour être facilement compréhensible et extensible. Les deux principaux objectifs de GRPC sont de restructurer (refactoring) une section de code vers l’architecture d’un patron de conception et de générer des squelettes de patrons de conception. Une interface graphique permet de guider l’utilisateur et d’aller chercher toutes les informations importantes pour le fonctionnement du logiciel. Elle permet aussi de configurer les éléments du patron de conception. Pour s’assurer de la possibilité d’effectuer une restructuration, chaque patron est associé avec une ou plusieurs règles qui analysent le code pour détecter la présence d’une structure particulière. Des procédures aident les développeurs à ajouter de nouveaux PC dans GRPC. GRPC fournit des fonctionnalités permettant d’implémenter quelques patrons de conception de la POO définis dans le livre Design Patterns : Elements of Reusable Object-Oriented Software.
Resumo:
La présence accrue de jeunes appartenant à un groupe ethnoculturel minoritaire dans les institutions pour jeunes contrevenants au Québec est une problématique complexe et préoccupante. Lorsque les études scientifiques se penchent sur les questions liées à la délinquance juvénile et aux gangs de rue, l’accent est placé sur l’identification de groupes ethniques plus à risque de s’associer à un gang (van Gemert, Peterson, & Lien, 2008; Wortley & Tanner, 2006). L’association à un gang de rue est régulièrement considérée comme un phénomène qui toucherait principalement les groupes ethnoculturels minoritaires (Perreault & Bibeau, 2003 ; Spergel, 2009), sans toutefois préciser le rôle plus concret de l’ethnicité et de la culture dans l’association aux gangs de rue. Cette thèse, composée d’articles scientifiques, présente les résultats de deux études portant sur l’identité ethnique de jeunes contrevenants, mesurée par le Multigroup Ethnic Identity Measure – Revised (MEIM-R) de Phinney et Ong (2007). La première étude explore les effets de l’identité ethnique et de la génération d’immigration sur les comportements délinquants autorévélés de jeunes contrevenants judiciarisés. (N = 71, âge 14-20 ans). Les comportements délinquants ont été mesurés à partir du Self-Report of Offending – Revised (SRO-R) de Huizingua, Esbensen et Weihar (1991). La seconde étude explore le rôle de l’identité ethnique et de l’appartenance à un groupe de minorités racisées dans l’association autorévélée à un gang de rue et dans l’adhésion à la culture de gang (N = 69; âge 14-20 ans). L’adhésion à la culture de gang a, quant à elle, été établie à partir de la Mesure d’adhésion à la culture de gang (MACg) de Fredette (2014). Les résultats indiquent une plus forte identité ethnique chez les jeunes contrevenants issus de la première et de la seconde génération d’immigration que ceux de la troisième génération d’immigration ou plus. Lorsqu’on tient uniquement compte de l’apparence ethnique, les jeunes contrevenants appartenant à une minorité racisée présentent aussi des plus hauts scores d’identité ethnique que ceux appartenant à la majorité caucasienne. Les résultats indiquent également que les jeunes contrevenants de l’échantillon ayant immigré avant l’âge de 6 ans et qui ont tendance à présenter une identité ethnique élevée rapportent davantage de crimes contre la personne. Afin de mieux cerner les mécanismes sous-jacents à l’effet de l’identité ethnique sur les crimes reconnus plus violents, il a été convenu de prendre l’association à un gang de rue comme variable dépendante de la seconde étude. En effet, les délinquants qui se disent associés aux gangs de rue présentent une problématique de délinquance plus sévère que les autres (Laurier, Guay, Lafortune, & Toupin, 2015), notamment en ce qui a trait à la délinquance violente (Guay et al., 2015). Plus un jeune contrevenant rapporte un niveau d’exploration de l’identité ethnique élevé, plus il adhère aux dimensions signes et symboles et règles et rituels de l’adhésion à la culture de gang, et ce, peu importe son âge, ou qu’il appartienne à une minorité racisée. Cette recherche fait ressortir l’importance de s’intéresser aux questions identitaires liées à l’ethnicité, à la race et à la culture lors d’interventions auprès de jeunes contrevenants, et ce, peu importe leurs origines.
Resumo:
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.
Resumo:
Les transactions sur les valeurs mobilières ainsi que leur mise en garantie se font bien au-delà des frontières nationales. Elles impliquent une multitude d’intervenants, tels que l’émetteur, un grand nombre d’intermédiaires disposés en structure pyramidale, un ou des investisseurs et, bien évidemment, les bénéficiaires desdites valeurs mobilières ou garanties. On peut aussi signaler l’existence de nombreux portefeuilles diversifiés contenant des titres émis par plusieurs émetteurs situés dans plusieurs états. Toute la difficulté d’une telle diversité d’acteurs, de composantes financières et juridiques, réside dans l’application de règles divergentes et souvent conflictuelles provenant de systèmes juridiques d’origines diverses (Common Law et civiliste). De nombreux juristes, de toutes nationalités confondues, ont pu constater ces dernières années que les règles de création, d’opposabilité et de réalisation des sûretés, ainsi que les règles de conflit de lois qui aident à déterminer la loi applicable à ces différentes questions, ne répondaient plus adéquatement aux exigences juridiques nationales dans un marché financier global, exponentiel et sans réelles frontières administratives. Afin de résoudre cette situation et accommoder le marché financier, de nombreux textes de loi ont été révisés et adaptés. Notre analyse du droit québécois est effectuée en fonction du droit américain et canadien, principales sources du législateur québécois, mais aussi du droit suisse qui est le plus proche de la tradition civiliste québécoise, le tout à la lueur de la 36e Convention de La Haye du 5 juillet 2006 sur la loi applicable à certains droits sur des titres détenus auprès d'un intermédiaire. Par exemple, les articles 8 et 9 du Uniform Commercial Code (UCC) américain ont proposé des solutions modernes et révolutionnaires qui s’éloignent considérablement des règles traditionnelles connues en matière de bien, de propriété, de sûreté et de conflits de lois. Plusieurs autres projets et instruments juridiques dédiés à ces sujets ont été adoptés, tels que : la Loi uniforme sur le transfert des valeurs mobilières (LUTVM) canadienne, qui a été intégrée au Québec par le biais de la Loi sur le transfert de valeurs mobilières et l’obtention de titres intermédiés, RLRQ, c.T-11.002 (LTVMQ) ; la 36e Convention de La Haye du 5 juillet 2006 sur la loi applicable à certains droits sur des titres détenus auprès d'un intermédiaire; la Loi fédérale sur le droit international privé (LDIP) suisse, ainsi que la Loi fédérale sur les titres intermédiés (LTI) suisse. L’analyse de ces textes de loi nous a permis de proposer une nouvelle version des règles de conflit de lois en matière de sûretés et de transfert des titres intermédiés en droit québécois. Cette étude devrait susciter une réflexion profonde du point de vue d’un juriste civiliste, sur l’efficacité des nouvelles règles québécoises de sûretés et de conflit de lois en matière de titres intermédiés, totalement inspirées des règles américaines de Common Law. Un choix qui semble totalement ignorer un pan du système juridique civiliste et sociétal.
Resumo:
Dans cette thèse, nous avons analysé le déroulement d’un processus de municipalisation du système de santé, effectué au Rio Grande do Norte (RN), un des états fédérés du nord-est du Brésil. En tenant compte des contextes historiques d’implantation, nous avons centré notre attention sur la contribution des acteurs impliqués dans ce processus, spécialement dans l’allocation des ressources financières du système. Les croyances, perceptions, attentes, représentations, connaissances, intérêts, l’ensemble des facteurs qui contribuent à la constitution des capacités cognitives de ces acteurs, favorise la réflexivité sur leurs actions et la définition de stratégies diverses de façon à poursuivre leurs objectifs dans le système de santé. Ils sont vus ainsi comme des agents compétents et réflexifs, capables de s’approprier des propriétés structurelles du système de santé (règles et ressources), de façon à prendre position dans l’espace social de ce système pour favoriser le changement ou la permanence du statu quo. Au cours du processus de structuration du Système unique de santé brésilien, le SUS, la municipalisation a été l’axe le plus développé d’un projet de réforme de la santé. Face aux contraintes contextuelles et de la dynamique complexe des espaces sociaux de la santé, les acteurs réformistes n’ont pas pu suivre le chemin de l’utopie idéalisée; quelques détours ont été parcourus. Au RN, la municipalisation de la santé a constitué un processus très complexe où la triade centralisation/décentralisation/recentralisation a suivi son cours au milieu de négociations, de conflits, d’alliances, de disputes, de coopérations, de compétitions. Malgré les contraintes des contextes successifs, des propriétés structurelles du système et des dynamiques sociales dans le système de santé, quelques changements sont intervenus : la construction de leaderships collectifs; l’émergence d’une culture de négociation; la création des structures et des espaces sociaux du système, favorisant les rencontres des acteurs dans chaque municipalité et au niveau de l’état fédéré; un apprentissage collectif sur le processus de structuration du SUS; une grande croissance des services de première ligne permettant d’envisager une inversion de tendance du modèle de prestation des services; les premiers pas vers la rupture avec la culture bureaucratique du système. Le SUS reste prisonnier de quelques enjeux institutionnalisés dans ce système de santé : la dépendance du secteur privé et de quelques groupes de professionnels; le financement insuffisant et instable; la situation des ressources humaines. Les changements arrivés sont convergents, incrémentiels, lents; ils résultent d’actions normatives, délibérées, formalisées. Elles aussi sont issues de l’inattendu, de l’informel, du paradoxe; quelques-unes plus localisées, d’autres plus généralisées, pour une courte ou une plus longue durée.
Resumo:
People go through their life making all kinds of decisions, and some of these decisions affect their demand for transportation, for example, their choices of where to live and where to work, how and when to travel and which route to take. Transport related choices are typically time dependent and characterized by large number of alternatives that can be spatially correlated. This thesis deals with models that can be used to analyze and predict discrete choices in large-scale networks. The proposed models and methods are highly relevant for, but not limited to, transport applications. We model decisions as sequences of choices within the dynamic discrete choice framework, also known as parametric Markov decision processes. Such models are known to be difficult to estimate and to apply to make predictions because dynamic programming problems need to be solved in order to compute choice probabilities. In this thesis we show that it is possible to explore the network structure and the flexibility of dynamic programming so that the dynamic discrete choice modeling approach is not only useful to model time dependent choices, but also makes it easier to model large-scale static choices. The thesis consists of seven articles containing a number of models and methods for estimating, applying and testing large-scale discrete choice models. In the following we group the contributions under three themes: route choice modeling, large-scale multivariate extreme value (MEV) model estimation and nonlinear optimization algorithms. Five articles are related to route choice modeling. We propose different dynamic discrete choice models that allow paths to be correlated based on the MEV and mixed logit models. The resulting route choice models become expensive to estimate and we deal with this challenge by proposing innovative methods that allow to reduce the estimation cost. For example, we propose a decomposition method that not only opens up for possibility of mixing, but also speeds up the estimation for simple logit models, which has implications also for traffic simulation. Moreover, we compare the utility maximization and regret minimization decision rules, and we propose a misspecification test for logit-based route choice models. The second theme is related to the estimation of static discrete choice models with large choice sets. We establish that a class of MEV models can be reformulated as dynamic discrete choice models on the networks of correlation structures. These dynamic models can then be estimated quickly using dynamic programming techniques and an efficient nonlinear optimization algorithm. Finally, the third theme focuses on structured quasi-Newton techniques for estimating discrete choice models by maximum likelihood. We examine and adapt switching methods that can be easily integrated into usual optimization algorithms (line search and trust region) to accelerate the estimation process. The proposed dynamic discrete choice models and estimation methods can be used in various discrete choice applications. In the area of big data analytics, models that can deal with large choice sets and sequential choices are important. Our research can therefore be of interest in various demand analysis applications (predictive analytics) or can be integrated with optimization models (prescriptive analytics). Furthermore, our studies indicate the potential of dynamic programming techniques in this context, even for static models, which opens up a variety of future research directions.