This thesis explores the framing of graphical qualities of the passenger train and the city of Roanoke, Virginia. A passenger train station frames these icons and brings people directly to the train. This framing creates a new icon for the city. An area on the train tracks is revitalized and creates a permeable threshold into and out of the city. / Master of Architecture

Folding: A House is a study of the continuity of floor, wall and ceiling within the context of a house. With this method of continuity through folding, a strong directionality occurs within the spaces. The relationship among the different folds and between the folds and their enclosures is a syntactical relationship. Each fold slips in and past the previous fold. The forty-five degree rotation of the house on the forty-five degree sloped hill site allows for four fundamentally different relationships of house to ground and the surrounding views. The closed and open spaces inherently created within the folds directly relate to these differentiated views. / Master of Architecture

La pensée utopique a toujours joué un rôle central dans la littérature sur l'urbanisme. En fait, Choay (1965, 1980, 2005b) affirme que les utopistes étaient les premiers urbanistes et que l'utopie a toujours constitué un laboratoire de recherche pour les urbanistes au cours de l'histoire. Cette recherche théorique vise à comprendre le rôle de la pensée utopique dans l'aménagement des villes de demain. Elle vise plus précisément à comprendre en quoi certains projets urbains exploratoires ou porteurs d'utopie peuvent proposer une manière différente d'aborder les problèmes de villes toujours de plus en plus étalées. Pour ces fins, l'analyse interprétative de deux cas utopiens -KM3 (MVRDV) et le Projet Local (Magnaghi)- permet de dégager trois raisons justifiant l'importance de la pensée utopique pour saisir les villes contemporaines soit l'utopie comme outil révélateur, l'utopie comme laboratoire de recherche et l'utopie comme moyen d'aborder les questions éthiques.

La société moderne est de plus en plus dépendante de l'informatique dont le rôle est devenu tellement vital au point que tout dysfonctionnement peut engendrer des pertes considérables voire des conséquences irréversibles telles que la perte de vies humaines. Pour minimiser les dégâts, plusieurs techniques et outils ont été mis en place au cours des dernières années. Leur objectif est de faire en sorte que nos systèmes informatiques fonctionnent < < ~tout le temps~> > , et ce, tout en produisant les résultats escomptés. La duplication du matériel et les tests de logiciels sont parmi les techniques les plus utilisées. Cependant, sans méthodes formelles, rien n'est garanti et des problèmes peuvent surgir à tout moment. En contrepartie, l'utilisation de méthodes formelles n'est pas à la portée de tout le monde y compris les programmeurs chevronnés et la tâche reste subtile et complexe même pour les spécialistes. Quelques lignes de code nécessitent parfois des centaines de lignes de preuve difficiles à lire et à comprendre. Malgré tout, leur utilisation n'est plus un luxe, mais plutôt nécessaire afin d'éviter les dégâts engendrés par les mauvais fonctionnements de nos systèmes critiques. Le principal objectif de notre recherche est de développer un cadre formel et automatique pour le renforcement de politique de sécurité sur des systèmes concurrents. Plus précisément, l'idée consiste à ajouter dans un programme des tests à des endroits soigneusement calculés pour qu'une politique de sécurité soit respectée. La nouvelle version du programme préserve toutes les traces de la version originale respectant la politique de sécurité et bloque les traces qui ne peuvent plus respecter la politique de sécurité même si elles sont complétées par certains suffixes. Les principaux résultats ayant contribué à l'atteinte de cet objectif sont : 1. La définition d'une algèbre de processus [symbol] offrant un cadre purement algébrique pour le renforcement de politique de sécurité sur des systèmes concurrents. Plus précisément, nous avons défini un nouvel opérateur qui permet de renforcer, d'une manière intuitive, une politique de sécurité sur un système concurrent. 2. La définition d'une logique, dénotée par [symbol], inspirée des expressions régulières étendues. En effet, [symbol] est une logique linéaire qui exprime la classe de langage régulier, mais avec la possibilité d'exprimer des propriétés infinies. 3. La définition d'une algèbre [symbol] basée sur l'algèbre [symbol]. [symbol] définit un nouvel opérateur de renforcement qui tient compte de l'introduction de la logique. 4. Le développement d'une technique d'optimisation qui, pour une certaine classe de propriétés de sécurité, permet de réduire le nombre de tests insérés dans le programme renforcé. / One of the important goals of the software development process is proving that the produced systems always meet their requirements. However, establishing this goal is not only subtle and complex, but also requires high qualified persons. In addition, this operation is mostly omitted due to its high cost and the system is tested while trying to reduce the risk of errors as much as possible. The cost is, nevertheless, paid when this operation is required in order to avoid catastrophic consequences and major errors. In these cases, tools like theorem prover and those used for automatic generation of software are helpful to significantly reduce the cost of proof. Our aim is that this tool proves to be powerful and simple enough to generate benefits even to small companies and individuals with scarce budgets and limited theoretical skills . Many promising formal frameworks for automatic enforcement of security policies in programs have been proposed during the last years. Their goal is to ensure that a program respects a given security policy which generally specifies acceptable executions of the program and can be expressed in terms of access control problems, information flow, availability of resources, confidentiality, etc. The literature records various techniques for enforcing security policies belonging to mainly two principal classes: static approaches including typing theory, Proof Carrying Code, and dynamic approaches including reference monitors, Java stack inspection. Static analysis aims at enforcing properties before program execution. In dynamic analysis, however, the enforcement takes place at runtime by intercepting critical events during the program execution and halting the latter whenever an action is attempting to violate the property being enforced. Recently, several researchers have explored rewriting techniques in order to gather advantages of both static and dynamic methods. The idea consists in modifying a program statically, so that the produced version respects the requested requirements. The rewritten program is generated from the original one by adding, when necessary, some tests at some critical points to obtain the desired behaviors. This thesis aims to propose an algebraic and automatic approach that could generate from a given program, and a security policy, a new version of this program that respects the requested security policy. More precisely, we define an operator [symbol] that takes as input a process [symbol] and a security policy [symbol] and generates [symbol], a new process that respects the following conditions: [symbol] "satisfies" the security policy [symbol]. [symbol], behaviours of [symbol] are also behaviours of [symbol]. [symbol], all good behaviours of [symbol] are also behaviours [symbol]. The main results of our research are the following~: 1. The definition of a process algebra [symbol] offering an algebraic framework for the enforcement of security policies on concurrent systems. 2. The definition of a logic, denoted by [symbol], inspired from Kleene algebras and regular expressions. Basically, it allows to specify properties that can be checked on a trace-based model and properties related to infinite behavior (e.g. a server should not send the password of users). The choice of this logic is motivated by its syntax that is close to the one chosen for processes. In fact, this similarity is helpful to simplify the definition of our formal monitor. 3. The development of an optimization technique which, for a certain class of security properties, reduces the number of tests added in the target.

