Made available in DSpace on 2019-04-05T23:03:20Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-12-08 / In a mobile multidatabase system, there is a collection of autonomous, distributed, heterogeneous and mobile component database systems which are interconnected by means of a wireless network. In such an environment, each network node can access multiple databases of that collection by means of global transactions whose concurrency is managed by a scheduler, which should be preferably distributed. Several distributed schedulers proposed for mobile multidatabase systems do violate either the consistency or the autonomy of the component database systems, due either to the relaxation or the enforcement, respectively, of the Serializability as the criterion for controlling the concurrency of global transactions. This paper proposes SESAMO, which is a distributed scheduler for mobile MDBSs. SESAMO is based on the finding that a mobile MDBS, in which the concurrency control is performed by the simultaneous execution of multiple autonomous schedulers implementing the Semantic Serializability correctness criterion, does preserve the autonomy and the data consistency of the component database systems. As could be evidenced in experimental results, SESAMO may provide a high degree of concurrency. / Em um sistema de banco de dados múltiplo (SBDM) com suporte à computação móvel, há uma coleção de SBDs-componentes (SBDCs) autônomos, distribuídos, heterogêneos e móveis, os quais são interconectados através de uma rede de comunicação sem fio. Nesse ambiente, cada nó da rede pode acessar múltiplos bancos de dados da referida coleção por meio de transações globais, cuja concorrência é gerenciada por um controlador de concorrência, o qual deve ser distribuído, preferencialmente. Muitas propostas de controladores de concorrência distribuídos para SBDMs com suporte à computação móvel violam a consistência dos dados ou a autonomia dos SBDCs, devido, respectivamente, à flexibilização ou imposição da Serialidade como critério de controle de concorrência de transações globais. Esta dissertação propõe o SESAMO, que é um controlador de concorrência distribuído para SBDMs com suporte à mobilidade. SESAMO é baseado na identificação de que um SBDM com suporte à mobilidade, cujo controle de concorrência de transações globais é realizado pela execução simultânea de múltiplos controladores de concorrência autônomos que implementam o critério de correção da Serialidade Semântica, preserva a consistência dos dados e a autonomia dos SBDs-componentes. SESAMO pode proporcionar um alto grau de concorrência, conforme ficou evidenciado nos resultados experimentais.

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Major Automação). Faculdade de Engenharia. Universidade do Porto. 2010

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Major Automação). Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 2010

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2007

