Agent-based parking occupancy simulation

The existing parking simulations, as most simulations, are intended to gain insights of a system or to make predictions. The knowledge they have provided has built up over the years, and several research works have devised detailed parking system models. This thesis work describes the use of an agent-based parking simulation in the context of a bigger parking system development. It focuses more on flexibility than on fidelity, showing the case where it is relevant for a parking simulation to consume dynamically changing GIS data from external, online sources and how to address this case. The simulation generates the parking occupancy information that sensing technologies should eventually produce and supplies it to the bigger parking system. It is built as a Java application based on the MASON toolkit and consumes GIS data from an ArcGis Server. The application context of the implemented parking simulation is a university campus with free, on-street parking places.

Spatial distribution of schistosomiasis and geohelminthiasis cases in the rural areas of Pernambuco, Brazil

INTRODUCTION: The prevalence and intensity of geohelminth infections and schistosomiasis remain high in the rural areas of Zona da Mata, Pernambuco (ZMP), Brazil, where these parasites still represent a significant public health problem. The present study aimed to spatially assess the occurrences of schistosomiasis and geohelminthiasis in the ZMP. METHODS: The ZMP has a population of 1,132,544 inhabitants, formed by 43 municipalities. An ecological study was conducted, using secondary data relating to positive human cases and parasite loads of schistosomiasis and positive human cases of geohelminthiasis that were worked up in Excel 2007. We used the coordinates of the municipal headquarters to represent the cities which served as the unit of analysis of this study. The Kernel estimator was used to spatially analyze the data and identify distribution patterns and case densities, with analysis done in ArcGIS software. RESULTS: Spatial analysis from the Kernel intensity estimator made it possible to construct density maps showing that the northern ZMP was the region with the greatest number of children infected with parasites and the populations most intensely infected by Schistosoma mansoni. In relation to geohelminths, there was higher spatial distribution of cases of Ascaris lumbricoides and Trichuris trichiura in the southern ZMP, and greater occurrence of hookworms in the northern/central ZMP. CONCLUSIONS: Despite several surveys and studies showing occurrences of schistosomiasis and geohelminthiasis in the ZMP, no preventive measures that are known to have been effective in decreasing these health hazards have yet been implemented in the endemic area.

Modelo hidrogeológico e rede de monitorização da água subterrânea na Zona Industrial e Logística de Sines (ZILS)

Na Zona Industrial e Logística de Sines (ZILS) estão instaladas empresas e indústrias que interferem na quantidade e qualidade da água subterrânea de aquíferos da região. Estas utilizam e libertam poluentes que, consequentemente, quando não cumpridas as normas de segurança, podem causar impactes no ambiente. A ZILS situa-se no Sistema Aquífero de Sines, na Massa de Água 032-Sines, este é constituído por dois aquíferos, um superficial detrítico livre e outro carbonatado profundo confinado. Apesar de se encontrarem separados em grande parte da sua extensão, na região sul, estes aquíferos encontram-se em conexão hidráulica. Esta ocorre a este da falha da Maria das Moitas onde, a partir da qual e até ao limite com o Paleozóico, não foi reconhecida a unidade argilosa do Miocénico, aumentado assim a vulnerabilidade do sistema e a pertinente otimização da rede de monitorização. Para a realização de um estudo mais aprofundado e avaliação dos efeitos sobre as águas subterrâneas na área de estudo, definiu-se uma metodologia de trabalho que engloba 4 etapas: (i) revisão bibliográfica; (ii) recolha de dados geológicos e hidrogeológicos dos arquivos da aicep Global Parques, S.A., SNIRH e LNEG; (iii) tratamento e análise dos dados obtidos em ArcGIS e traçado de perfis geológicos interpretativos; (iv) realização do modelo geológico e hidrogeológico e respetiva adequação da rede de monitorização. O modelo hidrogeológico concebido mostra que o escoamento no Sistema Aquífero de Sines se processa, predominantemente, de E para W a partir do limite situado no contacto por falha entre as unidades do Paleozóico e Meso-Cenozóico com orientação, quase perpendicular, à ribeira dos Moinhos. A este deste alinhamento é assinalada a presença de um aquífero fissurado sob as areias do Plio-Plistocénico localizado na Formação de Mira. O escoamento neste aquífero faz-se de NE para SW, em direção ao oceano, para a praia de S. Torpes.

