200 resultados para Arbre de typage
Resumo:
La municipalité de Weedon, en Estrie, a récemment acquis un terrain vacant à proximité du village. La municipalité désire un développement intégrant le concept de développement durable dans le plan d’aménagement du terrain et dans la construction des infrastructures. L’objectif général de ce travail est de recommander à la municipalité de Weedon des moyens pour adapter l’écoquartier aux caractéristiques hydrographiques et biophysiques du milieu. Premièrement, le milieu biophysique et hydrographique est caractérisé grâce à l’analyse de données géospatiales et par photointerprétation de photographies aériennes. Le potentiel de développement est analysé grâce à l’outil ArcGIS afin de déterminer les zones propices à l’urbanisation ainsi que les zones à exclure. Il est recommandé de concentrer le développement du site dans la zone n’ayant aucune contrainte et de limiter la densité des habitations dans les espaces présentant des contraintes. Selon ces suggestions, il sera possible de développer environ 40 bâtiments sur le site. Deuxièmement, les systèmes de gestion des eaux usées (le système septique individuel, le système décentralisé et le système centralisé) sont décrits en fonction de leurs avantages, de leurs inconvénients et de leurs limites. Ces points sont ensuite comparés et la création d’un arbre de décision permet de recommander le système le mieux adapté au milieu. Les zones avec contraintes de développement devraient utiliser des systèmes de traitement septiques. Pour ce qui est de la zone sans contraintes, le système de traitement septique est recommandé uniquement si la densité est égale ou inférieure à 5 unités d’habitations par hectare. Si la densité désirée par la municipalité est plus élevée pour cette zone, le raccordement au système de traitement centralisé est recommandé. Troisièmement, les mesures de gestion des eaux pluviales sont présentées selon différentes caractéristiques adaptées au site. Leur recommandation est basée sur une analyse multicritère pondérée. Les pratiques de gestion optimales qui devraient être utilisées conjointement sur le site sont la collecte et la réutilisation de l’eau de pluie pour la gestion sur le site, la noue engazonnée avec drain pour la gestion en réseau et le marais artificiel pour la gestion en fin de réseau. Les recommandations présentées dans ce travail visent à privilégier des modes de développement alternatifs à l’urbanisation classique afin d’établir les bases pour le développement d’un quartier durable à Weedon.
Resumo:
Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.
Resumo:
La lutte contre les changements climatiques représente un enjeu majeur en ce XXIe siècle. L'objectif principal de cet essai est d'évaluer le rôle que peut jouer la séquestration naturelle de carbone en milieu urbain dans ce combat au Québec. L’absorption du CO2, principal gaz à effet de serre, par la photosynthèse s'avère être une alternative permettant de compenser en partie les émissions carboniques en milieu urbain — un milieu propice pour effectuer divers types d'aménagement de verdissement urbain, comme aménager des toits verts, des murs végétaux ainsi que planter des arbres. À ces égards, les principales conditions favorisant la séquestration de carbone en milieu urbain ont été étudiées. Aussi, une analyse économique a permis d’évaluer la faisabilité de l'implantation de ces techniques de verdissement dans un contexte urbain québécois. En fait, il s'avère économiquement intéressant de procéder aux verdissements des villes puisque les avantages financiers, sociaux et environnementaux qui en découlent justifient l’investissement. À titre d'exemple, soulignons qu'un arbre moyen représente des bénéfices socio-environnementaux de 100 $ annuellement globalement pour la collectivité et l’individu. L’essor du verdissement urbain est favorisé par ailleurs par des mesures incitatives à ce sujet. Quelques pays et villes ont également été cités pour mettre en perspective les incitatives financières et réglementaires qu’ils utilisent. Qui plus est, il a été calculé, de façon sommaire, que le potentiel combiné de séquestration de CO2 par ces principales techniques de verdissement urbain est considérable. À titre de référence, si 50 % des toits et des murs étaient végétalisés et que le couvert arboré au Québec atteignait également 50 %, alors c’est plus de 3 M t CO2 / an qui pourraient être séquestré en milieu urbain, soit une quantité représentant près de 5 % des émissions annuelles de CO2 québécois. En outre, la séquestration naturelle de carbone en milieu urbain pourrait jouer un double rôle dans la lutte contre les changements climatiques; celui de la séquestration de carbone, certes, mais également en matière de la conscientisation environnementale — élément pouvant favoriser un mouvement de masse pour mieux lutter contre les changements climatiques.
Resumo:
Les gènes, qui servent à encoder les fonctions biologiques des êtres vivants, forment l'unité moléculaire de base de l'hérédité. Afin d'expliquer la diversité des espèces que l'on peut observer aujourd'hui, il est essentiel de comprendre comment les gènes évoluent. Pour ce faire, on doit recréer le passé en inférant leur phylogénie, c'est-à-dire un arbre de gènes qui représente les liens de parenté des régions codantes des vivants. Les méthodes classiques d'inférence phylogénétique ont été élaborées principalement pour construire des arbres d'espèces et ne se basent que sur les séquences d'ADN. Les gènes sont toutefois riches en information, et on commence à peine à voir apparaître des méthodes de reconstruction qui utilisent leurs propriétés spécifiques. Notamment, l'histoire d'une famille de gènes en terme de duplications et de pertes, obtenue par la réconciliation d'un arbre de gènes avec un arbre d'espèces, peut nous permettre de détecter des faiblesses au sein d'un arbre et de l'améliorer. Dans cette thèse, la réconciliation est appliquée à la construction et la correction d'arbres de gènes sous trois angles différents: 1) Nous abordons la problématique de résoudre un arbre de gènes non-binaire. En particulier, nous présentons un algorithme en temps linéaire qui résout une polytomie en se basant sur la réconciliation. 2) Nous proposons une nouvelle approche de correction d'arbres de gènes par les relations d'orthologie et paralogie. Des algorithmes en temps polynomial sont présentés pour les problèmes suivants: corriger un arbre de gènes afin qu'il contienne un ensemble d'orthologues donné, et valider un ensemble de relations partielles d'orthologie et paralogie. 3) Nous montrons comment la réconciliation peut servir à "combiner'' plusieurs arbres de gènes. Plus précisément, nous étudions le problème de choisir un superarbre de gènes selon son coût de réconciliation.
Resumo:
Le sepsis, un syndrome d’infection générale grave, est une importante cause de décès dans le monde et a un impact considérable sur le taux de mortalité dans le département des soins intensifs des hôpitaux. Plusieurs médecins soutiennent que le diagnostic de sepsis est fréquemment omis, menant ainsi à de graves conséquences pour l’état de santé du patient. Considérant cette problématique, la présente étude a pour buts de déterminer les caractéristiques du processus décisionnel des médecins en situation de triage et de prise en charge du sepsis pédiatrique, d’évaluer la performance des médecins en contexte de détection du sepsis pédiatrique et enfin, de valider une méthode permettant de développer un modèle cognitif de prise de décision relié à cette condition médicale. Une tâche décisionnelle à l’aide d’un tableau d’information est administrée aux participants. Les résultats sont analysés selon une combinaison de méthodes : la théorie de détection de signal, l’identification de la règle décisionnelle et l’extraction du processus décisionnel. Le personnel médical a une capacité de discrimination moyenne. Leurs réponses tendent vers un biais libéral. La comparaison entre un arbre décisionnel normatif et les arbres décisionnels individuels a démontré une mésestimation de l’importance des critères diagnostics pertinents. Il y a présence d’hétérogénéité quant aux critères utilisés par les médecins pour poser le diagnostic. Ces résultats permettent de cibler davantage la problématique de détection du sepsis pédiatrique et démontre la pertinence de développer un outil d’aide à la détection afin de soutenir les médecins dans leurs décisions. Les résultats de la présente étude fournissent des lignes directrices quant au développement d’un tel outil. Les résultats montrent également que la combinaison de la théorie de détection de signal, de l’identification de la règle décisionnelle et de l’extraction du processus décisionnel fournie une méthode adaptée afin de développer des modèles de prise de décision.