Ce mémoire se fonde sur mon œuvre Bureau de recherche sur l’art à l’intérieur de laquelle je travaille depuis plusieurs années en tant qu’artiste et chercheuse. Il porte sur la description organisationnelle du lieu ainsi que sur sa signification. Introduisant différents concepts issus de mes expériences et de mes recherches, ce mémoire reflète mes questionnements face au milieu de l’art et porte une réflexion sur ma situation d’artiste. J’y aborde entre autres les enjeux liés à mon statut, le processus de légitimation de mon œuvre ainsi que le contexte d’émergence. M’incluant dans le Bureau de recherche sur l’art, je souhaite présenter une partie de ma réalité à l’intérieur d’une performance de recherche qui prend place dans différents contextes. Ce mémoire est basé sur mon expérience lors de mon occupation dans les Ateliers du Roulement à billes pendant mes études à la maîtrise. Antérieurement, le Bureau de recherche a été produit dans la Galerie des arts visuels de l’Université Laval lors de l’exposition des Récipiendaires des prix et des bourses des finissants (es) au baccalauréat en arts visuels de 2007. Il retrouve une place dans ce lieu, lors de l’exposition qui met fin à mon parcours à la maîtrise en 2013.

Cette idée d'écrire les traces d'une oeuvre est plutôt séduisante. Mes objets, sujets principaux de ce texte, ont effectivement une belle histoire derrière eux et auront dérivé d'un long processus. Chaque objet se créa tout doucement, en attirant un autre et un autre, d'où la répétition du mot objets dans le titre choisi, jusqu'à avoir sous les yeux un foisonnement dont le rôle est maintenant d'éveiller une curiosité et de transmettre une passion des objets. Un appétit pour les belles choses. À l'image de l'accumulation lente mais continue d'objets, la réflexion qui suit s'articule autour de plusieurs thèmes et enumerations, dressant ainsi une description progressive et linéaire de mes recherches. Il y a aussi une présence intentionnelle de redondances. Souvent, des thèmes et des concepts ont été repris et redits, sous de nouveaux angles, afin d'introduire et d'expliquer d'autres thèmes et concepts avec lesquels ils sont étroitement liés. C'est ni plus ni moins une sorte d'inventaire que j'expose, à l'instar de celui que mes objets proposent.

Dans un ordinateur multiprocesseur, lors de l'accès à la mémoire partagée, il faut synchroniser les entités de calcul (processus). Cela peut se faire à l'aide de verrous, mais des problèmes se posent (par exemple interblocages, mauvaise tolérance aux pannes). On s'est intéressé à l'implémentation d'abstractions (consensus et construction universelle) qui peuvent faciliter la programmation concurrente sans attente, sans utiliser de verrous mais basés sur des lectures/écritures atomiques (LEA). L'usage exclusive des LEA ne permet pas de réaliser un consensus sans attente. Néanmoins, autoriser l'usage de primitives offrant une puissance de synchronisation plus forte que des LEA, mais coûteuse en temps de calcul, le permet. Nous nous sommes donc intéressés dans cette thèse à des programmes qui limitent l'usage de ces primitives aux seules situations où les processus sont en concurrence, ces programmes sont dit solo-rapides. Une autre piste étudiée est de permettre à l'objet, lorsqu'il y a de la concurrence, de retourner une réponse spéciale "abandon" qui signifie l'abandon des calculs en cours. Ces objets sont dit abandonnables. D'une part, nous donnons des implémentations d'objets concurrents sans attente, abandonnables et/ou solo-rapides. Pour cela, nous proposons une construction universelle qui assure à l'objet implémenté d'être abandonnable et solo-rapide ; nous avons réalisés des algorithmes de consensus solo-rapides et des algorithmes de consensus abandonnable. D'autre part nous étudions la complexité en espace de ces implémentations en proposant des bornes inférieures sur l'implémentation des objets abandonnables et sur le consensus. / In multiprocessor computer, synchronizations between processes are needed for the access to the shared memory. Usually this is done by using locks, but there are some issues as deadlocks or lack of fault-tolerance. We are interested in implementing abstractions (as consensus or universal construction) which ease the programming of wait-free concurrent objects, without using lock but based on atomic Read/Write operations (ARW). Only using the ARW does not permit to implement wait-free consensus. The use of primitives which offer a higher power of synchronization than the ARW is needed. But these primitives are more expensive in computing time. Therefore, we are interested in this thesis in the design of algorithms which restrict the use of these primitives only to the cases where processes are in contention. These algorithms are said solo-fast. Another direction is to allow the object to abort the computation in progress - and to return a special response "abort" - when there is contention. These objects are named abortable. On the one hand we give wait-free, abortable and/or solo-fast concurrent object implementations. Indeed we proposed a universal construction which ensure to the implemented object to be abortable and solo-fast. We have also realized solo-fast consensus algorithms and abortable consensus algorithms. On the other hand, we study the space complexity of these implementations : we prove space lower bound on the implementation of abortable object and consensus.

