A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Global localization with non-quantized local image features

In the field of appearance-based robot localization, the mainstream approach uses a quantized representation of local image features. An alternative strategy is the exploitation of raw feature descriptors, thus avoiding approximations due to quantization. In this work, the quantized and non-quantized representations are compared with respect to their discriminativity, in the context of the robot global localization problem. Having demonstrated the advantages of the non-quantized representation, the paper proposes mechanisms to reduce the computational burden this approach would carry, when applied in its simplest form. This reduction is achieved through a hierarchical strategy which gradually discards candidate locations and by exploring two simplifying assumptions about the training data. The potential of the non-quantized representation is exploited by resorting to the entropy-discriminativity relation. The idea behind this approach is that the non-quantized representation facilitates the assessment of the distinctiveness of features, through the entropy measure. Building on this finding, the robustness of the localization system is enhanced by modulating the importance of features according to the entropy measure. Experimental results support the effectiveness of this approach, as well as the validity of the proposed computation reduction methods.

Expropriações: dos impactes dos planos municipais de ordenamento do território à identificação local das áreas a expropriar

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

Evolução da população no período 2001–2026 no Concelho de Alenquer – Um aeroporto na Ota? Impactos de desenvolvimento local

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Factores que influenciam a mortalidade de abetarda e sisão por colisão em linhas de muito alta tensão. Análises às escalas local e regional e implicações para o Ordenamento do Território

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Ordenamento do Território e Planeamento Ambiental

Comparison between monopolar and bipolar microsecond range pulsed electric fields in enhancement of apple juice extraction

The effect of monopolar and bipolar shaped pulses in additional yield of apple juice extraction is evaluated. The applied electric field strength, pulsewidth, and number of pulses are assessed for both pulse types, and divergences are analyzed. Variation of electric field strength is ranged from 100 to 1300 V/cm, pulsewidth from 20 to 300 mu s, and the number of pulses from 10 to 200, at a frequency of 200 Hz. Two pulse trains separated by 1 s are applied to apple cubes. Results are plotted against reference untreated samples for all assays. Specific energy consumption is calculated for each experiment as well as qualitative indicators for apple juice of total soluble dry matter and absorbance at 390-nm wavelength. Bipolar pulses demonstrated higher efficiency, and specific energetic consumption has a threshold where higher inputs of energy do not result in higher juice extraction when electric field variation is applied. Total soluble dry matter and absorbance results do not illustrate significant differences between application of monopolar and bipolar pulses, but all values are inside the limits proposed for apple juice intended for human consumption.

The intersection of people, technology and local space. PPGIS and Web in practice for participatory planning

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Turismo como motor de desenvolvimento local: o caso do Vale do Tua

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil Engenharia Gestão e Sistemas Ambientais

Reafirmar a Identidade cultural local: o património cultural imaterial local como recurso

Dissertação conducente à obtenção do grau de Mestre em Educação Social e Intervenção Comunitária, sob orientação do Professor Doutor Luís Manuel Costa Moreno

O património local como recurso para o desenvolvimento de competências essenciais da história no 1.º ciclo

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

Gestão de instalações eléctricas para optimização do desempenho, eficiência e qualidade de energia em grandes edifícios com integração de Miniprodução