PEREIRA, E. C. Distribuição espacial das estações de rádio base no município de Fortaleza. 86 f. 2015. Dissertação (Mestrado em Logística e Pesquisa Operacional) – Pró-Reitoria de Pesquisa e Pós-Graduação, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-12-07T11:22:40Z No. of bitstreams: 1 2015_dis_ecpereira.pdf: 10777695 bytes, checksum: 6bc267b0aaf2e763608fd9a2b59bdc34 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-12-18T18:27:04Z (GMT) No. of bitstreams: 1 2015_dis_ecpereira.pdf: 10777695 bytes, checksum: 6bc267b0aaf2e763608fd9a2b59bdc34 (MD5) / Made available in DSpace on 2015-12-18T18:27:04Z (GMT). No. of bitstreams: 1 2015_dis_ecpereira.pdf: 10777695 bytes, checksum: 6bc267b0aaf2e763608fd9a2b59bdc34 (MD5) Previous issue date: 2015-09-21 / The growing demand for mobile telephony services and the advent of new technologies requires their continued expansion, in order to ensure safe, reliable and high quality to its users. As a direct consequence of this growth has been the need to increase the amount of Radio Base Stations (RBS) to be installed. This expansion may have visual impacts and damage to the health of the population in the surrounding areas of the base stations, seeking always the best practices for the deployment of base stations. This model is based on policies that allow for expansion of services of mobile networks and, at the same time reduce the visual impact of these facilities as well as damage to the health of the surrounding area of the population, in a complementary manner to the applicable legislation. This concern is motivated by the loss of quality of service presented by the mobile operators, due especially to the poor distribution of antenna signal distributors. The objective of this work is to make a diagnosis of the spatial distribution of Radio Base Stations in the city of Fortaleza, focusing on its normative aspects and the current management system and supervision of those cell sites. The technical and regulatory aspects of installations of base stations used in mobile telephony will be searched, focusing the case study in Fortaleza, in addition to identifying the public agencies responsible for managing the inspection of cell sites in this municipality, and establish their respective responsibilities. For this, the methodology used in the study is based on qualitative exploratory research, using the deductive method of approach, performing literature, through the consultation of books, periodicals, theses, dissertations and legislation available on mobile telephony in Brazil and world, its normative aspects and criteria for installation of base stations. Also we used a field survey, through structured interviews managers of public agencies responsible for the management and supervision of RBS. The study showed that Fortaleza has 843 base stations registered by ANATEL (2014), with 6.8 million active mobile lines. Research by the SEUMA showed, among other aspects, despite the demands of municipal law in 8914, supervising or is done randomly, or from accusations of \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"disagreement\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" made by the people and that the body responsible not talk to one itself. / A crescente demanda pelos serviços móveis de telefonia e o advento de novas tecnologias exige sua contínua expansão, de modo a garantir serviços seguros, confiáveis e de elevada qualidade aos seus usuários. Como consequência direta dessa expansão tem-se a necessidade do aumento na quantidade de Estações Rádio Base (ERB) a serem instaladas. Essa expansão pode apresentar impactos visuais e danos à saúde da população nas áreas de entorno das ERBs, buscando-se sempre as melhores práticas para a implantação das ERBs. Esse modelo baseia-se em diretrizes que permitem a expansão das redes dos serviços móveis e, ao mesmo tempo, reduzem os impactos visuais dessas instalações assim como danos à saúde da população da área de entorno, de modo complementar às legislações aplicáveis. Tal preocupação é motivada pela perda de qualidade do serviço apresentado pelas operadoras de telefonia móvel, devido, especialmente, à má distribuição das antenas distribuidoras de sinal. Assim, o objetivo deste trabalho é fazer um diagnóstico da distribuição espacial das Estações de Rádio Base no município de Fortaleza, enfocando seus aspectos normativos e o atual sistema de gerenciamento e fiscalização dessas ERBs. Serão pesquisados os aspectos técnicos e normativos das instalações das ERBs utilizadas na telefonia móvel, focando o estudo de caso no município de Fortaleza, além de identificar os órgãos públicos responsáveis pelo gerenciamento da fiscalização das ERBs neste município e estabelecer as suas respectivas competências. Para isso, a metodologia utilizada no trabalho é baseada na pesquisa exploratória qualitativa e quantitativa, fazendo uso do método dedutivo de abordagem, realizando pesquisa bibliográfica, através da consulta de livros, periódicos, teses, dissertações e da legislação disponível sobre a telefonia móvel no Brasil e no mundo, seus aspectos normativos e critérios para instalação das ERBs. Também será feita pesquisa de campo, através de entrevista estruturada aos gestores dos órgãos públicos responsáveis pelo gerenciamento e fiscalização das ERBs. O estudo mostrou que Fortaleza possui 843 ERBs cadastradas pela ANATEL (2014), com 6,8 milhões de linhas ativas de celulares. A investigação junto à SEUMA mostrou, dentre outros aspectos que, apesar das exigências da lei municipal no 8.914, a fiscalização ou é feita de forma aleatória, ou a partir de denúncias de “desconformidade” feitas pela população e que os órgãos responsáveis não dialogam entre si.

Made available in DSpace on 2016-08-29T15:33:19Z (GMT). No. of bitstreams: 1 tese_8121_dissert maison melotti creama.pdf: 2283105 bytes, checksum: 3cdd0c54b54e30d2c7cd63976d3cf541 (MD5) Previous issue date: 2014-08-29 / Sistemas colaborativos são sistemas que suportam dois ou mais usuários engajados em uma tarefa comum, fornecendo uma interface para um ambiente compartilhado para esses usuários e as aplicações móveis se tornaram uma parte importante das ferramentas de suporte à colaboração. Quando usados no contexto de mobilidade, sistemas colaborativos podem ser chamados de sistemas colaborativos móveis. Esses sistemas possibilitam, por exemplo, que equipes cooperem enquanto estão em movimento, aumentando o potencial da colaboração. Ferramentas para apoiar desenvolvedores de software são muito importantes de uma forma geral, mas no que diz respeito à colaboração móvel, ferramentas se tornam fundamentais principalmente por se tratar de uma área multidisciplinar que lida com muitas questões técnicas. Porém, sem uma base de requisitos ou modelos que mapeiam esses requisitos para se apoiar, muitas vezes o ferramental pode se tornar inutilizado ou pouco útil. Torna-se com isso de grande importância prover suporte ao desenvolvimento de sistemas colaborativos móveis por meio de um conjunto de ferramentas e métodos que apoiem o desenvolvedor na criação desses sistemas. Devido a isto, neste trabalho foi desenvolvida CReAMA, uma arquitetura de referência para orientar o desenvolvimento de sistemas colaborativos móveis orientados a componentes. Além da definição da arquitetura de referência também foi realizada uma avaliação de CReAMA com o intuito de observar com uma visão abrangente a validade da proposta.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação / Made available in DSpace on 2013-07-16T01:01:42Z (GMT). No. of bitstreams: 1 214169.pdf: 879361 bytes, checksum: c488f179b836a5c95d696fd047a506f0 (MD5) / A computação móvel está se tornando um ambiente de uso comum nos dias atuais. Desta forma é importante fornecer aos seus usuários serviços com uma qualidade similar à encontrada em ambientes cabeados.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-04-26T14:09:10Z No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-04-27T22:18:25Z (GMT) No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Made available in DSpace on 2017-04-27T22:18:25Z (GMT). No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Terminação é uma propriedade crítica para formalização de correção de programas. Verificar automaticamente terminação de um programa é conhecido como Problema da Parada e Turing provou que é um problema indecidível. Apesar disso, é possível construir algoritmos de semi decisão para verificar terminação, que respondem ‘sim’ se pode provar que o algoritmo para e ‘não sei’ caso contrário. Para construir esses algoritmos de semi decisão é necessário considerar diferentes noções de terminação, provando que são equivalentes. Neste trabalho, noções de terminação são formalizadas equivalentes para uma linguagem funcional de primeira ordem chamada PVS0 usando o assistente de prova Prototype Verification System. Essas noções são: as funções produzem uma saída, a árvore de derivação de chamados recursivos de funções tem tamanho finito (ambas as noções são chamadas terminação semântica), e os argumentos das funções decrescem para cada chamado recursivo (essa noção é chamada ranking function). As contribuições desse trabalho incluem a formalização de alguns lemas necessários para demonstrar equivalência entre noções de terminação semântica e ranking function, e como resultado principal a formalizações de indecidibilidade do Problema da Parada e Turing-Completude de PVS0. / Termination is a critical property for the formalization of programs correctness. Verifing automatically termination of a program for an input is known as Halting Problem and Turing proved that this is undecidable. However, it is possible to build semi decision algorithms for the verification of termination, that answer ‘yes’ if it is possible to prove that the algorithm halts, and ‘do not know’ otherwise. To construct these semi decision algorithms it is necessary to consider different notions of termination, proving that they are equivalent. In this work, notions of termination were formalized equivalent for a minimal functional first order language called PVS0 using the proof assistant Prototype Verification System. These notions are: the functions produces an output, the derivation tree of recursive calls of functions has a finite size (both these notions are called semantic termination), and the arguments of functions decreases for each recursive call (this notion is called ranking function). The contributions of this work includes formalization of lemma related with the equivalence between notions of semantic and ranking function termination, and the main results are the formalization of indecidability of Halting Problem and Turing-Completeness of PVS0.