L’inventaire aérien est une approche pratique pour effectuer l’inventaire de la grande faune sur de grands territoires; particulièrement pour les zones peu accessibles. Toutefois, les limitations liées aux capacités de détection des observateurs, la coloration cryptique de certaines espèces fauniques et la complexité structurelle de certains habitats font en sorte que les inventaires ont généralement des biais qui sous-estiment la densité réelle de la population. Par ailleurs, peu d’études ont démontré la capacité d’effectuer la détection aérienne simultanée de plusieurs espèces. La détection multiespèce peut s’avérer utile pour les espèces qui se côtoient spatialement afin de connaître leur utilisation de l’espace, pour étudier la relation proie/prédateur et pour limiter les coûts à un seul inventaire. Cette pratique s’avère néanmoins trop exigeante pour les observateurs qui doivent déjà faire preuve de beaucoup de concentration pour détecter une seule espèce lors d’un inventaire aérien traditionnel. L’utilisation d’imagerie aérienne multispectrale acquise avec un aéronef sans pilote (ASP) représente une méthode potentielle pour la détection d’une ou plusieurs espèces fauniques. Ce projet de recherche consistait donc dans un premier temps à détecter, identifier et dénombrer à l’aide d’imagerie acquise avec un ASP et par traitements d’images les cerfs de Virginie (Odocoileus virginianus). Différentes combinaisons de bandes spectrales, méthodes d’analyses d’images et résolutions spatiales ont été testées pour déterminer la méthode la plus efficace pour la détection du cerf. Dans un deuxième temps, la meilleure méthode identifiée pour les cerfs a été utilisée et adaptée pour effectuer la détection simultanée des bisons d’Amérique (Bison bison), des daims européens (Dama dama), des loups gris (Canis lupus) et des wapitis (Cervus canadensis). L’inventaire de la faune a été réalisé au Centre d’observation de la faune et d’interprétation de l’agriculture de Falardeau à Saint-David-de-Falardeau, Québec, Canada. Les résultats démontrent que l’imagerie visible et infrarouge thermique avec une résolution spatiale de 0.8 cm/pixel combinée à une analyse d’images par objet constitue la combinaison la plus efficace parmi celles testées pour la détection des cerfs de Virginie. Tous les individus visibles à l’œil nu sur les mosaïques ont été détectés. Néanmoins, considérant l’obstruction visuelle causée par la canopée coniférienne, cette approche offre un taux de détectabilité moyen de 0.5, comparable aux inventaires aériens classiques. La complexité structurelle de l’habitat demeure ainsi un problème non résolu. Quant à l’analyse multiespèce, les bisons et les wapitis ont tous été détectés même en présence d’autres espèces comme l’autruche (Struthio camelus), le coyote (Canis latrans) et l’ours noir (Ursus americanus). Pour les daims et les loups, entre 0 à 1 individu par parcelle a été confondu avec les autres éléments du paysage tels que le sol. De plus, entre 0 à 2 individus par parcelle n’ont pas été détectés alors qu’ils étaient présents dans la ligne de vol. Non seulement cette approche a démontré sa capacité à détecter une ou plusieurs espèces, mais également son adaptabilité à cibler spécifiquement les espèces d’intérêts pour le gestionnaire et à ignorer celles qui ne sont pas ciblées. Ce projet a donc permis de valider le potentiel des ASP pour l’acquisition d’imagerie d’une qualité permettant l’extraction de données d’inventaires. Cela ouvre la voie à l’utilisation de ce type de plateforme d’acquisition pour des applications reliées à la gestion de la faune grâce à leur faible impact sonore et leur haut taux de revisite. Toutefois, la réglementation canadienne actuelle limite l’utilisation de ces appareils sur de faibles superficies. Il n’en demeure pas moins que la technologie peut être développée en attendant les futurs progrès du domaine des ASP et de la réglementation.

