Sistemas de informação geográfica nas Autarquias locais - Modelo de implementação

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Iniciativas locais de desenvolvimento: o caso dos municípios de São Paulo e do ABCD

Dissertação para a obtenção do Grau de Mestre em GESTÃO DO TERRITÓRIO, área de especialização em TERRITÓRIO E DESENVOLVIMENTO,

O sistema de controlo interno nas autarquias locais: o caso do Município de Espinho

Dissertação de Mestrado Apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientador: Doutor Carlos Mota Coorientadora: Doutora Ana Paula Lopes

A contabilidade de gestão nas autarquias locais: o caso do Município de Espinho

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientação: Doutora Alcina Augusta de Sena Portugal Dias Coorientação: Doutora Amélia Cristina Ferreira Silva

Ventilação de locais afetos a serviços técnicos elétricos

A correta ventilação de locais afetos a serviços técnicos elétricos, nomeadamente postos de transformação e salas de grupos geradores, reveste-se de extrema importância como garantia da continuidade e qualidade do serviço prestado, durabilidade dos materiais e equipamentos e da segurança das instalações e utilizadores. A ventilação dos locais afetos a serviços técnicos elétricos pode ser natural ou mecânica, dependendo das suas caraterísticas e das necessidades de ar para ventilação e combustão, quando aplicável. Os técnicos responsáveis pelo projeto de instalações elétricas não detém, em regra, um conhecimento muito profundo sobre este tema, sendo os seus projetos realizados com base em especificações e metodologias gerais disponibilizadas pelos fabricantes e comercializadores dos materiais e equipamentos. O projeto de uma solução de ventilação para um local afeto a serviços técnicos eléctricos exige o conhecimento de todos os ganhos térmicos no interior do espaço, o conhecimento das soluções técnicas e tecnológicas de ventilação bem como as metodologias de dimensionamento aplicáveis a cada situação. Sendo a fase de projeto elétrico, em regra, uma atividade com prazos apertados, pode conduzir ao menosprezar de certos aspetos particulares que carecem de investigação e tempo para serem desenvolvidos, o que pode resultar em projetos e mapas de quantidades que apresentam desvios da solução ideal para o cliente, podendo resultar em investimentos mais elevados, quer na fase de execução, quer na fase de exploração das instalações. Neste sentido, pretendeu-se com o presente trabalho, tratar o tema da ventilação de locais afetos a serviços técnicos, atendendo ao enquadramento normativo e regulamentar das instalações, às soluções técnicas e tecnológicas disponíveis no mercado e às metodologias de dimensionamento, apresentadas pelos documentos normativos e regulamentares. Pretendeu-se também desenvolver uma ferramenta informática de auxilio ao dimensionamento das soluções de ventilação de locais afetos a serviços técnicas eléctricos destinados a postos de transformação e grupos geradores de modo a reduzir o tempo normalmente exigido por esta tarefa, o que se traduzirá numa maior rentabilidade do tempo de projeto, assim como a normalizar as soluções apresentadas e minimizar a probabilidade de erro do dimensionamento das soluções, reduzindo assim a probabilidade de gastos em “trabalhos a mais” provenientes de erros em projeto, poupança em materiais presentes no mapa de quantidades, maior eficácia na execução da empreitada, poupança em gastos durante a exploração e desta forma numa proximidade entre as partes interessadas com o dimensionamento da ventilação do espaço técnico elétrico.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Corpos (Dócies)

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Antropologia, Especialização em Culturas Visuais

Outro Género de Corpos. O materialismo tecnológico fisicalista de Beatriz Preciado

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia Contemporânea

Importância dos stakeholders locais no processo de branding turístico

O objetivo deste trabalho é avaliar a importância dos stakeholders, particularmente, o caso dos comerciantes locais, que correspondem à recente reformulação da “marca” Porto, enquanto cidade, que resultou na nova imagem “Porto.”, implementada em Setembro de 2014. Visto ser um tema recente, recorreu-se à revisão de literatura para verificar se existe ou não importância na integração desta população, através de um processo de branding conjunto, em parceria com quem na prática empreende a marca. Seguiu-se uma análise mais objetiva, onde se selecionou uma amostra por conveniência, sobre o critério de acessibilidade e ainda realizando um convite para entrevista, junto da organização responsável pelo desenvolvimento da marca, que impremeditávelmente foi declinado. Contudo, prosseguiu-se com o apropositado ingrediente da matéria em pesquisa, que talvez possa responder à desconformidade da organização em prestar esclarecimento. Deste modo, do elemento a ser investigado identificam-se quarenta e um negócios, de diferentes segmentos de mercado (alojamentos turísticos, restauração, garrafeiras e lojas de artesanato local), com uma média de cinco funcionários cada e localizadas na zona histórica da cidade do Porto. Em colaboração com os mesmos, foi produzido um questionário pessoal com os proprietários de cada organização investigada. Daqui resultou o nível de familiaridade, motivações e desejos, assim como nível de envolvimento, aproveitamento e aplicação destes stakeholders, imprenscindíveis à marca. Descobrindo-se que independentemente da consciência sobre a existência de uma marca e de um bom nível de reconhecimento, após o seu lançamento, isto não se correlaciona com o comprometimento disponibilizado por parte de quem a gere, nomeadamente comunicação direcionada para os stakeholders locais. Verificando-se uma incongruência quanto ao empreendimento do conceito de branding colaborativo, identificado na literatura e ao qual se atribuí uma aplicabilidade proveitosa.

