Centre dedocumentation
scientifique

Connectivity in the regular polytope representation / R. Thompson in Geoinformatica, vol 15 n° 2 (April 2011)  

Public [article]  inGeoinformatica > vol 15 n° 2 (April 2011) . - pp 223 - 246 Titre : Connectivity in the regular polytope representation Type de document : Article/Communication Auteurs : R. Thompson, Auteur ; Peter J. M. Van Oosterom, Auteur Année de publication : 2011 Article en page(s) : pp 223 - 246 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées [Termes descripteurs IGN] algèbre de Boole [Termes descripteurs IGN] base de données localisées [Termes descripteurs IGN] connexité (graphes) [Termes descripteurs IGN] objet géographique [Termes descripteurs IGN] raisonnement spatial [Termes descripteurs IGN] relation topologique [Termes descripteurs IGN] traitement géométrique de données Résumé : (Auteur) In order to be able to draw inferences about real world phenomena from a representation expressed in a digital computer, it is essential that the representation should have a rigorously correct algebraic structure. It is also desirable that the underlying algebra be familiar, and provide a close modelling of those phenomena. The fundamental problem addressed in this paper is that, since computers do not support real-number arithmetic, the algebraic behaviour of the representation may not be correct, and cannot directly model a mathematical abstraction of space based on real numbers. This paper describes a basis for the robust geometrical construction of spatial objects in computer applications using a complex called the “Regular Polytope”. In contrast to most other spatial data types, this definition supports a rigorous logic within a finite digital arithmetic. The definition of connectivity proves to be non-trivial, and alternatives are investigated. It is shown that these alternatives satisfy the relations of a region connection calculus (RCC) as used for qualitative spatial reasoning, and thus introduce the rigor of that reasoning to geographical information systems. They also form what can reasonably be termed a “Finite Boolean Connection Algebra”. The rigorous and closed nature of the algebra ensures that these primitive functions and predicates can be combined to any desired level of complexity, and thus provide a useful toolkit for data retrieval and analysis. The paper argues for a model with two and three-dimensional objects that have been coded in Java and which implement a full set of topological and connectivity functions which is shown to be complete and rigorous. Numéro de notice : A2011-088 Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.1007/s10707-009-0094-3 date de publication en ligne : 20/10/2009 En ligne : https://doi.org/10.1007/s10707-009-0094-3 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=30868 [article]

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
057-2011021	SL	Revue	Centre de documentation	Revues en salle	Disponible

A generalized cross-tabulation matrix to compare soft-classified maps at multiple resolutions / Robert Gilmore Pontius in International journal of geographical information science IJGIS, vol 20 n° 1 (january 2006)

Public [article]  inInternational journal of geographical information science IJGIS > vol 20 n° 1 (january 2006) . - pp 1 - 30 Titre : A generalized cross-tabulation matrix to compare soft-classified maps at multiple resolutions Type de document : Article/Communication Auteurs : Robert Gilmore Pontius, Auteur ; L. Cheuk, Auteur Année de publication : 2006 Article en page(s) : pp 1 - 30 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Applications de télédétection [Termes descripteurs IGN] algèbre de Boole [Termes descripteurs IGN] classification pixellaire [Termes descripteurs IGN] données multiéchelles [Termes descripteurs IGN] matrice [Termes descripteurs IGN] numérisation [Termes descripteurs IGN] système d'information géographique Résumé : (Auteur) This paper addresses two grand challenges in the development of methods for Geographic Information Science (GIS). First, this paper presents techniques to compute a cross-tabulation matrix for soft-classified pixels. Second, it shows how to compute the cross-tabulation matrix at multiple scales. The traditional approach to construct the cross-tabulation matrix uses a Boolean operator to analyse pixels that are hard-classified. For soft-classified pixels, the contemporary approach uses a Multiplication operator ; the fuzzy approach uses a Minimum operator ; whereas this paper proposes a multiple-resolution approach that uses a Composite operator. There are difficulties with the traditional, contemporary, and fuzzy methods of computing the cross-tabulation matrix. The proposed multiple-resolution method resolves those difficulties. Furthermore, the proposed method facilitates multiple-resolution analysis, so it can examine how results change as a function of scale. The paper derives the equations to compute cross-tabulation matrices at multiple resolutions and connects those equations to ontological foundations of GIS. Numéro de notice : A2006-023 Thématique : IMAGERIE Nature : Article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=27750 [article]

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
079-06011	RAB	Revue	Centre de documentation	En réserve 3L	Disponible
079-06012	RAB	Revue	Centre de documentation	En réserve 3L	Disponible

