Le contrôle de la pollution environnementale provoquée par les humains et ses influences sur les activités économiques est un sujet de plus en plus populaire depuis les années 80. Beaucoup de chercheurs s’y intéressent afin de trouver les effets de la politique environnementale sur les activités économiques. Ce mémoire a donc pour but d’étudier et d’analyser le Programme canadien de lutte contre les pluies acides (PCLCPA), né en 1985 pour contrôler les pluies acides dans les provinces de l’Est du Canada, qui est l’endroit le plus endommagé par les pluies acides. L’Effet de havre de pollution est la théorie sur laquelle nous nous sommes appuyés dans notre recherche. Nous avons supposé au préalable que le PCLCPA crée un effet positif sur les importations interprovinciales dans les provinces de l’Est du Canada, dans les secteurs industriels qui sont les plus polluants et qui sont classés selon quatre indicateurs d’intensité. Pour vérifier la robustesse des résultats, les importations internationales ainsi que les exportations interprovinciales et internationales sont retenues. En employant la méthode de triple-différence, nos résultats montrent que le PCLCPA n’a pas un effet significatif sur les flux commerciaux canadiens. Les raisons principales pour expliquer un tel résultat portent sur, premièrement, la qualité insuffisante des bases de données; deuxièmement, la structure régionale de l’économie canadienne, qui est la cause majeure de l’échange interprovincial et international canadien, et non le PCLCPA; troisièmement, l’Accord de Libre-Échange entre le Canada et les États-Unis (ALE) a un impact possible sur le commerce international du Canada (avec des conséquences pour le commerce interprovincial également).

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

No description available.

Les logiciels évoluent au fil du temps avec la modification, l'ajout et la suppression de nouvelles classes, méthodes, fonctions, dépendances. Une conséquence est que le comportement peut être placé dans de mauvais paquetages et casser la modularité du logiciel. Une bonne organisation des classes dans des paquetages identifiables facilite la compréhension, la maintenance, les tests et l'évolution des logiciels. Nous soutenons que les responsables manquent d'outils pour assurer la remodularisation logicielle. La maintenance des logiciels nécessite des approches qui aident à (i) la compréhension de la structure au niveau du paquetage et l'évaluation de sa qualité; (ii) l'identification des problèmes de modularité, et (iii) la prise de décisions pour le changement. Dans cette thèse nous proposons ECOO, une approche qui aide la remodularisation. Elle concerne les trois domaines de recherche suivants: - Comprendre les problèmes de dépendance entre paquetages. Nous proposons des visualisations mettant en évidence les dépendances cycliques au niveau des paquetages. - Proposer des dépendances qui devraient être changées. L'approche propose des dépendances à changer pour rendre le système plus modulaire. - Analyser l'impact des changements. L'approche propose une analyse d'impact du changement pour essayer les modifications avant de les appliquer sur le système réel. L'approche présentée dans cette thèse a été validée qualitativement et les résultats ont été pris en compte dans la réingénierie des systèmes analysés. Les résultats obtenus démontrent l'utilité de notre approche.

La prise en compte des ambiances urbaines dans la conception pose la question de l'interprétation spatiale des phénomènes physiques notamment microclimatiques dans le projet. Ce travail tente d'y répondre partiellement en proposant un modèle qui traite du rapport entre phénomènes climatiques thermiques et formes urbaines. Ce modèle permet l'analyse d'impact des formes urbaines sur les échanges radiatifs thermiques. Il repose sur le développement d'expressions physiques qui tentent de concilier la représentativité spatiale et la fidélité d'interprétation des phénomènes physiques. L'impact radiatif est défini par les transformations thermiques d'une surface provoquées par le changement d'environnement bâti. L'illustration des différents types d'analyse et d'interprétation des interactions entre phénomènes et formes que permet le modèle est présentée. Elle tente d'introduire un essai de caractérisation spatiale et physique des impacts radiatifs de l'urbain. La discussion de la fidélité d'interprétation des phénomènes physiques permet de proposer d'éventuelles perspectives de développement du modèle vers une analyse plus poussée des impacts radiatifs et convectifs du cadre bâti. Ces perspectives abordent également la question de l'utilisabilité et de l'interprétabilité des grandeurs physiques dans l'analyse des ambiances physiques climatiques.