Proposta de solução de videovigilância para locais remotos

Desde tempos remotos que homens faziam a vigilância de bens e mercadorias e mais recentemente também de pessoas com o intuito de dissuadir roubos, atos de vandalismo e de violência. Nos últimos anos, com a evolução das novas tecnologias verificou-se a sua adoção para auxílio da vigilância. Os atos de terrorismo que têm acontecido um pouco por todo o mundo trouxeram um clima de insegurança à população mundial. Este fenómeno, juntamente com o elevado número de roubos e atos de violência levou à expansão de utilização dos meios de videovigilância de forma a dissuadir estes tipos de crime podendo mesmo, nalguns casos servir como prova para punir os autores dos mesmos. Em Portugal tem-se verificado uma escalada de crimes nas zonas mais rurais não só de bens como as alfaias agrícolas mas também de frutos e mesmo de animais. Estes crimes predominam em locais rurais, relativamente distantes das povoações e em locais onde não existem (ou são praticamente inexistentes) infraestruturas necessárias para implementar meios de videovigilância como a falta de rede elétrica e internet o que torna quase inviável a existência de sistemas de videovigilância nesses locais. Dotar esses locais das infra estruturas necessárias poderia tornar-se demasiado dispendioso e os vigilantes humanos poderiam correr riscos no meio dos montes ou noutros locais remotos para além dos seus elevados custos. Para além do problema dos roubos, existe um outro flagelo relacionado com os incêndios na floresta portuguesa, que todos os anos é dizimada pelo fogo devido a incêndios que surgem na sua maioria causados pelo homem sendo uma parte significativa os de origem criminosa. Para dar resposta a estes problemas e no sentido de vigiar e dissuadir estes tipos de crimes, iniciamos um estudo que pretende propor um protótipo de um sistema de videovigilância para locais remotos (SVR - Sistema de Videovigilância Remota) de baixo custo de forma a diminuir o número de crimes e assim minimizar os prejuízos económico e sociais causados pelos mesmos. Pretendemos estudar o problema e analisar tecnologias com potencial para propor uma solução que possa auxiliar a vigilância nesse tipo de locais com o pressuposto de poder vir a contribuir para a diminuição deste tipo de crimes devido ao seu efeito dissuasor pelo facto de se poder divulgar que estes locais já têm uma solução de vigilância oculta. A solução proposta contempla um sistema de videovigilância com uma camara construída com base num Raspberry Pi onde o vídeo é transmitido em streaming via Web através de comunicações móveis. A alimentação do sistema nestes espaços sem energia elétrica é feita através de um painel fotovoltaico. É proporcionado ao utilizador uma interface para visualizar o vídeo transmitido e um mecanismo de notificações por email. É ainda possível a visualização de imagens gravadas num cartão de memória relativas a ocorrências de deteção de movimentos. Foram realizados inúmeros testes ao protótipo SVR sendo os resultados obtidos aqui descritos.

Estudos sobre epidemiologia da doença de Chagas no Ceará VII - suscetibilidade de Triatomíneos a diversas cepas locais de Trypanosoma cruzi

Foram isoladas duas cepas de Trypanosoma cruzi de marsupiais de área não endêmica e três cepas de área endêmica: uma de homem, uma de marsupial e uma de cão. Foram utilizados para uma prova de suscetibilidade frente a estas cepas 20 ninfas de 5º estádio das seguintes espécies de triatomíneos e testada previamente a capacidade de sugar camundongos brancos em gramas de sangue: Triatoma brasiliensis sugou uma média de 0,09 g, Triatoma infestans sugou 0,13 g, Panstrongylus megistus sugou 0,13 g e Rhodnius prolixus sugou 0,09 g. O T. infestans infectou-se com as taxas mais elevadas com todas as cepas; o T. brasiliensis foi a espécie que menos infectou-se, sendo seguida de perto pelo R. prolixus o P. megistus foi testado somente com as cepas de área não endêmica, apresentando taxas de infecção intermediárias entre o T. infestans e o T. brasiliensis. As cepas que mais infectam são as de marsupiais e a que menos infecta é a proveniente de cão.

Integração de informação secundária na modelação geoestatística da qualidade de solos em locais potencialmente contaminados. Aplicação à área subjacente de uma antiga refinaria

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Análise comparativa de metodologias de avaliação de locais contaminados

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica