3D Cadastres Best Practices, Chapter 5: Visualization and New Opportunities

This paper proposes a discussion on opportunities offered by 3D visualization to improve the understanding and the analysis of cadastre data. It first introduce the rationale of having 3D visualization functionalities in the context of cadastre applications. Second the publication outline some basic concepts in 3D visualization. This section specially addresses the visualization pipeline as a driven classification schema to understand the steps leading to 3D visualization. In this section is also presented a brief review of current 3D standards and technologies. Next is proposed a summary of progress made in the last years in 3D cadastral visualization. For instance, user’s requirement, data and semiotics, and platforms are highlighted as main actions performed in the development of 3D cadastre visualization. This review could be perceived as an attempt to structure and emphasise the best practices in the domain of 3D cadastre visualization and as an inventory of issues that still need to be tackled. Finally, by providing a review on advances and trends in 3D visualization, the paper initiates a discussion and a critical analysis on the benefit of applying these new developments to cadastre domain. This final section discusses about enhancing 3D techniques as dynamic transparency and cutaway, 3D generalization, 3D visibility model, 3D annotation, 3D data and web platform, augmented reality, immersive virtual environment, 3D gaming, interaction techniques and time

Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle

Depuis quelques années, de nombreux champs de l'informatique ont été transformés par l'introduction d'une nouvelle vision de la conception et de l'utilisation d'un système, appelée approche déclarative. Contrairement à l'approche dite impérative, qui consiste à décrire au moyen d'un langage formelles opérations à effectuer pour obtenir un résultat, l'approche déclarative suggère plutôt de décrire le résultat désiré, sans spécifier comment ce «but» doit être atteint. L'approche déclarative peut être vue comme le prolongement d'une tendance ayant cours depuis les débuts de l'informatique et visant à résoudre des problèmes en manipulant des concepts d'un niveau d'abstraction toujours plus élevé. Le passage à un paradigme déclaratif pose cependant certains problèmes: les outils actuels sont peu appropriés à une utilisation déclarative. On identifie trois questions fondamentales qui doivent être résolues pour souscrire à ce nouveau paradigme: l'expression de contraintes dans un langage formel, la validation de ces contraintes sur une structure, et enfin la construction d'une structure satisfaisant une contrainte donnée. Cette thèse étudie ces trois problèmes selon l'angle de la logique mathématique. On verra qu'en utilisant une logique comme fondement formel d'un langage de « buts », les questions de validation et de construction d'une structure se transposent en deux questions mathématiques, le model checking et la satisfiabilité, qui sont fondamentales et largement étudiées. En utilisant comme motivation deux contextes concrets, la gestion de réseaux et les architectures orientées services, le travail montrera qu'il est possible d'utiliser la logique mathématique pour décrire, vérifier et construire des configurations de réseaux ou des compositions de services web. L'aboutissement de la recherche consiste en le développement de la logique CTLFO+, permettant d'exprimer des contraintes sur les données, sur la séquences des opérations\ud d'un système, ainsi que des contraintes dites «hybrides». Une réduction de CTL-FO+ à la logique temporelle CTL permet de réutiliser de manière efficace des outils de vérification existants. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Méthodes formelles, Services web, Réseaux

An Integration-Oriented Ontology to Govern Evolution in Big Data Ecosystems

Big Data architectures allow to flexibly store and process heterogeneous data, from multiple sources, in their original format. The structure of those data, commonly supplied by means of REST APIs, is continuously evolving. Thus data analysts need to adapt their analytical processes after each API release. This gets more challenging when performing an integrated or historical analysis. To cope with such complexity, in this paper, we present the Big Data Integration ontology, the core construct to govern the data integration process under schema evolution by systematically annotating it with information regarding the schema of the sources. We present a query rewriting algorithm that, using the annotated ontology, converts queries posed over the ontology to queries over the sources. To cope with syntactic evolution in the sources, we present an algorithm that semi-automatically adapts the ontology upon new releases. This guarantees ontology-mediated queries to correctly retrieve data from the most recent schema version as well as correctness in historical queries. A functional and performance evaluation on real-world APIs is performed to validate our approach.Comment: Preprint submitted to Information Systems. 35 page