Ces dernières années, nous assistons à une prise de conscience généralisée de l'importance des impacts de notre mode de vie sur l'environnement, particulièrement en ce qui concerne le réchauffement global. L'objectif des politiques environnementales actuelles est le passage à des productions et des consommations durables qui passent par l'amélioration des performances énergétiques et environnementales des processus de production. De manière à réaliser cet objectif, la méthode de l'analyse du cycle de vie constitue à l'heure actuelle la méthode d'évaluation environnementale la plus largement utilisée. Cette méthode est ici appliquée dans le cadre de la production d'énergie renouvelable (électricité, chaleur, énergie motrice d'un véhicule) à partir de la biomasse d'origine agricole et forestière. Trois filières sont envisagées: la biométhanisation par fermentation d'effluents d'élevage et de cultures énergétiques, le bois énergie, et les biocarburants liquides purs et en mélange (5 % en volume) avec des carburants classiques (huile de colza, ester méthylique d'huile de colza, éthanol, éthyl tertio butyl éther). Il est prouvé que les énergies renouvelables participent à la réduction des impacts sur le réchauffement global et sur la diminution des ressources fossiles. Le présent travail apporte des éléments originaux sur plusieurs points. Outre ces deux aspects et au travers de trois méthodes d'analyse (CML 2 BASELINE 2000, ECOINDICATEUR 99 et IMPACT 2002+), d'autres catégories d'impact sont analysées de manière à fournir une information la plus complète possible sur la charge environnementale des filières étudiées. Les productions d'énergie des différentes filières considérées sont comparées avec des filières classiques utilisant des ressources fossiles pour un ensemble de charges environnementales en concordance avec la méthodologie de l'analyse du cycle de vie. Les méthodes d'analyse d'impact évoquées ci-dessus sont introduites successivement pour les comparaisons de chacune des filières avec les filières classiques. Afin de vérifier si le résultat environnemental obtenu est robuste à la méthode d'analyse d'impact, les trois filières utilisant la biomasse sont comparées entre elles avec les trois méthodes d'analyse d'impact. Compte tenu des résultats d'analyse d'impact, nous analysons si l'incertitude globale sur le résultat permet de considérer que les productions énergétiques comparées sont significativement différentes d'un point de vue environnemental. Les résultats montrent de manière générale, que les filières biométhanisation, bois énergie et biocarburants sont plus intéressantes que les filières classiques d'un point de vue environnemental global. L'application des trois méthodes d'analyse d'impact a permis de montrer que le choix d'une méthode n'est pas anodin et que les résultats peuvent être sensiblement différents en utilisant l'une ou l'autre des méthodes. La comparaison entre elles des trois filières montre que, pour des valorisations énergétiques analogues (production de chaleur en chaudière par exemple), la production énergétique par la filière biométhanisation est plus intéressante que la valorisation de l'huile (scores environnementaux de la production de chaleur en chaudière par la méthode IMPACT 2002+: 4,15.10-6 pt pour la chaudière au biogaz et 8,55.10-6 pt pour la chaudière fonctionnant à l'huile de colza). Le niveau de classement de la production énergétique de bois va dépendre des hypothèses retenues sur la gestion des cendres et sur le contrôle ou non des émissions. Les résultats d'analyses d'incertitude réalisées systématiquement montrent que l'incertitude globale est dans certains cas importante et ne permet pas de différencier de manière significative les systèmes de produits. Les différentes informations présentées dans cette étude constituent cependant autant d'éléments d'analyse objectifs dans le cadre d'un processus de décision qui concernerait le développement futur des filières étudiées./ Last few years, we attend a generalized awakening of our way of life influence to environmental impacts, particularly with regard to the global warming. The goal of the current environmental policies is the conversion to sustainable consumption and productions, making necessary the improvement of energy and environmental performance. To carry out this goal, the life cycle assessment is at present, the most largely used environmental assessment method. This method is applied in this study within the framework of the renewable energy (electricity, heat, mechanical energy in a vehicule) production from agricultural and wood biomass. Three reactor systems are considered: The co-fermentation of breeding effluents and energy crops, the wood fuels, the neat and blended (5 % volume) biofuels with fossil fuels. The biofuels considered are: rapeseed oil, rapeseed oil methyl ester, ethanol from wheat and sugar beet and ETBE (ethyl tertio butyl ether). It is proven that renewable energies take part in the global warming mitigation and in the reduction of the fossil resources depletion. The present work brings original elements on several points. In addition to these two impact categories and through three assessment methods (CML 2 BASELINE 2000, ECOINDICATOR 99 and IMPACT 2002+) we approach other impact categories in order to provide the most complete information on the environmental load of the studied reactor systems. The energy productions of the various reactor systems considered are compared with conventional reactor systems using fossil fuels for a whole of environmental loads, in agreement with the life cycle assessment methodology. The impact assessment methods cited above are introduced successively for each reactor system comparison with the traditional ones. In order to check if the environmental result obtained is robust with the impact assessment method, the three reactor systems using biomass are compared between each other with the three impact assessment methods and the results are analyzed. Taking into account the impact assessment results, we analyze if the global uncertainty on the result makes it possible to consider that the compared energy productions are significantly different from an environmental point of view. The impact assessment results show in a general way, that the reactor systems considered are more interesting from a global environmental point of view than the traditional ones. The application of the three impact assessment methods shows that it does matter which method one choose and that the results can be sensitive to the method used. The three reactor systems comparison shows that for similar energy development (heat production in a boiler for example), the energy production by using biogas from fermentation is more interesting than the energy production from rapeseed oil (IMPACT 2002+ scores for boiler heat production: 4,15.10-6 pt for the biogas boiler and 8,55.10-6 pt for the rapeseed oil boiler). The classification of wood energy production will depend on the assumptions retained on ashes management and on the emissions control. The results of uncertainty analysis carried out systematically show that the global uncertainty is in some cases important and does not allow to differentiate significantly the compared product systems. The various information highlighted in this study however constitutes as many objective elements of analysis within the framework of a decision-making process which would relate to the future development of the studied reactor systems.

Les logiciels actuels adoptent une méthodologie de développement dite "agile" pour mieux prendre en compte la nécessité de s'adapter constamment aux nouveaux besoins des utilisateurs. Les concepteurs et développeurs se rapprochent alors des futurs utilisateurs du logiciel en proposant des cycles courts d'itération, où le futur utilisateur fait un retour rapide sur l'incrément apporté au logiciel, et fait part de nouveaux besoins à prendre en compte dans les incréments à venir. Ces itérations peuvent être vues comme des évolutions, faisant suite à la définition d'un nouveau besoin de l'utilisateur, à un changement de l'en- vironnement d'exécution, ou encore à une remise en question de l'architecture du logiciel. Dans l'écosystème des architectures orientées services, la conception d'applications passe par la chorégraphie ou l'orchestration de services par des processus métiers. Concevoir ces applications consiste alors à mettre en relation les flots de contrôle et de données de ces services. La phase d'évolution devient une phase complexe, où une simple modification lo- calisée à une sous-partie d'un processus métier peut avoir des conséquences sur l'ensemble du système logiciel, causant par exemple son ralentissement lors de l'exécution. Du point de vue de la qualité de service (QoS), la maîtrise de la fiabilité du processus d'évolution pour maintenir la qualité de service d'un logiciel est alors critique. Il est donc nécessaire de pouvoir proposer des mécanismes d'évolution agiles et fiables permettant le maintien de la QoS lors de l'évolution d'applications à base de processus métiers. En d'autres termes, il s'agit de s'assurer qu'une évolution ne viole pas les contrats de QoS définis initialement. Cette garantie doit être établie en fonction du contrat soit lors de la conception soit lors de l'exécution. Dans ce dernier cas, le processus de vérification doit être minimal et localisé, afin de ne pas dégrader les performances du système logiciel. Pour cela, nous proposons de mettre en œuvre un cycle de développement agile, centré sur le maintien de la QoS lors de l'évolution. Il s'agit de prendre l'aspect évolutif du système, ceci dès l'étape de conception initiale, en identifiant les informations requises pour déter- miner si la QoS est correcte et si elle est non violée par une évolution. Ces informations étant détenues par plusieurs intervenants, il est également nécessaire d'établir les points d'interaction au cours du cycle de développement, au cours desquels les informations seront partagées de façon à ce que le logiciel qui en est issu reste syntaxiquement et sémantique- ment cohérent et que les contrats de QoS soient (re)vérifiés a minima. Les contributions de cette thèse sont donc mises en œuvre dans Blink, un cycle de développement pour l'évolu- tion, et Smile, un canevas de développement pour le maintien de la qualité de service lors de l'évolution d'applications orientées service définies à base de processus métiers. Tandis que le cycle de développement Blink vise à identifier les différents rôles présents dans l'équipe de développement et à expliciter leurs interactions, le canevas Smile propose la réalisation d'une boucle d'évolution. Cette boucle permet de concevoir, d'analyser et d'appliquer une évolution, en détectant les potentielles violations de contrat de QoS. Pour cela, l'analyse de l'évolution détermine son effet sur la QoS du logiciel, en établissant des relations de causalité entre les différentes variables, opérations, services et autres parties du système. Ainsi, en identifiant les éléments causalement affectés par l'évolution et en écartant ceux qui ne le sont pas, notre approche permet de limiter le nombre d'éléments à (re)vérifier, garantissant ainsi une étape d'évolution fiable, avec une étape de (re)vérification minimale. Nous montrons sur un cas concret de système de gestion de crises, constitué de onze processus métiers et de dix scénarios, que l'utilisation conjointe de Blink et de Smile permet d'identifier, pour chaque évolution, quel sera son effet sur le reste du système, et si la qualité de service sera maintenue ou non.

Cette recherche porte sur l'évaluation de la durabilité en phase amont d'un projet architectural. Cette thèse argumente la nécessité d'évaluer l'impact sur les aspects de développement durable en phase de préconception. La phase amont est très importante en raison de son faible coût et des degrés de liberté qu'elle permet lors des prises de décisions. Ainsi l'élaboration d'un outil ou d'un modèle pouvant aider les architectes à identifier les potentiels de durabilité en préconception, représente un enjeu important pour l'aide à la décision architecturale. En prenant en compte les impacts de la durabilité en phase amont, le concepteur peut s'astreindre à une vision différente et peut aborder des espaces de solutions visant à augmenter le niveau de durabilité de son projet. La méthode de conception à objectif désigné (COD) est utilisée en tant que démarche pour structurer l'outil d'aide à la décision. Cet outil aide les architectes à guider leur choix en fonction d'objectifs pré-établis. De plus, grâce à la COD, tous les acteurs du domaine de la construction peuvent participer à la phase de la programmation. D'autre part, l'accent peut être mis sur l'aspect socioculturel que les méthodes existantes ont négligé. Notre outil a été développé sous forme de logiciel puis a été expérimenté sur quatre projets réels en Iran. Les résultats bruts attestent de la pertinence de l'outil en phase de préconception / This research focuses on sustainability assessment in the upstream phase of an architectural project. This thesis points out the need to assess the impacts of pre-design's phases decisions on the sustainable development aspects. The upstream phase is very important because of their low cost and the large range of possible solution. As a consequence a tool or model is required that can help designers/Architects to identify sustainability potential in pre-design phase : this will constitute a "Decision aids tool" for architecture. Taking into account the impacts of sustainability in the upstream phase, the designer/Architects can achieve a different view and take advantage of these environmental effects to increase the level of sustainability of the project. The "Design to Objective" method (DTO) is used as an approach to provide a tool for decision support. This approach helps architects making decision. In addition, due to the DTO, all stakeholders in the field of construction can contribute to the programming phase. On the other hand, attention is directed toward the socio-cultural aspect which has been neglected by existing methods. This tool / software (SustainPro) has been experimented on four real projects in Iran. Experimental outcomes attest of the pertinence of the proposed approach

Le développement de produits complexes demande la maintenance d'un grand nombre de documents interdépendants exprimés dans différents formats. Malheureusement, aujourd'hui, aucun outil et aucune méthodologie ne nous permettent pas de maintenir la cohérence et de propager systématiquement les changements entre ces documents. D'après les observations faites dans l'entreprise STMicroelectronics, lorsqu'un document est modifié, les développeurs doivent propager manuellement la modification à l'ensemble des documents impactés. Pour diverses raisons, ces changements peuvent ne pas être correctement appliqués, voir même ne pas être appliqués du tout. Les documents divergent alors peu à peu, impactant dramatiquement le temps de développement pour réaligner tous les documents. Nous proposons une méthodologie aidant les développeurs à maintenir systématiquement la cohérence entre les documents, basée sur le concept de description d'architecture introduit par l'ISO42010. Premièrement, un modèle est défini pour décrire formellement et complètement des correspondances (liens existants) entre des documents. Ce modèle est défini pour être indépendant des formats de documents, du cycle de développement et des méthodes de travail de l'entreprise. Deuxièmement, ces correspondances sont analysées afin d'aider les développeurs à maintenir la cohérence des documents en les informant lorsqu'un document est modifié. Un prototype mettant en œuvre l’approche proposée a été développé afin d’évaluer la méthodologie. 18 sujets se sont portés volontaires afin d’évaluer l'approche. Ces sujets ont été soumis à deux tests (avec et sans notre méthodologie) impliquant la correction d’incohérences ajoutées dans un ensemble de documents. Ces tests nous ont permis de dégager deux variables : le nombre d’incohérences corrigées et le temps moyen pour corriger les incohérences. Selon notre étude, l’utilisation de notre approche permet de corriger 5,5% d’incohérences en plus en un temps 3,3% plus faible. / The development of highly complex products requires the maintenance of a huge set of inter-dependent documents, in various formats. Unfortunately, no tool or methodology is available today to systematically maintain consistency between all these documents. Therefore, according to observations made in STMicroelectronics, when a document changes, stakeholders must manually propagate the changes to the impacted set of dependent documents. For various reasons, they may not well propagate the change, or even may not propagate it at all. Related documents thereby diverge more and more over time. It dramatically impacts productivity to realign documents and make the very wide-ranging corpus of documents consistent. This paper proposes a methodology to help stakeholders to systematically maintain consistency between documents, based on the Architecture Description concept introduced by ISO42010. First, a model is defined to describe formally and completely correspondences between Architecture Description Elements of documents. This model is designed to be independent of documents formats, selected system development lifecycle and the working methods of the industry. Second, these correspondences are analyzed in case of document modification in order to help stakeholders maintaining global corpus consistency. A prototype has been developed, which implements the proposed approach, to evaluate the methodology. 18 subjects volunteered to evaluate the approach. These subjects made two tests (with and without our methodology) involving the correction of inconsistencies added in a set of documents. These tests allowed us to identify two variables: the number of inconsistencies corrected and the average time to correct the inconsistencies. According to our study, the use of the approach helps to correct 5.5% more inconsistencies in a time 3.3% lower.

Le contrôle de l'évolution des logiciels exige une compréhension profonde des changements et leur impact sur les différents artefacts du système. Nous proposons une approche de multi-modélisation pour l'analyse d'impact du changement pour une compréhension des effets des modifications prévus ou réels dans les systèmes distribués. Ce travail consiste à élaborer une modélisation des artefacts logiciels et de leur différents liens d'interdépendance pour construire un système à base de connaissance permettant, entre autres, d'assister les développeurs et les chargés de l'évolution des logiciels pour étblir une évaluation a priori de l'impact des modifications.La modélisation que nous élaborons intègre deux descriptions majeures des logiciels, dans un premier temps, la description structurelle sous-jacente qui englobe l'ensemble des niveaux granulaires et l'abstraction des constituants logiciels, et ensuite la description qualitative conçue pour s'intégrer à la description précédente. Deux modèles, d'abord élaborés individuellement pour les deux descriptions respectives, ont été intégrés ou mis en correspondance dans l'objectif d'étudier l'impact de toute modification et sa potentielle propagation à travers les constituants logiciels concernés. Lors de chaque modification, il devient alors possible d'établir un bilan qualitatif de son impact. La modélisation intégrée est élaborée pour se prêter à un raisonnement à base de règles expertes. La modélisation proposée est en cours d'expérimentation et validation à travers le développement d'une plate-forme d'implémentation basée sur l'environnement Eclipse. / The software evolution control requires a complete understanding of the changes and their impact on the various systems artifacts. We propose a multi-modeling approach for the change impact analysis to provide assistance in understanding the effects of projected or actual changes in distributed software systems. This work elaborate the modeling of software artifacts along with their various interdependencies to build a knowledge-based system, which allows, among others, an assistance for the software developers or maintenance engineers to establish an a priori evaluation of impact of changes. The model we develop integrates two major descriptions of software, at first, the underlying structural description that encompasses the levels of granularity and abstraction of software artifacts, and then the qualitative description designed to integrate the structural description. Initially, the formal models are designed separately for the respective descriptions, and then these are integrated for the objective to study the change impact and its potential propagation through the affected software artifacts. For a change, it is important to establish a qualitative assessment of its impact. The integrated modeling leads to a reasoning based on expert rules. The proposed model is being tested and validated through the development of a platform, implemented in the Eclipse environment.