149 resultados para Logiciels dédiés


Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

De nombreux problèmes liés aux domaines du transport, des télécommunications et de la logistique peuvent être modélisés comme des problèmes de conception de réseaux. Le problème classique consiste à transporter un flot (données, personnes, produits, etc.) sur un réseau sous un certain nombre de contraintes dans le but de satisfaire la demande, tout en minimisant les coûts. Dans ce mémoire, on se propose d'étudier le problème de conception de réseaux avec coûts fixes, capacités et un seul produit, qu'on transforme en un problème équivalent à plusieurs produits de façon à améliorer la valeur de la borne inférieure provenant de la relaxation continue du modèle. La méthode que nous présentons pour la résolution de ce problème est une méthode exacte de branch-and-price-and-cut avec une condition d'arrêt, dans laquelle nous exploitons à la fois la méthode de génération de colonnes, la méthode de génération de coupes et l'algorithme de branch-and-bound. Ces méthodes figurent parmi les techniques les plus utilisées en programmation linéaire en nombres entiers. Nous testons notre méthode sur deux groupes d'instances de tailles différentes (gran-des et très grandes), et nous la comparons avec les résultats donnés par CPLEX, un des meilleurs logiciels permettant de résoudre des problèmes d'optimisation mathématique, ainsi qu’avec une méthode de branch-and-cut. Il s'est avéré que notre méthode est prometteuse et peut donner de bons résultats, en particulier pour les instances de très grandes tailles.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El presente articulo intenta determinar las razones por las que el santuario de Sant Miquel de Llíria, uno de los más importantes de la actual provincia de Valencia, se consagró al arcàngel guerrero. Se estudia para ello la historia de su culto en Occidente, haciendo hincapié en aspectos como su relación con los lugares elevados y la frecuente proximidad de sus santuarios con aquellos dedicados a la Virgen. Atenderemos también a aspectos fundamentales del contexto histórico, como los movimientos de renovación espiritual medievales, la influencia del médico y teólogo Arnau de Vilanova en la Valencia de principios del siglo XIV y las profecías escatológicas vinculadas a la llegada del Anticristo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le syndrome de détresse respiratoire du nouveau-né (SDR) est l’une des pathologies les plus fréquentes dont souffrent les bébés prématurés. Le SDR est causé par un déficit dans la synthèse du surfactant pulmonaire en raison de l’immaturité du poumon lors d’une naissance prématurée. Plusieurs éléments régulent le développement pulmonaire notamment les stéroïdes sexuels et les corticostéroïdes. Le sexe est aussi un élément régulateur du développement pulmonaire. En effet, les garçons sont plus atteints que les filles par le SDR. Ce dimorphisme sexuel est attribué aux androgènes. Le traitement anténatal aux glucocorticoïdes est prescrit aux femmes qui sont à risque d’accoucher prématurément. En effet, les corticostéroïdes favorisent la maturation pulmonaire anténatale. Également, il a été démontré que les microARNs sont primordiaux pour le développement pulmonaire. Ceci nous a conduit à étudier l’impact des androgènes sur le profil d’expression des microARNs lors de la transition du stade canaliculaire au stade sacculaire (jour gestationnel (JG)17.0 au JG18.0), période qui coïncide avec la montée de la synthèse et de la sécrétion du surfactant chez la souris. Tout d’abord, nous avons étudié la stabilité des gènes de normalisation (snoRNAs) afin de quantifier les microARNs par qPCR. Cette analyse a été effectuée avec 3 logiciels différents et sur plusieurs stades du développement notamment de la période pseudoglandulaire jusqu’au stade alvéolaire chez les deux sexes. On a identifié les meilleures combinaisons de gènes de normalisation les plus stables pour chaque stade du développement étudié ainsi que pour la période couvrant tous les stades étudiés. Ensuite nous avons analysé à GD17.0 et GD18.0 le profil d’expression des microARNs chez des fœtus mâles dont les mères ont été traitées au flutamide (anti-androgènes pure). Les résultats ont montré que 43 microARNs matures sont modulés par les androgènes à GD17.0 et 35 microARNs à GD18.0. Pour certains microARNs, nous avons identifié des cibles potentielles qui sont inversement modulées par les androgènes par rapport aux microARNs. Ces cibles sont impliquées dans plusieurs processus biologiques tels que le métabolisme des lipides et la prolifération cellulaire ainsi que dans des fonctions moléculaires tels que la liaison des facteurs de transcription. Des expériences de validation ont été effectuées par qPCR. Nos résultats ont montré que les androgènes régulent des processus qui peuvent être impliqués dans la maturation pulmonaire via la régulation des microARNs. En plus de l’intérêt porté aux androgènes dans la maturation pulmonaire, nous avons analysé l’expression d’enzymes de synthèse des corticostéroïdes dans le poumon fœtal humain. L’expression de l’enzyme 21-hydroxylase a été étudiée par qPCR et par immunobuvardage. Également la localisation de l’ARNm de cette enzyme clé de la synthèse des glucocorticoïdes, a été effectuée par hybridation in situ. L’ARNm de CYP21A2 a été détecté par qPCR dans les 34 échantillons analysés et dont les âges variaient entre 17 et 40 semaines de grossesse. Aucune corrélation, avec l’âge gestationnel ou le sexe, n’a été observée. Des niveaux significatifs de la protéine 21-hydroxylase ont été détectés dans nos échantillons. Nous avons investigué l’expression d’autres enzymes impliquées dans la voie de synthèse des glucocorticoïdes notamment CYP11B1, CYP11B2 et CYP17A1. Les ARNm des gènes CYP11B1, CYP11B2 n’ont pas été détectés dans nos échantillons, contrairement à CYP17A1 dont l’ARNm a été détecté dans tous nos tissus fœtaux analysés. La protéine de la 17α-hydroxylase a été détectée à de faibles niveaux. Nos résultats d’hybridation in situ ont montré que l’expression de CYP21A2 est localisée presqu’exclusivement dans l’épithélium pulmonaire distal. Nos résultats suggèrent que les produits de la 21-hydroxylase agiront via une action intracrine sur l’épithélium distal en activant le récepteur des glucocorticoïdes (GR). L’activation du récepteur des minéralocorticoïdes (MR) ne semble pas dépendre de produits de la 21-hydroxylase en raison des quantités importantes d’aldostérone circulante.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les travaux sur la nutrition en vitamines B des ruminants montrent des résultats très variés sur les quantités de ces nutriments disponibles pour l’animal selon la nature de la ration. Ces divergences sont dues à des changements des populations microbiennes dans le rumen, causées par les facteurs physico-chimiques de la ration. Une amélioration de la compréhension des effets de la nature de la diète sur la synthèse et l’utilisation des vitamines B dans le rumen pourrait aider à identifier les conditions sous lesquelles une supplémentation en ces vitamines serait bénéfique pour la vache. Le but de ce travail de thèse est donc d’améliorer la compréhension des effets de l’espèce fourragère, de la maturité et de la longueur des particules de fourrage sur les apports en vitamines B chez la vache laitière. Pour évaluer chacune de ces variables, les concentrations de thiamine, riboflavine, niacine, vitamine B6, folates et vitamine B12 ont été mesurées dans les échantillons d’aliments et de digesta duodénal recueillis lors de trois projets réalisés à l’Université du Michigan par l’équipe du Dr. M. Allen. Dans la première étude, l’effet de l’espèce fourragère des ensilages a été évalué au cours de deux expériences similaires durant lesquelles les vaches recevaient une diète à base d’ensilage de luzerne ou de dactyle. Les diètes à base de luzerne ont été associées à une augmentation de la dégradation de la thiamine et de la vitamine B6 dans le rumen par rapport aux diètes à base d’ensilage de dactyle. La deuxième étude visait à évaluer les effets de la maturité des plantes lors de la mise en silo sur les quantités de vitamines B disponibles pour la vache; les deux expériences se différenciaient par l’espèce fourragère étudiée, soit la luzerne ou le dactyle. Une récolte à un stade de maturité plus élevé a augmenté les flux duodénaux de thiamine, de niacine et de folates lorsque les vaches recevaient des diètes à base d’ensilage de luzerne mais n’a diminué que le flux duodénal de riboflavine chez les animaux recevant des diètes à base d’ensilage de dactyle. La troisième étude a comparé les effets de la longueur de coupe (10 vs. 19 mm) d’ensilages de luzerne et de dactyle sur le devenir des vitamines B dans le système digestif de la vache laitière. Cette étude a permis de constater qu’une augmentation du temps de séchage au champ diminuait les concentrations de vitamines B dans les ensilages. Cependant, la taille des particules des ensilages de luzerne et de dactyle n’a pas affecté les quantités des vitamines B arrivant au duodénum des vaches. En général, les résultats de ces études montrent qu’il existe une corrélation négative entre la synthèse de riboflavine, de niacine et de vitamine B6 et leur ingestion, suggérant une possible régulation de la quantité de ces vitamines B par les microorganismes du rumen. De plus, l’ingestion d’amidon et d’azote a été corrélée positivement avec la synthèse de thiamine, de folates et de vitamine B12, et négativement avec la synthèse de niacine. Ces corrélations suggèrent que les microorganismes qui utilisent préférentiellement l’amidon jouent un rôle majeur pour la synthèse ou la dégradation de ces vitamines. De plus, la présence d’une quantité suffisante d’azote semble avoir un impact majeur sur ces processus. La suite de ces travaux devrait viser la modélisation de ces données afin de mieux appréhender la physiologie de la digestion de ces vitamines et permettre la création de modèles mathématiques capables de prédire les quantités de vitamines disponibles pour les vaches. Ces modèles permettront, lorsqu’intégrés aux logiciels de formulation de ration, d’élaborer une diète plus précise, ce qui améliorera la santé du troupeau et la performance laitière et augmentera les profits du producteur.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Au Québec, environ un million de résidences sont isolées des réseaux d’égouts municipaux et doivent traiter leurs eaux usées à l’aide de systèmes d’assainissement autonomes. Également nommés installations septiques, ces systèmes sont susceptibles de contaminer l’environnement lorsqu’ils sont défaillants, désuets ou non conformes. Les épisodes de cyanobactéries survenus de 2006 à 2012 dans les plans d’eau québécois ont été attribués à d’importants apports de phosphore, que libèrent notamment les installations septiques polluantes. Les municipalités, les municipalités régionales de comté et les régies intermunicipales ont des compétences et des obligations en vertu du Règlement sur l’évacuation et le traitement des eaux usées des résidences isolées et de l’article 25.1 de la Loi sur les compétences municipales portant sur une gestion adéquate des installations septiques. Une gestion optimale de celles-ci permettant de protéger l’environnement et de prévenir la contamination est possible par la mise en place d’un programme de gestion qui concerne plus spécifiquement la vidange des fosses septiques et l’inspection des systèmes. L’objectif de cet essai est de faire une analyse des éléments constituants d’un programme de gestion des installations septiques et de discuter de leur mise en oeuvre pour assurer leur fonctionnement optimal. L’essai a été rédigé de manière à présenter l’information sous forme de lignes directrices pour guider les gestionnaires de programme ainsi que les preneurs de décisions. Un programme de gestion optimal se traduit par la prise en charge de la vidange des fosses septiques d’un territoire par une des trois entités municipales qui peuvent exercer un meilleur contrôle des systèmes d’épuration autonomes par la vidange des fosses septiques et de leur inspection régulière. Les inspections prennent la forme de relevés sanitaires qui permettent de classifier les installations en fonction de leur performance et d’inspections sommaires qui visent à faire un diagnostic simple et rapide d’une installation. Plusieurs autres éléments doivent être pris en compte dans le cadre d’un programme de gestion. Soit l’application d’un règlement municipal, la fréquence et le type de vidange, le recours à des experts, la sensibilisation des propriétaires des systèmes d’épuration autonomes, une démarche d’acceptabilité sociale et l’emploi de logiciels de suivi. L’efficacité d’un programme de gestion dépendra de la rigueur avec laquelle les instances municipales appliqueront les éléments de gestion. Il est recommandé au ministère du Développement durable, de l’Environnement et de la Lutte contre les changements climatiques d’apporter des modifications au règlement provincial dans le but de le rendre plus contraignant pour les systèmes vecteurs de contamination indirecte et ceux antérieurs à 1981. Le ministère des Affaires municipales et de l’Occupation du territoire devrait offrir son soutien aux municipalités dans le cadre de leur programme de gestion en offrant de l’aide financière, de la documentation et des formations.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-07

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Nous avons élaboré comme objectif principal de cet essai la formalisation des connaissances lors du processus de développement de nouveaux produits qui pourra par la suite être intégrée dans un logiciel de système expert et implanté dans une entreprise de haute technologie. Suite à une revue de la littérature sur laquelle s'appuie le développement de cet essai, notre démarche pour formaliser les connaissances s'est effectuée par des entrevues semi-structurées pour étudier en détail le fonctionnement de l'entreprise lors du développement d'un nouveau produit. Après avoir identifier le modèle utilisé chez Systèmes d'Informatique Philips Ltée, nous avons déterminer les points précis dans le processus de développement d'un nouveau produit où sont prises les décisions, par qui ou par quel comité et à l'aide de quelles informations. Ceci a été suivi par l'identification de six phases dans leur modèle lors du développement de nouveaux produits. Nous avons par la suite formaliser les connaissances en des règles de production pour représenter ces six phases et tout ceci a été fait grâce à la collaboration des experts du département de marketing et de recherche et développement. Suite à ceci, nous avons étudiés divers projets de développement de nouveaux produits sur le marché (matériels et logiciels) afin d'ajouter d'autres règles à notre modèle. Pour mieux visualiser ces connaissances, nous avons développé un prototype de système expert avec le logiciel GURU, prototype qui représente les deux premières phases de notre modèle. Nous souhaitons que notre prototype de démonstration soit poursuivi jusqu'à l'implantation complète du système expert et ceci avec la possibilité de modifications liées à la vie de l'entreprise.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le Régime des Prêts et bourses donne lieu à de nombreuses révisions annuellement par un grand nombre de candidats désireux d'obtenir plus du Gouvernement. Ces nombreuses demandes de révision sont parfois incomplètes, injustifiées, mal documentées et, parfois, elles ne sont même pas présentées, faute d'information. Le projet «Un système expert pour les Prêts et Bourses» tente de résoudre une partie du problème en offrant aux candidats et aux conseillers en milieux scolaires un outil qui permettrait à tous de pouvoir déterminer, facilement et exactement, le montant d'aide espéré. De plus, le prototype présenté explique au candidat les démarches à suivre et les documents nécessaires à une demande de révision si les résultats de son analyse ne correspondent pas avec ceux emmagasinés à Québec. Le prototype utilise les plus récents développements dans le domaine des logiciels commercial sur micro-ordinateurs dans les domaines suivants: bases de données et systèmes experts. Grâce à un mariage de programmation conventionnelle et de règles d'expertise, le système permet de définir rapidement la situation d'un candidat et de lui indiquer exactement ce à quoi il peut s'attendre du gouvernement. Le prototype a atteint ses objectifs principaux et il est fonctionnel. Son sort, en fonction des perfectionnements qu'il nécessite, est maintenant lié aux développements technologiques dans le domaine du matériel et du logiciel. La volonté des intervenants du milieu à mettre à la disposition des candidats un système avant-gardiste, première pierre d'un ensemble intégré de gestion des Prêts et Bourses, influencera aussi son utilisation future. Chose certaine, il est maintenant pensable de mettre au point des applications pratiques relativement complexes grâce à la technologie des systèmes experts et des bases de données et ce, sur micro-ordinateurs.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les logiciels actuels sont de grandes tailles, complexes et critiques. Le besoin de qualité exige beaucoup de tests, ce qui consomme de grandes quantités de ressources durant le développement et la maintenance de ces systèmes. Différentes techniques permettent de réduire les coûts liés aux activités de test. Notre travail s’inscrit dans ce cadre, est a pour objectif d’orienter l’effort de test vers les composants logiciels les plus à risque à l’aide de certains attributs du code source. À travers plusieurs démarches empiriques menées sur de grands logiciels open source, développés avec la technologie orientée objet, nous avons identifié et étudié les métriques qui caractérisent l’effort de test unitaire sous certains angles. Nous avons aussi étudié les liens entre cet effort de test et les métriques des classes logicielles en incluant les indicateurs de qualité. Les indicateurs de qualité sont une métrique synthétique, que nous avons introduite dans nos travaux antérieurs, qui capture le flux de contrôle ainsi que différentes caractéristiques du logiciel. Nous avons exploré plusieurs techniques permettant d’orienter l’effort de test vers des composants à risque à partir de ces attributs de code source, en utilisant des algorithmes d’apprentissage automatique. En regroupant les métriques logicielles en familles, nous avons proposé une approche basée sur l’analyse du risque des classes logicielles. Les résultats que nous avons obtenus montrent les liens entre l’effort de test unitaire et les attributs de code source incluant les indicateurs de qualité, et suggèrent la possibilité d’orienter l’effort de test à l’aide des métriques.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