As alterações climáticas e as emissões de CO2 são questões que suscitam a nível internacional e nacional o desenvolvimento de estratégias que atenuem os seus impactes. A Eficiência Energética (EE) é essencial para que num futuro próximo não haja impactes significativos no meio ambiente devido a elevado e ineficiente consumo energético. A União Europeia (UE) e Portugal têm desenvolvido políticas e programas que estimulam a eficiência energética, bem como a diminuição de gases com efeito de estufa (GEE) e a promoção da utilização de fontes de energia renovável. Por outro lado vivemos numa sociedade que passa cerca de 80% do seu tempo em edifícios e, nestes, é consumida 40% da energia mundial. Com uma dependência energética superior a 80%, Portugal tem vindo a apostar, nos últimos anos, em fontes de energia renovável. Esta aposta serve como substituição de fontes, mas não leva directamente à redução de consumos. A redução da factura de energia só pode ser atingida com uma maior eficiência energética e melhores práticas de gestão de energia em edifícios, transportes e industria. Esta dissertação centra-se especificamente num conjunto de edifícios públicos, património municipal da autarquia de Matosinhos, cujo modelo de fornecimento da energia eléctrica é passível de análise crítica no sentido de uma optimização radical ao nível da concepção da rede e exploração, com consequente redução de custos ao nível da facturação. Esta nova metodologia de exploração e gestão de sistemas eléctricos incidirá na criação de um “campus” energético autárquico resultante do novo layout da rede e respectivo fornecimento de energia a partir da rede de distribuição pública. O estudo permitirá fornecer ferramentas fundamentais para a gestão municipal e empresarial ao nível da sustentabilidade energética nos edifícios públicos com abrangência aos serviços empresariais. De referir que a gestão das instalações eléctricas para optimização do desempenho, eficiência e qualidade de energia é aplicável aos 308 municípios nacionais com relevância para as empresas que apresentam consumos significativos nos seus edifícios. Enquanto funcionário da Câmara Municipal de Matosinhos, este município foi uma escolha natural como referência, na análise da relação existente entre a administração local e a gestão da energia. Para ajudar à análise foi efectuado um benchmarketing a cinco edifícios municipais: Edifício dos Paços do Concelho, Biblioteca Municipal Florbela Espanca, Palacete Visconde Trevões, ex-Edifício dos SMAS e Edifício do ex-Tribunal, visando potenciar a correcta gestão de energia destes edifícios por parte das entidades que os gerem, perante novas oportunidades de melhoria e soluções encontradas. Como contributo às metas impostas pela Directiva 2009/28/CE para 2020, a qual prevê uma redução de 20% no consumo final de energia através da eficiência energética, a incorporação de 20% de energia renovável no consumo energético global e a consequente redução em 20% da emissão de GEE, é apresentado um estudo ao nível de um parque fotovoltaico com a componente técnica e económica.

Low-power 6-bit 1-GS/s two-channel pipeline ADC with open-loop amplification using amplifiers with local-feedback

IEEE International Symposium on Circuits and Systems, pp. 2258 – 2261, Seattle, EUA

Flora bacteriana da cavidade oral, presas e veneno de Bothrops jararaca: possível fonte de infecção no local da picada

Materiais colhidos das presas, das bainhas das presas e do veneno de 15 Bothrops jararaca recém-capturadas, aparentemente saudáveis, foram submetidos a exame bacterioscópico e cultura aeróbia a anaeróbia. As bactérias mais freqüentemente isoladas foram os estreptococos do grupo D (1.2 serpentes), Enterobacter sp. (6), Providencia rettgeri (6), Providencia sp. (4), Escherichia coli (4), Morganella morganii (3) e Clostridium sp. (5). Como estas bactérias são semelhantes às encontradas nos abscessos de pacientes picados por serpentes do gênero Bothrops, é válido considerar a possibilidade de que bactérias da boca da serpente sejam inoculadas no momento da picada e, encontrando condições favoráveis de multiplicação, causem infecção.

MASS CONSERVATION ENHANCEMENT OF FREE BOUNDARY FLOWS IN COMPOSITES MANUFACTURING

Undesirable void formation during the injection phase of the liquid composite molding process can be understood as a consequence of the non-uniformity of the flow front progression, caused by the dual porosity of the fiber perform. Therefore the best examination of the void formation physics can be provided by a mesolevel analysis, where the characteristic dimension is given by the fiber tow diameter. In mesolevel analysis, liquid impregnation along two different scales; inside fiber tows and within the spaces between them; must be considered and the coupling between these flow regimes must be addressed. In such case, it is extremely important to account correctly for the surface tension effects, which can be modeled as capillary pressure applied at the flow front. When continues Galerkin method is used, exploiting elements with velocity components and pressure as nodal variables, strong numerical implementation of such boundary conditions leads to ill-posing of the problem, in terms of the weak classical as well as stabilized formulation. As a consequence, there is an error in mass conservation accumulated especially along the free flow front. This article presents a numerical procedure, which was formulated and implemented in the existing Free Boundary Program in order to significantly reduce this error.

Mass Conservation Enhancement of Free Boundary Mesolevel Flows during LCM Processes of Composites Manufacturing

Undesirable void formation during the injection phase of the liquid composite moulding process can be understood as a consequence of the non-uniformity of the flow front progression, caused by the dual porosity of the fibre perform. Therefore the best examination of the void formation physics can be provided by a mesolevel analysis, where the characteristic dimension is given by the fibre tow diameter. In mesolevel analysis, liquid impregnation along two different scales; inside fibre tows and within the open spaces between them; must be considered and the coupling between these flow regimes must be addressed. In such case, it is extremely important to account correctly for the surface tension effects, which can be modelled as capillary pressure applied at the flow front. Numerical implementation of such boundary conditions leads to ill-posing of the problem, in terms of the weak classical as well as stabilized formulation. As a consequence, there is an error in mass conservation accumulated especially along the free flow front. This contribution presents a numerical procedure, which was formulated and implemented in the existing Free Boundary Program in order to significantly reduce this error.