Intercorporeality and Technology: toward a new cognitive, aesthetic and communicative paradigm in the performing arts

As I do not have copyright permission to upload the DVD, it was removed for copyright restrictionsFull version unavailable due to 3rd party copyright restrictions.The goal of this thesis was to reassess the relationship between the moving body and technology, and more specifically, to focus on recent perspectives in the performing arts which inscribe new manifestations and dynamics of cross-pollination between the somatic and technology. According to Dr. Andrea Davidson, 'Such research has rarely been formally identified with the specialised field of somatics' (2013, p.3). The thesis thus proposes to reflect on the experience and conception of the performative body in the link it entertains with technology. Investigating this relationship, it defines a new paradigm, that of an 'interfaced intercorporeality'. This paradigm is constructed with special attention to a different relationship revealed between the interface and the notion of a corporal potentiality or 'interval'. In particular, the thesis focuses on the concept of a 'collective body' based on this relationship and on practical research conducted within the framework of my research, along with the methodology that supported it. The research and creative work that are presented derive from experiments I conceived, conducted and participated in making. My analysis is thus based on direct experience. The relationship between the somatic and technology notably led me to focus on the notion of embodied cognition or 'bodily knowledge' and for this, to re-examine the work of Maurice Merleau-Ponty. As a consequence, this return to the experiential also required revisiting definitions given by the Greeks concerning the aesthetic as a reference to sensation and the ability to perceive. The thesis approaches the body as the ground and basis for creating work, as well as for testing the effect(s) that technology has on it. Experiments conducted sought to develop greater sensory and perceptual awareness in order to invest the relationship of somatics/technology in a dimension that could potentially constitute a transformation of self, of one's relationship to others and to the world. Merleau-Ponty's phenomenological existentialism formed the basis for explorations made to forge links between the somatic and technology. However, it is important to clarify that my intention was not to make an analysis of phenomenology per se. It was rather referenced as a means to explain the framework of my research in relation to lived experience, sensation, and specifically, to my creative approach involving new technologies. Merleau-Ponty's methodology includes subjective, first-person accounts of 'lived experience'. Third-person accounts, or so-called 'objective' positions, are also included. These accounts are then shown to evolve towards an ecosystem of interaction and movement in order to experience and test the production of theory and practical experimentation involved in the methodology I adopted. The thesis incorporates knowledge from several disciplines, but principally from the field of dance and technology. Highlighting sensorial and perceptual phenomena related to the transformation of the body through technology and subjective experience, it takes into account an interdisciplinary perspective that is linked to this problematic. The thesis begins with an introduction to phenomenology in which the concepts and positions of Merleau-Ponty are outlined, including those of anti-dualism, the lived body, the ontology of the body, corporeality, intercorporeality and the flesh. Chapter 1 looks at the evolution of this philosophical movement throughout history and continues with a history of the body in phenomenology, an analysis of certain applications of phenomenology in the field of dance and subsequently, in the specific field of dance related to technology. Chapter 2 comprises a literature review. It also presents the bases of reductionist thinking, the proposition of a return to integrative thinking and issues concerning instrumentalisation, the double and the complexification of the self. It further examines the history of ideas surrounding the relationship between the body and technology, notions of the real-virtual-actual and a history and problematics of the interface. It concludes with a presentation of theories on the notions of potentiality, the interval and real-time. Chapter 3 presents my artistic background, an historical overview of the trends and principal ideas that have influenced my work, as well as an examination of the field of dance and technology from the point of view of its history and more recent developments. Chapter 4 is dedicated to an analysis of the research methodologies employed in the practical research for this thesis and identifies related issues. An analysis of problems encountered with existing methodologies notably highlights a need to invest in other methodological modes for practical research of an interdisciplinary nature. The chapter continues with a presentation of some of the methodologies currently used in the field of dance related to technology. The principles underpinning the specific creative research methodology I experimented with are then presented, proposing an adaptation of the aforementioned methodologies in order to respond to the dynamics of collective research of an empathic nature that are specific to my approach and also in order to invest in the link between the somatic and technology my project proposes. This proposition modestly attempts to respond to the lack of methodologies observed in the field of artistic practical research. A discussion of the experimentation involved in the practical research for the thesis is made in Chapter 5. Two creative experiments are analysed. Their aim was to investigate and develop a collective physical body composed of five dancers in constant contact, whose movement and relationships create what I call a 'collective sound body'. This collective entity produces sound in real-time which is simultaneously spatialised. The analysis takes into account the ways these two bodies are interdependent and constantly interrelated. Schematically, the first experiment served as a basis on which to found principles related to the collective body, while the second experiment developed them. The chapter further outlines creative strategies that were employed to test principles of self-organisation linked to sensation and stemming from the somatic techniques employed. It also returns to some of Merleau-Ponty's main concepts that were implemented and tested in performative experience: intercorporeality, the lived body, the dynamic of continual transformation and the principle of coexistence. Lastly, Merleau-Ponty's investigation of sensation and perception and his concept of sensory chiasms are related to the experiments' multisensory exploration and theme of intersubjectivity which are then proposed as leading to the possibility of intercorporeality. Chapter 6 forms the conclusion and seeks to identify new knowledge generated in the thesis. Essentially articulating another vision of the performative body as developed through its contact with technology, the findings, both practical and theoretical, bring to light a different understanding of the body rendered through a dissolution of psychophysical borders in the development of the performative model I called the 'collective body'. The thesis further proposes that the 'collective body' and its evolution as the 'collective sound body', open up the path to a new approach to interfaces and further, to what I propose as a theory of interfaced intercorporeality. This research aims to reintroduce the body and its specific intelligence in the understanding and building of relationships that can be renewed. The technology used in these experiments was considered as a physicality and the activator of a reconfiguration of sensory-perceptual processes that the thesis argues can lead to the final paradigm of 'interfaced intercorporeality' it proposes. References to the documentation included on the DVD are found throughout the thesis but mainly in Chapter 5. Along with the theoretical research presented, the two artistic explorations created are documented on the DVD.As I do not have copyright permission to upload the DVD, it was removed for copyright restriction