An agent based architecture to support monitoring in plug and produce manufacturing systems using knowledge extraction

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Metodologias de Sistemas de Informação Geográfica em sistemas de produção florestal : uma aplicação geoestatística

As florestas são uma fonte importante de recursos naturais, desempenhando um papel fulcral na sustentabilidade ambiental. A sua gestão quer territorial quer económica, conduz a uma maximização da produção, sem alteração da qualidade da matéria-prima. Portugal apresenta mais de um terço do seu território coberto por floresta, apresentando uma possibilidade de aplicação de sistemas de gestão, territorial e económica que maximizem a sua produção. Os Sistemas de Informação Geográfica (SIG) são modelos da realidade em que é possível integrar toda a informação disponível sobre um assunto tendo por base um campo comum a todos as variáveis, a localização geográfica. Os SIG podem contribuir de diversas formas para um maior desenvolvimento das rotinas e ferramentas de planeamento e gestão florestal. A sua integração com modelos quantitativos para planeamento e gestão de florestas é uma mais-valia nesta área. Nesta dissertação apresentam-se modelos geoestatísticos, com recurso a Sistemas de Informação Geográfica, de apoio e suporte à produção de pinha em Pinheiro-manso (Pinus pinea L.). Procurando estimar as áreas com melhor propensão à produção, a partir de dados amostrais. Estes foram previamente estudados tendo sido selecionadas quatro variáveis: largura da copa, área basal, altura da árvore e produção de pinha. A geoestatística aplicada, inclui modelos de correlação espacial: kriging, onde são atribuídos pesos às amostras a partir de uma análise espacial baseada no variograma experimental. Foi utilizada a extensão Geostatistical Analyst do ArcGis da ESRI, para realizar 96 krigings para as quatro variáveis em estudo, com diferentes parametrizações, destes foram selecionados 8 krigings. Com base nos critérios de adequação dos modelos e da análise de resultados da predição dos erros - cross validation. O resultado deste estudo é apresentado através de mapas de previsão para a produção de pinha em Pinheiro manso, em que foram analisadas áreas com maior e menor probabilidade de produção tendo-se realizado análises de comparação de variáveis. Através da interseção de todas as variáveis com a produção, podemos concluir que os concelhos com maiores áreas de probabilidade de produção de pinha em Pinheiro manso, da área de estudo, são Alcácer do Sal, Montemor-o-Novo, Vendas Novas, Coruche e Chamusca. Com a realização de um cruzamento de dados entre os resultados obtidos dos krigings, e a Carta de Uso e Ocupação do Solo de Portugal Continental para 2007 (COS2007), realizaram-se mapas de previsão para a expansão do Pinheiro manso. Nas áreas de expansão conseguimos atingir aumentos mínimos na ordem dos 11% e máximo na ordem dos 61%. No total consegue-se atingir aproximadamente 128 mil ha para área de expansão do Pinheiro manso. Superando, os valores esperados pelos Planos Regionais de Ordenamento Florestal, abrangidos pela área da amostra em estudo, em que é esperado um incremento de cerca de 130 mil hectares de área de Pinheiro manso para 2030.

Monitoring and analysis of queries in distributed databases

Dissertação de Mestrado em Engenharia Informática

Caso de demonstração de uma framework para automatização do teste de APIs de aplicações SaaS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Previsão de cheias em Barcelos

Dissertação de mestrado integrado em Engenharia Civil

Influência do fator visão do céu na propagação do ruído em zonas urbanas

Dissertação de mestrado integrado em Engenharia Civil

Enzima conversora de angiotensina no líquido pericárdico: estudo comparativo com a atividade sérica