Méthodes mathématiques pour l'informatique / J. Velu (1999)

Public Titre : Méthodes mathématiques pour l'informatique : cours et exercices corrigés, 1er cycle Type de document : Monographie Auteurs : J. Velu, Auteur Mention d'édition : 3 Editeur : Paris : Dunod Année de publication : 1999 Collection : Sciences Sup, ISSN 1636-2217 Importance : 516 p. Format : 17 x 24 cm ISBN/ISSN/EAN : 978-2-10-004414-6 Langues : Français (fre) Descripteur : [Vedettes matières IGN] Mathématique [Termes descripteurs IGN] algèbre de Boole [Termes descripteurs IGN] arithmétique [Termes descripteurs IGN] automate [Termes descripteurs IGN] calcul matriciel [Termes descripteurs IGN] exercice [Termes descripteurs IGN] graphe [Termes descripteurs IGN] informatique [Termes descripteurs IGN] probabilités Résumé : Ce manuel aborde en profondeur tous les thèmes qui constituent la base élémentaire de connaissances mathématiques indispensable à tout informaticien. L'auteur y présente tous les concepts fondamentaux de la façon la plus intuitive possible avant de procéder à une mise en forme abstraite. Dans chaque chapitre, des problèmes nombreux sont posés et des méthodes pratiques énoncées qui permettent de les résoudre mécaniquement. Des exercices, nombreux et souvent distrayants, éclairent des démonstrations qui vont directement à l'essentiel. Méthodes mathématiques pour l'informatique est un outil pédagogique très complet et intéressera tous les étudiants du premier cycle (cycle A du CNAM, IUT, BTS, DEUG), ainsi que ceux des MIAGE. Cette 3e édition a été entièrement revue et complétée par les solutions des exercices. Numéro de notice : 69473 Thématique : MATHEMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=62206

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
69473-01	23.00	Livre	Centre de documentation	Mathématiques	Disponible

Cours d'électronique / A. Reynes (1982)

Public Titre : Cours d'électronique Type de document : Guide/Manuel Auteurs : A. Reynes, Auteur Editeur : Paris : Institut Géographique National - IGN Année de publication : 1982 Importance : 47 p. Format : 21 x 30 cm Langues : Français (fre) Descripteur : [Vedettes matières IGN] Physique [Termes descripteurs IGN] algèbre de Boole [Termes descripteurs IGN] électricité [Termes descripteurs IGN] électromécanique [Termes descripteurs IGN] électronique [Termes descripteurs IGN] récepteur [Termes descripteurs IGN] transistor Numéro de notice : 53897 Nature : Manuel de cours IGN Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=48243

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
53897-01	24.14	Livre	Centre de documentation	En réserve 2S (M-103)	Disponible
53897-02	24.14	Livre	Centre de documentation	En réserve 2S (M-103)	Disponible

Distribution et transformations de Fourier / F. Roddier (1981)

Public Titre : Distribution et transformations de Fourier Type de document : Monographie Auteurs : F. Roddier, Auteur Editeur : Boston : McGraw-Hill Année de publication : 1981 Importance : 323 p. Format : 14 x 21 cm Langues : Français (fre) Descripteur : [Vedettes matières IGN] Analyse mathématique [Termes descripteurs IGN] algèbre de Boole [Termes descripteurs IGN] série de Fourier [Termes descripteurs IGN] traitement du signal [Termes descripteurs IGN] transformation de Fourier [Termes descripteurs IGN] transformation de Laplace Numéro de notice : 53297 Thématique : MATHEMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=59464

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
53297-01	23.30	Livre	Centre de documentation	En réserve 1L	Disponible

Algèbre moderne / F. Ayres (1979)

Permalink

L'algèbre de Boole / G. Casanova (1972)

Permalink

Algèbre de Boole / Edf-gdf (1971)

Permalink

Bases mathématiques du calcul des probabilités / J. Neveu (1970)

Permalink

Cours de calcul booléen appliqué / R. Faure (1970)

Permalink

Algèbre de Boole et machines logiques / J. Kuntzmann (1967)

Permalink

L'algèbre de Boole et son utilisation / H.G. Flegg (1967)

Permalink

Algèbre de Boole / J. Kuntzmann (1965)

Permalink

Algèbre et logique / G. Boole (1962)

Permalink

Tome 2. Cours de mathématiques : fonctions analytiques, équations différentielles et aux dérivées partielles, calcul symbolique - fonctions harmoniques, calcul des variations, abaques, algèbre de Boole / J. Bass (1961)

Permalink