L'objectif de ce projet est d'effectuer la conception et la mise en opération de la nouvelle installation supersonique à haute température en cours de construction au centre de Recherche et développement pour la défense Canada -Valcartier (RDDC Valcartier). Les étapes ayant permis de mener ce projet à bien peuvent être divisées en deux catégories : design et expérimentations. La catégorie ± design ¿ regroupe les étapes de conception et d'usinage des divers éléments ayant été développés au cours de cette maîtrise. Une tuyère axisymétrique supersonique Mach 2.6 a été développée spécifiquement pour les essais de rodage de cette installation. Le design de la tuyère a requis le développement d'un code de calcul de son profil par la méthode des caractéristiques, quelques simulations numériques par mécanique des fluides numériques (MFN ou CFD en anglais), son usinage ainsi que son rodage sur l'installation. Les diverses techniques de mesures et de diagnostic choisies pour le rodage de l'installation ont également requis le design de quelques éléments. Combinant un râteau de tubes de Pitot, un coin de 10° de demi-angle et des prises de pressions statiques, une multisonde, a été conçue, validée sommairement par MFN, usinée, testée et améliorée. Les techniques de strioscopie ont quant à elles requis le design de supports de miroirs précis et stables, ainsi qu'un système de pont glissant pour la cellule d'essai. Quant à la catégorie expérimentation, elle regroupe tous les essais réalisés au cours de cette maîtrise. Certains des éléments, déjà en place à RDDC Valcartier au début de cette maîtrise, n'ont été mis en marche qu'au cours de cette maîtrise. Chaque élément conçu a été testé en phase de rodage. Cependant, pour des raisons de délais d'usinage, pratiquement chaque élément a été testé indépendamment des autres. Par exemple, les tests de pressions avec la multisonde n'ont pas pu être réalisés en même temps que les essais de strioscopie. Étant donné que certains éléments critiques de l'installation pour l'alimentation en air n'ont pas été reçus avant la fin de cette maîtrise, les conditions de design de la tuyère Mach 2.6 n'ont pu être atteintes. Combinant cela avec le fait que chaque élément a été testé indépendamment, il a été impossible d'effectuer un diagnostic valable de l'installation. Cependant, au final, la majorité des éléments de l'installation sont prêts pour leur utilisation. Certaines problématiques rencontrées lors de la mise en marche de l'installation ont trouvé des solutions, alors que d'autres doivent encore être trouvées. Le diagnostic final devra cependant attendre l'arrivée des derniers éléments.

Le bassin du Belt-Purcell est connu pour le gîte de type SEDEX de Sullivan et ses veines à Ag-Pb-Zn. Les veines du bassin de Purcell sont classées en trois types : 1) riches en Pb-Zn composées de sphalérite, galène, pyrrhotite, freibergite et pyrite; 2) riches en Pb-Ag-Cu-Au et composées de galène, pyrite, freibergite et d’or et; 3) veines et remplacements riches en Ag-Pb-Zn et composées de sphalérite, galène, pyrite et freibergite. La datation Ar/Ar de séricite hydrothermale du gîte de Type 3 Ptarmigan donne un âge de 133,1 ±0,7 Ma. Le soufre des veines de Type 1 et 2 encaissées par les roches du Purcell inférieur provient du lessivage de la pyrite bactériogénique disséminée. Le soufre des veines et remplacements de Types 2 et 3 encaissées par les roches du Purcell supérieur est issu de la dissolution de nodules de sulphates contenus dans les carbonates suivi par une réduction thermochimique. Les veines ont été formées par des fluides hydrothermaux métamorphiques générés durant deux périodes : 1) veines de Type 1 au cours du Protérozoïque contenant du plomb non-radiogénique et; 2) veines et replacements de Types 2 et 3 au cours du Mésozoïque (Crétacé ou Tertiaire) contenant du plomb radiogénique. / The Belt-Purcell Basin hosts the world class Sullivan SEDEX deposit in British Columbia. The veins in the Purcell basin are classified in 3 different types: 1) Pb-Zn veins are composed of sphalerite, pyrrhotite, galena, freibergite and pyrite; 2) Pb-Ag-Au-Cu veins characterized by galena, pyrite, freibergite and gold whereas 3) Ag-Pb-Zn vein and replacement deposits are composed of sphalerite, galena, pyrite and freibergite. Hydrothermal sericite from the Type 3 Ptarmigan deposit yields an age of 133.1±0.7 Ma. Sulphur in Types 1 and 2 veins hosted in Lower Purcell sedimentary rocks results from leaching of bacteriogenic pyrite from clastic sedimentary rocks of the Aldridge Formation. Types 2 and 3 vein and replacement deposits hosted in the Upper Purcell rocks have sulphur that results from dissolution contained in the carbonate rocks of the Purcell Basin followed by thermochemical reduction. Types 1, 2 and 3 vein and replacement deposits are formed by metamorphic fluids generated at different times. Type 1 veins were formed by Proterozoic fluids whereas Types 2 and 3 vein and replacement deposits were formed during the Mesozoic. Type 1 Pb-Zn veins have a non-radiogenic Proterozoic lead. Type 2 and 3 vein and replacement deposits have a radiogenic Mesozoic lead signature.

L'introduction d'un atome de fluor dans une molécule bioactive peut bien souvent modifier son activité biologique en modifiant sa lipophilic, sa solubilité, sa stabilité métabolique, sa conformation ou encore sa réactivité chimique. C'est pourquoi la synthèse de produits organofluorés suscite un intérêt marqué dans le secteur de l'agrochimie et de la chimie pharmaceutique. D'ailleurs, les moyens d'accès à ces produits sont en constante augmentation. Non seulement la formation mais également l'activation de liaisons C-F sont des sujets de recherche très prometteurs pour la conception de produits organiques fluorés. Les métaux de transition tels que le nickel, le palladium et le rhodium jouent un rôle important dans l'activation de liens C-F. Dans ce mémoire, il sera question de la synthèse des β-aminofluoroalcènes qui sont une classe de molécules organofluorées suscitant un intérêt particulier en chimie médicinale, car ils peuvent être utilisés comme isostères de la liaison peptidique. Cependant, il n'existe pas de voie directe afin d'accéder à cette classe de composés. Nous nous sommes donc intéressés à rechercher des voies de synthèses permettant l'obtention de p-aminofluoroalcènes. Dans ce mémoire, deux stratégies seront abordées pour la synthèse des p-aminofluoroalcènes. D'une part, une méthode basée sur la réaction d'amination allylique de dérivés de 3,3-difluoropropènes sera présentée. Celle-ci est catalysée par le palladium via l'activation d'un lien C-F. D'autre part, une stratégie basée sur une réaction de type SN2' utilisant les amidures de lithium sur des systèmes allyliques de dérivés de 3,3-difluoropropène constituera la dernière partie de ce mémoire.