FUNDAMENTO: A caracterização de uma enzima conversora de angiotensina (ECA) no líquido pericárdico humano é relevante diante do seu papel na liberação de angiotensina II e, portanto, do papel do pericárdio na homeostase cardivascular. OBJETIVO: Isolar e caracterizar uma ECA do líquido pericárdico humano. Comparar as atividades conversoras de angiotensina I do fluido pericárdico e do soro de pacientes submetidos à cirurgia cardiovascular. MÉTODOS: A enzima do líquido pericárdico humano foi purificada por meio de etapas cromatográficas e caracterizada por eletroforese em gel de poliacrilamida (SDS-PAGE), hidrólise de angiotensina I, bradicinina, Hip-His-Leu e substratos sintéticos com supressão interna de fluorescência. Lisinopril foi usado como inibidor. A atividade de ECA foi determinada em amostras de sangue e líquido pericárdico de 23 pacientes submetidos à cirurgia cardiovascular. RESULTADOS: A ECA purificada (MM = 140 kDa) libera angiotensina II, hidrolisa a bradicinina e o substrato Hip-His-Leu. Os parâmetros cinéticos k cat,(s-1) e k cat/Km (µM-1. s-1) foram respectivamente: Hip-His-Leu (1,14 e 7 x 10 -4), Abz-YRK(Dnp)P-OH (2,60 e 0,77), Abz-LFK(Dnp)-OH (2,77 e 0,36) e Abz-SDK(Dnp)P-OH (1,92 e 0,19). As atividades conversoras de angiotensina I (média ± DP) do líquido pericárdico e no soro foram, respectivamente, 3,16 ± 0,90 mU x mg -1x min-1 e 0,33 ± 0,11 mU x mg -1x min-1 . A diferença foi significativa entre os dois fluidos. CONCLUSÃO: Uma ECA com grande similaridade com a enzima somática foi isolada do fluido pericárdico humano. A atividade conversora de angiotensina I é maior no líquido pericárdico quando comparada com a atividade do soro. Esses dados constituem importante evidência do papel do líquido pericárdico no metabolismo de peptídeos ativos.

Disposición final de residuos sólidos en el ejido municipal de la ciudad de Córdoba: una oportunidad para el desarrollo de herramientas de gestión ambiental municipal participativa.

Identificación y caracterización del problema objeto del estudio. La gestión ambiental es un proceso continuo y dinámico cuyo fin es la implementación de políticas ambientales. Es clave en un municipio la gestión de los residuos sólidos urbanos (RSU) ya que requiere que se consideren aspectos tales como su recolección, tratamiento, disposición final y la participación social. La insuficiencia de datos vinculados a su disposición final dificulta el diseño y establecimiento de planes y su seguimiento. Tampoco se considera prioritaria la incorporación de los vecinos en la construcción de estrategias de gestión lo que genera resistencia hacia las mismas. Hipótesis. La problemática de los RSU es una manifestación particular de la interacción entre el medio físico y los actores sociales que en él se asientan y desarrollan sus actividades. El estudio de conocimientos, percepciones y valoraciones sobre el ambiente es vital para conocer la implicación social en los temas ambientales. Objetivos. Desarrollar herramientas técnico-científicas que orienten la gestión ambiental participativa escala municipal. Como objetivos específicos: analizar la situación ambiental en el área afectada por la disposición final de residuos de la ciudad de Córdoba; valorar la perspectiva ambiental de los habitantes del sector en relación a los RSU; analizar y valorar las estrategias de gestión ambiental municipal asociadas a su disposición final; relacionar las estrategias ambientales aplicadas con las condiciones socio-ambientales identificadas. Materiales y Métodos. El área de estudio se localiza en el sector sur de la ciudad de Córdoba, donde se halla el actual enterramiento sanitario transitorio. Su caracterización socio-ambiental comprenderá: Análisis y Diagnóstico Ambiental. Se utilizará el esquema Presión-Estado-Respuesta para estructurar la aplicación de indicadores ambientales. Para la interpretación de la información ambiental y su expresión espacial se utilizará ArcGIS. Ésta se incorporará a un video documental que servirá como disparador de los grupos focales. Análisis de la Perspectiva Ambiental. Las fuentes secundarias permitirán contextualizar los procesos estudiados. Se consultarán censos nacionales y provinciales, y otros documentos e informes técnicos. La recolección de información primaria se realizará mediante grupos focales y entrevistas semi-estructuradas. Éstas se harán mediante la estratificación de los actores sociales según composición del ingreso, e identificando otros referentes que aporten a la comprensión del proceso. El número de entrevistas se determinará mediante la obtención del punto de saturación teórica. El instrumento para llevar adelante estas entrevistas será una Guía de Pautas. Resultados esperados. Se obtendrá un documento organizado en tres secciones. La primera presentará el diagnóstico, los indicadores y los instrumentos para la valoración ambiental de los vecinos. La segunda plasmará los resultados obtenidos a través de cartografía elaborada con los datos de campo relevados, el registro, sistematización y síntesis de los datos analizados. En la última sección se formularán propuestas desde el punto de vista de la gestión ambiental municipal participativa. Importancia del proyecto. La gestión de los RSU es de incumbencia municipal. Los avances en política ambiental generan la necesidad de identificar sitios para la localización de infraestructuras para su tratamiento y disposición final. Esta situación, sin un adecuado proceso de participación pública, puede desencadenar conflictos evitables, como el traslado del enterramiento sanitario de Bower a uno transitorio en el ejido de la ciudad de Córdoba. Allí se generó un proceso que evidenció los inconvenientes de la toma de decisiones sin participación ciudadana. En abril de 2011 éste se trasladará a una nueva localización, situación que se presenta como un caso de análisis válido de abordar detalladamente y ahondar en los procesos de gestión ambiental urbana.

