Descripteur
Termes descripteurs IGN > mathématiques > algèbre > algèbre de Boole
algèbre de BooleSynonyme(s)algèbre booléenneVoir aussi |



Etendre la recherche sur niveau(x) vers le bas
Connectivity in the regular polytope representation / R. Thompson in Geoinformatica, vol 15 n° 2 (April 2011)
![]()
[article]
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éesRé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 Affiliation des auteurs : non IGN 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
in Geoinformatica > vol 15 n° 2 (April 2011) . - pp 223 - 246[article]Réservation
Réserver ce documentExemplaires (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)
[article]
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éographiqueRé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 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=27750
in International journal of geographical information science IJGIS > vol 20 n° 1 (january 2006) . - pp 1 - 30[article]Réservation
Réserver ce documentExemplaires (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
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ésRé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 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=62206 Réservation
Réserver ce documentExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 69473-01 23.00 Livre Centre de documentation Mathématiques Disponible
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] transistorNuméro de notice : 53897 Affiliation des auteurs : IGN (1940-2011) Nature : Manuel de cours IGN Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=48243 Réservation
Réserver ce documentExemplaires (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
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 LaplaceNuméro de notice : 53297 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=59464 Réservation
Réserver ce documentExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 53297-01 23.30 Livre Centre de documentation En réserve 1L Disponible PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkTome 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