Les colonies d'abeilles domestiques, Apis mellifera L., sont affectées négativement par plusieurs facteurs. Le manque de diversité florale, dû à l'intensification de l'agriculture, est un des facteurs impliqué dans le dépérissement récent du cheptel d'abeilles domestiques nord américain. Au Québec, les colonies d'abeilles sont de plus en plus sollicitées pour assurer le bon rendement des cultures qui requièrent le service de pollinisateurs telles le bleuet nain et la canneberge. Ces deux cultures, souvent intensives, offrent une flore environnante de faible diversité aux abeilles. Ce projet de recherche visait à évaluer l'importance de la diversité florale sur le développement des colonies d'abeilles introduites de façon consécutive dans les bleuetières et les cannebergières, i.e. pendant la même saison apicole. Les résultats démontrent que les monocultures de bleuets nains ne semblent pas offrir une diversité florale adéquate pour le développement normal du couvain d'abeilles. Cette étude aura aussi permis d'acquérir des techniques d'identification de grains de pollen frais, une expertise rare.

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2010-2011 / Les comportements au rabotage, ponçage, défonçage et tournage du bois de sept clones de peuplier hybride provenant de trois sites de plantation suivant trois procédés de séchage: conventionnel, à température élevée et à haute température ont été étudiés Les propriétés d'usinage ont été déterminées à une teneur en humidité de 8% suivant la norme ASTM D1666-87. La qualité des surfaces obtenues a été évaluée qualitativement et quantitativement. Les clones de peuplier hybride se sont bien comportés lors du rabotage, ponçage et défonçage. La performance face au tournage fut plutôt faible. Dans l'ensemble, le comportement à l'usinage a été influencé en ordre décroissant d'importance par les paramètres de coupe, les clones, les procédés de séchage et les sites. La meilleure performance du rabotage fut obtenue avec un angle d'attaque de 20° et une onde d'usinage de 1,1 mm. Cette qualité pourrait être encore meilleure en utilisant un angle de 17,5° et une onde d'usinage plus courte. Le séchage conventionnel a eu des effets plus positifs sur la qualité de rabotage que les séchages à température élevée et à haute température. Le ponçage avec un papier fin de 180 grains s'est avéré le meilleur. Le comportement au tournage fut meilleur à une teneur en humidité du bois de 12% comparativement à 8%. Pour le défonçage, le travail en avalant a produit des surfaces plus lisses et de meilleure qualité par rapport à celles obtenues par le travail en opposition. Trois clones ont été identifiés comme étant plus performants pour l'usinage. En général, les bois plus denses ont montré une meilleure performance à l'usinage que les bois légers. Cependant, les corrélations entre la densité du bois et les propriétés d'usinage furent faibles. Bien qu'une sélection orientée selon un critère de densité puisse améliorer indirectement le comportement à l'usinage, l'évaluation directe des propriétés d'usinage est conseillée. Finalement, des effets mineurs des sites et des procédés de séchage ont été observés pour quelques conditions particulières d'usinage et ont par ce fait été considérés négligeables.

Les interneurones du stratum oriens/alveus (O/As), incluant ceux avec une projection axonale s'étendant jusqu'au stratum lacunosum-moleculare (O-LMs) de l'hippocampe reçoivent des projections inhibitrices locales, et possiblement une projection extrinsèque provenant du septum. Peu de choses sont connues sur les propriétés des synapses inhibitrices sur les O/As. La technique du « patch clamp » a été utilisée pour caractériser les courants inhibiteurs évoqués dans des O/As par stimulation de différentes voies inhibitrices. Les données montrent que les courants évoqués par stimulation des voies inhibitrices locales diffèrent de ceux du septum suggérant que des synapses formées par des voies distinctes sur les O/As se démarquent en propriétés et en plasticité synaptique. De plus, les courants enregistrés dans les O-LMs montrent différentes propriétés cinétiques et de plasticité dépendamment à l'âge s'expliquant par l'incorporation synaptique de GABAARα5 lors de la maturation post-natale, qui peut représenter un mécanisme potentiel pour des modifications dans l'inhibition de l'hippocampe.