AMBIENTE Y CONFLICTOS TERRITORIALES: ¿OBSTÁCULOS U OPORTUNIDADES PARA EL DESARROLLO LOCAL?

La ciudad es un territorio de producción social del espacio derivado del esfuerzo colectivo, que requiere la presencia del Estado en la distribución equitativa de los costos y beneficios del proceso urbanizador entre los agentes públicos y privados. En este contexto, las políticas públicas son herramientas que posibilitan el establecimiento de directrices que orientan el proceso de desarrollo del territorio. La definición de las mismas requiere, entre otros aspectos, la clara identificación de las prácticas de los agentes en el territorio en donde se inscriben proyectos sociales y en donde los intereses contrapuestos de los agentes generan negociaciones y conflictos. Esto implica que uno de los insumos claves para la definición de políticas y estrategias de gestión es la identificación y análisis de los conflictos que en el territorio se hacen evidentes o los que potencialmente pudieran existir. En estos conflictos están en disputa los sistemas de vida locales y el control de los territorios. El Ordenamiento Territorial es un instrumento de política pública, destinado a orientar el proceso de producción social del espacio en este sentido. Sin embargo, la ordenación pensada desde los enfoques neoclásicos apunta principalmente a cuantificar. Hoy esa mirada no es suficiente para explicar los contextos complejos y es necesario profundizar en las cualidades del territorio y debe ser complementada con la inclusión de las prácticas de los agentes y los conflictos asociados, así como la definición de los componentes que le dan origen que sustenten espacios de decisión y negociación dinámicos. En este marco, este proyecto se plantea como hipótesis que la incorporación de los conflictos territoriales como un criterio más a tener en cuenta en las estrategias de gestión territorial es una oportunidad para potenciar el desarrollo local y como objetivo de general evaluar la utilización de los conflictos territoriales como criterios para la gestión sustentable del territorio Si bien el Proyecto se desarrollará en el arco sur del ejido municipal de la ciudad de Córdoba, se tendrán presentes las implicancias de las prácticas y/o intereses contrapuestos de la Región Metropolitana Córdoba que podrían afectar el sector de análisis particular. Para la descripción de la situación socio-ambiental y sus tendencias se elaborará cartografía digital y se simularán escenarios mediante un sistema de información geográfica (ArcGis 10.0). La recolección de información primaria para la identificación de las prácticas se hará mediante entrevistas semiestructuradas y en profundidad y grupos focales. Se determinarán las relaciones existentes entre las prácticas de los agentes, la condición ambiental y los conflictos. Se plantearán escenarios posibles considerando las tendencias actuales y diferentes opciones de actuación. Desde el punto de vista del desarrollo territorial local, se propone aportar un estudio de caso que integre datos del medio físico, de la práctica de los agentes y de los potenciales conflictos entre ellos. Esto posibilitará obtener resultados, que plasmados en propuestas de uso del territorio dinámica, facilitarán el equilibrio de fuerzas entre agentes en conflicto.