Cette thèse comporte trois parties. <br />Dans la première, nous présentons une méthode de simulation d'écoulements fluide/particules. Nous montrons que la pénalisation du tenseur des contraintes, associée à une discrétisation en temps par la méthode des caractéristiques, conduit à une formulation variationnelle de type Stokes généralisée. Des tests numériques sont effectués sous FreeFem++ afin d'étudier la convergence. Nous en présentons également trois exemples d'utilisation. <br />Dans la seconde partie nous proposons un modèle permettant de prendre en compte les forces de lubrification dans les simulations directes d'écoulements fluide/particules. Nous présentons d'abord un modèle de contact visqueux dans le cas particule/plan, obtenu comme limite, à viscosité nulle, du modèle de lubrification. Nous décrivons ensuite un algorithme reposant sur une étape de projection des vitesses, à chaque instant, sur un espace dit de vitesses admissibles. On montre alors la convergence du schéma et on généralise l'algorithme au cas multi-particules. Nous en présentons également un exemple de programmation orientée objet. <br />Dans la dernière partie, nous considérons un système discret de sphères (boulier en 1D) qui interagissent à travers la force de lubrification. Le modèle microscopique repose sur le développement de cette force à courte distance. Nous proposons une équation constitutive marcoscopique, de type Newtonien, reposant sur une viscosité linéique proportionnelle à l'inverse de la fraction locale de fluide. Nous établissons la convergence du modèle microscopique vers le modèle macroscopique proposé.

L'assistance à la conception et plus particulièrement l'assistance à la conception architecturale offre un potentiel riche en applications pour de nombreux thèmes de recherche en informatique. Les travaux présentés dans ce mémoire, concernent plusieurs de ces thèmes. Dans un premier temps, nous présentons le contexte général d'une démarche de conception : l'objet, le processus et les acteurs. Puis, nous nous intéressons à la modélisation des objets en cours de conception et à la prise en compte de leur évolution dans un modèle informatique. Le champ expérimental mis en oeuvre dans cette étude a permis de mettre en évidence les limites des modèles à objets face à la représentation d'objets en cours de conception. En considérant l'approche hypermédia comme un moyen souple d'organisation et de recherche d'informations, adapté au processus de conception, nous présentons une méthode de conception d'hypermédia permettant à l'utilisateur-concepteur d'organiser son domaine de compétences afin de le proposer à d'autres concepteurs. Nous illustrons l'utilisation de cette méthode et mettons en évidence ses limites par la présentation de quelques exemples de mise en oeuvre. Après avoir fait le constat que l'image occupe une place importante dans la conception architecturale, nous proposons différentes utilisations de celle-ci dans l'assistance à la conception : la recherche d'informations techniques par l'image, la veille technologique par l'image et la recherche de références par l'image. Les expérimentations réalisées permettent d'envisagées des extensions quant à la méthode utilisée et aux champs d'investigation considérés.<br />Enfin, afin d'assister certaines activités de conception qui peuvent être collectives, et en considérant la spécificité de l'activité de conception, nous proposons, sous la forme d'un meta-modèle, une représentation du contexte de coopération ainsi qu'une visualisation de ce contexte adaptée à la représentation imagière de l'architecte. Toutes ces approches ont fait l'objet d'applications et d'expérimentations en mettant en oeuvre les dernières technologies de l'information.

Nous développons des algorithmes parallèles pour la résolution de problèmes non-linéaires de grande taille. Les cadres d'application sont la simulation de matériaux hyperélastiques incompressibles en grandes déformations et l'étude des milieux poreux, dont les modélisations choisies font apparaître des inconnues en déplacement et en pression.<br /><br />Nous retenons une stratégie éléments-finis associée à un solveur Newton-Raphson et une décomposition de domaine sans recouvrement combinée à un solveur de Krylov. <br /><br />Nous proposons des améliorations pour adapter ces approches à nos problèmes, puis pour des cas plus exigeants nous définissons une nouvelle approche de décomposition de domaine, appelée approche hybride, permettant de mieux respecter la physique des phénomènes et unifiant les approches classiques. Nous proposons également des stratégies d'accélération du processus non-linéaire. Enfin un cadre orienté objet est exposé pour la mise en oeuvre de l'ensemble des méthodes proposées.

