FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / A popularizaÃÃo de dispositivos mÃveis equipados com serviÃos de localizaÃÃo geogrÃfica (e.g. GPS) està permitindo a coleta de dados de trajetÃrias de objetos mÃveis de forma rÃpida e barata. O armazenamento destes dados vem possibilitando o desenvolvimento de novos tipos de aplicaÃÃes que podem utilizar esses dados para realizar anÃlise sobre o comportamento de objetos mÃveis. PorÃm, realizar tais anÃlises a partir de dados brutos, gerados pelo dispositivo de localizaÃÃo geogrÃfica, à um grande desafio, visto que tais dispositivos apenas coletam as informaÃÃes sobre as coordenadas e o instante de tempo, por onde o objeto mÃvel se deslocou. Apesar dos diversos esforÃos empreendidos na busca de soluÃÃes para enriquecer dados de trajetÃrias de objetos mÃveis com informaÃÃes semÃnticas da aplicaÃÃo, pouco foi realizado no sentido de prover mecanismos para consultar tais trajetÃrias enriquecidas. Foi percebido, entÃo, que a falta de mÃtodos para processamento de consultas sobre trajetÃrias semÃnticas, em especial, consulta sobre padrÃes de movimento, sÃo um obstÃculo para a realizaÃÃo de anÃlises de interesse de uma grande parte das aplicaÃÃes deste domÃnio. Desta forma, as principais contribuiÃÃes deste trabalho sÃo: (1) um mÃtodo para processar e realizar consultas que descrevem um padrÃo de movimento constituÃdo de uma sequÃncia de conjuntos de predicados que podem ocorrer em uma trajetÃria semÃntica armazenada em um banco de dados e (2) definiÃÃo de uma linguagem para expressar padrÃes de movimento sobre trajetÃrias semÃnticas. Com objetivo de validar a proposta apresentada, desenvolvemos um sistema que permite a especificaÃÃo de uma consulta para expressar um padrÃo de movimento na linguagem definida. AlÃm disso, utilizamos tal ferramenta para realizar testes sobre um banco de dados de trajetÃrias de carros da cidade de MilÃo, semanticamente enriquecidas com informaÃÃes do aplicativo Foursquare. Os resultados obtidos mostraram que a complexidade para processar as consultas à linear com relaÃÃo ao nÃmero de trajetÃrias semÃnticas e o nÃmero de predicados na consulta, considerando poucas trajetÃrias com muitos episÃdios e muitas trajetÃrias com poucos episÃdios. A abordagem proposta superou outras abordagens existentes, tanto no que concerne a performance do processamento de consultas, quanto na expressividade das consultas que podem ser escritas na linguagem proposta.

SOUSA, Diego Victor Simões de. Realizando consultas em trajetórias semânticas utilizando uma abordagem baseada em verificação de modelos. 2012. 80 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Programa de Pós-Graduação em Ciência da Computação, Fortaleza-CE, 2011. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-20T19:49:41Z No. of bitstreams: 1 2012_dis_dvssousa.pdf: 2543542 bytes, checksum: 24faded41d1fadea557dc458de45aa88 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-20T19:50:51Z (GMT) No. of bitstreams: 1 2012_dis_dvssousa.pdf: 2543542 bytes, checksum: 24faded41d1fadea557dc458de45aa88 (MD5) / Made available in DSpace on 2016-06-20T19:50:51Z (GMT). No. of bitstreams: 1 2012_dis_dvssousa.pdf: 2543542 bytes, checksum: 24faded41d1fadea557dc458de45aa88 (MD5) Previous issue date: 2012 / A popularização de dispositivos móveis equipados com serviços de localização geográfica (e.g. GPS) está permitindo a coleta de dados de trajetórias de objetos móveis de forma rápida e barata. O armazenamento destes dados vem possibilitando o desenvolvimento de novos tipos de aplicações que podem utilizar esses dados para realizar análise sobre o comportamento de objetos móveis. Porém, realizar tais análises a partir de dados brutos, gerados pelo dispositivo de localização geográfica, é um grande desafio, visto que tais dispositivos apenas coletam as informações sobre as coordenadas e o instante de tempo, por onde o objeto móvel se deslocou. Apesar dos diversos esforços empreendidos na busca de soluções para enriquecer dados de trajetórias de objetos móveis com informações semânticas da aplicação, pouco foi realizado no sentido de prover mecanismos para consultar tais trajetórias enriquecidas. Foi percebido, então, que a falta de métodos para processamento de consultas sobre trajetórias semânticas, em especial, consulta sobre padrões de movimento, são um obstáculo para a realização de análises de interesse de uma grande parte das aplicações deste domínio. Desta forma, as principais contribuições deste trabalho são: (1) um método para processar e realizar consultas que descrevem um padrão de movimento constituído de uma sequência de conjuntos de predicados que podem ocorrer em uma trajetória semântica armazenada em um banco de dados e (2) definição de uma linguagem para expressar padrões de movimento sobre trajetórias semânticas. Com objetivo de validar a proposta apresentada, desenvolvemos um sistema que permite a especificação de uma consulta para expressar um padrão de movimento na linguagem definida. Além disso, utilizamos tal ferramenta para realizar testes sobre um banco de dados de trajetórias de carros da cidade de Milão, semanticamente enriquecidas com informações do aplicativo Foursquare. Os resultados obtidos mostraram que a complexidade para processar as consultas é linear com relação ao número de trajetórias semânticas e o número de predicados na consulta, considerando poucas trajetórias com muitos episódios e muitas trajetórias com poucos episódios. A abordagem proposta superou outras abordagens existentes, tanto no que concerne a performance do processamento de consultas, quanto na expressividade das consultas que podem ser escritas na linguagem proposta.