L'évolution très rapide de l'économie, la globalisation des marchés et l'incertitude liée aux conditions économiques obligent les organisations, autant les petites que les grandes, à faire un effort systématique pour connaître à tout moment leur situation actuelle, pour prévoir où elles seront dans quelques mois ou quelques années et pour analyser les stratégies et les opportunités en accord avec les buts et les objectifs qu’elles se sont donnés. Les entreprises se sont dotées au cours des vingt dernières années, de systèmes informatisés de plus en plus complexes afin de connaître leurs résultats financiers. Mais ces systèmes se sont graduellement alourdis au cours des ans, si bien qu'ils ne peuvent montrer de façon rapide la véritable situation de la firme. Pourtant, l’administrateur a besoin de cette information de façon instantanée. De plus, les systèmes informatisés implantés dans les entreprises n'ont pas été développés pour simuler l'avenir : le gestionnaire est souvent obligé de se fier à son instinct. Cependant, à cause de la vitesse vertigineuse à laquelle elle évolue, de la multitude de problèmes différents et complexes qui l’assaillent et de la concurrence de plus en plus difficile et féroce, l'entreprise qui n'a pas à sa disposition des outils informatiques efficaces risque de se faire dépasser par ses concurrentes. Heureusement, les derniers développements technologiques en micro et en mini-informatique permettent aux organisations de résoudre plus facilement beaucoup de leurs problèmes. L'avènement récent de logiciels spécialisés dans la livraison aux décideurs des informations essentielles à la bonne gestion et à la prise de décision permet à l'entreprise de demeurer très compétitive. Ces systèmes sont très faciles à opérer: le dirigeant a accès à l’information sans assistance technique. Ces nouveaux outils permettent au cadre de s'assurer que son organisation est en bonne santé ou, le cas échéant, de corriger les problèmes. Ces systèmes, communément appelés des tableaux de bord pour administrateurs, aident ceux-ci à analyser les tendances et à chiffrer les différentes stratégies. La présente étude vise à appliquer aux cégeps ce type de système informatique.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A Grande Guerra foi o acontecimento ápice de tensões acumuladas entre as potências da Europa ainda no começo da segunda década do século XX. O conflito deflagrado no verão de 1914 expandiu-se e envolveu nações de outros continentes, tornando-o mundial, com repercussões que extrapolaram os mais de quatro anos de batalhas oficiais – atualmente pode-se concluir que a Segunda Guerra Mundial nada mais foi do que a segunda parte de um conflito que não acabou de forma a contentar todos os países beligerantes. Entretanto, a Grande Guerra também demarcou o final de uma era conhecida como belle époque, um tempo que simbolicamente representava o apogeu cultural, econômico e social na Europa, inspirador do modelo civilizador em nações no novo mundo, inclusive no Brasil. Na Amazônia, sobretudo na capital do Estado do Pará, Belém, vivia-se ainda sob o imaginário da era da abundância provocada pela exportação da borracha nativa, cujo inicio ocorreu no final do século XIX e na primeira década do século passado. Nesse cenário, desenvolveu-se um jornalismo forte e muito sintonizado com as questões nacionais, regionais e de além-mar. Formado por intelectuais, políticos e escritores, o jornalismo paraense cobriu de forma sistemática os acontecimentos em torno da Grande Guerra, desde a morte do herdeiro do trono do Império Austro-húngaro, Francisco Ferdinando, até a paz ser selada. Com base neste panorâma, o objetivo desta investigação centra-se no esforço para compreender a natureza da cobertura jornalística dos jornais paraenses acerca da Primeira Guerra Mundial, tendo como objeto de análise três jornais diários que circulavam à época: Estado do Pará, Folha do Norte e A Tarde. Os dois primeiros eram jornais generalistas e de longo período de circulação. O terceiro foi um jornal vespertino, publicado entre setembro de 1915 e setembro de 1916, portanto, de caráter ocasional. Para alcançar esse objetivo, a metodologia usada compreende as análises quantitativa e qualitativa de conteúdo, conforme descrito por Sousa (2006). A primeira parte das análises centra-se em avaliar os dados relativos ao número de peças, de espaços dedicados ao tema da guerra, entre outros aspectos quantificáveis. Na segunda parte usou-se a análise qualitativa com base no estudo do diálogo establecido entre os aspectos da historiografia e os achados jornalísticos nos três jornais.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En 1983, un « nouveau » type de logiciels que nous avons appelé « idéateur » est apparu sur le marché de la micro-informatique. Ces logiciels combinent les facilités du traitement de textes avec l'utilisation particulière du « chaînage » de texte. Ce chaînage permet entre autre les manipulations suivantes du texte; classer, mettre en ordre prioritaire, sous-catégoriser des ensembles, lancer les items au hasard, effacer, déplacer ou copier un ou des items, etc. (Pour plus de détails, voir le chapitre 1.2 et les annexes 1 à 3). Après une étude pour situer le cadre de notre recherche (voir le chapitre II) et la traduction du logiciel MaxThink, nous avons introduit cet idéateur dans une classe de français correctif, de niveau collégial. Nous avons choisis ces sujets parce ces étudiant-e-s se servaient déjà de l'ordinateur à l'intérieur des cours et qu'ils (elles) avaient intérêt (pensions-nous) à utiliser l’idéateur pour améliorer leur français. Tous ces sujets ont eu à suivre le cours sur la manipulation de MaxThink. Un design expérimental de catégorie « semi-contrôlée » a été mis en place pour isoler l'influence des trois instruments servant à la composition ; l'idéateur (MaxThink), un traitement de texte traditionnel (Editexte) et le crayon/papier. Le pré-test et le post-test consistant à composer sur un thème déterminé était à chaque fois précédé d'un brainstorming afin de générer une liste d'idées". Par la suite, les textes ont été soumis à trois juges qui ont eu à coter la cohérence globale individuelle pré-test/post-test et la cohérence de groupe au pré-test ainsi qu'au post-test. Deux analyses statistiques non-paramétriques utiles pour un nombre restreint de sujets (trois sous-groupes de quatre sujets) ont été utilisées: analyse de variance (formule KRUSKAL-WALLIS) et analyse des probabilités d'occurrence des distributions (formule HODGES-LEHMANN). En conclusion, nos recommandations tiennent compte de l'analyse statistique des résultats et des commentaires des étudiant-e-s.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Créé en 2006, le Fonds vert du Québec a été établi dans le but de financer les mesures et les activités favorisant le développement durable. Au fil des années, ce fonds a permis d’amasser d’importantes sommes, notamment grâce aux redevances, à la tarification ou à la compensation. Les changements climatiques ont amené le Ministère du Développement durable, de l’Environnement et de la Lutte contre les changements climatiques à consacrer la majeure partie des revenus du Fonds vert pour cet enjeu. Avec un bilan positif dans les revenus, on peut penser que le Fonds vert a aidé à réaliser les objectifs du Québec en matière de changements climatiques. Or, dans les dernières années, plusieurs parties prenantes, dont le Commissaire au développement durable, ont relevé des problèmes importants dans la gestion du fonds. Ces problèmes se situent notamment dans la gestion stratégique, dans la gestion des programmes et des projets ainsi que dans la diffusion de l’information. La gouvernance actuelle du Fonds vert du Québec n’a donc pas apporté les résultats souhaités en matière d’adaptation aux changements climatiques et en réduction des émissions de gaz à effet de serre. L’objectif de l’essai est d’analyser le cadre de gestion des fonds verts existants du Canada et des États-Unis afin de relever des solutions qui permettraient d’améliorer le Fonds vert du Québec en matière de changements climatiques au Québec. Pour atteindre cet objectif, divers fonds verts existants partageant des traits similaires à celui du Québec ont été analysés. Le choix s’est arrêté au Fonds municipal vert, au Climate Change and Emissions Management Fund et au California Climate Investments. Ces derniers ont été analysés en fonction d’un tableau comparatif comprenant des critères comme l’établissement d’objectifs visant l’atteinte de résultats, l’élaboration d’un processus de sélection de projets, la mise en œuvre d’un mécanisme de surveillance ou de suivi et la diffusion des informations relatives aux programmes. L’analyse comparative a permis de constater quelques tendances dans la gestion des fonds verts. D’abord, les fonds verts ont adopté leur propre approche dans la formulation des objectifs du fonds. Le Fonds municipal vert se démarque en établissant des objectifs de nature budgétaire et stratégique. De plus, ces objectifs sont énoncés de façon spécifique, mesurable, appropriée, réaliste et délimitée dans le temps. Les fonds verts analysés présentent également un processus de sélection de projets plus élaborés que celui du Fonds vert du Québec, en ce qu’il prévoit des critères d’admissibilités bien définis, une multitude d’étapes de sélection et la participation de plusieurs acteurs, notamment des acteurs externes. Le Climate Change and Emissions Management Fund se distingue des autres fonds, en ce qu’il introduit un comité, le Fairness monitor, pour surveiller le processus de sélection. Pour tous les fonds verts de cette analyse, le mécanisme de surveillance ou de suivi se traduit par des livrables, comme des rapports annuels, exécutés par des auditeurs indépendants. Enfin, les fonds verts utilisent divers moyens de communication pour faciliter la compréhension du fonctionnement du fonds en question. Le Fonds municipal vert offre des activités, telles que du réseautage, du mentorat, des conférences afin d’encourager le partage des connaissances et l’apprentissage par les pairs. Le California Climate Investments a mis sur pied une plateforme sur Internet qui permet de voir en continu l’évolution et les résultats des projets financés. Aux termes de cette analyse, quatre recommandations ont été formulées en fonction des éléments de gestion qui sont le plus ressortis des trois fonds verts.