7 research outputs found

    Dépistage d'unités mobiles dans les systèmes cellulaires

    Get PDF
    Fonctionnement général des réseaux mobiles -- Architecture générale des réseaux mobiles -- Aspects économiques de la configuration des réseaux mobiles -- Méthodes d'allocation des canaux de base -- Contrôle optimal d'admission des appels -- Planification des zones de localisation -- Localisation des unités mobiles -- Stratégies de dépistage des unités mobiles -- Stratégies de mise à jour -- Mécanismes d'établissement de communications -- Revue des schémas de gestion de localisation -- Modèle de dépistage sous contrainte de délai -- Description du modèle proposé Par Hao et Akyildiz -- Algorithme de calcul des probabilités d'état -- Analyse de la courbe de coût total -- Algorithme de gestion de mobilité proposé -- Mise en oeuvre et analyse des résultats -- Mise en oeuvre de l'algorithme -- Résultats numériques -- Comparaison avec l'algorith me de Ho et Akyildiz

    Mobilité et bases de données : Etat de l'art et perspectives: 1ère partie. Action spécifique CNRS « Mobilité/Accès aux données »

    Get PDF
    National audienceThis paper is the result of the collective work done within the CNRS specific action Mobility/Data access with seven french laboratories IMAG-LSR, INT-Evry, LIP6, LORIA, PRiSM, EPFL, LIRMM . All pursuiving research in mobile computing and mobile databases. The action started in October 2001 for an initial period of one year. The activities and results of this action are available online at [AS_BDMobile]. The objective of this paper is to review the state of progress in mobile databases and identify major research directions. However, the research domain is so broad that we cannot pretend to be exhaustive. First, we propose a classification of mobile applications and a characterization of their execution environments. Then, we analyze the following issues: management of localization data, data access models, copy consistency and synchronization, management of embedded data, data confidentiality, and adaptability of software infrastructures to mobility and disconnection. For editorial reasons, this paper is published as a chronicle with two parts of equal importance.Ce document est le résultat d'un travail collectif réalisé par les membres de l'action spécifique CNRS « Mobilité/Accès aux données ». Il fait le point sur l'état d'avancement des travaux réalisés dans le domaine des bases de données mobiles et identifie quelques orientations de recherche jugées particulièrement pertinentes. Compte tenu de la largeur du domaine, ce document ne prétend cependant pas à l'exhaustivité. Après une classification des applications mobiles et une caractérisation de leur environnement d'exécution, les problématiques suivantes sont analysées : gestion des données de localisation, modèles d'accès aux données, cohérence des traitements et synchronisation de copies, gestion de données embarquées, confidentialité des données et enfin adaptabilité des infrastructures logicielles à la mobilité et à la déconnexion

    Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles (Applications aux réseaux de capteurs sans fil)

    Get PDF
    Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking. Nous modélisons ces systèmes à l'aide d'un formalisme de haut niveau issu du p-calcul, permettant de considérer des comportements stochastiques, temporels, déterministes, ou indéterministes. Cependant, dans le p-calcul, la primitive de communication de base des systèmes est la communication en point-à-point synchrone. Or, les systèmes mobiles, qui utilisent des réseaux sans fil, communiquent essentiellement par diffusion locale. C'est pourquoi, dans un premier temps, nous définissons la communication par diffusion dans le p-calcul, afin de mieux modéliser les systèmes que nous étudions. Nous proposons d'utiliser des versions probabilistes et stochastiques de l'algèbre que nous avons défini, pour permettre des études de performance. Nous en définissons une version temporelle permettant de considérer le temps dans les modèles. Mais l'absence d'outils d'analyse des propriétés sur des modèles spécifiés en une algèbre issue du p-calcul est un obstacle majeur à notre travail. La définition de règles de traduction en langage PRISM, nous permet de traduire nos modèles, en modèles de bas niveau supports du model checking, à savoir des chaînes de Markov à temps discret, à temps continu, des automates temporisés, ou des automates temporisés probabilistes. Nous avons choisi l'outil PRISM car, à notre connaissance, dans sa dernière version, il est le seul outil à supporter les formalismes de bas niveau que nous venons de citer, et ainsi il permet de réaliser des études de performabilité complètes. Cette façon de procéder nous permet de pallier à l'absence d'outils d'analyse pour nos modèles. Par la suite, nous appliquons ces concepts théoriques aux réseaux de capteurs sans fil mobiles.We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a high-level formalism derived from the p-calculus, for considering stochastic, timed, deterministic or indeterministic behaviors. However, in the p-calculus, the basic communication primitive of systems is the synchronous point-to-point communication. However, mobile systems that use wireless networks, mostly communicate by local broadcast. Therefore, we first define the broadcast communication into the p-calculus, to better model the systems we study. We propose to use probabilistic and stochastic versions of the algebra we have defined to allow performance studies. We define a temporal version to consider time in the models. But the lack of tools for analyzing properties of models specified with p-calculus is a major obstacle to our work and its objectives. The definition of translation rules into the PRISM language allows us to translate our models in low-level models which can support model checking, namely discrete time, or continuous time Markov chains, timed automata, or probabilistic timed automata. We chose the PRISM model checker because, in our best knowledge, in its latest version, it is the only tool that supports the low-level formalisms that we have previously cited, and thus, makes it possible to realize complete performability studies. This approach allows us to overcome the lack of model checkers for our models. Subsequently, we apply these theoretical concepts to analyse performability of mobile wireless sensor networks.PARIS-CNAM (751032301) / SudocSudocFranceF

    Étude sur l'économie et ses représentations sociales à travers deux cadres théoriques : exploration des lieux de détermination d'un débat

    Get PDF
    Dans le domaine des représentations sociales (Moscovici, 1961), surtout dans les recherches dites quantitatives, il existe deux courants de recherche qui se sont érigés en écoles: l'école d'Aix-enProvence (EA) et l'école de Genève (EG). Toutes les deux prétendent étudier les représentations sociales (RS), la structure et l'évolution de la pensée sociale ou le sens commun, mais chacune suivant son modèle théorique. Pour EA (Abric, 1994), une RS est formée d'éléments reliés entre eux suivant une structure double: un noyau central, relativement consensuel dans un groupe, et un système périphérique traduisant les variations individuelles et contextuelles. Pour EG (Doise, 1990), les RS sont des principes organisateurs de prises de position, par rapport à un enjeu, traduisant des insertions spécifiques de rapports sociaux. Depuis les années 1990, un débat relativement animé entre ces deux écoles s'est installé dans la communauté scientifique sans qu'un chercheur dans le domaine puisse déterminer d'une manière impartiale lequel des deux modèles est le plus adéquat pour son étude. Cette thèse, d'ordre ± méthodo-Iogique ¿ avec une application pratique, vise à éclaircir les termes de ce débat à partir d'une recherche sur un même objet, les RS de l'économie chez une population estudiantine, objet déjà traité par les tenants des deux écoles, suivant une perspective comparative. La recherche a été effectuée selon les canons des méthodes des deux écoles afin de pouvoir dégager les différences des deux approches surtout à l'égard de ce qui a été appelé le ± découpage de l'objet ¿ effectué par chacun des modèles. Sur le plan de l'application de l'étude aux RS de l'économie, d'une part les résultats de l'EA prennent la forme d'une structure (noyau central et système périphérique) non-autonome et nondimensionnelle mais organisée par des groupements de thèmes pouvant se recouvrir partiellement et où un même thème acquiert une signification différente selon autant les thèmes auxquels il s'associe que le contexte groupaI particulier dans lequel il apparaît. En effet, le thème ± argent ¿, central, prioritaire et non-négociable acquiert des significations distinctes autant lors de comparaisons inter-sexes (Homme vis Femme) qu'en fonction de ses associations à d'autres thèmes centraux adjoints (Salaire, Épargne, Banque, Emploi, Bourse) lors des comparaisons intra-sexes. Le noyau central est aussi constitué de sept autres thèmes qui, en interaction, forment les groupements suivants: Rémunération-Thésaurisation, Acteurs du circuit économique, Cycle , économique. D'autre part, pour EG, l'ensemble des analyses internes/externes (AFC, CAH, Classification mixte, description des classes, INDSCAL, variables supplémentaires) montrent que les différentes significations individuelles attribuées aux éléments du savoir commun sur l'économie se sont organisées autour de deux axes principaux: 1) l'axe Économie domestique vis Macroéconomie; 2) l'axe de l'investissement: ses conditions vis ses risques. Deux variables d'ancrage, la condition économique et l'âge, et dans une moindre mesure, l'appartenance à l'UQAM ou à l'UdeM, rendent compte des prises de position à propos des RS de l'économie. Sur le plan ± méthodo-Iogique ¿, il en ressort plusieurs points distincts mais dépendants: 1) une différence dans la conception des outils de collecte de données (i.e., épreuves de questionnement) dans la majorité des étapes d'une recherche: EA cherche des données majoritaires dénotant un consensus alors que EG provoque les différences entre les individus; 2) Une différence de modèle mathématique à la base des techniques d'analyse de données: mathématique combinatoire et topologisation de la relation entre les éléments d'une RS pour EA vis mathématique continue et géométrisation de l'espace du sens commun pour EG; 3) une différence dans la manière d'intervenir sur les données pour les rendre ± pertinentes¿: chez EA l'intervention est minimale et elle est constamment à justifier d'autant plus que le lien entre une étape et une autre n'est pas compilable dans une même représentation synthétique comme c'est le cas chez EG où l'intervention est plus ouverte et passe souvent par des algorithmes nettement moins intuitifs et explicites. Bref, chacune des deux écoles conçoit différemment son objet et implante un dispositif d'observation et d'analyse correspondant à cette différence de telle sorte qu'une même donnée peut être très informative pour l'un alors qu'elle passerait totalement inaperçue pour l'autre. Il est donc peu pertinent de se limiter à chercher une correspondance entre le noyau central d'une RS et ses principes organisateurs vu que la division semble aussi se situer à un autre niveau que celui du simple discours théorique. Les limites inhérentes à la présente étude et à l'emboîtement de ses deux objectifs, empirique et méthodo-Iogique, sont discutées en usant de réflexivité et en ouvrant des pistes vers des questionnements plus approfondis dans le domaine des recherches empiriques dont l'objet de recherche est la méthode

    De la transnationalisation de l'action syndicale au sein des entreprises multinationales : une analyse du "Réseau UNI@Quebecor World"

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