An integration-oriented ontology to govern evolution in big data ecosystems

Big Data architectures allow to flexibly store and process heterogeneous data, from multiple sources, in their original format. The structure of those data, commonly supplied by means of REST APIs, is continuously evolving. Thus data analysts need to adapt their analytical processes after each API release. This gets more challenging when performing an integrated or historical analysis. To cope with such complexity, in this paper, we present the Big Data Integration ontology, the core construct to govern the data integration process under schema evolution by systematically annotating it with information regarding the schema of the sources. We present a query rewriting algorithm that, using the annotated ontology, converts queries posed over the ontology to queries over the sources. To cope with syntactic evolution in the sources, we present an algorithm that semi-automatically adapts the ontology upon new releases. This guarantees ontology-mediated queries to correctly retrieve data from the most recent schema version as well as correctness in historical queries. A functional and performance evaluation on real-world APIs is performed to validate our approach.Peer ReviewedPostprint (author's final draft

Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Transportation Optimization in Tactical and Operational Wood Procurement Planning

RÉSUMÉ : L'économie canadienne est dépendante du secteur forestier. Cependant, depuis quelques années, ce secteur fait face à de nouveaux défis, tels que la récession mondiale, un dollar canadien plus fort et une baisse significative de la demande de papier journal. Dans ce nouveau contexte, une planification plus efficace de la chaîne d'approvisionnement est devenue un élément essentiel pour assurer le succès et la pérennité du secteur. Les coûts de transport représentent une dépense importante pour les entreprises forestières. Ceci est dû aux grands volumes de produits qui doivent être transportés sur de grandes distances, en particulier dans le contexte géographique d'un grand pays comme le Canada. Même si les problèmes de tournée de véhicules sont bien couverts dans la littérature, le secteur forestier a beaucoup de caractéristiques uniques qui nécessitent de nouvelles formulations des problèmes et des algorithmes de résolution. À titre d’exemple, les volumes à transporter sont importants comparés à d’autres secteurs et il existe aussi des contraintes de synchronisation à prendre en compte pour planifier l'équipement qui effectue le chargement et le déchargement des véhicules. Cette thèse traite des problèmes de planification de la chaîne logistique d'approvisionnement en bois: récolter diverses variétés de bois en forêt et les transporter par camion aux usines et aux zones de stockage intermédiaire en respectant la demande pour les différents produits forestiers. Elle propose trois nouvelles formulations de ces problèmes. Ces problèmes sont différents les uns des autres dans des aspects tel que l'horizon de planification et des contraintes industrielles variées. Une autre contribution de cette thèse sont les méthodologies développées pour résoudre ces problèmes dans le but d’obtenir des calendriers d’approvisionnement applicables par l’industrie et qui minimisent les coûts de transport. Cette minimisation est le résultat d’allocations plus intelligentes des points d'approvisionnement aux points de demande, d’une tournée de véhicules qui minimise la distance parcourue à vide et de décisions d'ordonnancement de véhicules qui minimisent les files d’attentes des camions pour le chargement et le déchargement. Dans le chapitre 3 on considère un modèle de planification tactique de la récolte. Dans ce problème, on détermine la séquence de récolte pour un ensemble de sites forestiers, et on attribue des équipes de récolte à ces sites. La formulation en programme linéaire en nombres entiers (PLNE) de ce problème gère les décisions d'inventaire et alloue les flux de bois à des entrepreneurs de transport routier sur un horizon de planification annuel. La nouveauté de notre approche est d'intégrer les décisions de tournée des véhicules dans la PLNE. Cette méthode profite de la flexibilité du plan de récolte pour satisfaire les horaires des conducteurs dans le but de conserver une flotte constante de conducteurs permanents et également pour minimiser les coûts de transport. Une heuristique de génération de colonnes est créée pour résoudre ce problème avec un sous-problème qui consiste en un problème du plus court chemin avec capacités (PCCC) avec une solution qui représente une tournée de véhicule. Dans le chapitre 4, on suppose que le plan de récolte est fixé et on doit déterminer les allocations et les inventaires du modèle tactique précédent, avec aussi des décisions de tournée et d'ordonnancement de véhicules. On synchronise les véhicules avec les chargeuses dans les forêts et dans les usines. Les contraintes de synchronisation rendent le problème plus difficile. L’objectif est de déterminer la taille de la flotte de véhicules dans un modèle tactique et de satisfaire la demande des usines avec un coût minimum. Le PLNE est résolu par une heuristique de génération de colonnes. Le sous-problème consiste en un PCCC avec une solution qui représente une tournée et un horaire quotidien d'un véhicule. Dans le chapitre 5, on considère un PLNE du problème similaire à celui étudié dans le chapitre 4, mais dans un contexte plus opérationnel: un horizon de planification d'un mois. Contrairement aux horaires quotidiens de véhicules du problème précédent, on doit planifier les conducteurs par semaine pour gérer les situations dans lesquelles le déchargement d’un camion s’effectue le lendemain de la journée où le chargement a eu lieu. Cette situation se présente quand les conducteurs travaillent la nuit ou quand ils travaillent après les heures de fermeture de l'usine et doivent décharger leur camion au début de la journée suivante. Ceci permet aussi une gestion plus directe des exigences des horaires hebdomadaires. Les contraintes de synchronisation entre les véhicules et les chargeuses qui sont présentes dans le PLNE permettent de créer un horaire pour chaque opérateur de chargeuse. Les coûts de transport sont alors minimisés. On résout le problème à l’aide d’une heuristique de génération de colonnes. Le sous-problème consiste en un PCCC avec une solution qui représente une tournée et un horaire hebdomadaire d’un véhicule.----------ABSTRACT : The Canadian economy is heavily dependent on the forestry industry; however in recent years, this industry has been adapting to new challenges including a worldwide economic downturn, a strengthening Canadian dollar relative to key competing nations, and a significant decline in newsprint demand. Therefore efficiency in supply chain planning is key for the industry to succeed in the future. Transportation costs in particular represent a significant expense to forestry companies. This is due to large volumes of product that must be transported over very large distances, especially in the geographic context of a country the size of Canada. While the field of vehicle routing problems has been heavily studied and applied to many industries for decades, the forestry industry has many unique attributes that necessitate new problem formulations and solution methodologies. These include, but are not limited to, very large (significantly higher than vehicle capacity) volumes to be transported and synchronization constraints to schedule the equipment that load and unload the vehicles. This thesis is set in the wood procurement supply chain of harvesting various assortments of wood in the forest, transporting by truck to mills and intermediate storage locations, while meeting mill demands of the multiple harvested products, and contributes three new problem formulations. These problems differ with respect to planning horizon and varied industrial constraints. Another contribution is the methodologies developed to resolve these problems to yield industrially applicable schedules that minimize vehicle costs: from smarter allocations of supply points to demand points, vehicle routing decisions that optimize the occurrence of backhaul savings, and vehicle scheduling decisions that minimize queues of trucks waiting for loading and unloading equipment. In Chapter 3, we consider a tactical harvest planning model. In this problem we determine the sequence of the harvest of various forest sites, and assign harvest teams to these sites. The MILP formulation of this problem makes inventory decisions and allocates wood flow to trucking contractors over the annual planning horizon, subject to demand constraints and trucking capacities. The novel aspect of our approach is to incorporate vehicle routing decisions into our MILP formulation. This takes advantage of the relatively higher flexibility of the harvest plan to ensure driver shifts of desired characteristics, which is important to retain a permanent driver fleet, and also prioritize the creation of backhaul opportunities in the schedule. A branch-and-price heuristic is developed to resolve this problem, with the subproblem being a vehicle routing problem that represents a geographical shift for a vehicle. In Chapter 4, we assume the harvest plan to be an input, and integrate the allocation and inventory variables of the previous tactical model with vehicle routing and scheduling decisions, synchronizing the vehicles with loaders in the forests and at the mills. The synchronization constraints make a considerably more difficult problem. We use this as a tactical planning model, with no specific driver constraints but a goal of determining vehicle fleet size to maximize their utilization. The objective is to meet mill demands over the planning horizon while minimizing transportation and inventory costs, subject to capacity, wood freshness, fleet balancing, and other industrial constraints. The MILP formulation of the problem is resolved via a column generation algorithm, with the subproblem being a daily vehicle routing and scheduling problem. In Chapter 5, we consider a similar problem formulation to that studied in Chapter 4, but set in a more operational context over a planning horizon of approximately one month. Unlike the daily vehicle schedules of the previous problem, we must schedule drivers by week to manage situations of picking up a load on one day and delivering on another day, which is necessary when drivers work overnight shifts or when they work later than mill closing hours and must unload their truck on the next day's shift. This also allows for more direct management of weekly schedule requirements. Loader synchronization constraints are present in the model which derives a schedule for each loader operator. Given mill demands, transportation costs are then minimized. We resolve the problem via a branch-and-price heuristic, with a subproblem of a weekly vehicle routing and scheduling problem. We also measure the benefits of applying interior point stabilization to the resource synchronization constraints in order to improve the column generation, a new application of the technique