La métrologie industrielle est l'un des enjeux actuels de tous les secteurs d'activité qui nécessitent de réaliser un contrôle dimensionnel précis de produits afin de garantir des spécificités conformes aux normes et de tendre vers une qualité ``zéro défaut''. Les systèmes actuels utilisés s'appuient sur des technologies fondées sur la stéréométrie, la photogrammétrie, la projection de lumière structurée, la triangulation active ou le temps de vol. En général non polyvalents, encombrants, fragiles et ne pouvant s'adapter à des environnements hostiles, ces systèmes souffrent d'une limitation géométrique en raison de l'existence d'un angle mort dans lequel aucune mesure ne peut être réalisée.<br /><br />Dans cette thèse, nous proposons un nouveau capteur, le scanner conoscopique, capable d'effectuer des mesures dans les domaines macroscopiques et microscopiques, fonctionnant dans n'importe quel environnement, même hostile, très compact et utilisant de la lumière spatialement incohérente.<br /><br />Exploitant le principe de la conoscopie et donc des propriétés de biréfringence des cristaux, le scanner conoscopique est composé d'une caméra à couplage de charges (CCD), d'un système conoscopique et d'une unité de traitement de l'information. A partir des spécifications de ses performances en terme de précision au millième de millimètre sur les mesures 3D, nous avons été conduit à analyser et caractériser chaque élément de la chaîne de mesure dont la calibration est l'étape fondamentale.<br /><br />Nous avons tout d'abord développé une technique de calibration de la caméra à couplage de charges (CCD) à partir d'un modèle sténopé qui combine les paramètres intrinsèques et extrinsèques et exploitant les points d'amers. Nous avons abouti à une précision de 1.5% du champ d'analyse. Ensuite, nous avons proposé deux méthodes de calibration du système conoscopique, l'une analytique par calcul direct de la phase et exploitant les équations de l'optique et de la biréfringence des cristaux, l'autre expérimentale par dénombrement des franges d'interférence et s'appuyant sur la connaissance d'abaques incluant la variation de température, d'éclairement, la nature des matériaux et intégrant une modélisation globale du bruit d'acquisition. La validation expérimentale réalisée d'une part sur des profils géométriques simples (créneaux, escaliers...) et d'autre part sur des objets 3D réels a permis d'établir que la précision de mesure est de 1.5% du champ d'analyse.<br /><br />Ayant établi la faisabilité technologique de la calibration du système qui permet de garantir les spécifications souhaitées, nous nous sommes plus particulièrement interessé à deux configurations du scanner conoscopique : fixe et à balayage, dont nous avons analysé les performances sur des objets diffusifs pour des formes et des matériaux différents. Nous avons établi que la précision des mesures est de l'ordre du millième du champ de mesure.<br /><br />L'ensemble des contributions de cette thèse est intégré au système actuellement développé qui est par ailleurs commercialisé et utilisé dans des applications industrielles et médicales.

Ce travail est une réflexion prospective sur la densification verticale de la ville par la tour d'habitation. Trois échelles sont considérées : le bâtiment seul (objet), la composition de sa façade et son insertion urbaine (bâtiment situé). Le parti pris est de n'examiner que le seul critère énergétique. Sont réalisées trois séries d'études " morpho-énergétiques " : 1 - une étude sur l'influence énergétique de la morphologie d'un bâtiment " objet " : l'objectif est de développer un outil d'évaluation simplifiée de la performance énergétique totale des bâtiments résidentiels. 2 - une extension du précédent modèle en insérant le bâtiment dans un morceau de ville : l'objectif est d'identifier l'influence des configurations urbaines sur leur performances énergétiques, à l'aide d'un outil d'optimisation par algorithmes génétiques. 3 - l'étude d'une nouvelle démarche de conception et de rénovation des bâtiments à travers le concept Core-Skin-Shell : l'objectif est d'évaluer l'intérêt énergétique d'une décomposition fonctionnelle du bâtiment.

La protection des systèmes répartis est un problème complexe : en quelles entités du système peut-on avoir confiance et étant donné cette confiance, comment assurer la protection du système global. L'approche adoptée dans cette thèse consiste à combiner d'une part une gestion globale et centralisée des droits d'accès aux objets persistants du système par un serveur d'autorisation et d'autre part une protection locale par un noyau de sécurité sur chaque site du système réparti. Ce noyau contrôle les accès à tous les objets locaux (persistants ou temporaires) et a de plus la responsabilité de la gestion des droits d'accès aux objets temporaires locaux. Un schéma d'autorisation est développé pour une telle architecture. Ce schéma est élaboré dans le cadre de systèmes composés d'objets répartis (au sens de la programmation orientée-objets). Il permet de respecter au mieux le principe du moindre privilège, définit de nouveaux droits facilement administrables (appelés droits symboliques), et un nouveau schéma de délégation de droits. Ce modèle est utilisé dans le cadre d'une politique de sécurité discrétionnaire et dans le cadre d'une politique de sécurité multiniveau. Pour cela, un modèle de sécurité multiniveau adapté au modèle objet est développé et présenté dans cette thèse. Un exemple d'implémentation de ce schéma d'autorisation est enfin détaillé.